Showing 1–40 of 40 results for author: Nachmias, A

The scaling limit of critical hypercube percolation

Authors: Arthur Blanc-Renaudie, Nicolas Broutin, Asaf Nachmias

Abstract: We study the connected components in critical percolation on the Hamming hypercube $\{0,1\}^m$. We show that their sizes rescaled by $2^{-2m/3}$ converge in distribution, and that, considered as metric measure spaces with the graph distance rescaled by $2^{-m/3}$ and the uniform measure, they converge in distribution with respect to the Gromov-Hausdorff-Prokhorov topology. The two corresponding li… ▽ More We study the connected components in critical percolation on the Hamming hypercube $\{0,1\}^m$. We show that their sizes rescaled by $2^{-2m/3}$ converge in distribution, and that, considered as metric measure spaces with the graph distance rescaled by $2^{-m/3}$ and the uniform measure, they converge in distribution with respect to the Gromov-Hausdorff-Prokhorov topology. The two corresponding limits are as in critical Erdős-Rényi graphs. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 50 pages, 5 figures, comments are welcome

MSC Class: 60D05; 60F05; 60K35

The union of independent USFs on $\mathbb{Z}^d$ is transient

Authors: Eleanor Archer, Asaf Nachmias, Matan Shalev, Pengfei Tang

Abstract: We show that the union of two or more independent uniform spanning forests (USF) on $\mathbb{Z}^d$ with $d\geq 3$ almost surely forms a connected transient graph. In fact, this also holds when taking the union of a deterministic everywhere percolating set and an independent $ε$-Bernoulli percolation on a single USF sample. We show that the union of two or more independent uniform spanning forests (USF) on $\mathbb{Z}^d$ with $d\geq 3$ almost surely forms a connected transient graph. In fact, this also holds when taking the union of a deterministic everywhere percolating set and an independent $ε$-Bernoulli percolation on a single USF sample. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 10 pages

The wired minimal spanning forest on the Poisson-weighted infinite tree

Authors: Asaf Nachmias, Pengfei Tang

Abstract: We study the spectral and diffusive properties of the wired minimal spanning forest (WMSF) on the Poisson-weighted infinite tree (PWIT). Let $M$ be the tree containing the root in the WMSF on the PWIT and $(Y_n)_{n\geq0}$ be a simple random walk on $M$ starting from the root. We show that almost surely $M$ has $\mathbb{P}[Y_{2n}=Y_0]=n^{-3/4+o(1)}$ and $\mathrm{dist}(Y_0,Y_n)=n^{1/4+o(1)}$ with hi… ▽ More We study the spectral and diffusive properties of the wired minimal spanning forest (WMSF) on the Poisson-weighted infinite tree (PWIT). Let $M$ be the tree containing the root in the WMSF on the PWIT and $(Y_n)_{n\geq0}$ be a simple random walk on $M$ starting from the root. We show that almost surely $M$ has $\mathbb{P}[Y_{2n}=Y_0]=n^{-3/4+o(1)}$ and $\mathrm{dist}(Y_0,Y_n)=n^{1/4+o(1)}$ with high probability. That is, the spectral dimension of $M$ is $\frac{3}{2}$ and its typical displacement exponent is $\frac{1}{4}$, almost surely. These confirm Addario-Berry's predictions in arXiv:1301.1667. △ Less

Submitted 4 February, 2024; v1 submitted 19 July, 2022; originally announced July 2022.

Comments: 35 pages. Section 5 rewritten. Accepted version in AAP

The GHP scaling limit of uniform spanning trees in high dimensions

Authors: Eleanor Archer, Asaf Nachmias, Matan Shalev

Abstract: We show that the Brownian continuum random tree is the Gromov-Hausdorff-Prohorov scaling limit of the uniform spanning tree on high-dimensional graphs including the $d$-dimensional torus $\mathbb{Z}_n^d$ with $d>4$, the hypercube $\{0,1\}^n$, and transitive expander graphs. Several corollaries for associated quantities are then deduced: convergence in distribution of the rescaled diameter, height… ▽ More We show that the Brownian continuum random tree is the Gromov-Hausdorff-Prohorov scaling limit of the uniform spanning tree on high-dimensional graphs including the $d$-dimensional torus $\mathbb{Z}_n^d$ with $d>4$, the hypercube $\{0,1\}^n$, and transitive expander graphs. Several corollaries for associated quantities are then deduced: convergence in distribution of the rescaled diameter, height and simple random walk on these uniform spanning trees to their continuum analogues on the continuum random tree. △ Less

Submitted 12 April, 2022; v1 submitted 2 December, 2021; originally announced December 2021.

Comments: 32 pages. The proof of Lemma 2.9 in the first version of this paper is incorrect and we were unable to correct it. In this second version we provide an alternative route for the proof of the main theorems

The local limit of uniform spanning trees

Authors: Asaf Nachmias, Yuval Peres

Abstract: We show that the local limit of the uniform spanning tree on any finite, simple, connected, regular graph sequence with degree tending to infinity is the Poisson(1) branching process conditioned to survive forever. An extension to "almost" regular graphs and a quenched version are also given. We show that the local limit of the uniform spanning tree on any finite, simple, connected, regular graph sequence with degree tending to infinity is the Poisson(1) branching process conditioned to survive forever. An extension to "almost" regular graphs and a quenched version are also given. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 25 pages

