arXiv subjects

Gourab Ray

Publications and source records attributed to Gourab Ray.

At least 19 recordsLinked to original sources

arXiv2026

Oriented Minimum spanning tree looks like the Uniform spanning tree on the complete graph (at least locally)

We prove that the local limit of the minimum spanning arborescence in the complete graph (which is an oriented cousin of the minimum spanning tree in the complete graph) is the same as that of the uniform random tree, oriented towards infinity. The latter is known to be the critical Poisson Galton--Watson tree conditioned to survive. This is in sharp contrast with the local limit of the minimum spanning tree, which is known to be different from that of the uniform spanning tree (due to results of Addario--Berry \cite{AddarioBerry2013} and Addario--Berry, Griffiths and Kang \cite{PWIT_local_minimum}). Thus we demonstrate that introducing orientations changes the local geometry of the minimum spanning tree in a non-trivial manner.

math.PR↗

arXiv2026

A noisy min-max game on trees

We study a noisy version of a min-max type zero-sum game on the $d$-ary tree. Each edge of the tree is assigned an i.i.d.\ cookie, distributed uniformly on $\{+1,-1\}$. The game is played as follows: starting at the root, two players alternate turns in choosing a child to move to, with the game ending after each player took $n$ turns. Both players have full knowledge of the cookies on the whole tree. The cookies along the traversed edges are picked up and placed in a shared cookie jar. The first player's payoff is the sum of the cookies in the cookie jar, while the second player pays that sum. The value $V_n$ of the $n$-round game is the largest signed sum which can be guaranteed by the first player. We analyze the value $V_n$ and show that as $n \to \infty$, the value is tight for $d=2$, converges in distribution for $d \ge 3$, and converges almost surely for $d \ge 15$. Along the way, we prove various tightness and double exponential tail decay results. The analysis is a mix of percolation-type arguments for large $d$, and iterations on distributions combined with interval arithmetic for small $d$. For $d=2$ we prove the existence of a continuum of fixed points for this iteration, highlighting surprising qualitative differences with the case $d \ge 3$. The question of convergence for $d=2$ remains open.

math.PR↗

arXiv2025

Local limit of the focusing discrete NLS

We examine the behavior of a function sampled from the invariant measure associated to the focusing discrete Non Linear Schr\"odinger equation, defined on a discrete torus of dimension $d \geq 3$, and nonlinearity parameter $p>4$, in the infinite volume limit. The Gibbs measure has two parameters, the inverse temperature and the strength of the non linearity, and the scaling is such that the non linear and linear parts of the Hamiltonian contribute on the same scale. It was shown by Dey, Kirkpatrick and the first author that this measure undergoes a phase transition, concerning concentration of mass of a typical function {at the level of partition functions}. We prove that the three regions of the phase diagram yield three distinct local limits, a massive Gaussian free field, a massless Gaussian free field plus a random constant, and finally a (possibly trivial) mixture of massive Gaussian free fields, where some mass is ``lost'' to the region of concentration. Our proof relies on the analysis of the spherical model of a ferromagnet. The measure under consideration is an exponential tilt of the spherical model, and the additional tilt can be seen to induce an additional phase transition. Although our motivations come from the NLS equation and soliton resolution conjecture, our proofs are completely probabilistic, and can be read without any knowledge of PDE theory.

math.PR↗

arXiv2024

On the local convergence of integer-valued Lipschitz functions on regular trees

