-
Tilted Solid-On-Solid is liquid: scaling limit of SOS with a potential on a slope
Authors:
Benoît Laslier,
Eyal Lubetzky
Abstract:
The $(2+1)$D Solid-On-Solid (SOS) model famously exhibits a roughening transition: on an $N\times N$ torus with the height at the origin rooted at $0$, the variance of $h(x)$, the height at $x$, is $O(1)$ at large inverse-temperature $β$, vs. $\asymp \log |x|$ at small $β$ (as in the Gaussian free field (GFF)). The former--rigidity at large $β$--is known for a wide class of $|\nablaφ|^p$ models (…
▽ More
The $(2+1)$D Solid-On-Solid (SOS) model famously exhibits a roughening transition: on an $N\times N$ torus with the height at the origin rooted at $0$, the variance of $h(x)$, the height at $x$, is $O(1)$ at large inverse-temperature $β$, vs. $\asymp \log |x|$ at small $β$ (as in the Gaussian free field (GFF)). The former--rigidity at large $β$--is known for a wide class of $|\nablaφ|^p$ models ($p=1$ being SOS) yet is believed to fail once the surface is on a slope (tilted boundary conditions). It is conjectured that the slope would destabilize the rigidity and induce the GFF-type behavior of the surface at small $β$. The only rigorous result on this is by Sheffield (2005): for these models of integer height functions, if the slope $θ$ is irrational, then Var$(h(x))\to\infty$ with $|x|$ (with no known quantitative bound).
We study a family of SOS surfaces at a large enough fixed $β$, on an $N\times N$ torus with a nonzero boundary condition slope $θ$, perturbed by a potential $V$ of strength $ε_β$ per site (arbitrarily small). Our main result is (a) the measure on the height gradients $\nabla h$ has a weak limit $μ_\infty$ as $N\to\infty$; and (b) the scaling limit of a sample from $μ_\infty$ converges to a full plane GFF. In particular, we recover the asymptotics Var$(h(x))\sim c\log|x|$. To our knowledge, this is the first example of a tilted $|\nablaφ|^p$ model, or a perturbation thereof, where the limit is recovered at large $β$. The proof looks at random monotone surfaces that approximate the SOS surface, and shows that (i) these form a weakly interacting dimer model, and (ii) the renormalization framework of Giuliani, Mastropietro and Toninelli (2017) leads to the GFF limit. New ingredients are needed in both parts, including a nontrivial extension of [GMT17] from finite interactions to any long range summable interactions.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Logarithmic delocalization of low temperature 3D Ising and Potts interfaces above a hard floor
Authors:
Joseph Chen,
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study the entropic repulsion of the low temperature 3D Ising and Potts interface in an $n\times n \times n$ box with blue boundary conditions on its bottom face (the hard floor), and red boundary conditions on its other five faces. For Ising, Frohlich and Pfister proved in 1987 that the typical interface height above the origin diverges (non-quantitatively), via correlation inequalities special…
▽ More
We study the entropic repulsion of the low temperature 3D Ising and Potts interface in an $n\times n \times n$ box with blue boundary conditions on its bottom face (the hard floor), and red boundary conditions on its other five faces. For Ising, Frohlich and Pfister proved in 1987 that the typical interface height above the origin diverges (non-quantitatively), via correlation inequalities special to the Ising model; no such result was known for Potts. We show for both the Ising and Potts models that the entropic repulsion fully overcomes the potentially attractive interaction with the floor, and obtain a logarithmically diverging lower bound on the typical interface height. This is complemented by a conjecturally sharp upper bound of $\lfloor ξ^{-1}\log n\rfloor$ where $ξ$ is the rate function for a point-to-plane non-red connection under the infinite volume red measure. The proof goes through a coupled random-cluster interface to overcome the potential attractive interaction with the boundary, and a coupled fuzzy Potts model to reduce the upper bound to a simpler setting where the repulsion is attained by conditioning a no-floor interface to lie in the upper half-space.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Critical wetting in the (2+1)D Solid-On-Solid model
Authors:
Joseph Chen,
Reza Gheissari,
Eyal Lubetzky
Abstract:
In this note, we study the low temperature $(2+1)$D SOS interface above a hard floor with critical pinning potential $λ_w= \log (\frac{1}{1-e^{-4β}})$. At $λ<λ_w$ entropic repulsion causes the surface to delocalize and be rigid at height $\frac1{4β}\log n+O(1)$; at $λ>λ_w$ it is localized at some $O(1)$ height. We show that at $λ=λ_w$, there is delocalization, with rigidity now at height…
▽ More
In this note, we study the low temperature $(2+1)$D SOS interface above a hard floor with critical pinning potential $λ_w= \log (\frac{1}{1-e^{-4β}})$. At $λ<λ_w$ entropic repulsion causes the surface to delocalize and be rigid at height $\frac1{4β}\log n+O(1)$; at $λ>λ_w$ it is localized at some $O(1)$ height. We show that at $λ=λ_w$, there is delocalization, with rigidity now at height $\lfloor \frac1{6β}\log n+\frac13\rfloor$, confirming a conjecture of Lacoin.
△ Less
Submitted 23 September, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
On level line fluctuations of SOS surfaces above a wall
Authors:
Patrizio Caddeo,
Yujin H. Kim,
Eyal Lubetzky
Abstract:
We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loo…
▽ More
We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and nonnegative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loop $\mathcal L_0$ has cube-root fluctuations: e.g., if $ρ(x)$ is the vertical displacement of $\mathcal L_0$ from the bottom boundary point $(x,0)$, then $\max ρ(x) = L^{1/3+o(1)}$ over $x\in I_0:=L/2+[[-L^{2/3},L^{2/3}]]$. It is believed that rescaling $ρ$ by $L^{1/3}$ and $I_0$ by $L^{2/3}$ would yield a limit law of a diffusion on $[-1,1]$. However, no nontrivial lower bound was known on $ρ(x)$ for a fixed $x\in I_0$ (e.g., $x=\frac L2$), let alone on $\minρ(x)$ in $I_0$, to complement the bound on $\maxρ(x)$. Here we show a lower bound of the predicted order $L^{1/3}$: for every $ε>0$ there exists $δ>0$ such that $\min_{x\in I_0} ρ(x) \geq δL^{1/3}$ with probability at least $1-ε$. The proof relies on the Ornstein--Zernike machinery due to Campanino-Ioffe-Velenik, and a result of Ioffe, Shlosman and Toninelli (2015) that rules out pinning in Ising polymers with modified interactions along the boundary. En route, we refine the latter result into a Brownian excursion limit law, which may be of independent interest. We further show that in a $ K L^{2/3}\times K L^{2/3}$ box with boundary conditions $\mathfrak h-1,\mathfrak h,\mathfrak h,\mathfrak h$ (i.e., $\mathfrak h-1$ on the bottom side and $\mathfrak h$ elsewhere), the limit of $ρ(x)$ as $K,L\to\infty$ is a Ferrari--Spohn diffusion.
△ Less
Submitted 22 October, 2024; v1 submitted 16 September, 2023;
originally announced September 2023.
-
Metastability cascades and prewetting in the SOS model
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study Glauber dynamics for the low temperature $(2+1)$D Solid-On-Solid model on a box of side-length $n$ with a floor at height $0$ (inducing entropic repulsion) and a competing bulk external field $λ$ pointing down (the prewetting problem). In 1996, Cesi and Martinelli showed that if the inverse-temperature $β$ is large enough, then along a decreasing sequence of critical points…
▽ More
We study Glauber dynamics for the low temperature $(2+1)$D Solid-On-Solid model on a box of side-length $n$ with a floor at height $0$ (inducing entropic repulsion) and a competing bulk external field $λ$ pointing down (the prewetting problem). In 1996, Cesi and Martinelli showed that if the inverse-temperature $β$ is large enough, then along a decreasing sequence of critical points $(λ_c^{(k)})_{k=0}^{K_β}$ the dynamics is torpid: its inverse spectral gap is $O(1)$ when $λ\in (λ_c^{(k+1)},λ_c^{(k)})$ whereas it is $\exp[Θ(n)]$ at each $λ_c^{(k)}$ for each $k\leq K_β$, due to a coexistence of rigid phases at heights $k+1$ and $k$. Our focus is understanding (a) the onset of metastability as $λ_n\uparrowλ_c^{(k)}$; and (b) the effect of an unbounded number of layers, as we remove the restriction $k\le K_β$, and even allow for $λ_n\to 0$ towards the $λ= 0$ case which has $O(\log n)$ layers and was studied by Caputo et al. (2014). We show that for any $k$, possibly growing with $n$, the inverse gap is $\exp[\tildeΘ(1/|λ_n-λ_c^{(k)}|)]$ as $λ\uparrow λ_c^{(k)}$ up to distance $n^{-1+o(1)}$ from this critical point, due to a metastable layer at height $k$ on the way to forming the desired layer at height $k+1$. By taking $λ_n = n^{-α}$ (corresponding to $k_n\asymp \log n$), this also interpolates down to the behavior of the dynamics when $λ=0$. We complement this by extending the fast mixing to all $λ$ uniformly bounded away from $(λ_c^{(k)})_{k=0}^\infty$. Together, these results provide a sharp understanding of the predicted infinite sequence of dynamical phase transitions governed by the layering phenomenon.
△ Less
Submitted 23 September, 2024; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Extrema of 3D Potts interfaces
Authors:
Joseph Chen,
Eyal Lubetzky
Abstract:
The interface between the plus and minus phases in the low temperature 3D Ising model has been intensely studied since Dobrushin's pioneering works in the early 1970's established its rigidity. Advances in the last decade yielded the tightness of the maximum of the interface of this Ising model on the cylinder of side length $n$, around a mean that is asymptotically $c\log n$ for an explicit $c$ (…
▽ More
The interface between the plus and minus phases in the low temperature 3D Ising model has been intensely studied since Dobrushin's pioneering works in the early 1970's established its rigidity. Advances in the last decade yielded the tightness of the maximum of the interface of this Ising model on the cylinder of side length $n$, around a mean that is asymptotically $c\log n$ for an explicit $c$ (temperature dependent). In this work, we establish analogous results for the 3D Potts and random cluster (FK) models. Compared to 3D Ising, the Potts model and its lack of monotonicity form obstacles for existing methods, calling for new proof ideas, while its interfaces (and associated extrema) exhibit richer behavior. We show that the maxima and minima of the interface bounding the blue component in the 3D Potts interface, and those of the interface bounding the bottom component in the 3D FK model, are governed by 4 different large deviation rates, whence the corresponding global extrema feature 4 distinct constants $c$ as above. Due to the above obstacles, our methods are initially only applicable to 1 of these 4 interface extrema, and additional ideas are needed to recover the other 3 rates given the behavior of the first one.
△ Less
Submitted 9 September, 2024; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Entropic repulsion of 3D Ising interfaces conditioned to stay above a floor
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study the interface of the Ising model in a box of side-length $n$ in $\mathbb Z^3$ at low temperature $1/β$ under Dobrushin's boundary conditions, conditioned to stay in a half-space above height $h$ (a hard floor). Without this conditioning, Dobrushin showed in 1972 that typically most of the interface is flat at height $0$. With the floor, for small $h$, the model is expected to exhibit {\it…
▽ More
We study the interface of the Ising model in a box of side-length $n$ in $\mathbb Z^3$ at low temperature $1/β$ under Dobrushin's boundary conditions, conditioned to stay in a half-space above height $h$ (a hard floor). Without this conditioning, Dobrushin showed in 1972 that typically most of the interface is flat at height $0$. With the floor, for small $h$, the model is expected to exhibit {\it entropic repulsion}, where the typical height of the interface lifts off of $0$. Detailed understanding of the SOS model -- a more tractable height function approximation of 3D Ising -- due to Caputo et al., suggests that there is a single integer value $-h_n^* \sim -c\log n$ of the floor height, delineating the transition between rigidity at height $0$ and entropic repulsion.
We identify an explicit $h_n^*=( c_\star+o(1))\log n$ such that, for the typical Ising interface above a hard floor at $h$, all but an $ε(β)$-fraction of the sites are propelled to be above height $0$ if $h < h_n^*-1$, whereas all but an $ε(β)$-fraction of the sites remain at height $0$ if $h\geq h_n^*$. Further, $c_\star$ is such that the typical height of the unconditional maximum is $(2c_\star + o(1))\log n$; this confirms scaling predictions from the SOS approximation.
△ Less
Submitted 9 September, 2024; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Approximate domain Markov property for rigid Ising interfaces
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
Consider the Ising model on a centered box of side length $n$ in $\mathbb Z^d$ with $\mp$-boundary conditions that are minus in the upper half-space and plus in the lower half-space. Dobrushin famously showed that in dimensions $d\ge 3$, at low-temperatures the Ising interface (dual-surface separating the plus/minus phases) is rigid, i.e., it has $O(1)$ height fluctuations. Recently, the authors d…
▽ More
Consider the Ising model on a centered box of side length $n$ in $\mathbb Z^d$ with $\mp$-boundary conditions that are minus in the upper half-space and plus in the lower half-space. Dobrushin famously showed that in dimensions $d\ge 3$, at low-temperatures the Ising interface (dual-surface separating the plus/minus phases) is rigid, i.e., it has $O(1)$ height fluctuations. Recently, the authors decomposed these oscillations into pillars and identified their typical shape, leading to a law of large numbers and tightness of their maximum.
Suppose we condition on a height-$h$ level curve of the interface, bounding a set $S \subset \mathbb Z^{d-1}$, along with the entire interface outside the cylinder $S\times \mathbb Z$: what does the interface in $S\times \mathbb Z$ look like? Many models of random surfaces (e.g., SOS and DGFF) fundamentally satisfy the domain Markov property, whereby their heights on $S$ only depend on the heights on $S^c$ through the heights on $\partial S$. The Ising interface importantly does not satisfy this property; the law of the interface depends on the full spin configuration outside $S\times \mathbb Z$.
Here we establish an approximate domain Markov property inside the level curves of the Ising interface. We first extend Dobrushin's result to this setting, showing the interface in $S\times \mathbb Z$ is rigid about height $h$, with exponential tails on its height oscillations. Then we show that the typical tall pillars in $S\times \mathbb Z$ are uniformly absolutely continuous with respect to tall pillars of the unconditional Ising interface. Using this we identify the law of large numbers, tightness, and Gumbel tail bounds on the maximum oscillations in $S\times \mathbb Z$ about height $h$, showing that these only depend on the conditioning through the cardinality of $S$.
△ Less
Submitted 9 December, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Universality for Langevin-like spin glass dynamics
Authors:
Amir Dembo,
Eyal Lubetzky,
Ofer Zeitouni
Abstract:
We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Ga…
▽ More
We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Gaussian interactions that as the number of particles grows, the short-term empirical law of this dynamics converges a.s. to a non-random law $μ_\star$ of a ``self-consistent single spin dynamics,'' as predicted by physicists. Here we obtain universality of this fact:
For asymmetric disorder given by i.i.d. variables of zero mean, unit variance and exponential or better tail decay, at every temperature, the empirical law of sample paths of the
Langevin-like dynamics in a fixed time interval has the same a.s. limit $μ_\star$.
△ Less
Submitted 24 January, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Tightness and tails of the maximum in 3D Ising interfaces
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
Consider the 3D Ising model on a box of side length $n$ with minus boundary conditions above the $xy$-plane and plus boundary conditions below it. At low temperatures, Dobrushin (1972) showed that the interface separating the predominantly plus and predominantly minus regions is localized: its height above a fixed point has exponential tails. Recently, the authors proved a law of large numbers for…
▽ More
Consider the 3D Ising model on a box of side length $n$ with minus boundary conditions above the $xy$-plane and plus boundary conditions below it. At low temperatures, Dobrushin (1972) showed that the interface separating the predominantly plus and predominantly minus regions is localized: its height above a fixed point has exponential tails. Recently, the authors proved a law of large numbers for the maximum height $M_n$ of this interface: for every $β$ large, $M_n/ \log n\to c_β$ in probability as $n\to\infty$.
Here we show that the laws of the centered maxima $(M_n - \mathbb{E}[M_n])_{n\geq 1}$ are uniformly tight. Moreover, even though this sequence does not converge, we prove that it has uniform upper and lower Gumbel tails (exponential right tails and doubly exponential left tails). Key to the proof is a sharp (up to $O(1)$ precision) understanding of the surface large deviations. This includes, in particular, the shape of a pillar that reaches near-maximum height, even at its base, where the interactions with neighboring pillars are dominant.
△ Less
Submitted 12 May, 2020; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Maximum and shape of interfaces in 3D Ising crystals
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
Dobrushin (1972) showed that the interface of a 3D Ising model with minus boundary conditions above the $xy$-plane and plus below is rigid (has $O(1)$-fluctuations) at every sufficiently low temperature. Since then, basic features of this interface -- such as the asymptotics of its maximum -- were only identified in more tractable random surface models that approximate the Ising interface at low t…
▽ More
Dobrushin (1972) showed that the interface of a 3D Ising model with minus boundary conditions above the $xy$-plane and plus below is rigid (has $O(1)$-fluctuations) at every sufficiently low temperature. Since then, basic features of this interface -- such as the asymptotics of its maximum -- were only identified in more tractable random surface models that approximate the Ising interface at low temperatures, e.g., for the (2+1)D Solid-On-Solid model. Here we study the large deviations of the interface of the 3D Ising model in a cube of side-length $n$ with Dobrushin's boundary conditions, and in particular obtain a law of large numbers for $M_n$, its maximum: if the inverse-temperature $β$ is large enough, then $M_n / \log n \to 2/α_β$ as $n\to\infty$, in probability, where $α_β$ is given by a large deviation rate in infinite volume.
We further show that, on the large deviation event that the interface connects the origin to height $h$, it consists of a 1D spine that behaves like a random walk, in that it decomposes into a linear (in $h$) number of asymptotically-stationary weakly-dependent increments that have exponential tails. As the number $T$ of increments diverges, properties of the interface such as its surface area, volume, and the location of its tip, all obey CLTs with variances linear in $T$. These results generalize to every dimension $d\geq 3$.
△ Less
Submitted 9 April, 2020; v1 submitted 15 January, 2019;
originally announced January 2019.
-
Concentration inequalities for polynomials of contracting Ising models
Authors:
Reza Gheissari,
Eyal Lubetzky,
Yuval Peres
Abstract:
We study the concentration of a degree-$d$ polynomial of the $N$ spins of a general Ising model, in the regime where single-site Glauber dynamics is contracting. For $d=1$, Gaussian concentration was shown by Marton (1996) and Samson (2000) as a special case of concentration for convex Lipschitz functions, and extended to a variety of related settings by e.g., Chazottes et al. (2007) and Kontorovi…
▽ More
We study the concentration of a degree-$d$ polynomial of the $N$ spins of a general Ising model, in the regime where single-site Glauber dynamics is contracting. For $d=1$, Gaussian concentration was shown by Marton (1996) and Samson (2000) as a special case of concentration for convex Lipschitz functions, and extended to a variety of related settings by e.g., Chazottes et al. (2007) and Kontorovich and Ramanan (2008). For $d=2$, exponential concentration was shown by Marton (2003) on lattices. We treat a general fixed degree $d$ with $O(1)$ coefficients, and show that the polynomial has variance $O(N^d)$ and, after rescaling it by $N^{-d/2}$, its tail probabilities decay as $\exp(- c\, r^{2/d})$ for deviations of $r \geq C \log N$.
△ Less
Submitted 1 September, 2017; v1 submitted 31 May, 2017;
originally announced June 2017.
-
Exponentially slow mixing in the mean-field Swendsen-Wang dynamics
Authors:
Reza Gheissari,
Eyal Lubetzky,
Yuval Peres
Abstract:
Swendsen-Wang dynamics for the Potts model was proposed in the late 1980's as an alternative to single-site heat-bath dynamics, in which global updates allow this MCMC sampler to switch between metastable states and ideally mix faster. Gore and Jerrum (1999) found that this dynamics may in fact exhibit slow mixing: they showed that, for the Potts model with $q\geq 3$ colors on the complete graph o…
▽ More
Swendsen-Wang dynamics for the Potts model was proposed in the late 1980's as an alternative to single-site heat-bath dynamics, in which global updates allow this MCMC sampler to switch between metastable states and ideally mix faster. Gore and Jerrum (1999) found that this dynamics may in fact exhibit slow mixing: they showed that, for the Potts model with $q\geq 3$ colors on the complete graph on $n$ vertices at the critical point $β_c(q)$, Swendsen-Wang dynamics has $t_{\mathrm{mix}}\geq \exp(c\sqrt n)$. The same lower bound was extended to the critical window $(β_s,β_S)$ around $β_c$ by Galanis et al. (2015), as well as to the corresponding mean-field FK model by Blanca and Sinclair (2015). In both cases, an upper bound of $t_{\mathrm{mix}} \leq \exp(c' n)$ was known. Here we show that the mixing time is truly exponential in $n$: namely, $t_{\mathrm{mix}} \geq \exp (cn)$ for Swendsen-Wang dynamics when $q\geq 3$ and $β\in(β_s,β_S)$, and the same bound holds for the related MCMC samplers for the mean-field FK model when $q>2$.
△ Less
Submitted 2 May, 2017; v1 submitted 19 February, 2017;
originally announced February 2017.
-
Fast initial conditions for Glauber dynamics
Authors:
Eyal Lubetzky,
Allan Sly
Abstract:
In the study of Markov chain mixing times, analysis has centered on the performance from a worst-case starting state. Here, in the context of Glauber dynamics for the one-dimensional Ising model, we show how new ideas from information percolation can be used to establish mixing times from other starting states. At high temperatures we show that the alternating initial condition is asymptotically t…
▽ More
In the study of Markov chain mixing times, analysis has centered on the performance from a worst-case starting state. Here, in the context of Glauber dynamics for the one-dimensional Ising model, we show how new ideas from information percolation can be used to establish mixing times from other starting states. At high temperatures we show that the alternating initial condition is asymptotically the fastest one, and, surprisingly, its mixing time is faster than at infinite temperature, accelerating as the inverse-temperature $β$ ranges from 0 to $β_0=\frac12\mathrm{arctanh}(\frac13)$. Moreover, the dominant test function depends on the temperature: at $β<β_0$ it is autocorrelation, whereas at $β>β_0$ it is the Hamiltonian.
△ Less
Submitted 21 January, 2017;
originally announced January 2017.
-
The effect of boundary conditions on mixing of 2D Potts models at discontinuous phase transitions
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study Swendsen--Wang dynamics for the critical $q$-state Potts model on the square lattice. For $q=2,3,4$, where the phase transition is continuous, the mixing time $t_{\textrm{mix}}$ is expected to obey a universal power-law independent of the boundary conditions. On the other hand, for large $q$, where the phase transition is discontinuous, the authors recently showed that $t_{\textrm{mix}}$…
▽ More
We study Swendsen--Wang dynamics for the critical $q$-state Potts model on the square lattice. For $q=2,3,4$, where the phase transition is continuous, the mixing time $t_{\textrm{mix}}$ is expected to obey a universal power-law independent of the boundary conditions. On the other hand, for large $q$, where the phase transition is discontinuous, the authors recently showed that $t_{\textrm{mix}}$ is highly sensitive to boundary conditions: $t_{\textrm{mix}} \geq \exp(cn)$ on an $n\times n$ box with periodic boundary, yet under free or monochromatic boundary conditions, $t_{\textrm{mix}} \leq\exp(n^{o(1)})$.
In this work we classify this effect under boundary conditions that interpolate between these two (torus vs. free/monochromatic). Specifically, if one of the $q$ colors is red, mixed boundary conditions such as red-free-red-free on the 4 sides of the box induce $t_{\textrm{mix}} \geq \exp(cn)$, yet Dobrushin boundary conditions such as red-red-free-free, as well as red-periodic-red-periodic, induce sub-exponential mixing.
△ Less
Submitted 4 June, 2018; v1 submitted 31 December, 2016;
originally announced January 2017.
-
Quasi-polynomial mixing of critical 2D random cluster models
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study the Glauber dynamics for the random cluster (FK) model on the torus $(\mathbb{Z}/n\mathbb{Z})^2$ with parameters $(p,q)$, for $q \in (1,4]$ and $p$ the critical point $p_c$. The dynamics is believed to undergo a critical slowdown, with its continuous-time mixing time transitioning from $O(\log n)$ for $p\neq p_c$ to a power-law in $n$ at $p=p_c$. This was verified at $p\neq p_c$ by Blanca…
▽ More
We study the Glauber dynamics for the random cluster (FK) model on the torus $(\mathbb{Z}/n\mathbb{Z})^2$ with parameters $(p,q)$, for $q \in (1,4]$ and $p$ the critical point $p_c$. The dynamics is believed to undergo a critical slowdown, with its continuous-time mixing time transitioning from $O(\log n)$ for $p\neq p_c$ to a power-law in $n$ at $p=p_c$. This was verified at $p\neq p_c$ by Blanca and Sinclair, whereas at the critical $p=p_c$, with the exception of the special integer points $q=2,3,4$ (where the model corresponds to the Ising/Potts models) the best-known upper bound on mixing was exponential in $n$. Here we prove an upper bound of $n^{O(\log n)}$ at $p=p_c$ for all $q\in (1,4]$, where a key ingredient is bounding the number of nested long-range crossings at criticality.
△ Less
Submitted 30 March, 2019; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Mixing times of critical 2D Potts models
Authors:
Reza Gheissari,
Eyal Lubetzky
Abstract:
We study dynamical aspects of the $q$-state Potts model on an $n\times n$ box at its critical $β_c(q)$. Heat-bath Glauber dynamics and cluster dynamics such as Swendsen--Wang (that circumvent low-temperature bottlenecks) are all expected to undergo "critical slowdowns" in the presence of periodic boundary conditions: the inverse spectral gap, which in the subcritical regime is $O(1)$, should at cr…
▽ More
We study dynamical aspects of the $q$-state Potts model on an $n\times n$ box at its critical $β_c(q)$. Heat-bath Glauber dynamics and cluster dynamics such as Swendsen--Wang (that circumvent low-temperature bottlenecks) are all expected to undergo "critical slowdowns" in the presence of periodic boundary conditions: the inverse spectral gap, which in the subcritical regime is $O(1)$, should at criticality be polynomial in $n$ for $1< q \leq 4$, and exponential in $n$ for $q>4$ in accordance with the predicted discontinuous phase transition. This was confirmed for $q=2$ (the Ising model) by the second author and Sly, and for sufficiently large $q$ by Borgs et al.
Here we show that the following holds for the critical Potts model on the torus: for $q=3$, the inverse gap of Glauber dynamics is $n^{O(1)}$; for $q=4$, it is at most $n^{O(\log n)}$; and for every $q>4$ in the phase-coexistence regime, the inverse gaps of both Glauber dynamics and Swendsen--Wang dynamics are exponential in $n$.
For free or monochromatic boundary conditions and large $q$, we show that the dynamics at criticality is faster than on the torus (unlike the Ising model where free/periodic boundary conditions induce similar dynamical behavior at all temperatures): the inverse gap of Swendsen--Wang dynamics is $\exp(n^{o(1)})$.
△ Less
Submitted 31 August, 2017; v1 submitted 7 July, 2016;
originally announced July 2016.
-
Universality of cutoff for the Ising model
Authors:
Eyal Lubetzky,
Allan Sly
Abstract:
On any locally-finite geometry, the stochastic Ising model is known to be contractive when the inverse-temperature $β$ is small enough, via classical results of Dobrushin and of Holley in the 1970's. By a general principle proposed by Peres, the dynamics is then expected to exhibit cutoff. However, so far cutoff for the Ising model has been confirmed mainly for lattices, heavily relying on amenabi…
▽ More
On any locally-finite geometry, the stochastic Ising model is known to be contractive when the inverse-temperature $β$ is small enough, via classical results of Dobrushin and of Holley in the 1970's. By a general principle proposed by Peres, the dynamics is then expected to exhibit cutoff. However, so far cutoff for the Ising model has been confirmed mainly for lattices, heavily relying on amenability and log Sobolev inequalities. Without these, cutoff was unknown at any fixed $β>0$, no matter how small, even in basic examples such as the Ising model on a binary tree or a random regular graph.
We use the new framework of information percolation to show that, in any geometry, there is cutoff for the Ising model at high enough temperatures. Precisely, on any sequence of graphs with maximum degree $d$, the Ising model has cutoff provided that $β<κ/d$ for some absolute constant $κ$ (a result which, up to the value of $κ$, is best possible). Moreover, the cutoff location is established as the time at which the sum of squared magnetizations drops to 1, and the cutoff window is $O(1)$, just as when $β=0$.
Finally, the mixing time from almost every initial state is not more than a factor of $1+ε_β$ faster then the worst one (with $ε_β\to0$ as $β\to 0$), whereas the uniform starting state is at least $2-ε_β$ times faster.
△ Less
Submitted 28 July, 2014; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Harmonic pinnacles in the Discrete Gaussian model
Authors:
Eyal Lubetzky,
Fabio Martinelli,
Allan Sly
Abstract:
The 2D Discrete Gaussian model gives each height function $η: \mathbb{Z}^2\to\mathbb{Z}$ a probability proportional to $\exp(-β\mathcal{H}(η))$, where $β$ is the inverse-temperature and $\mathcal{H}(η) = \sum_{x\sim y}(η_x-η_y)^2$ sums over nearest-neighbor bonds. We consider the model at large fixed $β$, where it is flat unlike its continuous analog (the Gaussian Free Field).
We first establish…
▽ More
The 2D Discrete Gaussian model gives each height function $η: \mathbb{Z}^2\to\mathbb{Z}$ a probability proportional to $\exp(-β\mathcal{H}(η))$, where $β$ is the inverse-temperature and $\mathcal{H}(η) = \sum_{x\sim y}(η_x-η_y)^2$ sums over nearest-neighbor bonds. We consider the model at large fixed $β$, where it is flat unlike its continuous analog (the Gaussian Free Field).
We first establish that the maximum height in an $L\times L$ box with 0 boundary conditions concentrates on two integers $M,M+1$ with $M\sim \sqrt{(1/2πβ)\log L\log\log L}$. The key is a large deviation estimate for the height at the origin in $\mathbb{Z}^2$, dominated by "harmonic pinnacles", integer approximations of a harmonic variational problem. Second, in this model conditioned on $η\geq 0$ (a floor), the average height rises, and in fact the height of almost all sites concentrates on levels $H,H+1$ where $H\sim M/\sqrt{2}$.
This in particular pins down the asymptotics, and corrects the order, in results of Bricmont, El-Mellouki and Fröhlich (1986), where it was argued that the maximum and the height of the surface above a floor are both of order $\sqrt{\log L}$.
Finally, our methods extend to other classical surface models (e.g., restricted SOS), featuring connections to $p$-harmonic analysis and alternating sign matrices.
△ Less
Submitted 20 May, 2014;
originally announced May 2014.
-
Information percolation and cutoff for the stochastic Ising model
Authors:
Eyal Lubetzky,
Allan Sly
Abstract:
We introduce a new framework for analyzing Glauber dynamics for the Ising model. The traditional approach for obtaining sharp mixing results has been to appeal to estimates on spatial properties of the stationary measure from within a multi-scale analysis of the dynamics. Here we propose to study these simultaneously by examining "information percolation" clusters in the space-time slab.
Using t…
▽ More
We introduce a new framework for analyzing Glauber dynamics for the Ising model. The traditional approach for obtaining sharp mixing results has been to appeal to estimates on spatial properties of the stationary measure from within a multi-scale analysis of the dynamics. Here we propose to study these simultaneously by examining "information percolation" clusters in the space-time slab.
Using this framework, we obtain new results for the Ising model on $(\mathbb{Z}/n\mathbb{Z})^d$ throughout the high temperature regime: total-variation mixing exhibits cutoff with an $O(1)$-window around the time at which the magnetization is the square-root of the volume. (Previously, cutoff in the full high temperature regime was only known for $d\leq 2$, and only with an $O(\log\log n)$-window.)
Furthermore, the new framework opens the door to understanding the effect of the initial state on the mixing time. We demonstrate this on the 1D Ising model, showing that starting from the uniform ("disordered") initial distribution asymptotically halves the mixing time, whereas almost every deterministic starting state is asymptotically as bad as starting from the ("ordered") all-plus state.
△ Less
Submitted 28 May, 2015; v1 submitted 23 January, 2014;
originally announced January 2014.
-
Cutoff for the East process
Authors:
Shirshendu Ganguly,
Eyal Lubetzky,
Fabio Martinelli
Abstract:
The East process is a 1D kinetically constrained interacting particle system, introduced in the physics literature in the early 90's to model liquid-glass transitions. Spectral gap estimates of Aldous and Diaconis in 2002 imply that its mixing time on $L$ sites has order $L$. We complement that result and show cutoff with an $O(\sqrt{L})$-window.
The main ingredient is an analysis of the front o…
▽ More
The East process is a 1D kinetically constrained interacting particle system, introduced in the physics literature in the early 90's to model liquid-glass transitions. Spectral gap estimates of Aldous and Diaconis in 2002 imply that its mixing time on $L$ sites has order $L$. We complement that result and show cutoff with an $O(\sqrt{L})$-window.
The main ingredient is an analysis of the front of the process (its rightmost zero in the setup where zeros facilitate updates to their right). One expects the front to advance as a biased random walk, whose normal fluctuations would imply cutoff with an $O(\sqrt{L})$-window. The law of the process behind the front plays a crucial role: Blondel showed that it converges to an invariant measure $ν$, on which very little is known. Here we obtain quantitative bounds on the speed of convergence to $ν$, finding that it is exponentially fast. We then derive that the increments of the front behave as a stationary mixing sequence of random variables, and a Stein-method based argument of Bolthausen ('82) implies a CLT for the location of the front, yielding the cutoff result.
Finally, we supplement these results by a study of analogous kinetically constrained models on trees, again establishing cutoff, yet this time with an $O(1)$-window.
△ Less
Submitted 18 December, 2014; v1 submitted 30 December, 2013;
originally announced December 2013.
-
Scaling limit and cube-root fluctuations in SOS surfaces above a wall
Authors:
Pietro Caputo,
Eyal Lubetzky,
Fabio Martinelli,
Allan Sly,
Fabio Lucio Toninelli
Abstract:
Consider the classical $(2+1)$-dimensional Solid-On-Solid model above a hard wall on an $L\times L$ box of $\bbZ^2$. The model describes a crystal surface by assigning a non-negative integer height $η_x$ to each site $x$ in the box and 0 heights to its boundary. The probability of a surface configuration $η$ is proportional to $\exp(-β\mathcal{H}(η))$, where $β$ is the inverse-temperature and…
▽ More
Consider the classical $(2+1)$-dimensional Solid-On-Solid model above a hard wall on an $L\times L$ box of $\bbZ^2$. The model describes a crystal surface by assigning a non-negative integer height $η_x$ to each site $x$ in the box and 0 heights to its boundary. The probability of a surface configuration $η$ is proportional to $\exp(-β\mathcal{H}(η))$, where $β$ is the inverse-temperature and $\mathcal{H}(η)$ sums the absolute values of height differences between neighboring sites.
We give a full description of the shape of the SOS surface for low enough temperatures. First we show that with high probability the height of almost all sites is concentrated on two levels, $H(L)=\lfloor (1/4β)\log L\rfloor$ and $H(L)-1$. Moreover, for most values of $L$ the height is concentrated on the single value $H(L)$. Next, we study the ensemble of level lines corresponding to the heights $(H(L),H(L)-1,...)$. We prove that w.h.p. there is a unique macroscopic level line for each height. Furthermore, when taking a diverging sequence of system sizes $L_k$, the rescaled macroscopic level line at height $H(L_k)-n$ has a limiting shape if the fractional parts of $(1/4β)\log L_k$ converge to a noncritical value. The scaling limit is an explicit convex subset of the unit square $Q$ and its boundary has a flat component on the boundary of $Q$. Finally, the highest macroscopic level line has $L_k^{1/3+o(1)}$ fluctuations along the flat part of the boundary of its limiting shape.
△ Less
Submitted 27 February, 2013;
originally announced February 2013.
-
The shape of the $(2+1)$D SOS surface above a wall
Authors:
Pietro Caputo,
Eyal Lubetzky,
Fabio Martinelli,
Allan Sly,
Fabio Lucio Toninelli
Abstract:
We give a full description for the shape of the classical (2+1)\Dim Solid-On-Solid model above a wall, introduced by Temperley (1952). On an $L\times L$ box at a large inverse-temperature $β$ the height of most sites concentrates on a single level $h = \lfloor (1/4β)\log L\rfloor$ for most values of $L$. For a sequence of diverging boxes the ensemble of level lines of heights $(h,h-1,...)$ has a s…
▽ More
We give a full description for the shape of the classical (2+1)\Dim Solid-On-Solid model above a wall, introduced by Temperley (1952). On an $L\times L$ box at a large inverse-temperature $β$ the height of most sites concentrates on a single level $h = \lfloor (1/4β)\log L\rfloor$ for most values of $L$. For a sequence of diverging boxes the ensemble of level lines of heights $(h,h-1,...)$ has a scaling limit in Hausdorff distance iff the fractional parts of $(1/4β)\log L$ converge to a noncritical value. The scaling limit is explicitly given by nested distinct loops formed via translates of Wulff shapes. Finally, the $h$-level lines feature $L^{1/3+o(1)}$ fluctuations from the side boundaries.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.
-
Dynamics of $(2+1)$-dimensional SOS surfaces above a wall: Slow mixing induced by entropic repulsion
Authors:
Pietro Caputo,
Eyal Lubetzky,
Fabio Martinelli,
Allan Sly,
Fabio Lucio Toninelli
Abstract:
We study the Glauber dynamics for the $(2+1)\mathrm{D}$ Solid-On-Solid model above a hard wall and below a far away ceiling, on an $L\times L$ box of $\mathbb{Z}^2$ with zero boundary conditions, at large inverse-temperature $β$. It was shown by Bricmont, El Mellouki and Fröhlich [J. Stat. Phys. 42 (1986) 743-798] that the floor constraint induces an entropic repulsion effect which lifts the surfa…
▽ More
We study the Glauber dynamics for the $(2+1)\mathrm{D}$ Solid-On-Solid model above a hard wall and below a far away ceiling, on an $L\times L$ box of $\mathbb{Z}^2$ with zero boundary conditions, at large inverse-temperature $β$. It was shown by Bricmont, El Mellouki and Fröhlich [J. Stat. Phys. 42 (1986) 743-798] that the floor constraint induces an entropic repulsion effect which lifts the surface to an average height $H\asymp(1/β)\log L$. As an essential step in understanding the effect of entropic repulsion on the Glauber dynamics we determine the equilibrium height $H$ to within an additive constant: $H=(1/4β)\log L+O(1)$. We then show that starting from zero initial conditions the surface rises to its final height $H$ through a sequence of metastable transitions between consecutive levels. The time for a transition from height $h=aH$, $a\in(0,1)$, to height $h+1$ is roughly $\exp(cL^a)$ for some constant $c>0$. In particular, the mixing time of the dynamics is exponentially large in $L$, that is, $T_{\mathrm{MIX}}\geq e^{cL}$. We also provide the matching upper bound $T_{\mathrm{MIX}}\leq e^{c'L}$, requiring a challenging analysis of the statistics of height contours at low temperature and new coupling ideas and techniques. Finally, to emphasize the role of entropic repulsion we show that without a floor constraint at height zero the mixing time is no longer exponentially large in $L$.
△ Less
Submitted 24 July, 2014; v1 submitted 31 May, 2012;
originally announced May 2012.
-
Glauber Dynamics for the mean-field Potts Model
Authors:
Paul Cuff,
Jian Ding,
Oren Louidor,
Eyal Lubetzky,
Yuval Peres,
Allan Sly
Abstract:
We study Glauber dynamics for the mean-field (Curie-Weiss) Potts model with $q\geq 3$ states and show that it undergoes a critical slowdown at an inverse-temperature $β_s(q)$ strictly lower than the critical $β_c(q)$ for uniqueness of the thermodynamic limit. The dynamical critical $β_s(q)$ is the spinodal point marking the onset of metastability.
We prove that when $β<β_s(q)$ the mixing time is…
▽ More
We study Glauber dynamics for the mean-field (Curie-Weiss) Potts model with $q\geq 3$ states and show that it undergoes a critical slowdown at an inverse-temperature $β_s(q)$ strictly lower than the critical $β_c(q)$ for uniqueness of the thermodynamic limit. The dynamical critical $β_s(q)$ is the spinodal point marking the onset of metastability.
We prove that when $β<β_s(q)$ the mixing time is asymptotically $C(β, q) n \log n$ and the dynamics exhibits the cutoff phenomena, a sharp transition in mixing, with a window of order $n$. At $β=β_s(q)$ the dynamics no longer exhibits cutoff and its mixing obeys a power-law of order $n^{4/3}$. For $β>β_s(q)$ the mixing time is exponentially large in $n$. Furthermore, as $β\uparrow β_s$ with $n$, the mixing time interpolates smoothly from subcritical to critical behavior, with the latter reached at a scaling window of $O(n^{-2/3})$ around $β_s$. These results form the first complete analysis of mixing around the critical dynamical temperature --- including the critical power law --- for a model with a first order phase transition.
△ Less
Submitted 11 June, 2012; v1 submitted 19 April, 2012;
originally announced April 2012.
-
Cutoff for general spin systems with arbitrary boundary conditions
Authors:
Eyal Lubetzky,
Allan Sly
Abstract:
The cutoff phenomenon describes a sharp transition in the convergence of a Markov chain to equilibrium. In recent work, the authors established cutoff and its location for the stochastic Ising model on the $d$-dimensional torus $(Z/nZ)^d$ for any $d\geq 1$. The proof used the symmetric structure of the torus and monotonicity in an essential way.
Here we enhance the framework and extend it to gen…
▽ More
The cutoff phenomenon describes a sharp transition in the convergence of a Markov chain to equilibrium. In recent work, the authors established cutoff and its location for the stochastic Ising model on the $d$-dimensional torus $(Z/nZ)^d$ for any $d\geq 1$. The proof used the symmetric structure of the torus and monotonicity in an essential way.
Here we enhance the framework and extend it to general geometries, boundary conditions and external fields to derive a cutoff criterion that involves the growth rate of balls and the log-Sobolev constant of the Glauber dynamics. In particular, we show there is cutoff for stochastic Ising on any sequence of bounded-degree graphs with sub-exponential growth under arbitrary external fields provided the inverse log-Sobolev constant is bounded. For lattices with homogenous boundary, such as all-plus, we identify the cutoff location explicitly in terms of spectral gaps of infinite-volume dynamics on half-plane intersections. Analogous results establishing cutoff are obtained for non-monotone spin-systems at high temperatures, including the gas hard-core model, the Potts model, the anti-ferromagnetic Potts model and the coloring model.
△ Less
Submitted 5 November, 2012; v1 submitted 20 February, 2012;
originally announced February 2012.
-
Quasi-polynomial mixing of the 2D stochastic Ising model with "plus" boundary up to criticality
Authors:
Eyal Lubetzky,
Fabio Martinelli,
Allan Sly,
Fabio Lucio Toninelli
Abstract:
We considerably improve upon the recent result of Martinelli and Toninelli on the mixing time of Glauber dynamics for the 2D Ising model in a box of side $L$ at low temperature and with random boundary conditions whose distribution $P$ stochastically dominates the extremal plus phase. An important special case is when $P$ is concentrated on the homogeneous all-plus configuration, where the mixing…
▽ More
We considerably improve upon the recent result of Martinelli and Toninelli on the mixing time of Glauber dynamics for the 2D Ising model in a box of side $L$ at low temperature and with random boundary conditions whose distribution $P$ stochastically dominates the extremal plus phase. An important special case is when $P$ is concentrated on the homogeneous all-plus configuration, where the mixing time $T_{mix}$ is conjectured to be polynomial in $L$. In [MT] it was shown that for a large enough inverse-temperature $β$ and any $ε>0$ there exists $c=c(β,ε)$ such that $\lim_{L\to\infty}P(T_{mix}\geq \exp({c L^ε}))=0$. In particular, for the all-plus boundary conditions and $β$ large enough $T_{mix} \leq \exp({c L^ε})$.
Here we show that the same conclusions hold for all $β$ larger than the critical value $β_c$ and with $\exp({c L^ε})$ replaced by $L^{c \log L}$ (i.e. quasi-polynomial mixing). The key point is a modification of the inductive scheme of [MT] together with refined equilibrium estimates that hold up to criticality, obtained via duality and random-line representation tools for the Ising model. In particular, we establish new precise bounds on the law of Peierls contours which quantitatively sharpen the Brownian bridge picture established e.g. in [Greenberg-Ioffe (2005)],[Higuchi (1979)],[Hryniv (1998)].
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
-
Critical Ising on the square lattice mixes in polynomial time
Authors:
Eyal Lubetzky,
Allan Sly
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…
▽ More
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 $\Z^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 in it. A seminal series of papers verified this on $\Z^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 $\Z^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 critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.
△ Less
Submitted 6 August, 2010; v1 submitted 11 January, 2010;
originally announced January 2010.
-
Cutoff for the Ising model on the lattice
Authors:
Eyal Lubetzky,
Allan Sly
Abstract:
Introduced in 1963, Glauber dynamics is one of the most practiced and extensively studied methods for sampling the Ising model on lattices. It is well known that at high temperatures, the time it takes this chain to mix in $L^1$ on a system of size $n$ is $O(\log n)$. Whether in this regime there is cutoff, i.e. a sharp transition in the $L^1$-convergence to equilibrium, is a fundamental open pr…
▽ More
Introduced in 1963, Glauber dynamics is one of the most practiced and extensively studied methods for sampling the Ising model on lattices. It is well known that at high temperatures, the time it takes this chain to mix in $L^1$ on a system of size $n$ is $O(\log n)$. Whether in this regime there is cutoff, i.e. a sharp transition in the $L^1$-convergence to equilibrium, is a fundamental open problem: If so, as conjectured by Peres, it would imply that mixing occurs abruptly at $(c+o(1))\log n$ for some fixed $c>0$, thus providing a rigorous stopping rule for this MCMC sampler. However, obtaining the precise asymptotics of the mixing and proving cutoff can be extremely challenging even for fairly simple Markov chains. Already for the one-dimensional Ising model, showing cutoff is a longstanding open problem.
We settle the above by establishing cutoff and its location at the high temperature regime of the Ising model on the lattice with periodic boundary conditions. Our results hold for any dimension and at any temperature where there is strong spatial mixing: For $\Z^2$ this carries all the way to the critical temperature. Specifically, for fixed $d\geq 1$, the continuous-time Glauber dynamics for the Ising model on $(\Z/n\Z)^d$ with periodic boundary conditions has cutoff at $(d/2λ_\infty)\log n$, where $λ_\infty$ is the spectral gap of the dynamics on the infinite-volume lattice. To our knowledge, this is the first time where cutoff is shown for a Markov chain where even understanding its stationary distribution is limited.
The proof hinges on a new technique for translating $L^1$ to $L^2$ mixing which enables the application of log-Sobolev inequalities. The technique is general and carries to other monotone and anti-monotone spin-systems.
△ Less
Submitted 23 September, 2009;
originally announced September 2009.
-
Mixing time of critical Ising model on trees is polynomial in the height
Authors:
Jian Ding,
Eyal Lubetzky,
Yuval Peres
Abstract:
In the heat-bath Glauber dynamics for the Ising model on the lattice, physicists believe that the spectral gap of the continuous-time chain exhibits the following behavior. For some critical inverse-temperature $β_c$, the inverse-gap is bounded for $β< β_c$, polynomial in the surface area for $β= β_c$ and exponential in it for $β> β_c$. This has been proved for $\Z^2$ except at criticality. So f…
▽ More
In the heat-bath Glauber dynamics for the Ising model on the lattice, physicists believe that the spectral gap of the continuous-time chain exhibits the following behavior. For some critical inverse-temperature $β_c$, the inverse-gap is bounded for $β< β_c$, polynomial in the surface area for $β= β_c$ and exponential in it for $β> β_c$. This has been proved for $\Z^2$ except at criticality. So far, the only underlying geometry where the critical behavior has been confirmed is the complete graph. Recently, the dynamics for the Ising model on a regular tree, also known as the Bethe lattice, has been intensively studied. The facts that the inverse-gap is bounded for $β< β_c$ and exponential for $β> β_c$ were established, where $β_c$ is the critical spin-glass parameter, and the tree-height $h$ plays the role of the surface area.
In this work, we complete the picture for the inverse-gap of the Ising model on the $b$-ary tree, by showing that it is indeed polynomial in $h$ at criticality. The degree of our polynomial bound does not depend on $b$, and furthermore, this result holds under any boundary condition. We also obtain analogous bounds for the mixing-time of the chain. In addition, we study the near critical behavior, and show that for $β> β_c$, the inverse-gap and mixing-time are both $\exp[Θ((β-β_c) h)]$.
△ Less
Submitted 26 January, 2009;
originally announced January 2009.
-
Censored Glauber Dynamics for the mean field Ising Model
Authors:
Jian Ding,
Eyal Lubetzky,
Yuval Peres
Abstract:
We study Glauber dynamics for the Ising model on the complete graph on $n$ vertices, known as the Curie-Weiss Model. It is well known that at high temperature ($β< 1$) the mixing time is $Θ(n\log n)$, whereas at low temperature ($β> 1$) it is $\exp(Θ(n))$. Recently, Levin, Luczak and Peres considered a censored version of this dynamics, which is restricted to non-negative magnetization. They pro…
▽ More
We study Glauber dynamics for the Ising model on the complete graph on $n$ vertices, known as the Curie-Weiss Model. It is well known that at high temperature ($β< 1$) the mixing time is $Θ(n\log n)$, whereas at low temperature ($β> 1$) it is $\exp(Θ(n))$. Recently, Levin, Luczak and Peres considered a censored version of this dynamics, which is restricted to non-negative magnetization. They proved that for fixed $β> 1$, the mixing-time of this model is $Θ(n\log n)$, analogous to the high-temperature regime of the original dynamics. Furthermore, they showed \emph{cutoff} for the original dynamics for fixed $β<1$. The question whether the censored dynamics also exhibits cutoff remained unsettled.
In a companion paper, we extended the results of Levin et al. into a complete characterization of the mixing-time for the Currie-Weiss model. Namely, we found a scaling window of order $1/\sqrt{n}$ around the critical temperature $β_c=1$, beyond which there is cutoff at high temperature. However, determining the behavior of the censored dynamics outside this critical window seemed significantly more challenging.
In this work we answer the above question in the affirmative, and establish the cutoff point and its window for the censored dynamics beyond the critical window, thus completing its analogy to the original dynamics at high temperature. Namely, if $β= 1 + δ$ for some $δ> 0$ with $δ^2 n \to \infty$, then the mixing-time has order $(n / δ)\log(δ^2 n)$. The cutoff constant is $(1/2+[2(ζ^2 β/ δ- 1)]^{-1})$, where $ζ$ is the unique positive root of $g(x)=\tanh(βx)-x$, and the cutoff window has order $n / δ$.
△ Less
Submitted 3 December, 2008;
originally announced December 2008.