The diameter of the uniform spanning tree of dense graphs

Authors: Noga Alon, Asaf Nachmias, Matan Shalev

Abstract: We show that the diameter of a uniformly drawn spanning tree of a simple connected graph on $n$ vertices with minimal degree linear in $n$ is typically of order $\sqrt{n}$. A byproduct of our proof, which is of independent interest, is that on such graphs the Cheeger constant and the spectral gap are comparable. We show that the diameter of a uniformly drawn spanning tree of a simple connected graph on $n$ vertices with minimal degree linear in $n$ is typically of order $\sqrt{n}$. A byproduct of our proof, which is of independent interest, is that on such graphs the Cheeger constant and the spectral gap are comparable. △ Less

Submitted 11 August, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 23 pages

The diameter of uniform spanning trees in high dimensions

Authors: Peleg Michaeli, Asaf Nachmias, Matan Shalev

Abstract: We show that the diameter of a uniformly drawn spanning tree of a connected graph on $n$ vertices which satisfies certain high-dimensionality conditions typically grows like $Θ(\sqrt{n})$. In particular this result applies to expanders, finite tori $\mathbb{Z}_m^d$ of dimension $d \geq 5$, the hypercube $\{0,1\}^m$, and small perturbations thereof. We show that the diameter of a uniformly drawn spanning tree of a connected graph on $n$ vertices which satisfies certain high-dimensionality conditions typically grows like $Θ(\sqrt{n})$. In particular this result applies to expanders, finite tori $\mathbb{Z}_m^d$ of dimension $d \geq 5$, the hypercube $\{0,1\}^m$, and small perturbations thereof. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 29 pages

The Dirichlet problem for orthodiagonal maps

Authors: Ori Gurel-Gurevich, Daniel C. Jerison, Asaf Nachmias

Abstract: We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as the mesh size goes to 0. This provides a convergence statement for discrete holomorphic functions, similar to the one obtained by Chelkak and Smirnov for isora… ▽ More We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as the mesh size goes to 0. This provides a convergence statement for discrete holomorphic functions, similar to the one obtained by Chelkak and Smirnov for isoradial graphs. We observe that by the double circle packing theorem, any finite, simple, 3-connected planar map admits an orthodiagonal representation. Our result improves the work of Skopenkov and Werness by drop** all regularity assumptions required in their work and providing effective bounds. In particular, no bound on the vertex degrees is required. Thus, the result can be applied to models of random planar maps that with high probability admit orthodiagonal representation with mesh size tending to 0. In a companion paper, we show that this can be done for the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 44 pages, 11 figures

A combinatorial criterion for macroscopic circles in planar triangulations

Authors: Ori Gurel-Gurevich, Daniel C. Jerison, Asaf Nachmias

Abstract: Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield,… ▽ More Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield, the size of the largest circle goes to zero with high probability. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 13 pages, 3 figures

Planar maps, random walks and circle packing

Authors: Asaf Nachmias

Abstract: These are lecture notes of the 48th Saint-Flour summer school, July 2018, on the topic of planar maps, random walks and the circle packing theorem. These are lecture notes of the 48th Saint-Flour summer school, July 2018, on the topic of planar maps, random walks and the circle packing theorem. △ Less

Submitted 1 January, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: 106 pages, many figures

The local limit of the uniform spanning tree on dense graphs

Authors: Jan Hladký, Asaf Nachmias, Tuan Tran

Abstract: Let $G$ be a connected graph in which almost all vertices have linear degrees and let $T$ be a uniform spanning tree of $G$. For any fixed rooted tree $F$ of height $r$ we compute the asymptotic density of vertices $v$ for which the $r$-ball around $v$ in $T$ is isomorphic to $F$. We deduce from this that if $\{G_n\}$ is a sequence of such graphs converging to a graphon $W$, then the uniform spann… ▽ More Let $G$ be a connected graph in which almost all vertices have linear degrees and let $T$ be a uniform spanning tree of $G$. For any fixed rooted tree $F$ of height $r$ we compute the asymptotic density of vertices $v$ for which the $r$-ball around $v$ in $T$ is isomorphic to $F$. We deduce from this that if $\{G_n\}$ is a sequence of such graphs converging to a graphon $W$, then the uniform spanning tree of $G_n$ locally converges to a multi-type branching process defined in terms of $W$. As an application, we prove that in a graph with linear minimum degree, with high probability, the density of leaves in a uniform spanning tree is at least $1/e-o(1)$, the density of vertices of degree $2$ is at most $1/e+o(1)$ and the density of vertices of degree $k\geq 3$ is at most ${(k-2)^{k-2} \over (k-1)! e^{k-2}} + o(1)$. These bounds are sharp. △ Less

Submitted 9 January, 2018; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: 44 pages, error in Claim 4.1.3 fixed, as will appear in Journal of Statistical Physics, special issue devoted to Complex Networks

Journal ref: Journal of Statistical Physics 173 (2018), no. 3-4, 502-545

Geometric and spectral properties of causal maps

