Gradient flow of the infinite-volume free energy for lattice systems of continuous spins

TL;DR

This paper develops a mathematical framework for analyzing the gradient flow and Langevin dynamics of infinite lattice spin systems on manifolds, establishing their equivalence and long-term convergence properties.

Contribution

It constructs the gradient flow of the free energy for infinite-volume lattice systems of continuous spins and proves its equivalence with Langevin dynamics, including convergence results.

Findings

Gradient flow and Langevin dynamics satisfy the same PDE hierarchy.

Weak solutions of the PDEs are regular and unique.

Under positive Ricci curvature and high temperature, the system converges exponentially to equilibrium.

Abstract

We consider an infinite lattice system of interacting spins living on a smooth compact manifold, with short- but not necessarily finite-range pairwise interactions. We construct the gradient flow of the infinite-volume free energy on the space of translation-invariant spin measures, using an adaptation of the variational approach in Wasserstein space pioneered by Jordan, Kinderlehrer, and Otto. We also construct the infinite-volume diffusion corresponding to the so-called overdamped Langevin dynamics of the spins under the effect of the interactions and of thermal agitation. We show that the trajectories of the gradient flow and of the law of the spins under this diffusion both satisfy, in a weak sense, the same hierarchy of coupled parabolic PDE's, which we interpret as an infinite-volume Fokker-Planck-Kolmogorov equation. We prove regularity of weak solutions and derive an Evolution Variational Inequality for regular solutions, which implies uniqueness. Thus, in particular, the trajectories of the gradient flow coincide with those obtained from the Langevin dynamics. Concerning the long-time evolution, we check that the free energy is always non-increasing along the flow and that moreover, if the Ricci curvature of the spin space is uniformly positive, then at high enough temperature the dynamics converges exponentially, in free energy and in specific Wasserstein distance, to the unique minimizer of the infinite-volume free energy.