-
Random Translates in Minkowski Sums
Authors:
Paul Balister,
Bela Bollobas,
Imre Leader,
Marius Tiba
Abstract:
Suppose that $A$ and $B$ are sets in $\mathbb{R}^d$, and we form the sumset of $A$ with $n$ random points of $B$. Given the volumes of $A$ and $B$, how should we choose them to minimize the expected volume of this sumset? Our aim in this paper is to show that we should take $A$ and $B$ to be Euclidean balls. We also consider the analogous question in the torus $\mathbb{T}^d$, and we show that in t…
▽ More
Suppose that $A$ and $B$ are sets in $\mathbb{R}^d$, and we form the sumset of $A$ with $n$ random points of $B$. Given the volumes of $A$ and $B$, how should we choose them to minimize the expected volume of this sumset? Our aim in this paper is to show that we should take $A$ and $B$ to be Euclidean balls. We also consider the analogous question in the torus $\mathbb{T}^d$, and we show that in this case the optimal choices of $A$ and $B$ are bands, in other words, sets of the form $[x,y]\times\mathbb{T}^{d-1}$. We also give stability versions of our results.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
Erdős covering systems
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Julian Sahasrabudhe,
Marius Tiba
Abstract:
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of these objects was initiated by Erdős in 1950, and over the following decades he asked many questions about them. Most famously, he asked whether there exist covering systems with distinct moduli whose minimum modulus is arbitrarily large. This problem was resolved in 2015 by Hough,…
▽ More
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of these objects was initiated by Erdős in 1950, and over the following decades he asked many questions about them. Most famously, he asked whether there exist covering systems with distinct moduli whose minimum modulus is arbitrarily large. This problem was resolved in 2015 by Hough, who showed that in any such system the minimum modulus is at most $10^{16}$.
The purpose of this note is to give a gentle exposition of a simpler and stronger variant of Hough's method, which was recently used to answer several other questions about covering systems. We hope that this technique, which we call the distortion method, will have many further applications in other combinatorial settings.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Large sumsets from medium-sized subsets
Authors:
Bela Bollobas,
Imre Leader,
Marius Tiba
Abstract:
The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant $c>0$ such that…
▽ More
The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant $c>0$ such that if $A$ and $B$ are subsets of ${\mathbb Z}_p$ with $|A|=|B|=n\le p/3$ then there are subsets $A'\subset A$ and $B'\subset B$ with $|A'|=|B'|\le c \sqrt{n}$ such that $|A'+B'|\ge 2n-1$. In fact, we show that one may take any sizes one likes: as long as $c_1$ and $c_2$ satisfy $c_1c_2 \ge cn$ then we may choose $|A'|=c_1$ and $|B'|=c_2$. We prove related results for general abelian groups.
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
A strengthening of Freiman's 3k-4 theorem
Authors:
Bela Bollobas,
Imre Leader,
Marius Tiba
Abstract:
In its usual form, Freiman's 3k-4 theorem states that if A and B are subsets of the integers of size k with small sumset (of size close to 2k) then they are very close to arithmetic progressions. Our aim in this paper is to strengthen this by allowing only a bounded number of possible summands from one of the sets. We show that if A and B are subsets of the integers of size k such that for any fou…
▽ More
In its usual form, Freiman's 3k-4 theorem states that if A and B are subsets of the integers of size k with small sumset (of size close to 2k) then they are very close to arithmetic progressions. Our aim in this paper is to strengthen this by allowing only a bounded number of possible summands from one of the sets. We show that if A and B are subsets of the integers of size k such that for any four-element subset X of B the sumset A+X has size not much more than 2k then already this implies that A and B are very close to arithmetic progressions.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Large sumsets from small subsets
Authors:
Bela Bollobas,
Imre Leader,
Marius Tiba
Abstract:
In this paper we start to investigate a new body of questions in additive combinatorics. The fundamental Cauchy--Davenport theorem gives a lower bound on the size of a sumset A+B for subsets of the cyclic group Zp of order p (p prime), and this is just one example of a large family of results. Our aim in this paper is to investigate what happens if we restrict the number of elements of one set tha…
▽ More
In this paper we start to investigate a new body of questions in additive combinatorics. The fundamental Cauchy--Davenport theorem gives a lower bound on the size of a sumset A+B for subsets of the cyclic group Zp of order p (p prime), and this is just one example of a large family of results. Our aim in this paper is to investigate what happens if we restrict the number of elements of one set that we may use to form the sums. Here is the question we set out to answer: given two subsets, A and B, does B have a subset C of bounded size such that A+C is large, perhaps even comparable to the size of A+B? In particular, can we get close to the lower bound of the Cauchy--Davenport theorem? Our main results show that, rather surprisingly, in many circumstances it is possible to obtain not merely an asymptotic version of the usual sumset bound, but even the exact bound itself.
△ Less
Submitted 12 May, 2022; v1 submitted 15 April, 2022;
originally announced April 2022.
-
The critical length for growing a droplet
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application i…
▽ More
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application is an upper bound on the critical probability for percolation that is sharp up to a constant factor in the exponent. Our method also provides several crucial tools that we expect to have applications to other interacting particle systems, such as kinetically constrained spin models on $\mathbb{Z}^d$.
This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
△ Less
Submitted 18 August, 2023; v1 submitted 25 March, 2022;
originally announced March 2022.
-
Universality for monotone cellular automata
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that t…
▽ More
In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
△ Less
Submitted 7 November, 2022; v1 submitted 25 March, 2022;
originally announced March 2022.
-
Subcritical monotone cellular automata
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
△ Less
Submitted 19 April, 2022; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Counting independent sets in regular hypergraphs
Authors:
Jozsef Balogh,
Bela Bollobas,
Bhargav Narayanan
Abstract:
Amongst $d$-regular $r$-uniform hypergraphs on $n$ vertices, which ones have the largest number of independent sets? While the analogous problem for graphs (originally raised by Granville) is now well-understood, it is not even clear what the correct general conjecture ought to be; our goal here is propose such a generalisation. Lending credence to our conjecture, we verify it within the class of…
▽ More
Amongst $d$-regular $r$-uniform hypergraphs on $n$ vertices, which ones have the largest number of independent sets? While the analogous problem for graphs (originally raised by Granville) is now well-understood, it is not even clear what the correct general conjecture ought to be; our goal here is propose such a generalisation. Lending credence to our conjecture, we verify it within the class of `quasi-bipartite' hypergraphs (a generalisation of bipartite graphs that seems natural in this context) by adopting the entropic approach of Kahn.
△ Less
Submitted 23 February, 2020;
originally announced February 2020.
-
Flat Littlewood Polynomials Exist
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Julian Sahasrabudhe,
Marius Tiba
Abstract:
We show that there exist absolute constants $Δ> δ> 0$ such that, for all $n \geqslant 2$, there exists a polynomial $P$ of degree $n$, with $\pm 1$ coefficients, such that $$δ\sqrt{n} \leqslant |P(z)| \leqslant Δ\sqrt{n}$$ for all $z\in\mathbb{C}$ with $|z|=1$. This confirms a conjecture of Littlewood from 1966.
We show that there exist absolute constants $Δ> δ> 0$ such that, for all $n \geqslant 2$, there exists a polynomial $P$ of degree $n$, with $\pm 1$ coefficients, such that $$δ\sqrt{n} \leqslant |P(z)| \leqslant Δ\sqrt{n}$$ for all $z\in\mathbb{C}$ with $|z|=1$. This confirms a conjecture of Littlewood from 1966.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
The structure and number of Erdős covering systems
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Julian Sahasrabudhe,
Marius Tiba
Abstract:
Introduced by Erdős in 1950, a covering system of the integers is a finite collection of arithmetic progressions whose union is the set $\mathbb{Z}$. Many beautiful questions and conjectures about covering systems have been posed over the past several decades, but until recently little was known about their properties. Most famously, the so-called minimum modulus problem of Erdős was resolved in 2…
▽ More
Introduced by Erdős in 1950, a covering system of the integers is a finite collection of arithmetic progressions whose union is the set $\mathbb{Z}$. Many beautiful questions and conjectures about covering systems have been posed over the past several decades, but until recently little was known about their properties. Most famously, the so-called minimum modulus problem of Erdős was resolved in 2015 by Hough, who proved that in every covering system with distinct moduli, the minimum modulus is at most $10^{16}$.
In this paper we answer another question of Erdős, asked in 1952, on the number of minimal covering systems. More precisely, we show that the number of minimal covering systems with exactly $n$ elements is \[ \exp\left( \left(\frac{4\sqrtτ}{3} + o(1)\right) \frac{n^{3/2}}{(\log n)^{1/2}} \right) \] as $n \to \infty$, where \[ τ= \sum_{t = 1}^\infty \left( \log \frac{t+1}{t} \right)^2. \] En route to this counting result, we obtain a structural description of all covering systems that are close to optimal in an appropriate sense.
△ Less
Submitted 16 November, 2022; v1 submitted 9 April, 2019;
originally announced April 2019.
-
The Erdős-Selfridge problem with square-free moduli
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Julian Sahasrabudhe,
Marius Tiba
Abstract:
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of covering systems with distinct moduli was initiated by Erdős in 1950, and over the following decades numerous problems were posed regarding their properties. One particularly notorious question, due to Erdős, asks whether there exist covering systems whose moduli are distinct and al…
▽ More
A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of covering systems with distinct moduli was initiated by Erdős in 1950, and over the following decades numerous problems were posed regarding their properties. One particularly notorious question, due to Erdős, asks whether there exist covering systems whose moduli are distinct and all odd. We show that if in addition one assumes the moduli are square-free, then there must be an even modulus.
△ Less
Submitted 31 January, 2019;
originally announced January 2019.
-
How Ramsey theory can be used to solve Harary's problem for $K_{2,k}$
Authors:
C. J. Jayawardene,
C. C. Rousseau,
B. Bollobás
Abstract:
Harary's conjecture $r(C_3,G)\leq 2q+1$ for every isolated-free graph G with $q$ edges was proved independently by Sidorenko and Goddard and Klietman. In this paper instead of $C_3$ we consider $K_{2,k}$ and seek a sharp upper bound for $r(K_{2,k},G)$ over all graphs $G$ with $q$ edges. More specifically if $q\geq 2$, we will show that $r(C_4,G)\leq kq+1$ and that equality holds if $G \cong qK_2$…
▽ More
Harary's conjecture $r(C_3,G)\leq 2q+1$ for every isolated-free graph G with $q$ edges was proved independently by Sidorenko and Goddard and Klietman. In this paper instead of $C_3$ we consider $K_{2,k}$ and seek a sharp upper bound for $r(K_{2,k},G)$ over all graphs $G$ with $q$ edges. More specifically if $q\geq 2$, we will show that $r(C_4,G)\leq kq+1$ and that equality holds if $G \cong qK_2$ or $K_3$. Using this we will generalize this result for $r(K_{2,k},G)$ when $k>2$. We will also show that for every graph $G$ with $q \geq 2$ edges and with no isolated vertices, $r(C_4, G) \leq 2p+ q - 2$ where $p=|V(G)|$ and that equality holds if $G \cong K_3$.
△ Less
Submitted 6 January, 2019;
originally announced January 2019.
-
On the Erdős Covering Problem: the density of the uncovered set
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Julian Sahasrabudhe,
Marius Tiba
Abstract:
Since their introduction by Erdős in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erdős asked if the moduli can be distinct and all arbitrarily large, Erdős and Selfridge…
▽ More
Since their introduction by Erdős in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erdős asked if the moduli can be distinct and all arbitrarily large, Erdős and Selfridge asked if the moduli can be distinct and all odd, and Schinzel conjectured that in any covering system there exists a pair of moduli, one of which divides the other.
Another beautiful conjecture, proposed by Erdős and Graham in 1980, states that if the moduli are distinct elements of the interval $[n,Cn]$, and $n$ is sufficiently large, then the density of integers uncovered by the union is bounded below by a constant (depending only on $C$). This conjecture was confirmed (in a strong form) by Filaseta, Ford, Konyagin, Pomerance and Yu in 2007, who moreover asked whether the same conclusion holds if the moduli are distinct and sufficiently large, and $\sum_{i=1}^k \frac{1}{d_i} < C$. Although this condition turns out not to be sufficiently strong to imply the desired conclusion, as the main result of this paper we will give an essentially best possible condition which is sufficient.
Our method has a number of further applications. Most importantly, we prove the conjecture of Schinzel stated above, which was made in 1967. We moreover give an alternative (somewhat simpler) proof of a breakthrough result of Hough, who resolved Erdős' minimum modulus problem, with an improved bound on the smallest difference. Finally, we make further progress on the problem of Erdős and Selfridge.
△ Less
Submitted 8 November, 2018;
originally announced November 2018.
-
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.
-
Dense Subgraphs in Random Graphs
Authors:
Paul Balister,
Béla Bollobás,
Julian Sahasrabudhe,
Alexander Veremyev
Abstract:
For a constant $γ\in[0,1]$ and a graph $G$, let $ω_γ(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $γ\binom{k}{2}$ edges. We show that if $0<p<γ<1$ then $ω_γ(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $α(γ,p)=γ\log\fracγ{p}+(1-γ)\log\frac{1-γ}{1-p}$, we show that $ω_γ(G_{n,p})$ is one of the two integers closest to…
▽ More
For a constant $γ\in[0,1]$ and a graph $G$, let $ω_γ(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $γ\binom{k}{2}$ edges. We show that if $0<p<γ<1$ then $ω_γ(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $α(γ,p)=γ\log\fracγ{p}+(1-γ)\log\frac{1-γ}{1-p}$, we show that $ω_γ(G_{n,p})$ is one of the two integers closest to $\frac{2}{α(γ,p)}\big(\log n-\log\log n+\log\frac{eα(γ,p)}{2}\big)+\frac{1}{2}$, with high probability. While this situation parallels that of cliques in random graphs, a new technique is required to handle the more complicated ways in which these "quasi-cliques" may overlap.
△ Less
Submitted 27 March, 2018;
originally announced March 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.
-
Reconstructing random jigsaws
Authors:
Paul Balister,
Béla Bollobás,
Bhargav Narayanan
Abstract:
A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the colours of the edges incident to that vertex in some fixed order. In 2015, Mossel and Ross asked the following question: if the edges of an $n \times n$ grid are co…
▽ More
A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the colours of the edges incident to that vertex in some fixed order. In 2015, Mossel and Ross asked the following question: if the edges of an $n \times n$ grid are coloured independently and uniformly at random using $q=q(n)$ different colours, then is the resulting colouring reconstructible with high probability? From below, Mossel and Ross showed that such a colouring is not reconstructible when $q = o(n^{2/3})$ and from above, Bordenave, Feige and Mossel and Nenadov, Pfister and Steger independently showed, for any fixed $ε> 0$, that such a colouring is reconstructible when $q \ge n^{1+ε}$. Here, we improve on these results and prove the following: there exist absolute constants $C, c > 0$ such that, as $n \to \infty$, the probability that a random colouring as above is reconstructible tends to $1$ if $q \ge Cn$ and to $0$ if $q \le cn$.
△ Less
Submitted 15 July, 2017;
originally announced July 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.
-
Coalescence on the real line
Authors:
Paul Balister,
Béla Bollobás,
Jonathan Lee,
Bhargav Narayanan
Abstract:
We study a geometrically constrained coalescence model derived from spin systems. Given two probability distributions $\mathbb{P}_R$ and $\mathbb{P}_B$ on the positive reals with finite means, colour the real line alternately with red and blue intervals so that the lengths of the red intervals have distribution $\mathbb{P}_R$, the lengths of the blue intervals have distribution $\mathbb{P}_B$, and…
▽ More
We study a geometrically constrained coalescence model derived from spin systems. Given two probability distributions $\mathbb{P}_R$ and $\mathbb{P}_B$ on the positive reals with finite means, colour the real line alternately with red and blue intervals so that the lengths of the red intervals have distribution $\mathbb{P}_R$, the lengths of the blue intervals have distribution $\mathbb{P}_B$, and distinct intervals have independent lengths. Now, iteratively update this colouring of the line by coalescing intervals: change the colour of any interval that is surrounded by longer intervals so that these three consecutive intervals subsequently form a single monochromatic interval. We say that a colour (either red or blue) wins if every point of the line is eventually of that colour. Holroyd, in 2011, asked the following question: under what natural conditions on the initial distributions is one of the colours almost surely guaranteed to win? It turns out that the answer to this question can be quite counter-intuitive due to the non-monotone dynamics of the model. In this paper, we investigate various notions of advantage one of the colours might initially possess, and in the course of doing so, we determine which of the two colours emerges victorious for various nontrivial pairs of distributions.
△ Less
Submitted 5 September, 2017; v1 submitted 24 October, 2016;
originally announced October 2016.
-
Catching a fast robber on the grid
Authors:
Paul Balister,
Béla Bollobás,
Bhargav Narayanan,
Amy Shaw
Abstract:
We study the problem of cops and robbers on the grid where the robber is allowed to move faster than the cops. It is well known that two cops are necessary and sufficient to catch the robber on any finite grid when the robber has unit speed. Here, we prove that when the speed of the robber is a sufficiently large constant, the number of cops needed to catch the robber on an $n \times n$ grid is…
▽ More
We study the problem of cops and robbers on the grid where the robber is allowed to move faster than the cops. It is well known that two cops are necessary and sufficient to catch the robber on any finite grid when the robber has unit speed. Here, we prove that when the speed of the robber is a sufficiently large constant, the number of cops needed to catch the robber on an $n \times n$ grid is $\exp(Ω(\log n / \log \log n))$.
△ Less
Submitted 5 June, 2017; v1 submitted 4 September, 2016;
originally announced September 2016.
-
Transference for the Erdős-Ko-Rado theorem
Authors:
József Balogh,
Béla Bollobás,
Bhargav Narayanan
Abstract:
For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph it…
▽ More
For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We answer this question affirmatively as long as $r/n$ is bounded away from $1/2$, even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős-Ko-Rado theorem since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family, these might be of independent interest.
△ Less
Submitted 6 September, 2016; v1 submitted 4 September, 2016;
originally announced September 2016.
-
The sharp threshold for making squares
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris
Abstract:
Consider a random sequence of $N$ integers, each chosen uniformly and independently from the set $\{1,\dots,x\}$. Motivated by applications to factorisation algorithms such as Dixon's algorithm, the quadratic sieve, and the number field sieve, Pomerance in 1994 posed the following problem: how large should $N$ be so that, with high probability, this sequence contains a subsequence, the product of…
▽ More
Consider a random sequence of $N$ integers, each chosen uniformly and independently from the set $\{1,\dots,x\}$. Motivated by applications to factorisation algorithms such as Dixon's algorithm, the quadratic sieve, and the number field sieve, Pomerance in 1994 posed the following problem: how large should $N$ be so that, with high probability, this sequence contains a subsequence, the product of whose elements is a perfect square? Pomerance determined asymptotically the logarithm of the threshold for this event, and conjectured that it in fact exhibits a sharp threshold in $N$. More recently, Croot, Granville, Pemantle and Tetali determined the threshold up to a factor of $4/π+ o(1)$ as $x \to \infty$, and made a conjecture regarding the location of the sharp threshold.
In this paper we prove both of these conjectures, by determining the sharp threshold for making squares. Our proof combines techniques from combinatorics, probability and analytic number theory; in particular, we use the so-called method of self-correcting martingales in order to control the size of the 2-core of the random hypergraph that encodes the prime factors of our random numbers. Our method also gives a new (and completely different) proof of the upper bound in the main theorem of Croot, Granville, Pemantle and Tetali.
△ Less
Submitted 12 August, 2016;
originally announced August 2016.
-
Eigenvalues of subgraphs of the cube
Authors:
Béla Bollobás,
Jonathan Lee,
Shoham Letzter
Abstract:
We consider the problem of maximising the largest eigenvalue of subgraphs of the hypercube $Q_d$ of a given order. We believe that in most cases, Hamming balls are maximisers, and our results support this belief. We show that the Hamming balls of radius $o(d)$ have largest eigenvalue that is within $1 + o(1)$ of the maximum value. We also prove that Hamming balls with fixed radius maximise the lar…
▽ More
We consider the problem of maximising the largest eigenvalue of subgraphs of the hypercube $Q_d$ of a given order. We believe that in most cases, Hamming balls are maximisers, and our results support this belief. We show that the Hamming balls of radius $o(d)$ have largest eigenvalue that is within $1 + o(1)$ of the maximum value. We also prove that Hamming balls with fixed radius maximise the largest eigenvalue exactly, rather than asymptotically, when $d$ is sufficiently large. Our proofs rely on the method of compressions.
△ Less
Submitted 20 May, 2016;
originally announced May 2016.
-
Jigsaw percolation on random hypergraphs
Authors:
Béla Bollobás,
Oliver Cooley,
Mihyun Kang,
Christoph Koch
Abstract:
The jigsaw percolation process on graphs was introduced by Brummitt, Chatterjee, Dey, and Sivakoff as a model of collaborative solutions of puzzles in social networks. Percolation in this process may be viewed as the joint connectedness of two graphs on a common vertex set. Our aim is to extend a result of Bollobás, Riordan, Slivken, and Smith concerning this process to hypergraphs for a variety o…
▽ More
The jigsaw percolation process on graphs was introduced by Brummitt, Chatterjee, Dey, and Sivakoff as a model of collaborative solutions of puzzles in social networks. Percolation in this process may be viewed as the joint connectedness of two graphs on a common vertex set. Our aim is to extend a result of Bollobás, Riordan, Slivken, and Smith concerning this process to hypergraphs for a variety of possible definitions of connectedness. In particular, we determine the asymptotic order of the critical threshold probability for percolation when both hypergraphs are chosen binomially at random.
△ Less
Submitted 21 August, 2017; v1 submitted 25 March, 2016;
originally announced March 2016.
-
The sharp threshold for the Duarte model
Authors:
Béla Bollobás,
Hugo Duminil-Copin,
Robert Morris,
Paul Smith
Abstract:
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a…
▽ More
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.
△ Less
Submitted 10 October, 2016; v1 submitted 16 March, 2016;
originally announced March 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.
-
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.
-
Nucleation and growth in two dimensions
Authors:
Béla Bollobás,
Simon Griffiths,
Robert Morris,
Leonardo Rolla,
Paul Smith
Abstract:
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of De…
▽ More
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of Dehghanpour and Schonmann. In particular, we determine the typical infection time up to a constant factor for almost all natural values of the parameters, and in a large range we obtain a stronger, sharp threshold.
△ Less
Submitted 17 May, 2018; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Consistent random vertex-orderings of graphs
Authors:
Paul Balister,
Béla Bollobás,
Svante Janson
Abstract:
Given a hereditary graph property $\mathcal{P}$, consider distributions of random orderings of vertices of graphs $G\in\mathcal{P}$ that are preserved under isomorphisms and under taking induced subgraphs. We show that for many properties $\mathcal{P}$ the only such random orderings are uniform, and give some examples of non-uniform orderings when they exist.
Given a hereditary graph property $\mathcal{P}$, consider distributions of random orderings of vertices of graphs $G\in\mathcal{P}$ that are preserved under isomorphisms and under taking induced subgraphs. We show that for many properties $\mathcal{P}$ the only such random orderings are uniform, and give some examples of non-uniform orderings when they exist.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Positive independence densities of finite rank countable hypergraphs are achieved by finite hypergraphs
Authors:
Paul Balister,
Béla Bollobás,
Karen Gunderson
Abstract:
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some fin…
▽ More
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, we show that for any $k$, the set of independence densities of hypergraphs with hyperedges of size at most $k$ is closed and contains no infinite increasing sequences.
△ Less
Submitted 19 April, 2016; v1 submitted 29 May, 2015;
originally announced May 2015.
-
Random Geometric Graphs and Isometries of Normed Spaces
Authors:
Paul Balister,
Béla Bollobás,
Karen Gunderson,
Imre Leader,
Mark Walters
Abstract:
Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is `Rado' if any two such random graphs are (almost surely) isomorphic.
Bonato and Janssen showed that in $l_\infty^d$ almost all $S$ are Rado. Our main aim in thi…
▽ More
Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is `Rado' if any two such random graphs are (almost surely) isomorphic.
Bonato and Janssen showed that in $l_\infty^d$ almost all $S$ are Rado. Our main aim in this paper is to show that $l_\infty^d$ is the unique normed space with this property: indeed, in every other space almost all sets $S$ are non-Rado. We also determine which spaces admit some Rado set: this turns out to be the spaces that have an $l_\infty$ direct summand. These results answer questions of Bonato and Janssen.
A key role is played by the determination of which finite-dimensional normed spaces have the property that every bijective step-isometry (meaning that the integer part of distances is preserved) is in fact an isometry. This result may be of independent interest.
△ Less
Submitted 21 April, 2015;
originally announced April 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.
-
Subtended Angles
Authors:
Paul Balister,
Béla Bollobás,
Zoltán Füredi,
Imre Leader,
Mark Walters
Abstract:
We consider the following question. Suppose that $d\ge2$ and $n$ are fixed, and that $θ_1,θ_2,\dots,θ_n$ are $n$ specified angles. How many points do we need to place in $\mathbb{R}^d$ to realise all of these angles?
A simple degrees of freedom argument shows that $m$ points in $\mathbb{R}^2$ cannot realise more than $2m-4$ general angles. We give a construction to show that this bound is sharp…
▽ More
We consider the following question. Suppose that $d\ge2$ and $n$ are fixed, and that $θ_1,θ_2,\dots,θ_n$ are $n$ specified angles. How many points do we need to place in $\mathbb{R}^d$ to realise all of these angles?
A simple degrees of freedom argument shows that $m$ points in $\mathbb{R}^2$ cannot realise more than $2m-4$ general angles. We give a construction to show that this bound is sharp when $m\ge 5$.
In $d$ dimensions the degrees of freedom argument gives an upper bound of $dm-\binom{d+1}{2}-1$ general angles. However, the above result does not generalise to this case; surprisingly, the bound of $2m-4$ from two dimensions cannot be improved at all. Indeed, our main result is that there are sets of $2m-3$ of angles that cannot be realised by $m$ points in any dimension.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
On a problem of Erdos and Moser
Authors:
Bela Bollobas,
Alex Scott
Abstract:
A set $A$ of vertices in an $r$-uniform hypergraph $\mathcal H$ is covered in $\mathcal H$ if there is some vertex $u\not\in A$ such that, for every $(r-1)$-set $B\subset A$, the set $\{u\}\cup B$ is in $\mathcal H$. Erdos and Moser (1970) determined the minimum number of edges in a graph on $n$ vertices such that every $k$-set is covered. We extend this result to $r$-uniform hypergraphs on suffic…
▽ More
A set $A$ of vertices in an $r$-uniform hypergraph $\mathcal H$ is covered in $\mathcal H$ if there is some vertex $u\not\in A$ such that, for every $(r-1)$-set $B\subset A$, the set $\{u\}\cup B$ is in $\mathcal H$. Erdos and Moser (1970) determined the minimum number of edges in a graph on $n$ vertices such that every $k$-set is covered. We extend this result to $r$-uniform hypergraphs on sufficiently many vertices, and determine the extremal hypergraphs. We also address the problem for directed graphs.
△ Less
Submitted 18 March, 2016; v1 submitted 24 February, 2015;
originally announced February 2015.
-
Limited packings of closed neighbourhoods in graphs
Authors:
Paul N. Balister,
Béla Bollobás,
Karen Gunderson
Abstract:
The k-limited packing number, $L_k(G)$, of a graph $G$, introduced by Gallant, Gunther, Hartnell, and Rall, is the maximum cardinality of a set $X$ of vertices of $G$ such that every vertex of $G$ has at most $k$ elements of $X$ in its closed neighbourhood. The main aim in this paper is to prove the best-possible result that if $G$ is a cubic graph, then $L_2(G) \geq |V (G)|/3$, improving the prev…
▽ More
The k-limited packing number, $L_k(G)$, of a graph $G$, introduced by Gallant, Gunther, Hartnell, and Rall, is the maximum cardinality of a set $X$ of vertices of $G$ such that every vertex of $G$ has at most $k$ elements of $X$ in its closed neighbourhood. The main aim in this paper is to prove the best-possible result that if $G$ is a cubic graph, then $L_2(G) \geq |V (G)|/3$, improving the previous lower bound given by Gallant, \emph{et al.}
In addition, we construct an infinite family of graphs to show that lower bounds given by Gagarin and Zverovich are asymptotically best-possible, up to a constant factor, when $k$ is fixed and $Δ(G)$ tends to infinity. For $Δ(G)$ tending to infinity and $k$ tending to infinity sufficiently quickly, we give an asymptotically best-possible lower bound for $L_k(G)$, improving previous bounds.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Packing random graphs and hypergraphs
Authors:
Béla Bollobás,
Svante Janson,
Alex Scott
Abstract:
We determine to within a constant factor the threshold for the property that two random k-uniform hypergraphs with edge probability p have an edge-disjoint packing into the same vertex set. More generally, we allow the hypergraphs to have different densities. In the graph case, we prove a stronger result, on packing a random graph with a fixed graph.
We determine to within a constant factor the threshold for the property that two random k-uniform hypergraphs with edge probability p have an edge-disjoint packing into the same vertex set. More generally, we allow the hypergraphs to have different densities. In the graph case, we prove a stronger result, on packing a random graph with a fixed graph.
△ Less
Submitted 28 February, 2016; v1 submitted 27 August, 2014;
originally announced August 2014.
-
Intersections of hypergraphs
Authors:
Béla Bollobás,
Alex Scott
Abstract:
Given two weighted k-uniform hypergraphs G, H of order n, how much (or little) can we make them overlap by placing them on the same vertex set? If we place them at random, how concentrated is the distribution of the intersection? The aim of this paper is to investigate these questions.
Given two weighted k-uniform hypergraphs G, H of order n, how much (or little) can we make them overlap by placing them on the same vertex set? If we place them at random, how concentrated is the distribution of the intersection? The aim of this paper is to investigate these questions.
△ Less
Submitted 27 August, 2014;
originally announced August 2014.
-
On the stability of the Erdős-Ko-Rado theorem
Authors:
Béla Bollobás,
Bhargav Narayanan,
Andrei Raigorodskii
Abstract:
Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a ran…
▽ More
Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erdős-Ko-Rado theorem.
△ Less
Submitted 6 September, 2016; v1 submitted 6 August, 2014;
originally announced August 2014.
-
Universality for two-dimensional critical cellular automata
Authors:
Béla Bollobás,
Hugo Duminil-Copin,
Robert Morris,
Paul Smith
Abstract:
We study the class of monotone, two-state, deterministic cellular automata, in which sites are activated (or 'infected') by certain configurations of nearby infected sites. These models have close connections to statistical physics, and several specific examples have been extensively studied in recent years by both mathematicians and physicists. This general setting was first studied only recently…
▽ More
We study the class of monotone, two-state, deterministic cellular automata, in which sites are activated (or 'infected') by certain configurations of nearby infected sites. These models have close connections to statistical physics, and several specific examples have been extensively studied in recent years by both mathematicians and physicists. This general setting was first studied only recently, however, by Bollobás, Smith and Uzzell, who showed that the family of all such 'bootstrap percolation' models on $\mathbb{Z}^2$ can be naturally partitioned into three classes, which they termed subcritical, critical and supercritical.
In this paper we determine the order of the threshold for percolation (complete occupation) for every critical bootstrap percolation model in two dimensions. This 'universality' theorem includes as special cases results of Aizenman and Lebowitz, Gravner and Griffeath, Mountford, and van Enter and Hulshof, significantly strengthens bounds of Bollobás, Smith and Uzzell, and complements recent work of Balister, Bollobás, Przykucki and Smith on subcritical models.
△ Less
Submitted 8 September, 2022; v1 submitted 25 June, 2014;
originally announced June 2014.
-
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.
-
Line percolation
Authors:
Paul Balister,
Béla Bollobás,
Jonathan Lee,
Bhargav Narayanan
Abstract:
We study a new geometric bootstrap percolation model, line percolation, on the $d$-dimensional integer grid $[n]^d$. In line percolation with infection parameter $r$, infection spreads from a subset $A\subset [n]^d$ of initially infected lattice points as follows: if there exists an axis-parallel line $L$ with $r$ or more infected lattice points on it, then every lattice point of $[n]^d$ on $L$ ge…
▽ More
We study a new geometric bootstrap percolation model, line percolation, on the $d$-dimensional integer grid $[n]^d$. In line percolation with infection parameter $r$, infection spreads from a subset $A\subset [n]^d$ of initially infected lattice points as follows: if there exists an axis-parallel line $L$ with $r$ or more infected lattice points on it, then every lattice point of $[n]^d$ on $L$ gets infected, and we repeat this until the infection can no longer spread. The elements of the set $A$ are usually chosen independently, with some density $p$, and the main question is to determine $p_c(n,r,d)$, the density at which percolation (infection of the entire grid) becomes likely. In this paper, we determine $p_c(n,r,2)$ up to a multiplicative factor of $1+o(1)$ and $p_c(n,r,3)$ up to a multiplicative constant as $n\rightarrow \infty$ for every fixed $r\in \mathbb{N}$. We also determine the size of the minimal percolating sets in all dimensions and for all values of the infection parameter.
△ Less
Submitted 5 June, 2017; v1 submitted 26 March, 2014;
originally announced March 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.
-
A coding problem for pairs of subsets
Authors:
Bela Bollobas,
Zoltan Furedi,
Ida Kantor,
G. O. H. Katona,
Imre Leader
Abstract:
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of…
▽ More
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$.
Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.
△ Less
Submitted 12 May, 2014; v1 submitted 15 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.
-
Disjoint induced subgraphs of the same order and size
Authors:
Béla Bollobás,
Teeradej Kittipassorn,
Bhargav Narayanan,
Alex Scott
Abstract:
For a graph $G$, let $f(G)$ be the largest integer $k$ for which there exist two vertex-disjoint induced subgraphs of $G$ each on $k$ vertices, both inducing the same number of edges. We prove that $f(G) \ge n/2 - o(n)$ for every graph $G$ on $n$ vertices. This answers a question of Caro and Yuster.
For a graph $G$, let $f(G)$ be the largest integer $k$ for which there exist two vertex-disjoint induced subgraphs of $G$ each on $k$ vertices, both inducing the same number of edges. We prove that $f(G) \ge n/2 - o(n)$ for every graph $G$ on $n$ vertices. This answers a question of Caro and Yuster.
△ Less
Submitted 6 September, 2016; v1 submitted 5 December, 2013;
originally announced December 2013.
-
Subcritical $\mathcal{U}$-bootstrap percolation models have non-trivial phase transitions
Authors:
Paul Balister,
Béla Bollobás,
Michał Przykucki,
Paul Smith
Abstract:
We prove that there exist natural generalizations of the classical bootstrap percolation model on $\mathbb{Z}^2$ that have non-trivial critical probabilities, and moreover we characterize all homogeneous, local, monotone models with this property.
Van Enter (in the case $d=r=2$) and Schonmann (for all $d \geq r \geq 2$) proved that $r$-neighbour bootstrap percolation models have trivial critical…
▽ More
We prove that there exist natural generalizations of the classical bootstrap percolation model on $\mathbb{Z}^2$ that have non-trivial critical probabilities, and moreover we characterize all homogeneous, local, monotone models with this property.
Van Enter (in the case $d=r=2$) and Schonmann (for all $d \geq r \geq 2$) proved that $r$-neighbour bootstrap percolation models have trivial critical probabilities on $\mathbb{Z}^d$ for every choice of the parameters $d \geq r \geq 2$: that is, an initial set of density $p$ almost surely percolates $\mathbb{Z}^d$ for every $p>0$. These results effectively ended the study of bootstrap percolation on infinite lattices.
Recently Bollobás, Smith and Uzzell introduced a broad class of percolation models called $\mathcal{U}$-bootstrap percolation, which includes $r$-neighbour bootstrap percolation as a special case. They divided two-dimensional $\mathcal{U}$-bootstrap percolation models into three classes -- subcritical, critical and supercritical -- and they proved that, like classical 2-neighbour bootstrap percolation, critical and supercritical $\mathcal{U}$-bootstrap percolation models have trivial critical probabilities on $\mathbb{Z}^2$. They left open the question as to what happens in the case of subcritical families. In this paper we answer that question: we show that every subcritical $\mathcal{U}$-bootstrap percolation model has a non-trivial critical probability on $\mathbb{Z}^2$. This is new except for a certain `degenerate' subclass of symmetric models that can be coupled from below with oriented site percolation. Our results re-open the study of critical probabilities in bootstrap percolation on infinite lattices, and they allow one to ask many questions of subcritical bootstrap percolation models that are typically asked of site or bond percolation.
△ Less
Submitted 8 September, 2014; v1 submitted 22 November, 2013;
originally announced November 2013.
-
The time of bootstrap percolation in two dimensions
Authors:
Paul Balister,
Béla Bollobás,
Paul Smith
Abstract:
We study the distribution of the percolation time $T$ of two-neighbour bootstrap percolation on $[n]^2$ with initial set $A\sim\mathrm{Bin}([n]^2,p)$. We determine $T$ with high probability up to a constant factor for all $p$ above the critical probability for percolation, and to within a $1+o(1)$ factor for a large range of $p$.
We study the distribution of the percolation time $T$ of two-neighbour bootstrap percolation on $[n]^2$ with initial set $A\sim\mathrm{Bin}([n]^2,p)$. We determine $T$ with high probability up to a constant factor for all $p$ above the critical probability for percolation, and to within a $1+o(1)$ factor for a large range of $p$.
△ Less
Submitted 17 August, 2015; v1 submitted 23 May, 2013;
originally announced May 2013.
-
Bootstrap percolation on Galton-Watson trees
Authors:
Béla Bollobás,
Karen Gunderson,
Cecilia Holmgren,
Svante Janson,
Michał Przykucki
Abstract:
Bootstrap percolation is a type of cellular automaton which has been used to model various physical phenomena, such as ferromagnetism. For each natural number $r$, the $r$-neighbour bootstrap process is an update rule for vertices of a graph in one of two states: `infected' or `healthy'. In consecutive rounds, each healthy vertex with at least $r$ infected neighbours becomes itself infected. Perco…
▽ More
Bootstrap percolation is a type of cellular automaton which has been used to model various physical phenomena, such as ferromagnetism. For each natural number $r$, the $r$-neighbour bootstrap process is an update rule for vertices of a graph in one of two states: `infected' or `healthy'. In consecutive rounds, each healthy vertex with at least $r$ infected neighbours becomes itself infected. Percolation is said to occur if every vertex is eventually infected.
Usually, the starting set of infected vertices is chosen at random, with all vertices initially infected independently with probability $p$. In that case, given a graph $G$ and infection threshold $r$, a quantity of interest is the critical probability, $p_c(G,r)$, at which percolation becomes likely to occur. In this paper, we look at infinite trees and, answering a problem posed by Balogh, Peres and Pete, we show that for any $b \geq r$ and for any $ε> 0$ there exists a tree $T$ with branching number $\br(T) = b$ and critical probability $p_c(T,r) < ε$. However, this is false if we limit ourselves to the well-studied family of Galton--Watson trees. We show that for every $r \geq 2$ there exists a constant $c_r>0$ such that if $T$ is a Galton--Watson tree with branching number $\br(T) = b \geq r$ then p_c(T,r) > \frac{c_r}{b} e^{-\frac{b}{r-1}}.
We also show that this bound is sharp up to a factor of $O(b)$ by giving an explicit family of Galton--Watson trees with critical probability bounded from above by $C_r e^{-\frac{b}{r-1}}$ for some constant $C_r>0$.
△ Less
Submitted 8 April, 2013;
originally announced April 2013.
-
Minimal symmetric differences of lines in projective planes
Authors:
Paul Balister,
Béla Bollobás,
Zoltán Füredi,
John Thompson
Abstract:
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a constant C>0 such that f(r)=O(q) for Cq^{3/2}<r<q^2 - Cq^{3/2}.
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a constant C>0 such that f(r)=O(q) for Cq^{3/2}<r<q^2 - Cq^{3/2}.
△ Less
Submitted 28 October, 2013; v1 submitted 17 March, 2013;
originally announced March 2013.