Scaling Limit and Critical Exponents for Two-Dimensional Bootstrap Percolation

Consider a cellular automaton with state space $\{0,1 \}^{{\mathbb Z}^2}$ where the initial configuration $\omega_0$ is chosen according to a Bernoulli product measure, 1's are stable, and 0's become 1's if they are surrounded by at least three neighboring 1's. In this paper we show that the configuration $\omega_n$ at time n converges exponentially fast to a final configuration $\bar\omega$, and that the limiting measure corresponding to $\bar\omega$ is in the universality class of Bernoulli (independent) percolation. More precisely, assuming the existence of the critical exponents $\beta$, $\eta$, $\nu$ and $\gamma$, and of the continuum scaling limit of crossing probabilities for independent site percolation on the close-packed version of ${\mathbb Z}^2$ (i.e., for independent $*$-percolation on ${\mathbb Z}^2$), we prove that the bootstrapped percolation model has the same scaling limit and critical exponents. This type of bootstrap percolation can be seen as a paradigm for a class of cellular automata whose evolution is given, at each time step, by a monotonic and nonessential enhancement.Comment: 15 page

Spiral Model: a cellular automaton with a discontinuous glass transition

We introduce a new class of two-dimensional cellular automata with a bootstrap percolation-like dynamics. Each site can be either empty or occupied by a single particle and the dynamics follows a deterministic updating rule at discrete times which allows only emptying sites. We prove that the threshold density $\rho_c$ for convergence to a completely empty configuration is non trivial, $0<\rho_c<1$, contrary to standard bootstrap percolation. Furthermore we prove that in the subcritical regime, $\rho<\rho_c$, emptying always occurs exponentially fast and that $\rho_c$ coincides with the critical density for two-dimensional oriented site percolation on \bZ^2. This is known to occur also for some cellular automata with oriented rules for which the transition is continuous in the value of the asymptotic density and the crossover length determining finite size effects diverges as a power law when the critical density is approached from below. Instead for our model we prove that the transition is {\it discontinuous} and at the same time the crossover length diverges {\it faster than any power law}. The proofs of the discontinuity and the lower bound on the crossover length use a conjecture on the critical behaviour for oriented percolation. The latter is supported by several numerical simulations and by analytical (though non rigorous) works through renormalization techniques. Finally, we will discuss why, due to the peculiar {\it mixed critical/first order character} of this transition, the model is particularly relevant to study glassy and jamming transitions. Indeed, we will show that it leads to a dynamical glass transition for a Kinetically Constrained Spin Model. Most of the results that we present are the rigorous proofs of physical arguments developed in a joint work with D.S.Fisher.Comment: 42 pages, 11 figure

Higher order corrections for anisotropic bootstrap percolation

We study the critical probability for the metastable phase transition of the two-dimensional anisotropic bootstrap percolation model with $(1,2)$-neighbourhood and threshold $r = 3$. The first order asymptotics for the critical probability were recently determined by the first and second authors. Here we determine the following sharp second and third order asymptotics: $$p_c\big( [L]^2,\mathcal{N}_{(1,2)},3 \big) \; = \; \frac{(\log \log L)^2}{12\log L} \, - \, \frac{\log \log L \, \log \log \log L}{ 3\log L} + \frac{\left(\log \frac{9}{2} + 1 \pm o(1) \right)\log \log L}{6\log L}.$$ We note that the second and third order terms are so large that the first order asymptotics fail to approximate $p_c$ even for lattices of size well beyond $10^{10^{1000}}$.Comment: 46 page

The time of graph bootstrap percolation

Graph bootstrap percolation, introduced by Bollob\'as in 1968, is a cellular automaton defined as follows. Given a "small" graph $H$ and a "large" graph $G = G_0 \subseteq K_n$, in consecutive steps we obtain $G_{t+1}$ from $G_t$ by adding to it all new edges $e$ such that $G_t \cup e$ contains a new copy of $H$. We say that $G$ percolates if for some $t \geq 0$, we have $G_t = K_n$. For $H = K_r$, the question about the size of the smallest percolating graphs was independently answered by Alon, Frankl and Kalai in the 1980's. Recently, Balogh, Bollob\'as and Morris considered graph bootstrap percolation for $G = G(n,p)$ and studied the critical probability $p_c(n,K_r)$, for the event that the graph percolates with high probability. In this paper, using the same setup, we determine, up to a logarithmic factor, the critical probability for percolation by time $t$ for all $1 \leq t \leq C \log\log n$.Comment: 18 pages, 3 figure