arxiv: v2 [math.pr] 25 Feb 2016

Transcription

1 The time of graph bootstrap percolation arxiv: v [math.pr] 5 Feb 06. Introduction Karen Gunderson, Sebastian Koch, and Michał Przykucki K. Gunderson Department of Mathematics University of Manitoba Winnipeg, MB R3T N Canada karen.gunderson@umanitoba.ca S. Koch Department of Pure Mathematics and Mathematical Statistics University of Cambridge Cambridge CB3 0WB United Kingdom sk69@cam.ac.uk M. Przykucki St Anne s College University of Oxford Oxford OX 6HS United Kingdom przykucki@maths.ox.ac.uk Abstract: Graph bootstrap percolation, introduced by Bollobás in 968, is a cellular automaton defined as follows. Given a small graph H and a large graph G G 0 K n, in consecutive steps we obtain G t+ from G t by adding to it all new edges e such that G t e contains a new copy of H. We say that G percolates if for some t 0, we have G t K n. ForH K r, the question about the size of the smallest percolating graphs was independently answered by Alon, Frankl and Kalai in the 980 s. Recently, Balogh, Bollobás and Morris considered graph bootstrap percolation for G Gn, p and studied the critical probability p cn,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 t C loglogn. AMS 000 subject classifications: primary 60K35; secondary 60C05. Keywords and phrases: bootstrap percolation, weak saturation. Cellular automata, introduced by von Neumann [9] after a suggestion of Ulam [], are dynamical systems acting on graphs using local and homogeneous update rules. The H-bootstrap percolation process is one example of such an automaton and can be described as follows. Given a fixed graph H and a graph G K n, set G 0 G and then, for each t 0,,,..., let G t+ G t {e EK n : H with e H G t e}. Let G H t0 G t denote the closure ofgunder H-bootstrap percolation. We say thatgpercolates in the H-bootstrap process or H-percolates, if G H K n. See Figure. The notion of H-percolation, introduced by Bollobás in 968 [7] under the name of weak saturation, has been extensively studied in the case where H is a complete graph. Initially, the extremal properties of the H-bootstrap process attracted the most attention. Alon [], Frankl [5] and Kalai [8] independently confirmed a conjecture of Bollobás and proved that the smallest K r -percolating

2 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation t 0 t t t 3 Fig. An example of the K 4 -bootstrap percolation process. Dashed edges are added to the graph on the next time step. graphs on n vertices have size n n r+. Recently, Bollobás [9] observed a strong connection between weak saturation and r-neighbour bootstrap percolation, a dynamical process suggested in 979 by Chalupa, Leath and Reich [3]. For an integer r, the r-neighbour bootstrap process on a graph G V,E with an initial set of vertices A V is defined by setting A 0 A and for t 0,,,..., defining A t+ A t {v V : Nv A t r}, where Nv is the set of neighbours of v in G. The set A t0 A t is the closure of A and we say that A percolates if A V. Often, the vertices in the set A t are called infected and the remaining vertices are healthy. The usual question asked in the context of r-neighbour bootstrap percolation is the following: if the vertices of G are initially infected independently at random with probability p, for what values of p is percolation likely to occur? The probability of percolation is clearly non-decreasing in p hence it is natural to define the critical probability p c G,r as p c G,r inf{p : P p A VG /}. 3 The study of critical probabilities has brought numerous and often very sharp results for various graphs G and the values of the infection threshold. For example, van Enter [4] and Schonmann [0] studied r-neighbour bootstrap percolation on Z d, Holroyd [6], Balogh, Bollobás and Morris [4], Balogh, Bollobás, Duminil-Copin and Morris [3] analysed finite grids, while Balogh and Pittel [6], Janson, Łuczak, Turova and Vallier [7] and Bollobás, Gunderson, Holmgren, Janson and Przykucki [0] worked with random graphs. Motivated by this approach, Balogh, Bollobás and Morris [5] defined the critical probability for H-bootstrap percolation on K n to be p c n,h inf{p : P p G n,p H K n /}, 4 where G n,p is the Erdős-Rényi random graph, obtained by choosing every edge of K n independently at random with probability p. In [5], they showed that for all r 4, taking λr r /r and n N sufficiently large, n /λr elogn p cn,k r n /λr logn. 5 In this paper we focus on a different question related to K r -bootstrap percolation. Namely, for what values of p is percolation likely to occur by time t? Defining K r -bootstrap percolation as in, let T Tn,r,G 0 min{t : G t K n in the K r -bootstrap process}. Define the critical probability for percolation by time t to be p c n,r,t inf{p : P p T t /}. 6 Supported in part by EU project MULTIPLEX no Research carried out while affiliated with the Heilbronn Institute for Mathematical Research at the University of Bristol.