Authors: Nicolas Curien, Tom Hutchcroft, Asaf Nachmias

Abstract: We study the random planar map obtained from a critical, finite variance, Galton-Watson plane tree by adding the horizontal connections between successive vertices at each level. This random graph is closely related to the well-known causal dynamical triangulation that was introduced by Ambjørn and Loll and has been studied extensively by physicists. We prove that the horizontal distances in the g… ▽ More We study the random planar map obtained from a critical, finite variance, Galton-Watson plane tree by adding the horizontal connections between successive vertices at each level. This random graph is closely related to the well-known causal dynamical triangulation that was introduced by Ambjørn and Loll and has been studied extensively by physicists. We prove that the horizontal distances in the graph are smaller than the vertical distances, but only by a subpolynomial factor: The diameter of the set of vertices at level $n$ is both $o(n)$ and $n^{1-o(1)}$. This enables us to prove that the spectral dimension of the infinite version of the graph is almost surely equal to 2, and consequently that the random walk is diffusive almost surely. We also initiate an investigation of the case in which the offspring distribution is critical and belongs to the domain of attraction of an $α$-stable law for $α\in (1,2)$, for which our understanding is much less complete. △ Less

Submitted 6 March, 2019; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 27 pages, 11 figures. Accepted version, to appear in JEMS

Hyperbolic and Parabolic Unimodular Random Maps

Authors: Omer Angel, Tom Hutchcroft, Asaf Nachmias, Gourab Ray

Abstract: We show that for infinite planar unimodular random rooted maps, many global geometric and probabilistic properties are equivalent, and are determined by a natural, local notion of average curvature. This dichotomy includes properties relating to amenability, conformal geometry, random walks, uniform and minimal spanning forests, and Bernoulli bond percolation. We also prove that every simply conne… ▽ More We show that for infinite planar unimodular random rooted maps, many global geometric and probabilistic properties are equivalent, and are determined by a natural, local notion of average curvature. This dichotomy includes properties relating to amenability, conformal geometry, random walks, uniform and minimal spanning forests, and Bernoulli bond percolation. We also prove that every simply connected unimodular random rooted map is sofic, that is, a Benjamini-Schramm limit of finite maps. △ Less

Submitted 21 March, 2018; v1 submitted 27 December, 2016; originally announced December 2016.

Comments: 54 pages, 8 figures. V2: Final version, some minor revisions. To appear in GAFA

Slightly subcritical hypercube percolation

Authors: Tim Hulshof, Asaf Nachmias

Abstract: We study bond percolation on the hypercube $\{0,1\}^m$ in the slightly subcritical regime where $p = p_c (1-\varepsilon_m)$ and $\varepsilon_m = o(1)$ but $\varepsilon_m \gg 2^{-m/3}$ and study the clusters of largest volume and diameter. We establish that with high probability the largest component has cardinality $Θ\left(\varepsilon_m^{-2} \log(\varepsilon_m^3 2^m)\right)$, that the maximal diam… ▽ More We study bond percolation on the hypercube $\{0,1\}^m$ in the slightly subcritical regime where $p = p_c (1-\varepsilon_m)$ and $\varepsilon_m = o(1)$ but $\varepsilon_m \gg 2^{-m/3}$ and study the clusters of largest volume and diameter. We establish that with high probability the largest component has cardinality $Θ\left(\varepsilon_m^{-2} \log(\varepsilon_m^3 2^m)\right)$, that the maximal diameter of all clusters is $(1+o(1)) \varepsilon_m^{-1} \log(\varepsilon_m^3 2^m)$, and that the maximal mixing time of all clusters is $Θ\left(\varepsilon_m^{-3} \log^2(\varepsilon_m^3 2^m)\right)$. These results hold in different levels of generality, and in particular, some of the estimates hold for various classes of graphs such as high-dimensional tori, expanders of high degree and girth, products of complete graphs, and infinite lattices in high dimensions. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Comments: 38 pages

Uniform Spanning Forests of Planar Graphs

Authors: Tom Hutchcroft, Asaf Nachmias

Abstract: We prove that the free uniform spanning forest of any bounded degree proper plane graph is connected almost surely, answering a question of Benjamini, Lyons, Peres and Schramm. We provide a quantitative form of this result, calculating the critical exponents governing the geometry of the uniform spanning forests of transient proper plane graphs with bounded degrees and codegrees. We find that th… ▽ More We prove that the free uniform spanning forest of any bounded degree proper plane graph is connected almost surely, answering a question of Benjamini, Lyons, Peres and Schramm. We provide a quantitative form of this result, calculating the critical exponents governing the geometry of the uniform spanning forests of transient proper plane graphs with bounded degrees and codegrees. We find that the same exponents hold universally over this entire class of graphs provided that measurements are made using the hyperbolic geometry of their circle packings rather than their usual combinatorial geometry. △ Less

Submitted 23 January, 2018; v1 submitted 23 March, 2016; originally announced March 2016.

Comments: 39 pages, 6 figures. Version 2: Improved exposition; material on multiply-connected maps has been removed and will reappear as a separate paper

Indistinguishability of Trees in Uniform Spanning Forests

Authors: Tom Hutchcroft, Asaf Nachmias

