Exact-Curl Neural Field Output
Implementation & benchmark of arXiv:2608.15837 — A Structure- and Pressure-Positivity-Preserving Semi-implicit IMEX Finite Volume Scheme for Ideal MHD at All Acoustic Mach and Alfvén Mach Numbers with Generic Equation of State
Source paper: A Structure- and Pressure-Positivity-Preserving Semi-implicit IMEX Finite Volume Scheme for Ideal MHD at All Acoustic Mach and Alfvén Mach Numbers with Generic Equation of State arXiv:2608.15837 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Make a neural network predict a vector potential rather than a magnetic or velocity field, then obtain the physical vector field with a fixed differentiable discrete curl. The reconstructed field satisfies the discrete divergence-free constraint exactly, eliminating divergence-penalty tuning and preventing constraint drift during long rollouts.
Formulas
Mathematical statement
The paper uses the constrained-transport representation B^{n+1}=curl(A^{n+1} e_z), where A^{n+1} is a scalar magnetic potential, e_z is the out-of-plane unit vector, and B^{n+1} is the reconstructed field. The key identity is div(curl(A e_z))=0. On a compatible discrete mesh, let C be the discrete curl matrix mapping potentials to face- or edge-centered fields and D be the discrete divergence matrix mapping those fields to cells; the incidence relation DC=0 gives exact discrete divergence preservation. In two dimensions, define B_x=D_y A and B_y=-D_x A, where D_x and D_y are the same compatible difference operators used by the mesh. Then D_x B_x+D_y B_y=D_xD_y A-D_yD_x A=0. The result requires compatible placement and boundary stencils, not merely an arbitrary finite-difference curl.
Implementation notes
Integrate this at the output head of a neural operator, CNN, or graph neural network that predicts a 2-D or 3-D vector field on a fixed mesh. In 2-D, make the network output a scalar potential A on grid vertices or cell corners. In 3-D, make it output a vector potential a=(a_x,a_y,a_z) on mesh edges. Apply fixed differentiable incidence stencils: B_x=(A[i,j+1]-A[i,j-1])/(2dy), B_y=-(A[i+1,j]-A[i-1,j])/(2dx) in the simple periodic 2-D case, or use a Yee-style staggered curl in 3-D. For a recurrent simulator, predict delta_A=Net(state), set A_next=A+delta_A, and compute B_next=C(A_next). Use the reconstructed B_next in data, PDE, energy, and force losses; omit the divergence penalty. Pseudocode is: state -> Net -> delta_A; A_next=A+delta_A; B_next=C(A_next); loss=L_data(B_next)+lambda*L_physics(B_next); backpropagate through C. The paper supplies the potential/curl construction and DC=0 identity. The engineer must implement compatible boundary conditions and verify DC numerically. First test a small Fourier neural operator or message-passing GNN on 2-D incompressible advection or magnetic-vortex rollouts. Compare direct-field prediction plus divergence penalty against the curl head at equal parameter count. Measure field error, maximum absolute cell divergence, and long-horizon energy drift. Success means divergence stays at floating-point or stencil-roundoff level without penalty tuning, with equal or lower rollout error and improved stability.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a small periodic 2-D exact-curl CNN head and a direct-field CNN baseline with a divergence penalty. The numerical identity check gave max |D C A| = 2.22e-16, and the curl model's test divergence was only 1.19e-7 max / 1.76e-8 RMS versus 0.219 max / 0.0343 RMS for the baseline. However, the curl model had slightly higher field MSE (0.00377 vs 0.00350), so the experiment confirms exact constraint preservation but does not demonstrate an overall predictive win.
- Agent confidence
- 9/10
- Baseline
- Direct 2-channel CNN + fixed divergence penalty; 2,514 parameters; test MSE 0.0034996; max divergence 0.21865; RMS divergence 0.03427.
- Idea
- Scalar-potential CNN + fixed periodic discrete curl; 2,497 parameters; test MSE 0.0037737; max divergence 1.19e-7; RMS divergence 1.76e-8. Identity sanity check max |DCA|=2.22e-16.
Limitations: This is a one-step supervised toy mapping on a 16x16 periodic grid, not an incompressible PDE rollout or long-horizon energy-drift test. Only one fixed divergence-penalty weight and one seed were evaluated; CUDA convolution failed in the environment and the run fell back to CPU.
How to run: python3 run_experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- report.md 1.4 KB View
- results.json 0.7 KB View Raw
- run_experiment.py 3.6 KB View Raw