3 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 3 For notational convenience, for any r 4 and any t, set r τ τr, e t τ t, and v t r τt τ The following theorem is the main result of this paper Theorem.. Let r 4 and t tn loglogn 3logτ. Let p n n be a sequence of probabilities, let ωn and let T Tn,r,G n,pn. Under the K r -bootstrap process, i if, for all n, p n n vt /et logn, then P pn T t as n and ii if, for all n, p n n vt /et /ωn, then P pn T t 0 as n. Thus, Theorem. shows that for all r 4 and t loglogn 3logτ, and ωn, for n sufficiently large we have n vt /et ωn p c n,r,t n vt /et logn. 8 Similar questions related to the time of r-neighbour bootstrap percolation on grids have recently been studied by Bollobás, Holmgren, Smith and Uzzell [], Bollobás, Smith and Uzzell [] and by Balister, Bollobás and Smith []. The time of the r-neighbour bootstrap process on the random graph Gn, p was analysed in [7]. Before we continue, let us briefly discuss how the bounds on the critical probability for percolation by time t in Theorem. relate to the bounds on p c n,k r in 5. By the definitions of p c n,k r in 4 and of p c n,r,t in 6, we clearly have p c n,k r p c n,r,t. Ignoring the polylogarithmic factors in the critical probability, we see that the exponent of n in 8 can be re-written using the identities in 7 as follows, writing λ λr, v t e t r τ t τ τ t r τ r t τ t λ + λτ t. 9 For t loglogn 3logτ, which is the maximum value of t covered by Theorem., in 9 we obtain λ + λτ t λ + λτ log τ logn/3 λ + λlogn /3. Hence the exponent of n in 8 tends to the exponent in 5 for t loglogn 3logτ. In fact, if one managed to show that 8 holds all the way up to t loglogn logτ then the bounds in 5 and 8 would match up to polylogarithmic factors. The proofs of both statements of Theorem. rely on the properties of a family of graphs, denoted {F t : t }, that are described in detail in Section 3. For each t, there is a pair of vertices in VF t so that if F t occurs as a subgraph of G 0, then that pair is guaranteed to be added to the graph by time t. The graph F t is thought of as anchored on that special pair of vertices. To prove Statement i of Theorem., Janson s inequality is used to bound from below the probability that a particular pair {x,y} is contained as the anchor vertices in some copy of F t. To establish a bound in this way, estimates are needed on the probability that two overlapping copies of F t occur in G 0. This amounts to determining the minimum possible ratio of edges to vertices in some non-trivially overlapping pair. It turns out that the minimum ratio is not obtained for one of the extreme cases, i.e., neither for two copies of F t that share only one vertex, nor for two copies that share all but one vertex. Even though we do not prove it directly in this paper, the minimal density of two overlapping copies of F t is not monotone in the size of their common part and it can be shown that, as t, the two overlapping copies of F t that minimise the edge-to-vertex ratio share an approximately 4/r + r proportion of the vertex set. Bounding this ratio from below for all

4 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 4 possible configurations of two such copies is the main challenge in the proof of the upper bound on p c n,r,t, and is dealt with in detail in Section 3.. To prove Statement ii of Theorem. we employ two extremal results about graphs that add an edge e to the graph in at most t time steps: one of them to bound the number of their vertices from above, and one a corollary of a highly nontrivial result in [5] to bound their edge density from below. Then, for p as in Statement ii of Theorem., we show that with high probability no such graph can be found in G n,p. This completes the proof of our main result. The remaining sections of the paper are organised as follows. In Section we briefly discuss the K 3 -bootstrap percolation process which behaves differently than K r -bootstrap processes when r 4. In Section 3, we introduce the graphs F t that are the main focus of the proofs to come and prove some key properties. In Section 3., which is the crucial part of our argument, we prove some properties of graphs consisting of two overlapping copies of F t. In Sections 4 and 5 we prove Statements i and ii of Theorem. respectively. Finally, in Section 6, some open problems are stated.. K 3 -bootstrap percolation In this section we discuss the special case of the K 3 -bootstrap process. Observe that a graph G percolates in K 3 -bootstrap percolation if and only if G is connected. Also, at every time step each non-edge between vertices at distance is added to the graph. Therefore, if G is a connected graph with diameter d, then the diameter of the graph obtained from G after one step of the K 3 -bootstrap process is d/. Hence, G percolates in log d time steps. The diameter of random graphs was investigated by Bollobás [8] who proved the following theorem. Theorem.. Let G n,p be the Erdős-Rényi random graph.. Suppose p n logn and n p. Then G n,p has diameter whp.. Suppose the functions d dn 3 and 0 < p pn < satisfy logn/d 3loglogn, p d n d logn and p d n d logn. Then G n,p has diameter d whp. In order to re-phrase this result in the form of intervals for p in which the diameter is constant with high probability, let ωn ologn tend to infinity arbitrarily slowly. Clearly, if p /n ωn then whp. G n,p K n which has diameter. Simplifying a bit, Theorem. implies that if logn+ωn p ωn n n then G n,p has diameter, and that for 3 d logn/4loglogn, if pn logn+ωn d n d d,logn ωn d n d d then the random graph G n,pn has diameter d with high probability. This answers the question about the time of K 3 -bootstrap percolation. 3. Adding an edge to the graph using sparse subgraphs Throughout the following sections, fix r 4. As r is fixed, for simplicity, it is often omitted from the notation. We define a family {F t : t } of graphs that add a given pair as an edge to the graph in the K r -bootstrap process exactly at time t. We prove that these are the sparsest minimal such graphs i.e., they minimise the ratio of the number of edges to the number of vertices. The main result in this section, presented in Section 3., is a lower bound on the edge-density of two non-disjoint copies of the graph F t. This bound is the key element of arguments for the proof of Statement i of Theorem..

5 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 5 The graph F t is defined recursively and the fixed edge that is added to the graph at time t using F t will always be denoted by e 0 {,}. For t, set F K r e 0, an r-clique missing one edge. For each t, given F t, for each e EF t, let Ve be a set of r new vertices and let Ke be a copy of K r e, an r-clique missing one edge, on vertex set Ve e. Then, F t+ is defined to be the graph with vertex set VF t+ VF t Ve and edge set EF t+ e EF t e EF t EKe see Figure. Note that any edge e EF t+ is incident to at least one vertex in Vf for some f EF t, i.e., to a vertex in VF t+ \VF t. Recall that we define τ r and the numbers et and v t in equation 7. By induction on t, it can be shown that for every t, the number of edges and vertices in the graph F t are given by e t ef t EF t τ t and 0 v t vf t VF t VF t +e t r +r τt τ. e 0 e 0 e 0 }r r t VF t\vf t F F F t Fig. Construction of the graph F t. Note that every edge in F t is incident to at least one vertex in VF t\vf t. Lemma 3.. In the K r -bootstrap process started from F t the edge e 0 is added to the graph in exactly t steps. Proof. We prove this lemma by induction on t. The statement is trivial for t as F K r e 0. Assume that the Lemma holds for t k. Note that after one step of the process started from F k+ we obtain a copy of F k in our graph since F k+ is obtained from F k by placing a copy of K r minus an edge on every edge of F k. Thus e 0 is added to the graph after at most k + steps of the process started from F k+. The construction of F k+ can be also seen as placing a copy of F k on each of the τ edges of F K r e 0. By induction we know that these copies of F k on their own add the respective edges of F, their anchor edges, in k time steps. This process could possibly accelerate if some interaction between two different copies of F k occurred early in the process, say, before time k when the F k s on their own add their respective anchor edges. Therefore, let F,F,...,F τ be these different copies of F k in F k+. By construction of F k+ we have that for all i j:

