Papers
Topics
Authors
Recent
Search
2000 character limit reached

Continuity and Discontinuity of McKean-Vlasov Phase Transitions via Bifurcation Theory

Published 12 Jul 2026 in math.DS, math.AP, and math.PR | (2607.10723v1)

Abstract: It is well known that the McKean-Vlasov stochastic differential equation with a symmetric double-well potential exhibits a continuous phase transition. In contrast, for an asymmetric double-well potential, the system undergoes a discontinuous phase transition, in which an invariant measure abruptly appears in the shallower well and subsequently splits into two as the temperature decreases. In this work, we systematically investigate the types of phase transitions driven by non-convex confining potentials and cooperative interactions in R<sup>n\mathbb{R}<sup>n. Our main results consist of a pitchfork bifurcation theorem characterizing continuous phase transitions and a saddle-node bifurcation theorem governing discontinuous phase transitions. In addition, despite the dimension-dependent nature of phase transitions, we are able to extend Dawson's criterion for phase transition points -- originally formulated for quadratic interactions in $1$-dimensional space -- to nn-dimensional space. This extension directly relates the critical parameter and bifurcation direction to the eigenvalue and eigenvector of the critical covariance matrix, respectively. Finally, we apply our theoretical results to the aforementioned double-well models, to a class of four-well models in two-dimensional Euclidean space that exhibit multiple phase transitions, and to an attractive Gaussian interaction model.

Authors (2)

Summary

  • The paper rigorously establishes criteria for continuous (pitchfork) and discontinuous (saddle-node) phase transitions via bifurcation theory.
  • It extends Dawson’s criterion from 1D to multidimensional McKean-Vlasov systems, linking invariant measure multiplicity to covariance eigenvalues.
  • Applications to symmetric and asymmetric potentials illustrate the precise conditions under which phase transitions emerge and stabilize.

Bifurcation Structure of McKean-Vlasov Phase Transitions: Continuity and Discontinuity

Introduction and Background

The paper "Continuity and Discontinuity of McKean-Vlasov Phase Transitions via Bifurcation Theory" (2607.10723) develops a comprehensive theory for phase transitions in the mean-field McKean-Vlasov stochastic differential equations (MVSDEs) under general non-convex confining potentials and interaction kernels, rigorously characterizing both continuous (second-order) and discontinuous (first-order) transitions using tools from infinite-dimensional bifurcation analysis.

Focusing on systems in Rn\mathbb{R}^n, the authors provide abstract pitchfork and saddle-node bifurcation theorems determining whether phase transitions are continuous or discontinuous. The work extends classical results, notably Dawson’s criterion for the critical transition point, from one-dimensional to multi-dimensional settings, and handles both symmetric and asymmetric potentials, encompassing a wide range of many-particle models—including those in multi-well potentials and with various types of attractive interactions.

The theoretical advancements are corroborated and exemplified through detailed applications to canonical double-well and multi-well models, as well as systems with Gaussian core interactions. The distinctions between mean-field (infinite-NN particle) and finite NN particle behavior are explicitly discussed, particularly highlighting the difference in invariant measure multiplicity.

Model and Phase Transition Formulation

The starting point is the gradient-type McKean-Vlasov SDE

dXt=V(Xt)dtκWLXt(Xt)dt+σdBt,\mathrm{d}X_t = -\nabla V(X_t)\,\mathrm{d}t - \kappa \nabla W * \mathcal{L}_{X_t}(X_t)\,\mathrm{d}t + \sigma\,\mathrm{d}B_t,

where VV and WW denote the external and interaction potentials, respectively, and LXt\mathcal{L}_{X_t} is the law of XtX_t. The equation is coupled with the nonlinear Fokker-Planck equation for the density evolution:

tμt=σ22Δμt+div(Vμt)+div(κWμtμt).\partial_t\mu_t = \frac{\sigma^2}{2}\Delta \mu_t + \mathrm{div}(\nabla V\, \mu_t) + \mathrm{div}\big(\kappa \nabla W * \mu_t\, \mu_t\big).

Invariant measures are obtained as fixed points of a nonlinear Gibbs map, which can be reduced to a finite-dimensional bifurcation equation for quadratic interactions. For generic nn, this analysis essentially revolves around the covariance matrix and moments of these invariant measures.

A critical parameter NN0 is introduced, capturing the relative strength of interaction to noise (effective inverse temperature), and phase transitions are identified as bifurcation points in this parameter.

Bifurcation Analysis: Theoretical Framework

The authors establish two principal bifurcation scenarios:

  1. Continuous Phase Transitions (Pitchfork Bifurcation): Occur in symmetric potentials (e.g., symmetric double-well) with a family of trivial symmetric invariant measures. As NN1 crosses a critical value NN2, two new, symmetry-broken invariant measures bifurcate continuously from the original branch.
  2. Discontinuous Phase Transitions (Saddle-Node Bifurcation): Occur in asymmetric potentials (e.g., asymmetric double-well). Here, invariant measures concentrated in the shallower well emerge discontinuously, with pairs of measures created or annihilated at bifurcation.

These theoretical structures are rigorously formulated as abstract bifurcation theorems for operator equations in appropriate Banach spaces. Crucial to this formulation is the reduction of the spectral bifurcation condition to an explicit criterion involving the eigenvalues and eigenvectors of the covariance matrix of the underlying invariant measure. For the quadratic interaction case, this extends Dawson’s 1D criterion to arbitrary dimensions:

