Search arXiv⌕ Search

arXiv subjects

Jean-Christophe Mourrat

Publications and source records attributed to Jean-Christophe Mourrat.

At least 19 recordsLinked to original sources

Free energy of the Hopfield model

We identify the limit of the free energy of the Hopfield model with independent symmetric Bernoulli patterns, for every temperature and loading ratio. A Hubbard-Stratonovich transformation reduces the problem to that of identifying the limit free energy of a bipartite spin glass with $\pm 1$ and spherical spins. One key difficulty is that the patterns, which become the coupling coefficients in the bipartite model, are Bernoulli instead of Gaussian, and the limit free energy is sensitive to the law of these coefficients. We show that the model is in fact equivalent to one involving Gaussian patterns and also subject to a finite number of Bernoulli random fields. We then solve this model by adapting the techniques recently introduced to identify the limit free energies of spin glasses with either $\pm 1$ or spherical spins.

math.PR↗

Free energy of non-convex multi-species Ising spin glasses with external fields

We identify the limit free energy of mean-field multi-species spin glasses with +/-1 spins, allowing for the presence of external fields, and without assuming any convexity property of the covariance function of the Hamiltonian. The limit is given by an "uninverted" variational formula over Brownian martingales. The proof consists in first identifying the limit free energy of configurations with a fixed magnetization. Once the magnetization is fixed, we can show the convergence of the enriched free energy to the solution of a Hamilton-Jacobi equation. The magnetization constraint is also used to show the convexity of the initial condition in this equation, and this yields a variational representation of the solution, as a Hopf formula. Convex duality then turns this formula into an optimization over martingales whose initial values are the prescribed magnetizations.

math.PR↗

Free energy of non-convex multi-species spherical spin glasses

We identify the limit free energy of all mean-field multi-species spin glasses defined on products of spheres. In particular, we do not make any convexity assumption on the covariance function of the Hamiltonian, and we allow for the presence of external fields. We also obtain a one-species reduction of the formula in the special case of balanced models.

math.PR↗

PL conditions do not guarantee convergence of gradient descent-ascent dynamics

We give an example of a function satisfying a two-sided Polyak-Lojasiewicz condition but for which a gradient descent-ascent flow line fails to converge to the saddle point, circling around it instead. We can even impose the function to be strongly convex in one variable and to satisfy a PL condition in the other variable.

math.OC↗

Efficient computation of the asymptotics of extensive-rank HCIZ integrals

We study the high-dimensional asymptotics of Harish-Chandra-Itzykson-Zuber (HCIZ) integrals in the extensive-rank regime. The limit of these integrals is governed by a one-dimensional boundary-value hydrodynamical problem originally derived by Matytsin (1994) and rigorously proved by Guionnet and Zeitouni (2002). Despite its wide-ranging applications, explicit solutions to this problem are known only in a few specific cases. In this work, we introduce an efficient numerical scheme based on a particle discretization and prove its convergence to the continuous boundary-value problem for generic boundary densities. We validate our approach against known analytical solutions and apply it to generic densities, uncovering interesting dynamical phenomena. The high-dimensional limit of HCIZ integrals appears in various contexts, from the large deviations of random matrix spectra to the limiting free energy of disordered systems, high-dimensional statistics, and machine learning. As such, our contribution opens the way towards the numerical exploration of a wide range of high-dimensional models that were previously intractable.

math.PR↗

Singular perturbations and hierarchical learning in two-layer neural networks

We study the population gradient flow of an infinitely wide two-layer neural network learning a misspecified single-index model in high dimension. The two layers are optimized jointly, with a perturbative parameter tuning the relative training speed between the first and second layer. This setting was considered by Berthier, Montanari and Zhou in \cite{berthier2024learning}, who conjectured a hierarchical learning scenario with explicit timescales as the second layer is trained faster than the first. In this paper, we prove that the constant and linear components of the hidden link function are indeed recovered within the predicted timescales, at sharp explicit thresholds. We then analyze the onset of learning of the quadratic component and show that the components learned at earlier stages continue to influence the dynamics in an essential way. Our proof is based on quantitative approximation results for singularly perturbed flows evolving near a manifold defined by integral constraints. At a phenomenological level, we also show that the empirical measure of the weights displays singular behaviour when reaching the quadratic component of the hidden link, with a small fraction of neurons growing significantly while the remaining ones rearrange to preserve the components already learned.

cs.LG↗

Oscillating solutions to the mean-field Langevin descent-ascent flow

We present a counterexample to the statement of convergence of the mean-field Langevin descent-ascent flow on $\mathbb{R}^2$. We consider payoff functions that are shaped as a double well in each coordinate, and for which the deterministic dynamics admits a limit cycle. When the coupling between the two coordinates is sufficiently strong and the entropic regularization sufficiently small, we show that the mean-field dynamics remains close to this cyclic behavior, and in particular, does not converge.

math.OC↗

One-sided large deviations for the ground-state energy of spin glasses

We describe the large deviations above its typical value of the maximal energy of a spin glass with +/-1 spins. Thanks to the relatively explicit description of the rate function we identify, we then show that the latter is asymptotically quadratic near its minimum if and only if an external magnetic field is present. The proof starts from a Parisi-type formula for the fractional moments of the partition function, which we then leverage to obtain the limit of the Laplace transform of the maximum energy. Using convex-duality arguments, we then rewrite this Laplace transform as a supremum over martingales, and thereby deduce the large-deviation principle with explicit rate function.