We study random integer-valued Lipschitz functions on regular trees. It was shown by Peled, Samotij and Yehudayoff that such functions are localized, however, finer questions about the structure of Gibbs measures remain unanswered. Our main result is that the weak limit of a uniformly chosen 1-Lipschitz function with 0 boundary condition on a $d$-ary tree of height $n$ exists as $n \to \infty$ if $2 \le d \le 7$, but not if $d \ge 8$, thereby partially answering a question posed by Peled, Samotij and Yehudayoff. For large $d$, the value at the root alternates between being almost entirely concentrated on 0 for even $n$ and being roughly uniform on $\{-1,0,1\}$ for odd $n$, leading to different limits as $n$ approaches infinity along evens or odds. For $d \ge 8$, the essence of this phenomenon is preserved, which obstructs the convergence. For $d \le 7$, this phenomenon ceases to exist, and the law of the value at the root loses its connection with the parity of $n$. Along the way, we also obtain an alternative proof of localization. The key idea is a fixed point convergence result for a related operator on $\ell^\infty$, and a procedure to show that the iterations get into a `basin of attraction' of the fixed point. We also prove some accompanying analogous `even-odd phenomenon' type results about $M$-lipschitz functions on general non-amenable graphs with high enough expansion (this includes for example the large $d$ case for regular trees). We also prove a convergence result for 1-Lipschitz functions with $\{0,1\}$ boundary condition. This last result relies on an absolute value FKG for uniform 1-Lipschitz functions when shifted by $1/2$.

math.PR↗

arXiv2024

Double dimers on planar hyperbolic graphs via circle packings

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.

math.PR↗

arXiv2024

Uniqueness and CLT for the Ground State of the Disordered Monomer-Dimer Model on $\mathbb{Z}^{d}$

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.

math-ph↗

arXiv2024

Minimal spanning arborescence

We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient trees, the infinite volume limit exists almost surely. We also prove that for nonamenable, unimodular graphs, the limit is almost surely one-ended assuming a certain sufficient condition that guarantees the existence of the limit. This object cannot be studied using well-known algorithms, such as Kruskal's or Prim's algorithm, to sample the minimal spanning tree which has been instrumental in getting analogous results about them (Lyons, Peres, and Schramm). Instead, we use a recursive algorithm due to Chu, Liu, Edmonds, and Bock, which leads to a novel stochastic process which we call the \emph{loop contracting random walk}. This is similar to the well-known and widely studied loop erased random walk, except instead of erasing loops we contract them. The full algorithm bears similarities with the celebrated Wilson's algorithm to generate uniform spanning trees and can be seen as a certain limit of the original Wilson's algorithm.

math.PR↗

arXiv2023

Characterizations of amenability through stochastic domination and finitary codings

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.

math.PR↗

arXiv2022

Dimers on Riemann surfaces II: conformal invariance and scaling limit

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

math.PR↗

arXiv2021

Uniform even subgraphs and graphical representations of Ising as factors of i.i.d

We prove that the Loop O(1) model, a well-known graphical expansion of the Ising model, is a factor of i.i.d. on unimodular random rooted graphs under various conditions, including in the presence of a non-negative external field. As an application we show that the gradient of the free Ising model is a factor of i.i.d. on unimodular planar maps having a locally finite dual. The key idea is to develop an appropriate theory of local limits of uniform even subgraphs with various boundary conditions and prove that they can be sampled as a factor of i.i.d. Another key tool we prove and exploit is that the wired uniform spanning tree on a unimodular transient graph is a factor of i.i.d. This partially answers some questions posed by Hutchcroft.

math.PR↗

arXiv2021

Sharp Signal Detection Under Ferromagnetic Ising Models

In this paper we study the effect of dependence on detecting a class of structured signals in Ferromagnetic Ising models. Natural examples of our class include Ising Models on lattices, and Mean-Field type Ising Models such as dense Erd\H{o}s-R\'{e}nyi, and dense random regular graphs. Our results not only provide sharp constants of detection in each of these cases and thereby pinpoint the precise relationship of the detection problem with the underlying dependence, but also demonstrate how to be agnostic over the strength of dependence present in the respective models.

math.ST↗

arXiv2021

Forests on wired regular trees

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.

math.PR↗

arXiv2021

Quantitative Russo-Seymour-Welsh for random walk on random graphs and decorrelation of UST