6 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 6. F i and F j share at most one vertex,. no vertex of F i other than the vertices in its anchor edge can have a neighbour outside F i. For every s {0,,...,k}, and i {,,...,τ}, let E i,s be the edges within VF i in the s-th step of the K r -bootstrap process on the subgraph induced by F i and let E s be the edges in F k+ in the s-th step of the K r bootstrap process. The aim is to show that for s k, there is no interaction between the processes in each F i so that E s τ i E i,s. This is proved by induction on s. Note that for s k, if it is true that E s τ i E i,s, then any triangle in the graph at that time is contained entirely within the vertex set of one of the F i. Also, recall that E i,s contains only edges within VF i. For s 0, the statement E 0 τ i E i,0 is true by construction. Suppose that for some s [0,k ], that E s τ i E i,s and that there is an edge {w,w } E s+ \ τ i E i,s+. As the edge{w,w } must have been added at time s+, letw 3,...,w r be ther other vertices in the copy of K r minus an edge that witness {w,w } being added at time s+. Then, at time s, for any i,j >, the vertices w,w i,w j form a triangle, as do the vertices w,w i,w j. Then, by the induction hypothesis, there is an i 0 so that w,w,w i,w j VF i0. Again, by hypothesis, this means that the edges {w,w i },{w,w i },{w,w j },{w,w j },{w i,w j } are all contained in E i0,s. This is a contradiction, as then the edge {w,w } would have been added within the graph F i0 at time s+. This completes the induction on s. Thus the first k steps of the process started from F k+ look like τ independent processes started from F k s. Hence e 0 is not added to the graph by time k. This completes the proof of the lemma. Recall that we denote and that τ can be written as Note that and 3 imply that Define for convenience, λ τ r r r+ r r which is used to simplify certain expressions involving have Hence, using 0 and the above relations, e t v t τt τ t λ r +r. 3 r λ τ. 4 c t τ t, 5 e t v t as in 7 below. By and 4 we v t r τt τ τt λ. 6 λ+c t λ+ τ r τ t λ+ v t. 7 Equation 7 is used throughout this section to show that F t is the sparsest minimal graph that adds e 0 to the graph in t time steps of the K r -bootstrap process. Let us recall the following Witness-Set Algorithm introduced in [5]. Given a graph G, we assign a subgraph F Fe G to each edge e G Kr as follows:. If e G then set Fe {e}.. Choose an order in which to add the edges of G Kr, and at each step identify which r-clique was completed if more than one is completed then choose one.

7 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 7 3. Add the edges one by one. If e is added by the r-clique K, then set Fe : Fe. e e K A graph F is an r-witness set if there exists a graph G, an edge e, and a realization of the Witness-Set Algorithm i.e., a sequence of choices as in Step such that F Fe. The following highly nontrivial extremal result occurs as Lemma 9 in [5], which is stated here without repeating the proof. Lemma 3.. Let F be a graph and r 4, and suppose that F is an r-witness set. Then, EF λ VF +. We say that a graph G is a minimal graph adding e if e G Kr but for all proper subgraphs G G of G we have e / G Kr. It s an immediate observation that every minimal graph adding e to G is an r-witness set. Hence we have the following corollary. Corollary 3.3. Let r 4 and let F be a minimal graph adding e to the graph for some e F Kr. Then EF λ VF +. 8 We now show that F t maximises the number of vertices among all minimal graphs that add e 0 to the graph in exactly t time steps of the K r -bootstrap process. Lemma 3.4. Let r 4, t and let F be a minimal graph adding e 0 to the graph at time t in the K r -bootstrap process. Then VF v t r τt τ + and EF e t τ t. Proof. We prove the lemma by induction on t. For t the lemma is trivial as K r e 0 is the only minimal graph adding e 0 at the first time step. Hence assume that the lemma holds for some t and consider a minimal graph F such that e 0 is added at time t + in the K r -bootstrap process started from F. After one step of the process we obtain a graph F containing some minimal subgraph F that adds e 0 in t additional time steps. By induction we have VF r τt τ + and EF τ t. Now, since F was a minimal graph adding e 0 in time t +, to maximise the number of vertices and edges in F we should in the first step of the process add every edge e of F using a copy of K r e disjoint from the copies adding other edges in F. This shows that EF τ EF and VF VF +r EF. This completes the induction and the lemma follows. A proof closely following that of Lemma 3.4 immediately shows a further extremal result. Corollary 3.5. For any t, up to isomorphism, F t is the only minimal graph on v t vertices adding e 0 to the graph in exactly t time steps. As usual, for any graph G and A,B VG, let EA,B {{a,b} EG : a A,b B} and ea,b EA,B. We shall often take B VG and, to simplify the notation, we shall write ea,g to denote ea,vg. Note that ea,g is the number of edges of G with at least one endpoint in A. In the proofs to come, results on edge-densities of subsets of the graphs {F t : t } are proved by induction on t. To make the notation clearer, let us use E t A,B to denote the edges between A and B in the graph F t and e t A,B E t A,B. As usual, δg min{deg G v : v VG} is used for the minimum degree of G. We shall find the following simple estimate useful in our examination of F t. Lemma 3.6. For any t and any set L VF t e t L,F t r L.