Abstract: We prove that in both the free and the wired uniform spanning forest (FUSF and WUSF) of any unimodular random rooted network (in particular, of any Cayley graph), it is impossible to distinguish the connected components of the forest from each other by invariantly defined graph properties almost surely. This confirms a conjecture of Benjamini, Lyons, Peres and Schramm. We use this to answer posi… ▽ More We prove that in both the free and the wired uniform spanning forest (FUSF and WUSF) of any unimodular random rooted network (in particular, of any Cayley graph), it is impossible to distinguish the connected components of the forest from each other by invariantly defined graph properties almost surely. This confirms a conjecture of Benjamini, Lyons, Peres and Schramm. We use this to answer positively two additional questions of Benjamini, Lyons, Peres and Schramm under the assumption of unimodularity. We prove that on any unimodular random rooted network, the FUSF is either connected or has infinitely many connected components almost surely, and, if the FUSF and WUSF are distinct, then every component of the FUSF is transient and infinitely-ended almost surely. All of these results are new even for Cayley graphs. △ Less

Submitted 22 May, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 43 pages, 2 figures. Version 2: minor corrections and improvements; references added; one additional figure

Journal ref: Probab. Theory Relat. Fields (2017) 168: 113

Recurrence of multiply-ended planar triangulations

Authors: Ori Gurel-Gurevich, Asaf Nachmias, Juan Souto

Abstract: In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end.… ▽ More In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end. We also show that this statement holds for any straight-line embedding with angles uniformly bounded away from 0. △ Less

Submitted 31 May, 2015; originally announced June 2015.

Comments: 8 pages, 1 figure

Unimodular Hyperbolic Triangulations: Circle Packing and Random Walk

Authors: Omer Angel, Tom Hutchcroft, Asaf Nachmias, Gourab Ray

Abstract: We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surel… ▽ More We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surely converges to a point in the unit circle, that the law of this limiting point has full support and no atoms, and that the unit circle is a realisation of the Poisson boundary. Finally, we show that the simple random walk has positive speed in the hyperbolic metric. △ Less

Submitted 30 August, 2016; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 40 pages, 5 figures; minor revision, new and improved proof for Proposition 1.2

Random walks on stochastic hyperbolic half planar triangulations

Authors: Omer Angel, Asaf Nachmias, Gourab Ray

Abstract: We study the simple random walk on stochastic hyperbolic half planar triangulations constructed in Angel and Ray [3]. We show that almost surely the walker escapes the boundary of the map in positive speed and that the return probability to the starting point after n steps scales like $\exp(-cn^{1/3})$. We study the simple random walk on stochastic hyperbolic half planar triangulations constructed in Angel and Ray [3]. We show that almost surely the walker escapes the boundary of the map in positive speed and that the return probability to the starting point after n steps scales like $\exp(-cn^{1/3})$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: 30 pages

Boundaries of planar graphs, via circle packings

Authors: Omer Angel, Martin T. Barlow, Ori Gurel-Gurevich, Asaf Nachmias

Abstract: We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that… ▽ More We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that the space of extremal positive harmonic functions, that is, the Martin boundary, is homeomorphic to the unit circle. All our results hold more generally for any "good"-embedding of planar graphs, that is, an embedding in the unit disc with straight lines such that angles are bounded away from $0$ and $π$ uniformly, and lengths of adjacent edges are comparable. Furthermore, we show that in a good embedding of a planar graph the probability that a random walk exits a disc through a sufficiently wide arc is at least a constant, and that Brownian motion on such graphs takes time of order $r^2$ to exit a disc of radius $r$. These answer a question recently posed by Chelkak (2014). △ Less

Submitted 27 June, 2016; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: Published at http://dx.doi.org/10.1214/15-AOP1014 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP1014

Journal ref: Annals of Probability 2016, Vol. 44, No. 3, 1956-1984

Electrical resistance of the low dimensional critical branching random walk

Authors: Antal A. Járai, Asaf Nachmias

Abstract: We show that the electrical resistance between the origin and generation n of the incipient infinite oriented branching random walk in dimensions d<6 is O(n^{1-alpha}) for some universal constant alpha>0. This answers a question of Barlow, Járai, Kumagai and Slade [2]. We show that the electrical resistance between the origin and generation n of the incipient infinite oriented branching random walk in dimensions d<6 is O(n^{1-alpha}) for some universal constant alpha>0. This answers a question of Barlow, Járai, Kumagai and Slade [2]. △ Less

Submitted 6 May, 2013; originally announced May 2013.

Comments: 44 pages, 3 figures

Unlacing the lace expansion: a survey to hypercube percolation

Authors: Remco van der Hofstad, Asaf Nachmias

Abstract: The purpose of this note is twofold. First, we survey the study of the percolation phase transition on the Hamming hypercube {0,1}^m obtained in the series of papers [9,10,11,24]. Secondly, we explain how this study can be performed without the use of the so-called "lace-expansion" technique. To that aim, we provide a novel simple proof that the triangle condition holds at the critical probability… ▽ More The purpose of this note is twofold. First, we survey the study of the percolation phase transition on the Hamming hypercube {0,1}^m obtained in the series of papers [9,10,11,24]. Secondly, we explain how this study can be performed without the use of the so-called "lace-expansion" technique. To that aim, we provide a novel simple proof that the triangle condition holds at the critical probability. We hope that some of these techniques will be useful to obtain non-perturbative proofs in the analogous, yet much more difficult study on high-dimensional tori. △ Less

