Covariance-Adaptive Hermite Latent Bottleneck
Implementation & benchmark of arXiv:2607.07712 — Parameter-Space Heat Flow, Gaussian Density Ratios, and Sharp Hermite Truncation Rates
Source paper: Parameter-Space Heat Flow, Gaussian Density Ratios, and Sharp Hermite Truncation Rates arXiv:2607.07712 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent a learned approximately Gaussian latent variable using total-degree Hermite coefficients instead of storing or transmitting all latent coordinates. Estimate the covariance defect relative to the unit Gaussian, choose the smallest Hermite degree whose theoretically predicted tail is below a target error, and train the encoder-decoder through the resulting differentiable spectral bottleneck. This is most appropriate for VAE latents, uncertainty embeddings, or intermediate features that are explicitly normalized toward a Gaussian reference.
Formulas
Mathematical statement
The paper starts from the unit Gaussian reference w(v)=M_{1,0}(v)=(2\pi)^{-d/2}\exp(-|v|^2/2) and the shifted Gaussian density ratio \Phi(u;v)=\exp(u\cdot v-|u|^2/2)=M_{1,u}(v)/w(v). Here v\in\mathbb{R}^d is the feature variable and u\in\mathbb{R}^d is a mean parameter. The Hermite generating identity is \Phi(u;v)=\sum_{\alpha\in\mathbb{N}^d}H_\alpha(v)u^\alpha/\alpha!, where H_\alpha are probabilists' multivariate Hermite polynomials and \alpha!=\prod_i\alpha_i!. Applying the parameter-space heat semigroup P_t f(u)=\mathbb{E}_{Z\sim N(0,I_d)}[f(u+\sqrt{2t}Z)] gives \partial_tP_tf=\Delta_uP_tf and explicitly P_t\Phi(u;v)=M_{1+2t,u}(v)/w(v). For a Gaussian with covariance \Sigma, define the covariance defect B=\Sigma-I_d and q=\|B\|_{\mathrm{op}}=\max_i|\lambda_i(\Sigma)-1|. The paper's weighted-homogeneity and sharp truncation result imply geometric total-degree Hermite decay with per-degree rate \sqrt{q}; operationally use \|f-f_{\le N}\|_{L^2(w)}\le C(\Sigma,u,d)q^{(N+1)/2} for q<1, where f=M_{\Sigma,u}/w and f_{\le N} is the sum of Hermite blocks of degree at most N. The useful property is that the required degree depends on the measured covariance spectrum rather than on ambient feature dimension alone.
Implementation notes
Integrate the bottleneck after a VAE encoder or after an uncertainty-producing MLP, before the latent is passed to the decoder. The input is a minibatch z\in\mathbb{R}^{B imes d}; maintain exponential-moving-average estimates of the mean m and covariance \widehat\Sigma, whiten each sample to v=(z-m)(\widehat\Sigma+\epsilon I)^{-1/2}, and represent the normalized latent density or feature response with a truncated Hermite expansion. Use tensor-product or total-degree multivariate Hermites only for small d, such as d=8 or 16; for larger d use separable first- and second-order terms or random projections. A concrete loop is: (1) compute m and \widehat\Sigma; (2) compute eigenvalues of \widehat\Sigma and q=max_i|\lambda_i-1|; (3) choose N=min\{N_max:C_hat q^{(N+1)/2}\le au\}; (4) evaluate H_\alpha(v) recursively using H_0(x)=1 and H_{k+1}(x)=xH_k(x)-kH_{k-1}(x); (5) retain coefficients with |\alpha|\le N and reconstruct the decoder input from those coefficients. Train with reconstruction and KL losses plus a small covariance penalty \|\widehat\Sigma-I\|_F^2 so that the theorem's q<1 regime is encouraged. The mathematical quantities are the Hermite recursion, covariance-defect estimate, and degree rule; C_hat should be estimated on held-out batches as the maximum observed tail divided by q^{(N+1)/2}. First test on MNIST or CIFAR-10 with a 16-dimensional VAE, comparing a dense latent bottleneck and PCA truncation at equal transmitted coefficients. Measure reconstruction error versus retained coefficients, decoder FLOPs, and whether the predicted tail bound tracks actual error. Success means at least 2x fewer latent coefficients at matched reconstruction error, or improved reconstruction at fixed bottleneck size, without unstable training when covariance is near but not exactly identity.
Verification
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 Hermite multi-index evaluation, Gaussian density-ratio projection, adaptive degree selection, and exact diagonal-Gaussian verification. The heat-semigroup identity matched product Gauss-Hermite quadrature with maximum relative error 8.0e-8, and tails decayed geometrically with covariance defect q. Adaptive selection used 5 versus 70 coefficients at q=0.04 and 35 versus 70 at q=0.20 while meeting the 0.08 target; it lost badly at q=0.55, so the benefit is real but limited to near-Gaussian covariances. This is a promising math/toy result, not evidence of a trained VAE win.
- Agent confidence
- 8/10
- Baseline
- Fixed total degree 4: 70 coefficients; relative tails 4.86e-5, 7.46e-3, and 0.1223 for q=0.04, 0.20, and 0.55.
- Idea
- Adaptive degrees 1, 3, and 8: 5, 35, and 495 coefficients; relative tails 0.0367, 0.0390, and 0.0324 respectively. At the 0.08 target, coefficient ratios versus baseline were 0.071x, 0.5x, and 7.07x.
Limitations: No MNIST/CIFAR VAE, differentiable training loop, decoder FLOP benchmark, EMA covariance estimation, non-diagonal covariance, mean-shift effects, or per-sample transmission protocol was tested. The exact tail test uses small diagonal Gaussian systems and distribution-level coefficients.
How to run: python3 mini_experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2607.07712)
Significantly WORSE than the tuned baseline (+2423.1%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Tabular regression (Friedman)
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 7.0618
- Idea mean
- 178.1799
- Effect (Δ)
- 171.1181 (+2423.1%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±123.6%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the registered tabular Friedman regression track was tested; vision, sequence, and dynamics were not evaluated. The implementation used a compact degree-0/1/2 Hermite basis rather than full total-degree coefficient transmission. The trained latents consistently had q=1.0, outside the stated theorem regime. The stored signature's confirmed field is mechanically true under the script's permissive rule, but the q<1 prediction should be regarded as unconfirmed. The idea and baseline shared the encoder and task but had different latent-head input widths, which should be equalized in a follow-up.
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
Implemented and reran the covariance-adaptive Hermite latent bottleneck on the registered tabular Friedman regression track using 8 paired seeds and matched baseline/idea hyperparameter grids. The tuned baseline achieved test MSE 7.061818897724152, while the best idea achieved 178.17990684509277; paired delta was +171.11808794736862 with permutation p=0.0081, so the idea was significantly worse. The trained latent covariance defect was q=1.0 for every seed, outside the claimed q<1 regime, and every run selected degree 0.
- Baseline
- Best lr=0.006, weight_decay=0.0001; full 8-seed mean test MSE 7.061818897724152, std 0.3679269493562873.
- Comparison
- delta_mean=171.11808794736862, idea_wins=0/8, permutation p_value=0.0081, verdict='idea worse (significant)'.
- Idea
- Best lr=0.006, weight_decay=0.0001; full 8-seed mean test MSE 178.17990684509277, std 9.629824242821801.
Benchmark result
Significantly WORSE than the tuned baseline (+2423.1%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Tabular regression (Friedman)
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 7.0618
- Idea mean
- 178.1799
- Effect (Δ)
- 171.1181 (+2423.1%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±123.6%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the registered tabular Friedman regression track was tested; vision, sequence, and dynamics were not evaluated. The implementation used a compact degree-0/1/2 Hermite basis rather than full total-degree coefficient transmission. The trained latents consistently had q=1.0, outside the stated theorem regime. The stored signature's confirmed field is mechanically true under the script's permissive rule, but the q<1 prediction should be regarded as unconfirmed. The idea and baseline shared the encoder and task but had different latent-head input widths, which should be equalized in a follow-up.
How to run: python3 stage2_bench.py
Artifacts
- bench_report.json 4.3 KB View Raw
- hermite_bottleneck.py 4.7 KB View Raw
- mini_experiment.py 1.2 KB View Raw
- mini_result.json 1.4 KB View Raw
- report.md 1.6 KB View
- report_bench_2026-09-04T181313.md 5.5 KB View
- result.json 2.6 KB View Raw
- stage2_bench.py 7.9 KB View Raw
- verify.py 3.0 KB View Raw
- verify_result.json 5.9 KB View Raw