8 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 8 Proof. Note that for t, δf t r. Thus r L v Ldeg Ft v e t L,L+e t L,L c e t L,F t. 3.. Overlapping copies of F t To prove Statement i of Theorem. we shall show that ifpis large enough then with high probability there is a copy of F t anchored on every pair of vertices in G n,p. Towards this aim, we shall show that a measure of the variance of the number of such copies of F t anchored on a fixed edge e 0 is not too large compared to their expected number. In Section 4, this fact together with Janson s inequality see Theorem 4. is used to deduce the desired result. Hence, we need to prove that it is significantly harder in terms of the ratio of the number of edges to the number of vertices to find two different such copies of F t that overlap in at least one vertex other than, e 0 than it is to find two disjoint such copies. In particular, as the main result in this subsection, it is shown that for any L VF t \{,}, e t L,F t L e t v t 9 with equality only when L VF t \{,}. With this in mind, define ε t to be such that { } vt et L,F t +ε t min : L VF t \{,}. 0 L e t From the definition above, there is no guarantee that ε t is non-negative. Using induction on t, we shall prove that this is the case by first giving a weak upper bound on ε t in Lemma 3.7 and then using it to prove a relatively sharp lower bound on ε t for all t. Lemma 3.7. For all r 4 and t we have ε t r+. Proof. First consider the case t. For all L VF \{,} the vertices in F \L induce a clique minus the edge joining and. Hence, for l r 3 and L l, the vertices in F \L induce edges, which gives r l e L,F L r r l + l r r r +rl l +r l l r l r+, with equality for l r 3. Hence, by 0 r+ v ε e r+ r r

9 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 9 r r+ r r r+ r+ r+, which proves the lemma for t. Consider now the case when t. By the construction of the graph F t, there are vertices in VF t \{,} connected to and not to. Let v be such a vertex and choose L VF t \{,,v} so that L v t 3 and e t L,F t e t recall that e t L,F t counts all edges in F t with at least one end in L, thus here it only misses {,v}. Hence, for t and r 4, from the definition in 0 we have vt et ε t v t 3 e t e tv t e t v t + e t v t +3e t e t v t 3 e t v t + e t v t 3 < v t 3 v 3 r r by and 3 r 6 r+. This completes the proof of Lemma 3.7. The following lemma gives us another result in a similar direction and is used in this section to show that one need only consider certain choices for L VF t in order to determine ε t. Lemma 3.8. For all r 4 and t we have { } et L,F t min : L VF t \{,} L < r+. Proof. We prove the lemma by giving an example of a simple set L VF t \{,} that satisfies the inequality. Let v VF t \VF t. Then, let L {v} {u VF t \VF t : {v,u} EF t }. Since v VF t \VF t, we have deg Ft v r. In F t, every edge of F t is replaced with a copy of K r minus that edge. Hence for every edge adjacent to v in F t there are r neighbours of v in F t. This implies L +deg Ft v +r deg Ft v +r r. To find e t L,F t, i.e., the number of edges adjacent to at least one vertex in L, we notice that all these edges are contained in the deg Ft v r copies of K r minus an edge, that are placed on the edges adjacent to v in F t to construct the graph F t. Therefore we have This implies that e t L,F t r e t L,F t L r r+ r r +r r r r+r. r + <.

10 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 0 We observe that, in general, Lemma 3.8 yields a worse upper bound on ε t than that given by Lemma 3.7, but its form is useful in the proof of Lemma 3. to come. The next theorem is the main tool in the proof of Statement i of Theorem. to come. Here we give a lower bound on ε t that holds for all t. Theorem 3.9. For all r 4 and t, ε t t r + r. Before proving Theorem 3.9, a few auxiliary lemmas are stated and proved below, along with an outline of the proof. These are then used to establish Theorem 3.9 by induction on t. Recall that the graph F t+ is constructed by placing an independent copy of K r e on every edge e of F t. Further recall that for each e EF t we write Ve to denote this new set of r vertices. For the induction step from t to t+ we will fix a set L t VF t \{,} and look for the smallest possible edge densities et+lt M,Ft+ L t M among sets of the form L t M where M VF t+ \VF t see Figure 3. L t e 0 M VF t VF t+ \VF t Fig 3. Sets L t and M in F t+ together with the edges counted in e t+ L t M,F t+. In the following lemma we first deal with the case L t, showing that no set contained entirely in VF t+ \VF t can minimise the edge density. Lemma 3.0. For all r 4 and t we have { } et L,F t min : L VF t \VF t L r+. Proof. Let L VF t \VF t. Hence for every v L we have deg Ft v r and at most r 3 neighbours of v are also in L. Thus e t L,F t, the number of edges incident to at least one vertex in L, satisfies r 3 e t L,F t L + L r+ and the lemma follows. Thus, by Lemma 3.8, the minimum in equation 0 is not attained for any L VF t \VF t. We now show that if for some e EF t certain conditions are fulfilled, then moving all vertices from Ve into M does not increase the edge-density minimised in equation 0. The details of this are given in the following lemma.

11 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation Lemma 3.. Let t, L t VF t \{,} with L t, and M VF t+ \VF t. For every edge e {x,y} EF t such that at least one of x,y is in L t we have e t+ L t M,F t+ e t+l t M Ve,F t+. L t M Ve Proof. Let us recall that, by the construction of F t+, all edges incident to vertices in Ve are either induced by Ve or they connect the vertices of Ve to either x or y. Set m Ve \M and note that the conclusion is trivially true for m 0. Thus, assume that m r. We consider two different cases. Suppose first that both x,y L t. Then e t+ L t M,F t+ already counts all edges incident to a vertex in Ve\M, except those that are induced by this set because the remaining edges are either incident to x,y L t or to some vertex in Ve M. Since Ve induces a clique in F t+, we have e t+ L t M Ve,F t+ e t+ L t M,F t+ m. Therefore e t+ L t M Ve,F t+ L t M Ve e t+l t M,F t+ + m +m e t+l t M,F t+ e t+l t M,F t+ e t+l t M,F t+ The above expression is a convex combination of r 3 e t+l t M,F t+ L t M r > r 3 and so m +m + m m +m +m + m m +m +m + r 3 m +m. and et+lt M,Ft+ L t M. By Lemma 3.6, we have e t+ L t M Ve,F t+ L t M Ve e t+l t M,F t+. The case when x L t and y / L t is similar. In this case, e t+ L t M,F t+ counts every edge incident to a vertex in Ve\M that is neither induced by this set nor connects a vertex in this set to y. Since {y} Ve induces a clique in F t+, we have e t+ L t M Ve,F t+ e t+ L t M,F t+ m+, and thus e t+ L t M Ve,F t+ L t M Ve e t+l t M,F t+ + m+ +m e t+l t M,F t+ +m + m+ m +m e t+l t M,F t+ +m + r m +m e t+l t M,F t+. again, by Lemma 3.6 The case x / L t and y L t is analogous and this completes the proof. On the other hand, when the edge e does not satisfy the conditions in Lemma 3., the following lemma holds.

