New methods to bound the critical probability in fractal percolation

We study the critical probability p_c(M) in two‐dimensional M‐adic fractal percolation. To find lower bounds, we compare fractal percolation with site percolation. Fundamentally new is the construction of a computable increasing sequence that converges to p_c(M). We prove that and . For the upper bounds, we introduce an iterative random process on a finite alphabet , which is easier to analyze than the original process. We show that and . © 2014 Wiley Periodicals, Inc. Random Struct. Alg., 47, 710–730, 2015     

Line percolation

We study a new geometric bootstrap percolation model, line percolation, on the d‐dimensional integer grid . In line percolation with infection parameter r, infection spreads from a subset of initially infected lattice points as follows: if there exists an axis‐parallel line L with r or more infected lattice points on it, then every lattice point of on L gets infected, and we repeat this until the infection can no longer spread. The elements of the set A are usually chosen independently, with some density p, and the main question is to determine , the density at which percolation (infection of the entire grid) becomes likely. In this paper, we determine up to a multiplicative factor of and up to a multiplicative constant as for every fixed . We also determine the size of the minimal percolating sets in all dimensions and for all values of the infection parameter.     

The critical probability for confetti percolation equals 1/2

In the confetti percolation model, or two‐coloured dead leaves model, radius one disks arrive on the plane according to a space‐time Poisson process. Each disk is coloured black with probability p and white with probability . In this paper we show that the critical probability for confetti percolation equals 1/2. That is, if p > 1/2 then a.s. there is an unbounded curve in the plane all of whose points are black; while if then a.s. all connected components of the set of black points are bounded. This answers a question of Benjamini and Schramm [1]. The proof builds on earlier work by Hirsch [7] and makes use of an adaptation of a sharp thresholds result of Bourgain. © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 50, 679–697, 2017     

The time of graph bootstrap percolation

Graph bootstrap percolation, introduced by Bollobás in 1968, is a cellular automaton defined as follows. Given a “small” graph H and a “large” graph , in consecutive steps we obtain from G_t by adding to it all new edges e such that contains a new copy of H. We say that G percolates if for some , 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ás and Morris considered graph bootstrap percolation for and studied the critical probability , 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 © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 51, 143–168, 2017     

Sizes of the largest clusters for supercritical percolation on random recursive trees

We consider Bernoulli bond‐percolation on a random recursive tree of size , with supercritical parameter for some fixed. We show that with high probability, the largest cluster has size close to whereas the next largest clusters have size of order only and are distributed according to some Poisson random measure. Copyright © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 44, 29–44, 2014     

A phase transition in the evolution of bootstrap percolation processes on preferential attachment graphs

The theme of this paper is the analysis of bootstrap percolation processes on random graphs generated by preferential attachment. This is a class of infection processes where vertices have two states: they are either infected or susceptible. At each round every susceptible vertex which has at least infected neighbours becomes infected and remains so forever. Assume that initially vertices are randomly infected, where is the total number of vertices of the graph. Suppose also that , where is the average degree. We determine a critical function such that when , complete infection occurs with high probability as , but when , then with high probability the process evolves only for a bounded number of rounds and the final set of infected vertices is asymptotically equal to .     

First passage percolation and escape strategies

Consider first passage percolation on with passage times given by i.i.d. random variables with common distribution F. Let be the time from u to v for a path π and the minimal time among all paths from u to v. We ask whether or not there exist points and a semi‐infinite path such that for all n. Necessary and sufficient conditions on F are given for this to occur. When the support of F is unbounded, we also obtain results on the number of edges with large passage time used by geodesics. © 2014 Wiley Periodicals, Inc. Random Struct. Alg., 47, 414–423, 2015     

Clairvoyant embedding in one dimension

Let v, w be infinite 0‐1 sequences, and a positive integer. We say that is ‐embeddable in , if there exists an increasing sequence of integers with , such that , for all . Let and be coin‐tossing sequences. We will show that there is an with the property that is ‐embeddable into with positive probability. This answers a question that was open for a while. The proof generalizes somewhat the hierarchical method of an earlier paper of the author on dependent percolation. © 2014 Wiley Periodicals, Inc. Random Struct. Alg., 47, 520–560, 2015     

Interference percolation

