Critical Ising on the Square Lattice Mixes in Polynomial Time

Eyal Lubetzky, Allan Sly

Research output: Contribution to journalArticle

Abstract

The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on ℤ 2 everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical β c it is polynomial in the side-length and at low temperature it is exponential. A seminal series of papers verified this on ℤ 2 except at β = β c where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in ℤ 2. Namely, we show that on a finite box with arbitrary (e. g. fixed, free, periodic) boundary conditions, the inverse-gap at β = β c is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of the critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

Original languageEnglish (US)
Pages (from-to)815-836
Number of pages22
JournalCommunications in Mathematical Physics
Volume313
Issue number3
DOIs
StatePublished - Aug 2012

Fingerprint

Square Lattice
Ising
Ising model
Ising Model
Polynomial time
polynomials
Polynomial
harnesses
Glauber Dynamics
static models
Spectral Gap
Markov chains
Scaling Limit
Statistical Physics
Spin Systems
Stochastic Dynamics
Criticality
Critical Behavior
Periodic Boundary Conditions
dynamic models

ASJC Scopus subject areas

  • Statistical and Nonlinear Physics
  • Mathematical Physics

Cite this

Critical Ising on the Square Lattice Mixes in Polynomial Time. / Lubetzky, Eyal; Sly, Allan.

In: Communications in Mathematical Physics, Vol. 313, No. 3, 08.2012, p. 815-836.

Research output: Contribution to journalArticle

@article{03846a55b4714490bb52b7c433198088,
title = "Critical Ising on the Square Lattice Mixes in Polynomial Time",
abstract = "The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on ℤ 2 everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical β c it is polynomial in the side-length and at low temperature it is exponential. A seminal series of papers verified this on ℤ 2 except at β = β c where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in ℤ 2. Namely, we show that on a finite box with arbitrary (e. g. fixed, free, periodic) boundary conditions, the inverse-gap at β = β c is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of the critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.",
author = "Eyal Lubetzky and Allan Sly",
year = "2012",
month = "8",
doi = "10.1007/s00220-012-1460-9",
language = "English (US)",
volume = "313",
pages = "815--836",
journal = "Communications in Mathematical Physics",
issn = "0010-3616",
publisher = "Springer New York",
number = "3",

}

TY - JOUR

T1 - Critical Ising on the Square Lattice Mixes in Polynomial Time

AU - Lubetzky, Eyal

AU - Sly, Allan

PY - 2012/8

Y1 - 2012/8

N2 - The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on ℤ 2 everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical β c it is polynomial in the side-length and at low temperature it is exponential. A seminal series of papers verified this on ℤ 2 except at β = β c where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in ℤ 2. Namely, we show that on a finite box with arbitrary (e. g. fixed, free, periodic) boundary conditions, the inverse-gap at β = β c is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of the critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

AB - The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on ℤ 2 everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical β c it is polynomial in the side-length and at low temperature it is exponential. A seminal series of papers verified this on ℤ 2 except at β = β c where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in ℤ 2. Namely, we show that on a finite box with arbitrary (e. g. fixed, free, periodic) boundary conditions, the inverse-gap at β = β c is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of the critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

UR - http://www.scopus.com/inward/record.url?scp=84864355145&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84864355145&partnerID=8YFLogxK

U2 - 10.1007/s00220-012-1460-9

DO - 10.1007/s00220-012-1460-9

M3 - Article

AN - SCOPUS:84864355145

VL - 313

SP - 815

EP - 836

JO - Communications in Mathematical Physics

JF - Communications in Mathematical Physics

SN - 0010-3616

IS - 3

ER -