12 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation Lemma 3.. Let t, L t VF t \{,} with L t, e {x,y} EF t such that x,y / L t, and M VF t+ \VF t. If Ve M > 0 then { } e t+ L t M,F t+ et+ L,F t+ > min : L VF t+ \{,}. L Proof. Set m Ve M > 0 and recall that we have m r. Since L t, we also have L t M \Ve. The aim is, by considering the set L t M \Ve, to show that the set L t M does not attain the minimum in equation 0. The edges incident tove M inf t+ can be divided into three groups: those induced byve M, those connecting a vertex in Ve M to a vertex in Ve \ M, and those connecting a vertex in Ve M to either x or y. In total, we have m +mr m+m m +mr m edges incident to Ve M in F t+. All these edges are clearly counted by e t+ L t M,F t+, but not by e t+ L t M \Ve,F t+ because x,y / L t and L t M \Ve Ve M. Thus, e t+ L t M,F t+ e t+l t M \Ve,F t+ + m +mr m L t M \Ve +m e t+l t M \Ve,F t+ L t M \Ve L t M \Ve L t M \Ve +m m +mr m m + m L t M \Ve +m e t+l t M \Ve,F t+ L t M \Ve L t M \Ve L t M \Ve +m + r m+ m L t M \Ve +m e t+l t M \Ve,F t+ L t M \Ve L t M \Ve L t M \Ve +m + r + m L t M \Ve +m. If et+lt M,Ft+ L t M r+ then the claim holds immediately by Lemma 3.8. Otherwise we have that e t+ L t M,F t+ > e t+l t M \Ve,F t+. L t M \Ve This completes the proof. Recall that by Lemma 3.0, any set L t M that minimises the ratio et+lt M,Ft+ L t M has L t. Furthermore, Lemma 3. tells us that any set of the form L t M with L t that minimises the ratio et+lt M,Ft+ L t M has Ve M 0 for every edge e E t L c t,lc t. Let us fix L t VF t \{,} and take M to be maximal such that L t M minimises the edge density. Assume first that L t VF t \ {,} with L t. By Lemma 3. we see that we then have M r e t L t,f t. Also, let e be an arbitrary edge incident to a vertex x L t in F t+. Again by Lemma 3. and by the maximality of M we see that e connects x to a vertex in M: since we have x L t, for every edge f adjacent to x in F t we set Vf M, and then e connects x to a vertex in some Vf. Consequently, all edges incident to L t M in F t+ are incident to M, and since M is a

13 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 3 union of e t L t,f t disjoint cliques on r vertices each, such that every vertex in M has exactly two neighbours outside M, we have e t+ L t M,F t+ e tl t,f t r +r e tl t,f t r L t +r e t L t,f t L t +r e t L t,f t. Note that whenl t VF t \{,} this choice ofm would result in havingl t M VF t+ \{,}, i.e., the edge density with L t VF t \ {,} is minimised among all choices of M by taking the whole graph. As we want to minimise among all possible proper subsets of VF t+, the case L t VF t \{,} requires some further consideration. We first consider edges e EF t that are incident to a vertex in {,}. For these edges, in the following lemma we show that if, in F t+, at least one vertex of Ve is in M, then the edge density does not go up if we move all but one vertex of Ve to M. Lemma 3.3. Let t, L t VF t \{,} and M VF t+ \VF t. Let e {x,y} EF t be such that x L t, y {,}, and let Ve M r 3 with w Ve\M. We have e t+ L t M,F t+ e t+l t M Ve\{w},F t+. L t M Ve\{w} Proof. We prove this lemma analogously to the second part of the proof of Lemma 3.. Set m Ve\M r 3. We have x L t and y / L t. In this case, e t+ L t M,F t+ counts every edge adjacent to a vertex in Ve \ M {w} except for those that are induced by this set, and those that connect a vertex in this set to either y or w. Since there are m + m such edges not counted by e t+ L t M,F t+, we have e t+ L t M Ve\{w},F t+ L t M Ve\{w} Since we have m r 3, we further obtain e t+ L t M Ve\{w},F t+ L t M Ve\{w} e t+l t M,F t+ + m +m +m e t+l t M,F t+ +m + m+ m +m. e t+l t M,F t+ +m + r m +m e t+l t M,F t+. by Lemma 3.6 We now turn our attention to edges e EF t that are induced by vertices in L t. Let us show that for them, the edge density does not go up if we move all but one vertex of Ve to M, even if we initially have Ve M. Lemma 3.4. Let t, L t VF t \{,} with M VF t+ \VF t. Let e {x,y} EF t be such that x,y L t, and let Ve M r 3 with w Ve\M. We have e t+ L t M,F t+ e t+l t M Ve\{w},F t+. L t M Ve\{w}

