-
Uniqueness and CLT for the Ground State of the Disordered Monomer-Dimer Model on $\mathbb{Z}^{d}$
Authors:
Kesav Krishnan,
Gourab Ray
Abstract:
We prove that the disordered monomer-dimer model does not admit infinite volume incongruent ground states in $\mathbb{Z}^d$ which can be obtained as a limit of finite volume ground states. Furthermore, we also prove that these ground states are stable under perturbation of the weights in a precise sense.
As an application, we obtain a CLT for the ground state weight for a growing sequence of tor…
▽ More
We prove that the disordered monomer-dimer model does not admit infinite volume incongruent ground states in $\mathbb{Z}^d$ which can be obtained as a limit of finite volume ground states. Furthermore, we also prove that these ground states are stable under perturbation of the weights in a precise sense.
As an application, we obtain a CLT for the ground state weight for a growing sequence of tori. Our motivation stems from a similar and long standing open question for the short range Edwards-Anderson spin glass model.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Double dimers on planar hyperbolic graphs via circle packings
Authors:
Gourab Ray
Abstract:
In this article we study the double dimer model on hyperbolic Temperleyan graphs via circle packings. We prove that on such graphs, the weak limit of the dimer model exists if and only if the removed black vertex from the boundary of the exhaustion converges to a point on the unit circle in the circle packing representation of the graph. One of our main results is that for such measures, we prove…
▽ More
In this article we study the double dimer model on hyperbolic Temperleyan graphs via circle packings. We prove that on such graphs, the weak limit of the dimer model exists if and only if the removed black vertex from the boundary of the exhaustion converges to a point on the unit circle in the circle packing representation of the graph. One of our main results is that for such measures, we prove that the double dimer model has no bi-infinite path almost surely. Along the way we prove that the height function of the dimer model has double exponential tail and faces of height larger than k do not percolate for large enough k. The proof uses the connection between winding of uniform spanning trees and dimer heights, the notion of stationary random graphs, and the boundary theory of random walk on circle packings.
△ Less
Submitted 27 June, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
Characterizations of amenability through stochastic domination and finitary codings
Authors:
Gourab Ray,
Yinon Spinka
Abstract:
We establish new characterizations of amenability of graphs through two probabilistic notions: stochastic domination and finitary codings (also called finitary factors).
On the stochastic domination side, we show that the plus state of the Ising model at very low temperature stochastically dominates a high density Bernoulli percolation if and only if the underlying graph is nonamenable. This ans…
▽ More
We establish new characterizations of amenability of graphs through two probabilistic notions: stochastic domination and finitary codings (also called finitary factors).
On the stochastic domination side, we show that the plus state of the Ising model at very low temperature stochastically dominates a high density Bernoulli percolation if and only if the underlying graph is nonamenable. This answers a question of Liggett and Steif. We prove a similar result for the ``infinite cluster process'' of Bernoulli percolation, which is of particular interest as this process is not monotone and does not possess any nice form of the domain Markov property. We also prove that the plus states of the Ising model at very low temperatures are stochastically ordered if and only if the graph is nonamenable. This answers a second question of Liggett and Steif. We further show that these stochastic domination results can be witnessed by invariant monotone couplings.
On the finitary coding side, we show that the plus state of the Ising model at very low temperature is a finitary factor of an i.i.d. process if and only if the underlying graph is nonamenable (assuming it supports a phase transition). We show a similar result for the infinite cluster process of a high-density Bernoulli percolation.
A main technique is to consider diluted processes, for which Holley's condition can be established. In order to compare two Ising models, we apply a dilution mechanism using lattice gas theory. Along the way we develop general tools to establish invariant domination when Holley's condition is satisfied. The finitary factor results are based on the stochastic domination results and a dynamical construction involving bounding chains, along with a new technique to analyze coupling from the past in infinite-range processes via a novel disease spreading model, which may be of independent interest.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Dimers on Riemann surfaces II: conformal invariance and scaling limit
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:190…
▽ More
Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:1908.00832, this proves the existence of a universal, conformally invariant scaling limit for the height function of the Temperleyan dimer model on such graphs. Along the way, we describe the relationship between Temperleyan CRSFs and loop measures, and develop tools of independent interest to study the latter using only rough control on the random walk
△ Less
Submitted 23 July, 2024; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Forests on wired regular trees
Authors:
Gourab Ray,
Ben Xiao
Abstract:
The Arboreal gas model on a finite graph $G$ is the Bernoulli bond percolation on $G$ conditioned on the event that the sampled subgraph is a forest. In this short note we study the arboreal gas on a regular tree wired at the leaves and obtain a comprehensive description of the weak limit of this model.
The Arboreal gas model on a finite graph $G$ is the Bernoulli bond percolation on $G$ conditioned on the event that the sampled subgraph is a forest. In this short note we study the arboreal gas on a regular tree wired at the leaves and obtain a comprehensive description of the weak limit of this model.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
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.
-
Dimers on Riemann surfaces I: Temperleyan forests
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on th…
▽ More
This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on the surface and its dual is well posed, provided that we remove an appropriate number of punctures. We further show that the resulting dimer configuration is in bijection with an object which we call Temperleyan forest, whose law is characterised in terms of a certain topological condition. Finally we discuss the relation between height differences and Temperleyan forest, and give a criterion guaranteeing the convergence of the height fluctuations in terms of the Temperleyan forest.
△ Less
Submitted 23 July, 2024; v1 submitted 2 August, 2019;
originally announced August 2019.
-
A short proof of the discontinuity of phase transition in the planar random-cluster model with $q>4$
Authors:
Gourab Ray,
Yinon Spinka
Abstract:
The goal of this paper is to provide a short proof of the discontinuity of phase transition for the random-cluster model on the square lattice with parameter $q>4$. This result was recently shown via the so-called Bethe ansatz for the six-vertex model. Our proof also exploits the connection to the six-vertex model, but does not rely on the Bethe ansatz. Our argument is soft and only uses very basi…
▽ More
The goal of this paper is to provide a short proof of the discontinuity of phase transition for the random-cluster model on the square lattice with parameter $q>4$. This result was recently shown via the so-called Bethe ansatz for the six-vertex model. Our proof also exploits the connection to the six-vertex model, but does not rely on the Bethe ansatz. Our argument is soft and only uses very basic properties of the random-cluster model (for example, we do not need the Russo--Seymour--Welsh theory).
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Dimers and Imaginary geometry
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
We present a general result which shows that the winding of the branches in a uniform spanning tree on a planar graph converge in the limit of fine mesh size to a Gaussian free field. The result holds true assuming only convergence of simple random walk to Brownian motion and a Russo-Seymour-Welsh type crossing estimate. As an application, we prove universality of the fluctuations of the height fu…
▽ More
We present a general result which shows that the winding of the branches in a uniform spanning tree on a planar graph converge in the limit of fine mesh size to a Gaussian free field. The result holds true assuming only convergence of simple random walk to Brownian motion and a Russo-Seymour-Welsh type crossing estimate. As an application, we prove universality of the fluctuations of the height function associated to the dimer model, in several situations. This includes the case of lozenge tilings with boundary conditions lying in a plane, and Temperleyan domains in isoradial graphs (recovering a recent result of Li). The robustness of our approach, which is a key novelty of this paper, comes from the fact that the exactly solvable nature of the model plays only a minor role in the analysis. Instead, we rely on a connection to imaginary geometry, where the limit of a uniform spanning tree is viewed as a set of flow lines associated to a Gaussian free field.
△ Less
Submitted 27 November, 2018; v1 submitted 31 March, 2016;
originally announced March 2016.
-
Critical exponents on Fortuin--Kasteleyn weighted planar maps
Authors:
Nathanaël Berestycki,
Benoît Laslier,
Gourab Ray
Abstract:
In this paper we consider random planar maps weighted by the self-dual Fortuin--Kasteleyn model with parameter $q \in (0,4)$. Using a bijection due to Sheffield and a connection to planar Brownian motion in a cone we obtain rigorously the value of the critical exponent associated with the length of cluster interfaces, which is shown to be…
▽ More
In this paper we consider random planar maps weighted by the self-dual Fortuin--Kasteleyn model with parameter $q \in (0,4)$. Using a bijection due to Sheffield and a connection to planar Brownian motion in a cone we obtain rigorously the value of the critical exponent associated with the length of cluster interfaces, which is shown to be $$
\frac{4}π \arccos \left( \frac{\sqrt{2 - \sqrt{q}}}{2} \right)=\frac{κ'}{8}. $$ where $κ' $ is the SLE parameter associated with this model. We also derive the exponent corresponding to the area enclosed by a loop which is shown to be 1 for all values of $q \in (0,4)$. Applying the KPZ formula we find that this value is consistent with the dimension of SLE curves and SLE duality.
△ Less
Submitted 9 July, 2016; v1 submitted 2 February, 2015;
originally announced February 2015.