Showing 1–50 of 52 results for author: Riordan, O

Random cliques in random graphs revisited

Authors: Robert Morris, Oliver Riordan

Abstract: We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we… ▽ More We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we derive a new upper bound on the number of $K_r$-factors in $G(n,p)$ above the threshold for such factors to appear. We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when $p$ is constant and $r = r(n) \sim 2\log_{1/p}(n)$. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 51 pages

MSC Class: 05C80; 05C70; 05C65

Thresholds and expectation thresholds for larger p

Authors: Tomasz Przybyłowski, Oliver Riordan

Abstract: Let $p_\mathrm{c}$ and $q_\mathrm{c}$ be the threshold and the expectation threshold, respectively, of an increasing family $\mathcal{F}$ of subsets of a finite set $X$, and let $l$ be the size of a largest minimal element of $\mathcal{F}$. Recently, Park and Pham proved the Kahn-Kalai conjecture, which says that $p_\mathrm{c} \leqslant K q_\mathrm{c} \log_2 l$ for some universal constant $K$. Her… ▽ More Let $p_\mathrm{c}$ and $q_\mathrm{c}$ be the threshold and the expectation threshold, respectively, of an increasing family $\mathcal{F}$ of subsets of a finite set $X$, and let $l$ be the size of a largest minimal element of $\mathcal{F}$. Recently, Park and Pham proved the Kahn-Kalai conjecture, which says that $p_\mathrm{c} \leqslant K q_\mathrm{c} \log_2 l$ for some universal constant $K$. Here we slightly strengthen their result by showing that $p_\mathrm{c} \leqslant 1 - \mathrm{e}^{-K q_\mathrm{c} \log_2 l}$. The idea is to apply the Park-Pham Theorem to an appropriate `cloned' family $\mathcal{F}_k$, reducing the general case (of this and related results) to the case where the individual element probability $p$ is small. △ Less

Submitted 20 October, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 5 pages; minor edits; submitted

MSC Class: 60C05

How does the chromatic number of a random graph vary?

Authors: Annika Heckel, Oliver Riordan

Abstract: How does the chromatic number of a graph chosen uniformly at random from all graphs on $n$ vertices behave? This quantity is a random variable, so one can ask (i) for upper and lower bounds on its typical values, and (ii) for bounds on how much it varies: what is the width (e.g., standard deviation) of its distribution? On (i) there has been considerable progress over the last 45 years; on (ii),… ▽ More How does the chromatic number of a graph chosen uniformly at random from all graphs on $n$ vertices behave? This quantity is a random variable, so one can ask (i) for upper and lower bounds on its typical values, and (ii) for bounds on how much it varies: what is the width (e.g., standard deviation) of its distribution? On (i) there has been considerable progress over the last 45 years; on (ii), which is our focus here, remarkably little. One would like both upper and lower bounds on the width of the distribution, and ideally a description of the (appropriately scaled) limiting distribution. There is a well known upper bound of Shamir and Spencer of order $\sqrt{n}$, improved slightly by Alon to $\sqrt{n}/\log n$, but no non-trivial lower bound was known until 2019, when the first author proved that the width is at least $n^{1/4-o(1)}$ for infinitely many $n$, answering a longstanding question of Bollobás. In this paper we have two main aims: first, we shall prove a much stronger lower bound on the width. We shall show unconditionally that, for some values of $n$, the width is at least $n^{1/2-o(1)}$, matching the upper bounds up to the error term. Moreover, conditional on a recently announced sharper explicit estimate for the chromatic number, we improve the lower bound to order $\sqrt{n} \log \log n /\log^3 n$, within a logarithmic factor of the upper bound. Secondly, we will describe a number of conjectures as to what the true behaviour of the variation in $χ(G_{n,1/2})$ is, and why. The first form of this conjecture arises from recent work of Bollobás, Heckel, Morris, Panagiotou, Riordan and Smith. We will also give much more detailed conjectures, suggesting that the true width, for the worst case $n$, matches our lower bound up to a constant factor. These conjectures also predict a Gaussian limiting distribution. △ Less

Submitted 17 August, 2023; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 38 pages, 3 figures. Minor edits and corrections

MSC Class: 05C15; 05C80

Journal ref: J. London Math. Soc.(2) 2023, 1-47

Random cliques in random graphs and sharp thresholds for $F$-factors

Authors: Oliver Riordan

Abstract: We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for… ▽ More We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs. △ Less

Submitted 9 June, 2022; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 22 pages; figures added, hypergraph case included

MSC Class: 05C80; 05C70; 05C65

A note on Linnik's Theorem on quadratic non-residues

Authors: Paul Balister, Béla Bollobás, Jonathan D. Lee, Robert Morris, Oliver Riordan

Abstract: We present a short, self-contained, and purely combinatorial proof of Linnik's theorem: for any $\varepsilon > 0$ there exists a constant $C_\varepsilon$ such that for any $N$, there are at most $C_\varepsilon$ primes $p \leqslant N$ such that the least positive quadratic non-residue modulo $p$ exceeds $N^\varepsilon$. We present a short, self-contained, and purely combinatorial proof of Linnik's theorem: for any $\varepsilon > 0$ there exists a constant $C_\varepsilon$ such that for any $N$, there are at most $C_\varepsilon$ primes $p \leqslant N$ such that the least positive quadratic non-residue modulo $p$ exceeds $N^\varepsilon$. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Comments: 6 pages

Sesqui-type branching processes

Authors: Svante Janson, Oliver Riordan, Lutz Warnke

Abstract: We consider branching processes consisting of particles (individuals) of two types (type L and type S) in which only particles of type L have offspring, proving estimates for the survival probability and the (tail of) the distribution of the total number of particles. Such processes are in some sense closer to single- than to multi-type branching processes. Nonetheless, the second, barren, type co… ▽ More We consider branching processes consisting of particles (individuals) of two types (type L and type S) in which only particles of type L have offspring, proving estimates for the survival probability and the (tail of) the distribution of the total number of particles. Such processes are in some sense closer to single- than to multi-type branching processes. Nonetheless, the second, barren, type complicates the analysis significantly. The results proved here (about point and survival probabilities) are a key ingredient in the analysis of bounded-size Achlioptas processes in a recent paper by the last two authors. △ Less

Submitted 24 June, 2017; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 23 pages. References updated

MSC Class: 60J80

Journal ref: Stochastic Processes and their Applications 128 (2018), 3628--3655

The phase transition in bounded-size Achlioptas processes

Authors: Oliver Riordan, Lutz Warnke

Abstract: Perhaps the best understood phase transition is that in the component structure of the uniform random graph process introduced by Erdős and Rényi around 1960. Since the model is so fundamental, it is very interesting to know which features of this phase transition are specific to the model, and which are `universal', at least within some larger class of processes (a `universality class'). Achliopt… ▽ More Perhaps the best understood phase transition is that in the component structure of the uniform random graph process introduced by Erdős and Rényi around 1960. Since the model is so fundamental, it is very interesting to know which features of this phase transition are specific to the model, and which are `universal', at least within some larger class of processes (a `universality class'). Achlioptas process, a class of variants of the Erdős--Rényi process that are easy to define but difficult to analyze, have been extensively studied from this point of view. Here, settling a number of conjectures and open problems, we show that all `bounded-size' Achlioptas processes share (in a strong sense) all the key features of the Erdős--Rényi phase transition. We do not expect this to hold for Achlioptas processes in general. △ Less

Submitted 30 January, 2025; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: 97 pages, 7 figures; to appear in Memoirs of the AMS

MSC Class: 05C80; 60C05; 90B15

A local limit theorem for Quicksort key comparisons via multi-round smoothing

Authors: Béla Bollobás, James Allen Fill, Oliver Riordan