14 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 4 Proof. The proof of this lemma is analogous to the first part of the proof of Lemma 3.. Set m Ve\M r. We have x,y L t. In this case, e t+ L t M,F t+ counts every edge incident to a vertex in Ve\M {w} except for those that are induced by this set or else connect a vertex in this set to w. Since there are m +m such edges, we have e t+ L t M Ve\{w},F t+ L t M Ve\{w} e t+l t M,F t+ + m +m +m e t+l t M,F t+ +m + m m +m e t+l t M,F t+ +m + r m +m e t+l t M,F t+. by Lemma 3.6 Consider now the implications of Lemmas 3.3 and 3.4 for the case that L t VF t \{,} note that in this case for all e EF t we have e E t L t,f t. Let us again take M to be maximal such that L t M minimises the ratio et+lt M,Ft+ L t M. Since M is maximal, we use Lemma 3. to show that there is exactly one edge e EF t such that Ve M < r. We then use Lemmas 3.3 and 3.4. If e is incident to the vertex or the vertex, then we have either Ve M 0 or Ve M r 3. If it is not incident to neither nor then we have Ve M r 3. In the former case, the vertices in Ve {} or Ve {}, respectively induce a clique on r vertices. The edges of this clique are the only ones not counted by e t+ L t M,F t+. Since VF t+ \L t M {,} Ve, this implies that we have e t+ L t M,F t+ L t M e t+ r. 3 v t+ r In the latter case, if Ve M r 3, let {w} Ve\M. Since VF t+ \L t M {,,w}, w can have at most one neighbour, i.e., either vertex or, not in L t M. This implies that we have We are now ready to prove Theorem 3.9. e t+ L t M,F t+ L t M e t+ v t Proof of Theorem 3.9. The proof proceeds by induction on t. Recall the definition of ε t given in equation 0. Our induction hypothesis is the inequality ε t t r+ r see inequality. We have already seen in the proof of Lemma 3.7 that ε r+ so the claim holds for t. Thus assume the statement is true for some t. We now proceed with establishing

15 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 5 a recursive lower bound on e t+ L t+,f t+ / L t+. As before, we consider sets of the form L t+ L t M, where L t VF t \{,} and M VF t+ \VF t, and we write l L t. Having established a lower bound on e t+ L t+,f t+ / L t+ we use 0 to bound ε t from below. We analyse three cases, depending on the structure of L t and M, and we show that the first of these cases gives the weakest bound on ε t from which the theorem follows. Thus, if there exists a set L t M that minimises the ratio et+lt M,Ft+ L t M for which we have L t VF t \{,} then by, we have e t+ L t M,F t+ l+ M r r r+ et L t,f t l+r e t L t,f t e t L t,f t l+r e t L t,f t. 5 The right-hand side of inequality 5 is a function of the type b+cx with a,b,c > 0. Hence it is increasing in x and therefore we can use relation 0 to bound it from below. Thus we have ax e t+ L t M,F t+ l+ M r r+ l+ε t et v t l+r l+ε t et v t r r+ lλ+c t +ε t l+r lλ+c t +ε t r r+ +c t +c λ+c t+ +ε t+ t +r λ+c t +ε t. by 7 Hence, by 0 we see that ε t+ can be bounded from below by r r+ +c t +c ε t+ +ε t+ t +r λ+c t +ε t +c t +ε t r r+ +c t+ r λ +r λ+c t +ε t τ +c t +ε t +c t+ τ + +r λ+c t +ε t +c t+ε t τ t +r λ+c t +ε t by 3 and 4 by 5 +c t+ε t +c t by 5 +r λ+c t +ε t ε t +r λ+c t +ε t. 6 Using the bound ε t /r+ in Lemma 3.7, we can bound the expression in 6 from below by ε t+ ε t +r λ+c t r+ +r λ τt +τ τt ε t +τ r+ r+ r+ ε t r+ τ t r+ ε t r+ τ t r+ by 5 by 4

16 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 6 ε t + r+r r ε t. by 3 Thus in this case, by the induction hypothesis, we obtain a lower bound on ε t+ given by ε t+ r ε t t r+ r. If on the other hand there exists a set L t M with L t VF t \ {,} that gives the minimal ratio in equation 0 then we shall consider two cases as outlined in the discussion before this proof. If M VF t+ \VF t Ve for some e EF t then by 3 we have e t+ L t M,F t+ e t+ r v t+ r τ t+ r r τt+ τ r e t+ r 3r+ τ t+ v t+ r τ r τ t+ As before, by 0 we see that in this case ε t+ is bounded from below by ε t+ r 3r+ τ t+ τ τ t+ τ τ t+ r 3r+ τ t+ τ τ t+ τt+ τ t+ τ t+ τ r+ τ t+ τ t+ > r 3τt+ +r r+ τ t+ τ t+ > r 3τt+ + τ t+ τ t+ > r 3 τ t+.. τ τ t+ by 3 by 0 and by 3 by 3 The last inequality is clearly weaker than it could be and is given in this form to make further calculations simpler. If L t VF t \{,} and M VF t+ \VF t {w} for some w VF t+ \VF t then by 4 we have e t+ L t M,F t+ e t+ v t+ 3 τ t+ r τt+ τ e t+ v t+ τ t+ τ r τ t+ by 4 by 0 and. by 6

17 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 7 Thus, we see that by 0 in this case ε t+ is at least ε t+ τ t+ τ r τ t+ τ r τ t+ τ t+ τ r τ t+ τt+ r τ t+ +r τ t+ r τ t+ > τt+ r τ t+ τ t+ r τ t+ τ r > r τ t+ r+ τ t+ r r τ t+ r+ r τ r τ t+ by 3 λ τ t+ by. It remains to show that for all t 0 we have t { r 3 r + r min λ, τt+ τ t+ To see that the inequality in 7 holds, note that since r 4, and Moreover, r+ r r +r r+ r + r 3 r+ r r r+r r 3. τ r < r r τ. Thus, for any t 0, the terms in equation 7 satisfy r+ r }. 7 λ, τ r 3 τ τ t. This completes the induction on t and the proof of Theorem 3.9. t λ τ τ t and r+ t r Let us conclude this section by commenting on the sharpness of the bound in. We know that ε /r+ is obtained by takingll of size r 3, i.e., by leaving just one vertex in VF \{,} outside L. If we then continue by, for i t, taking L i to be the union of L i and all vertices in VF i \ VF i that are adjacent to at least one vertex in L i, then the resulting set L t has +r τt τ vertices and τ t τ edges adjacent to it. This shows that for some C r > 0, one can obtain a bound ε t C r /τ t. Since τ r r /, this implies that our lower bound on ε t is relatively sharp. We have thus shown that the edge density of all proper subsets of VF t is strictly bounded from below by e t /v t. As we will see in Section 4, we are now equipped with the necessary means to prove Statement i of Theorem..