NN3

with NN4 the corresponding critical direction.

Symmetric vs. Asymmetric Double-Well Potentials

For the symmetric double-well potential,

NN5

the analysis yields a standard pitchfork bifurcation, as illustrated in (Figure 1). Figure 1

Figure 1: Sketches of symmetric and asymmetric double-well potentials, illustrating the qualitative difference in their landscapes.

For the asymmetric double-well,

NN6

the bifurcation diagram (see below) reveals the emergence of invariant measures in a discontinuous manner. Figure 2

Figure 3: Graphs of NN7 and NN8 as NN9 varies for both symmetric (centrally symmetric about NN0) and asymmetric (symmetric about NN1) double-well cases, visualizing the fixed-points and their bifurcations as the temperature changes.

In both cases, the branching and local stability of invariant measures are addressed in terms of the variance and higher moments, with bifurcation points identified as tangencies of the order parameter map with the identity.

Explicit Characterization and Examples

The paper provides a suite of worked examples, including:

  • Symmetric Double-Well: Unique continuous transition at a critical temperature given by the (generalized) Dawson criterion. Below the threshold, two symmetry-broken invariant measures coexist with the high-noise symmetric measure; above it, only the trivial one remains.
  • Asymmetric Double-Well: Discontinuous ("first-order") transition where an invariant measure in the shallow well appears abruptly at a critical parameter (saddle-node bifurcation), splitting into two as NN2 decreases further. Figure 4

    Figure 5: For the asymmetric double-well, the bifurcation structure of order parameter fixed points illustrating the sharp onset of new invariant measures below the critical temperature.

  • Four-Well Potential in NN3: Multiple successive pitchfork bifurcations, resulting in a combinatorial proliferation of invariant measures as temperature is decreased, with explicit hierarchy of critical transition points computed via Dawson-type criteria for each direction.
  • Attractive Gaussian Interactions: Pitchfork bifurcations persist even for short-range interactions, but with a spectral problem now involving a compact but not finite rank operator. Numerical methods confirm theoretical predictions.
  • Nonexistence for Higher-Order Interactions: For cubic/odd-interaction kernels, spectral analysis of the linearized operator NN4 shows no real eigenvalues; thus, phase transitions are excluded in these situations.

Methodological Innovations

Key methodological advances include:

  • Systematic derivation of bifurcation equations and moment closure for mean-field Fokker-Planck equations in general dimension and for varied potentials.
  • Explicit reduction of spectral bifurcation conditions to observable covariance matrix quantities, greatly simplifying practical verification.
  • Precise characterization of invariant measure branching types (pitchfork vs. saddle-node), enabling direct linkage between potential symmetry and phase transition order.
  • Rigorous extension of Crandall-Rabinowitz theory and spectral projection techniques to noncompact, non-Fourier-analytic settings (full NN5) by exploiting the structure induced by confining potentials.

Numerical and Analytical Results

Quantitative results include explicit evaluation of critical parameters for canonical potentials, asymptotic and rigorous inequalities for moments ensuring bifurcation transversality and nondegeneracy, and spectral analysis for Gaussian core models. The work provides both analytic proofs and numerical corroboration for the pitchfork and saddle-node mechanisms.

A notable analytical contribution is the derivation of a monotonicity inequality for the order parameter with respect to temperature, which is used to guarantee the transversality (and thus genericity) of phase transition points.

Implications, Generalizations, and Outlook

The findings consolidate the connection between phase transition structure and bifurcation logic for McKean-Vlasov equations, greatly broadening the scope beyond the special cases previously studied on compact domains or with purely interaction-driven dynamics.

Theoretical implications: The results offer a unifying description of order/disorder phenomena in high-dimensional mean-field systems, clarifying the role of symmetry, interaction form, and potential landscape in determining the order of phase transitions. The explicit covariance-based bifurcation criteria substantially simplify both analytical and numerical checks for criticality, facilitating the study of multiwell and anisotropic models.

Practical and computational relevance: These insights apply directly to models of collective behavior in physics, neural networks, and high-dimensional probabilistic flows, as well as to large-scale inference problems with nontrivial landscape structure. Exact identification of the phase portrait and stability regions aids in designing and controlling such stochastic systems.

Directions for future work:

  • Extension to models with jumps or multiplicative noise, where the spectrum of the associated operator may be more intricate.
  • Generalization to non-gradient systems (e.g., including rotational dynamics or constraints), or models with partial symmetry breaking.
  • Applications to mean-field models of deep learning architectures, Bayesian inference, and robustness of equilibrium selection in high-dimensional settings.
  • Further development of numerical spectral analysis for noncompact operators (e.g., for nonquadratic interactions) in line with the presented methods.

Conclusion

This work provides a rigorous and explicit bifurcation-theoretic classification of phase transitions in McKean-Vlasov systems with non-convex confining and interacting potentials, systematically differentiating continuous and discontinuous cases via covariance-based criteria, and charting the emergence and multiplicity of invariant measures in prototypical models. The combined analytic and numerical methodology sets a new standard for the study of phase structures in mean-field SDEs and nonlocal PDEs, with implications across mathematical physics, probability, and complex systems modeling.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Tweets

Sign up for free to view the 1 tweet with 0 likes about this paper.