We study bootstrap percolation (BP) on hyperbolic lattices obtained by regular tilings of the hyperbolic plane. Our work is motivated by the connection between the BP transition and the dynamical transition of kinetically constrained models, which are in turn relevant for the study of glass and jamming transitions. We show that for generic tilings there exists a BP transition at a nontrivial critical density, $0<ρ_c<1$. Thus, despite the presence of loops on all length scales in hyperbolic lattices, the behavior is very different from that on Euclidean lattices where the critical density is either zero or one. Furthermore, we show that the transition has a mixed character since it is discontinuous but characterized by a diverging correlation length, similarly to what happens on Bethe lattices and random graphs of constant connectivity.
In this paper we analyze several anisotropic bootstrap percolation models in three dimensions. We present the order of magnitude for the metastability threshold for a fairly general class of models. In our proofs we use an adaptation of the technique of dimensional reduction. We find that the order of the metastability threshold is generally determined by the "easiest growth direction" in the model. In contrast to the anisotropic bootstrap percolation in two dimensions, in three dimensions the order of the metatstability threshold for anisotropic bootstrap percolation can be equal to that of i…
Recent years have seen a great deal of progress in our understanding of bootstrap percolation models, a particular class of monotone cellular automata. In the two dimensional lattice there is now a quite satisfactory understanding of their evolution starting from a random initial condition, with a strikingly beautiful universality picture for their critical behaviour. Much less is known for their non-monotone stochastic counterpart, namely kinetically constrained models (KCM). In KCM each vertex is resampled (independently) at rate one by tossing a p-coin iff it can be infected in the next ste…
In this note we analyze an anisotropic, two-dimensional bootstrap percolation model introduced by Gravner and Griffeath. We present upper and lower bounds on the finite-size effects. We discuss the similarities with the semi-oriented model introduced by Duarte.
In bootstrap percolation it is known that the critical percolation threshold tends to converge slowly to zero with increasing system size, or, inversely, the critical size diverges fast when the percolation probability goes to zero. To obtain higher-order terms (that is, sharp and sharper thresholds) for the percolation threshold in general is a hard question. In the case of two-dimensional anisotropic models, sometimes correction terms can be obtained from inversion in a relatively simple manner.
The conformal bootstrap is applied to percolation and dilute self-avoiding polymers, two theories with Virasoro central charge $c=0$ in two dimensions. In both cases we propose a spectrum of operators motivated by Virasoro symmetry which is devoid of a stress energy tensor as an approximate means of enforcing $c=0$. Percolation is treated in $2\leq D \leq 6$ dimensions, and the self-avoiding walk in $2 \leq D \leq 4$.
We study four-point functions of critical percolation in two dimensions, and more generally of the Potts model. We propose an exact ansatz for the spectrum: an infinite, discrete and non-diagonal combination of representations of the Virasoro algebra. Based on this ansatz, we compute four-point functions using a numerical conformal bootstrap approach. The results agree with Monte-Carlo computations of connectivities of random clusters.
Consider a cellular automaton with state space $\{0,1 \}^{{\mathbb Z}^2}$ where the initial configuration $ω_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 $ω_n$ at time n converges exponentially fast to a final configuration $\barω$, and that the limiting measure corresponding to $\barω$ is in the universality class of Bernoulli (independent) percolation. More precisely, assuming the existence of the critical exponents $β$, $η$, $ν$ and $γ$, and of …
We derive a dynamic field theory for a kinetically constrained model, based on the Fredrickson--Andersen model, which we expect to describe the properties of an Arrhenius (strong) supercooled liquid at the coarse-grained level. We study this field theory using the renormalization group. For mesoscopic length and time scales, and for space dimension d \geq 2, the behaviour of the model is governed by a zero-temperature dynamical critical point in the directed percolation universality class. We argue that in d=1 its behaviour is that of compact directed percolation. We perform detailed numerical…
The diffusion and bootstrap percolation models were studied in regular random and Erdős-Rényi networks using the modified Newman-Ziff algorithms. We calculated the percolation threshold and the order parameter of the percolation transition (strength of the giant cluster) and its derivatives. The percolation transitions are classified by the results. The diffusion percolation with a small $k$ has a double transition, and the bootstrap percolation with $m\geq3$ has the first-order percolation transition. The diffusion percolation with a large $k$ and the bootstrap percolation with a small $m$ sh…
We propose very efficient algorithms for the bootstrap percolation and the diffusion percolation models by extending the Newman-Ziff algorithm of the classical percolation [M. E. J. Newman and R. M. Ziff, Phys. Rev. Lett. 85 (2000) 4104]. Using these algorithms and the finite-size-scaling, we calculated with high precision the percolation threshold and critical exponents in the eleven two-dimensional Archimedean lattices. We present the condition for the continuous percolation transition in the bootstrap percolation and the diffusion percolation, and show that they have the same critical expon…
We introduce the heterogeneous-$k$-core, which generalizes the $k$-core, and contrast it with bootstrap percolation. Vertices have a threshold $k_i$ which may be different at each vertex. If a vertex has less than $k_i$ neighbors it is pruned from the network. The heterogeneous-$k$-core is the sub-graph remaining after no further vertices can be pruned. If the thresholds $k_i$ are $1$ with probability $f$ or $k \geq 3$ with probability $(1-f)$, the process forms one branch of an activation-pruning process which demonstrates hysteresis. The other branch is formed by ordinary bootstrap percolati…
The following article deals with the critical value p_c of the three-dimensional bootstrap percolation. We will check the behavior of p_c for different lengths of the lattice and additionally we will scale p_c in the limit of an infinite lattice.
We study the bootstrap and diffusion percolation models in the simple-cubic (sc), body-centered cubic (bcc), and face-centered cubic (fcc) lattices using the Newman-Ziff algorithm. The percolation threshold and critical exponents were calculated through finite-size scaling with high precision in the three lattices. In addition to the continuous and first-order percolation transitions, we found a double transition, which is a continuous transition followed by a discontinuity of the order parameter. We show that the continuous transitions of the bootstrap and diffusion percolation models have th…
Bootstrap percolation provides an emblematic instance of phase behavior characterised by an abrupt transition with diverging critical fluctuations. This unusual hybrid situation generally occurs in particle systems in which the occupation probability of a site depends on the state of its neighbours through a certain threshold parameter. In this paper we investigate the phase behavior of the bootstrap percolation on the regular random graph in the limit in which the threshold parameter and lattice connectivity become both increasingly large while their ratio $α$ is held constant. We find that t…
A new class of bootstrap percolation models in which particle culling occurs only for certain numbers of nearest neighbours is introduced and studied on a Bethe lattice. Upon increasing the density of initial configuration they undergo multiple hybrid (or mixed-order) phase transitions, showing that such intriguing phase behaviours may also appear in fully homogeneous situations/environments, provided that culling is selective rather than cumulative. The idea immediately extends to facilitation dynamics, suggesting a simple way to construct one-component models of multiple glasses and glass-gl…
Bootstrap percolation transition may be first order or second order, or it may have a mixed character where a first order drop in the order parameter is preceded by critical fluctuations. Recent studies have indicated that the mixed transition is characterized by power law avalanches, while the continuous transition is characterized by truncated avalanches in a related sequential bootstrap process. We explain this behavior on the basis of a through analytical and numerical study of the avalanche distributions on a Bethe lattice.
We develop the theory of the k-core (bootstrap) percolation on uncorrelated random networks with arbitrary degree distributions. We show that the k-core percolation is an unusual, hybrid phase transition with a jump emergence of the k-core as at a first order phase transition but also with a critical singularity as at a continuous transition. We describe the properties of the k-core, explain the meaning of the order parameter for the k-core percolation, and reveal the origin of the specific critical phenomena. We demonstrate that a so-called ``corona'' of the k-core plays a crucial role (coron…
We study the onset of the bootstrap percolation transition as a model of generalized dynamical arrest. We develop a new importance-sampling procedure in simulation, based on rare events around "holes", that enables us to access bootstrap lengths beyond those previously studied. By framing a new theory in terms of paths or processes that lead to emptying of the lattice we are able to develop systematic corrections to the existing theory, and compare them to simulations. Thereby, for the first time in the literature, it is possible to obtain credible comparisons between theory and simulation in …
We study the $m=3$ bootstrap percolation model on a cubic lattice, using Monte Carlo simulation and finite-size scaling techniques. In bootstrap percolation, sites on a lattice are considered occupied (present) or vacant (absent) with probability $p$ or $1-p$, respectively. Occupied sites with less than $m$ occupied first-neighbours are then rendered unoccupied; this culling process is repeated until a stable configuration is reached. We evaluate the percolation critical probability, $p_c$, and both scaling powers, $y_p$ and $y_h$, and, contrarily to previous calculations, our results indicate…
We consider bootstrap percolation on uncorrelated complex networks. We obtain the phase diagram for this process with respect to two parameters: $f$, the fraction of vertices initially activated, and $p$, the fraction of undamaged vertices in the graph. We observe two transitions: the giant active component appears continuously at a first threshold. There may also be a second, discontinuous, hybrid transition at a higher threshold. Avalanches of activations increase in size as this second critical point is approached, finally diverging at this threshold. We describe the existence of a special …
We study directed rigidity percolation (equivalent to directed bootstrap percolation) on three different lattices: square, triangular, and augmented triangular. The first two of these display a first-order transition at p=1, while the augmented triangular lattice shows a continuous transition at a non-trivial p_c. On the augmented triangular lattice we find, by extensive numerical simulation, that the directed rigidity percolation transition belongs to the same universality class as directed percolation. The same conclusion is reached by studying its surface critical behavior, i.e. the spreadi…
We show that facilitated spin models of cooperative dynamics introduced by Fredrickson and Andersen display on Bethe lattices a glassy behaviour similar to the one predicted by the mode-coupling theory of supercooled liquids and the dynamical theory of mean-field disordered systems. At low temperature such cooperative models show a two-step relaxation and their equilibration time diverges at a finite temperature according to a power-law. The geometric nature of the dynamical arrest corresponds to a bootstrap percolation process which leads to a phase space organization similar to the one of me…
Bootstrap, or $k$-core, percolation displays on the Bethe lattice a mixed first/second order phase transition with both a discontinuous order parameter and diverging critical fluctuations. I apply the recently introduced $M$-layer technique to study corrections to mean-field theory showing that at all orders in the loop expansion the problem is equivalent to a spinodal with quenched disorder. This implies that the mean-field hybrid transition does not survive in physical dimension. Nevertheless, its critical properties as an avoided transition, make it a proxy of the avoided Mode-Coupling-Theo…
Threshold-Controlled Geometric Reorganization in 2D Bootstrap Percolation
Beijing Normal University（北京师范大学）；Xi’an University of Science and Technology（西安科技大学）；University of Electronic Science and Technology of China（电子科技大学）；Chinese Academy of Sciences（中国科学院）
We study hysteresis in the random-field Ising model with an asymmetric distribution of quenched fields, in the limit of low disorder in two and three dimensions. We relate the spin flip process to bootstrap percolation, and show that the characteristic length for self-averaging $L^*$ increases as $exp(exp (J/Δ))$ in 2d, and as $exp(exp(exp(J/Δ)))$ in 3d, for disorder strength $Δ$ much less than the exchange coupling J. For system size $1 << L < L^*$, the coercive field $h_{coer}$ varies as $2J - Δ\ln \ln L$ for the square lattice, and as $2J - Δ\ln \ln \ln L$ on the cubic lattice. Its limiting…
We consider the problem of bootstrap percolation on a three dimensional lattice and we study its finite size scaling behavior. Bootstrap percolation is an example of Cellular Automata defined on the $d$-dimensional lattice $\{1,2,...,L\}^d$ in which each site can be empty or occupied by a single particle; in the starting configuration each site is occupied with probability $p$, occupied sites remain occupied for ever, while empty sites are occupied by a particle if at least $\ell$ among their $2d$ nearest neighbor sites are occupied. When $d$ is fixed, the most interesting case is the one $\el…
We present a detailed physical analysis of the dynamical glass-jamming transition which occurs for the so called Knight models recently introduced and analyzed in a joint work with D.S.Fisher \cite{letterTBF}. Furthermore, we review some of our previous works on Kinetically Constrained Models. The Knights models correspond to a new class of kinetically constrained models which provide the first example of finite dimensional models with an ideal glass-jamming transition. This is due to the underlying percolation transition of particles which are mutually blocked by the constraints. This jamming…
We examine bootstrap percolation in d-dimensional, directed metric graphs in the context of recent measurements of firing dynamics in 2D neuronal cultures. There are two regimes, depending on the graph size N. Large metric graphs are ignited by the occurrence of critical nuclei, which initially occupy an infinitesimal fraction, f_* -> 0, of the graph and then explode throughout a finite fraction. Smaller metric graphs are effectively random in the sense that their ignition requires the initial ignition of a finite, unlocalized fraction of the graph, f_* >0. The crossover between the two regime…
We present an exact mapping between two simple spin models: the Fredrickson-Andersen (FA) model and a model of annihilating random walks with spontaneous creation from the vacuum, A+A <-> 0. We discuss the geometric structure of the mapping and its consequences for symmetries of the models. Hence we are able to show that the upper critical dimension of the FA model is two, and that critical exponents are known exactly in all dimensions. These conclusions also generalise to a mapping between A+A <-> 0 and the reaction-diffusion system in which the reactions are branching and coagulation, A+A <-…
We investigate a three-dimensional kinetically-constrained model that exhibits two types of phase transitions at different densities. At the jamming density $ ρ_J $ there is a mixed-order phase transition in which a finite fraction of the particles become frozen, but the other particles may still diffuse throughout the system. At the caging density $ ρ_C > ρ_J $, the mobile particles are trapped in finite cages and no longer diffuse. The caging transition occurs due to a percolation transition of the unfrozen sites, and we numerically find that it is a continuous transition with the same criti…
In Phys. Rev. Lett. 96, 035702 (2006) we introduced a class of kinetically constrained models which display a dynamical glass transition. We focused on a particular example: the "knights" model. As correctly pointed out by Jeng and Schwarz cond-mat/0612484, we overlooked some additional directed frozen structures of the knights model which are not simple directed percolation (DP) paths: these "thicker" directed structures lower the critical density. Here we argue that, nevertheless, the full directed processes are in the DP universality class and the T-junctions between perpendicular segments …
We investigate via Monte Carlo simulations the kinetically constrained Kob-Andersen lattice glass model showing that, contrary to current expectations, the relaxation process and the dynamical heterogeneities seems to be characterized by different time scales. Indeed, we found that the relaxation time is related to a reverse percolation transition, whereas the time of maximum heterogeneity is related to the spatial correlation between particles. This investigation leads to a geometrical interpretation of the relaxation processes and of the different observed time scales.
Jamming, or dynamical arrest, is a transition at which many particles stop moving in a collective manner. In nature it is brought about by, for example, increasing the packing density, changing the interactions between particles, or otherwise restricting the local motion of the elements of the system. The onset of collectivity occurs because, when one particle is blocked, it may lead to the blocking of a neighbor. That particle may then block one of its neighbors, these effects propagating across some typical domain of size named the dynamical correlation length. When this length diverges, the…
The Spiral Model (SM) corresponds to a new class of kinetically constrained models introduced in joint works with D.S. Fisher [8,9]. They provide the first example of finite dimensional models with an ideal glass-jamming transition. This is due to an underlying jamming percolation transition which has unconventional features: it is discontinuous (i.e. the percolating cluster is compact at the transition) and the typical size of the clusters diverges faster than any power law, leading to a Vogel-Fulcher-like divergence of the relaxation time. Here we present a detailed physical analysis of SM, …
In a recent article [M. Merolle et al., Proc. Natl. Acad. Sci. USA 102, 10837 (2005)] it was argued that dynamic heterogeneity in $d$-dimensional glass formers is a manifestation of an order-disorder phenomenon in the $d+1$ dimensions of spacetime. By considering a dynamical analogue of the free energy, evidence was found for phase coexistence between active and inactive regions of spacetime, and it was suggested that this phenomenon underlies the glass transition. Here we develop these ideas further by investigating in detail the one-dimensional Fredrickson-Andersen (FA) model in which the ac…
A bootstrap percolation process on a graph $G$ is an "infection" process which evolves in rounds. Initially, there is a subset of infected nodes and in each subsequent round each uninfected node which has at least $r$ infected neighbours becomes infected and remains so forever. The parameter $r\geq 2$ is fixed. Such processes have been used as models for the spread of ideas or trends within a network of individuals. We analyse bootstrap percolation process in the case where the underlying graph is an inhomogeneous random graph, which exhibits a power-law degree distribution, and initially ther…
On the rooted $k$-ary tree we consider a 0-1 kinetically constrained spin model in which the occupancy variable at each node is re-sampled with rate one from the Bernoulli(p) measure iff all its children are empty. For this process the following picture was conjectured to hold. As long as $p$ is below the percolation threshold $p_c=1/k$ the process is ergodic with a finite relaxation time while, for $p>p_c$, the process on the infinite tree is no longer ergodic and the relaxation time on a finite regular sub-tree becomes exponentially large in the depth of the tree. At the critical point $p=p_…
We investigate kinetically constrained models of glassy transitions, and determine which model characteristics are crucial in allowing a rigorous proof that such models have discontinuous transitions with faster than power law diverging length and time scales. The models we investigate have constraints similar to that of the knights model, introduced by Toninelli, Biroli, and Fisher (TBF), but differing neighbor relations. We find that such knights-like models, otherwise known as models of jamming percolation, need a ``No Parallel Crossing'' rule for the TBF proof of a glassy transition to be …
Based on the self-consistent equations of the order parameter $P_\infty$ and the mean cluster size $S$, we develop a novel self-consistent simulation (SCS) method for arbitrary percolation on the Bethe lattice (infinite homogeneous Cayley tree). By applying SCS to the well-known percolation models, random bond percolation and bootstrap percolation, we obtain prototype functions for continuous and discontinuous phase transitions. By comparing the key functions obtained from SCSs for the Achlioptas processes (APs) with a product rule and a sum rule to the prototype functions, we show that the pe…
Percolation is the paradigm for random connectivity and has been one of the most applied statistical models. With simple geometrical rules a transition is obtained which is related to magnetic models. This transition is, in all dimensions, one of the most robust continuous transitions known. We present a very brief overview of more than 60 years of work in this area and discuss several open questions for a variety of models, including classical, explosive, invasion, bootstrap, and correlated percolation.
