Quasipotential PINN for Optimization Dynamics
Implementation & benchmark of arXiv:2607.23186 — Stochastic Dynamics of the Two-Dimensional Low-to-High Transition System Driven by Multiplicative Noise
Source paper: Stochastic Dynamics of the Two-Dimensional Low-to-High Transition System Driven by Multiplicative Noise arXiv:2607.23186 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Approximate stochastic neural-network training by a diffusion in parameter or representation space and train a scalar neural quasipotential using the stationary Hamilton-Jacobi residual. The resulting barrier between training basins becomes a quantitative monitor of metastability and can guide learning-rate, noise, or restart decisions.
Formulas
Mathematical statement
Let θ be neural-network parameters or a low-dimensional projection of them, b(θ) the measured mean optimizer drift, G(θ) the noise factor, W_t Brownian motion, ε the noise scale, and a(θ) = G(θ)G(θ)ᵀ the diffusion covariance. For the stochastic differential equation dθ = b(θ)dt + √ε G(θ)dW_t, the quasipotential V satisfies b(θ)·∇V(θ) + one-half ∇V(θ)ᵀa(θ)∇V(θ) = 0, with V equal to zero at a reference attractor. The decomposition b = minus one-half a∇V + l uses a circulating field l satisfying l·∇V = 0. The transition rate from basin A to basin B scales as exp(−ΔV divided by ε), where ΔV is the quasipotential barrier at the basin boundary relative to A.
Implementation notes
Integrate this at the optimizer level, initially in a two-dimensional projection z = Pθ rather than in the full parameter space. Train a small MLP on two-moons or MNIST and record consecutive projected parameter increments. Estimate the projected drift b_z(z) by local averaging of increments divided by the optimizer time step. Estimate the local covariance a_z(z) from residual increments after subtracting the estimated drift. Train a scalar network V_phi(z) with the loss L_HJ = mean of the squared Hamilton-Jacobi residual plus lambda_A V_phi(z_A)^2 and a positivity penalty. The residual is r(z) = b_z(z)·gradient V_phi(z) + one-half gradient V_phi(z)ᵀ a_z(z) gradient V_phi(z). The paper supplies the quasipotential equation and vector-field decomposition; drift, covariance, attractor locations, and basin boundaries must be estimated empirically. Recover a candidate transition path by integrating the reversed dissipative field one-half a_z gradient V_phi, optionally adding the tangent field l = b_z + one-half a_z gradient V_phi. The first cheap experiment should compare SGD with controlled additive noise against Adam on a two-layer MNIST MLP, using PCA coordinates of the parameter trajectory. Identify two basins by clustering converged trajectories, measure transition counts over several noise scales, and fit log transition rate against inverse noise scale. The predicted signature is a linear relation with slope equal to minus the learned barrier, with agreement within 20 percent serving as an initial validation criterion.
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 9/10
Built a reproducible toy quasipotential experiment for a bistable diffusion, including exact HJ verification, empirical covariance estimation, a scalar PINN, and transition-rate sweeps. The inverse-noise transition slope was -0.2493 versus the predicted -0.25, but the PINN learned a near-constant potential with barrier 0.000535 versus the exact 0.25. Because the core learned-monitor effect was not recovered, this is not a demonstrated win.
- Agent confidence
- 9/10
- Baseline
- Exact barrier=0.25; exact HJ residual=0; empirical transition slope=-0.2493 versus predicted -0.25.
- Idea
- Estimated covariance mean=2.0057; PINN barrier=0.000535 versus exact 0.25; PINN HJ RMS=0.000499. Covariance-scale slopes: c=0.5, -0.4923 versus -0.5; c=1, -0.2733 versus -0.25; c=2, -0.1804 versus -0.125.
Limitations: Only a one-dimensional analytic bistable diffusion was tested. No neural-network optimizer trajectory, MNIST or two-moons task, SGD-versus-Adam comparison, basin clustering, learned transition path, or optimization intervention was tested.
How to run: python3 quasipotential_experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- quasipotential_experiment.py 6.3 KB View Raw
- report.md 1.3 KB View
- results.json 1.9 KB View Raw