18 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 8 4. Upper bound on the critical probability In this section we prove Statement i of Theorem.. We shall use the following form of Janson s inequality. Theorem 4.. Let R be a set and let S R be a random subset of R, where each r R is in S independently with probability p. Let {B,...,B m } be a collection of finite subsets of R and let C i be the event that B i S. Let Z m i ½ {C i} and let µ m i P pc i E[Z]. For i,j m, i j, let i j if B i B j, i.e., if the events C i and C j are dependent, and let i j PC i C j. Then P p Z 0 e µ+ /. 8 Lete 0 {,}. In this section we show that if pn n v t e t n 3. By the union bound this implies P pn T t. logn then we havep pn e 0 / EG t Proof of Statement i of Theorem.. Fix n, sufficiently large, and t tn loglogn 3logτ. As always, fix two vertices and and let e 0 {,}. Given any of the n v t subsets Xi {3,4,...,n} of size v t, let F t X i be an arbitrary fixed copy of the graph F t on X i {,} that adds the edge e 0 to the graph G in t time steps. We shall apply Theorem 4. to bound the probability of e 0 not being added to the graph by time t from above. Let pn n vt /et logn, as in Statement i and let G G n,pn. In Theorem 4. we shall take R [n], S EG and for i,..., n v t let Bi EF t X i. We define C i, as well as Z, as in Theorem 4.. We clearly have µ m i P pc i n v t p e t. An upper bound on in Theorem 4. can be obtained by considering the following form, PC i C j PB i S and B j S. i j X i\x j v t 3 There are n v t ways to choose the set Xi and, having fixed X i, for k v t 3 there are vt n vt ways to choose the set Xj such that X j \ X i k. We also have B i e t and, by v t k k 0, B j \B i k+ε t et v. Hence t n v t k vt 3 k vt v t k n vt k p et+k+εt e t v t v n t 3 vt n vt p et p k+εt e t v t v t k k k t 3 vt n vt µ p k+εt e t v t k k t 3 < µ v t n k p k+εt e t v t. 9 k Note that, by the definition of ε t in 0, by Lemma 3.8 and, e t v t +ε t r + λ+ < λ. 30 r By 4, for all r 4 we have τ > r hence, by 6, v t < τ t. For t loglogn 3logτ log τ logn 3, by 4 we have v t < τ t logn /3. 3

19 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 9 Now, using the fact that pn n vt /et logn, we have t 3 v t n k p k e t k v t 3 v t +εt v t n k n k+εt logn k e t k v t +εt t 3 v t n k logn λk n k+εt by 30 k t 3 logn k/3 logn λk n k k+εt by 3 k t 3 logn kλ+/3 n kεt. 3 k By inequality in Theorem 3.9, we have ε t r+ /r t. This implies that for t loglogn 3logτ we have ε t > logn /. Indeed, ε t t r+ r > log log n 3 log τ τ r + τ r r + logn /3 r r r Now, since the sequence a r r r r is increasing in r and for all r 4 we have τ 5, r r r 3 log τ 5 3 log 5 > 0.93 > e /0, 7 log log n 3 log τ. and the bound ε t logn / follows for n large enough. Consequently, for n large enough we have that logn λ+/3 n εt logn λ+/3 exp logn / < /. Hence continuing the string of inequalities from 9 and 3, µ t 3 k logn λ+/3 n εt k µ k k µ. 33 By 3, we see that the ratio n n tends to as n. Thus, for p n vt vt e t logn we have µ vt n n p et n v t e e t t logn et lognet v t v t v t vt logn τ t τ t, 34 where the second inequality follows from 0 and the bound on v t in 3. Hence using Theorem 4. we obtain PZ 0 exp µ+ / by 8 exp µ/ by 33 exp τ t logn τ t. by 34 x Note that the function x logn x is increasing for x 0, logn e ]. When t, for n sufficiently large, τ logn logn lognτ τ τ τ 6logn.

20 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 0 For t loglogn 3logτ we have τ τ t logn /3 < logn e and so, logn τ t τ t τ logn 6logn τ when n is sufficiently large. Thus, PZ 0 exp τ t logn τ t exp 3logn n 3, and applying the union bound yields P pn T t n. This completes the proof of Statement i of Theorem.. 5. Lower bound on the critical probability In this section we prove Statement ii of Theorem.. More precisely, we show that if pn n v t e t o then even a single fixed pair e 0 {,} is not added to the graph by time t with high probability. Proof of Statement ii of Theorem.. Recall thateg t denotes the edges of the graph after t time steps. We have P pn T t P pn e 0 EG t t P pn e 0 is added at time i. The probability that e 0 is added to the graph at time 0 is clearly p n o. For i t we can be very generous with our estimates. The number of vertices of any minimal graph that adds e 0 to the graph at time i is at least r including and and, by Lemma 3.4, at most v i. The number of different graphs on a set of j vertices is j < j. Finally, by Corollary 3.3 any minimal graph on j vertices that adds e 0 to the graph contains at least λj + edges. Since we take n v t pn o e t, we see that by the union bound the probability that e 0 is added to the graph at some time i t is at most t v i i jr n j p λj + j i0 t v i i jr t i i jr n j j n λj + v t e t n j j+ n λj+ v t e t. 35 For i t we further divide into two cases. We deal with the graphs on at most v t vertices in the same way as we did for i < t. By union bound, the probability that any one of them appears in the graph is at most t 3 jr n j j+ n λj+ v t e t. 36

