△ Mechanism confirmed, baseline not beaten 2026

Harmonic Global Latent Channels

Implementation & benchmark of arXiv:2608.25266 — Optimal Control in Hilbert Complex Spaces with Finite Element Exterior Calculus

Usefulness6/10
Difficulty5/10
Novelty6/10

Source paper: Optimal Control in Hilbert Complex Spaces with Finite Element Exterior Calculus arXiv:2608.25266 ⓘ · analyzed Aug 29, 2026

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

Idea description

Augment a mesh or graph neural network with an explicit low-dimensional channel for topological circulation or flux modes. The network predicts a local gauge-fixed field u and global coefficients a, then reconstructs the physical field as y = u + Ha, so local message passing does not need to synthesize global modes through many layers.

Formulas

$$y=u+h,\qquad u\perp\mathfrak{H}^{k},\qquad h\in\mathfrak{H}^{k}.$$
$$\bm{\Pi}:\mathfrak{H}^{k}\longrightarrow\mathbb{R}^{b_{k}}.$$
$$B_{k+1}H=0,\qquad \delta_kH=0,\qquad H^{\mathsf T}M_kH=I,\qquad \delta_k=M_{k-1}^{-1}B_k^{\mathsf T}M_k.$$
$$y_\theta=u_\theta+Ha_\theta,\qquad H^{\mathsf T}M_ku_\theta=0,\qquad \mathcal{L}=\mathcal{L}_{\mathrm{task}}(y_\theta)+\lambda_{\Pi}\lVert Py_\theta-\pi^*\rVert_2^2+\lambda_{\mathrm{g}}\lVert H^{\mathsf T}M_ku_\theta\rVert_2^2.$$

Mathematical statement

The paper's central decomposition is y = u + h, with u perpendicular to the harmonic space H^k and h in H^k, where y is the physical k-form field, u is the gauge-fixed local state, and H^k is the harmonic subspace. Its period map is Pi: H^k -> R^{b_k}, where b_k is the k-th Betti number and Pi(h) records global circulation or flux coordinates. In a discrete mesh, let B_k and B_{k+1} be incidence matrices on k- and (k+1)-simplices, let M_k be the positive-definite k-form mass matrix, and define the discrete codifferential delta_k = M_{k-1}^{-1} B_k^T M_k. Construct an M_k-orthonormal harmonic basis H satisfying B_{k+1}H = 0, delta_k H = 0, and H^T M_k H = I. If P is a discrete period operator obtained by integrating basis k-forms over a chosen homology-cycle basis, use Pi(y) = Py as the global observable. The adapted neural decomposition is y_theta = u_theta + H a_theta, with the gauge condition H^T M_k u_theta = 0, trained using both the task loss and a period loss.

Implementation notes

(1) Exact integration point: use this as the output head of a mesh neural operator or graph neural network whose output is a discrete differential k-form, such as edge values for k = 1 or face fluxes for k = 2. Precompute the mesh incidence matrices B_k and B_{k+1} and mass matrices M_k and M_{k-1}. Compute a basis H for the discrete harmonic subspace by solving the nullspace constraints B_{k+1}H = 0 and M_{k-1}^{-1}B_k^T M_k H = 0, then M_k-orthonormalize the columns. (2) Pseudocode: z = GNN(features, mesh); u_raw = local_head(z); coeff = H.T @ M_k @ u_raw; u = u_raw - H @ coeff; a = global_pool(z, cycle_features); y = u + H @ a; loss = task_loss(y, target) + lambda_period * norm(P @ y - period_target)^2 + lambda_gauge * norm(H.T @ M_k @ u)^2. For forecasting, concatenate the current global coefficient a_t to every local node or edge feature and predict a_{t+1}. (3) Compute H, the weighted projection H(H^T M_k input), and P exactly from the mesh; estimate only the neural mappings from input features to the local field and coefficients. If period labels are unavailable, use P @ target as the target period. For changing meshes, recompute H and P or transport coefficients through a consistent homology-cycle basis, fixing basis signs and ordering to prevent label permutations. (4) First cheap experiment: use an annulus or square-with-hole mesh, generate Poisson or Maxwell fields with randomized circulation, and compare a four-layer message-passing baseline with this harmonic-head model at equal parameter count. Measure field L2 error, period error, and performance after mesh refinement. Success means lower circulation error at the same depth, particularly when the hole is farther apart than the baseline receptive field, plus improved zero-shot transfer to refined meshes.

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 8/10

