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.
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 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…
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…
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 the problem of continuum percolation in infinite volume Gibbs measures for particles with an attractive pair potential, with a focus on low temperatures (large $β$). The main results are bounds on percolation thresholds $ρ_\pm(β)$ in terms of the density rather than the chemical potential or activity. In addition, we prove a variational formula for a large deviations rate function for cluster size distributions. This formula establishes a link with the Gibbs variational principle and a form of equivalence of ensembles, and allows us to combine knowledge on finite volume, canonical Gib…
We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li and the first author. In three dimensions and higher, we provide rather sharp estimates of percolation probabilities in different regimes which altogether describe a sharp phase transition.
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 introduce a continuum percolation model defined on the points of a d-dimensional homogeneous Poisson process. Each Poisson point is connected to all points within its connection range, which depends on the distances to the other Poisson points. We show that the new model exhibits a phase transition, and obtain results about the critical values in low and high dimensions.
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.
We consider first passage percolation on the configuration model. Once the network has been generated each edge is assigned an i.i.d. weight modeling the passage time of a message along this edge. Then independently two vertices are chosen uniformly at random, a sender and a recipient, and all edges along the geodesic connecting the two vertices are coloured in red (in the case that both vertices are in the same component). In this article we prove local limit theorems for the coloured graph around the recipient in the spirit of Benjamini and Schramm. We consider the explosive regime, in which…
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…
We compare the probabilities of arm events in two-dimensional invasion percolation to those in critical percolation. Arm events are defined by the existence of a prescribed color sequence of invaded and non-invaded connections from the origin to distance n. We find that, for sequences of a particular form, arm probabilities in invasion percolation and critical percolation are comparable, uniformly in n, while they differ by a power of n for all others. A corollary of our results is the existence, on the triangular lattice, of arm exponents for invasion percolation, for any color sequence with …
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…
Motivated by an application in wireless telecommunication networks, we consider a two-type continuum-percolation problem involving a homogeneous Poisson point process of users and a stationary and ergodic point process of base stations. Starting from a randomly chosen point of the Poisson point process, we investigate distribution of the minimum number of hops that are needed to reach some point of the second point process. In the supercritical regime of continuum percolation, we use the close relationship between Euclidean and chemical distance to identify the distributional limit of the resc…
We derive "quenched" subdiffusive lower bounds for the exit time tau(n) from a box of size n for the simple random walk on the planar invasion percolation cluster. The first part of the paper is devoted to proving an almost sure analog of H. Kesten's subdiffusivity theorem for the random walk on the incipient infinite cluster and the invasion percolation cluster using ideas of M. Aizenman, A. Burchard and A. Pisztora. The proof combines lower bounds on the instrinsic distance in these graphs and general inequalities for reversible Markov chains. In the second part of the paper, we present a sh…
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 Bernoulli percolation on a locally finite quasi-transitive unimodular graph and prove that two infinite clusters cannot have infinitely many pairs of vertices at distance 1 from one another or, in other words, that such graphs exhibit ``cluster repulsion.'' This partially answers a question of Häggström, Peres and Schonmann.
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…
