-
An alternative approach for the mean-field behaviour of weakly self-avoiding walks in dimensions $d>4$
Authors:
Hugo Duminil-Copin,
Romain Panis
Abstract:
This article proposes a new way of deriving mean-field exponents for the weakly self-avoiding walk model in dimensions $d>4$. Among other results, we obtain up-to-constant estimates for the full-space and half-space two-point functions in the critical and near-critical regimes. A companion paper proposes a similar analysis for spread-out Bernoulli percolation in dimensions $d>6$.
This article proposes a new way of deriving mean-field exponents for the weakly self-avoiding walk model in dimensions $d>4$. Among other results, we obtain up-to-constant estimates for the full-space and half-space two-point functions in the critical and near-critical regimes. A companion paper proposes a similar analysis for spread-out Bernoulli percolation in dimensions $d>6$.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
An alternative approach for the mean-field behaviour of spread-out Bernoulli percolation in dimensions $d>6$
Authors:
Hugo Duminil-Copin,
Romain Panis
Abstract:
This article proposes a new way of deriving mean-field exponents for sufficiently spread-out Bernoulli percolation in dimensions $d>6$. We obtain an upper bound for the full-space and half-space two-point functions in the critical and near-critical regimes. In a companion paper, we apply a similar analysis to the study of the weakly self-avoiding walk model in dimensions $d>4$.
This article proposes a new way of deriving mean-field exponents for sufficiently spread-out Bernoulli percolation in dimensions $d>6$. We obtain an upper bound for the full-space and half-space two-point functions in the critical and near-critical regimes. In a companion paper, we apply a similar analysis to the study of the weakly self-avoiding walk model in dimensions $d>4$.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
New lower bounds for the (near) critical Ising and $\varphi^4$ models' two-point functions
Authors:
Hugo Duminil-Copin,
Romain Panis
Abstract:
We study the nearest-neighbour Ising and $\varphi^4$ models on $\mathbb Z^d$ with $d\geq 3$ and obtain new lower bounds on their two-point functions at (and near) criticality. Together with the classical infrared bound, these bounds turn into up-to constant estimates when $d\geq 5$. When $d=4$, we obtain an ''almost'' sharp lower bound corrected by a logarithmic factor. As a consequence of these r…
▽ More
We study the nearest-neighbour Ising and $\varphi^4$ models on $\mathbb Z^d$ with $d\geq 3$ and obtain new lower bounds on their two-point functions at (and near) criticality. Together with the classical infrared bound, these bounds turn into up-to constant estimates when $d\geq 5$. When $d=4$, we obtain an ''almost'' sharp lower bound corrected by a logarithmic factor. As a consequence of these results, we show that $η=0$ and $ν=1/2$ when $d\geq 4$, where $η$ is the critical exponent associated with the decay of the model's two-point function at criticality and $ν$ is the critical exponent of the correlation length $ξ(β)$. When $d=3$, we improve previous results and obtain that $η\leq 1/2$. As a byproduct of our proofs, we also derive the blow-up at criticality of the so-called bubble diagram when $d=3,4$.
△ Less
Submitted 10 January, 2025; v1 submitted 8 April, 2024;
originally announced April 2024.
-
A characterization of strong percolation via disconnection
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Pierre-François Rodriguez,
Franco Severo,
Augusto Teixeira
Abstract:
We consider a percolation model, the vacant set $\mathcal{V}^u$ of random interlacements on $\mathbb{Z}^d$, $d \geq 3$, in the regime of parameters $u>0$ in which it is strongly percolative. By definition, such values of $u$ pinpoint a robust subset of the super-critical phase, with strong quantitative controls on large local clusters. In the present work, we give a new charaterization of this reg…
▽ More
We consider a percolation model, the vacant set $\mathcal{V}^u$ of random interlacements on $\mathbb{Z}^d$, $d \geq 3$, in the regime of parameters $u>0$ in which it is strongly percolative. By definition, such values of $u$ pinpoint a robust subset of the super-critical phase, with strong quantitative controls on large local clusters. In the present work, we give a new charaterization of this regime in terms of a single property, monotone in $u$, involving a disconnection estimate for $\mathcal{V}^u$. A key aspect is to exhibit a gluing property for large local clusters from this information alone, and a major challenge in this undertaking is the fact that the conditional law of $\mathcal{V}^u$ exhibits degeneracies. As one of the main novelties of this work, the gluing technique we develop to merge large clusters accounts for such effects. In particular, our methods do not rely on the widely assumed finite-energy property, which the set $\mathcal{V}^u$ does not possess. The charaterization we derive plays a decisive role in the proof of a lasting conjecture regarding the coincidence of various critical parameters naturally associated to $\mathcal{V}^u$ in a companion article.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Phase transition for the vacant set of random walk and random interlacements
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Pierre-François Rodriguez,
Franco Severo,
Augusto Teixeira
Abstract:
We consider the set of points visited by the random walk on the discrete torus $(\mathbb{Z}/N\mathbb{Z})^d$, for $d \geq 3$, at times of order $uN^d$, for a parameter $u>0$ in the large-$N$ limit. We prove that the vacant set left by the walk undergoes a phase transition across a non-degenerate critical value $u_* = u_*(d)$, as follows. For all $u< u_*$, the vacant set contains a giant connected c…
▽ More
We consider the set of points visited by the random walk on the discrete torus $(\mathbb{Z}/N\mathbb{Z})^d$, for $d \geq 3$, at times of order $uN^d$, for a parameter $u>0$ in the large-$N$ limit. We prove that the vacant set left by the walk undergoes a phase transition across a non-degenerate critical value $u_* = u_*(d)$, as follows. For all $u< u_*$, the vacant set contains a giant connected component with high probability, which has a non-vanishing asymptotic density and satisfies a certain local uniqueness property. In stark contrast, for all $u> u_*$ the vacant set scatters into tiny connected components. Our results further imply that the threshold $u_*$ precisely equals the critical value, introduced by Sznitman in arXiv:0704.2560, which characterizes the percolation transition of the corresponding local limit, the vacant set of random interlacements on $\mathbb{Z}^d$. Our findings also yield the analogous infinite-volume result, i.e. the long purported equality of three critical parameters $\bar u$, $u_*$ and $u_{**}$ naturally associated to the vacant set of random interlacements.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Finite range interlacements and couplings
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Pierre-François Rodriguez,
Franco Severo,
Augusto Teixeira
Abstract:
In this article, we consider the interlacement set $\mathcal{I}^u$ at level $u>0$ on $\mathbb{Z}^d$, $d \geq3$, and its finite range version $\mathcal{I}^{u,L}$ for $L >0$, given by the union of the ranges of a Poisson cloud of random walks on $\mathbb{Z}^d$ having intensity $u/L$ and killed after $L$ steps. As $L\to \infty$, the random set $\mathcal{I}^{u,L}$ has a non-trivial (local) limit, whic…
▽ More
In this article, we consider the interlacement set $\mathcal{I}^u$ at level $u>0$ on $\mathbb{Z}^d$, $d \geq3$, and its finite range version $\mathcal{I}^{u,L}$ for $L >0$, given by the union of the ranges of a Poisson cloud of random walks on $\mathbb{Z}^d$ having intensity $u/L$ and killed after $L$ steps. As $L\to \infty$, the random set $\mathcal{I}^{u,L}$ has a non-trivial (local) limit, which is precisely $\mathcal{I}^u$. A natural question is to understand how the sets $\mathcal{I}^{u,L}$ and $\mathcal{I}^{u}$ can be related, if at all, in such a way that their intersections with a box of large radius $R$ almost coincide. We address this question, which depends sensitively on $R$, by developing couplings allowing for a similar comparison to hold with very high probability for $\mathcal{I}^{u,L}$ and $\mathcal{I}^{{u'},2L}$, with $u' \approx u$. In particular, for the vacant set $\mathcal{V}^u=\mathbb{Z}^d \setminus \mathcal{I}^u$ with values of $u$ near the critical threshold, our couplings remain effective at scales $R \gg \sqrt{L}$, which corresponds to a natural barrier across which the walks of length $L$ comprised in $\mathcal{I}^{u,L}$ de-solidify inside $B_R$, i.e. lose their intrinsic long-range structure to become increasingly "dust-like". These mechanisms are complementary to the solidification effects recently exhibited in arXiv:1706.07229. By iterating the resulting couplings over dyadic scales $L$, the models $\mathcal{I}^{u,L}$ are seen to constitute a stationary finite range approximation of $\mathcal{I}^u$ at large spatial scales near the critical point $u_*$. Among others, these couplings are important ingredients for the characterization of the phase transition for percolation of the vacant sets of random walk and random interlacements in two upcoming companion articles.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Sharp metastability transition for two-dimensional bootstrap percolation with symmetric isotropic threshold rules
Authors:
Hugo Duminil-Copin,
Ivailo Hartarsky
Abstract:
We study two-dimensional critical bootstrap percolation models. We establish that a class of these models including all isotropic threshold rules with a convex symmetric neighbourhood, undergoes a sharp metastability transition. This extends previous instances proved for several specific rules. The paper supersedes a draft by Alexander Holroyd and the first author from 2012. While it served a role…
▽ More
We study two-dimensional critical bootstrap percolation models. We establish that a class of these models including all isotropic threshold rules with a convex symmetric neighbourhood, undergoes a sharp metastability transition. This extends previous instances proved for several specific rules. The paper supersedes a draft by Alexander Holroyd and the first author from 2012. While it served a role in the subsequent development of bootstrap percolation universality, we have chosen to adopt a more contemporary viewpoint in its present form.
△ Less
Submitted 5 June, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
100 Years of the (Critical) Ising Model on the Hypercubic Lattice
Authors:
Hugo Duminil-Copin
Abstract:
We take the occasion of this article to review one hundred years of the physical and mathematical study of the Ising model. The model, introduced by Lenz in 1920, has been at the cornerstone of many major revolutions in statistical mechanics. We wish, through its history, to outline some of these amazing developments. We restrict our attention to the ferromagnetic nearest-neighbour model on the hy…
▽ More
We take the occasion of this article to review one hundred years of the physical and mathematical study of the Ising model. The model, introduced by Lenz in 1920, has been at the cornerstone of many major revolutions in statistical mechanics. We wish, through its history, to outline some of these amazing developments. We restrict our attention to the ferromagnetic nearest-neighbour model on the hypercubic lattice, and essentially focus on what happens at or near the so-called critical point.
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
Near critical scaling relations for planar Bernoulli percolation without differential inequalities
Authors:
Hugo Duminil-Copin,
Ioan Manolescu,
Vincent Tassion
Abstract:
We provide a new proof of the near-critical scaling relation $β=ξ_1ν$ for Bernoulli percolation on the square lattice already proved by Kesten in 1987. We rely on a novel approach that does not invoke Russo's formula, but rather relates differences in crossing probabilities at different scales. The argument is shorter and more robust than previous ones and is more likely to be adapted to other mod…
▽ More
We provide a new proof of the near-critical scaling relation $β=ξ_1ν$ for Bernoulli percolation on the square lattice already proved by Kesten in 1987. We rely on a novel approach that does not invoke Russo's formula, but rather relates differences in crossing probabilities at different scales. The argument is shorter and more robust than previous ones and is more likely to be adapted to other models. The same approach may be used to prove the other scaling relations appearing in Kesten's work.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
Existence of an unbounded nodal hypersurface for smooth Gaussian fields in dimension $d \ge 3$
Authors:
Hugo Duminil-Copin,
Alejandro Rivera,
Pierre-François Rodriguez,
Hugo Vanneuville
Abstract:
For the Bargmann--Fock field on $\mathbb R^d$ with $d\ge3$, we prove that the critical level $\ell_c(d)$ of the percolation model formed by the excursion sets $\{ f \ge \ell \}$ is strictly positive. This implies that for every $\ell$ sufficiently close to $0$ (in particular for the nodal hypersurfaces corresponding to the case $\ell=0$), $\{f=\ell\}$ contains an unbounded connected component that…
▽ More
For the Bargmann--Fock field on $\mathbb R^d$ with $d\ge3$, we prove that the critical level $\ell_c(d)$ of the percolation model formed by the excursion sets $\{ f \ge \ell \}$ is strictly positive. This implies that for every $\ell$ sufficiently close to $0$ (in particular for the nodal hypersurfaces corresponding to the case $\ell=0$), $\{f=\ell\}$ contains an unbounded connected component that visits "most" of the ambient space. Our findings actually hold for a more general class of positively correlated smooth Gaussian fields with rapid decay of correlations. The results of this paper show that the behaviour of nodal hypersurfaces of these Gaussian fields in $\mathbb R^d$ for $d\ge3$ is very different from the behaviour of nodal lines of their two-dimensional analogues.
△ Less
Submitted 19 July, 2023; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Conformal invariance of double random currents I: identification of the limit
Authors:
Hugo Duminil-Copin,
Marcin Lis,
Wei Qian
Abstract:
This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function…
▽ More
This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we identify uniquely the possible subsequential limits of the loop ensembles. Combined with the second paper, this completes the proof of conformal invariance.
△ Less
Submitted 6 January, 2025; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Conformal invariance of double random currents II: tightness and properties in the discrete
Authors:
Hugo Duminil-Copin,
Marcin Lis,
Wei Qian
Abstract:
This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height fu…
▽ More
This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we derive crossing properties of the discrete model required to prove this characterization.
△ Less
Submitted 22 November, 2021; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Delocalization of the height function of the six-vertex model
Authors:
Hugo Duminil-Copin,
Alex Karrila,
Ioan Manolescu,
Mendes Oulamara
Abstract:
We show that the height function of the six-vertex model, in the parameter range $\mathbf a=\mathbf b=1$ and $\mathbf c\ge1$, is delocalized with logarithmic variance when $\mathbf c\le 2$. This complements the earlier proven localization for $\mathbf c>2$. Our proof relies on Russo--Seymour--Welsh type arguments, and on the local behaviour of the free energy of the cylindrical six-vertex model, a…
▽ More
We show that the height function of the six-vertex model, in the parameter range $\mathbf a=\mathbf b=1$ and $\mathbf c\ge1$, is delocalized with logarithmic variance when $\mathbf c\le 2$. This complements the earlier proven localization for $\mathbf c>2$. Our proof relies on Russo--Seymour--Welsh type arguments, and on the local behaviour of the free energy of the cylindrical six-vertex model, as a function of the unbalance between the number of up and down arrows.
△ Less
Submitted 2 August, 2022; v1 submitted 26 December, 2020;
originally announced December 2020.
-
On the six-vertex model's free energy
Authors:
Hugo Duminil-Copin,
Karol Kajetan Kozlowski,
Dmitry Krachun,
Ioan Manolescu,
Tatiana Tikhonovskaia
Abstract:
In this paper, we provide new proofs of the existence and the condensation of Bethe roots for the Bethe Ansatz equation associated with the six-vertex model with periodic boundary conditions and an arbitrary density of up arrows (per line) in the regime $Δ<1$. As an application, we provide a short, fully rigorous computation of the free energy of the six-vertex model on the torus, as well as an as…
▽ More
In this paper, we provide new proofs of the existence and the condensation of Bethe roots for the Bethe Ansatz equation associated with the six-vertex model with periodic boundary conditions and an arbitrary density of up arrows (per line) in the regime $Δ<1$. As an application, we provide a short, fully rigorous computation of the free energy of the six-vertex model on the torus, as well as an asymptotic expansion of the six-vertex partition functions when the density of up arrows approaches $1/2$. This latter result is at the base of a number of recent results, in particular the rigorous proof of continuity/discontinuity of the phase transition of the random-cluster model, the localization/delocalization behaviour of the six-vertex height function when $a=b=1$ and $c\ge1$, and the rotational invariance of the six-vertex model and the Fortuin-Kasteleyn percolation.
△ Less
Submitted 24 August, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Rotational invariance in critical planar lattice models
Authors:
Hugo Duminil-Copin,
Karol Kajetan Kozlowski,
Dmitry Krachun,
Ioan Manolescu,
Mendes Oulamara
Abstract:
In this paper, we prove that the large scale properties of a number of two-dimensional lattice models are rotationally invariant. More precisely, we prove that the random-cluster model on the square lattice with cluster-weight $1\le q\le 4$ exhibits rotational invariance at large scales. This covers the case of Bernoulli percolation on the square lattice as an important example. We deduce from thi…
▽ More
In this paper, we prove that the large scale properties of a number of two-dimensional lattice models are rotationally invariant. More precisely, we prove that the random-cluster model on the square lattice with cluster-weight $1\le q\le 4$ exhibits rotational invariance at large scales. This covers the case of Bernoulli percolation on the square lattice as an important example. We deduce from this result that the correlations of the Potts models with $q\in\{2,3,4\}$ colors and of the six-vertex height function with $Δ\in[-1,-1/2]$ are rotationally invariant at large scales.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Planar random-cluster model: scaling relations
Authors:
Hugo Duminil-Copin,
Ioan Manolescu
Abstract:
This paper studies the critical and near-critical regimes of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in[1,4]$ using novel coupling techniques. More precisely, we derive the scaling relations between the critical exponents $β$, $γ$, $δ$, $η$, $ν$, $ζ$ as well as $α$ (when $α\ge0$). As a key input, we show the stability of crossing probabilities in the near-critical r…
▽ More
This paper studies the critical and near-critical regimes of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in[1,4]$ using novel coupling techniques. More precisely, we derive the scaling relations between the critical exponents $β$, $γ$, $δ$, $η$, $ν$, $ζ$ as well as $α$ (when $α\ge0$). As a key input, we show the stability of crossing probabilities in the near-critical regime using new interpretations of the notion of influence of an edge in terms of the rate of mixing. As a byproduct, we derive a generalization of Kesten's classical scaling relation for Bernoulli percolation involving the ``mixing rate'' critical exponent $ι$ replacing the four-arm event exponent $ξ_4$.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
Long-range order for critical Book-Ising and Book-percolation
Authors:
Hugo Duminil-Copin,
Christophe Garban,
Vincent Tassion
Abstract:
In this paper, we investigate the behaviour of statistical physics models on a book with pages that are isomorphic to half-planes. We show that even for models undergoing a continuous phase transition on $\mathbb Z^2$, the phase transition becomes discontinuous as soon as the number of pages is sufficiently large. In particular, we prove that the Ising model on a three pages book has a discontinuo…
▽ More
In this paper, we investigate the behaviour of statistical physics models on a book with pages that are isomorphic to half-planes. We show that even for models undergoing a continuous phase transition on $\mathbb Z^2$, the phase transition becomes discontinuous as soon as the number of pages is sufficiently large. In particular, we prove that the Ising model on a three pages book has a discontinuous phase transition (if one allows oneself to consider large coupling constants along the line on which pages are glued).
Our work confirms predictions in theoretical physics which relied on renormalization group, conformal field theory and numerics ([Car91,ITB91,SMP10]) some of which were motivated by the analysis of the Renyi entropy of certain quantum spin systems.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Long-range models in 1D revisited
Authors:
Hugo Duminil-Copin,
Christophe Garban,
Vincent Tassion
Abstract:
In this short note, we revisit a number of classical result{s} on long-range 1D percolation, Ising model and Potts models [FS82, NS86, ACCN88, IN88]. More precisely, we show that for Bernoulli percolation, FK percolation and Potts models, there is symmetry breaking for the $1/r^2$-interaction at large $β$, and that the phase transition is necessarily discontinuous. We also show, following the nota…
▽ More
In this short note, we revisit a number of classical result{s} on long-range 1D percolation, Ising model and Potts models [FS82, NS86, ACCN88, IN88]. More precisely, we show that for Bernoulli percolation, FK percolation and Potts models, there is symmetry breaking for the $1/r^2$-interaction at large $β$, and that the phase transition is necessarily discontinuous. We also show, following the notation of [ACCN88] that $β^*(q)=1$ for all $q\geq 1$.
△ Less
Submitted 29 June, 2023; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Planar random-cluster model: fractal properties of the critical phase
Authors:
Hugo Duminil-Copin,
Ioan Manolescu,
Vincent Tassion
Abstract:
This paper is studying the critical regime of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in[1,4)$. More precisely, we prove crossing estimates in quads which are uniform in their boundary conditions and depend only on their extremal lengths. They imply in particular that any fractal boundary is touched by macroscopic clusters, uniformly in its roughness or the configur…
▽ More
This paper is studying the critical regime of the planar random-cluster model on $\mathbb Z^2$ with cluster-weight $q\in[1,4)$. More precisely, we prove crossing estimates in quads which are uniform in their boundary conditions and depend only on their extremal lengths. They imply in particular that any fractal boundary is touched by macroscopic clusters, uniformly in its roughness or the configuration on said boundary. Additionally, they imply that any sub-sequential scaling limit of the collection of interfaces between primal and dual clusters is made of loops that are non-simple.
We also obtain a number of properties of so-called arm-events: three universal critical exponents (two arms in the half-plane, three arms in the half-plane and five arms in the bulk), quasi-multiplicativity and well-separation properties (even when arms are not alternating between primal and dual), and the fact that the four-arm exponent is strictly smaller than 2. These results were previously known only for Bernoulli percolation ($q = 1$) and the FK-Ising model ($q = 2$).
Finally, we prove new bounds on the one, two and four arms exponents for $q\in[1,2]$. These improve the previously known bounds, even for Bernoulli percolation.
△ Less
Submitted 21 January, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Equality of critical parameters for percolation of Gaussian free field level-sets
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Pierre-François Rodriguez,
Franco Severo
Abstract:
We consider upper level-sets of the Gaussian free field on $\mathbb Z^d$, for $d\geq 3$, above a given real-valued height parameter $h$. As $h$ varies, this defines a canonical percolation model with strong, algebraically decaying correlations. We prove that three natural critical parameters associated to this model, respectively describing a well-ordered subcritical phase, the emergence of an inf…
▽ More
We consider upper level-sets of the Gaussian free field on $\mathbb Z^d$, for $d\geq 3$, above a given real-valued height parameter $h$. As $h$ varies, this defines a canonical percolation model with strong, algebraically decaying correlations. We prove that three natural critical parameters associated to this model, respectively describing a well-ordered subcritical phase, the emergence of an infinite cluster, and the onset of a local uniqueness regime in the supercritical phase, actually coincide. At the core of our proof lies a new interpolation scheme aimed at integrating out the long-range dependence of the Gaussian free field. Due to the strength of correlations, its successful implementation requires that we work in an effectively critical regime. Our analysis relies extensively on certain novel renormalization techniques that bring into play all relevant scales simultaneously. The approach in this article paves the way to a complete understanding of the off-critical phases for strongly correlated disordered systems.
△ Less
Submitted 25 June, 2024; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Dimerization and Néel order in different quantum spin chains through a shared loop representation
Authors:
Michael Aizenman,
Hugo Duminil-Copin,
Simone Warzel
Abstract:
The ground states of the spin-$ S $ antiferromagnetic chain $H_\textrm{AF}$ with a projection-based interaction and the spin-$ 1/2$ XXZ-chain $ H_\textrm{XXZ} $ at anisotropy parameter $Δ=\cosh(λ) $ share a common loop representation in terms of a two-dimensional functional integral which is similar to the classical planar $Q$-state Potts model at $ \sqrt Q= 2S+1 =2\cosh(λ)$. The multifaceted rela…
▽ More
The ground states of the spin-$ S $ antiferromagnetic chain $H_\textrm{AF}$ with a projection-based interaction and the spin-$ 1/2$ XXZ-chain $ H_\textrm{XXZ} $ at anisotropy parameter $Δ=\cosh(λ) $ share a common loop representation in terms of a two-dimensional functional integral which is similar to the classical planar $Q$-state Potts model at $ \sqrt Q= 2S+1 =2\cosh(λ)$. The multifaceted relation is used here to directly relate the distinct forms of translation symmetry breaking which are manifested in the ground states of these two models: dimerization for $H_\textrm{AF}$ at all $S> 1/2$, and Néel order for $ H_\textrm{XXZ} $ at $λ>0$. The results presented include: i) a translation to the above quantum spin systems of the results which were recently proven by Duminil-Copin-Li-Manolescu for a broad class of two-dimensional random-cluster models, and ii) a short proof of the symmetry breaking in a manner similar to the recent structural proof by Ray-Spinka of the discontinuity of the phase transition for $Q>4$. Altogether, the quantum manifestation of the change between $Q=4$ and $Q>4$ is a transition from a gapless ground state to a pair of gapped and extensively distinct ground states.
△ Less
Submitted 12 June, 2020; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Marginal triviality of the scaling limits of critical 4D Ising and $φ_4^4$ models
Authors:
Michael Aizenman,
Hugo Duminil-Copin
Abstract:
We prove that the scaling limits of spin fluctuations in four-dimensional Ising-type models with nearest-neighbor ferromagnetic interaction at or near the critical point are Gaussian. A similar statement is proven for the $λφ^4$ fields over $\mathbb{R}^4$ with a lattice ultraviolet cutoff, in the limit of infinite volume and vanishing lattice spacing. The proofs are enabled by the models' random c…
▽ More
We prove that the scaling limits of spin fluctuations in four-dimensional Ising-type models with nearest-neighbor ferromagnetic interaction at or near the critical point are Gaussian. A similar statement is proven for the $λφ^4$ fields over $\mathbb{R}^4$ with a lattice ultraviolet cutoff, in the limit of infinite volume and vanishing lattice spacing. The proofs are enabled by the models' random current representation, in which the correlation functions' deviation from Wick's law is expressed in terms of intersection probabilities of random currents with sources at distances which are large on the model's lattice scale. Guided by the analogy with random walk intersection amplitudes, the analysis focuses on the improvement of the so-called tree diagram bound by a logarithmic correction term, which is derived here through multi-scale analysis.
△ Less
Submitted 17 June, 2021; v1 submitted 17 December, 2019;
originally announced December 2019.
-
Logarithmic variance for the height function of square-ice
Authors:
Hugo Duminil-Copin,
Matan Harel,
Benoit Laslier,
Aran Raoufi,
Gourab Ray
Abstract:
In this article, we prove that the height function associated with the square-ice model (i.e.~the six-vertex model with $a=b=c=1$ on the square lattice), or, equivalently, of the uniform random homomorphisms from $\mathbb Z^2$ to $\mathbb Z$, has logarithmic variance. This establishes a strong form of roughness of this height function.
In this article, we prove that the height function associated with the square-ice model (i.e.~the six-vertex model with $a=b=c=1$ on the square lattice), or, equivalently, of the uniform random homomorphisms from $\mathbb Z^2$ to $\mathbb Z$, has logarithmic variance. This establishes a strong form of roughness of this height function.
△ Less
Submitted 31 January, 2022; v1 submitted 31 October, 2019;
originally announced November 2019.
-
Upper bounds on the percolation correlation length
Authors:
Hugo Duminil-Copin,
Gady Kozma,
Vincent Tassion
Abstract:
We study the size of the near-critical window for Bernoulli percolation on $\mathbb Z^d$. More precisely, we use a quantitative Grimmett-Marstrand theorem to prove that the correlation length, both below and above criticality, is bounded from above by $\exp(C/|p-p_c|^2)$. Improving on this bound would be a further step towards the conjecture that there is no infinite cluster at criticality on…
▽ More
We study the size of the near-critical window for Bernoulli percolation on $\mathbb Z^d$. More precisely, we use a quantitative Grimmett-Marstrand theorem to prove that the correlation length, both below and above criticality, is bounded from above by $\exp(C/|p-p_c|^2)$. Improving on this bound would be a further step towards the conjecture that there is no infinite cluster at criticality on $\mathbb Z^d$ for every $d\ge2$.
△ Less
Submitted 6 February, 2020; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Renormalization of crossing probabilities in the planar random-cluster model
Authors:
Hugo Duminil-Copin,
Vincent Tassion
Abstract:
The study of crossing probabilities - i.e. probabilities of existence of paths crossing rectangles - has been at the heart of the theory of two-dimensional percolation since its beginning. They may be used to prove a number of results on the model, including speed of mixing, tails of decay of the connectivity probabilities, scaling relations, etc. In this article, we develop a renormalization sche…
▽ More
The study of crossing probabilities - i.e. probabilities of existence of paths crossing rectangles - has been at the heart of the theory of two-dimensional percolation since its beginning. They may be used to prove a number of results on the model, including speed of mixing, tails of decay of the connectivity probabilities, scaling relations, etc. In this article, we develop a renormalization scheme for crossing probabilities in the two-dimensional random-cluster model. The outcome of the process is a precise description of an alternative between four behaviors:
- Subcritical: Crossing probabilities, even with favorable boundary conditions, converge exponentially fast to 0.
- Supercritical: Crossing probabilities, even with unfavorable boundary conditions, converge exponentially fast to 1.
- Critical discontinuous: Crossing probabilities converge to 0 exponentially fast with unfavorable boundary conditions and to 1 with favorable boundary conditions.
- Critical continuous: Crossing probabilities remain bounded away from 0 and 1 uniformly in the boundary conditions.
The approach does not rely on self-duality, enabling it to apply in a much larger generality, including the random-cluster model on arbitrary graphs with sufficient symmetry, but also other models like certain random height models.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Sharp threshold phenomena in statistical physics
Authors:
Hugo Duminil-Copin
Abstract:
This text describes the content of the Takagi lectures given by the author in Kyoto in 2017. The lectures present some aspects of the theory of sharp thresholds for boolean functions and its application to the study of phase transitions in statistical physics.
This text describes the content of the Takagi lectures given by the author in Kyoto in 2017. The lectures present some aspects of the theory of sharp thresholds for boolean functions and its application to the study of phase transitions in statistical physics.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Bounding the number of self-avoiding walks: Hammersley-Welsh with polygon insertion
Authors:
Hugo Duminil-Copin,
Shirshendu Ganguly,
Alan Hammond,
Ioan Manolescu
Abstract:
Let $c_n = c_n(d)$ denote the number of self-avoiding walks of length $n$ starting at the origin in the Euclidean nearest-neighbour lattice $\mathbb{Z}^d$. Let $μ= \lim_n c_n^{1/n}$ denote the connective constant of $\mathbb{Z}^d$. In 1962, Hammersley and Welsh [HW62] proved that, for each $d \geq 2$, there exists a constant $C > 0$ such that $c_n \leq \exp(C n^{1/2}) μ^n$ for all…
▽ More
Let $c_n = c_n(d)$ denote the number of self-avoiding walks of length $n$ starting at the origin in the Euclidean nearest-neighbour lattice $\mathbb{Z}^d$. Let $μ= \lim_n c_n^{1/n}$ denote the connective constant of $\mathbb{Z}^d$. In 1962, Hammersley and Welsh [HW62] proved that, for each $d \geq 2$, there exists a constant $C > 0$ such that $c_n \leq \exp(C n^{1/2}) μ^n$ for all $n \in \mathbb{N}$. While it is anticipated that $c_n μ^{-n}$ has a power-law growth in $n$, the best known upper bound in dimension two has remained of the form $n^{1/2}$ inside the exponential.
The natural first improvement to demand for a given planar lattice is a bound of the form $c_n \leq \exp (C n^{1/2 - ε})μ^n$, where $μ$ denotes the connective constant of the lattice in question. We derive a bound of this form for two such lattices, for an explicit choice of $ε> 0$ in each case. For the hexagonal lattice $\mathbb{H}$, the bound is proved for all $n \in \mathbb{N}$; while for the Euclidean lattice $\mathbb{Z}^2$, it is proved for a set of $n \in \mathbb{N}$ of limit supremum density equal to one.
A power-law upper bound on $c_n μ^{-n}$ for $\mathbb{H}$ is also proved, contingent on a non-quantitative assertion concerning this lattice's connective constant.
△ Less
Submitted 12 June, 2019; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Exponential decay of truncated correlations for the Ising model in any dimension for all but the critical temperature
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Aran Raoufi
Abstract:
The truncated two-point function of the ferromagnetic Ising model on $\mathbb Z^d$ ($d\ge3$) in its pure phases is proven to decay exponentially fast throughout the ordered regime ($β>β_c$ and $h=0$). Together with the previously known results, this implies that the exponential clustering property holds throughout the model's phase diagram except for the critical point: $(β,h) = (β_c,0)$.
The truncated two-point function of the ferromagnetic Ising model on $\mathbb Z^d$ ($d\ge3$) in its pure phases is proven to decay exponentially fast throughout the ordered regime ($β>β_c$ and $h=0$). Together with the previously known results, this implies that the exponential clustering property holds throughout the model's phase diagram except for the critical point: $(β,h) = (β_c,0)$.
△ Less
Submitted 7 October, 2019; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Existence of phase transition for percolation using the Gaussian Free Field
Authors:
Hugo Duminil-Copin,
Subhajit Goswami,
Aran Raoufi,
Franco Severo,
Ariel Yadin
Abstract:
In this paper, we prove that Bernoulli percolation on bounded degree graphs with isoperimetric dimension $d>4$ undergoes a non-trivial phase transition (in the sense that $p_c<1$). As a corollary, we obtain that the critical point of Bernoulli percolation on infinite quasi-transitive graphs (in particular, Cayley graphs) with super-linear growth is strictly smaller than 1, thus answering a conject…
▽ More
In this paper, we prove that Bernoulli percolation on bounded degree graphs with isoperimetric dimension $d>4$ undergoes a non-trivial phase transition (in the sense that $p_c<1$). As a corollary, we obtain that the critical point of Bernoulli percolation on infinite quasi-transitive graphs (in particular, Cayley graphs) with super-linear growth is strictly smaller than 1, thus answering a conjecture of Benjamini and Schramm. The proof relies on a new technique consisting in expressing certain functionals of the Gaussian Free Field (GFF) in terms of connectivity probabilities for percolation model in a random environment. Then, we integrate out the randomness in the edge-parameters using a multi-scale decomposition of the GFF. We believe that a similar strategy could lead to proofs of the existence of a phase transition for various other models.
△ Less
Submitted 19 October, 2020; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Subcritical phase of $d$-dimensional Poisson-Boolean percolation and its vacant set
Authors:
Hugo Duminil-Copin,
Aran Raoufi,
Vincent Tassion
Abstract:
We prove that the Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a $5d-3$ finite moment (in particular we do not assume that the distribution is bounded). More precisely, we prove that:
-In the whole subcritical regime, the expected size of the cluster of the origin is finite, and furthermore…
▽ More
We prove that the Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a $5d-3$ finite moment (in particular we do not assume that the distribution is bounded). More precisely, we prove that:
-In the whole subcritical regime, the expected size of the cluster of the origin is finite, and furthermore we obtain bounds for the origin to be connected to distance $n$: when the radius distribution has a finite exponential moment, the probability decays exponentially fast in $n$, and when the radius distribution has heavy tails, the probability is equivalent to the probability that the origin is covered by a ball going to distance $n$.
- In the supercritical regime, it is proved that the probability of the origin being connected to infinity satisfies a mean-field lower bound.
The same proof carries on to conclude that the vacant set of Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition. This paper belongs to a series of papers using the theory of randomized algorithms to prove sharpness of phase transitions.
△ Less
Submitted 4 November, 2018; v1 submitted 2 May, 2018;
originally announced May 2018.
-
On the number of maximal paths in directed last-passage percolation
Authors:
Hugo Duminil-Copin,
Harry Kesten,
Fedor Nazarov,
Yuval Peres,
Vladas Sidoravicius
Abstract:
We show that the number of maximal paths in directed last-passage percolation on the hypercubic lattice ${\mathbb Z}^d$ $(d\geq2)$ in which weights take finitely many values is typically exponentially large.
We show that the number of maximal paths in directed last-passage percolation on the hypercubic lattice ${\mathbb Z}^d$ $(d\geq2)$ in which weights take finitely many values is typically exponentially large.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
Emergent Planarity in two-dimensional Ising Models with finite-range Interactions
Authors:
Michael Aizenman,
Hugo Duminil-Copin,
Vincent Tassion,
Simone Warzel
Abstract:
The known Pfaffian structure of the boundary spin correlations, and more generally order-disorder correlation functions, is given a new explanation through simple topological considerations within the model's random current representation. This perspective is then employed in the proof that the Pfaffian structure of boundary correlations emerges asymptotically at criticality in Ising models on…
▽ More
The known Pfaffian structure of the boundary spin correlations, and more generally order-disorder correlation functions, is given a new explanation through simple topological considerations within the model's random current representation. This perspective is then employed in the proof that the Pfaffian structure of boundary correlations emerges asymptotically at criticality in Ising models on $\mathbb Z^2$ with finite-range interactions. The analysis is enabled by new results on the stochastic geometry of the corresponding random currents. The proven statement establishes an aspect of universality, seen here in the emergence of fermionic structures in two dimensions beyond the solvable cases.
△ Less
Submitted 5 March, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Sixty years of percolation
Authors:
Hugo Duminil-Copin
Abstract:
Percolation models describe the inside of a porous material. The theory emerged timidly in the middle of the twentieth century before becoming one of the major objects of interest in probability and mathematical physics. The golden age of percolation is probably the eighties, during which most of the major results were obtained for the most classical of these models, named Bernoulli percolation, b…
▽ More
Percolation models describe the inside of a porous material. The theory emerged timidly in the middle of the twentieth century before becoming one of the major objects of interest in probability and mathematical physics. The golden age of percolation is probably the eighties, during which most of the major results were obtained for the most classical of these models, named Bernoulli percolation, but it is really the two following decades which put percolation theory at the crossroad of several domains of mathematics. In this short (and very partial) review, we propose to describe briefly some of the recent progress as well as some famous challenges remaining in the field. This review is not intended to probabilists (and a fortiori not to specialists in percolation theory): the target audience is mathematicians of all kinds.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
On the double random current nesting field
Authors:
Hugo Duminil-Copin,
Marcin Lis
Abstract:
We relate the planar random current representation introduced by Griffiths, Hurst and Sherman to the dimer model. More precisely, we provide a measure-preserving map between double random currents (obtained as the sum of two independent random currents) on a planar graph and dimers on an associated bipartite graph. We also construct a nesting field for the double random current, which, under this…
▽ More
We relate the planar random current representation introduced by Griffiths, Hurst and Sherman to the dimer model. More precisely, we provide a measure-preserving map between double random currents (obtained as the sum of two independent random currents) on a planar graph and dimers on an associated bipartite graph. We also construct a nesting field for the double random current, which, under this map, corresponds to the height function of the dimer model. As applications, we provide an alternative derivation of some of the bozonization rules obtained recently by Dubédat, and show that the spontaneous magnetization of the Ising model on a planar biperiodic graph vanishes at criticality.
△ Less
Submitted 20 March, 2019; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Universality for the random-cluster model on isoradial graphs
Authors:
Hugo Duminil-Copin,
Jhih-Huang Li,
Ioan Manolescu
Abstract:
We show that the canonical random-cluster measure associated to isoradial graphs is critical for all $q \geq 1$. Additionally, we prove that the phase transition of the model is of the same type on all isoradial graphs: continuous for $1 \leq q \leq 4$ and discontinuous for $q > 4$. For $1 \leq q \leq 4$, the arm exponents (assuming their existence) are shown to be the same for all isoradial graph…
▽ More
We show that the canonical random-cluster measure associated to isoradial graphs is critical for all $q \geq 1$. Additionally, we prove that the phase transition of the model is of the same type on all isoradial graphs: continuous for $1 \leq q \leq 4$ and discontinuous for $q > 4$. For $1 \leq q \leq 4$, the arm exponents (assuming their existence) are shown to be the same for all isoradial graphs. In particular, these properties also hold on the triangular and hexagonal lattices. Our results also include the limiting case of quantum random-cluster models in $1+1$ dimensions.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Macroscopic loops in the loop $O(n)$ model at Nienhuis' critical point
Authors:
Hugo Duminil-Copin,
Alexander Glazman,
Ron Peled,
Yinon Spinka
Abstract:
The loop $O(n)$ model is a model for a random collection of non-intersecting loops on the hexagonal lattice, which is believed to be in the same universality class as the spin $O(n)$ model. It has been predicted by Nienhuis that for $0\le n\le 2$ the loop $O(n)$ model exhibits a phase transition at a critical parameter $x_c(n)=\tfrac{1}{\sqrt{2+\sqrt{2-n}}}$. For $0<n\le 2$, the transition line ha…
▽ More
The loop $O(n)$ model is a model for a random collection of non-intersecting loops on the hexagonal lattice, which is believed to be in the same universality class as the spin $O(n)$ model. It has been predicted by Nienhuis that for $0\le n\le 2$ the loop $O(n)$ model exhibits a phase transition at a critical parameter $x_c(n)=\tfrac{1}{\sqrt{2+\sqrt{2-n}}}$. For $0<n\le 2$, the transition line has been further conjectured to separate a regime with short loops when $x<x_c(n)$ from a regime with macroscopic loops when $x\ge x_c(n)$.
In this paper, we prove that for $n\in [1,2]$ and $x=x_c(n)$ the loop $O(n)$ model exhibits macroscopic loops. This is the first instance in which a loop $O(n)$ model with $n\neq 1$ is shown to exhibit such behaviour. A main tool in the proof is a new positive association (FKG) property shown to hold when $n \ge 1$ and $0<x\le\frac{1}{\sqrt{n}}$. This property implies, using techniques recently developed for the random-cluster model, the following dichotomy: either long loops are exponentially unlikely or the origin is surrounded by loops at any scale (box-crossing property). We develop a 'domain gluing' technique which allows us to employ Smirnov's parafermionic observable to rule out the first alternative when $x=x_c(n)$ and $n\in[1,2]$.
△ Less
Submitted 22 April, 2020; v1 submitted 28 July, 2017;
originally announced July 2017.
-
A note on Schramm's locality conjecture for random-cluster models
Authors:
Hugo Duminil-Copin,
Vincent Tassion
Abstract:
In this note, we discuss a generalization of Schramm's locality conjecture to the case of random-cluster models. We give some partial (modest) answers, and present several related open questions. Our main result is to show that the critical inverse temperature of the Potts model on $\mathbb Z^r\times(\mathbb Z/2n\mathbb Z)^{d-r}$ (with $r\ge3$) converges to the critical inverse temperature of the…
▽ More
In this note, we discuss a generalization of Schramm's locality conjecture to the case of random-cluster models. We give some partial (modest) answers, and present several related open questions. Our main result is to show that the critical inverse temperature of the Potts model on $\mathbb Z^r\times(\mathbb Z/2n\mathbb Z)^{d-r}$ (with $r\ge3$) converges to the critical inverse temperature of the model on $\mathbb Z^d$ as $n$ tends to infinity. Our proof relies on the infrared bound and, contrary to the corresponding statement for Bernoulli percolation, does not involve renormalization arguments.
△ Less
Submitted 30 August, 2017; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Internal Diffusion-Limited aggregation with uniform starting points
Authors:
Itai Benjamini,
Hugo Duminil-Copin,
Gady Kozma,
Cyrille Lucas
Abstract:
We study internal diffusion-limited aggregation with random starting points on Z^d. In this model, each new particle starts from a vertex chosen uniformly at random on the existing aggregate. We prove that the limiting shape of the aggregate is a Euclidean ball.
We study internal diffusion-limited aggregation with random starting points on Z^d. In this model, each new particle starts from a vertex chosen uniformly at random on the existing aggregate. We prove that the limiting shape of the aggregate is a Euclidean ball.
△ Less
Submitted 6 October, 2021; v1 submitted 11 July, 2017;
originally announced July 2017.
-
Lectures on the Ising and Potts models on the hypercubic lattice
Authors:
Hugo Duminil-Copin
Abstract:
Phase transitions are a central theme of statistical mechanics, and of probability more generally. Lattice spin models represent a general paradigm for phase transitions in finite dimensions, describing ferromagnets and even some fluids (lattice gases). It has been understood since the 1980s that random geometric representations, such as the random walk and random current representations, are powe…
▽ More
Phase transitions are a central theme of statistical mechanics, and of probability more generally. Lattice spin models represent a general paradigm for phase transitions in finite dimensions, describing ferromagnets and even some fluids (lattice gases). It has been understood since the 1980s that random geometric representations, such as the random walk and random current representations, are powerful tools to understand spin models. In addition to techniques intrinsic to spin models, such representations provide access to rich ideas from percolation theory. In recent years, for two-dimensional spin models, these ideas have been further combined with ideas from discrete complex analysis. Spectacular results obtained through these connections include the proofs that interfaces of the two-dimensional Ising model have conformally invariant scaling limits given by SLE curves, that the connective constant of the self-avoiding walk on the hexagonal lattice is given by $\sqrt{2+\sqrt 2}$. In higher dimensions, the understanding also progresses with the proof that the phase transition of Potts models is sharp, and that the magnetization of the three-dimensional Ising model vanishes at the critical point.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
-
Exponential decay of connection probabilities for subcritical Voronoi percolation in $\mathbb{R}^d$
Authors:
Hugo Duminil-Copin,
Aran Raoufi,
Vincent Tassion
Abstract:
We prove that for Voronoi percolation on $\mathbb{R}^d$, there exists $p_c\in[0,1]$ such that
- for $p<p_c$, there exists $c_p>0$ such that $\mathbb{P}_p[0\text{ connected to distance }n]\leq \exp(-c_p n)$,
- there exists $c>0$ such that for $p>p_c$, $\mathbb{P}_p[0\text{ connected to }\infty]\geq c(p-p_c)$.
For dimension 2, this result offers a new way of showing that $p_c(2)=1/2$. This pap…
▽ More
We prove that for Voronoi percolation on $\mathbb{R}^d$, there exists $p_c\in[0,1]$ such that
- for $p<p_c$, there exists $c_p>0$ such that $\mathbb{P}_p[0\text{ connected to distance }n]\leq \exp(-c_p n)$,
- there exists $c>0$ such that for $p>p_c$, $\mathbb{P}_p[0\text{ connected to }\infty]\geq c(p-p_c)$.
For dimension 2, this result offers a new way of showing that $p_c(2)=1/2$. This paper belongs to a series of papers using the theory of algorithms to prove sharpness of the phase transition.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Sharp phase transition for the random-cluster and Potts models via decision trees
Authors:
Hugo Duminil-Copin,
Aran Raoufi,
Vincent Tassion
Abstract:
We prove an inequality on decision trees on monotonic measures which generalizes the OSSS inequality on product spaces. As an application, we use this inequality to prove a number of new results on lattice spin models and their random-cluster representations. More precisely, we prove that
1. For the Potts model on transitive graphs, correlations decay exponentially fast for $β<β_c$.
2. For the…
▽ More
We prove an inequality on decision trees on monotonic measures which generalizes the OSSS inequality on product spaces. As an application, we use this inequality to prove a number of new results on lattice spin models and their random-cluster representations. More precisely, we prove that
1. For the Potts model on transitive graphs, correlations decay exponentially fast for $β<β_c$.
2. For the random-cluster model with cluster weight $q\geq1$ on transitive graphs, correlations decay exponentially fast in the subcritical regime and the cluster-density satisfies the mean-field lower bound in the supercritical regime.
3. For the random-cluster models with cluster weight $q\geq1$ on planar quasi-transitive graphs $\mathbb{G}$,
$$\frac{p_c(\mathbb{G})p_c(\mathbb{G}^*)}{(1-p_c(\mathbb{G}))(1-p_c(\mathbb{G}^*))}~=~q.$$ As a special case, we obtain the value of the critical point for the square, triangular and hexagonal lattices (this provides a short proof of the result of Beffara and Duminil-Copin [Probability Theory and Related Fields, 153(3-4):511--542, 2012]).
These results have many applications for the understanding of the subcritical (respectively disordered) phase of all these models. The techniques developed in this paper have potential to be extended to a wide class of models including the Ashkin-Teller model, continuum percolation models such as Voronoi percolation and Boolean percolation, super-level sets of massive Gaussian Free Field, and random-cluster and Potts model with infinite range interactions.
△ Less
Submitted 23 December, 2018; v1 submitted 8 May, 2017;
originally announced May 2017.
-
The Bethe ansatz for the six-vertex and XXZ models: an exposition
Authors:
Hugo Duminil-Copin,
Maxime Gagnebin,
Matan Harel,
Ioan Manolescu,
Vincent Tassion
Abstract:
In this paper, we review a few known facts on the coordinate Bethe ansatz. We present a detailed construction of the Bethe ansatz vector $ψ$ and energy $Λ$, which satisfy $V ψ= Λψ$, where $V$ is the the transfer matrix of the six-vertex model on a finite square lattice with periodic boundary conditions for weights $a= b=1$ and $c > 0$. We also show that the same vector $ψ$ satisfies $H ψ= E ψ$, wh…
▽ More
In this paper, we review a few known facts on the coordinate Bethe ansatz. We present a detailed construction of the Bethe ansatz vector $ψ$ and energy $Λ$, which satisfy $V ψ= Λψ$, where $V$ is the the transfer matrix of the six-vertex model on a finite square lattice with periodic boundary conditions for weights $a= b=1$ and $c > 0$. We also show that the same vector $ψ$ satisfies $H ψ= E ψ$, where $H$ is the Hamiltonian of the XXZ model (which is the model for which the Bethe ansatz was first developed), with a value $E$ computed explicitly.
Variants of this approach have become central techniques for the study of exactly solvable statistical mechanics models in both the physics and mathematics communities. Our aim in this paper is to provide a pedagogically-minded exposition of this construction, aimed at a mathematical audience. It also provides the opportunity to introduce the notation and framework which will be used in a subsequent paper by the authors that amounts to proving that the random cluster model on $\mathbb{Z}^2$ with cluster weight $q >4$ exhibits a first-order phase transition.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Discontinuity of the phase transition for the planar random-cluster and Potts models with $q>4$
Authors:
Hugo Duminil-Copin,
Maxime Gagnebin,
Matan Harel,
Ioan Manolescu,
Vincent Tassion
Abstract:
We prove that the $q$-state Potts model and the random-cluster model with cluster weight $q>4$ undergo a discontinuous phase transition on the square lattice. More precisely, we show
- Existence of multiple infinite-volume measures for the critical Potts and random-cluster models,
- Ordering for the measures with monochromatic (resp. wired) boundary conditions for the critical Potts model (res…
▽ More
We prove that the $q$-state Potts model and the random-cluster model with cluster weight $q>4$ undergo a discontinuous phase transition on the square lattice. More precisely, we show
- Existence of multiple infinite-volume measures for the critical Potts and random-cluster models,
- Ordering for the measures with monochromatic (resp. wired) boundary conditions for the critical Potts model (resp. random-cluster model), and
- Exponential decay of correlations for the measure with free boundary conditions for both the critical Potts and random-cluster models.
The proof is based on a rigorous computation of the Perron-Frobenius eigenvalues of the diagonal blocks of the transfer matrix of the six-vertex model, whose ratios are then related to the correlation length of the random-cluster model.
As a byproduct, we rigorously compute the correlation lengths of the critical random-cluster and Potts models, and show that they behave as $\exp(π^2/\sqrt{q-4})$ as $q$ tends to 4.
△ Less
Submitted 5 September, 2017; v1 submitted 29 November, 2016;
originally announced November 2016.
-
Higher order corrections for anisotropic bootstrap percolation
Authors:
Hugo Duminil-Copin,
Aernout C. D. van Enter,
Tim Hulshof
Abstract:
We study the critical probability for the metastable phase transition of the two-dimensional anisotropic bootstrap percolation model with $(1,2)$-neighbourhood and threshold $r = 3$. The first order asymptotics for the critical probability were recently determined by the first and second authors. Here we determine the following sharp second and third order asymptotics: \[
p_c\big( [L]^2,\mathcal…
▽ More
We study the critical probability for the metastable phase transition of the two-dimensional anisotropic bootstrap percolation model with $(1,2)$-neighbourhood and threshold $r = 3$. The first order asymptotics for the critical probability were recently determined by the first and second authors. Here we determine the following sharp second and third order asymptotics: \[
p_c\big( [L]^2,\mathcal{N}_{(1,2)},3 \big) \; = \; \frac{(\log \log L)^2}{12\log L} \, - \, \frac{\log \log L \, \log \log \log L}{ 3\log L}
+ \frac{\left(\log \frac{9}{2} + 1 \pm o(1) \right)\log \log L}{6\log L}. \] We note that the second and third order terms are so large that the first order asymptotics fail to approximate $p_c$ even for lattices of size well beyond $10^{10^{1000}}$.
△ Less
Submitted 9 October, 2017; v1 submitted 10 November, 2016;
originally announced November 2016.
-
The box-crossing property for critical two-dimensional oriented percolation
Authors:
Hugo Duminil-Copin,
Vincent Tassion,
Augusto Teixeira
Abstract:
We consider critical oriented Bernoulli percolation on the square lattice $\mathbb{Z}^2$. We prove a Russo-Seymour-Welsh type result which allows us to derive several new results concerning the critical behavior:
- We establish that the probability that the origin is connected to distance $n$ decays polynomially fast in $n$.
- We prove that the critical cluster of the origin conditioned to sur…
▽ More
We consider critical oriented Bernoulli percolation on the square lattice $\mathbb{Z}^2$. We prove a Russo-Seymour-Welsh type result which allows us to derive several new results concerning the critical behavior:
- We establish that the probability that the origin is connected to distance $n$ decays polynomially fast in $n$.
- We prove that the critical cluster of the origin conditioned to survive to distance $n$ has a typical width $w_n$ satisfying $εn^{2/5} < w_n < n^{1-ε}$ for some $ε> 0$. The sub-linear polynomial fluctuations contrast with the supercritical regime where $w_n$ is known to behave linearly in $n$. It is also different from the critical picture obtained for non-oriented Bernoulli percolation, in which the scaling limit is non-degenerate in both directions. All our results extend to the graphical representation of the one-dimensional contact process.
△ Less
Submitted 31 October, 2016;
originally announced October 2016.
-
Brochette percolation
Authors:
Hugo Duminil-Copin,
Marcelo R. Hilario,
Gady Kozma,
Vladas Sidoravicius
Abstract:
We study bond percolation on the square lattice with one-dimensional inhomogeneities. Inhomogeneities are introduced in the following way: A vertical column on the square lattice is the set of vertical edges that project to the same vertex on $\mathbb{Z}$. Select vertical columns at random independently with a given positive probability. Keep (respectively remove) vertical edges in the selected co…
▽ More
We study bond percolation on the square lattice with one-dimensional inhomogeneities. Inhomogeneities are introduced in the following way: A vertical column on the square lattice is the set of vertical edges that project to the same vertex on $\mathbb{Z}$. Select vertical columns at random independently with a given positive probability. Keep (respectively remove) vertical edges in the selected columns, with probability $p$, (respectively $1-p$). All horizontal edges and vertical edges lying in unselected columns are kept (respectively removed) with probability $q$, (respectively $1-q$). We show that, if $p > p_c(\mathbb{Z}^2)$ (the critical point for homogeneous Bernoulli bond percolation) then $q$ can be taken strictly smaller then $p_c(\mathbb{Z}^2)$ in such a way that the probability that the origin percolates is still positive.
△ Less
Submitted 20 April, 2017; v1 submitted 17 August, 2016;
originally announced August 2016.
-
Random currents expansion of the Ising model
Authors:
Hugo Duminil-Copin
Abstract:
Critical behavior at an order/disorder phase transition has been a central object of interest in statistical physics. In the past century, techniques borrowed from many different fields of mathematics (Algebra, Combinatorics, Probability, Complex Analysis, Spectral Theory, etc) have contributed to a more and more elaborate description of the possible critical behaviors for a large variety of model…
▽ More
Critical behavior at an order/disorder phase transition has been a central object of interest in statistical physics. In the past century, techniques borrowed from many different fields of mathematics (Algebra, Combinatorics, Probability, Complex Analysis, Spectral Theory, etc) have contributed to a more and more elaborate description of the possible critical behaviors for a large variety of models. The Ising model is maybe one of the most striking success of this cross-fertilization, for this model of ferromagnetism is now very well understood both physically and mathematically. In this article, we review an approach, initiated in \cite{GriHurShe70,Aiz82} and based on the notion of random currents, enabling a deep study of the model.
△ Less
Submitted 14 July, 2017; v1 submitted 23 July, 2016;
originally announced July 2016.
-
Minimal growth harmonic functions on lamplighter groups
Authors:
Itai Benjamini,
Hugo Duminil-Copin,
Gady Kozma,
Ariel Yadin
Abstract:
We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts…
▽ More
We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
A new computation of the critical point for the planar random-cluster model with $q\ge1$
Authors:
Hugo Duminil-Copin,
Aran Raoufi,
Vincent Tassion
Abstract:
We present a new computation of the critical value of the random-cluster model with cluster weight $q\ge 1$ on $\mathbb{Z}^2$. This provides an alternative approach to the result of Beffara and Duminil-Copin. We believe that this approach has several advantages. First, most of the proof can easily be extended to other planar graphs with sufficient symmetries. Furthermore, it invokes RSW-type argum…
▽ More
We present a new computation of the critical value of the random-cluster model with cluster weight $q\ge 1$ on $\mathbb{Z}^2$. This provides an alternative approach to the result of Beffara and Duminil-Copin. We believe that this approach has several advantages. First, most of the proof can easily be extended to other planar graphs with sufficient symmetries. Furthermore, it invokes RSW-type arguments which are not based on self-duality. And finally, it contains a new way of applying sharp threshold results which avoid the use of symmetric events and periodic boundary conditions.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.
-
The sharp threshold for the Duarte model
Authors:
Béla Bollobás,
Hugo Duminil-Copin,
Robert Morris,
Paul Smith
Abstract:
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a…
▽ More
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.
△ Less
Submitted 10 October, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.