Let G be an infinite connected graph with minimum degree δ and maximum degree Δ. Let G_p be a random induced subgraph of G obtained by selecting each vertex of G independently with probability p, , and let be the induced subgraph of G_p obtained by deleting all vertices of G_p with degree greater than k in G_p. We show that if and is not too large then almost surely has no infinite component. Moreover, this result is essentially best possible since there are examples where has an infinite component (a) when , 4, or 5, and k = 3; (b) when for any δ and k = 3; and (c) when for any and . In addition, we show that if G is the d ‐dimensional lattice then almost surely has an infinite component for sufficiently large d. © 2014 Wiley Periodicals, Inc. Random Struct. Alg. 44, 399–418, 2014     

On giant components and treewidth in the layers model

Given an undirected n‐vertex graph G(V, E) and an integer k, let T_k(G) denote the random vertex induced subgraph of G generated by ordering V according to a random permutation π and including in T_k(G) those vertices with at most k – 1 of their neighbors preceding them in this order. The distribution of subgraphs sampled in this manner is called the layers model with parameter k. The layers model has found applications in studying ?‐degenerate subgraphs, the design of algorithms for the maximum independent set problem, and in bootstrap percolation. In the current work we expand the study of structural properties of the layers model. We prove that there are 3‐regular graphs G for which with high probability T₃(G) has a connected component of size , and moreover, T₃(G) has treewidth . In contrast, T₂(G) is known to be a forest (hence of treewidth 1), and we prove that if G is of bounded degree then with high probability the largest connected component in T₂(G) is of size . We also consider the infinite grid , for which we prove that contains a unique infinite connected component with probability 1. © 2015 Wiley Periodicals, Inc. Random Struct. Alg., 48, 524–545, 2016     

Asymptotics in percolation on high‐girth expanders

We consider supercritical bond percolation on a family of high‐girth ‐regular expanders. The previous study of Alon, Benjamini and Stacey established that its critical probability for the appearance of a linear‐sized (“giant”) component is . Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the giant and its 2‐core at any . It was further shown in the previous study that the second largest component, at any , has size at most for some . We show that, unlike the situation in the classical Erd?s‐Rényi random graph, the second largest component in bond percolation on a regular expander, even with an arbitrarily large girth, can have size for arbitrarily close to 1. Moreover, as a by‐product of that construction, we answer negatively a question of Benjamini on the relation between the diameter of a component in percolation on expanders and the existence of a giant component. Finally, we establish other typical features of the giant component, for example, the existence of a linear path.     

On percolation and ‐hardness

The edge‐percolation and vertex‐percolation random graph models start with an arbitrary graph G, and randomly delete edges or vertices of G with some fixed probability. We study the computational complexity of problems whose inputs are obtained by applying percolation to worst‐case instances. Specifically, we show that a number of classical ‐hard problems on graphs remain essentially as hard on percolated instances as they are in the worst‐case (assuming ). We also prove hardness results for other ‐hard problems such as Constraint Satisfaction Problems and Subset‐Sum, with suitable definitions of random deletions. Along the way, we establish that for any given graph G the independence number and the chromatic number are robust to percolation in the following sense. Given a graph G, let be the graph obtained by randomly deleting edges of G with some probability . We show that if is small, then remains small with probability at least 0.99. Similarly, we show that if is large, then remains large with probability at least 0.99. We believe these results are of independent interest.     

Competition in growth and urns

We study survival among two competing types in two settings: a planar growth model related to two‐neighbor bootstrap percolation, and a system of urns with graph‐based interactions. In the planar growth model, uncolored sites are given a color at rate 0, 1 or , depending on whether they have zero, one, or at least two neighbors of that color. In the urn scheme, each vertex of a graph G has an associated urn containing some number of either blue or red balls (but not both). At each time step, a ball is chosen uniformly at random from all those currently present in the system, a ball of the same color is added to each neighboring urn, and balls in the same urn but of different colors annihilate on a one‐for‐one basis. We show that, for every connected graph G and every initial configuration, only one color survives almost surely. As a corollary, we deduce that in the two‐type growth model on , one of the colors only infects a finite number of sites with probability one. We also discuss generalizations to higher dimensions and multi‐type processes, and list a number of open problems and conjectures.     

Self‐destructive percolation as a limit of forest‐fire models on regular rooted trees

