Piola-Conditioned Fixed-Reference Neural Operator
Implementation & benchmark of arXiv:2609.00466 — Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator
Source paper: Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator arXiv:2609.00466 ⓘ · analyzed Sep 2, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Build a geometry-conditioned neural operator on a single reference mesh instead of remeshing or changing the network discretization for every domain shape. Transport vector-valued surface features with a contravariant surface Piola map, and feed the network geometry-dependent pulled-back quantities. This should make the architecture stable across shape changes and allow batching many geometries with identical tensor shapes.
Formulas
Mathematical statement
The paper parameterizes surfaces by \(r_{\mathbf y}(\hat x)=\hat x+\sum_{j\ge1}y_j\psi_j(\hat x)\), with \(\mathbf y\in[-1,1]^{\mathbb N}\), reference surface \(\widehat\Gamma\), deformation modes \(\psi_j\), and amplitudes \(b_j=\|\psi_j\|_{W^{2,\infty}(\widehat\Gamma)}\). A surface contravariant Piola map transports a reference tangential current \(\hat u\) to the deformed surface by \(u(r_{\mathbf y}(\hat x))=J_{\mathbf y}(\hat x)^{-1}D_T r_{\mathbf y}(\hat x)\hat u(\hat x)\), where \(D_T r_{\mathbf y}\) is the tangential derivative and \(J_{\mathbf y}\) is the surface Jacobian. The paper's key structural fact is exact cancellation of surface Jacobian factors in the pulled-back variational formulation. The neural adaptation uses this transport to ensure that vector features represent the same physical type on every geometry rather than coordinate-dependent components.
Implementation notes
(1) Replace the surface or mesh input of a vector neural operator by one fixed reference mesh \(\widehat\Gamma\). For each batch item, provide shape coefficients \(y_1,\ldots,y_K\), compute \(r_{\mathbf y}\), tangential derivatives \(D_T r_{\mathbf y}\), surface Jacobian \(J_{\mathbf y}\), and transformed normals. Apply the Piola map to every vector-valued input feature and inverse-Piola-map the output current or field. Use a mesh graph neural operator, Fourier layer on a parameterized chart, or attention over reference nodes; all batch items then share node and edge indices. (2) Pseudocode: sample \(y\); compute \(r=\hat x+\sum_{j=1}^K y_j\psi_j(\hat x)\); compute \(A=D_T r\) and \(J\); set \(u=J^{-1}A\hat u\); run \(\hat z=F_\theta(\hat x,y,A,J,n,\hat u)\); return \(z=\mathcal P_y\hat z\). For a variational loss, assemble integrands on the reference mesh with transformed features and include the displayed area factor, without an additional geometry-dependent normalization. (3) Compute \(r,A,J\) analytically or by automatic differentiation from the deformation basis; estimate no theorem constants. Monitor whether \(J\) stays positive and reject invalid shapes. (4) First experiment: train a small mesh neural operator on Helmholtz or Maxwell fields over randomly deformed spheres or cubes, comparing this model with a remeshed model and a Cartesian coordinate-conditioned baseline. Measure relative field error, unseen-shape error, batching throughput, and memory. Success is equal accuracy with one shared mesh, at least 2x larger geometry batch size, and smoother error as deformation coefficients vary.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Confirmed ✓
Stage 2 · Practical benchmark result: Inconclusive
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 8/10
Built a fixed-reference surface-chart MVP with contravariant Piola transport, inverse transport, geometry conditioning, and a toy learned operator comparison. The numerical check reproduced exact area-weighted inner-product cancellation (relative error 0) and the discrete Piola divergence identity (maximum error 0) for valid shapes. Across two seeds, Piola conditioning reduced held-out relative physical-field error from 0.649 to 0.031 and from 0.627 to 0.036, respectively, a clear signal in this controlled toy setting. This is not evidence of a general Maxwell/operator win because the synthetic target was deliberately defined in reference coordinates.
- Agent confidence
- 8/10
- Baseline
- Direct physical-component conditioning: relative test error 0.6486 +/- 0.0949 (seed 2973), 0.6274 +/- 0.0934 (seed 7311).
- Idea
- Piola fixed-reference conditioning: relative test error 0.0313 +/- 0.0099 (seed 2973), 0.0364 +/- 0.0082 (seed 7311); math-check J range 0.6163 to 1.6294.
Limitations: Only a smooth square-chart synthetic operator was tested, not Helmholtz/Maxwell fields, remeshing, graph/Fourier neural operators, throughput, memory, batching size, stronger deformations, or invalid-shape rejection. The baseline uses raw physical components while the target is a fixed-reference operator, so the accuracy gap demonstrates representation alignment rather than a fair end-to-end PDE benchmark.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2609.00466)
No significant difference vs. the tuned baseline (+8.3%, p=0.7248, wins 3 / 8 paired seeds).
- Benchmark
- Spherical_incompressible_field
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 663.2344
- Idea mean
- 717.9575
- Effect (Δ)
- 54.7232 (+8.3%; negative = idea better)
- Wins
- 3 / 8 paired seeds
- p-value
- 0.7248 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±54.9%
- Mechanism
- Confirmed ✓
- Practical effect
- Inconclusive
- Baseline tuning
- swept over 3 configs
The registered track tests tangent vector-field regression on the sphere rather than deformed surfaces, remeshing, Maxwell EFIE, or a full neural operator. The implementation uses a deterministic tangent-frame coefficient representation as a proxy for Piola pullback because the registered track provides sphere coordinates and tangent vector targets but no deformation coefficients or surface Jacobians. Throughput, memory, larger meshes, stronger shape changes, and graph/Fourier operator architectures were not tested.
How to run: python3 registered_bench.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 9/10
On the registered spherical_incompressible_field geometry-PDE track, the Piola-style tangent-frame system achieved MSE 717.96 versus the tuned raw-Cartesian baseline MSE 663.23. The paired delta was +54.72 with permutation p=0.7248, so there was no significant win; the benchmark verdict is no significant win. The mechanism signature did confirm reduced predicted normal leakage, but this did not translate into improved physical-field task error.
- Baseline
- Best lr=0.01; full 8-seed MSE 663.2344 +/- 227.7878.
- Comparison
- Paired delta=+54.7232; idea wins 3/8; permutation p=0.7248; verdict=no significant win.
- Idea
- Best lr=0.01; full 8-seed MSE 717.9575 +/- 296.0030.
- Math check
- Registered target tangency max absolute error 7.11e-15.
- Mechanism signature
- Predicted normal leakage baseline=2.23888, idea=1.03e-7; target=9.91e-16; physical RMSE baseline=26.2316, idea=26.0998; confirmed=true.
Benchmark result
No significant difference vs. the tuned baseline (+8.3%, p=0.7248, wins 3 / 8 paired seeds).
- Benchmark
- Spherical_incompressible_field
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 663.2344
- Idea mean
- 717.9575
- Effect (Δ)
- 54.7232 (+8.3%; negative = idea better)
- Wins
- 3 / 8 paired seeds
- p-value
- 0.7248 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±54.9%
- Mechanism
- Confirmed ✓
- Practical effect
- Inconclusive
- Baseline tuning
- swept over 3 configs
The registered track tests tangent vector-field regression on the sphere rather than deformed surfaces, remeshing, Maxwell EFIE, or a full neural operator. The implementation uses a deterministic tangent-frame coefficient representation as a proxy for Piola pullback because the registered track provides sphere coordinates and tangent vector targets but no deformation coefficients or surface Jacobians. Throughput, memory, larger meshes, stronger shape changes, and graph/Fourier operator architectures were not tested.
How to run: python3 registered_bench.py
Artifacts
- bench_report.json 3.1 KB View Raw
- experiment.py 5.3 KB View Raw
- experiment_seed2.py 5.3 KB View Raw
- piola_surface_operator.py 3.1 KB View Raw
- registered_bench.py 4.3 KB View Raw
- registered_bench_report.json 3.5 KB View Raw
- report.md 1.7 KB View
- report_bench_2026-09-02T171534.md 5.4 KB View
- results.json 0.4 KB View Raw
- run_bench.py 4.8 KB View Raw