Weak Cartan curvature loss
Implementation & benchmark of arXiv:2607.02412 — Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity
Source paper: Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity arXiv:2607.02412 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a pointwise Gauss-equation penalty involving the determinant of a neural surface Hessian with a weak Cartan residual built from an orthonormal coframe and its connection 1-form. The residual is evaluated after integration against compactly supported test functions, making curvature supervision less sensitive to noisy second derivatives and compatible with rough neural surfaces.
Formulas
Mathematical statement
The paper uses an orthonormal coframe \(\{\eta^1,\eta^2\}\) on a surface and a connection 1-form \(\omega\) satisfying Cartan's first structural equations, understood distributionally: \(d\eta^1=\eta^2\wedge\omega\) and \(d\eta^2=-\eta^1\wedge\omega\). Its second structural equation is \(d\omega=K_g\,d\mathrm{vol}_g\), where \(K_g\) is the intrinsic Gaussian curvature and \(d\mathrm{vol}_g\) is the Riemannian area form. For a graph \(X(x_1,x_2)=(x_1,x_2,f(x_1,x_2))\), the induced metric is \(g=I+Df^T Df\), and the paper states that an isometric embedding satisfies \(\operatorname{Det}D^2f=K_g(1+|Df|^2)^2\) even at low regularity. Construct an orthonormal coframe from \(g\), estimate \(\omega\) by the two first Cartan equations, and penalize the weak form of \(d\omega-K_gd\mathrm{vol}_g=0\). If \(\omega=\omega_1\eta^1+\omega_2\eta^2\) and \(d\eta^i=a_i\,\eta^1\wedge\eta^2\), then the first equations imply \(\omega_1=-a_1\) and \(\omega_2=-a_2\); this gives a local algebraic reconstruction of the connection from coframe derivatives. For every scalar test function \(\varphi\), the weak curvature residual is \(\int_U\varphi(d\omega-K_gd\mathrm{vol}_g)=0\), equivalently \(-\int_U d\varphi\wedge\omega-\int_U\varphi K_gd\mathrm{vol}_g=0\) when boundary terms vanish.
Implementation notes
Integrate this as an auxiliary loss for a neural implicit surface or graph network. Let the network output \(f_\theta(x_1,x_2)\), or more generally an immersion \(X_\theta(u,v)\in\mathbb R^3\). First compute tangent vectors \(X_u,X_v\) and the induced metric \(g_{ab}=\langle X_a,X_b\rangle\). Obtain a numerically stable coframe by Cholesky factorization \(g=LL^T\): if \(du=(du,dv)^T\), use \(\eta=L^{-1}du\), whose components are the orthonormal 1-forms \(\eta^1,\eta^2\). At quadrature points, use autodiff to compute the exterior derivatives of the coframe coefficients. Write \(d\eta^i=a_i\eta^1\wedge\eta^2\), solve \(\omega=-a_1\eta^1-a_2\eta^2\), and form the weak residual for several fixed test functions \(\varphi_m\), such as tensor-product cubic B-splines, compactly supported Gaussian bumps, or low-frequency sine functions. Implement the integration-by-parts version \(-\int d\varphi_m\wedge\omega-\int\varphi_mK_gd\mathrm{vol}_g\), which avoids explicitly differentiating \(\omega\) a second time. Use Monte Carlo or fixed Gauss quadrature and add \(\lambda_C\mathcal L_{\mathrm{weak\text{-}Cartan}}\) to the reconstruction and isometry losses. The quantities computed from the paper are the coframe, the connection reconstruction, and the weak identity; quadrature error, test-function count, and \(\lambda_C\) are empirical choices. Start with a small MLP fitting a sinusoidal or triangulated isometric surface from noisy point samples, using a direct Gauss determinant penalty as baseline. Track pointwise normal error, metric distortion, curvature residual, and training stability under increasing positional noise and Fourier-feature frequency. Success is a lower validation curvature/normal error and fewer exploding gradients at equal training FLOPs; a particularly useful signal is that the weak loss remains stable when the direct \(\det D^2f\) loss becomes noisy.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗
Stage 2 · Practical benchmark result: Significant win ✓
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
How to read this: The implementation beat the baseline, but the claimed mechanism did not reproduce at benchmark scale. The gain may come from another effect; treat the cause as unresolved.
Stage 1 — Mechanism check agent confidence 8/10
Built a differentiable weak-Cartan prototype for graph surfaces, including Cholesky coframe construction, algebraic connection reconstruction, curvature, compactly supported test functions, and integration-by-parts residuals. The core identity converged from 1.85e-5 at a 31x31 grid to 2.96e-8 at 121x121; a 4x noise-amplitude increase produced exactly 4x weak residual RMS, and high-frequency noise at k=16 was attenuated to 1.06e-4 of k=1 while the pointwise direct proxy stayed unchanged. The proposed stability mechanism manifested in this controlled toy setting, but this is not yet evidence of an end-to-end neural-training win.
- Agent confidence
- 8/10
- Baseline
- Pointwise curvature perturbation RMS at eps=0.001: 1.44e-5 (k=2), 1.11e-4 (k=4), 1.73e-3 (k=8), 8.76e-3 (k=12); controlled direct noise RMS was 4.95e-4 and independent of frequency.
- Idea
- Weak Cartan residual RMS at the same frequencies: 1.01e-6, 1.04e-6, 1.88e-6, 7.53e-6; controlled weak-noise RMS at k=16/k=1 was 1.06e-4, and residual scaling was exactly linear with noise amplitude (4x residual for 4x noise).
Limitations: No MLP fitting, reconstruction task, validation normal error, optimization stability, FLOP-matched comparison, or noisy-data training experiment was performed. The implementation uses a graph surface, fixed analytic test bumps, finite quadrature, and autodiff derivatives rather than a general immersion or spline test basis.
How to run: python3 weak_cartan_experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2607.02412)
Beats the tuned baseline by 0.2% (p=0.0388, wins 6 / 8 paired seeds; metric: lower is better).
- Benchmark
- Weak_cartan_graph_regression
- Model
- local_mlp
- Paired seeds
- 8
- Baseline mean
- 0.0064
- Idea mean
- 0.0064
- Effect (Δ)
- -0 (−0.2%; negative = idea better)
- Wins
- 6 / 8 paired seeds
- p-value
- 0.0388 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±0.2%
- Mechanism
- Not confirmed ✗
- Practical effect
- Helps
- Baseline tuning
- swept over 3 configs
The custom track is synthetic and small, with 400 training and 400 test samples, one shared MLP, 12 training epochs, fixed bump test functions, and a simple known curvature target. The mechanism signature proxy was not a valid quantitative confirmation of frequency attenuation at trained-network scale; no real scanned surface, PDE solver, larger architecture, broader noise sweep, FLOP study, or independent validation task was tested.
How to run: python3 cartan_bench.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Worked ✓
Agent confidence: 6/10
Implemented a custom geometry graph-regression track because no built-in track matched neural surface curvature structure. Using the same MLP, data, epochs, and learning-rate union, weak Cartan achieved a small but significant test-MSE improvement over pointwise curvature: delta_mean < 0 with permutation p=0.0388. The trained-model mechanism signature was not confirmed, so this is a limited task-specific signal rather than conclusive evidence of curvature-noise robustness.
- Baseline
- Mean test MSE 0.0063730923, std 0.0017272913; best lr=0.003; per-seed [0.0064093433, 0.0081903478, 0.0043476713, 0.0060518025, 0.0040217121, 0.0093654767, 0.0053336048, 0.0072647799].
- Idea
- Mean test MSE 0.0063603997, std 0.0017210366; best lr=0.003; paired delta=-0.0000126926, 6/8 wins, permutation p=0.0388; per-seed [0.0064105024, 0.0081756143, 0.0043539312, 0.0060452269, 0.0040036957, 0.0093345260, 0.0053153522, 0.0072443485].
Benchmark result
Beats the tuned baseline by 0.2% (p=0.0388, wins 6 / 8 paired seeds; metric: lower is better).
- Benchmark
- Weak_cartan_graph_regression
- Model
- local_mlp
- Paired seeds
- 8
- Baseline mean
- 0.0064
- Idea mean
- 0.0064
- Effect (Δ)
- -0 (−0.2%; negative = idea better)
- Wins
- 6 / 8 paired seeds
- p-value
- 0.0388 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±0.2%
- Mechanism
- Not confirmed ✗
- Practical effect
- Helps
- Baseline tuning
- swept over 3 configs
The custom track is synthetic and small, with 400 training and 400 test samples, one shared MLP, 12 training epochs, fixed bump test functions, and a simple known curvature target. The mechanism signature proxy was not a valid quantitative confirmation of frequency attenuation at trained-network scale; no real scanned surface, PDE solver, larger architecture, broader noise sweep, FLOP study, or independent validation task was tested.
How to run: python3 cartan_bench.py
Artifacts
- bench_report.json 2.8 KB View Raw
- cartan_bench.py 5.8 KB View Raw
- report.md 1.7 KB View
- report_bench_2026-08-30T195929.md 3.9 KB View
- results.json 6.2 KB View Raw
- weak_cartan_experiment.py 6.8 KB View Raw