Parabolic Riesz Feature Preconditioner
Implementation & benchmark of arXiv:2607.05181 — $\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$
Source paper: $\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$ arXiv:2607.05181 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a learned Riesz-transform branch that extracts normalized spatial gradients after diffusion by a positive parabolic operator. The diffusion branch carries smooth semantic content, while the Riesz branch represents boundaries, motion changes, and graph discontinuities. Resolvent smoothing makes the derivative branch less sensitive to feature noise than directly applying a finite difference.
Formulas
Mathematical statement
The paper defines the Riesz transform associated with a second-order operator \(\mathcal{L}\) and first-order differential structure \(\mathbb{D}\) by \(\mathcal{R}_{\mathcal{L}}=\mathbb{D}\mathcal{L}^{-1/2}\). For \(\mathcal{H}=\partial_t-\operatorname{Div}_x(A\nabla_x)\), \(\mathbb{D}\) can be a spatial gradient or a combined spatial and temporal difference. The paper defines \(q_-(\mathcal{H})=\inf\{p\geq1:(\lambda\mathbb{D}\mathcal{E}_\lambda)_{\lambda>0}\text{ is uniformly }L^p\text{-bounded}\}\), where \(\mathcal{E}_\lambda=(1+\lambda^2\mathcal{H})^{-1}\) is the resolvent family. The implementation uses the resolvent approximation \(R_\lambda X=\lambda\mathbb{D}(I+\lambda^2H)^{-1}X\) for \(\mathbb{D}\mathcal{H}^{-1/2}\). Here \(H\) is a discrete parabolic operator, \(\lambda\) is the derivative scale, \(\mathbb{D}\) is a discrete incidence or finite-difference operator, and \((I+\lambda^2H)^{-1}\) suppresses frequencies above the scale before differentiation.
Implementation notes
(1) Integration point: add the branch after patch embedding or after each early spatiotemporal encoder block, before the nonlinear MLP. Use it for video, event-camera, optical-flow, traffic, or graph signals where information is concentrated at spatial and temporal discontinuities. Let \(X\in\mathbb{R}^{B\times T\times N\times d}\). Construct a sparse graph Laplacian \(L_A\), a causal temporal difference matrix \(D_t\), and \(H=D_t+L_A+\epsilon I\), with \(\epsilon>0\). Let \(\mathbb{D}\) be the spatial incidence matrix, optionally concatenated with a scaled temporal difference. (2) Pseudocode: for each selected scale \(\lambda\), solve \((I+\lambda^2H)Z=X\) using 5--20 preconditioned conjugate-gradient iterations; compute \(R=\lambda\mathbb{D}Z\); apply RMSNorm to \(R\); return \(X_{out}=X+W_sX+gW_rR\), where \(g\) is initialized to zero or 0.1 and learned. Use multiple scales and concatenate the resulting \(R\)'s if memory permits. (3) The mathematical component is the dimensionless factor \(\lambda\mathbb{D}\) combined with the resolvent inverse, which prevents derivative magnitude from increasing uncontrollably with resolution. Estimate the operator norm of \(\lambda\mathbb{D}(I+\lambda^2H)^{-1}\) using five-step power iteration and reduce \(g\) if the estimate exceeds a target such as 2. Select scales from the empirical feature correlation length; the paper does not provide a neural-network-specific optimal scale. (4) First experiment: compare a six-layer graph transformer or small VideoMamba with and without this branch on Moving-MNIST, traffic forecasting, or UCF101 using 64 nodes and 16 time steps. Measure validation accuracy, sensitivity to 10% feature perturbations, gradient-norm variance, and training loss. Compare against direct \(\mathbb{D}X\) and an ordinary convolutional high-pass branch. Success is improved boundary or motion accuracy and lower corruption sensitivity for no more than 20% additional FLOPs.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Confirmed ✓
Stage 2 · Practical benchmark result: Inconclusive
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 compact Parabolic Riesz Feature Preconditioner MVP using a ring-graph Laplacian and the resolvent operator lambda*D*(I+lambda^2 H)^-1, with RMS normalization and a learned residual gate. The numerical check reproduced the claimed smoothing effect: at n=32/64/128, the Riesz operator norms were about 0.50 versus 2.00 for direct differences, and measured noise amplification was roughly 0.41 versus 1.22–1.54. The toy classifier did not show an accuracy win: all variants reached 1.0 accuracy and the Riesz branch had the highest validation loss, so the result supports stability/noise suppression but not improved task performance.
- Agent confidence
- 8/10
- Baseline
- Direct difference: operator norm 2.000; noise amplification 1.224, 1.368, 1.536 for n=32,64,128; toy validation loss 0.17395, accuracy 1.000, perturbed accuracy 1.000.
- Idea
- Resolvent Riesz: operator norm 0.499, 0.500, 0.500; noise amplification 0.400, 0.419, 0.415 for n=32,64,128; toy validation loss 0.22344, accuracy 1.000, perturbed accuracy 1.000.
Limitations: Only a 1-D periodic graph and a small synthetic frequency-classification task were tested. No real video, traffic, graph benchmark, FLOP accounting, multi-scale branch, causal temporal operator, conjugate-gradient approximation, or statistically repeated training runs were evaluated.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2607.05181)
No significant difference vs. the tuned baseline (+2.6%, p=0.4264, wins 4 / 8 paired seeds).
- Benchmark
- Sequence modeling
- Model
- transformer_tiny
- Paired seeds
- 8
- Baseline mean
- 0.4825
- Idea mean
- 0.4949
- Effect (Δ)
- 0.0124 (+2.6%; negative = idea better)
- Wins
- 4 / 8 paired seeds
- p-value
- 0.4264 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±6.0%
- Mechanism
- Confirmed ✓
- Practical effect
- Inconclusive
- Baseline tuning
- swept over 3 configs
Only the built-in sequence track was tested; no PDE, graph, video, traffic, multi-scale, causal temporal-difference, conjugate-gradient approximation, FLOP measurement, or larger-data evaluation was performed. The mechanism signature used separately trained models at lr=0.003 as a robustness probe, while the primary paired comparison selected lr=0.001 via the required sweep.
How to run: python3 stage2_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
Built an end-to-end Parabolic Riesz branch inside the standard transformer_tiny sequence model, using the same forecast task, optimizer, epochs, batch size, and paired seeds as the baseline. The baseline achieved mean test MSE 0.48255 versus 0.49494 for the best Riesz configuration, with paired delta +0.01239 and permutation p=0.42645, hence no significant win. The trained-model mechanism signature showed lower mean output perturbation ratio for the idea (0.1621 vs 0.1800), confirming the predicted robustness signal, but this did not translate into better task performance.
- Baseline
- sequence/transformer_tiny; baseline lr sweep {0.001: 0.47026, 0.003: 0.56207, 0.006: 0.78261} on four tuning seeds; best lr=0.001; full 8-seed mean test MSE=0.4825485, std=0.0335456.
- Idea
- Parabolic Riesz transformer; union-parity lr sweep full 8-seed means {0.001: 0.49494, 0.003: 0.61534, 0.006: 0.87921}; best lr=0.001; paired delta=+0.0123890 MSE, p=0.42645, 4/8 paired wins. Mechanism signature: mean trained-model output noise ratio 0.16206 vs baseline 0.17996, confirmed=true.
Benchmark result
No significant difference vs. the tuned baseline (+2.6%, p=0.4264, wins 4 / 8 paired seeds).
- Benchmark
- Sequence modeling
- Model
- transformer_tiny
- Paired seeds
- 8
- Baseline mean
- 0.4825
- Idea mean
- 0.4949
- Effect (Δ)
- 0.0124 (+2.6%; negative = idea better)
- Wins
- 4 / 8 paired seeds
- p-value
- 0.4264 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±6.0%
- Mechanism
- Confirmed ✓
- Practical effect
- Inconclusive
- Baseline tuning
- swept over 3 configs
Only the built-in sequence track was tested; no PDE, graph, video, traffic, multi-scale, causal temporal-difference, conjugate-gradient approximation, FLOP measurement, or larger-data evaluation was performed. The mechanism signature used separately trained models at lr=0.003 as a robustness probe, while the primary paired comparison selected lr=0.001 via the required sweep.
How to run: python3 stage2_bench.py
Artifacts
- bench_report.json 5.1 KB View Raw
- experiment.py 4.6 KB View Raw
- report.md 1.6 KB View
- report_bench_2026-09-04T123408.md 4.5 KB View
- results.json 1.4 KB View Raw
- stage2_bench.py 4.7 KB View Raw