Response-Calibrated Langevin Optimizer
Implementation & benchmark of arXiv:2608.20013 — Exact Fluctuation-Response Relations for Underdamped Langevin Dynamics
Source paper: Exact Fluctuation-Response Relations for Underdamped Langevin Dynamics arXiv:2608.20013 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a fixed-noise Langevin optimizer with one that estimates the response of a training observable to a matched perturbation of the optimizer drift and noise, then adjusts damping and temperature to satisfy the finite-time fluctuation-response relation. The observable can be minibatch loss, validation loss, or a gradient projection, while the perturbation is a small controlled change in the corresponding update drift. This provides an online noise schedule and a falsifiable calibration diagnostic rather than tuning temperature only by final benchmark performance.
Formulas
Mathematical statement
Let $\theta_t$ denote network parameters, $A(\theta_{0:T})$ a scalar trajectory observable, and $h$ a small perturbation amplitude applied to the stochastic training dynamics. Let $S_h$ be the path score, defined by $S_h=\left.\partial_h\log p_h(\theta_{0:T})\right|_{h=0}$, where $p_h$ is the perturbed path probability. The exact finite-time response identity is $\left.\partial_h\mathbb{E}_h[A]\right|_{h=0}=\operatorname{Cov}_0(A,S_h)$ and remains applicable when the perturbation changes both drift and diffusion, provided the complete perturbed transition density is used. Cauchy-Schwarz gives the response bound $|\partial_h\mathbb{E}[A]|^2\leq\operatorname{Var}(A)\operatorname{Var}(S_h)$. The variance also obeys the variational identity $\operatorname{Var}(A)=\sup_f[2\operatorname{Cov}(A,f)-\operatorname{Var}(f)]$. In the optimizer, the residual between a measured finite-difference response and the score covariance is a calibration error; the predicted calibrated regime has residual near zero and obeys the response bound.
Implementation notes
1. Integration point: wrap stochastic SGD after gradient computation and preconditioning but before the parameter update. Choose $A$ as the average training loss over a window of $m$ steps, or as $A=\sum_{j=0}^{m-1}u^\top g_{k+j}$ for a fixed random unit vector $u$. Every $K$ steps, launch two synchronized short trajectories from the same checkpoint and feed them identical minibatches and Gaussian random numbers. The perturbed trajectory receives a drift perturbation $hq_k$, where $q_k$ is the current gradient or a low-rank random direction. A separate test can perturb the diffusion scale as $D_k\mapsto D_k(1+h)$, which is important because the paper treats perturbations of both drift and noise. 2. Pseudocode: run baseline and perturbed replicas; estimate $r=(\bar A_h-\bar A_0)/h$; compute the Gaussian transition-density path score $S_h$ analytically; estimate $c=\operatorname{Cov}(A,S_h)$ and $v=\operatorname{Var}(S_h)$; form $R=r-c$; update $\log D\leftarrow\log D-\alpha R/(\sqrt v+\epsilon)$ with clipping to $D\in[D_{\min},D_{\max}]$. 3. Compute the score from the implemented transition kernel, while estimating responses, covariances, and variances with exponential moving averages. Use only scalar score projections, not the full parameter-dimensional path score. 4. First experiment: train a small MLP on MNIST with isotropic Langevin SGD, comparing fixed noise, cosine-decayed noise, and response-calibrated noise. Use $m=20$, $K=100$, and $h=10^{-3}$ relative to update magnitude. Measure accuracy, loss variance, and $|R|/(|c|+\epsilon)$. The quantitative prediction is that calibration reduces this residual and that $r^2\leq\operatorname{Var}(A)v$ holds within sampling error; increasing $D$ past the near-saturation point should increase loss variance and eventually cause an observable instability transition.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 8/10
Built an exact Gaussian path-score verification and a small quadratic Langevin optimizer MVP. The response identity matched the analytic prediction across a=-0.5..0.9 with absolute discrepancies no larger than 0.0017, the Cauchy-Schwarz ratios stayed below 1, and the Euler stability transition appeared at eta*lambda=2 as predicted. However, the response-calibrated optimizer did not produce a convincing optimization win: mean final-window loss was 7.00e-6 versus 6.39e-6 for fixed noise, and its median normalized calibration residual was 1.16 rather than near zero; therefore the proposed optimizer effect is not demonstrated.
- Agent confidence
- 8/10
- Baseline
- Fixed D=0.01: mean last-500 loss 6.387e-6, loss variance 7.702e-12
- Idea
- Response-calibrated D: mean last-500 loss 7.001e-6, loss variance 7.145e-12, final D=0.009999996, median |R|/(|c|+eps)=1.163
Limitations: Only a scalar diagonal quadratic toy was tested, not the planned MNIST MLP or cosine-decay comparison. The calibration controller was a compact MVP with short probes and no extensive EMA or hyperparameter tuning; the stability boundary test intentionally reaches numerical overflow beyond the predicted boundary.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- experiment.py 5.5 KB View Raw
- report.md 1.4 KB View
- results.json 3.0 KB View Raw