Restoring the Truncated Band

Geometry-aware spectral operators — and a direct measurement of geometric forgetting, in 2-D and 3-D.
Sehaj Randhir Singh
Independent researcher; partial affiliation with NYU Tandon School of Engineering
Depth-16 FNO vs AGF-NO on a held-out Darcy flow with interior obstacles
One held-out case, depth 16

Ground truth (left), the depth-16 FNO (center, rel-L² 1.010 — collapsed: a smooth field with the geometry gone), and AGF-NO (right, rel-L² 0.060). The case is the median-FNO-error member of the held-out batch; all eight per-sample FNO values sit in 0.79–1.10. Obstacle boundaries outlined in cyan.

Fourier Neural Operators learn mappings between function spaces with \(O(N\log N)\) cost, but their global mixing channel is structurally band-limited: mode truncation discards every Fourier mode above the cut, so sharp boundary content and long-range boundary interactions must either be re-synthesized by pointwise nonlinearities or be lost. This paper states the truncation band-limitation precisely, and shows that a multiplicative, field-valued modulation of the spectral weights — derived from a signed distance function (SDF) of the domain — restores the missing band through spectral convolution: the product of a low-band latent with a kinked modulation field regenerates high-frequency content at exactly the wall locations where the truncated operator is wrong. The architecture, AGF-NO, is zero-gated: it begins as an exact FNO and learns how much geometry to use. The paper then does what the operator-learning literature has consistently failed to do for "geometric forgetting": measure it. A closed-form linear probe on each block's latent shows decodable boundary information collapsing with depth (probe \(R^2\) 0.896 → 0.472 over four blocks) to total collapse at depth 16 (\(R^2 = 0.0003\)) — exactly tracking the operator's behavioural collapse (rel-L² 1.005, three seeds, zero overlap with the healthy regime) — while the re-injecting operator plateaus (0.633). The collapse–plateau replication lifts to three dimensions (spheres and solid tori: FNO 1.008 vs AGF-NO 0.113 at depth 16; probe 0.020 vs 0.494), so the phenomenon is dimension-independent. A Geo-FNO-style deformation baseline confirms the structural diagnosis (interior walls are not simply connected — no diffeomorphism flattens them), a closed-form a-priori diagnostic predicts where the mechanism pays on a second PDE family, and every claim is seed-replicated with every number traced to a committed JSON.

The mechanism: modulate the weights, not the latent

An FNO block's global channel is the low-band projection: high-band boundary content cannot be created by it, and every long-range boundary interaction is low-pass filtered through a Dirichlet (sinc) reachability kernel. Depth compounds the loss. Additive or FiLM-style geometry injection changes the latent but leaves every block's global channel exactly as band-limited as before — geometry added to the latent is annihilated by the next truncation. Multiplicative, field-valued modulation is the minimal change that alters the global channel itself: a product of fields is a convolution of spectra, so a low-band latent multiplied by a kinked modulation regenerates the high band — measured at >20× high-band energy at the walls, versus zero for any constant modulation. Because both geometry paths are zero-gated, AGF-NO starts as an exact FNO (unit-tested to numerical identity) and inherits its training dynamics until the gates open.

Controls, both directions

Freeze the gates and you get the FNO back (error ratio 0.97 — no free capacity win). Remove the penalty from the loss and AGF-NO still wins on every metric (0.082 vs 0.125) — the mechanism, not the loss term, carries the effect. Identical inputs, identical budgets, 3 seeds.

Forgetting, measured per block

Closed-form ridge probe for SDF decodability in each block's latent. FNO: 0.896 → 0.472 over four blocks, → 0.0003 at depth 16 — geometry erased. AGF-NO: 0.934 → 0.591, → 0.633 plateau (spread 0.045 across depths 4–16).

Collapse, then plateau

Behavioural counterpart: near-wall error vs depth. FNO degrades gently to depth 8, then collapses outright at 16 (global rel-L² 1.005 ± 0.002 — a 12.0× ratio to AGF-NO, whose seed variance at 16 is 1.4%). The probe predicts it; the loss delivers it.

The 3-D replication

Spheres + solid tori (multiply-connected — deformation escapes are structurally unavailable). FNO: 0.144 at depth 4 → 1.008 ± 0.000 at 16, zero seed overlap. AGF-NO: 0.077 → 0.113, depth-stable. The phenomenon is dimension-independent.

Numbers

2-D obstacle Darcy (48², 3 seeds, identical budgets; global rel-L² and near-wall "ring" rel-L²):

depthFNO globalFNO ringAGF-NO globalAGF-NO ring
40.1250 ± 0.00300.2506 ± 0.00110.0801 ± 0.00100.1123 ± 0.0035
80.1449 ± 0.00400.2573 ± 0.00250.1109 ± 0.00580.1279 ± 0.0016
161.0054 ± 0.0016 — collapsed0.7964 ± 0.00690.0841 ± 0.0012 — stable0.1057 ± 0.0020
The depth-16 collapse is not a tail event: the best collapsed FNO seed is still 1.0036. Probe R² (SDF decodability, final block): FNO 0.0003 vs AGF-NO 0.6327.

