△ Mechanism confirmed, baseline not beaten 2026

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

Usefulness7/10
Difficulty6/10
Novelty7/10

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

$$V=\operatorname{range}(L)\oplus\ker L,\qquad z=z_\perp+h,\quad z_\perp\in\operatorname{range}(L),\ h\in\ker L.$$
$$Lh=0,\qquad \lambda_1^+=\min\{\lambda>0:\lambda\in\operatorname{spec}(L)\},\qquad \|z_\perp(t)\|\lesssim e^{-\nu\lambda_1^+t}\|z_\perp(0)\|.$$
$$\Pi_HN(z_\perp,h)=0\Longrightarrow \dot h=0,\qquad h+\operatorname{range}(L)\ \text{is invariant}.$$

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

Mechanism confirmed, baseline not beaten

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
Limitations:

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
Limitations:

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

Implementation overview ⬇ Download all as ZIP 6 files · code, reports and structured results