Let T be a regular rooted tree. For every natural number n, let T_n be the finite subtree of vertices with graph distance at most n from the root. Consider the following forest‐fire model on T_n: Each vertex can be “vacant” or “occupied”. At time 0 all vertices are vacant. Then the process is governed by two opposing mechanisms: Vertices become occupied at rate 1, independently for all vertices. Independently thereof and independently for all vertices, “lightning” hits vertices at rate λ(n) > 0. When a vertex is hit by lightning, its occupied cluster becomes vacant instantaneously. Now suppose that λ(n) decays exponentially in n but much more slowly than 1/|T_n|, where |T_n| denotes the number of vertices of T_n. We show that then there exist such that between time 0 and time the forest‐fire model on T_n tends to the following process on T as n goes to infinity: At time 0 all vertices are vacant. Between time 0 and time τ vertices become occupied at rate 1, independently for all vertices. Immediately before time τ there are infinitely many infinite occupied clusters. At time τ all these clusters become vacant. Between time τ and time vertices again become occupied at rate 1, independently for all vertices. At time all occupied clusters are finite. This process is a dynamic version of self‐destructive percolation. © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 50, 86–113, 2017     

The chromatic number of dense random graphs

The chromatic number of a graph G is defined as the minimum number of colors required for a vertex coloring where no two adjacent vertices are colored the same. The chromatic number of the dense random graph where is constant has been intensively studied since the 1970s, and a landmark result by Bollobás in 1987 first established the asymptotic value of . Despite several improvements of this result, the exact value of remains open. In this paper, new upper and lower bounds for are established. These bounds are the first ones that match each other up to a term of size o(1) in the denominator: they narrow down the coloring rate of to an explicit interval of length o(1), answering a question of Kang and McDiarmid.     

Spectra of large diluted but bushy random graphs

We compute an asymptotic expansion in of the limit in of the empirical spectral measure of the adjacency matrix of an Erd?s‐Rényi random graph with vertices and parameter . We present two different methods, one of which is valid for the more general setting of locally tree‐like graphs. © 2015 Wiley Periodicals, Inc. Random Struct. Alg., 49, 160–184, 2016     

Degenerate random environments

We consider connectivity properties of certain i.i.d. random environments on , where at each location some steps may not be available. Site percolation and oriented percolation are examples of such environments. In these models, one of the quantities most often studied is the (random) set of vertices that can be reached from the origin by following a connected path. More generally, for the models we consider, multiple different types of connectivity are of interest, including: the set of vertices that can be reached from the origin; the set of vertices from which the origin can be reached; the intersection of the two. As with percolation models, many of the models we consider admit, or are expected to admit phase transitions. Among the main results of the paper is a proof of the existence of phase transitions for some two‐dimensional models that are non‐monotone in their underlying parameter, and an improved bound on the critical value for oriented site percolation on the triangular lattice. The connectivity of the random directed graphs provides a foundation for understanding the asymptotic properties of random walks in these random environments, which we study in a second paper. © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 45, 111–137, 2014     

On the threshold for the Maker‐Breaker H‐game

We study the Maker‐Breaker H‐game played on the edge set of the random graph . In this game two players, Maker and Breaker, alternately claim unclaimed edges of , until all edges are claimed. Maker wins if he claims all edges of a copy of a fixed graph H; Breaker wins otherwise. In this paper we show that, with the exception of trees and triangles, the threshold for an H‐game is given by the threshold of the corresponding Ramsey property of with respect to the graph H. © 2015 Wiley Periodicals, Inc. Random Struct. Alg., 49, 558–578, 2016     

On the total variation distance between the binomial random graph and the random intersection graph

When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Karoński, Scheinerman, and Singer‐Cohen introduced a random intersection graph by taking randomly assigned sets. The random intersection graph has n vertices and sets assigned to the vertices are chosen to be i.i.d. random subsets of a fixed set M of size m where each element of M belongs to each random subset with probability p, independently of all other elements in M. In 2000, Fill, Scheinerman, and Singer‐Cohen showed that the total variation distance between the random graph and the Erdös‐Rényi graph tends to 0 for any if , where is chosen so that the expected numbers of edges in the two graphs are the same. In this paper, it is proved that the total variation distance still tends to 0 for any whenever .     

Arboricity and spanning‐tree packing in random graphs

We study the arboricity and the maximum number of edge‐disjoint spanning trees of the classical random graph . For all , we show that, with high probability, is precisely the minimum of and , where is the minimum degree of the graph and denotes the number of edges. Moreover, we explicitly determine a sharp threshold value for such that the following holds. Above this threshold, equals and equals . Below this threshold, equals , and we give a two‐value concentration result for the arboricity in that range. Finally, we include a stronger version of these results in the context of the random graph process where the edges are randomly added one by one. A direct application of our result gives a sharp threshold for the maximum load being at most in the two‐choice load balancing problem, where .