We prove a quantitative Russo-Seymour-Welsh (RSW) type result for random walks on two natural examples of random planar graphs: the supercritical percolation cluster in the square lattice and the Poisson Voronoi triangulation in the plane. More precisely, we prove that the probability that a simple random walk crosses a rectangle in the hard direction with uniformly positive probability is stretched exponentially likely in the size of the rectangle. As an application we prove a near optimal decorrelation result for uniform spanning trees for such graphs. This is the key missing step in this setup while applying of the proof stretegy of a previous article on universality of dimers ("Dimers and imaginary geometry." Ann. Probab. 48 (1) 1 - 52) where random walk RSW was assumed to hold with probability 1. Applications to almost sure Gaussian free field scaling limit for dimers on Temperleyan type modification on such graphs are also discussed.

math.PR↗

arXiv2021

A tale of two balloons

From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Is every point contained in balloons infinitely often or not? We answer this for the Euclidean space, the hyperbolic plane and regular trees. The result for the Euclidean space relies on a novel 0-1 law for stationary processes. Towards establishing the results for the hyperbolic plane and regular trees, we prove an upper bound on the density of any well-separated set in a regular tree which is a factor of an i.i.d. process.

math.PR↗

arXiv2020

$(1+\varepsilon)$-moments suffice to characterise the GFF

We show that there is "no stable free field of index $\alpha\in (1,2)$", in the following sense. It was proved in a previous work by the authors, that subject to a \emph{fourth moment assumption}, any random generalised function on a domain $D$ of the plane, satisfying conformal invariance and a natural domain Markov property, must be a constant multiple of the Gaussian free field. In this article we show that the existence of $(1+\varepsilon)$-moments is sufficient for the same conclusion. A key idea is a new way of exploring the field, where (instead of looking at the more standard circle averages) we start from the boundary and discover averages of the field with respect to a certain "hitting density" of It\^o excursions.

math.PR↗

arXiv2020

Proper 3-colorings of $\mathbb{Z}^2$ are Bernoulli

We consider the unique measure of maximal entropy for proper 3-colorings of $\mathbb{Z}^2$, or equivalently, the so-called zero-slope Gibbs measure. Our main result is that this measure is Bernoulli, or equivalently, that it can be expressed as the image of a translation-equivariant function of independent and identically distributed random variables placed on $\mathbb{Z}^2$. Along the way, we obtain various estimates on the mixing properties of this measure.

math.PR↗

arXiv2019

Logarithmic variance for the height function of square-ice

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.

math.PR↗

arXiv2019

Finitary codings for gradient models and a new graphical representation for the six-vertex model

It is known that the Ising model on $\mathbb {Z}^d$ at a given temperature is a finitary factor of an i.i.d. process if and only if the temperature is at least the critical temperature. Below the critical temperature, the plus and minus states of the Ising model are distinct and differ from one another by a global flip of the spins. We show that it is only this global information which poses an obstruction for being finitary by showing that the gradient of the Ising model is a finitary factor of i.i.d. at all temperatures. As a consequence, we deduce a volume-order large deviation estimate for the energy. A similar result is shown for the Potts model. A result in the same spirit is also shown for the six-vertex model, which is itself the gradient of a height function, with parameter $c \gtrapprox 6.4$. We show that the gradient of the height function is not a finitary factor of an i.i.d. process, but that its "Laplacian" is. For this, we introduce a coupling between the six-vertex model with $c\ge 2$ and a new graphical representation of it, reminiscent of the Edwards--Sokal coupling between the Potts and random-cluster models. We believe that this graphical representation may be of independent interest and could serve as a tool in further understanding of the six-vertex model. To provide further support for the ubiquity of this type of phenomenon, we also prove an analogous result for the so-called beach model. The tools and techniques used in this paper are probabilistic in nature. The heart of the argument is to devise a suitable tree structure on the clusters of the underlying percolation process (associated to the graphical representation of the given model), which can be revealed piece-by-piece via exploration.

math.PR↗