Abstract: As proved by Régnier and Rösler, the number of key comparisons required by the randomized sorting algorithm QuickSort to sort a list of $n$ distinct items (keys) satisfies a global distributional limit theorem. Fill and Janson proved results about the limiting distribution and the rate of convergence, and used these to prove a result part way towards a corresponding local limit theorem. In this pa… ▽ More As proved by Régnier and Rösler, the number of key comparisons required by the randomized sorting algorithm QuickSort to sort a list of $n$ distinct items (keys) satisfies a global distributional limit theorem. Fill and Janson proved results about the limiting distribution and the rate of convergence, and used these to prove a result part way towards a corresponding local limit theorem. In this paper we use a multi-round smoothing technique to prove the full local limit theorem. △ Less

Submitted 16 January, 2017; originally announced January 2017.

Comments: 29 pages

MSC Class: Primary 68W40; secondary 68P10; 60F05; 60C05

Counting racks of order n

Authors: Matthew Ashford, Oliver Riordan

Abstract: A rack on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is a permutation of $[n]$ such that $f_{(x)f_y} = f_y^{-1}f_xf_y$ for all $x$ and $y$. In 2013, Blackburn showed that the number of isomorphism classes of racks on $[n]$ is at least $2^{(1/4 - o(1))n^2}$ and at most $2^{(c + o(1))n^2}$, where $c \approx 1.557$; in this paper we improve the upper bound to… ▽ More A rack on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is a permutation of $[n]$ such that $f_{(x)f_y} = f_y^{-1}f_xf_y$ for all $x$ and $y$. In 2013, Blackburn showed that the number of isomorphism classes of racks on $[n]$ is at least $2^{(1/4 - o(1))n^2}$ and at most $2^{(c + o(1))n^2}$, where $c \approx 1.557$; in this paper we improve the upper bound to $2^{(1/4 + o(1))n^2}$, matching the lower bound. The proof involves considering racks as loopless, edge-coloured directed multigraphs on $[n]$, where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$, and applying various combinatorial tools. △ Less

Submitted 21 May, 2017; v1 submitted 24 July, 2016; originally announced July 2016.

Comments: Minor edits. 21 pages; 1 figure

MSC Class: 05C25; 20N02; 05A16

Journal ref: Electronic Journal of Combinatorics 24 (2017), #P2.32 (electronic, 20 pp.)

Counting dense connected hypergraphs via the probabilistic method

Authors: Béla Bollobás, Oliver Riordan