Submitted 30 October, 2012; originally announced October 2012.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1201.3953

Rate of Convergence for Cardy's Formula

Authors: Dana Mendelson, Asaf Nachmias, Samuel S. Watson

Abstract: We show that crossing probabilities in 2D critical site percolation on the triangular lattice in a piecewise analytic Jordan domain converge with power law rate in the mesh size to their limit given by the Cardy-Smirnov formula. We use this result to obtain new upper and lower bounds of exp(O(sqrt(log log R))) R^(-1/3) for the probability that the cluster at the origin in the half-plane has diamet… ▽ More We show that crossing probabilities in 2D critical site percolation on the triangular lattice in a piecewise analytic Jordan domain converge with power law rate in the mesh size to their limit given by the Cardy-Smirnov formula. We use this result to obtain new upper and lower bounds of exp(O(sqrt(log log R))) R^(-1/3) for the probability that the cluster at the origin in the half-plane has diameter R, improving the previously known estimate of R^(-1/3+o(1)). △ Less

Submitted 2 May, 2014; v1 submitted 15 October, 2012; originally announced October 2012.

Comments: 31 pages, 17 figures. Referee corrections made, to appear in Communications in Mathematical Physics

Non-amenable Cayley graphs of high girth have p_c < p_u and mean-field exponents

Authors: Asaf Nachmias, Yuval Peres

Abstract: In this note we show that percolation on non-amenable Cayley graphs of high girth has a phase of non-uniqueness, i.e., p_c < p_u. Furthermore, we show that percolation and self-avoiding walk on such graphs have mean-field critical exponents. In particular, the self-avoiding walk has positive speed. In this note we show that percolation on non-amenable Cayley graphs of high girth has a phase of non-uniqueness, i.e., p_c < p_u. Furthermore, we show that percolation and self-avoiding walk on such graphs have mean-field critical exponents. In particular, the self-avoiding walk has positive speed. △ Less

Submitted 3 December, 2012; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 8 pages

Recurrence of planar graph limits

Authors: Ori Gurel-Gurevich, Asaf Nachmias

Abstract: We prove that any distributional limit of finite planar graphs in which the degree of the root has an exponential tail is almost surely recurrent. As a corollary, we obtain that the uniform infinite planar triangulation and quadrangulation (UIPT and UIPQ) are almost surely recurrent, resolving a conjecture of Angel, Benjamini and Schramm. We also settle another related problem of Benjamini and S… ▽ More We prove that any distributional limit of finite planar graphs in which the degree of the root has an exponential tail is almost surely recurrent. As a corollary, we obtain that the uniform infinite planar triangulation and quadrangulation (UIPT and UIPQ) are almost surely recurrent, resolving a conjecture of Angel, Benjamini and Schramm. We also settle another related problem of Benjamini and Schramm. We show that in any bounded degree, finite planar graph the probability that the simple random walk started at a uniform random vertex avoids its initial location for T steps is at most C/log T. △ Less

Submitted 4 June, 2012; originally announced June 2012.

Comments: 21 pages, 3 figures

Hypercube percolation

Authors: Remco van der Hofstad, Asaf Nachmias

Abstract: We study bond percolation on the Hamming hypercube {0,1}^m around the critical probability p_c. It is known that if p=p_c(1+O(2^{-m/3})), then with high probability the largest connected component C_1 is of size Theta(2^{2m/3}) and that this quantity is non-concentrated. Here we show that for any sequence eps_m such that eps_m=o(1) but eps_m >> 2^{-m/3} percolation on the hypercube at p_c(1+eps_m)… ▽ More We study bond percolation on the Hamming hypercube {0,1}^m around the critical probability p_c. It is known that if p=p_c(1+O(2^{-m/3})), then with high probability the largest connected component C_1 is of size Theta(2^{2m/3}) and that this quantity is non-concentrated. Here we show that for any sequence eps_m such that eps_m=o(1) but eps_m >> 2^{-m/3} percolation on the hypercube at p_c(1+eps_m) has |C_1| = (2+o(1)) eps_m 2^m and |C_2| = o(eps_m 2^m) with high probability, where C_2 is the second largest component. This resolves a conjecture of Borgs, Chayes, the first author, Slade and Spencer [17]. △ Less

Submitted 18 January, 2012; originally announced January 2012.

Comments: 71 pages, 5 figures

A power law of order 1/4 for critical mean-field Swendsen-Wang dynamics

Authors: Yun Long, Asaf Nachmias, Weiyang Ning, Yuval Peres