Built a weighted discrete harmonic decomposition and a four-layer ring message-passing model with an explicit harmonic latent head. The numerical check verified the harmonic constraints, weighted orthonormality, gauge projection, reconstruction, and period consistency to approximately 1e-16. On the toy global-circulation task, the harmonic head improved field RMSE, period RMSE, and far-edge RMSE, though it used more parameters and the task favors global circulation.

Agent confidence
8/10
Baseline
field RMSE 0.18425; period RMSE 0.87976; far-edge RMSE 0.20344; 2497 parameters
Idea
field RMSE 0.02108; period RMSE 0.10729; far-edge RMSE 0.01881; 3122 parameters
Math check
closed residual 0.0; coclosed residual 1.04e-16; weighted orthonormality 1.0; gauge residual 6.66e-16; reconstruction residual 2.22e-16; period-basis residual 0.0

Limitations: Only a 24-edge weighted cycle with one harmonic mode was tested. No 2D mesh, mesh-refinement transfer, equal-parameter matching, FLOP or speed measurement, period-supervised loss, or multiple random seeds were tested. The harmonic model has 3122 parameters versus 2497 for the baseline.

How to run: python3 experiment.py

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

Beats the tuned baseline by -0.0339 metric points (p=0.0081, wins 8 / 8 paired seeds; metric: lower is better).

Benchmark
Harmonic_cycle_circulation
Model
ring_message_passing_custom
Paired seeds
8
Baseline mean
0
Idea mean
0
Effect (Δ)
-0.0339 (n/a; negative = idea better)
Wins
8 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
No effect
Baseline tuning
swept over 0 configs
Limitations:

The custom PDE track is a minimal weighted one-cycle skeleton rather than a 2D triangulated annulus; no mesh refinement transfer, multi-harmonic Betti number, period-supervised loss, FLOP, or speed evaluation was performed.

How to run: python3 run_bench.py

Verdict computed by deterministic test code from paired-seed statistics — not by the language model.

Stage 2 — Benchmark latest Worked ✓

Agent confidence: 8/10

Built matched four-layer ring message-passing baseline and Harmonic Global Latent Channels systems on a structurally appropriate custom PDE/topological circulation track. The idea reduced test MSE from 0.0355058 to 0.00155961 across all 8 paired seeds, with permutation p=0.0081. The trained-model signature confirmed near-unit global period transmission with slope 0.9669 and correlation 0.9943.

Baseline
Test MSE 0.0355058 ± 0.0023969; best lr=0.001; 8 seeds.
Baseline lr comparison
At baseline-selected lr=0.001, delta=-0.0323524; 8/8 wins; p=0.0081.
Idea
Test MSE 0.00155961 ± 0.00102341; best idea sweep setting; 8 seeds.
Math check
closed residual 0.0; coclosed residual 1.04e-16; weighted orthonormality 1.0; gauge residual 5.55e-16; reconstruction residual 4.44e-16; period residual 0.0.
Paired delta
-0.0339462; 8/8 idea wins; permutation p=0.0081.

Benchmark result

Beats the tuned baseline by -0.0339 metric points (p=0.0081, wins 8 / 8 paired seeds; metric: lower is better).

Benchmark
Harmonic_cycle_circulation
Model
ring_message_passing_custom
Paired seeds
8
Baseline mean
0
Idea mean
0
Effect (Δ)
-0.0339 (n/a; negative = idea better)
Wins
8 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
No effect
Baseline tuning
swept over 0 configs
Limitations:

The custom PDE track is a minimal weighted one-cycle skeleton rather than a 2D triangulated annulus; no mesh refinement transfer, multi-harmonic Betti number, period-supervised loss, FLOP, or speed evaluation was performed.

How to run: python3 run_bench.py

Artifacts

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