Matrix models at low temperature
Alice Guionnet, Édouard Maurel-Segala
TL;DR
The paper develops a rigorous framework for the low-temperature regime of Hermitian multi-matrix models with potentials $V_{\beta}=\beta U+W$, establishing trapping-based conditions that guarantee tightness of spectral distributions and that limit points satisfy Dyson-Schwinger equations. It then analyzes several regimes: (i) convex $U$ yields concentration near multiples of the identity with $\beta^{-1/2}$-type expansions; (ii) strong single-variable potentials produce spectral localization near finitely many minimizers with weights dictated by the local curvature; and (iii) the strong commutator model with $U=-[X,Y]^2$ leads to asymptotic commuting behavior with spectra concentrating at minimizers of $V_1,V_2$ and becoming independent, with explicit descriptions in quadratic cases. A unifying theme is the use of trapping/conf confinement, Dyson-Schwinger equations, and flow-based change-of-variables to obtain tightness, support localization, and asymptotic expansions, connecting to free-probability structures and planar-map enumerations in special limits. The results illuminate how energy-dominant potentials shape spectral localization and commutativity in the large-$N$ limit, with potential implications for free entropy, Yang–Mills toy models, and related non-commutative probability frameworks.
Abstract
In this article we investigate the behavior of multi-matrix unitary invariant models under a potential $V_β=βU+W$ when the inverse temperature $β$ becomes very large. We first prove, under mild hypothesis on the functionals $U,W$ that as soon at these potentials are "confining" at infinity, the sequence of spectral distribution of the matrices are tight when the dimension goes to infinity. Their limit points are solutions of Dyson-Schwinger's equations. Next we investigate a few specific models, most importantly the "strong single variable model" where $U$ is a sum of potentials in a single matrix and the "strong commutator model" where $U = -[X,Y]^2$.