Abstract: The Swendsen-Wang dynamics is a Markov chain widely used by physicists to sample from the Boltzmann-Gibbs distribution of the Ising model. Cooper, Dyer, Frieze and Rue proved that on the complete graph K_n the mixing time of the chain is at most O(n^{1/2}) for all non-critical temperatures. In this paper we show that the mixing time is Theta(1) in high temperatures, Theta(log n) in low temperature… ▽ More The Swendsen-Wang dynamics is a Markov chain widely used by physicists to sample from the Boltzmann-Gibbs distribution of the Ising model. Cooper, Dyer, Frieze and Rue proved that on the complete graph K_n the mixing time of the chain is at most O(n^{1/2}) for all non-critical temperatures. In this paper we show that the mixing time is Theta(1) in high temperatures, Theta(log n) in low temperatures and Theta(n^{1/4}) at criticality. We also provide an upper bound of O(log n) for Swendsen-Wang dynamics for the q-state ferromagnetic Potts model on any tree with n vertices. △ Less

Submitted 14 July, 2011; originally announced July 2011.

Comments: 87 pages

Nonconcentration of return times

Authors: Ori Gurel-Gurevich, Asaf Nachmias

Abstract: We show that the distribution of the first return time $τ$ to the origin, v, of a simple random walk on an infinite recurrent graph is heavy tailed and nonconcentrated. More precisely, if $d_v$ is the degree of v, then for any $t\geq1$ we have \[\mathbf{P}_v(τ\ge t)\ge\frac{c}{d_v\sqrt{t}}\] and \[\mathbf{P}_v(τ=t\midτ\geq t)\leq\frac{C\log(d_vt)}{t}\] for some universal constants $c>0$ and… ▽ More We show that the distribution of the first return time $τ$ to the origin, v, of a simple random walk on an infinite recurrent graph is heavy tailed and nonconcentrated. More precisely, if $d_v$ is the degree of v, then for any $t\geq1$ we have \[\mathbf{P}_v(τ\ge t)\ge\frac{c}{d_v\sqrt{t}}\] and \[\mathbf{P}_v(τ=t\midτ\geq t)\leq\frac{C\log(d_vt)}{t}\] for some universal constants $c>0$ and $C<\infty$. The first bound is attained for all t when the underlying graph is $\mathbb{Z}$, and as for the second bound, we construct an example of a recurrent graph G for which it is attained for infinitely many t's. Furthermore, we show that in the comb product of that graph G with $\mathbb{Z}$, two independent random walks collide infinitely many times almost surely. This answers negatively a question of Krishnapur and Peres [Electron. Commun. Probab. 9 (2004) 72-81] who asked whether every comb product of two infinite recurrent graphs has the finite collision property. △ Less

Submitted 18 March, 2013; v1 submitted 7 September, 2010; originally announced September 2010.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP785 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP785

Journal ref: Annals of Probability 2013, Vol. 41, No. 2, 848-870

The evolution of the cover time

Authors: Martin T. Barlow, Jian Ding, Asaf Nachmias, Yuval Peres

Abstract: The cover time of a graph is a celebrated example of a parameter that is easy to approximate using a randomized algorithm, but for which no constant factor deterministic polynomial time approximation is known. A breakthrough due to Kahn, Kim, Lovasz and Vu yielded a (log log n)^2 polynomial time approximation. We refine this upper bound, and show that the resulting bound is sharp and explicitly co… ▽ More The cover time of a graph is a celebrated example of a parameter that is easy to approximate using a randomized algorithm, but for which no constant factor deterministic polynomial time approximation is known. A breakthrough due to Kahn, Kim, Lovasz and Vu yielded a (log log n)^2 polynomial time approximation. We refine this upper bound, and show that the resulting bound is sharp and explicitly computable in random graphs. Cooper and Frieze showed that the cover time of the largest component of the Erdos-Renyi random graph G(n,c/n) in the supercritical regime with c>1 fixed, is asymptotic to f(c) n \log^2 n, where f(c) tends to 1 as c tends to 1. However, our new bound implies that the cover time for the critical Erdos-Renyi random graph G(n,1/n) has order n, and shows how the cover time evolves from the critical window to the supercritical phase. Our general estimate also yields the order of the cover time for a variety of other concrete graphs, including critical percolation clusters on the Hamming hypercube {0,1}^n, on high-girth expanders, and on tori Z_n^d for fixed large d. For the graphs we consider, our results show that the blanket time, introduced by Winkler and Zuckerman, is within a constant factor of the cover time. Finally, we prove that for any connected graph, adding an edge can increase the cover time by at most a factor of 4. △ Less

Submitted 17 August, 2010; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: 14 pages, to appear in CPC

Arm exponents in high dimensional percolation

Authors: Gady Kozma, Asaf Nachmias

Abstract: We study the probability that the origin is connected to the sphere of radius r (an arm event) in critical percolation in high dimensions, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We prove that this probability decays like 1/r^2. Furthermore, we show that the probability of having k disjoint arms to distance r emanating from the vicinity… ▽ More We study the probability that the origin is connected to the sphere of radius r (an arm event) in critical percolation in high dimensions, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We prove that this probability decays like 1/r^2. Furthermore, we show that the probability of having k disjoint arms to distance r emanating from the vicinity of the origin is 1/r^2k. △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 42 pages, 9 figures

A note about critical percolation on finite graphs

Authors: Gady Kozma, Asaf Nachmias

