The Formal Critical Coupling of the Four-Dimensional Anderson Model

Abstract

In this work we present a formal renormalization-group (RG) calculation for the weakly coupled four-dimensional elliptic Anderson model. Under a scale-independent bare-coupling convention, and with the normalization $λ_{\varepsilon}$, the bubble-chain resummation yields the geometric series $\mathcal{X}_{\mathrm{formal}}(λ)$, with a formal pole at $λ_c$. We stress that this pole is a feature of the formal bare bubble series. The argument combines Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) renormalization, a Hepp-sector motivated restriction to the bubble-chain subclass for explicit resummation, and an explicit summation of the resulting geometric series. Numerically, we illustrate the analytic building blocks of the formal expansion: the massive Green function, the bubble integral, the geometric resummation, the extraction of the formal pole from synthetic noisy data, a kurtosis diagnostic, and a phase diagram of the formal variance. These computations visualize the deterministic kernels and the formal resummation used above. Using spectral methods and nonlinear least-squares fitting, we verify the short-distance asymptotic behaviour of the massive Green function for $G=(1-Δ)^{-1}δ_0$, reproduce the logarithmic divergence of the bubble integral in four dimensions, compute the formal effective variance $\mathcal{X}_{\mathrm{formal}}(λ)$ arising from the bubble-chain resummation, locate the formal pole at $λ_c$, and draw a schematic phase diagram of the formal variance in the $(λ,\log\varepsilon)$ plane. The kurtosis diagnostic uses a synthetic proxy for the non-Gaussian regime; the sharp change is imposed by construction. Nonlinear fitting of synthetic data recovers the formal pole within the statistical uncertainty of the synthetic noise. Our results illustrate the analytic formulas and the fitting procedure.