We consider the following, intuitively described process: at time zero, all sites of a binary tree are at rest. Each site becomes activated at a random uniform [0,1] time, independent of the other sites. As soon as a site is in an infinite cluster of activated sites, this cluster of activated sites freezes. The main question is whether a process like this exists. Aldous [Ald00] proved that this is the case for a slightly different version of frozen percolation. In this paper we construct a process that fits the intuitive description and discuss some properties.
We study a percolation process on the planted binary tree, where clusters freeze as soon as they become larger than some fixed parameter N. We show that as N goes to infinity, the process converges in some sense to the frozen percolation process introduced by Aldous. In particular, our results show that the asymptotic behaviour differs substantially from that on the square lattice, on which a similar process has been studied recently by van den Berg, de Lima and Nolin.
We study frozen percolation on the (planar) triangular lattice, where connected components stop growing ("freeze") as soon as their "size" becomes at least $N$, for some parameter $N \geq 1$. The size of a connected component can be measured in several natural ways, and we consider the two particular cases of diameter and volume (i.e. number of sites). Diameter-frozen and volume-frozen percolation have been studied in previous works, and they display radically different behaviors. These works adopt the rule that the boundary of a frozen cluster stays vacant forever, and we investigate the infl…
In frozen percolation, i.i.d. uniformly distributed activation times are assigned to the edges of a graph. At its assigned time, an edge opens provided neither of its endvertices is part of an infinite open cluster; in the opposite case, it freezes. Aldous (2000) showed that such a process can be constructed on the infinite 3-regular tree and asked whether the event that a given edge freezes is a measurable function of the activation times assigned to all edges. We give a negative answer to this question, or, using an equivalent formulation and terminology introduced by Aldous and Bandyopadhya…
We define a modification of the Erdos-Renyi random graph process which can be regarded as the mean field frozen percolation process. We describe the behavior of the process using differential equations and investigate their solutions in order to show the self-organized critical and extremum properties of the critical frozen percolation model. We prove two limit theorems about the distribution of the size of the component of a typical frozen vertex.
Frozen percolation on the binary tree was introduced by Aldous around fifteen years ago, inspired by sol-gel transitions. We investigate a version of the model on the triangular lattice, where connected components stop growing ("freeze") as soon as they contain at least $N$ vertices, for some parameter $N \geq 1$. This process has a substantially different behavior from the diameter-frozen process, studied in previous works: in particular, we show that many (more and more as $N \to \infty$) frozen clusters surrounding the origin appear successively, each new cluster having a diameter much smal…
Mean-field frozen percolation is a random graph-valued process, which adjusts the dynamics of the classical Erdos-Renyi process with an additional mechanism to 'freeze' potential giant components before they can form. It is known to exhibit self-organised criticality from a wide class of initial graphs. We show that a family of inhomogeneous random graphs with finitely-many types form a stable class under these dynamics. We study how the survival of a vertex depends on its initial type, and establish a hydrodynamic limit for the process recording surviving vertices of each type, in terms of mu…
We study a percolation model on the square lattice, where clusters "freeze" (stop growing) as soon as their volume (i.e. the number of sites they contain) gets larger than N, the parameter of the model. A model where clusters freeze when they reach diameter at least N was studied in earlier papers. Using volume as a way to measure the size of a cluster - instead of diameter - leads, for large N, to a quite different behavior (contrary to what happens on the binary tree, where the volume model and the diameter model are "asymptotically the same"). In particular, we show the existence of a seque…
Aldous introduced a modification of the bond percolation process on the binary tree where clusters stop growing (freeze) as soon as they become infinite. We investigate the site version of this process on the triangular lattice where clusters freeze as soon as they reach L infinity diameter at least N for some parameter N. We show that, informally speaking, in the limit N goes to infinity, the clusters only freeze in the critical window of site percolation on the triangular lattice. Hence the fraction of vertices that eventually (i. e. at time 1) are in a frozen cluster tends to 0 as N goes to…
We study two closely related processes on the triangular lattice: frozen percolation, where connected components of occupied vertices freeze (they stop growing) as soon as they contain at least $N$ vertices, and forest fire processes, where connected components burn (they become entirely vacant) at rate $ζ> 0$. In this paper, we prove that when the density of occupied sites approaches the critical threshold for Bernoulli percolation, both processes display a striking phenomenon: the appearance of near-critical "avalanches". More specifically, we analyze the avalanches, all the way up to the na…
Consider critical site percolation on a "nice" planar lattice: each vertex is occupied with probability $p = p_c$, and vacant with probability $1 - p_c$. Now, suppose that additional vacancies ("holes", or "impurities") are created, independently, with some small probability, i.e. the parameter $p_c$ is replaced by $p_c - \varepsilon$, for some small $\varepsilon > 0$. A celebrated result by Kesten says, informally speaking, that on scales below the characteristic length $L(p_c - \varepsilon)$, the connection probabilities remain of the same order as before. We prove a substantial and subtle g…
Aldous constructed a growth process for the binary tree where clusters freeze as soon as they become infinite. It was pointed out by Benjamini and Schramm that such a process does not exist for the square lattice. This motivated us to investigate the modified process on the square lattice, where clusters freeze as soon as they have diameter larger than or equal to N, the parameter of the model. The non-existence result, mentioned above, raises the question if the N-parameter model shows some 'anomalous' behaviour as N tends to infinity. For instance, if one looks at the cluster of a given vert…
We provide a new exponential concentration inequality for First Passage Percolation valid for a wide class of edge times distributions. This improves and extends a result by Benjamini, Kalai and Schramm which gave a variance bound for Bernoulli edge times. Our approach is based on some functional inequalities extending the work of Rossignol and Falik and Samorodnitsky.
The Marked Binary Branching Tree (MBBT) is the family tree of a rate one binary branching process, on which points have been generated according to a rate one Poisson point process, with i.i.d. uniformly distributed activation times assigned to the points. In frozen percolation on the MBBT, initially, all points are closed, but as time progresses points can become either frozen or open. Points become open at their activation times provided they have not become frozen before. Open points connect the parts of the tree below and above it and one says that a point percolates if the tree above it i…
We extend a Gaussian functional inequality to a countable product of Gaussian measures. This inequality improves on the classical Poincare inequality for Gaussian measures. As an application, we prove that First Passage Percolation has sublinear variance when the edge times distribution belongs to a wide class of continuous distributions, including the exponential one. This extends a result by Benjamini, Kalai and Schramm, valid for positive Bernoulli edge times.
In the polluted bootstrap percolation model, vertices of the cubic lattice $\mathbb{Z}^3$ are independently declared initially occupied with probability $p$ or closed with probability $q$. Under the standard (respectively, modified) bootstrap rule, a vertex becomes occupied at a subsequent step if it is not closed and it has at least $3$ occupied neighbors (respectively, an occupied neighbor in each coordinate). We study the final density of occupied vertices as $p,q\to 0$. We show that this density converges to $1$ if $q \ll p^3(\log p^{-1})^{-3}$ for both standard and modified rules. Our pri…
This paper has been withdrawn by the author because of finding a flaw in the proof of endogeny for the Frozen Percolation RDE which was one of two examples discussed in this paper. The other example is correct and can be obtained from the work "Bivariate Uniqueness and Endogeny for the Logistic Recursive Distributional Equation" of the author. At the current moment we believe that endogeny is false for the Frozen Percolation RDE. Fresh simulations done independently by the author and David J. Aldous suggest non-endogeny. Although a rigorous proof is yet to be found. It is interesting to note t…
We consider (near-)critical percolation on the square lattice. Let M_n be the size of the largest open cluster contained in the box [-n,n]^2, and let pi(n) be the probability that there is an open path from O to the boundary of the box. It is well-known that for all 0< a < b the probability that M_n is smaller than an^2 pi(n) and the probability that M_n is larger than bn^2 pi(n) are bounded away from 0 as n tends to infinity. It is a natural question, which arises for instance in the study of so-called frozen-percolation processes, if a similar result holds for the probability that M_n is bet…
In the modified bootstrap percolation model, sites in the cube {1,...,L}^d are initially declared active independently with probability p. At subsequent steps, an inactive site becomes active if it has at least one active nearest neighbour in each of the d dimensions, while an active site remains active forever. We study the probability that the entire cube is eventually active. For all d>=2 we prove that as L\to\infty and p\to 0 simultaneously, this probability converges to 1 if L=exp^{d-1} (lambda+epsilon)/p, and converges to 0 if L=exp^{d-1} (lambda-epsilon)/p, for any epsilon>0. Here exp^n…
Bootstrap percolation is a type of cellular automaton on graphs, introduced as a simple model of the dynamics of ferromagnetism. Vertices in a graph can be in one of two states: `healthy' or `infected' and from an initial configuration of states, healthy vertices become infected by local rules. While the usual bootstrap processes are monotone in the sets of infected vertices, in this paper, a modification is examined in which infected vertices can return to a healthy state. Vertices are initially infected independently at random and the central question is whether all vertices eventually becom…
We study the evolution of percolation with freezing. Specifically, we consider cluster formation via two competing processes: irreversible aggregation and freezing. We find that when the freezing rate exceeds a certain threshold, the percolation transition is suppressed. Below this threshold, the system undergoes a series of percolation transitions with multiple giant clusters ("gels") formed. Giant clusters are not self-averaging as their total number and their sizes fluctuate from realization to realization. The size distribution F_k, of frozen clusters of size k, has a universal tail, F_k ~…
In this paper a random graph model $G_{\mathbb{Z}^2_N,p_d}$ is introduced, which is a combination of fixed torus grid edges in $(\mathbb{Z}/N \mathbb{Z})^2$ and some additional random ones. The random edges are called long, and the probability of having a long edge between vertices $u,v\in(\mathbb{Z}/N \mathbb{Z})^2$ with graph distance $d$ on the torus grid is $p_d=c/Nd$, where $c$ is some constant. We show that, {\em whp}, the diameter $D(G_{\mathbb{Z}^2_N,p_d})=Θ(\log N)$. Moreover, we consider non-monotonous bootstrap percolation on $G_{\mathbb{Z}^2_N,p_d}$. We prove the presence of phase …
This is the second, and last paper in which we address the behavior of oriented first passage percolation on the hypercube in the limit of large dimensions. We prove here that the extremal process converges to a Cox process with exponential intensity. This entails, in particular, that the first passage time converges weakly to a random shift of the Gumbel distribution. The random shift, which has an explicit, universal distribution related to modified Bessel functions of the second kind, is the sole manifestation of correlations ensuing from the geometry of Euclidean space in infinite dimensio…
We study a generalization of site percolation on a simple cubic lattice, where not only single sites are removed randomly, but also entire parallel columns of sites. We show that typical clusters near the percolation transition are very anisotropic, with different scaling exponents for the sizes parallel and perpendicular to the columns. Below the critical point there is a Griffiths phase where cluster size distributions and spanning probabilities in the direction parallel to the columns have power law tails with continuously varying non-universal powers. This region is very similar to the Gri…
In r-neighbour bootstrap percolation on the vertex set of a graph G, vertices are initially infected independently with some probability p. At each time step, the infected set expands by infecting all uninfected vertices that have at least r infected neighbours. We study the distribution of the time t at which all vertices become infected. Given t = t(n) = o(log n/log log n), we prove a sharp threshold result for the probability that percolation occurs by time t in d-neighbour bootstrap percolation on the d-dimensional discrete torus T_n^d. Moreover, we show that for certain ranges of p = p(n)…
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…
We consider a random object that is associated with both random walks and random media, specifically, the superposition of a configuration of subcritical Bernoulli percolation on an infinite connected graph and the trace of the simple random walk on the same graph. We investigate asymptotics for the number of vertices of the enlargement of the trace of the walk until a fixed time, when the time tends to infinity. This process is more highly self-interacting than the range of random walk, which yields difficulties. We show a law of large numbers on vertex-transitive transient graphs. We compare…
We modify the definition of Aldous' multiplicative coalescent process and introduce the multiplicative coalescent with linear deletion (MCLD). A state of this process is a square-summable decreasing sequence of cluster sizes. Pairs of clusters merge with a rate equal to the product of their sizes and clusters are deleted with a rate linearly proportional to their size. We prove that the MCLD is a Feller process. This result is a key ingredient in the description of scaling limits of the evolution of component sizes of the mean field frozen percolation model and the so-called rigid representati…
We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneous in space and is driven by the $γ$-Liouville measure associated with a two-dimensional log-correlated field $h$. Roughly speaking, this continuum percolation process evolves very rapidly where the f…
Given a recursive distributional equation (RDE) and a solution $μ$ of it, we consider the tree indexed invariant process called the recursive tree process (RTP) with marginal $μ$. We introduce a new type of bivariate uniqueness property which is different from the one defined by Aldous and Bandyopadhyay (2005), and we prove that this property is equivalent to tail-triviality for the RTP, thus obtaining a necessary and sufficient condition to determine tail-triviality for a RTP in general. As an application we consider Aldous' (2000) construction of the frozen percolation process on a infinite …
The self-destructive percolation model is defined as follows: Consider percolation with parameter $p > p_c$. Remove the infinite occupied cluster. Finally, give each vertex (or, for bond percolation, each edge) that at this stage is vacant, an extra chance $δ$ to become occupied. Let $δ_c(p)$ be the minimal value of $δ$, needed to obtain an infinite occupied cluster in the final configuration. This model was introduced some years ago by van den Berg and Brouwer. They showed that, for the site model on the square lattice (and a few other 2D lattices satisfying a special technical condition) tha…
In the bootstrap percolation model, sites in an L by L square are initially infected independently with probability p. At subsequent steps, a healthy site becomes infected if it has at least 2 infected neighbours. As (L,p)->(infinity,0), the probability that the entire square is eventually infected is known to undergo a phase transition in the parameter p log L, occurring asymptotically at lambda = pi^2/18. We prove that the discrepancy between the critical parameter and its limit lambda is at least Omega((log L)^(-1/2)). In contrast, the critical window has width only Theta((log L)^(-1)). For…
In the bootstrap percolation model, sites in an $L$ by $L$ square are initially independently declared active with probability $p$. At each time step, an inactive site becomes active if at least two of its four neighbours are active. We study the behaviour as $p \to 0$ and $L \to \infty$ simultaneously of the probability $I(L,p)$ that the entire square is eventually active. We prove that $I(L,p) \to 1$ if $\liminf p \log L > λ$, and $I(L,p) \to 0$ if $\limsup p \log L < λ$, where $λ= π^2/18$. We prove the same behaviour, with the same threshold $λ$, for the probability $J(L,p)$ that a site is …
Random constraint satisfaction problems undergo several phase transitions as the ratio between the number of constraints and the number of variables is varied. When this ratio exceeds the satisfiability threshold no more solutions exist; the satisfiable phase, for less constrained problems, is itself divided in an unclustered regime and a clustered one. In the latter solutions are grouped in clusters of nearby solutions separated in configuration space from solutions of other clusters. In addition the rigidity transition signals the appearance of so-called frozen variables in typical solutions…
We study forest fire processes in two dimensions. On a given planar lattice, vertices independently switch from vacant to occupied at rate $1$ (initially they are all vacant), and any connected component "is burnt" (its vertices become instantaneously vacant) as soon as its cardinality crosses a (typically large) threshold $N$, the parameter of the model. Our analysis provides a detailed description, as $N \to \infty$, of the process near and beyond the critical time $t_c$ (at which an infinite cluster would arise in the absence of fires). In particular we prove a somewhat counterintuitive res…
