Local Irreducible-Vertex Preconditioner
Implementation & benchmark of arXiv:2608.04497 — The two-particle-irreducible vertex of the two-dimensional lattice $φ^4$ model across the Ising transition
Source paper: The two-particle-irreducible vertex of the two-dimensional lattice $φ^4$ model across the Ising transition arXiv:2608.04497 ⓘ · analyzed Aug 31, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use the paper’s observation that the fully irreducible vertex is approximately local after crossed-channel ladders are removed to build a block-local curvature correction for neural-network optimization. Estimate a cheap bare covariance and subtract the inverse full covariance to obtain a local irreducible correction, avoiding a dense four-point model while retaining interaction effects that ordinary diagonal preconditioners miss.
Formulas
Mathematical statement
Partition parameters or activations into blocks indexed by \(b\). Let \(g_b\) be the stochastic gradient block and \(\chi_b=\operatorname{Cov}(g_b)\) its empirical covariance. Let \(\chi_{0,b}\) be a cheap bare covariance, such as a K-FAC Kronecker estimate or product of marginal variances. Estimate the local irreducible vertex as \(\Gamma_b=\chi_{0,b}^{-1}-\chi_b^{-1}\), using ridge-regularized inverses. The locality approximation discards inter-block terms, \(\Gamma\approx\operatorname{blockdiag}(\Gamma_1,\ldots,\Gamma_B)\). The resulting preconditioner is \(P_b=(\chi_{0,b}^{-1}-\Gamma_b+\lambda I)^{-1}\), where \(\lambda>0\), and the update is \(\theta_b\leftarrow\theta_b-\eta P_b g_b\).
Implementation notes
Integrate this as an optimizer for small MLPs or attention projection layers, initially using one block per layer or parameter tensor. Maintain exponential moving averages \(\chi_b\leftarrow\beta\chi_b+(1-\beta)g_bg_b^\top\) and a bare estimate \(\chi_{0,b}\) from K-FAC factors or running marginal variances. Every 50–200 optimizer steps, compute Cholesky- or eigenvalue-ridged inverses, form \(\Gamma_b=\chi_{0,b}^{-1}-\chi_b^{-1}\), clip the eigenvalues of \(\chi_{0,b}^{-1}-\Gamma_b\) to at least \(\lambda\), and apply \(\Delta\theta_b=-\eta P_bg_b\). Use minibatch subsampling and low-rank covariance updates to control cost. The paper supplies inverse-susceptibility subtraction and the locality assumption for the fully irreducible interaction; gradient covariances, block structure, and approximation error are estimated empirically. First test on a 3-layer MNIST MLP and a small transformer encoder, comparing Adam, K-FAC, and this local-vertex optimizer at equal matrix-operation budgets. Measure held-out covariance reconstruction and loss decrease per update. The prediction is that the locality error \(\varepsilon_{\mathrm{local}}\) should fall below 0.1–0.2 when ladder-like correlations dominate; otherwise the locality assumption should be rejected. Stable learning-rate gain should persist until the largest eigenvalue of the preconditioned local Hessian approaches the quadratic-update boundary near two.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.