Abstract: In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]=\{1,2,\ldots,n\}$ with $m$ edges, whenever $n\to\infty$ and $n-1\le m=m(n)\le \binom{n}{2}$. We give an asymptotic formula for the number $C_r(n,m)$ of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges, whenever $r\ge 3$ is fixed and $m=m(n)$ with $m/n\to\infty$, i.e., the average degre… ▽ More In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]=\{1,2,\ldots,n\}$ with $m$ edges, whenever $n\to\infty$ and $n-1\le m=m(n)\le \binom{n}{2}$. We give an asymptotic formula for the number $C_r(n,m)$ of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges, whenever $r\ge 3$ is fixed and $m=m(n)$ with $m/n\to\infty$, i.e., the average degree tends to infinity. This complements recent results of Behrisch, Coja-Oghlan and Kang (the case $m=n/(r-1)+Θ(n)$) and the present authors (the case $m=n/(r-1)+o(n)$, i.e., `nullity' or `excess' $o(n)$). The proof is based on probabilistic methods, and in particular on a bivariate local limit theorem for the number of vertices and edges in the largest component of a certain random hypergraph. The arguments are much simpler than in the sparse case; in particular, we can use `smoothing' techniques to directly prove the local limit theorem, without needing to first prove a central limit theorem. △ Less

Submitted 22 September, 2017; v1 submitted 15 November, 2015; originally announced November 2015.

Comments: 37 pages, 1 figure. Minor changes only. To appear in Random Structures and Algorithms

MSC Class: 05C80; 05C65; 05C30

Journal ref: Random Structures and Algorithms 53 (2018), 185--220

On the maximum running time in graph bootstrap percolation

Authors: Béla Bollobás, Michał Przykucki, Oliver Riordan, Julian Sahasrabudhe

Abstract: Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially "infect" all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the siz… ▽ More Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially "infect" all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the size of the smallest percolating sets when $H = K_r$ was answered independently by Alon, Kalai and Frankl. Here we consider a different question raised more recently by Bollobás: what is the maximum time the process can run before it stabilizes? It is an easy observation that for $r=3$ this maximum is $\lceil \log_2 (n-1) \rceil $. However, a new phenomenon occurs for $r=4$ when, as we show, the maximum time of the process is $n-3$. For $r \geq 5$ the behaviour of the dynamics is even more complex, which we demonstrate by showing that the $K_r$-bootstrap process can run for at least $n^{2-\varepsilon_r}$ time steps for some $\varepsilon_r$ that tends to $0$ as $r \to \infty$. △ Less

Submitted 23 October, 2015; originally announced October 2015.

MSC Class: 05C80

Journal ref: Electronic Journal of Combinatorics 24 (2017), #P2.16 (electronic, 20 pp.)

The threshold for jigsaw percolation on random graphs

Authors: Béla Bollobás, Oliver Riordan, Erik Slivken, Paul Smith

Abstract: Jigsaw percolation is a model for the process of solving puzzles within a social network, which was recently proposed by Brummitt, Chatterjee, Dey and Sivakoff. In the model there are two graphs on a single vertex set (the `people' graph and the `puzzle' graph), and vertices merge to form components if they are joined by an edge of each graph. These components then merge to form larger components… ▽ More Jigsaw percolation is a model for the process of solving puzzles within a social network, which was recently proposed by Brummitt, Chatterjee, Dey and Sivakoff. In the model there are two graphs on a single vertex set (the `people' graph and the `puzzle' graph), and vertices merge to form components if they are joined by an edge of each graph. These components then merge to form larger components if again there is an edge of each graph joining them, and so on. Percolation is said to occur if the process terminates with a single component containing every vertex. In this note we determine the threshold for percolation up to a constant factor, in the case where both graphs are Erdős--Rényi random graphs. △ Less

Submitted 5 June, 2017; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: 13 pages

Journal ref: Electronic Journal of Combinatorics 24 (2017), #P2.36 (electronic, 14 pp.)

Counting connected hypergraphs via the probabilistic method

Authors: Béla Bollobás, Oliver Riordan

Abstract: In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]$ with $m$ edges, whenever $n$ and the nullity $m-n+1$ tend to infinity. Asymptotic formulae for the number of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges and so nullity $t=(r-1)m-n+1$ were proved by Karoński and Łuczak for the case $t=o(\log n/\log\log n)$, and Behrisch, Coja-Oghl… ▽ More In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]$ with $m$ edges, whenever $n$ and the nullity $m-n+1$ tend to infinity. Asymptotic formulae for the number of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges and so nullity $t=(r-1)m-n+1$ were proved by Karoński and Łuczak for the case $t=o(\log n/\log\log n)$, and Behrisch, Coja-Oghlan and Kang for $t=Θ(n)$. Here we prove such a formula for any $r\ge 3$ fixed, and any $t=t(n)$ satisfying $t=o(n)$ and $t\to\infty$ as $n\to\infty$. This leaves open only the (much simpler) case $t/n\to\infty$, which we will consider in future work. ( arXiv:1511.04739 ) Our approach is probabilistic. Let $H^r_{n,p}$ denote the random $r$-uniform hypergraph on $[n]$ in which each edge is present independently with probability $p$. Let $L_1$ and $M_1$ be the numbers of vertices and edges in the largest component of $H^r_{n,p}$. We prove a local limit theorem giving an asymptotic formula for the probability that $L_1$ and $M_1$ take any given pair of values within the `typical' range, for any $p=p(n)$ in the supercritical regime, i.e., when $p=p(n)=(1+ε(n))(r-2)!n^{-r+1}$ where $ε^3n\to\infty$ and $ε\to 0$; our enumerative result then follows easily. Taking as a starting point the recent joint central limit theorem for $L_1$ and $M_1$, we use smoothing techniques to show that `nearby' pairs of values arise with about the same probability, leading to the local limit theorem. Behrisch et al used similar ideas in a very different way, that does not seem to work in our setting. Independently, Sato and Wormald have recently proved the special case $r=3$, with an additional restriction on $t$. They use complementary, more enumerative methods, which seem to have a more limited scope, but to give additional information when they do work. △ Less

Submitted 17 November, 2015; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: Expanded; asymptotics clarified - no significant mathematical changes. 67 pages (including appendix)

MSC Class: 05C80; 05C65; 05C30

Journal ref: Combinator. Probab. Comp. 25 (2016) 21-75

Exploring hypergraphs with martingales

Authors: Béla Bollobás, Oliver Riordan

Abstract: Recently, we adapted exploration and martingale arguments of Nachmias and Peres, in turn based on ideas of Martin-Löf, Karp and Aldous, to prove asymptotic normality of the number $L_1$ of vertices in the largest component $C$ of the random $r$-uniform hypergraph throughout the supercritical regime. In this paper we take these arguments further to prove two new results: strong tail bounds on the d… ▽ More Recently, we adapted exploration and martingale arguments of Nachmias and Peres, in turn based on ideas of Martin-Löf, Karp and Aldous, to prove asymptotic normality of the number $L_1$ of vertices in the largest component $C$ of the random $r$-uniform hypergraph throughout the supercritical regime. In this paper we take these arguments further to prove two new results: strong tail bounds on the distribution of $L_1$, and joint asymptotic normality of $L_1$ and the number $M_1$ of edges of $C$. These results are used in a separate paper "Counting connected hypergraphs via the probabilistic method" to enumerate sparsely connected hypergraphs asymptotically. △ Less

Submitted 2 February, 2016; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: 32 pages; significantly expanded presentation. To appear in Random Structures and Algorithms

MSC Class: 05C80

Journal ref: Random Structures and Algorithms 50 (2017), 325--352

Essential enhancements revisited

Authors: Paul Balister, Béla Bollobás, Oliver Riordan

Abstract: In 1991 Aizenman and Grimmett claimed that any `essential enhancement' of site or bond percolation on a lattice lowers the critical probability, an important result with many implications, such as strict inequalities between critical probabilities on suitable pairs of lattices. Their proof has two parts, one probabilistic and one combinatorial. In this paper we point out that a key combinatorial l… ▽ More In 1991 Aizenman and Grimmett claimed that any `essential enhancement' of site or bond percolation on a lattice lowers the critical probability, an important result with many implications, such as strict inequalities between critical probabilities on suitable pairs of lattices. Their proof has two parts, one probabilistic and one combinatorial. In this paper we point out that a key combinatorial lemma, for which they provide only a figure as proof, is false. We prove an alternative form of the lemma, and thus the enhancement result, in the special cases of site percolation on the square, triangular and cubic lattices, and for bond percolation on $Z^d$, $d\ge 2$. The general case remains open, even for site percolation on $Z^d$, $d\ge 4$. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Comments: 23 pages, 3 figures

MSC Class: 60K35; 82B43

Long cycles in random subgraphs of graphs with large minimum degree

Authors: Oliver Riordan

Abstract: Let $G$ be any graph of minimum degree at least $k$, and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Recently, Krivelevich, Lee and Sudakov showed that if $pk\to\infty$ then with probability tending to 1 $G_p$ contains a cycle of length at least $(1-o(1))k$. We give a much shorter proof of this result, also based on depth-first search. Let $G$ be any graph of minimum degree at least $k$, and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Recently, Krivelevich, Lee and Sudakov showed that if $pk\to\infty$ then with probability tending to 1 $G_p$ contains a cycle of length at least $(1-o(1))k$. We give a much shorter proof of this result, also based on depth-first search. △ Less

Submitted 24 May, 2014; v1 submitted 14 August, 2013; originally announced August 2013.

Comments: 4 pages, 1 figure; figure reoriented

MSC Class: 05C80

Journal ref: Random Structures Algorithms 45 (2014), no. 4, 762--765

On the threshold for rainbow connection number r in random graphs

Authors: Annika Heckel, Oliver Riordan

Abstract: We call an edge colouring of a graph G a rainbow colouring if every pair of vertices is joined by a rainbow path, i.e., a path where no two edges have the same colour. The minimum number of colours required for a rainbow colouring of the edges of G is called the rainbow connection number (or rainbow connectivity) rc(G) of G. We investigate sharp thresholds in the Erdős-Rényi random graph for the p… ▽ More We call an edge colouring of a graph G a rainbow colouring if every pair of vertices is joined by a rainbow path, i.e., a path where no two edges have the same colour. The minimum number of colours required for a rainbow colouring of the edges of G is called the rainbow connection number (or rainbow connectivity) rc(G) of G. We investigate sharp thresholds in the Erdős-Rényi random graph for the property "rc(G) <= r" where r is a fixed integer. It is known that for r=2, rainbow connection number 2 and diameter 2 happen essentially at the same time in random graphs. For r >= 3, we conjecture that this is not the case, propose an alternative threshold, and prove that this is an upper bound for the threshold for rainbow connection number r. △ Less

Submitted 29 July, 2013; originally announced July 2013.

Comments: 16 pages, 2 figures

MSC Class: 05C80; 05C15

Journal ref: Graphs and Combinatorics 32 (2016), Issue 1, pp 161-174

An old approach to the giant component problem

Authors: Bela Bollobas, Oliver Riordan

Abstract: In 1998, Molloy and Reed showed that, under suitable conditions, if a sequence of degree sequences converges to a probability distribution $D$, then the size of the largest component in corresponding $n$-vertex random graph is asymptotically $ρ(D)n$, where $ρ(D)$ is a constant defined by the solution to certain equations that can be interpreted as the survival probability of a branching process as… ▽ More In 1998, Molloy and Reed showed that, under suitable conditions, if a sequence of degree sequences converges to a probability distribution $D$, then the size of the largest component in corresponding $n$-vertex random graph is asymptotically $ρ(D)n$, where $ρ(D)$ is a constant defined by the solution to certain equations that can be interpreted as the survival probability of a branching process associated to $D$. There have been a number of papers strengthening this result in various ways; here we prove a strong form of the result (with exponential bounds on the probability of large deviations) under minimal conditions. △ Less

Submitted 15 February, 2015; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: 24 pages; only minor changes

MSC Class: 05C80; 60J80

Journal ref: J. Combin. Theory Ser. B 113 (2015), 236--260

The hitting time of rainbow connection number two

Authors: Annika Heckel, Oliver Riordan

Abstract: In a graph $G$ with a given edge colouring, a rainbow path is a path all of whose edges have distinct colours. The minimum number of colours required to colour the edges of $G$ so that every pair of vertices is joined by at least one rainbow path is called the rainbow connection number $rc(G)$ of the graph $G$. For any graph $G$, $rc(G) \ge diam(G)$. We will show that for the Erdős-Rényi random gr… ▽ More In a graph $G$ with a given edge colouring, a rainbow path is a path all of whose edges have distinct colours. The minimum number of colours required to colour the edges of $G$ so that every pair of vertices is joined by at least one rainbow path is called the rainbow connection number $rc(G)$ of the graph $G$. For any graph $G$, $rc(G) \ge diam(G)$. We will show that for the Erdős-Rényi random graph $G(n,p)$ close to the diameter 2 threshold, with high probability if $diam(G)=2$ then $rc(G)=2$. In fact, further strengthening this result, we will show that in the random graph process, with high probability the hitting times of diameter 2 and of rainbow connection number 2 coincide. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Comments: 16 pages, 2 figures

MSC Class: 05C80

Journal ref: Electronic J. Combinatorics 19 (2012), Issue 4, P37

A simple branching process approach to the phase transition in $G_{n,p}$

Authors: Bela Bollobas, Oliver Riordan

Abstract: It is well known that the branching process approach to the study of the random graph $G_{n,p}$ gives a very simple way of understanding the size of the giant component when it is fairly large (of order $Θ(n)$). Here we show that a variant of this approach works all the way down to the phase transition: we use branching process arguments to give a simple new derivation of the asymptotic size of th… ▽ More It is well known that the branching process approach to the study of the random graph $G_{n,p}$ gives a very simple way of understanding the size of the giant component when it is fairly large (of order $Θ(n)$). Here we show that a variant of this approach works all the way down to the phase transition: we use branching process arguments to give a simple new derivation of the asymptotic size of the largest component whenever $(np-1)^3n\to\infty$. △ Less

Submitted 26 July, 2012; originally announced July 2012.

Comments: 8 pages

MSC Class: 05C80; 60J80

Journal ref: Electronic Journal of Combinatorics 19 (2012) P21

The evolution of subcritical Achlioptas processes

Authors: Oliver Riordan, Lutz Warnke

Abstract: In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. Although the evolution of such `local' modifications of the Erd{\H o}s--Rényi random graph process has received considerable attention during the last decade, so far only rather simple rules are well und… ▽ More In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. Although the evolution of such `local' modifications of the Erd{\H o}s--Rényi random graph process has received considerable attention during the last decade, so far only rather simple rules are well understood. Indeed, the main focus has been on `bounded-size' rules, where all component sizes larger than some constant $B$ are treated the same way, and for more complex rules very few rigorous results are known. In this paper we study Achlioptas processes given by (unbounded) size rules such as the sum and product rules. Using a variant of the neighbourhood exploration process and branching process arguments we show that certain key statistics are tightly concentrated at least until the susceptibility (the expected size of the component containing a randomly chosen vertex) diverges. Our convergence result is most likely best possible for certain rules: in the later evolution the number of vertices in small components may not be concentrated. Furthermore, we believe that for a large class of rules the critical time where the susceptibility `blows up' coincides with the percolation threshold. △ Less

Submitted 23 April, 2012; originally announced April 2012.

Comments: 33 pages, 2 figures

Journal ref: Random Structures and Algorithms 47 (2015), 174-203

The Janson inequalities for general up-sets

Authors: Oliver Riordan, Lutz Warnke

Abstract: Janson and Janson, Luczak and Rucinski proved several inequalities for the lower tail of the distribution of the number of events that hold, when all the events are up-sets (increasing events) of a special form - each event is the intersection of some subset of a single set of independent events (i.e., a principal up-set). We show that these inequalities in fact hold for arbitrary up-sets, by modi… ▽ More Janson and Janson, Luczak and Rucinski proved several inequalities for the lower tail of the distribution of the number of events that hold, when all the events are up-sets (increasing events) of a special form - each event is the intersection of some subset of a single set of independent events (i.e., a principal up-set). We show that these inequalities in fact hold for arbitrary up-sets, by modifying existing proofs to use only positive correlation, avoiding the need to assume positive correlation conditioned on one of the events. △ Less

Submitted 18 April, 2013; v1 submitted 5 March, 2012; originally announced March 2012.

Comments: 5 pages. Added weighted variant

MSC Class: 60F10 (Primary); 60C05; 05C80 (Secondary)

Journal ref: Random Structures and Algorithms 46 (2015), 391-395

Asymptotic normality of the size of the giant component in a random hypergraph

Authors: Bela Bollobas, Oliver Riordan

Abstract: Recently, we adapted random walk arguments based on work of Nachmias and Peres, Martin-Löf, Karp and Aldous to give a simple proof of the asymptotic normality of the size of the giant component in the random graph $G(n,p)$ above the phase transition. Here we show that the same method applies to the analogous model of random $k$-uniform hypergraphs, establishing asymptotic normality throughout the… ▽ More Recently, we adapted random walk arguments based on work of Nachmias and Peres, Martin-Löf, Karp and Aldous to give a simple proof of the asymptotic normality of the size of the giant component in the random graph $G(n,p)$ above the phase transition. Here we show that the same method applies to the analogous model of random $k$-uniform hypergraphs, establishing asymptotic normality throughout the (sparse) supercritical regime. Previously, asymptotic normality was known only towards the two ends of this regime. △ Less

Submitted 15 December, 2011; originally announced December 2011.

Comments: 11 pages

MSC Class: 05C80

Journal ref: Random Struct. Algorithms 41 (2012), 441--450

Convergence of Achlioptas processes via differential equations with unique solutions

Authors: Oliver Riordan, Lutz Warnke

Abstract: In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. The evolution of the rescaled size of the largest component in such variations of the Erdős--Rényi random graph process has recently received considerable attention, in particular for for Bollobás's `pro… ▽ More In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. The evolution of the rescaled size of the largest component in such variations of the Erdős--Rényi random graph process has recently received considerable attention, in particular for for Bollobás's `product rule'. In this paper we establish the following result for rules such as the product rule: the limit of the rescaled size of the `giant' component exists and is continuous provided that a certain system of differential equations has a unique solution. In fact, our result applies to a very large class of Achlioptas-like processes. Our proof relies on a general idea which relates the evolution of stochastic processes to an associated system of differential equations. Provided that the latter has a unique solution, our approach shows that certain discrete quantities converge (after appropriate rescaling) to this solution. △ Less

Submitted 27 June, 2013; v1 submitted 26 November, 2011; originally announced November 2011.

Comments: 18 pages. Revised and expanded version

MSC Class: 60C05; 05C80

Journal ref: Combinator. Probab. Comp. 25 (2016) 154-171

Linear algebra and bootstrap percolation

Authors: József Balogh, Béla Bollobás, Robert Morris, Oliver Riordan

Abstract: In $\HH$-bootstrap percolation, a set $A \subset V(\HH)$ of initially 'infected' vertices spreads by infecting vertices which are the only uninfected vertex in an edge of the hypergraph $\HH$. A particular case of this is the $H$-bootstrap process, in which $\HH$ encodes copies of $H$ in a graph $G$. We find the minimum size of a set $A$ that leads to complete infection when $G$ and $H$ are powers… ▽ More In $\HH$-bootstrap percolation, a set $A \subset V(\HH)$ of initially 'infected' vertices spreads by infecting vertices which are the only uninfected vertex in an edge of the hypergraph $\HH$. A particular case of this is the $H$-bootstrap process, in which $\HH$ encodes copies of $H$ in a graph $G$. We find the minimum size of a set $A$ that leads to complete infection when $G$ and $H$ are powers of complete graphs and $\HH$ encodes induced copies of $H$ in $G$. The proof uses linear algebra, a technique that is new in bootstrap percolation, although standard in the study of weakly saturated graphs, which are equivalent to (edge) $H$-bootstrap percolation on a complete graph. △ Less

Submitted 25 February, 2012; v1 submitted 7 July, 2011; originally announced July 2011.

Comments: 10 pages

The phase transition in the configuration model

Authors: Oliver Riordan

Abstract: Let $G=G(d)$ be a random graph with a given degree sequence $d$, such as a random $r$-regular graph where $r\ge 3$ is fixed and $n=|G|\to\infty$. We study the percolation phase transition on such graphs $G$, i.e., the emergence as $p$ increases of a unique giant component in the random subgraph $G[p]$ obtained by keeping edges independently with probability $p$. More generally, we study the emerge… ▽ More Let $G=G(d)$ be a random graph with a given degree sequence $d$, such as a random $r$-regular graph where $r\ge 3$ is fixed and $n=|G|\to\infty$. We study the percolation phase transition on such graphs $G$, i.e., the emergence as $p$ increases of a unique giant component in the random subgraph $G[p]$ obtained by keeping edges independently with probability $p$. More generally, we study the emergence of a giant component in $G(d)$ itself as $d$ varies. We show that a single method can be used to prove very precise results below, inside and above the `scaling window' of the phase transition, matching many of the known results for the much simpler model $G(n,p)$. This method is a natural extension of that used by Bollobas and the author to study $G(n,p)$, itself based on work of Aldous and of Nachmias and Peres; the calculations are significantly more involved in the present setting. △ Less

Submitted 4 April, 2011; originally announced April 2011.

Comments: 37 pages

MSC Class: 05C80

Journal ref: Combinatorics, Probability and Computing 21 (2012), 265--299

Achlioptas process phase transitions are continuous

Authors: Oliver Riordan, Lutz Warnke

Abstract: It is widely believed that certain simple modifications of the random graph process lead to discontinuous phase transitions. In particular, starting with the empty graph on $n$ vertices, suppose that at each step two pairs of vertices are chosen uniformly at random, but only one pair is joined, namely, one minimizing the product of the sizes of the components to be joined. Making explicit an earli… ▽ More It is widely believed that certain simple modifications of the random graph process lead to discontinuous phase transitions. In particular, starting with the empty graph on $n$ vertices, suppose that at each step two pairs of vertices are chosen uniformly at random, but only one pair is joined, namely, one minimizing the product of the sizes of the components to be joined. Making explicit an earlier belief of Achlioptas and others, in 2009, Achlioptas, D'Souza and Spencer [Science 323 (2009) 1453-1455] conjectured that there exists a $δ>0$ (in fact, $δ\ge1/2$) such that with high probability the order of the largest component "jumps" from $o(n)$ to at least $δn$ in $o(n)$ steps of the process, a phenomenon known as "explosive percolation." We give a simple proof that this is not the case. Our result applies to all "Achlioptas processes," and more generally to any process where a fixed number of independent random vertices are chosen at each step, and (at least) one edge between these vertices is added to the current graph, according to any (online) rule. We also prove the existence and continuity of the limit of the rescaled size of the giant component in a class of such processes, settling a number of conjectures. Intriguing questions remain, however, especially for the product rule described above. △ Less

Submitted 21 August, 2012; v1 submitted 25 February, 2011; originally announced February 2011.

Comments: Published in at http://dx.doi.org/10.1214/11-AAP798 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP798

Journal ref: Annals of Applied Probability 2012, Vol. 22, No. 4, 1450-1464

Monotone graph limits and quasimonotone graphs

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: The recent theory of graph limits gives a powerful framework for understanding the properties of suitable (convergent) sequences $(G_n)$ of graphs in terms of a limiting object which may be represented by a symmetric function $W$ on $[0,1]$, i.e., a kernel or graphon. In this context it is natural to wish to relate specific properties of the sequence to specific properties of the kernel. Here we s… ▽ More The recent theory of graph limits gives a powerful framework for understanding the properties of suitable (convergent) sequences $(G_n)$ of graphs in terms of a limiting object which may be represented by a symmetric function $W$ on $[0,1]$, i.e., a kernel or graphon. In this context it is natural to wish to relate specific properties of the sequence to specific properties of the kernel. Here we show that the kernel is monotone (i.e., increasing in both variables) if and only if the sequence satisfies a `quasi-monotonicity' property defined by a certain functional tending to zero. As a tool we prove an inequality relating the cut and $L^1$ norms of kernels of the form $W_1-W_2$ with $W_1$ and $W_2$ monotone that may be of interest in its own right; no such inequality holds for general kernels. △ Less

Submitted 22 January, 2011; originally announced January 2011.

Comments: 38 pages

MSC Class: 05C99

Journal ref: Internet Mathematics 8 (2012), 187-231

Asymptotic normality of the size of the giant component via a random walk

Authors: Bela Bollobas, Oliver Riordan

Abstract: In this paper we give a simple new proof of a result of Pittel and Wormald concerning the asymptotic value and (suitably rescaled) limiting distribution of the number of vertices in the giant component of $G(n,p)$ above the scaling window of the phase transition. Nachmias and Peres used martingale arguments to study Karp's exploration process, obtaining a simple proof of a weak form of this result… ▽ More In this paper we give a simple new proof of a result of Pittel and Wormald concerning the asymptotic value and (suitably rescaled) limiting distribution of the number of vertices in the giant component of $G(n,p)$ above the scaling window of the phase transition. Nachmias and Peres used martingale arguments to study Karp's exploration process, obtaining a simple proof of a weak form of this result. We use slightly different martingale arguments to obtain a much sharper result with little extra work. △ Less

Submitted 16 April, 2011; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: 11 pages; slightly expanded, reference added

MSC Class: 05C80

Journal ref: J. Combinatorial Theory B 102 (2012), 53--61

Percolation on self-dual polygon configurations

Authors: Bela Bollobas, Oliver Riordan

Abstract: Recently, Scullard and Ziff noticed that a broad class of planar percolation models are self-dual under a simple condition that, in a parametrized version of such a model, reduces to a single equation. They state that the solution of the resulting equation gives the critical point. However, just as in the classical case of bond percolation on the square lattice, self-duality is simply the starti… ▽ More Recently, Scullard and Ziff noticed that a broad class of planar percolation models are self-dual under a simple condition that, in a parametrized version of such a model, reduces to a single equation. They state that the solution of the resulting equation gives the critical point. However, just as in the classical case of bond percolation on the square lattice, self-duality is simply the starting point: the mathematical difficulty is precisely showing that self-duality implies criticality. Here we do so for a generalization of the models considered by Scullard and Ziff. In these models, the states of the bonds need not be independent; furthermore, increasing events need not be positively correlated, so new techniques are needed in the analysis. The main new ingredients are a generalization of Harris's Lemma to products of partially ordered sets, and a new proof of a type of Russo-Seymour-Welsh Lemma with minimal symmetry assumptions. △ Less

Submitted 11 May, 2010; v1 submitted 26 January, 2010; originally announced January 2010.

Comments: Expanded; 73 pages, 24 figures

MSC Class: 60K35; 82B43

Journal ref: Bolyai Society Mathematical Studies, Volume 21 (2010), Pages 131-217

On covering by translates of a set

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: In this paper we study the minimal number of translates of an arbitrary subset $S$ of a group $G$ needed to cover the group, and related notions of the efficiency of such coverings. We focus mainly on finite subsets in discrete groups, reviewing the classical results in this area, and generalizing them to a much broader context. For example, we show that while the worst-case efficiency when $S$ ha… ▽ More In this paper we study the minimal number of translates of an arbitrary subset $S$ of a group $G$ needed to cover the group, and related notions of the efficiency of such coverings. We focus mainly on finite subsets in discrete groups, reviewing the classical results in this area, and generalizing them to a much broader context. For example, we show that while the worst-case efficiency when $S$ has $k$ elements is of order $1/\log k$, for $k$ fixed and $n$ large, almost every $k$-subset of any given $n$-element group covers $G$ with close to optimal efficiency. △ Less

Submitted 2 August, 2010; v1 submitted 20 October, 2009; originally announced October 2009.

Comments: 41 pages; minor corrections; to appear in Random Structures and Algorithms

MSC Class: 05B40; 11H31

Journal ref: Random Structures and Algorithms 38 (2011), 33--67

Erratum: Percolation on random Johnson-Mehl tessellations and related models

Authors: Bela Bollobas, Oliver Riordan

Abstract: We correct a simple error in Percolation on random Johnson-Mehl tessellations and related models, Probability Theory and Related Fields 140 (2008), 417-468. (See also arXiv:math/0610716) We correct a simple error in Percolation on random Johnson-Mehl tessellations and related models, Probability Theory and Related Fields 140 (2008), 417-468. (See also arXiv:math/0610716) △ Less

Submitted 8 May, 2009; originally announced May 2009.

Comments: 7 pages

MSC Class: 60K35; 82B43

Journal ref: Probab. Theory Relat. Fields 146 (2010), 567--570

Susceptibility in inhomogeneous random graphs

Authors: Svante Janson, Oliver Riordan

Abstract: We study the susceptibility, i.e., the mean size of the component containing a random vertex, in a general model of inhomogeneous random graphs. This is one of the fundamental quantities associated to (percolation) phase transitions; in practice one of its main uses is that it often gives a way of determining the critical point by solving certain linear equations. Here we relate the susceptibili… ▽ More We study the susceptibility, i.e., the mean size of the component containing a random vertex, in a general model of inhomogeneous random graphs. This is one of the fundamental quantities associated to (percolation) phase transitions; in practice one of its main uses is that it often gives a way of determining the critical point by solving certain linear equations. Here we relate the susceptibility of suitable random graphs to a quantity associated to the corresponding branching process, and study both quantities in various natural examples. △ Less

Submitted 4 May, 2009; originally announced May 2009.

Comments: 51 pages

MSC Class: 05C80; 60C05

Journal ref: Electronic J. Combinatorics 19 (2012), P31 (59 pages)

Duality in inhomogeneous random graphs, and the cut metric

Authors: Svante Janson, Oliver Riordan

Abstract: The classical random graph model $G(n,λ/n)$ satisfies a `duality principle', in that removing the giant component from a supercritical instance of the model leaves (essentially) a subcritical instance. Such principles have been proved for various models; they are useful since it is often much easier to study the subcritical model than to directly study small components in the supercritical model… ▽ More The classical random graph model $G(n,λ/n)$ satisfies a `duality principle', in that removing the giant component from a supercritical instance of the model leaves (essentially) a subcritical instance. Such principles have been proved for various models; they are useful since it is often much easier to study the subcritical model than to directly study small components in the supercritical model. Here we prove a duality principle of this type for a very general class of random graphs with independence between the edges, defined by convergence of the matrices of edge probabilities in the cut metric. △ Less

Submitted 4 May, 2009; originally announced May 2009.

Comments: 13 pages

MSC Class: 05C80; 60C05

Journal ref: Random Structures and Algorithms 39 (2011) 399-411

The cut metric, random graphs, and branching processes

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: In this paper we study the component structure of random graphs with independence between the edges. Under mild assumptions, we determine whether there is a giant component, and find its asymptotic size when it exists. We assume that the sequence of matrices of edge probabilities converges to an appropriate limit object (a kernel), but only in a very weak sense, namely in the cut metric. Our res… ▽ More In this paper we study the component structure of random graphs with independence between the edges. Under mild assumptions, we determine whether there is a giant component, and find its asymptotic size when it exists. We assume that the sequence of matrices of edge probabilities converges to an appropriate limit object (a kernel), but only in a very weak sense, namely in the cut metric. Our results thus generalize previous results on the phase transition in the already very general inhomogeneous random graph model we introduced recently, as well as related results of Bollobás, Borgs, Chayes and Riordan, all of which involve considerably stronger assumptions. We also prove corresponding results for random hypergraphs; these generalize our results on the phase transition in inhomogeneous random graphs with clustering. △ Less

Submitted 9 February, 2010; v1 submitted 14 January, 2009; originally announced January 2009.

Comments: 53 pages; minor edits and references updated

MSC Class: 05C80; 60C05

Journal ref: J. Statistical Physics 140 (2010), 289--335

Sparse graphs: metrics and random models

Authors: Bela Bollobas, Oliver Riordan

Abstract: Recently, Bollobás, Janson and Riordan introduced a family of random graph models producing inhomogeneous graphs with $n$ vertices and $Θ(n)$ edges whose distribution is characterized by a kernel, i.e., a symmetric measurable function $\ka:[0,1]^2 \to [0,\infty)$. To understand these models, we should like to know when different kernels $\ka$ give rise to `similar' graphs, and, given a real-worl… ▽ More Recently, Bollobás, Janson and Riordan introduced a family of random graph models producing inhomogeneous graphs with $n$ vertices and $Θ(n)$ edges whose distribution is characterized by a kernel, i.e., a symmetric measurable function $\ka:[0,1]^2 \to [0,\infty)$. To understand these models, we should like to know when different kernels $\ka$ give rise to `similar' graphs, and, given a real-world network, how `similar' is it to a typical graph $G(n,\ka)$ derived from a given kernel $\ka$. The analogous questions for dense graphs, with $Θ(n^2)$ edges, are answered by recent results of Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi, who showed that several natural metrics on graphs are equivalent, and moreover that any sequence of graphs converges in each metric to a graphon, i.e., a kernel taking values in $[0,1]$. Possible generalizations of these results to graphs with $o(n^2)$ but $ω(n)$ edges are discussed in a companion paper [arXiv:0708.1919]; here we focus only on graphs with $Θ(n)$ edges, which turn out to be much harder to handle. Many new phenomena occur, and there are a host of plausible metrics to consider; many of these metrics suggest new random graph models, and vice versa. △ Less

Submitted 10 February, 2010; v1 submitted 14 December, 2008; originally announced December 2008.

Comments: 44 pages, 1 figure. This is a companion paper to arXiv:0708.1919, consisting of an updated version of part of the original version (arXiv:0708.1919v1), which has been split into two papers. Since v1, references updated and other very minor changes. To appear in Random Structures and Algorithms

MSC Class: 05C99; 05C80

The diameter of sparse random graphs

Authors: Oliver Riordan, Nicholas Wormald

Abstract: In this paper we study the diameter of the random graph $G(n,p)$, i.e., the the largest finite distance between two vertices, for a wide range of functions $p=p(n)$. For $p=\la/n$ with $\la>1$ constant, we give a simple proof of an essentially best possible result, with an $O_p(1)$ additive correction term. Using similar techniques, we establish 2-point concentration in the case that… ▽ More In this paper we study the diameter of the random graph $G(n,p)$, i.e., the the largest finite distance between two vertices, for a wide range of functions $p=p(n)$. For $p=\la/n$ with $\la>1$ constant, we give a simple proof of an essentially best possible result, with an $O_p(1)$ additive correction term. Using similar techniques, we establish 2-point concentration in the case that $np\to\infty$. For $p=(1+ε)/n$ with $ε\to 0$, we obtain a corresponding result that applies all the way down to the scaling window of the phase transition, with an $O_p(1/ε)$ additive correction term whose (appropriately scaled) limiting distribution we describe. Combined with earlier results, our new results complete the determination of the diameter of the random graph $G(n,p)$ to an accuracy of the order of its standard deviation (or better), for all functions $p=p(n)$. Throughout we use branching process methods, rather than the more common approach of separate analysis of the 2-core and the trees attached to it. △ Less

Submitted 6 September, 2010; v1 submitted 29 August, 2008; originally announced August 2008.

Comments: 92 pages; expanded slightly with minor corrections; to appear in Combinatorics, Probability and Computing

MSC Class: 05C80; 60C05

Journal ref: Combinatorics, Probability and Computing 19 (2010), 835--926

Sparse random graphs with clustering

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: In 2007 we introduced a general model of sparse random graphs with independence between the edges. The aim of this paper is to present an extension of this model in which the edges are far from independent, and to prove several results about this extension. The basic idea is to construct the random graph by adding not only edges but also other small graphs. In other words, we first construct an… ▽ More In 2007 we introduced a general model of sparse random graphs with independence between the edges. The aim of this paper is to present an extension of this model in which the edges are far from independent, and to prove several results about this extension. The basic idea is to construct the random graph by adding not only edges but also other small graphs. In other words, we first construct an inhomogeneous random hypergraph with independent hyperedges, and then replace each hyperedge by a (perhaps complete) graph. Although flexible enough to produce graphs with significant dependence between edges, this model is nonetheless mathematically tractable. Indeed, we find the critical point where a giant component emerges in full generality, in terms of the norm of a certain integral operator, and relate the size of the giant component to the survival probability of a certain (non-Poisson) multi-type branching process. While our main focus is the phase transition, we also study the degree distribution and the numbers of small subgraphs. We illustrate the model with a simple special case that produces graphs with power-law degree sequences with a wide range of degree exponents and clustering coefficients. △ Less

Submitted 23 October, 2009; v1 submitted 13 July, 2008; originally announced July 2008.

Comments: 62 pages; minor revision

MSC Class: 60C05; 05C80

Journal ref: Random Structures and Algorithms 38 (2011), 269--323

Clique percolation

Authors: Bela Bollobas, Oliver Riordan

Abstract: Derenyi, Palla and Vicsek introduced the following dependent percolation model, in the context of finding communities in networks. Starting with a random graph $G$ generated by some rule, form an auxiliary graph $G'$ whose vertices are the $k$-cliques of $G$, in which two vertices are joined if the corresponding cliques share $k-1$ vertices. They considered in particular the case where… ▽ More Derenyi, Palla and Vicsek introduced the following dependent percolation model, in the context of finding communities in networks. Starting with a random graph $G$ generated by some rule, form an auxiliary graph $G'$ whose vertices are the $k$-cliques of $G$, in which two vertices are joined if the corresponding cliques share $k-1$ vertices. They considered in particular the case where $G=G(n,p)$, and found heuristically the threshold for a giant component to appear in $G'$. Here we give a rigorous proof of this result, as well as many extensions. The model turns out to be very interesting due to the essential global dependence present in $G'$. △ Less

Submitted 19 September, 2008; v1 submitted 5 April, 2008; originally announced April 2008.

Comments: 33 pages, 1 figure

MSC Class: 05C80; 60K35

Journal ref: Random Structures and Algorithms 35 (2009), 294--322

Metrics for sparse graphs

Authors: B. Bollobas, O. Riordan

Abstract: Recently, Bollobás, Janson and Riordan introduced a very general family of random graph models, producing inhomogeneous random graphs with $Θ(n)$ edges. Roughly speaking, there is one model for each {\em kernel}, i.e., each symmetric measurable function from $[0,1]^2$ to the non-negative reals, although the details are much more complicated. A different connection between kernels and random grap… ▽ More Recently, Bollobás, Janson and Riordan introduced a very general family of random graph models, producing inhomogeneous random graphs with $Θ(n)$ edges. Roughly speaking, there is one model for each {\em kernel}, i.e., each symmetric measurable function from $[0,1]^2$ to the non-negative reals, although the details are much more complicated. A different connection between kernels and random graphs arises in the recent work of Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi. They introduced several natural metrics on dense graphs (graphs with $n$ vertices and $Θ(n^2)$ edges), showed that these metrics are equivalent, and gave a description of the completion of the space of all graphs with respect to any of these metrics in terms of {\em graphons}, which are essentially bounded kernels. One of the most appealing aspects of this work is the message that sequences of inhomogeneous quasi-random graphs are in a sense completely general: any sequence of dense graphs contains such a subsequence. Our aim here is to briefly survey these results, and then to investigate to what extent they can be generalized to graphs with $o(n^2)$ edges. Although many of the definitions extend in a simple way, the connections between the various metrics, and between the metrics and random graph models, turn out to be much more complicated than in the dense case. We shall prove many partial results, and state even more conjectures and open problems, whose resolution would greatly enhance the currently rather unsatisfactory theory of metrics on sparse graphs. This paper deals mainly with graphs with $o(n^2)$ but $ω(n)$ edges: a companion paper [arXiv:0812.2656] will discuss the (more problematic still) case of {\em extremely sparse} graphs, with O(n) edges. △ Less

Submitted 30 January, 2009; v1 submitted 14 August, 2007; originally announced August 2007.

Comments: 83 pages, 1 figure. References updated and one corrected

MSC Class: 05C99; 05C80

Journal ref: in Surveys in Combinatorics 2009, LMS Lecture Notes Series 365, CUP 2009, pp. 211--287

Rigorous confidence intervals for critical probabilities

Authors: Oliver Riordan, Mark Walters

Abstract: We use the method of Balister, Bollobas and Walters to give rigorous 99.9999% confidence intervals for the critical probabilities for site and bond percolation on the 11 Archimedean lattices. In our computer calculations, the emphasis is on simplicity and ease of verification, rather than obtaining the best possible results. Nevertheless, we obtain intervals of width at most 0.0005 in all cases. We use the method of Balister, Bollobas and Walters to give rigorous 99.9999% confidence intervals for the critical probabilities for site and bond percolation on the 11 Archimedean lattices. In our computer calculations, the emphasis is on simplicity and ease of verification, rather than obtaining the best possible results. Nevertheless, we obtain intervals of width at most 0.0005 in all cases. △ Less

Submitted 8 February, 2007; originally announced February 2007.

MSC Class: 60K35; 05c80

Journal ref: Physical Review E 76, 011110 (2007)

Line-of-sight percolation

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: Given $ω\ge 1$, let $Z^2_{(ω)}$ be the graph with vertex set $Z^2$ in which two vertices are joined if they agree in one coordinate and differ by at most $ω$ in the other. (Thus $Z^2_{(1)}$ is precisely $Z^2$.) Let $p_c(ω)$ be the critical probability for site percolation in $Z^2_{(ω)}$. Extending recent results of Frieze, Kleinberg, Ravi and Debany, we show that… ▽ More Given $ω\ge 1$, let $Z^2_{(ω)}$ be the graph with vertex set $Z^2$ in which two vertices are joined if they agree in one coordinate and differ by at most $ω$ in the other. (Thus $Z^2_{(1)}$ is precisely $Z^2$.) Let $p_c(ω)$ be the critical probability for site percolation in $Z^2_{(ω)}$. Extending recent results of Frieze, Kleinberg, Ravi and Debany, we show that $\lim_{ω\to\infty} ω\pc(ω)=\log(3/2)$. We also prove analogues of this result on the $n$-by-$n$ grid and in higher dimensions, the latter involving interesting connections to Gilbert's continuum percolation model. To prove our results, we explore the component of the origin in a certain non-standard way, and show that this exploration is well approximated by a certain branching random walk. △ Less

Submitted 7 April, 2008; v1 submitted 2 February, 2007; originally announced February 2007.

Comments: Revised and expanded (section 2.3 added). To appear in Combinatorics, Probability and Computing. 27 pages, 4 figures

MSC Class: 60K35; 05C80

Journal ref: Combinatorics, Probability and Computing 18 (2009), 83--106.

Percolation on dense graph sequences

Authors: Béla Bollobás, Christian Borgs, Jennifer Chayes, Oliver Riordan

Abstract: In this paper we determine the percolation threshold for an arbitrary sequence of dense graphs $(G_n)$. Let $λ_n$ be the largest eigenvalue of the adjacency matrix of $G_n$, and let $G_n(p_n)$ be the random subgraph of $G_n$ obtained by keeping each edge independently with probability $p_n$. We show that the appearance of a giant component in $G_n(p_n)$ has a sharp threshold at $p_n=1/λ_n$. In f… ▽ More In this paper we determine the percolation threshold for an arbitrary sequence of dense graphs $(G_n)$. Let $λ_n$ be the largest eigenvalue of the adjacency matrix of $G_n$, and let $G_n(p_n)$ be the random subgraph of $G_n$ obtained by keeping each edge independently with probability $p_n$. We show that the appearance of a giant component in $G_n(p_n)$ has a sharp threshold at $p_n=1/λ_n$. In fact, we prove much more: if $(G_n)$ converges to an irreducible limit, then the density of the largest component of $G_n(c/n)$ tends to the survival probability of a multi-type branching process defined in terms of this limit. Here the notions of convergence and limit are those of Borgs, Chayes, Lovász, Sós and Vesztergombi. In addition to using basic properties of convergence, we make heavy use of the methods of Bollobás, Janson and Riordan, who used multi-type branching processes to study the emergence of a giant component in a very broad family of sparse inhomogeneous random graphs. △ Less

Submitted 29 January, 2010; v1 submitted 12 January, 2007; originally announced January 2007.

Comments: Published in at http://dx.doi.org/10.1214/09-AOP478 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP478 MSC Class: 60K35; 05C80 (Primary)

Journal ref: Annals of Probability 2010, Vol. 38, No. 1, 150-183

Percolation on random Johnson-Mehl tessellations and related models

Authors: Bela Bollobas, Oliver Riordan

Abstract: We make use of the recent proof that the critical probability for percolation on random Voronoi tessellations is 1/2 to prove the corresponding result for random Johnson-Mehl tessellations, as well as for two-dimensional slices of higher dimensional Voronoi tessellations. Surprisingly, the proof is a little simpler for these more complicated models. We make use of the recent proof that the critical probability for percolation on random Voronoi tessellations is 1/2 to prove the corresponding result for random Johnson-Mehl tessellations, as well as for two-dimensional slices of higher dimensional Voronoi tessellations. Surprisingly, the proof is a little simpler for these more complicated models. △ Less

Submitted 16 February, 2007; v1 submitted 24 October, 2006; originally announced October 2006.

Comments: 25 pages, 3 figures; minor revisions. To appear in Probability Theory and Related Fields

MSC Class: 60K35; 82B43

Journal ref: Probability Theory and Related Fields 140 (2008), 319-343

Percolation on dual lattices with k-fold symmetry

Authors: Bela Bollobas, Oliver Riordan

Abstract: Zhang found a simple, elegant argument deducing the non-existence of an infinite open cluster in certain lattice percolation models (for example, p=1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only 2-fold (or… ▽ More Zhang found a simple, elegant argument deducing the non-existence of an infinite open cluster in certain lattice percolation models (for example, p=1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only 2-fold (or 3-fold) symmetry, proving that the critical probabilities for percolation on dual planar lattices with such symmetry sum to 1. Like Zhang's argument, our extension applies in many contexts; in particular, it enables us to answer a question of Grimmett concerning the anisotropic random cluster model on the triangular lattice. △ Less

Submitted 6 February, 2007; v1 submitted 7 June, 2006; originally announced June 2006.

Comments: 11 pages, 1 figure. Revised with applications added; to appear in Random Structures and Algorithms

MSC Class: 60K35; 82B43

Journal ref: Random Structures and Algorithms 32 (2008), 463--472.

The k-core and branching processes

Authors: Oliver Riordan

Abstract: The k-core of a graph G is the maximal subgraph of G having minimum degree at least k. In 1996, Pittel, Spencer and Wormald found the threshold $λ_c$ for the emergence of a non-trivial k-core in the random graph $G(n,λ/n)$, and the asymptotic size of the k-core above the threshold. We give a new proof of this result using a local coupling of the graph to a suitable branching process. This proof… ▽ More The k-core of a graph G is the maximal subgraph of G having minimum degree at least k. In 1996, Pittel, Spencer and Wormald found the threshold $λ_c$ for the emergence of a non-trivial k-core in the random graph $G(n,λ/n)$, and the asymptotic size of the k-core above the threshold. We give a new proof of this result using a local coupling of the graph to a suitable branching process. This proof extends to a general model of inhomogeneous random graphs with independence between the edges. As an example, we study the k-core in a certain power-law or `scale-free' graph with a parameter c controlling the overall density of edges. For each k at least 3, we find the threshold value of c at which the k-core emerges, and the fraction of vertices in the k-core when c is εabove the threshold. In contrast to $G(n,λ/n)$, this fraction tends to 0 as εtends to 0. △ Less

Submitted 12 February, 2007; v1 submitted 3 November, 2005; originally announced November 2005.

Comments: 30 pages, 1 figure. Minor revisions. To appear in Combinatorics, Probability and Computing

MSC Class: 05C80

Journal ref: Combinatorics, Probability and Computing 17 (2008) 111--136.

A note on the Harris-Kesten Theorem

Authors: Bela Bollobas, Oliver Riordan

Abstract: Recently, a short proof of the Harris-Kesten result that the critical probability for bond percolation in the planar square lattice is 1/2 was given, using a sharp threshold result of Friedgut and Kalai. Here we point out that a key part of this proof may be replaced by an argument of Russo from 1982, using his approximate zero-one law in place of the Friedgut-Kalai result. Russo's paper gave a… ▽ More Recently, a short proof of the Harris-Kesten result that the critical probability for bond percolation in the planar square lattice is 1/2 was given, using a sharp threshold result of Friedgut and Kalai. Here we point out that a key part of this proof may be replaced by an argument of Russo from 1982, using his approximate zero-one law in place of the Friedgut-Kalai result. Russo's paper gave a new proof of the Harris-Kesten Theorem that seems to have received little attention. △ Less

Submitted 10 September, 2005; v1 submitted 6 September, 2005; originally announced September 2005.

Comments: 4 pages; author list changed, acknowledgement added

MSC Class: 60K35; 82B43

Journal ref: Europ. J. Combin. 28 (2007), 1720-1723.

Spread-out percolation in R^d

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: Let $X$ be either $Z^d$ or the points of a Poisson process in $R^d$ of intensity 1. Given parameters $r$ and $p$, join each pair of points of $X$ within distance $r$ independently with probability $p$. This is the simplest case of a `spread-out' percolation model studied by Penrose, who showed that, as $r\to\infty$, the average degree of the corresponding random graph at the percolation threshol… ▽ More Let $X$ be either $Z^d$ or the points of a Poisson process in $R^d$ of intensity 1. Given parameters $r$ and $p$, join each pair of points of $X$ within distance $r$ independently with probability $p$. This is the simplest case of a `spread-out' percolation model studied by Penrose, who showed that, as $r\to\infty$, the average degree of the corresponding random graph at the percolation threshold tends to 1, i.e., the percolation threshold and the threshold for criticality of the naturally associated branching process approach one another. Here we show that this result follows immediately from of a general result of the authors on inhomogeneous random graphs. △ Less

Submitted 16 October, 2006; v1 submitted 23 August, 2005; originally announced August 2005.

Comments: 9 pages. Title changed. Minor changes to text, including updated references to [3]. To appear in Random Structures and Algorithms

MSC Class: 60K35; 05C80

Journal ref: Random Struct. Algorithms 31 (2007), 239-246.

The phase transition in inhomogeneous random graphs

Authors: Bela Bollobas, Svante Janson, Oliver Riordan

Abstract: We introduce a very general model of an inhomogenous random graph with independence between the edges, which scales so that the number of edges is linear in the number of vertices. This scaling corresponds to the p=c/n scaling for G(n,p) used to study the phase transition; also, it seems to be a property of many large real-world graphs. Our model includes as special cases many models previously… ▽ More We introduce a very general model of an inhomogenous random graph with independence between the edges, which scales so that the number of edges is linear in the number of vertices. This scaling corresponds to the p=c/n scaling for G(n,p) used to study the phase transition; also, it seems to be a property of many large real-world graphs. Our model includes as special cases many models previously studied. We show that under one very weak assumption (that the expected number of edges is `what it should be'), many properties of the model can be determined, in particular the critical point of the phase transition, and the size of the giant component above the transition. We do this by relating our random graphs to branching processes, which are much easier to analyze. We also consider other properties of the model, showing, for example, that when there is a giant component, it is `stable': for a typical random graph, no matter how we add or delete o(n) edges, the size of the giant component does not change by more than o(n). △ Less

Submitted 20 June, 2006; v1 submitted 29 April, 2005; originally announced April 2005.

Comments: 135 pages; revised and expanded slightly. To appear in Random Structures and Algorithms

MSC Class: 60C05; 05C80

Journal ref: Random Structures and Algorithms 31 (2007), 3-122

Sharp thresholds and percolation in the plane

Authors: Bela Bollobas, Oliver Riordan

Abstract: Recently, the authors showed that the critical probability for random Voronoi percolation in the plane is 1/2. A by-product of the method was a short proof of the Harris-Kesten Theorem concerning bond percolation in the planar square lattice. The aim of this paper is to show that the same techniques can be applied to many other planar percolation models, both to obtain short proofs of known resu… ▽ More Recently, the authors showed that the critical probability for random Voronoi percolation in the plane is 1/2. A by-product of the method was a short proof of the Harris-Kesten Theorem concerning bond percolation in the planar square lattice. The aim of this paper is to show that the same techniques can be applied to many other planar percolation models, both to obtain short proofs of known results, and to prove new ones. △ Less

Submitted 4 October, 2005; v1 submitted 28 December, 2004; originally announced December 2004.

Comments: 28 pages, 8 figures. Minor revisions and additions. To appear in Random Structures and Algorithms

MSC Class: 60K35; 82B43

Journal ref: Random Structures and Algorithms 29 (2006), 524--548.