21 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation The last case we need to consider are graphs on v t vertices that add e 0 to the graph at time t. By Corollary 3.5 there are at most n vt such graphs and the probability that we obtain at least one of them, for some ωn that tends to infinity as n, is at most Consequently we have P pn T t t i i jr For all t, by 6 we have n vt n et v t e t /ωn et ωn et o. n j j+ n λj+ v t e t + v t r τt τ t 3 jr n j j+ n λj+ v t e t +o. 37 < r τ t τ τ v t τ It follows that for i t we can bound the powers of n in 35 by j λj + v t j j λv t v t e t e t e t j +c t λ+c t jc t λ +c t v t c t λ +c t r τ τt τ t r τ + τ t r τ t τ t τ t τ τ t τ t r. τ. by 7 by 6, 5 and 4 Analogously, for i t and j v t 3, we can bound the powers of n in 36 by j λj + v t jc t e t λ +c t v t 3c t λ +c t τ t λ τ t c t by 6 and 5 λ +c t c t +c t /τt +/τ t τ t. We can use these estimates and the fact that, by 6, for any i we have v i τi λ < τ i /λ, to bound P pn T t from above. Indeed, P pn T t t i i jr j+ n r /τ + t 3 jr j+ n /τt +o

22 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation t v t r + vt n r /τ +v t r vt n /τt +o < t τt t λ τ /λ n r /τ + τt t λ τ /λ n /τt +o. 38 There is some constant C r > 0 such that for all t C r we have τt /λ t τt λ and τt λ /λ τt λ. For t < C r all three terms in 38 tend to 0 as n and we clearly have P pn T t o. For t C r we continue 38 to obtain P pn T t τt /λ n r /τ + τt n /τt +o τ t r exp log logn +exp τ t log τ λ τ t logn +o. Thus, for C r t loglogn 3logτ, with all logarithms having base e, logn /3 P pn T t exp o. +exp This completes the proof of Theorem.. λ log r τ logn logn /3 log logn /3 +o 6. Open problems In this paper we determine the critical probability for percolation by time t in K r -bootstrap percolation up to a logarithmic factor. The first obvious problem to consider is the following. Problem 6.. Close the gap between Statement i and Statement ii in Theorem.. We do not expect neither of our bounds to be sharp. However, we believe that for the range of t discussed in this paper we have p c n,r,t/n vt /et. The second open problem we pose here is of extremal nature. Lemma 3.4 tells us that minimal graphs adding e 0 to the graph at time t have at most r τt τ + vertices and τt edges. Problem 6.. How small, both in terms of the size of the vertex set and the edge set, can minimal graphs adding e 0 at time t be? Acknowledgement The authors wish to thank the referees for their very detailed feedback and, in particular, for their many suggestions that helped to improve the presentation of a number of the technical lemmas. References [] N. Alon, An extremal problem for sets with applications to graph theory, J. Combin. Theory, Ser. A , [] P. Balister, B. Bollobás, and P. Smith, The time of bootstrap percolation in two dimensions, To appear in Probability Theory and Related Fields,

23 Gunderson, Koch, and Przykucki/Time of graph bootstrap percolation 3 [3] J. Balogh, B. Bollobás, H. Duminil-Copin, and R. Morris, The sharp threshold for bootstrap percolation in all dimensions, Transactions of the American Mathematical Society 364 0, [4] J. Balogh, B. Bollobás, and R. Morris, Bootstrap percolation in three dimensions, Annals of Probability , [5], Graph bootstrap percolation, Random Structures and Algorithms 4 0, [6] J. Balogh and B. G. Pittel, Bootstrap percolation on the random regular graph, Random Structures and Algorithms , [7] B. Bollobás, Weakly k-saturated graphs, In Beiträge zur Graphentheorie Kolloquium, Manebach, 967, H. Sachs, H. J. Voss, and H. Walther Editors, Teubner, Leipzig, Barth, 968, pp [8], The diameter of random graphs, Transactions of the American Mathematical Society 67 98, 4 5. [9], Graph bootstrap percolation, 0, preprint. [0] B. Bollobás, K. Gunderson, C. Holmgren, S. Janson, and M. Przykucki, Bootstrap percolation on Galton Watson trees, Electronic Journal of Probability 9 04, 7. [] B. Bollobás, C. Holmgren, P. Smith, and A.J. Uzzell, The time of bootstrap percolation with dense initial sets, Annals of Probability 4 04, [] B. Bollobás, P. Smith, and A.J. Uzzell, The time of bootstrap percolation with dense initial sets for all thresholds, To appear in Random Structures and Algorithms, [3] J. Chalupa, P.L. Leath, and G.R. Reich, Bootstrap percolation on a Bethe latice, Journal of Physics C 979, L3 L35. [4] A. van Enter, Proof of Straley s Argument for Bootstrap Percolation, Journal of Statistical Physics , [5] P. Frankl, An extremal problem for two families of sets, Eur. J. Math. 3 98, 5 7. [6] A. E. Holroyd, Sharp metastability threshold for two-dimensional bootstrap percolation, Probability Theory and Related Fields 5 003, [7] S. Janson, T. Łuczak, T. Turova, and T. Vallier, Bootstrap percolation on the random graph G n,p, Annals of Applied Probability 0, [8] G. Kalai, Weakly saturated graphs are rigid, Convexity and graph theory, M. Rosenfeld and J. Zaks Editors, Ann. Discrete Math., 984, pp [9] J. von Neumann, Theory of self-reproducing automata, University of Illinois Press, 966. [0] R.H. Schonmann, On the behaviour of some cellular automata related to bootstrap percolation, Annals of Probability 0 99, [] S. Ulam, Random processes and transformations, Proceedings of the International Congress of Mathematicians, Vol., Cambridge, Massachusetts, August 30 September 6, 950, 95, pp