Abstract: In this note we study the geometry of the largest component C_1 of critical percolation on a finite graph G which satisfies the finite triangle condition, defined by Borgs et al. There it is shown that this component is of size n^{2/3}, and here we show that its diameter is n^{1/3} and that the simple random walk takes n steps to mix on it. Our results apply to critical percolation on several hi… ▽ More In this note we study the geometry of the largest component C_1 of critical percolation on a finite graph G which satisfies the finite triangle condition, defined by Borgs et al. There it is shown that this component is of size n^{2/3}, and here we show that its diameter is n^{1/3} and that the simple random walk takes n steps to mix on it. Our results apply to critical percolation on several high-dimensional finite graphs such as the finite torus Z_n^d (with d large and n tending to infinity) and the Hamming cube {0,1}^n. △ Less

Submitted 16 November, 2009; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: 11 pages

Is the critical percolation probability local?

Authors: Itai Benjamini, Asaf Nachmias, Yuval Peres

Abstract: We show that the critical probability for percolation on a d-regular non-amenable graph of large girth is close to the critical probability for percolation on an infinite d-regular tree. This is a special case of a conjecture due to O. Schramm on the locality of p_c. We also prove a finite analogue of the conjecture for expander graphs. We show that the critical probability for percolation on a d-regular non-amenable graph of large girth is close to the critical probability for percolation on an infinite d-regular tree. This is a special case of a conjecture due to O. Schramm on the locality of p_c. We also prove a finite analogue of the conjecture for expander graphs. △ Less

Submitted 29 January, 2009; originally announced January 2009.

Comments: 9 pages

The Alexander-Orbach conjecture holds in high dimensions

Authors: Gady Kozma, Asaf Nachmias

Abstract: We examine the incipient infinite cluster (IIC) of critical percolation in regimes where mean-field behavior has been established, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We find that random walk on the IIC exhibits anomalous diffusion with the spectral dimension d_s=4/3, that is, p_t(x,x)= t^{-2/3+o(1)}. This establishes a conjecture o… ▽ More We examine the incipient infinite cluster (IIC) of critical percolation in regimes where mean-field behavior has been established, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We find that random walk on the IIC exhibits anomalous diffusion with the spectral dimension d_s=4/3, that is, p_t(x,x)= t^{-2/3+o(1)}. This establishes a conjecture of Alexander and Orbach. En route we calculate the one-arm exponent with respect to the intrinsic distance. △ Less

Submitted 16 November, 2009; v1 submitted 9 June, 2008; originally announced June 2008.

Comments: 25 pages, 2 figures. To appear in Inventiones Mathematicae

Mean-field conditions for percolation on finite graphs

Authors: Asaf Nachmias

Abstract: Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph. A consequence of our theorems is that if G_n… ▽ More Let G_n be a sequence of finite transitive graphs with vertex degree d=d(n) and |G_n|=n. Denote by p^t(v,v) the return probability after t steps of the non-backtracking random walk on G_n. We show that if p^t(v,v) has quasi-random properties, then critical bond-percolation on G_n has a scaling window of width n^{-1/3}, as it would on a random graph. A consequence of our theorems is that if G_n is a transitive expander family with girth at least (2/3 + eps) \log_{d-1} n, then the size of the largest component in p-bond-percolation with p={1 +O(n^{-1/3}) \over d-1} is roughly n^{2/3}. In particular, bond-percolation on the celebrated Ramanujan graph constructed by Lubotzky, Phillips and Sarnak has the above scaling window. This provides the first examples of quasi-random graphs behaving like random graphs with respect to critical bond-percolation. △ Less

Submitted 24 November, 2008; v1 submitted 11 September, 2007; originally announced September 2007.

Comments: 29 pages. to appear in Geometric and Functional Analysis

Critical percolation on random regular graphs

Authors: Asaf Nachmias, Yuval Peres

Abstract: We describe the component sizes in critical independent p-bond percolation on a random d-regular graph on n vertices, where d \geq 3 is fixed and n grows. We prove mean-field behavior around the critical probability p_c=1/(d-1). In particular, we show that there is a scaling window of width n^{-1/3} around p_c in which the sizes of the largest components are roughly n^{2/3} and we describe the… ▽ More We describe the component sizes in critical independent p-bond percolation on a random d-regular graph on n vertices, where d \geq 3 is fixed and n grows. We prove mean-field behavior around the critical probability p_c=1/(d-1). In particular, we show that there is a scaling window of width n^{-1/3} around p_c in which the sizes of the largest components are roughly n^{2/3} and we describe their limiting joint distribution. We also show that for the subcritical regime, i.e. p = (1-eps(n))p_c where eps(n)=o(1) but \eps(n)n^{1/3} tends to infinity, the sizes of the largest components are concentrated around an explicit function of n and eps(n) which is of order o(n^{2/3}). In the supercritical regime, i.e. p = (1+\eps(n))p_c where eps(n)=o(1) but eps(n)n^{1/3} tends to infinity, the size of the largest component is concentrated around the value (2d/(d-2))\eps(n)n and a duality principle holds: other component sizes are distributed as in the subcritical regime. △ Less

Submitted 20 July, 2007; v1 submitted 19 July, 2007; originally announced July 2007.

Comments: 47 pages

Critical random graphs: Diameter and mixing time

Authors: Asaf Nachmias, Yuval Peres

