Source: Ann. Appl. Probab. Volume 18, Number 3
(2008), 909-928.
In the bootstrap percolation model, sites in an L×L square are initially infected independently with probability p. At subsequent steps, a healthy site becomes infected if it has at least two infected neighbors. As (L, p)→(∞, 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 λ=π2/18 [Probab. Theory Related Fields 125 (2003) 195–224]. We prove that the discrepancy between the critical parameter and its limit λ is at least Ω((log L)−1/2). In contrast, the critical window has width only Θ((log L)−1). For the so-called modified model, we prove rigorous explicit bounds which imply, for example, that the relative discrepancy is at least 1% even when L=103000. Our results shed some light on the observed differences between simulations and rigorous asymptotics.
References
[1] Adler, J. and Lev, U. (2003). Bootstrap percolation: Visualizations and applications. Brazillian J. Phys. 33 641–644.
[2] Adler, J., Stauffer, D. and Aharony, A. (1989). Comparison of bootstrap percolation models. J. Phys. A 22 L297–L301.
[3] Aizenman, M. and Lebowitz, J. L. (1988). Metastability effects in bootstrap percolation. J. Phys. A 21 3801–3813.
Mathematical Reviews (MathSciNet):
MR968311
[4] Andrews, G., Eriksson, H., Petrov, F. and Romik, D. (2007). Integrals, partitions and MacMahon’s theorem. J. Combin. Theory A 114 545–554.
[5] Andrews, G. E. (2005). Partitions with short sequences and mock theta functions. Proc. Natl. Acad. Sci. USA 102 4666–4671 (electronic).
[6] Balogh, J. and Bollobás, B. (2003). Sharp thresholds in bootstrap percolation. Phys. A 326 305–312.
[7] Borgs, C., Chayes, J. and Pittel, B. (2001). Phase transition and finite-size scaling for the integer partitioning problem. Random Structures Algorithms 19 247–288.
[8] Cancrini, N., Martinelli, F., Roberto, C. and Toninelli, C. (2008). Kinetically constrained spin models. Probab. Theory Related Fields. To appear.
[9] De Gregorio, P., Lawlor, A., Bradley, P. and Dawson, K. A. (2005). Exact solution of a jamming transition: Closed equations for a bootstrap percolation problem. Proc. Natl. Acad. Sci. USA 102 5669–5673 (electronic).
[10] De Gregorio, P., Lawlor, A. and Dawson, K. A. (2006). New approach to study mobility in the vicinity of dynamical arrest; exact application to a kinetically constrained model. Europhys. Lett. 74 287–293.
[11] Fontes, L. R., Schonmann, R. H. and Sidoravicius, V. (2002). Stretched exponential fixation in stochastic Ising models at zero temperature. Comm. Math. Phys. 228 495–518.
[12] Friedgut, E. and Kalai, G. (1996). Every monotone graph property has a sharp threshold. Proc. Amer. Math. Soc. 124 2993–3002.
[13] Froböse, K. (1989). Finite-size effects in a cellular automaton for diffusion. J. Statist. Phys. 55 1285–1292.
[14] Grimmett, G. R. (1999). Percolation, 2nd ed. Springer, Berlin.
[15] Holroyd, A. E. (2003). Sharp metastability threshold for two-dimensional bootstrap percolation. Probab. Theory Related Fields 125 195–224.
[16] Holroyd, A. E. (2006). The metastability threshold for modified bootstrap percolation in d dimensions. Electron. J. Probab. 11 418–433 (electronic).
[17] Holroyd, A. E., Liggett, T. M. and Romik, D. (2004). Integrals, partitions, and cellular automata. Trans. Amer. Math. Soc. 356 3349–3368.
[18] Łuczak, T. (1990). Component behavior near the critical point of the random graph process. Random Structures Algorithms 1 287–310.
[19] Stauffer, D. (2003). Work described in [1].
[20] van Enter, A. C. D. (1987). Proof of Straley’s argument for bootstrap percolation. J. Statist. Phys. 48 943–945.