math.PR↗

Critical point representation of the mutual information in the sparse stochastic block model

We consider the problem of recovering the community structure in the stochastic block model. We aim to describe the mutual information between the observed network and the actual community structure as the number of nodes diverges while the average degree of a given node remains bounded. Our main contribution is a representation of the limit of this quantity, assuming it exists, as an explicit functional evaluated at a critical point of that functional. While we mostly focus on the two-community setting for clarity, we expect our method to be robust to model generalizations. We also present an example involving four communities where we show the invalidity of a plausible candidate variational formula for this limit.

math.PR↗

On the local nature of the de Almeida-Thouless line for mixed \(p\)-spin glasses

Jagannath and Tobasco~\cite{JagTob} proposed a generalized de Almeida-Thouless (AT) criterion aimed at characterizing the replica symmetric (RS) regime for a broad class of mixed \(p\)-spin glass models with Ising spins. In this paper, we show that this generalized AT condition does not characterize the RS regime in general. Using the Hopf-Lax representation of the Parisi formula, we construct explicit counterexamples within the class of mixed \(p\)-spin models. In particular, we exhibit a model in which the classical AT perturbation is performed around the unique minimizer of the RS free energy, and prove that even in this setting, the AT criterion fails to characterize the RS phase. By contrast, the validity of the classical AT condition for the Sherrington-Kirkpatrick model remains open.

math.PR↗

Operator $\ell^\infty \to \ell^\infty$ norm of products of random matrices

We study the $\ell^\infty \to \ell^\infty$ operator norm of products of independent random matrices with independent and identically distributed entries. For $n$-by-$n$ matrices whose entries are centered, have unit variance, and have a finite moment of order $4α$ for some $α> 1$, we find that the operator norm of the product of $p$ matrices behaves asymptotically like $n^{\frac {p+1}{2}}\sqrt{2/π}$. The case of products of possibly non-square matrices with possibly non-centered entries is also covered.

math.PR↗

On the free energy of vector spin glasses with non-convex interactions

The limit free energy of spin-glass models with convex interactions can be represented as a variational problem involving an explicit functional. Models with non-convex interactions are much less well-understood, and simple variational formulas involving the same functional are known to be invalid in general. We show here that a slightly weaker property of the limit free energy does extend to non-convex models. Indeed, under the assumption that the limit free energy exists, we show that this limit can always be represented as a critical value of the said functional. Up to a small perturbation of the parameters defining the model, we also show that any subsequential limit of the law of the overlap matrix is a critical point of this functional. We believe that these results capture the fundamental conclusions of the non-rigorous replica method.

math.PR↗

Simultaneous replica-symmetry breaking for vector spin glasses

We consider mean-field vector spin glasses with possibly non-convex interactions. Up to a small perturbation of the parameters defining the model, the asymptotic behavior of the Gibbs measure is described in terms of a critical point of an explicit functional. In this paper, we study some properties of these critical points. Under modest assumptions ensuring that different types of spins interact, we show that the replica-symmetry-breaking structures of the different types of spins are in one-to-one correspondence with one another. For instance, if some type of spins displays one level of replica-symmetry breaking, then so do all the other types of spins. This extends the recent results of [Electronic Journal of Probability, 27:1-75, 2022] and [Comm. Math. Phys., 394(3):1101-1152, 2022] that were obtained in the case of multi-species spherical spin glasses with convex interactions.

math.PR↗

Spin glasses and the Parisi formula

Spin glasses are models of statistical mechanics in which a large number of simple elements interact with one another in a disordered fashion. One of the fundamental results of the theory is the Parisi formula, which identifies the limit of the free energy of a large class of such models. Yet many interesting models remain out of reach of the classical theory, and direct generalizations of the Parisi formula yield invalid predictions. I will report here on some partial progress towards the resolution of this problem, which also brings a new perspective on classical results.

math.PR↗

The convex structure of the Parisi formula for multi-species spin glasses

We study the free energy of mean-field multi-species spin glasses with convex covariance function. For such models with $D$ species, the Parisi formula is known to be valid, and expresses the limit free energy as a supremum over monotone probability measures on $\mathbb{R}_+^D$. We show here that one can transform this representation into a supremum over all probability measures on $\mathbb{R}_+^D$ of a concave functional. We then deduce that the Parisi formula admits a unique maximizer. Using convex-duality arguments, we also obtain a new representation of the free energy as an infimum over martingales in a Wiener space.

math.PR↗

An informal introduction to the Parisi formula

This note is an informal presentation of spin glasses and of the Parisi formula. We also discuss some models for which the Parisi formula is not well-understood, and some partial progress that relies upon a connection with partial differential equations.

math.PR↗

Color symmetry breaking in the Potts spin glass

The Potts spin glass is an analogue of the Sherrington-Kirkpatrick model in which each spin can take one of $κ$ possible values, which we interpret as colors. It was suggested in arXiv:2310.06745 that the order parameter for this model is always invariant with respect to permutations of the colors. We show here that this is false whenever $κ\ge 58$.

math.PR↗