We present a coupled decreasing sequence of random walks on $ \mathbb Z $ that dominates the edge process of oriented-bond percolation in two dimensions. Using the concept of "random walk in a strip ", we construct an algorithm that generates an increasing sequence of lower bounds that converges to the critical probability of oriented-bond percolation. Numerical calculations of the first ten lower bounds thereby generated lead to an improved,i.e. higher, rigorous lower bound to this critical probability, viz. $p_{c} \geq 0.63328 $. Finally a computer simulation technique is presented; the use thereof establishes 0.64450 as a non-rigorous five-digit-precision (lower) estimate for $p_{c}$.
Two vertices are said to be finitely connected if they belong to the same cluster and this cluster is finite. We derive sharp asymptotics for finite connection probabilities for supercritical Bernoulli bond percolation on Z^2.
We provide a complete proof of the diagrammatic bounds on the lace-expansion coefficients for oriented percolation, which are used in [arXiv:math/0703455] to investigate critical behavior for long-range oriented percolation above 2\min{α,2} spatial dimensions.
We prove Ornstein-Zernike behaviour in every direction for finite connection functions of bond percolation on $\mathbb{Z}^{d}$ for $d\geq3$ when $p,$ the probability of occupation of a bond, is sufficiently close to $1.$ Moreover, we prove that equi-decay surfaces are locally analytic, strictly convex, with positive Gaussian curvature.
We consider independent edge percolation models on Z, with edge occupation probabilities p_<x,y> = p if |x-y| = 1, 1 - exp{- beta / |x-y|^2} otherwise. We prove that oriented percolation occurs when beta > 1 provided p is chosen sufficiently close to 1, answering a question posed in [Commun. Math. Phys. 104, 547 (1986)]. The proof is based on multi-scale analysis.
We consider random walk and self-avoiding walk whose 1-step distribution is given by $D$, and oriented percolation whose bond-occupation probability is proportional to $D$. Suppose that $D(x)$ decays as $|x|^{-d-α}$ with $α>0$. For random walk in any dimension $d$ and for self-avoiding walk and critical/subcritical oriented percolation above the common upper-critical dimension $d_{\mathrm{c}}\equiv2(α\wedge2)$, we prove large-$t$ asymptotics of the gyration radius, which is the average end-to-end distance of random walk/self-avoiding walk of length $t$ or the average spatial size of an oriente…
All (in)homogeneous bond percolation models on the square, triangular, and hexagonal lattices belong to the same universality class, in the sense that they have identical critical exponents at the critical point (assuming the exponents exist). This is proved using the star-triangle transformation and the box-crossing property. The exponents in question are the one-arm exponent $ρ$, the 2j-alternating-arms exponents $ρ_{2j}$ for $j\ge1$, the volume exponent $δ$, and the connectivity exponent $η$. By earlier results of Kesten, this implies universality also for the near-critical exponents $β$, $…
In an investigation of percolation on isoradial graphs, we prove the criticality of canonical bond percolation on isoradial embeddings of planar graphs, thus extending celebrated earlier results for homogeneous and inhomogeneous square, triangular, and other lattices. This is achieved via the star-triangle transformation, by transporting the box-crossing property across the family of isoradial graphs. As a consequence, we obtain the universality of these models at the critical point, in the sense that the one-arm and 2j-alternating-arm critical exponents (and therefore also the connectivity an…
We consider oriented percolation on Z^d times Z_+ whose bond-occupation probability is pD(...), where p is the percolation parameter and D is a probability distribution on Z^d. Suppose that D(x) decays as |x|^{-d-α} for some α>0. We prove that the two-point function obeys an infrared bound which implies that various critical exponents take on their respective mean-field values above the upper-critical dimension 2\min{α,2}. We also show that, for every k, the Fourier transform of the normalized two-point function at time n, with a proper spatial scaling, has a convergent subsequence to exp(-c|k…
We consider simple random walk on the incipient infinite cluster for the spread-out model of oriented percolation on $Z^d \times Z_+$. In dimensions $d>6$, we obtain bounds on exit times, transition probabilities, and the range of the random walk, which establish that the spectral dimension of the incipient infinite cluster is 4/3, and thereby prove a version of the Alexander--Orbach conjecture in this setting. The proof divides into two parts. One part establishes general estimates for simple random walk on an arbitrary infinite random graph, given suitable bounds on volume and effective resi…
We prove that the Fourier transform of the properly-scaled normalized two-point function for sufficiently spread-out long-range oriented percolation with index α>0 converges to e^{-C|k|^{α\wedge2}} for some C\in(0,\infty) above the upper-critical dimension 2(α\wedge2). This answers the open question remained in the previous paper [arXiv:math/0703455]. Moreover, we show that the constant C exhibits crossover at α=2, which is a result of interactions among occupied paths. The proof is based on a new method of estimating fractional moments for the spatial variable of the lace-expansion coefficien…
The star-triangle transformation is used to obtain an equivalence extending over the set of all (in)homogeneous bond percolation models on the square, triangular and hexagonal lattices. Among the consequences are box-crossing (RSW) inequalities for such models with parameter-values at which the transformation is valid. This is a step toward proving the universality and conformality of these processes. It implies criticality of such values, thereby providing a new proof of the critical point of inhomogeneous systems. The proofs extend to certain isoradial models to which previous methods do not…
Consider nearest-neighbor oriented percolation in $d+1$ space-time dimensions. Let $ρ,η,ν$ be the critical exponents for the survival probability up to time $t$, the expected number of vertices at time $t$ connected from the space-time origin, and the gyration radius of those vertices, respectively. We prove that the hyperscaling inequality $dν\geη+2ρ$, which holds for all $d\ge1$ and is a strict inequality above the upper-critical dimension 4, becomes an equality for $d=1$, i.e., $ν=η+2ρ$, provided existence of at least two among $ρ,η,ν$. The key to the proof is the recent result on the criti…
Recently, Holmes and Perkins identified conditions which ensure that for a class of critical lattice models the scaling limit of the range is the range of super-Brownian motion. One of their conditions is an estimate on a spatial moment of order higher than four, which they verified for the sixth moment for spread-out lattice trees in dimensions $d>8$. Chen and Sakai have proved the required moment estimate for spread-out critical oriented percolation in dimensions $d+1>4+1$. We prove estimates on all moments for the spread-out critical contact process in dimensions $d>4$, which in particular …
We consider the following oriented percolation model of $\mathbb {N} \times \mathbb{Z}^d$: we equip $\mathbb {N}\times \mathbb{Z}^d$ with the edge set $\{[(n,x),(n+1,y)] | n\in \mathbb {N}, x,y\in \mathbb{Z}^d\}$, and we say that each edge is open with probability $p f(y-x)$ where $f(y-x)$ is a fixed non-negative compactly supported function on $\mathbb{Z}^d$ with $\sum_{z\in \mathbb{Z}^d} f(z)=1$ and $p\in [0,\inf f^{-1}]$ is the percolation parameter. Let $p_c$ denote the percolation threshold ans $Z_N$ the number of open oriented-paths of length $N$ starting from the origin, and study the g…
We investigate Laplacians on supercritical bond-percolation graphs with different boundary conditions at cluster borders. The integrated density of states of the Dirichlet Laplacian is found to exhibit a Lifshits tail at the lower spectral edge, while that of the Neumann Laplacian shows a van Hove asymptotics, which results from the percolating cluster. At the upper spectral edge, the behaviour is reversed.
We give the first properties of independent Bernoulli percolation, for oriented graphs on the set of vertices $\Z^d$ that are translation-invariant and may contain loops. We exhibit some examples showing that the critical probability for the existence of an infinite cluster may be direction-dependent. Then, we prove that the phase transition in a given direction is sharp, and study the links between percolation and first-passage percolation on these oriented graphs.
We study the continuum percolation model, which is defined on $\mathbb{Z}^d\times \mathbb{R}$ so that the connections in the continuous directions are not oriented in time, with quasiperiodically disordered fields. The oriented version of the model is the contact process. We consider intermediate strengths of disorder of the fields and show stretched exponential decay of correlations.
We investigate a limit theorem on traversable length inside semi-cylinder in the 2-dimensional supercritical Bernoulli bond percolation, which gives an extension of Theorem 2 in Grimmett(1981). This type of limit theorems was originally studied for the extinction time for the 1-dimensional contact process on a finite interval in Wagner and Anantharam(2005). Actually, our main result Theorem 2.1 is stated under a rather general 2-dimensional bond percolation setting.
We use the connection between bond percolation and SIR epidemics to establish lower bounds for the critical percolation probability in $2$ and $3$ dimensions as the range becomes large. The bound agrees with the conjectured asymptotics for the long range critical probability, refines results of M. Penrose, and complements results of van der Hofstad and Sakai in dimensions greater than $6$.
Bond-percolation graphs are random subgraphs of the d-dimensional integer lattice generated by a standard bond-percolation process. The associated graph Laplacians, subject to Dirichlet or Neumann conditions at cluster boundaries, represent bounded, self-adjoint, ergodic random operators with off-diagonal disorder. They possess almost surely the non-random spectrum [0,4d] and a self-averaging integrated density of states. The integrated density of states is shown to exhibit Lifshits tails at both spectral edges in the non-percolating phase. While the characteristic exponent of the Lifshits tai…
An upper bound for the critical probability of long range bond percolation in $d=2$ and $d=3$ is obtained by connecting the bond percolation with the SIR epidemic model, thus complementing the lower bound result in Frei and Perkins arXiv:arch-ive/1603.04130. A key ingredient is that we establish a uniform bound for the local times of branching random walk by calculating their exponential moments and by using the discrete versions of Tanaka's formula and Garsia's Lemma.
We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP.
These notes fill in results about oriented percolation that are required for the paper [3] ("Forward clusters for degenerate random environments"). Since these are essentially modifications of results found in other sources (but adapted to the model we particularly need), there is no intention to publish these.
We show that oriented percolation occurs whenever a condition is satisfied called "exponential intersection tails". This condition says that a measure on paths exists for which the probability of two independent paths intersecting in more than k sites is exponentially small in k.
For the d-dimensional model of a subcritical bond percolation (p<p_c) and a point \vec{a} in Z^d, we prove that a cluster conditioned on connecting points (0,...,0) and n\vec{a} if scaled by 1/(n|vec{a}|) along \vec{a} and by 1/sqrt{n} in the orthogonal direction converges asymptotically to Time x (d-1)-dimensional Brownian Bridge.
On a large finite connected graph let edges $e$ become "open" at independent random Exponential times of arbitrary rates $w_e$. Under minimal assumptions, the time at which a giant component starts to emerge is weakly concentrated around its mean.
We consider Bernoulli bond percolation on oriented regular trees, where besides the usual short bonds, all bonds of a certain length are added. Independently, short bonds are open with probability $p$ and long bonds are open with probability $q$. We study properties of the critical curve which delimits the set of pairs $(p,q)$ for which there are almost surely no infinite paths. We also show that this curve decreases with respect to the length of the long bonds.
We study the number $N\_n$ of open paths of length $n$ in supercritical oriented percolation on $\Zd \times \N$, with $d \ge 1$. We prove that on the percolation event $\{\inf N\_n\textgreater{}0\}$, $N\_n^{1/n}$ almost surely converges to a positive deterministic constant. We also study the existence of directional limits. The proof relies on the introduction of adapted sequences of regenerating times, on subadditive arguments and on the properties of the coupled zone in supercritical oriented percolation.
We consider a dilute lattice obtained from the usual $\mathbb{Z}^3$ lattice by removing independently each of its columns with probability $1-ρ$. In the remaining dilute lattice independent Bernoulli bond percolation with parameter $p$ is performed. Let $ρ\mapsto p_c(ρ)$ be the critical curve which divides the subcritical and supercritical phases. We study the behavior of this curve near the disconnection threshold $ρ_c = p_c^{\text{site}}(\mathbb{Z}^2)$ and prove that, uniformly over $ρ$ it remains strictly below $1/2$ (the critical point for bond percolation on the square lattice $\mathbb{Z}…
We consider different problems within the general theme of long-range percolation on oriented graphs. Our aim is to settle the so-called truncation question, described as follows. We are given probabilities that certain long-range oriented bonds are open; assuming that the sum of these probabilities is infinite, we ask if the probability of percolation is positive when we truncate the graph, disallowing bonds of range above a possibly large but finite threshold. We give some conditions in which the answer is affirmative. We also translate some of our results on oriented percolation to the cont…
In Poisson percolation each edge becomes open after an independent exponentially distributed time with rate that decreases in the distance from the origin. As a sequel to our work on the square lattice, we describe the limiting shape of the component containing the origin in the oriented case. We show that the density of occupied sites at height $y$ in the cluster is close to the percolation probability in the corresponding homogeneous percolation process, and we study the fluctuations of the boundary.
Previously, Sarkar and Sun have shown that for supercritical oriented percolation in dimension $1+1$, the set of rightmost infinite open paths converges to the Brownian web after proper centering and scaling. In this note, we show that a pair of sticky Brownian webs arise naturally if one considers the set of right-most infinite open paths for two coupled percolation configurations with distinct (but close) percolation parameters. This leads to a natural conjecture on the convergence of the dynamical supercritical oriented percolation model to the so-called dynamical Brownian web.
A useful result about leftmost and rightmost paths in two dimensional bond percolation is proved. This result was introduced without proof in \cite{G} in the context of the contact process in continuous time. As discussed here, it also holds for several related models, including the discrete time contact process and two dimensional site percolation. Among the consequences are a natural monotonicity in the probability of percolation between different sites and a somewhat counter-intuitive correlation inequality.
Tile (\mathbb{R}^2\) into disjoint unit squares (\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that (S_i\) and (S_j\) are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. Outermost boundaries of finite star and plus connected components frequently arise in the context of contour analysis in percolation and random graphs. In this paper, we derive the outermost boundaries for finite star and plus connected components using a piecewise cycle merging algorithm. For plus connected components, the oute…
It is shown that oriented random walk on the Heisenberg group admits exponential intersection tail. As a corollary we get that on any transitive graph of polynomial volume growth, which is not a finite extension of $\mathbb{Z}, \mathbb{Z}^2$, the infinite cluster of percolation with retention parameter $p$, close enough to $1$, is transient.
Consider an independent site percolation model with parameter $p \in (0,1)$ on $\Z^d,\ d\geq 2$ where there are only nearest neighbor bonds and long range bonds of length $k$ parallel to each coordinate axis. We show that the percolation threshold of such model converges to $p_c(\Z^{2d})$ when $k$ goes to infinity, the percolation threshold for ordinary (nearest neighbour) percolation on $\Z^{2d}$. We also generalize this result for models whose long range bonds have several lengths.
In this paper, we alternately obtain the almost sure uniqueness of the infinite open cluster in bond percolation in $\mathbb{Z}^d, d \geq 2,$ without requiring the use of ergodicity of translation action. If $N$ denotes the number of infinite open clusters, we use the Burton-Keane argument to get $N \in \{0,1,2\}$ a.s. and then use a pivotal edges argument to obtain that $N \in \{0,1\}$ a.s.
We report on the exact treatment of a random-matrix representation of bond percolation model on a square lattice in two dimensions with occupation probability $p$. The percolation problem is mapped onto a random complex matrix composed of two random real-valued matrices of elements $+1$ and $-1$ with probability $p$ and $1-p$, respectively. We find that the onset of percolation transition can be detected by the emergence of power-law divergences due to the coalescence of the first two extreme eigenvalues in the thermodynamic limit. We develop a universal finite-size scaling law that fully char…
Consider an anisotropic independent bond percolation model on the $d$-dimensional hypercubic lattice, $d\geq 2$, with parameter $p$. We show that the two point connectivity function $P_{p}(\{(0,\dots,0)\leftrightarrow (n,0,\dots,0)\})$ is a monotone function in $n$ when the parameter $p$ is close enough to 0. Analogously, we show that truncated connectivity function $P_{p}(\{(0,\dots,0)\leftrightarrow (n,0,\dots,0), (0,\dots,0)\nleftrightarrow\infty\})$ is also a monotone function in $n$ when $p$ is close to 1.
In this paper we are concerned with contact processes on open clusters of oriented percolation in $Z^d$, where the disease spreads along the direction of open edges. We show that the two critical infection rates in the quenched and annealed cases are equal with probability one and are asymptotically equal to $(dp)^{-1}$ as the dimension $d$ grows to infinity, where $p$ is the probability of edge `open'.
We prove that the free energy of directed polymer in Bernoulli environment converges to the growth rate for the number of open paths in super-critical oriented percolation as the temperature tends to zero. Our proof is based on rate of convergence results which hold uniformly in the temperature. We also prove that the convergence rate is locally uniform in the percolation parameter inside the super-critical phase, which implies that the growth rate depends continuously on the percolation parameter.
We consider an i.i.d. supercritical bond percolation on $\mathbb{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$ [7]. We are interested in the regularity properties in p of the anchored isoperimetric profile of the infinite cluster $C_p$. For $d\ge2$, we prove that the anchored isoperimetric profile defined in [4] is Lipschitz continuous on all intervals $[p_0 , p_1 ] \subset (p_c (d), 1)$.
We consider anisotropic independent bond percolation models on the slab $\Z^2\times\{0,\dots,k\}$, where we suppose that the axial (vertical) bonds are open with probability $p$, while the radial (horizontal) bonds are open with probability $q$. We study the critical curves for these models and establish their continuity and strict monotonicity.
We consider a weighted random walk on the backbone of an oriented percolation cluster. We determine necessary conditions on the weights for Brownian scaling limits under the annealed and the quenched law. This model is a random walk in dynamic random environment (RWDRE), where the environment is mixing, non-Markovian and not elliptic. We provide a generalization of results obtained previously by Birkner et al. (2013).
In this paper we study anisotropic oriented percolation on $\mathbb{Z}^d$ for $d\geq 4$ and show that the local condition for phase transition is closely related to the mean-field condition. More precisely, we show that if the sum of the local probabilities is strictly greater than one and each probability is not too large, then percolation occurs.
We consider the anchored isoperimetric profile of the infinite open cluster, defined for $p > p\_c$, whose existence has been recently proved in [3]. We extend adequately the definition for $p = p\_c$, in finite boxes. We prove a partial result which implies that, if the limit defining the anchored isoperimetric profile at $p\_c$ exists, it has to vanish.
We consider the bond percolation model on the lattice $\mathbb{Z}^d$ ($d\ge 2$) with the constraint to be fully connected. Each edge is open with probability $p\in(0,1)$, closed with probability $1-p$ and then the process is conditioned to have a unique open connected component (bounded or unbounded). The model is defined on $\mathbb{Z}^d$ by passing to the limit for a sequence of finite volume models with general boundary conditions. Several questions and problems are investigated: existence, uniqueness, phase transition, DLR equations. Our main result involves the existence of a threshold $0…
We prove that, after centering and diffusively rescaling space and time, the collection of rightmost infinite open paths in a supercritical oriented percolation configuration on the space-time lattice Z^2_{even}:={(x,i) in Z^2: x+i is even} converges in distribution to the Brownian web. This proves a conjecture of Wu and Zhang. Our key observation is that each rightmost infinite open path can be approximated by a percolation exploration cluster, and different exploration clusters evolve independently before they intersect.
We construct the uniform infinite planar map (UIPM), obtained as the n \to \infty local limit of planar maps with n edges, chosen uniformly at random. We then describe how the UIPM can be sampled using a "peeling" process, in a similar way as for uniform triangulations. This process allows us to prove that for bond and site percolation on the UIPM, the percolation thresholds are p_c^bond=1/2 and p_c^site=2/3 respectively. This method also works for other classes of random infinite planar maps, and we show in particular that for bond percolation on the uniform infinite planar quadrangulation, t…
We investigate bond percolation on the iterated barycentric subdivision of a triangle, the hexacarpet, and the non-p.c.f. Sierpinski gasket. With the use of the diamond fractal, we are able to bound the critical probability of percolation on the non-p.c.f. gasket and the iterated barycentric subdivision of a triangle from above by 0.282. We then show how both the gasket and hexacarpet fractals are related via the iterated barycentric subdivisions of a triangle: the two spaces exhibit duality properties although they are not themselves dual graphs. Finally we show the existence of a non-trivial…
