Harmonic-Mode Branch for Topological Memory
Implementation & benchmark of arXiv:2608.19360 — Hodge Coercivity and Global Dynamics in Two-Field Edge-Cochain Systems with MHD-Type Cancellation
Source paper: Hodge Coercivity and Global Dynamics in Two-Field Edge-Cochain Systems with MHD-Type Cancellation arXiv:2608.19360 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Do not force Hodge dissipation onto harmonic edge modes, because these modes are precisely the obstruction to global coercivity. Split the latent state into dissipative coexact modes and a finite-dimensional harmonic branch, and use harmonic-decoupled interactions so each harmonic coordinate defines an invariant affine fibre with its own attractor.
Formulas
Mathematical statement
Let $L$ be the Hodge Laplacian restricted to the divergence-free edge space $V$, with orthogonal decomposition $V=\operatorname{range}(L)\oplus\ker L$. The dissipative component $z_\perp$ has spectral decay controlled by $\lambda_1^+=\min\{\lambda>0:\lambda\in\operatorname{spec}(L)\}$, whereas the harmonic component $h\in\ker L$ is not damped by $L$. Let $\Pi_H$ be the orthogonal projector onto $\ker L$. A harmonic-decoupled interaction satisfies $\Pi_HN(z_\perp,h)=0$ and may depend on $h$ parametrically. Consequently $h(t)=h(0)$, or it evolves only under a separately specified low-dimensional drift, and every affine set $h+\operatorname{range}(L)$ is invariant. This preserves topological degrees of freedom while retaining dissipative control in the orthogonal complement.
Implementation notes
Use this decomposition in a graph neural network, mesh encoder, neural state-space model, or long-horizon recurrent predictor when the graph or cell complex has nontrivial first cohomology. Compute an orthonormal basis $H$ for $\ker L$ with an eigensolver, then form $\Pi_H=HH^\top$ and $\Pi_\perp=I-\Pi_H$. Encode every latent edge state as $h=\Pi_Hz$ and $u=\Pi_\perp z$. At each transition, calculate $u\leftarrow u+\delta[-\nu Lu+N_\theta(u,h)]$, and set $h\leftarrow h$ for invariant memory. If changing topological memory is required, replace this with a bounded low-dimensional update $h\leftarrow h+\delta g_\theta(h)$ while keeping $g_\theta$ separate from the dissipative branch. Enforce harmonic invariance by replacing any interaction with $\Pi_\perp N_\theta$, and optionally impose energy-skew structure on $N_\theta$. Compute the harmonic basis and positive spectral gap from the complex; empirically monitor $\|\Pi_H(z_{t+1}-z_t)\|$. The first experiment should use disk, annulus, and two-hole complexes with trajectories initialized at different harmonic circulations, comparing a standard GNN, a fully damped Hodge GNN, and this split model. The prediction is that persistent coordinates equal $\dim\ker L$, distinct harmonic initializations remain separated, harmonic drift stays at numerical precision, and the dissipative residual decays with slope approximately $-\nu\lambda_1^+$.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Confirmed ✓
Stage 2 · Practical benchmark result: No measurable effect
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a fixed-seed harmonic-branch simulation with a 2D nullspace and positive Hodge-like spectrum. All three quantitative predictions manifested: harmonic drift stayed at 1.05e-14, decay slopes matched -nu*lambda_1+ within 0.0025, and the observed Euler stability transition matched the predicted boundary dt=2/(nu*lambda_max)=0.1818. The split branch retained 1.0 of harmonic memory while the fully damped baseline retained 0.000293, with comparable dissipative residuals.
- Agent confidence
- 9/10
- Baseline
- Fully damped branch: harmonic retention 0.0002926; final norm 0.0584579
- Idea
- Harmonic-decoupled split: harmonic retention 1.0000000; maximum harmonic drift 1.05e-14; final dissipative norm 0.0584564; decay-sweep max slope error 0.00246; Euler boundary classification 4/4 correct
Limitations: This is a synthetic orthogonally rotated PSD operator rather than an explicitly constructed disk, annulus, or two-hole cell complex. It tests the linear zero-interaction branch, not a learned GNN, nonlinear harmonic-conditioned interaction, GPU behavior, or prediction accuracy on a real trajectory dataset.
How to run: python3 harmonic_experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.19360)
Ahead of the baseline (−1.1%) but not statistically significant (p=0.0761, wins 5 / 8 paired seeds).
- Benchmark
- Cycle_topology_graph
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 0.5037
- Idea mean
- 0.4981
- Effect (Δ)
- -0.0056 (−1.1%; negative = idea better)
- Wins
- 5 / 8 paired seeds
- p-value
- 0.0761 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±1.2%
- Mechanism
- Confirmed ✓
- Practical effect
- No effect
- Baseline tuning
- swept over 9 configs
The benchmark used the registered fixed-size cycle_topology_graph custom track rather than explicit disk, annulus, or two-hole cell complexes. The latent harmonic basis was a controlled two-dimensional split rather than computed from an incidence-derived Hodge Laplacian; no PDE mesh, long-horizon memory, or learned graph message-passing architecture was tested.
How to run: python3 bench_harmonic.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
The structurally matched registered cycle_topology_graph benchmark confirmed the harmonic mechanism in trained models, but the task-metric improvement was not statistically significant. The idea therefore fails the harness criterion, which requires delta_mean < 0 and permutation p < 0.05.
- Baseline
- Mean test error 0.5037499852478504 across 8 seeds; tuned baseline config lr=0.001, damping=0.05, epochs=18.
- Idea
- Mean test error 0.49812499061226845 across 8 seeds; best idea config lr=0.001, damping=0.05, epochs=18.
- Paired
- delta_mean=-0.00562499463558197, 5/8 idea wins, permutation p=0.07605.
Benchmark result
Ahead of the baseline (−1.1%) but not statistically significant (p=0.0761, wins 5 / 8 paired seeds).
- Benchmark
- Cycle_topology_graph
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 0.5037
- Idea mean
- 0.4981
- Effect (Δ)
- -0.0056 (−1.1%; negative = idea better)
- Wins
- 5 / 8 paired seeds
- p-value
- 0.0761 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±1.2%
- Mechanism
- Confirmed ✓
- Practical effect
- No effect
- Baseline tuning
- swept over 9 configs
The benchmark used the registered fixed-size cycle_topology_graph custom track rather than explicit disk, annulus, or two-hole cell complexes. The latent harmonic basis was a controlled two-dimensional split rather than computed from an incidence-derived Hodge Laplacian; no PDE mesh, long-horizon memory, or learned graph message-passing architecture was tested.
How to run: python3 bench_harmonic.py
Artifacts
- bench_harmonic.py 4.3 KB View Raw
- bench_report.json 5.5 KB View Raw
- harmonic_experiment.py 4.9 KB View Raw
- report.md 1.4 KB View
- report_bench_2026-09-01T173445.md 7.4 KB View
- results.json 2.0 KB View Raw