△ Mechanism confirmed, baseline not beaten 2026

Hodge-Selective Edge Dynamics

Implementation & benchmark of arXiv:2608.07768 — From a Scalar Parabolic Oscillator to Topological Thermostats: Selective Feeback Control of Harmonic Flow Modes

Usefulness7/10
Difficulty5/10
Novelty7/10

Source paper: From a Scalar Parabolic Oscillator to Topological Thermostats: Selective Feeback Control of Harmonic Flow Modes arXiv:2608.07768 ⓘ · analyzed Sep 1, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace an unconstrained edge-feature residual update in a graph neural network with separate cut-space and harmonic-space updates. The cut branch carries transfer information visible at nodes, while the harmonic branch models cycle circulation and can be given an independently chosen contraction rate, preventing persistent or unstable circulation features from contaminating node predictions.

Formulas

$$\mathbb{R}^{m}=\operatorname{im}B^{\top}\oplus\operatorname{ker}B$$
$$P_C=B^{\top}(BB^{\top})^{\dagger}B,\qquad P_H=I_m-P_C$$
$$\dot{f}=-\alpha P_C(f-f_*)-\kappa P_Hf$$
$$f_{l+1}=f_*+(1-\alpha_l)P_C(f_l-f_*)+(1-\kappa_l)P_Hf_l$$

Mathematical statement

For a connected oriented graph with m edges and n nodes, let B in R^{n x m} be its signed node-edge incidence matrix and let f in R^m be an edge-feature vector. The paper uses the orthogonal Hodge decomposition R^m = im(B^T) direct-sum ker(B), where im(B^T) is the cut space and ker(B) is the harmonic cycle space. With the Euclidean inner product, the projections are P_C = B^T (B B^T)^dagger B and P_H = I_m - P_C, where (.)^dagger is the Moore-Penrose pseudoinverse, P_C f is the divergence-carrying component, and P_H f is the cycle-flow component. The ideal selective controller is dot(f) = -alpha P_C(f - f_*) - kappa P_H f, with alpha,kappa > 0 and f_* in im(B^T). Its exact solution is f_C(t) = f_* + exp(-alpha t)(f_C(0)-f_*) and f_H(t) = exp(-kappa t)f_H(0), so the two subspaces have independently controlled decay rates. A graph layer can transplant this as a discrete residual map f_{l+1} = f_* + (1-alpha_l)P_C(f_l-f_*) + (1-kappa_l)P_H f_l, with 0 <= alpha_l,kappa_l <= 1 for non-expansive one-step behavior. The key assumption is a fixed connected graph; for disconnected graphs, compute the pseudoinverse componentwise.

Implementation notes

Integrate this into an edge-state graph neural network immediately before or after the ordinary edge message/update MLP. Inputs are an incidence matrix B, edge features F in R^{m x d}, and optionally a learned or data-derived cut target F_*; apply the same projection independently to each feature channel. First construct the sparse graph Laplacian L = B B^T. For small graphs, compute P_C explicitly using a pseudoinverse of L; for larger graphs, avoid materializing it and compute P_C X by solving L Y = B X with a pinned node or zero-mean constraint, then returning B^T Y. Compute P_H X = X - P_C X. A layer should execute: (1) compute ordinary edge message Z = MLP([F, edge_attributes, node_messages]); (2) split Z_C=P_C Z and Z_H=P_H Z; (3) update F_new = F_* + (1-alpha) Z_C + (1-kappa) Z_H, or use learned residual branches F_new = F + g_C(Z_C)+g_H(Z_H) followed by scalar gates constrained as alpha=sigmoid(a), kappa=sigmoid(b); (4) optionally feed B F_new to the node update. The paper's exact contribution is the orthogonal decomposition and independent contraction law; the MLP transformations, gates, and target F_* are engineering choices. Estimate projection correctness with ||P_C^2-P_C|| and ||P_C P_H||, and monitor separate norms ||P_C F|| and ||P_H F||. The first experiment should use synthetic ring, grid, and random connected graphs on a graph signal forecasting task, comparing an ordinary edge-GNN residual block, a single projected block, and the proposed two-rate block at matched parameters. Measure long-horizon rollout error, gradient norm, and node prediction accuracy after injecting a large cycle-flow perturbation. Success means lower rollout error and faster recovery from harmonic perturbations without degrading cut-space accuracy.