Abstract: Let $\mathcal{C}_1$ denote the largest connected component of the critical Erdős--Rényi random graph $G(n,{\frac{1}{n}})$. We show that, typically, the diameter of $\mathcal{C}_1$ is of order $n^{1/3}$ and the mixing time of the lazy simple random walk on $\mathcal{C}_1$ is of order $n$. The latter answers a question of Benjamini, Kozma and Wormald. These results extend to clusters of size… ▽ More Let $\mathcal{C}_1$ denote the largest connected component of the critical Erdős--Rényi random graph $G(n,{\frac{1}{n}})$. We show that, typically, the diameter of $\mathcal{C}_1$ is of order $n^{1/3}$ and the mixing time of the lazy simple random walk on $\mathcal{C}_1$ is of order $n$. The latter answers a question of Benjamini, Kozma and Wormald. These results extend to clusters of size $n^{2/3}$ of $p$-bond percolation on any $d$-regular $n$-vertex graph where such clusters exist, provided that $p(d-1)\le1+O(n^{-1/3})$. △ Less

Submitted 27 August, 2008; v1 submitted 10 January, 2007; originally announced January 2007.

Comments: Published in at http://dx.doi.org/10.1214/07-AOP358 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP358 MSC Class: 05C80; 82B43; 60C05 (Primary)

Journal ref: Annals of Probability 2008, Vol. 36, No. 4, 1267-1286

Component sizes of the random graph outside the scaling window

Authors: Asaf Nachmias, Yuval Peres

Abstract: We provide simple proofs describing the behavior of the largest component of the Erdos-Renyi random graph G(n,p) outside of the scaling window, p={1+\eps(n) \over n} where \eps(n) tends to 0, but \eps(n)n^{1/3} tends to \infty. We provide simple proofs describing the behavior of the largest component of the Erdos-Renyi random graph G(n,p) outside of the scaling window, p={1+\eps(n) \over n} where \eps(n) tends to 0, but \eps(n)n^{1/3} tends to \infty. △ Less

Submitted 10 January, 2007; v1 submitted 15 October, 2006; originally announced October 2006.

Comments: 13 pages

The critical random graph, with martingales

Authors: Asaf Nachmias, Yuval Peres

Abstract: We give a short proof that the largest component of the random graph $G(n, 1/n)$ is of size approximately $n^{2/3}$. The proof gives explicit bounds for the probability that the ratio is very large or very small. We give a short proof that the largest component of the random graph $G(n, 1/n)$ is of size approximately $n^{2/3}$. The proof gives explicit bounds for the probability that the ratio is very large or very small. △ Less

Submitted 2 November, 2007; v1 submitted 9 December, 2005; originally announced December 2005.

Comments: 13 pages, 1 figure. Revised version. Contains stronger probability deviation bounds and handles the entire scaling window. To appear in Israel Journal of Mathematics

Colouring complete bipartite graphs from random lists

Authors: Michael Krivelevich, Asaf Nachmias

Abstract: Let $K_{n,n}$ be the complete bipartite graph with $n$ vertices in each side. For each vertex draw uniformly at random a list of size $k$ from a base set $S$ of size $s=s(n)$. In this paper we estimate the asymptotic probability of the existence of a proper colouring from the random lists for all fixed values of $k$ and growing $n$. We show that this property exhibits a sharp threshold for… ▽ More Let $K_{n,n}$ be the complete bipartite graph with $n$ vertices in each side. For each vertex draw uniformly at random a list of size $k$ from a base set $S$ of size $s=s(n)$. In this paper we estimate the asymptotic probability of the existence of a proper colouring from the random lists for all fixed values of $k$ and growing $n$. We show that this property exhibits a sharp threshold for $k\geq 2$ and the location of the threshold is precisely $s(n)=2n$ for $k=2$, and approximately $s(n)=\frac{n}{2^{k-1}\ln 2}$ for $k\geq 3$. △ Less

Submitted 1 December, 2005; originally announced December 2005.

Comments: 14 pages. To appear in Random Structures and Algorithms

Colouring powers of cycles from random lists

Authors: Michael Krivelevich, Asaf Nachmias

Abstract: Let $C_n^k$ be the $k$-th power of a cycle on $n$ vertices (i.e. the vertices of $C_n^k$ are those of the $n$-cycle, and two vertices are connected by an edge if their distance along the cycle is at most $k$). For each vertex draw uniformly at random a subset of size $c$ from a base set $S$ of size $s=s(n)$. In this paper we solve the problem of determining the asymptotic probability of the exis… ▽ More Let $C_n^k$ be the $k$-th power of a cycle on $n$ vertices (i.e. the vertices of $C_n^k$ are those of the $n$-cycle, and two vertices are connected by an edge if their distance along the cycle is at most $k$). For each vertex draw uniformly at random a subset of size $c$ from a base set $S$ of size $s=s(n)$. In this paper we solve the problem of determining the asymptotic probability of the existence of a proper colouring from the lists for all fixed values of $c,k$, and growing $n$. △ Less

Submitted 30 November, 2005; originally announced December 2005.

Comments: 7 pages

Journal ref: European J. of Combinatorics 25 (2004), 961-968