-
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.
-
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.
-
Topological Phase Transitions in Spatial Networks
Authors:
Paul Balister,
Chaoming Song,
Oliver Riordan,
Bela Bollobas,
Albert-Laszlo Barabasi
Abstract:
Most social, technological and biological networks are embedded in a finite dimensional space, and the distance between two nodes influences the likelihood that they link to each other. Indeed, in social systems, the chance that two individuals know each other drops rapidly with the distance between them; in the cell, proteins predominantly interact with proteins in the same cellular compartment;…
▽ More
Most social, technological and biological networks are embedded in a finite dimensional space, and the distance between two nodes influences the likelihood that they link to each other. Indeed, in social systems, the chance that two individuals know each other drops rapidly with the distance between them; in the cell, proteins predominantly interact with proteins in the same cellular compartment; in the brain, neurons mainly link to nearby neurons. Most modeling frameworks that aim to capture the empirically observed degree distributions tend to ignore these spatial constraints. In contrast, models that account for the role of the physical distance often predict bounded degree distributions, in disagreement with the empirical data. Here we address a long-standing gap in the spatial network literature by deriving several key network characteristics of spatial networks, from the analytical form of the degree distribution to path lengths and local clustering. The mathematically exact results predict the existence of two distinct phases, each governed by a different dynamical equation, with distinct testable predictions. We use empirical data to offer direct evidence for the practical relevance of each of these phases in real networks, hel** better characterize the properties of spatial networks.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
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.
-
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.
-
Observational Signatures of Mass-Loading in Jets Launched by Rotating Black Holes
Authors:
Michael O' Riordan,
Asaf Pe'er,
Jonathan C. McKinney
Abstract:
It is widely believed that relativistic jets in X-ray binaries and active-galactic nuclei are powered by the rotational energy of black holes. This idea is supported by general-relativistic magnetohydrodynamic (GRMHD) simulations of accreting black holes, which demonstrate efficient energy extraction via the Blandford-Znajek mechanism. However, due to uncertainties in the physics of mass-loading,…
▽ More
It is widely believed that relativistic jets in X-ray binaries and active-galactic nuclei are powered by the rotational energy of black holes. This idea is supported by general-relativistic magnetohydrodynamic (GRMHD) simulations of accreting black holes, which demonstrate efficient energy extraction via the Blandford-Znajek mechanism. However, due to uncertainties in the physics of mass-loading, and the failure of GRMHD numerical schemes in the highly-magnetized funnel region, the matter content of the jet remains poorly constrained. We investigate the observational signatures of mass-loading in the funnel by performing general-relativistic radiative transfer calculations on a range of 3D GRMHD simulations of accreting black holes. We find significant observational differences between cases in which the funnel is empty and cases where the funnel is filled with plasma, particularly in the optical and X-ray bands. In the context of Sgr A*, current spectral data constrains the jet filling only if the black hole is rapidly rotating with $a\gtrsim0.9$. In this case, the limits on the infrared flux disfavour a strong contribution from material in the funnel. We comment on the implications of our models for interpreting future Event Horizon Telescope observations. We also scale our models to stellar-mass black holes, and discuss their applicability to the low-luminosity state in X-ray binaries.
△ Less
Submitted 7 December, 2017; v1 submitted 13 November, 2017;
originally announced November 2017.
-
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.
-
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 27 April, 2017;
originally announced April 2017.
-
Blazar Variability From Turbulence in Jets Launched by Magnetically Arrested Accretion Flows
Authors:
Michael O' Riordan,
Asaf Pe'er,
Jonathan C. McKinney
Abstract:
Blazars show variability on timescales ranging from minutes to years, the former being comparable to and in some cases even shorter than the light-crossing time of the central black hole. The observed gamma-ray lightcurves can be described by a power-law power density spectrum (PDS), with a similar index for both BL Lacs and flat-spectrum radio quasars. We show that this variability can be produce…
▽ More
Blazars show variability on timescales ranging from minutes to years, the former being comparable to and in some cases even shorter than the light-crossing time of the central black hole. The observed gamma-ray lightcurves can be described by a power-law power density spectrum (PDS), with a similar index for both BL Lacs and flat-spectrum radio quasars. We show that this variability can be produced by turbulence in relativistic jets launched by magnetically arrested accretion flows (MADs). We perform radiative transport calculations on the turbulent, highly-magnetized jet launching region of a MAD with a rapidly rotating supermassive black hole. The resulting synchrotron and synchrotron self-Compton emission, originating from close to the black hole horizon, is highly variable. This variability is characterized by PDS which is remarkably similar to the observed power-law spectrum at frequencies less than a few per day. Furthermore, turbulence in the jet launching region naturally produces fluctuations in the plasma on scales much smaller than the horizon radius. We speculate that similar turbulent processes, operating in the jet at large radii (and therefore high bulk Lorentz factor), are responsible for blazar variability over many decades in frequency, including on minute timescales.
△ Less
Submitted 13 May, 2017; v1 submitted 19 April, 2017;
originally announced April 2017.
-
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.
-
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.
-
Effects of Spin on High-Energy Radiation from Accreting Black Holes
Authors:
Michael O' Riordan,
Asaf Pe'er,
Jonathan C. McKinney
Abstract:
Observations of jets in X-ray binaries show a correlation between radio power and black hole spin. This correlation, if confirmed, points towards the idea that relativistic jets may be powered by the rotational energy of black holes. In order to examine this further, we perform general-relativistic radiative transport calculations on magnetically arrested accretion flows, which are known to produc…
▽ More
Observations of jets in X-ray binaries show a correlation between radio power and black hole spin. This correlation, if confirmed, points towards the idea that relativistic jets may be powered by the rotational energy of black holes. In order to examine this further, we perform general-relativistic radiative transport calculations on magnetically arrested accretion flows, which are known to produce powerful jets via the Blandford-Znajek (BZ) mechanism. We find that the X-ray and gamma-ray emission strongly depend on spin and inclination angle. Surprisingly, the high-energy power does not show the same dependence on spin as the BZ jet power, but instead can be understood as a redshift effect. In particular, photons observed perpendicular to the spin axis suffer little net redshift until originating from close to the horizon. Such observers see deeper into the hot, dense, highly-magnetized inner disk region. This effect is largest for rapidly rotating black holes due to a combination of frame dragging and decreasing horizon radius. While the X-ray emission is dominated by the near horizon region, the near-infrared radiation originates at larger radii. Therefore, the ratio of X-ray to near-infrared power is an observational signature of black hole spin.
△ Less
Submitted 17 August, 2016; v1 submitted 4 July, 2016;
originally announced July 2016.
-
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.
-
Jet Signatures in the Spectra of Accreting Black Holes
Authors:
Michael O' Riordan,
Asaf Pe'er,
Jonathan C. McKinney
Abstract:
Jets are observed as radio emission in active galactic nuclei and during the low/hard state in X-ray binaries (XRBs), but their contribution at higher frequencies has been uncertain. We study the dynamics of jets in XRBs using the general-relativistic magnetohydrodynamic code HARM. We calculate the high-energy spectra and variability properties using a general-relativistic radiative transport code…
▽ More
Jets are observed as radio emission in active galactic nuclei and during the low/hard state in X-ray binaries (XRBs), but their contribution at higher frequencies has been uncertain. We study the dynamics of jets in XRBs using the general-relativistic magnetohydrodynamic code HARM. We calculate the high-energy spectra and variability properties using a general-relativistic radiative transport code based on grmonty. We find the following signatures of jet emission (i) a significant gamma-ray peak above ~10^22 Hz, (ii) a break in the optical/UV spectrum, with a change in luminosity from L ~ nu^0 to L ~ nu, followed by another break at higher frequencies where the spectrum roughly returns to L ~ nu^0, and (iii) a pronounced synchrotron peak near or below ~10^14 Hz indicates that a significant fraction of any observed X-ray emission originates in the jet. We investigate the variability during a large-scale magnetic field inversion in which the Blandford-Znajek (BZ) jet is quenched and a new transient hot reconnecting plasmoid is launched by the reconnecting field. The ratio of the gamma-rays to X-rays changes from L_gamma / L_X > 1 in the BZ jet to L_gamma / L_X < 1 during the launching of the transient plasmoid.
△ Less
Submitted 27 January, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 kee** 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 kee** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Achlioptas processes are not always self-averaging
Authors:
Oliver Riordan,
Lutz Warnke
Abstract:
We consider a class of percolation models, called Achlioptas processes, discussed in [Science 323, 1453 (2009)] and [Science 333, 322 (2011)]. For these the evolution of the order parameter (the rescaled size of the largest connected component) has been the main focus of research in recent years. We show that, in striking contrast to `classical' models, self-averaging is not a universal feature of…
▽ More
We consider a class of percolation models, called Achlioptas processes, discussed in [Science 323, 1453 (2009)] and [Science 333, 322 (2011)]. For these the evolution of the order parameter (the rescaled size of the largest connected component) has been the main focus of research in recent years. We show that, in striking contrast to `classical' models, self-averaging is not a universal feature of these new percolation models: there are natural Achlioptas processes whose order parameter has random fluctuations that do not disappear in the thermodynamic limit.
△ Less
Submitted 26 July, 2012; v1 submitted 26 November, 2011;
originally announced November 2011.
-
Statistical model uncertainty and OPERA-like time-of-flight measurements
Authors:
Oliver Riordan,
Alex Selby
Abstract:
Time-of-flight measurements such as the OPERA and MINOS experiments rely crucially on statistical analysis (as well as many other ingredients) for their conclusions. The nature of these experiments leads to a simple class of statistical models for the results; however, which model in the class is appropriate is not known exactly, as this depends on information obtained experimentally, which is sub…
▽ More
Time-of-flight measurements such as the OPERA and MINOS experiments rely crucially on statistical analysis (as well as many other ingredients) for their conclusions. The nature of these experiments leads to a simple class of statistical models for the results; however, which model in the class is appropriate is not known exactly, as this depends on information obtained experimentally, which is subject to noise and other errors. To obtain robust conclusions, this problem, known as "model uncertainty," needs to be addressed, with quantitative bounds on the effect such uncertainty may have on the final result.
The OPERA (and MINOS) analysis appears to take steps to mitigate the effects of model uncertainty, though without quantifying any remaining effect. We describe one of the strategies used (averaging individual probability distributions), and point out a potential source of error if this is not carried out correctly. We then argue that the correct version of this strategy is not the most effective, and suggest possible alternatives. These alternatives may give more accurate statistical results using the same data, allowing, for example, more accurate determination of the dependence of the anomalous time shift on energy. Which strategies work and how well can only be evaluated with access to the full data.
Whether or not the anomalous result from OPERA turns out to be confirmed, we believe that techniques such as those presented here may be appropriate for the analysis of other timing experiments of this type.
△ Less
Submitted 1 November, 2011;
originally announced November 2011.
-
The inefficiency of re-weighted sampling and the curse of system size in high order path integration
Authors:
Michele Ceriotti,
Guy A. R. Brain,
Oliver Riordan,
David E. Manolopoulos
Abstract:
Computing averages over a target probability density by statistical re-weighting of a set of samples with a different distribution is a strategy which is commonly adopted in fields as diverse as atomistic simulation and finance. Here we present a very general analysis of the accuracy and efficiency of this approach, highlighting some of its weaknesses. We then give an example of how our results ca…
▽ More
Computing averages over a target probability density by statistical re-weighting of a set of samples with a different distribution is a strategy which is commonly adopted in fields as diverse as atomistic simulation and finance. Here we present a very general analysis of the accuracy and efficiency of this approach, highlighting some of its weaknesses. We then give an example of how our results can be used, specifically to assess the feasibility of high-order path integral methods. We demonstrate that the most promising of these techniques -- which is based on re-weighted sampling -- is bound to fail as the size of the system is increased, because of the exponential growth of the statistical uncertainty in the re-weighted average.
△ Less
Submitted 10 July, 2011;
originally announced July 2011.
-
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.
-
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 kee** 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 kee** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 kee** 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 kee** 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.