3-D obstacle Darcy (32³, spheres + tori, 3 seeds):

depthFNO globalFNO ringprobe R²AGF-NO globalAGF-NO ringprobe R²
40.144 ± 0.0200.229 ± 0.0070.494 ± 0.0440.077 ± 0.0030.085 ± 0.0030.530 ± 0.023
161.008 ± 0.0000.907 ± 0.0010.020 ± 0.0120.113 ± 0.0030.124 ± 0.0030.494 ± 0.015
Wall violations at depth 16: FNO 0.034 → 0.771 (the field leaks into the obstacles); AGF-NO 0.0008. At depth 4 the full matrix also gives zero-shot 48³ super-resolution: AGF-NO 0.695 vs FNO 0.744 rel-L².

Canonical benchmark & baselines. On the literature's piecewise-constant Darcy setting, with the penalty and ring-channel confounds removed, AGF-NO reduces global error 25% (0.194 → 0.145). A Geo-FNO-style learned deformation improves the simply-connected part of the problem (0.106 vs 0.123 global) but stays blind at the walls (ring 0.239, statistically indistinguishable from FNO's; wall fidelity 0.076 vs AGF-NO's 0.005) — a domain with interior wall obstacles is not simply connected, so no diffeomorphism of the box flattens it. Published FNO (0.0082) and Geo-FNO (0.0068) numbers are quoted for scale only, with explicit non-comparability caveats (different generators, resolutions, splits).

External baselines at matched settings (pilot protocol: uniformly reduced budget — 32 epochs, 256 train samples, 48² — applied identically to all four architectures, FNO and AGF-NO retrained under it; 3 seeds each; byte-identical splits):

architecturering rel-L²wall fidelityglobal rel-L²params
FNO0.2890 ± 0.00480.08440.2203 ± 0.01224.81M
U-Net0.1742 ± 0.00470.10480.0947 ± 0.00104.58M
CNO0.3856 ± 0.00610.27670.2065 ± 0.00574.85M
AGF-NO (ours)0.1632 ± 0.00260.02170.1529 ± 0.00355.10M
AGF-NO is the best architecture on both geometry metrics: ring error 1.07× lower than the U-Net, 1.77× than FNO, 2.36× than CNO; wall fidelity 3.9× better than FNO, 4.8× than U-Net, 12.8× than CNO. Disclosed inversion: the U-Net wins global error — localized convolution assembles geometry from its receptive field and simply does not suffer the periodic-global failure mode. That is the mechanism claim sharpened: the ring pathology is specific to the band-limited global spectral channel, not to deep networks. CNO — global and band-limited, but without a geometry channel — is worst at the walls: the mechanistic control.

Second PDE family & the a-priori diagnostic. On the advection family the error is boundary-resolved there too, and the zero-shot rollout ratio is ~1.44 for both models — the fix adds fidelity, not fragility. A closed-form diagnostic (Δρ: the geometric skew of near-wall error under the frozen operator) is computable before any training, from data the practitioner already has: on Darcy it predicts a large boundary-mechanism gain (+0.024, measured 55% ring reduction); on advection it predicts a small one (−0.024, measured 4%). Functional form, validated on both families, honestly scoped in the paper's limitations.

Theory in one breath

The global channel of a spectral-convolution block is multiplication by a mask in Fourier space — convolution with a sinc kernel in physical space. That kernel is shift-invariant: it cannot know where the walls are, and it cannot carry what they look like. Three falsifiable predictions fall out, and all three are measured: P1 — a wall-localized perturbation propagates through a trained FNO latent as a band-limited sinc-shaped footprint (measured ring-to-far error ratio 1.66 for FNO vs 1.32 for AGF-NO); P2 — multiplicative modulation regenerates the truncated band (measured: 43% lower high-band ring error, >20× wall high-band energy vs constant modulation); P3 — decodable geometry decays with depth for the vanilla operator and plateaus for the re-injecting one (measured: 0.0003 vs 0.633 at depth 16, replicated in 3-D at 0.020 vs 0.494). The over-smoothing analogy is deliberate: GNNs were diagnosed the same way — representationally, layer by layer — before the field accepted the mechanism.

Reproduce

Trained models + full artifact stack on Hugging Face · Result JSONs on Kaggle

git clone https://github.com/sehajr-singhs/agfno
cd agfno
pip install -r requirements.txt

python -m pytest agfno/tests -q        # 41 tests: solvers, SDFs, zero-gate identity, gates, probe
python smoke_suite.py                  # CPU smoke of every experiment family

python launch.py                       # 2-D matrix + forgetting sweep (Modal A100 / local CUDA)
python launch.py --quick               # sanity run
python -m agfno.experiments4 --quick   # 3-D matrix (T4-scale)
python -m agfno.experiments5p          # external baselines, pilot protocol (CPU-capable)
python paper/gen_hero.py               # regenerate the hero figure from the HF checkpoints

Seeded protocol (3 seeds per condition; per-seed JSONs committed in results/runs/), 240+ programmatic paper macros, one-click GPU reruns. Every number on this page is typeset from the same JSONs.