We consider two-dimensional critical bond percolation. Conditioned on the existence of an open circuit in an annulus, we show that the ratio of the expected size of the shortest open circuit to the expected size of the innermost circuit tends to zero as the side length of the annulus tends to infinity, the aspect ratio remaining fixed. The same proof yields a similar result for the lowest open crossing of a rectangle. In this last case, we answer a question of Kesten and Zhang by showing in addition that the ratio of the length of the shortest crossing to the length of the lowest tends to zero in probability. This suggests that the chemical distance in critical percolation is given by an exponent strictly smaller than that of the lowest path.
The aim of this paper is to generalize the well-known asymptotic shape result for first-passage percolation on $\Zd$ to first-passage percolation on a random environment given by the infinite cluster of a supercritical Bernoulli percolation model. We prove the convergence of the renormalized set of wet points to a deterministic shape that does not depend on the random environment. As a special case of the previous result, we obtain an asymptotic shape theorem for the chemical distance in supercritical Bernoulli percolation. We also prove a flat edge result. Some various examples are also given…
We continue our study of the chemical (graph) distance inside large critical percolation clusters in dimension two. We prove new estimates, which involve the three-arm probability, for the point-to-surface and point-to-point distances. We show that the point-to-point distance in $\mathbb{Z}^2$ between two points in the same critical percolation cluster has infinite second moment. We also give quantitative versions of our previous results comparing the length of the shortest crossing to that of the lowest crossing of a box.
We consider long-range percolation in dimension $d\geq 1$, where distinct sites $x$ and $y$ are connected with probability $p_{x,y}\in[0,1]$. Assuming that $p_{x,y}$ is translation invariant and that $p_{x,y}=\|x-y\|^{-s+o(1)}$ with $s>2d$, we show that the graph distance is at least linear with the Euclidean distance.
In this paper, we establish moderate deviations for the chemical distance in Bernoulli percolation. The chemical distance between two points is the length of the shortest open path between these two points. Thus, we study the size of random fluctuations around the mean value, and also the asymptotic behavior of this mean value. The estimates we obtain improve our knowledge of the convergence to the asymptotic shape. Our proofs rely on concentration inequalities proved by Boucheron, Lugosi and Massart, and also on the approximation theory of subadditive functions initiated by Alexander.
We initiate the study on chemical distances of percolation clusters for level sets of two-dimensional discrete Gaussian free fields as well as loop clusters generated by two-dimensional random walk loop soups. One of our results states that the chemical distance between two macroscopic annuli away from the boundary for the random walk loop soup at the critical intensity is of dimension 1 with positive probability. Our proof method is based on an interesting combination of a theorem of Makarov, isomorphism theory and an entropic repulsion estimate for Gaussian free fields in the presence of a h…
The ellipses model is a continuum percolation process in which ellipses with random orientation and eccentricity are placed in the plane according to a Poisson point process. A parameter $α$ controls the tail distribution of the major axis' distribution and we focus on the regime $α\in (1,2)$ for which there exists a unique infinite cluster of ellipses and this cluster fulfills the so called highway property. We prove that the distance within this infinite cluster behaves asymptotically like the (unrestricted) Euclidean distance in the plane. We also show that the chemical distance between poi…
The chemical distance D(x,y) is the length of the shortest open path between two points x and y in an infinite Bernoulli percolation cluster. In this work, we study the asymptotic behaviour of this random metric, and we prove that, for an appropriate norm $μ$ depending on the dimension and the percolation parameter, the probability of the event \[\biggl\{0\leftrightarrow x,\frac{D(0,x)}{μ(x)}\notin (1-ε, 1+ε) \biggr\}\] exponentially decreases when $\|x\|_1$ tends to infinity. From this bound we also derive a large deviation inequality for the corresponding asymptotic shape result.
We provide the first nontrivial upper bound for the chemical distance exponent in two-dimensional critical percolation. Specifically, we prove that the expected length of the shortest horizontal crossing path of a box of side length $n$ in critical percolation on $\mathbb{Z}^2$ is bounded by $Cn^{2-δ}π_3(n)$, for some $δ>0$, where $π_3(n)$ is the "three-arm probability to distance $n$." This implies that the ratio of this length to the length of the lowest crossing is bounded by an inverse power of $n$ with high probability. In the case of site percolation on the triangular lattice, we obtain …
In this note, we describe some of the progress recently made on questions regarding the chemical distance in two-dimensional critical percolation by the author, J. Hanson, and P. Sosoe [6, 7]. It is expected that the distance between points in critical percolation clusters scales as $\|\cdot \|^{1+s}$, where $\|\cdot \|$ is the Euclidean distance and $s>0$. First, we review previous work of Aizenman-Burchard and Morrow-Zhang, which together establish a version of $0 < s \leq 1/3$. The main results of our work are in the direction of proving upper bounds on $s$, answering in [6] a question from…
In this paper we provide general conditions on a one parameter family of random infinite subsets of Z^d to contain a unique infinite connected component for which the chemical distances are comparable to the Euclidean distances, focusing primarily on models with long-range correlations. Our results are in the spirit of those by Antal and Pisztora proved for Bernoulli percolation. We also prove a shape theorem for balls in the chemical distance under such conditions. Our general statements give novel results about the structure of the infinite connected component of the vacant set of random int…
On the supercritical percolation cluster with parameter p, the distances between two distant points of the axis are asymptotically increased by a factor 1+(1-p)/2+o(1-p) with respect to the usual distance. The proof is based on an apparently new connection with the TASEP (totally asymmetric simple exclusion process).
We consider an i.i.d. supercritical bond percolation on Z^d , every edge is open with a probability p > p\_c (d), where p\_c (d) denotes the critical parameter for this percolation. We know that there exists almost surely a unique infinite open cluster C\_p [11]. We are interested in the regularity properties of the chemical distance for supercritical Bernoulli percolation. The chemical distance between two points x, y $\in$ C\_p corresponds to the length of the shortest path in C\_p joining the two points. The chemical distance between 0 and nx grows asymptotically like n$μ$\_p (x). We aim to…
Scale-free percolation is a stochastic model for complex networks. In this spatial random graph model, vertices $x,y\in\mathbb{Z}^d$ are linked by an edge with probability depending on i.i.d.\ vertex weights and the Euclidean distance $|x-y|$. Depending on the various parameters involved, we get a rich phase diagram. We study graph distances and compare it to the Euclidean distance of the vertices. Our main attention is on a regime where graph distances are (poly-)logarithmic in the Euclidean distance. We obtain improved bounds on the logarithmic exponents. In the light tail regime, the correc…
We derive an estimate for the distance, measured in lattice spacings, inside two-dimensional critical percolation clusters from the origin to the boundary of the box of side length $2n$, conditioned on the existence of an open connection. The estimate we obtain is the radial analogue of the one found in the work of Damron, Hanson, and Sosoe. In the present case, however, there is no lowest crossing in the box to compare to, so we construct a path $γ$ from the origin to distance $n$ that consists of "three-arm" points, and whose volume can thus be estimated by $O(n^2π_3(n))$. Here, $π_3(n)$ is …
We consider the standard model of i.i.d. bond percolation on $\mathbb Z^d$ of parameter $p$. When $p>p_c$, there exists almost surely a unique infinite cluster $\mathcal C_p$. Using the recent techniques of Cerf and Dembin, we prove that the variance of the graph distance in $\mathcal C_p$ between two points of $\mathcal C_p$ is sublinear. The main result extends the works of Benjamini, Kalai and Schramm, Benaim and Rossignol and Damron, Hanson and Sosoe for the study of the variance of passage times in first passage percolation without moment conditions on the edge-weight distribution.
We study the long range percolation model on $\mathbb{Z}$ where sites $i$ and $j$ are connected with probability $β|i-j|^{-s}$. Graph distances are now well understood for all exponents $s$ except in the case $s=2$ where the model exhibits non-trivial self-similar scaling. Establishing a conjecture of Benjamini and Berger \cite{BenBer:01}, we prove that the typical distance from site 0 to $n$ grows as a power law $n^{θ(β)}$ up to a multiplicative constant for some exponent $0<θ(β)<1$ as does the diameter of the graph on a box of length $n$.
We give an elementary proof that Talagrand's sub-Gaussian concentration inequality implies a limit shape theorem for first passage percolation on any Cayley graph of Z^d, with a bound on the speed of convergence that slightly improves Alexander's bounds. Our approach, which does not use the subadditive theorem, is based on proving that the average distance is close to being geodesic. Our key observation, of independent interest, is that the problem of estimating the rate of convergence for the average distance is equivalent (in a precise sense) to estimating its "level of geodesicity".
We consider large random planar maps and study the first-passage percolation distance obtained by assigning independent identically distributed lengths to the edges. We consider the cases of quadrangulations and of general planar maps. In both cases, the first-passage percolation distance is shown to behave in large scales like a constant times the usual graph distance. We apply our method to the metric properties of the classical Tutte bijection between quadrangulations with $n$ faces and general planar maps with $n$ edges. We prove that the respective graph distances on the quadrangulation a…
We consider the (unoriented) long-range percolation on Z^d in dimensions d\ge1, where distinct sites x,y\in Z^d get connected with probability p_{xy}\in[0,1]. Assuming p_{xy}=|x-y|^{-s+o(1)} as |x-y|\to\infty, where s>0 and |\cdot| is a norm distance on Z^d, and supposing that the resulting random graph contains an infinite connected component C_{\infty}, we let D(x,y) be the graph distance between x and y measured on C_{\infty}. Our main result is that, for s\in(d,2d), D(x,y)=(\log|x-y|)^{Δ+o(1)},\qquad x,y\in C_{\infty}, |x-y|\to\infty, where Δ^{-1} is the binary logarithm of 2d/s and o(1) i…
The study of random graphs has become very popular for real-life network modeling such as social networks or financial networks. Inhomogeneous long-range percolation (or scale-free percolation) on the lattice $\mathbb Z^d$, $d\ge1$, is a particular attractive example of a random graph model because it fulfills several stylized facts of real-life networks. For this model various geometric properties such as the percolation behavior, the degree distribution and graph distances have been analyzed. In the present paper we complement the picture about graph distances. Moreover, we prove continuity …
We study asymptotic percolation as $N\to \infty$ in an infinite random graph ${\cal G}_N$ embedded in the hierarchical group of order $N$, with connection probabilities depending on an ultrametric distance between vertices. ${\cal G}_N$ is structured as a cascade of finite random subgraphs of (approximate) Erdös-Renyi type. We give a criterion for percolation, and show that percolation takes place along giant components of giant components at the previous level in the cascade of subgraphs for all consecutive hierarchical distances. The proof involves a hierarchy of random graphs with vertices …
Nonhomogeneous Euclidean first-passage percolation and distance learning
IMAS-CONICET, Departamento de Matemática, Fac. Cs. Exactas y Naturales, Universidad de Buenos Aires（IMAS-CONICET，数学系，理学院，布宜诺斯艾利斯大学）；NYU-ECNU Institute of Mathematical Sciences at NYU Shanghai（纽约大学-华东师范大学上海纽约大学数学科学研究所）；Intituto de Cálculo, Fac. Cs. Exactas y Naturales, Universidad de Buenos Aires（计算研究所，理学院，布宜诺斯艾利斯大学）；Aristas S.R.L.（Aristas有限责任公司）；Departamento de Matemática, Fac. Cs. Exactas y Naturales, Universidad de Buenos Aires（数学系，理学院，布宜诺斯艾利斯大学）
We show that random walk on the incipient infinite cluster (IIC) of two-dimensional critical percolation is subdiffusive in the chemical distance (i.e., in the intrinsic graph metric). Kesten (1986) famously showed that this is true for the Euclidean distance, but it is known that the chemical distance is typically asymptotically larger. More generally, we show that subdiffusivity in the chemical distance holds for stationary random graphs of polynomial volume growth, as long as there is a multi-scale way of covering the graph so that "deep patches" have "thin backbones". Our estimates are qua…
The study of real-life network modeling has become very popular in recent years. An attractive model is the scale-free percolation model on the lattice $\mathbb{Z}^d$, $d\ge1$, because it fulfills several stylized facts observed in large real-life networks. We adopt this model to continuum space which leads to a heterogeneous random-connection model on $\mathbb{R}^d$: particles are generated by a homogeneous marked Poisson point process on $\mathbb{R}^d$, and the probability of an edge between two particles is determined by their marks and their distance. In this model we study several propert…
We study a random perturbation of the Euclidean plane, and show that it is unlikely that the distance-minimizing path between the two points can be extended into an infinite distance-minimizing path. More precisely, we study a large class of planar first-passage percolation models and show that the probability that a given site is visited by an infinite geodesic starting at the origin tends to zero uniformly with the distance. In particular, this show that the collection of infinite geodesics starting at the origin covers a negligible fraction of the plane. This provides the first progress on …
We study percolation on the hierarchical lattice of order $N$ where the probability of connection between two points separated by distance $k$ is of the form $c_k/N^{k(1+δ)},\; δ>-1$. Since the distance is an ultrametric, there are significant differences with percolation on the Euclidean lattice. There are two non-critical regimes: $δ<1$, where percolation occurs, and $δ>1$, where it does not occur. In the critical case, $δ=1$, we use an approach in the spirit of the renormalization group method of statistical physics and connectivity results of Erdős-Renyi random graphs play a key role. We f…
We study first-passage percolation on random simple triangulations and their dual maps with independent identically distributed link weights. Our main result shows that the first-passage percolation distance concentrates in an $o_p(n^{1/4})$ window around a constant multiple of the graph distance.
We exploit a connection between distances in the infinite percolation cluster, when the parameter is close to one, and the discrete-time TASEP on $\mathbb{Z}$. This shows that when the parameter goes to one, large balls in the cluster are asymptotically shaped near the axes like arcs of parabola.
We consider first passage percolation (FPP) on T_d x Z, where T_d is the d-regular tree (d>=3). It is shown that for a fixed vertex v in the tree, the fluctuation of the distance in the FPP metric between the points (v,0) and (v,n) is of the order of at most log n. We conjecture that the real fluctuations are of order 1 and explain why.
Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. We show for $d \geq 2$ that if $λ$ is supercritical for the one-type random geometric graph with distance parameter $2r$, there exists $μ$ such that $(λ,μ)$ is supercritical (this was previously known for $d=2$). For $d=2$ we also consider the restriction of this graph to points in the unit square. Taking $μ= τλ$ for fixed $τ$, we give a strong law of large numbers as $λ\to \infty$, for the connectivity threshold of thi…
In this paper we introduce the two-sided level-set for the two-dimensional discrete Gaussian free field. Then we investigate the chemical distance for the two-sided level-set percolation. Our result shows that the chemical distance should have dimension strictly larger than $1$, which in turn stimulates some tempting questions about the two-sided level-set.
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 …
Given a planar continuum Gaussian free field $h^{\mathcal U}$ in a domain $\mathcal U$ with Dirichlet boundary condition and any $δ>0$, we let $\{h_δ^{\mathcal U}(v): v\in \mathcal U\}$ be a real-valued smooth Gaussian process where $h_δ^{\mathcal U}(v)$ is the average of $h^{\mathcal U}$ along a circle of radius $δ$ with center $v$. For $γ> 0$, we study the Liouville first passage percolation (in scale $δ$), i.e., the shortest path distance in $\mathcal U$ where the weight of each path $P$ is given by $\int_P \mathrm{e}^{γh_δ^{\mathcal U}(z)} |dz|$. We show that the distance between two typic…
Many real-world networks exhibit the so-called small-world phenomenon: their typical distances are much smaller than their sizes. One mathematical model for this phenomenon is a long-range percolation graph on a $d$-dimensional box $\{0, 1, \cdots, N\}^d$, in which edges are independently added between far-away sites with probability falling off as a power of the Euclidean distance. A natural question is how the resulting diameter of the box of size $N$, measured in graph-theoretical distance, scales with $N$. This question has been intensely studied in the past and the answer depends on the e…
In this paper we study the radial and orthogonal projections and the distance sets of the random Cantor sets $E\subset \mathbb{R}^2 $ which are called Mandelbrot percolation or percolation fractals. We prove that the following assertion holds almost surely: if the Hausdorff dimension of $E$ is greater than 1 then the orthogonal projection to \textbf{every} line, the radial projection with \textbf{every} center, and distance set from \textbf{every} point contain intervals.
We investigate the weighted scale-free percolation (SFPW) model on $\mathbb Z^d$. In the SFPW model, the vertices of $\mathbb Z^d$ are assigned i.i.d. weights $(W_x)_{x\in \mathbb Z^d}$, following a power-law distribution with tail exponent $τ>1$. Conditioned on the collection of weights, the edges $(x,y)_{x, y \in \mathbb Z^d}$ are present independently with probability that a Poisson random variable with parameter $λW_x W_y/(\|x-y\|)^α$ is at least one, for some $α, λ>0$, and where $\|\cdot \|$ denotes the Euclidean distance. After the graph is constructed this way, we assign independent and…
We consider instances of long-range percolation on $\mathbb Z^d$ and $\mathbb R^d$, where points at distance $r$ get connected by an edge with probability proportional to $r^{-s}$, for $s\in (d,2d)$, and study the asymptotic of the graph-theoretical (a.k.a. chemical) distance $D(x,y)$ between $x$ and $y$ in the limit as $|x-y|\to\infty$. For the model on $\mathbb Z^d$ we show that, in probability as $|x|\to\infty$, the distance $D(0,x)$ is squeezed between two positive multiples of $(\log r)^Δ$, where $Δ:=1/\log_2(1/γ)$ for $γ:=s/(2d)$. For the model on $\mathbb R^d$ we show that $D(0,xr)$ is,…
We study local modifications of the graph distance in large random triangulations. Our main results show that, in large scales, the modified distance behaves like a deterministic constant $\mathbf{c}~\in~(0,\infty)$ times the usual graph distance. This applies in particular to the first-passage percolation distance obtained by assigning independent random weights to the edges of the graph. We also consider the graph distance on the dual map, and the first-passage percolation on the dual map with exponential edge weights, which is closely related to the so-called Eden model. In the latter two c…
Let $0<a<b<\infty$, and for each edge $e$ of $Z^d$ let $ω_e=a$ or $ω_e=b$, each with probability 1/2, independently. This induces a random metric $\dist_ω$ on the vertices of $Z^d$, called first passage percolation. We prove that for $d>1$ the distance $dist_ω(0,v)$ from the origin to a vertex $v$, $|v|>2$, has variance bounded by $C |v|/\log|v|$, where $C=C(a,b,d)$ is a constant which may only depend on $a$, $b$ and $d$. Some related variants are also discussed
Discrete Liouville first passage percolation (LFPP) with parameter $ξ> 0$ is the random metric on a sub-graph of $\mathbb Z^2$ obtained by assigning each vertex $z$ a weight of $e^{ξh(z)}$, where $h$ is the discrete Gaussian free field. We show that the distance exponent for discrete LFPP is strictly positive for all $ξ> 0$. More precisely, the discrete LFPP distance between the inner and outer boundaries of a discrete annulus of size $2^n$ is typically at least $2^{αn}$ for an exponent $α> 0$ depending on $ξ$. This is a crucial input in the proof that LFPP admits non-trivial subsequential sca…
Let $G=(V,E)$ be a connected, locally finite, transitive graph, and consider Bernoulli bond percolation on $G$. In recent work, we conjectured that if $G$ is nonamenable then the matrix of critical connection probabilities $T_{p_c}(u,v)=\mathbb{P}_{p_c}(u\leftrightarrow v)$ is bounded as an operator $T_{p_c}:L^2(V)\to L^2(V)$ and proved that this conjecture holds for several classes of graphs. We also noted in that work that the conjecture implies two older conjectures, namely that percolation on transitive nonamenable graphs always has a nontrivial nonuniqueness phase, and that critical perco…
Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. For any $λ>0$ we consider the percolation threshold $μ_c(λ)$ associated to the parameter $μ$. Denoting by $λ_c:= λ_c(2r)$ the percolation threshold for the standard Poisson Boolean model with radii $r$, we show the lower bound $μ_c(λ)\ge c\log(c/(λ-λ_c))$ for any $λ>λ_c$ with $c>0$ a fixed constant. In particular, $μ_c(λ)$ tends to infinity when $λ$ tends to $λ_c$ from above.
We consider point to point last passage times to every vertex in a neighbourhood of size $δN^{\frac{2}{3}}$, distance $N$ away from the starting point. The increments of these last passage times in this neighbourhood are shown to be jointly equal to their stationary versions with high probability that depends on $δ$ only. With the help of this result we show that 1) the $\text{Airy}_2$ process is locally close to a Brownian motion in total variation; 2) the tree of point to point geodesics starting from every vertex in a box of side length $δN^{\frac{2}{3}}$ going to a point at distance $N$ ag…
An important conjecture in percolation theory is that almost surely no infinite cluster exists in critical percolation on any transitive graph for which the critical probability is less than 1. Earlier work has established this for the amenable cases Z^2 and Z^d for large d, as well as for all non-amenable graphs with unimodular automorphism groups. We show that the conjecture holds for the basic classes of non-amenable graphs with non-unimodular automorphism groups: for decorated trees and the non-unimodular Diestel-Leader graphs. We also show that the connection probability between two verti…
We reinvestigate the 2D problem of the inhomogeneous incipient infinite cluster where, in an independent percolation model, the density decays to p_c with an inverse power, λ, of the distance to the origin. Assuming the existence of critical exponents (as is known in the case of the triangular site lattice) if the power is less than 1/ν, with νthe correlation length exponent, we demonstrate an infinite cluster with scale dimension given by D_H=2-βλ. Further, we investigate the critical case λ_c=1/νand show that iterated logarithmic corrections will tip the balance between the possibility and i…
The scaling limit of random walk and the intrinsic metric on planar critical percolation
Department of Pure Mathematics and Mathematical Statistics, University of Cambridge（剑桥大学纯数学与数理统计系）；Faculty of Mathematics, University of Vienna（维也纳大学数学学院）