Verification

Mechanism confirmed, baseline not beaten

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Confirmed ✓

Stage 2 · Practical benchmark result: Significantly worse ✗

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 reproducible Hodge-selective edge-dynamics MVP with explicit incidence-based cut and harmonic projectors. Projector identities and divergence annihilation were verified at approximately 1e-15 error; independent-rate decay matched |1-alpha|^k and |1-kappa|^k predictions within 2e-15, and the stability boundary at rate 2 was confirmed. In the perturbation toy task, selective damping removed harmonic error rapidly while preserving a slower cut rate, but a shared fast baseline achieved lower total recovery error, so the mechanism is validated without evidence of a general accuracy win.

Agent confidence
9/10
Baseline
Shared slow (alpha=kappa=0.20): final node error 0.1651, final edge error 0.2880, edge-error AUC 4.1471. Shared fast (alpha=kappa=0.80): final node error 2.4e-12, final edge error 4.2e-12, edge-error AUC 1.0519.
Idea
Selective (alpha=0.20, kappa=0.80): final node error 0.1651, final harmonic norm 3.9e-12, final edge error 0.1049, edge-error AUC 2.0939. Decay-law maximum absolute error 1.94e-15; boundary-sweep maximum error 3.89e-15.

Limitations: Only a small 8-node ring and synthetic linear recovery were tested; no learned MLP edge-GNN, grids or random graphs, disconnected-graph handling, training comparison, long-horizon forecasting benchmark, FLOP matching, or multi-seed statistical evaluation was performed.

How to run: python3 hodge_experiment.py

Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.07768)

Significantly WORSE than the tuned baseline (+34.4%, p=0.0444, wins 2 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0003
Idea mean
0.0004
Effect (Δ)
0.0001 (+34.4%; negative = idea better)
Wins
2 / 8 paired seeds
p-value
0.0444 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the built-in dynamics track was tested. Temporal positions were treated as a fixed oriented cycle; no explicit multi-node graph dynamics, learned cut target, larger graph, alternative alpha/kappa sweep, long-horizon rollout metric, or FLOP/profile comparison was tested.

How to run: python3 stage2_hodge_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

Implemented an end-to-end Hodge-selective GRU on the structurally appropriate dynamics track, using an oriented 8-position cycle to split recurrent hidden trajectories into cut and harmonic components with separate contraction rates. The trained-model signature confirmed the predicted one-step ratios, but the idea significantly worsened test MSE versus the tuned matched GRU baseline: paired delta +9.9003e-05 with permutation p=0.0444. The mechanism transferred algebraically but did not produce a benchmark win.

Baseline
rnn_small, lr=0.006, 8-seed test MSE mean 0.0002875162 ± 0.0000828044
Idea
HodgeSelectiveRNN, alpha=0.2, kappa=0.8, lr=0.006, 8-seed test MSE mean 0.0003865195 ± 0.0001170881; paired delta +0.0000990033, p=0.0444, 2/8 wins

Benchmark result

Significantly WORSE than the tuned baseline (+34.4%, p=0.0444, wins 2 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0003
Idea mean
0.0004
Effect (Δ)
0.0001 (+34.4%; negative = idea better)
Wins
2 / 8 paired seeds
p-value
0.0444 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the built-in dynamics track was tested. Temporal positions were treated as a fixed oriented cycle; no explicit multi-node graph dynamics, learned cut target, larger graph, alternative alpha/kappa sweep, long-horizon rollout metric, or FLOP/profile comparison was tested.

How to run: python3 stage2_hodge_bench.py

Artifacts

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