Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Kac's Program and Relative Entropy Decay for Nonlinear Spin-Exchange Dynamics

Pietro Caputo, Mario Morellini

TL;DR

This work develops and analyzes a nonlinear spin-exchange dynamics on Ising systems with arbitrary interactions, formulated as a quadratic Boltzmann-type equation that conserves magnetization along irreducible components of the transport kernel. It establishes a general convergence theorem to Gibbs stationary states for any interaction and, under a high-temperature condition $oldsymbol{ ext{λ}}(J)< frac{1}{2}$, proves exponential decay of the relative entropy with a uniform rate via a nonlinear Kac program, achieved by a uniform MLSI for a Kac particle system and stochastic localization. The key methodological advance is an entropic route that connects a Down–Up walk MLSI for conservative spin systems, entropy-factorization, and entropic chaos/Fisher chaos to transfer linear-system bounds to the nonlinear nonlinear evolution. The results yield a quantitative, dimensionally robust rate of convergence to equilibrium for high-temperature regimes and provide a rigorous framework for completing Kac’s program in a high-dimensional, interacting setting, while highlighting open questions about ergodicity at all temperatures.

Abstract

We introduce and analyze a nonlinear exchange dynamics for Ising spin systems with arbitrary interactions. The evolution is governed by a quadratic Boltzmann-type equation that conserves the mean magnetization. Collisions are encoded through a spin-exchange kernel chosen so that the dynamics converge to the Ising model with the prescribed interaction and mean magnetization profile determined by the initial state. We prove a general convergence theorem, valid for any interaction and any transport kernel. Moreover, we show that, for sufficiently weak interactions, the system relaxes exponentially fast to equilibrium in relative entropy, with optimal decay rate independent of the initial condition. The proof relies on establishing a strong version of the Kac program from kinetic theory. In particular, we show that the associated Kac particle system satisfies a modified logarithmic Sobolev inequality with constants uniform in the number of particles. This is achieved by adapting the method of stochastic localization to the present conservative setting.

Kac's Program and Relative Entropy Decay for Nonlinear Spin-Exchange Dynamics

TL;DR

This work develops and analyzes a nonlinear spin-exchange dynamics on Ising systems with arbitrary interactions, formulated as a quadratic Boltzmann-type equation that conserves magnetization along irreducible components of the transport kernel. It establishes a general convergence theorem to Gibbs stationary states for any interaction and, under a high-temperature condition , proves exponential decay of the relative entropy with a uniform rate via a nonlinear Kac program, achieved by a uniform MLSI for a Kac particle system and stochastic localization. The key methodological advance is an entropic route that connects a Down–Up walk MLSI for conservative spin systems, entropy-factorization, and entropic chaos/Fisher chaos to transfer linear-system bounds to the nonlinear nonlinear evolution. The results yield a quantitative, dimensionally robust rate of convergence to equilibrium for high-temperature regimes and provide a rigorous framework for completing Kac’s program in a high-dimensional, interacting setting, while highlighting open questions about ergodicity at all temperatures.

Abstract

We introduce and analyze a nonlinear exchange dynamics for Ising spin systems with arbitrary interactions. The evolution is governed by a quadratic Boltzmann-type equation that conserves the mean magnetization. Collisions are encoded through a spin-exchange kernel chosen so that the dynamics converge to the Ising model with the prescribed interaction and mean magnetization profile determined by the initial state. We prove a general convergence theorem, valid for any interaction and any transport kernel. Moreover, we show that, for sufficiently weak interactions, the system relaxes exponentially fast to equilibrium in relative entropy, with optimal decay rate independent of the initial condition. The proof relies on establishing a strong version of the Kac program from kinetic theory. In particular, we show that the associated Kac particle system satisfies a modified logarithmic Sobolev inequality with constants uniform in the number of particles. This is achieved by adapting the method of stochastic localization to the present conservative setting.

Paper Structure

This paper contains 30 sections, 29 theorems, 220 equations, 2 figures.

Table of Contents

  1. Introduction and main results
  2. Spin system
  3. The collision kernel
  4. Nonlinear dynamics
  5. Entropy decay
  6. Kac's program
  7. Related work
  8. Plan of the paper
  9. Structural properties of the nonlinear equation
  10. Preliminary facts
  11. Entropy and stationary states
  12. Conservation laws
  13. Proof of Theorem \ref{['th:basic']}
  14. Graphical representation
  15. Reduction to discrete time and the case $J=0$
  16. ...and 15 more sections

Key Result

Theorem 1.5

Fix a symmetric matrix $J\in{\mathbb R} ^{n\times n}$ and a symmetric stochastic $n\times n$ matrix $\mathcal{K}$. Let $\mathcal{A}$ denote the partition of $[n]$ induced by the irreducible components of $\mathcal{K}$. A probability $p \in \mathcal{P}_\mathcal{A}(\Omega)$ is a stationary state if an where $\|\cdot\|_{\rm TV}$ denotes the total variation distance and $h$ is the unique vector $h\in\

Figures (2)

  • Figure 2.1: An example of a binary tree $\gamma$ with four leaves, and the corresponding measure at the root: $T_\gamma(p) = (((p \circ p) \circ p) \circ p)$.
  • Figure 2.2: $\Phi_{2}(p)=(p\circ p) \circ (p \circ p)$ is the distribution at the root of the binary tree $\Gamma_2$ with depth $2$.

Theorems & Definitions (57)

  • Example 1.1: Single-Site Dynamics
  • Example 1.2: Mean-Field Exchange Dynamics
  • Definition 1.3: Multi-component Mean-Field Exchange Dynamics
  • Definition 1.4
  • Theorem 1.5
  • Remark 1.6
  • Theorem 1.7
  • Remark 1.8
  • Definition 1.9
  • Theorem 1.10: MLSI for the particle system
  • ...and 47 more