△ Mechanism confirmed, baseline not beaten 2026

Thermal Homotopy Training

Implementation & benchmark of arXiv:2607.29590 — Spindrift: Learning quantum degeneracy from thermal purity in restricted path integral Monte Carlo

Usefulness8/10
Difficulty4/10
Novelty5/10

Source paper: Spindrift: Learning quantum degeneracy from thermal purity in restricted path integral Monte Carlo arXiv:2607.29590 ⓘ · analyzed Aug 31, 2026

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

Idea description

Train a neural model through a sequence of progressively harder objectives, analogous to descending temperature from the exactly solvable infinite-temperature heat kernel. At stage k, initialize from the parameters learned at the previous stage and increase the continuation parameter only when the current residual and sampling diagnostics are stable. This should reduce optimization shocks and avoid repeatedly entering poor basins.

Formulas

$$\partial_\beta \rho_\beta(x,x')=-\left(H_x\rho_\beta\right)(x,x'),\qquad R_\theta(x,x';\beta)=\partial_\beta\rho_\theta(x,x';\beta)+\left(H_x\rho_\theta\right)(x,x';\beta).$$
$$\beta_{k+1}=\beta_k+\Delta\beta_k,\qquad \theta_{k+1}\leftarrow\operatorname*{argmin}_{\theta}\;\mathbb{E}_{z\sim q_{\beta_k}}\left[|R_\theta(z;\beta_{k+1})|^2\right]+\lambda\mathcal{L}_{\mathrm{anchor}}(\theta,\theta_k).$$
$$\frac{\|\theta_{k+1}-\theta_k\|}{\|\theta_k\|+\epsilon}<\tau_\theta,\qquad \frac{\|R_{k+1}\|}{\|R_k\|+\epsilon}<\tau_R.$$

Mathematical statement

Let \(\beta\ge 0\) be inverse temperature, \(\rho_\theta(x,x';\beta)\) the neural approximation to a density matrix, and \(H\) the system Hamiltonian or, in the ML adaptation, a parameterized objective operator. The Bloch evolution is \(\partial_\beta\rho_\beta=-H\rho_\beta\), giving residual \(R_\theta=\partial_\beta\rho_\theta+H\rho_\theta\). The reference at \(\beta=0\) is the infinite-temperature heat kernel \(\rho_0\), which supplies an analytically known initialization. Use a discrete continuation sequence \(0=\beta_0<\beta_1<\cdots<\beta_K\), train \(\theta_k\) at \(\beta_k\) from \(\theta_{k-1}\), and accept a step only when the normalized residual and parameter update remain below prescribed thresholds. The transferable mechanism is homotopy continuation: nearby objectives should require smaller parameter changes than a direct jump to the final objective.

Implementation notes

1. Integration point: use this as a scheduler around SGD or Adam for a model whose objective can be continuously softened, such as a diffusion noise level, inverse-temperature-weighted energy, label smoothing, or sequence-horizon difficulty. Add a scalar continuation input \(\beta\) to the network and expose the residual or training loss at that value. 2. Pseudocode: initialize \(\beta=0\) and \(\theta\) from the easy reference solution; repeat: sample a minibatch at \(\beta\), compute the task loss plus \(\lambda\|\theta-\theta_{\mathrm{old}}\|^2\), take optimizer steps, and estimate normalized residual \(r=\operatorname{mean}|R_\theta|^2/(\operatorname{mean}|H\rho_\theta|^2+\epsilon)\). If r is below tolerance for M consecutive evaluations, set \(\beta\leftarrow\beta+\Delta\beta\), save \(\theta_{\mathrm{old}}\), and otherwise halve \(\Delta\beta\). 3. Computed from the paper mechanism: the easy reference, continuation direction, and residual-based stage logic. Estimated empirically: residual norms, gradient variance, acceptance rate, and the largest stable \(\Delta\beta\). 4. First cheap experiment: train a small MLP or diffusion denoiser on MNIST with a noise or temperature parameter. Compare direct training at the hardest setting against five to ten continuation stages with equal total optimizer steps. The predicted signature is a sharp reduction in failure rate when the direct objective is unstable, a transient residual spike after each stage followed by decay, and approximately linear parameter displacement in \(\Delta\beta\) for sufficiently small increments. Test whether final-stage loss variance is at least 20% lower and whether the measured maximum stable stage increment is larger than for direct training.

Verification

Mechanism confirmed, baseline not beaten

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Confirmed ✓

Stage 2 · Practical benchmark result: Significantly worse ✗

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 quadratic homotopy verification and a matched-step PyTorch regression comparison. Predictions manifested: displacement per Δβ stayed 1.1277707129 for Δβ=0.01–0.25 (predicted constant ||A⁻¹b||=1.1277707129), old-solution residual per Δβ stayed 1.2206555616 (predicted ||b||=1.2206555616), and GD diverged at η=0.50 while remaining stable at η=0.49, versus the predicted boundary η=2/λmax=0.495014. The neural task itself showed no win: homotopy hard MSE was higher and variance was 19.3% higher than baseline, so the demonstrated success is the mathematical mechanism rather than improved task performance.

Agent confidence
8/10
Baseline
Neural hard MSE: 0.47509 ± 0.00107 over 5 seeds; direct GD stability sweep diverged for eta >= 0.50.
Idea
Neural hard MSE: 0.49033 ± 0.00128 over 5 seeds; quadratic predictions: displacement/delta 1.1277707 exact, residual/delta 1.2206556 exact, observed stability transition [0.49, 0.50] versus predicted 0.4950137.

Limitations: The neural experiment used synthetic full-batch sine regression rather than MNIST or a density-matrix residual, did not implement adaptive step halving or residual-based acceptance, and used only five seeds and one architecture. The stability boundary was sampled on a coarse eta grid rather than solved by binary search.

How to run: python3 experiment.py

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

Significantly WORSE than the tuned baseline (+23.7%, p=0.0081, wins 0 / 8 paired seeds).

Benchmark
Tabular regression (Friedman)
Model
mlp_tiny
Paired seeds
8
Baseline mean
11.6078
Idea mean
14.3558
Effect (Δ)
2.748 (+23.7%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
±5.6%
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the registered tabular optimizer track was tested; vision, sequence, dynamics, and custom tracks were not evaluated. The mechanism signature uses one representative trained seed. The implementation uses fixed continuation stages and anchor regularization rather than adaptive residual-based step halving and acceptance diagnostics.

How to run: python3 bench_stage2.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

Thermal Homotopy Training was implemented as a matched continuation-training system using the bench tabular Friedman#1 task and mlp_tiny architecture. The best idea configuration (lr=0.01, 3 stages) achieved MSE 14.355837 versus the tuned baseline MSE 11.607812; paired delta was +2.748025 with permutation p=0.0081, hence the idea was significantly worse. The displacement-per-stage signature had CV 0.136, but this mechanism signal did not translate into a task-metric win.

Baseline
mean MSE 11.607812, std 1.173520, 8 paired seeds; best lr=0.01.
Idea
mean MSE 14.355837, std 1.285708, 8 paired seeds; best lr=0.01 and 3 stages; paired delta +2.748025, p=0.0081.

Benchmark result

Significantly WORSE than the tuned baseline (+23.7%, p=0.0081, wins 0 / 8 paired seeds).

Benchmark
Tabular regression (Friedman)
Model
mlp_tiny
Paired seeds
8
Baseline mean
11.6078
Idea mean
14.3558
Effect (Δ)
2.748 (+23.7%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
±5.6%
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the registered tabular optimizer track was tested; vision, sequence, dynamics, and custom tracks were not evaluated. The mechanism signature uses one representative trained seed. The implementation uses fixed continuation stages and anchor regularization rather than adaptive residual-based step halving and acceptance diagnostics.

How to run: python3 bench_stage2.py

Artifacts

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