arXiv subjects

Simon Griffiths

Publications and source records attributed to Simon Griffiths.

At least 19 recordsLinked to original sources

arXiv2024

Upper bounds for multicolour Ramsey numbers

The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$, that $$R_r(k) \leqslant e^{-\delta k} r^{rk}$$ for some constant $\delta = \delta(r) > 0$ and all sufficiently large $k \in \mathbb{N}$. For each $r \geqslant 3$, this is the first exponential improvement over the upper bound of Erd\H{o}s and Szekeres from 1935. In the case $r = 2$, it gives a different (and significantly shorter) proof of a recent result of Campos, Griffiths, Morris and Sahasrabudhe.

math.CO↗

arXiv2024

Clique packings in random graphs

We consider the question of how many edge-disjoint near-maximal cliques may be found in the dense Erd\H{o}s-R\'enyi random graph $G(n,p)$. Recently Acan and Kahn showed that the largest such family contains only $O(n^2/(\log{n})^3)$ cliques, with high probability, which disproved a conjecture of Alon and Spencer. We prove the corresponding lower bound, $\Omega(n^2/(\log{n})^3)$, by considering a random graph process which sequentially selects and deletes near-maximal cliques. To analyse this process we use the Differential Equation Method. We also give a new proof of the upper bound $O(n^2/(\log{n})^3)$ and discuss the problem of the precise size of the largest such clique packing.

math.CO↗

arXiv2024

Moderate Deviations of Triangle Counts in the Erd\H{o}s-R\'enyi Random Graph $G(n,m)$: The Lower Tail

Let $N_{\triangle}(G)$ be the number of triangles in a graph $G$. In [14] and [25] (respectively) the following bounds were proved on the lower tail behaviour of triangle counts in the dense Erd\H{o}s-R\'enyi random graphs $G_m\sim G(n,m)$: \[ \mathbb{P}\big(N_{\triangle}(G_m) \, < \, (1-\delta)\mathbb{E}[N_{\triangle}(G_m)]\big) \,=\, \exp\left(-\Theta\left(\delta^2n^3\right)\right) \qquad \text{if $n^{-3/2}\ll \delta\ll n^{-1}$} \] and \[ \mathbb{P}\big(N_{\triangle}(G_m) \, < \, (1-\delta)\mathbb{E}[N_{\triangle}(G_m)]\big) \,=\, \exp\left(-\Theta(\delta^{2/3}n^2) \right) \qquad \text{if $n^{-3/4} \ll \delta \ll 1$.} \] Neeman, Radin and Sadun [25] also conjectured that the probability should be of the form $\exp\left(-\Theta\left(\delta^2n^3\right)\right)$ in the "missing interval" $n^{-1}\ll \delta\ll n^{-3/4}$. We prove this conjecture. As part of our proof we also prove that some random graph statistics, related to degrees and codegrees, are normally distributed with high probability.

math.CO↗

arXiv2023

Extreme local statistics in random graphs: maximum tree extension counts

We consider maximum rooted tree extension counts in random graphs, i.e., we consider M_n = \max_v X_v where X_v counts the number of copies of a given tree in G_{n,p} rooted at vertex v. We determine the asymptotics of M_n when the random graph is not too sparse, specifically when the edge probability p=p(n) satisfies p(1-p)n \gg \log n. The problem is more difficult in the sparser regime 1 \ll pn \ll \log n, where we determine the asymptotics of M_n for specific classes of trees. Interestingly, here our large deviation type optimization arguments reveal that the behavior of M_n changes as we vary p=p(n), due to different mechanisms that can make the maximum large.

math.PR↗

arXiv2023

Moderate deviations of triangle counts in sparse Erd\H{o}s-R\'enyi random graphs $G(n,m)$ and $G(n,p)$

We consider the question of determining the probability of triangle count deviations in the Erd\H{o}s-R\'enyi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+\delta)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).

math.CO↗

arXiv2023

An exponential improvement for diagonal Ramsey

The Ramsey number $R(k)$ is the minimum $n \in \mathbb{N}$ such that every red-blue colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove that \[ R(k) \leqslant (4 - \varepsilon)^k \] for some constant $\varepsilon > 0$. This is the first exponential improvement over the upper bound of Erd\H{o}s and Szekeres, proved in 1935.

math.CO↗

arXiv2021

On the rate of convergence in quenched Voronoi percolation

Position $n$ points uniformly at random in the unit square $S$, and consider the Voronoi tessellation of $S$ corresponding to the set $\eta$ of points. Toss a fair coin for each cell in the tessellation to determine whether to colour the cell red or blue. Let $H_S$ denote the event that there exists a red horizontal crossing of $S$ in the resulting colouring. In 1999, Benjamini, Kalai and Schramm conjectured that knowing the tessellation, but not the colouring, asymptotically gives no information as to whether the event $H_S$ will occur or not. More precisely, since $H_S$ occurs with probability $1/2$, by symmetry, they conjectured that the conditional probabilities $\mathbb{P}(H_S|\eta)$ converge in probability to 1/2, as $n\to\infty$. This conjecture was settled in 2016 by Ahlberg, Griffiths, Morris and Tassion. In this paper we derive a stronger bound on the rate at which $\mathbb{P}(H_S|\eta)$ approaches its mean. As a consequence we strengthen the convergence in probability to almost sure convergence.

math.PR↗

arXiv2020

Deviation probabilities for arithmetic progressions and irregular discrete structures

Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$-element subset $B$ of its vertex set. Focussing on the case that the degrees of vertices in $\mathcal{H}$ vary significantly we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the $\{1,\dots, N\}$. Furthermore, our main theorem allows us to deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$. In this setting our result on arithmetic progressions extends a result of Bhattacharya, Ganguly, Shao and Zhao \cite{BGSZ}. We also mention connections to related central limit theorems.

math.CO↗

arXiv2020

To fixate or not to fixate in two-type annihilating branching random walks

We study a model of competition between two types evolving as branching random walks on $\mathbb{Z}^d$. The two types are represented by red and blue balls respectively, with the rule that balls of different colour annihilate upon contact. We consider initial configurations in which the sites of $\mathbb{Z}^d$ contain one ball each, which are independently coloured red with probability $p$ and blue otherwise. We address the question of \emph{fixation}, referring to the sites eventually settling for a given colour, or not. Under a mild moment condition on the branching rule, we prove that the process will fixate almost surely for $p\neq 1/2$, and that every site will change colour infinitely often almost surely for the balanced initial condition $p=1/2$.

math.PR↗

arXiv2019

Deviation probabilities for arithmetic progressions and other regular discrete structures

Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$ element subset $B$ of its vertex set. Focussing on the case that $\mathcal{H}$ satisfies some regularity condition we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the cyclic group $\mathbb{Z}_N$. Furthermore, we show that our main theorem is essentially best possible and we deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$.

math.CO↗

arXiv2019

Moderate deviations of subgraph counts in the Erd\H{o}s-R\'enyi random graphs $G(n,m)$ and $G(n,p)$

The main contribution of this article is an asymptotic expression for the rate associated with moderate deviations of subgraph counts in the Erd\H{o}s-R\'enyi random graph $G(n,m)$. Our approach is based on applying Freedman's inequalities for the probability of deviations of martingales to a martingale representation of subgraph count deviations. In addition, we prove that subgraph count deviations of different subgraphs are all linked, via the deviations of two specific graphs, the path of length two and the triangle. We also deduce new bounds for the related $G(n,p)$ model.

math.CO↗

arXiv2016

Competition in growth and urns

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

math.PR↗

arXiv2015

Nucleation and growth in two dimensions

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.

math.PR↗

arXiv2015

Chromatic thresholds in dense random graphs

The chromatic threshold $\delta_\chi(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $\delta(G) \ge dpn$ has bounded chromatic number. The study of the parameter $\delta_\chi(H) := \delta_\chi(H,1)$ was initiated in 1973 by Erd\H{o}s and Simonovits, and was recently determined for all graphs $H$. In this paper we show that $\delta_\chi(H,p) = \delta_\chi(H)$ for all fixed $p \in (0,1)$, but that typically $\delta_\chi(H,p) \ne \delta_\chi(H)$ if $p = o(1)$. We also make significant progress towards determining $\delta_\chi(H,p)$ for all graphs $H$ in the range $p = n^{-o(1)}$. In sparser random graphs the problem is somewhat more complicated, and is studied in a separate paper.

math.CO↗

arXiv2015

Chromatic thresholds in sparse random graphs

The chromatic threshold $\delta_\chi(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $\delta(G) \ge dpn$ has bounded chromatic number. The study of $\delta_\chi(H) :=\delta_\chi(H,1)$ was initiated in 1973 by Erd\H{o}s and Simonovits. Recently $\delta_\chi(H)$ was determined for all graphs $H$. It is known that $\delta_\chi(H,p) =\delta_\chi(H)$ for all fixed $p \in (0,1)$, but that typically $\delta_\chi(H,p) \ne \delta_\chi(H)$ if $p = o(1)$. Here we study the problem for sparse random graphs. We determine $\delta_\chi(H,p)$ for most functions $p = p(n)$ when $H\in\{K_3,C_5\}$, and also for all graphs $H$ with $\chi(H) \not\in \{3,4\}$.

math.CO↗

arXiv2015

Quenched Voronoi percolation

We prove that the probability of crossing a large square in quenched Voronoi percolation converges to 1/2 at criticality, confirming a conjecture of Benjamini, Kalai and Schramm from 1999. The main new tools are a quenched version of the box-crossing property for Voronoi percolation at criticality, and an Efron-Stein type bound on the variance of the probability of the crossing event in terms of the sum of the squares of the influences. As a corollary of the proof, we moreover obtain that the quenched crossing event at criticality is almost surely noise sensitive.

math.PR↗

arXiv2014

Explosion and linear transit times in infinite trees

Let $T$ be an infinite rooted tree with weights $w_e$ assigned to its edges. Denote by $m_n(T)$ the minimum weight of a path from the root to a node of the $n$th generation. We consider the possible behaviour of $m_n(T)$ with focus on the two following cases: we say $T$ is explosive if \[ \lim_{n\to \infty}m_n(T) < \infty, \] and say that $T$ exhibits linear growth if \[ \liminf_{n\to \infty} \frac{m_n(T)}{n} > 0. \] We consider a class of infinite randomly weighted trees related to the Poisson-weighted infinite tree, and determine precisely which trees in this class have linear growth almost surely. We then apply this characterization to obtain new results concerning the event of explosion in infinite randomly weighted spherically-symmetric trees, answering a question of Pemantle and Peres. As a further application, we consider the random real tree generated by attaching sticks of deterministic decreasing lengths, and determine for which sequences of lengths the tree has finite height almost surely.

math.PR↗

arXiv2013

The Ramsey number of the clique and the hypercube

The Ramsey number r(K_s,Q_n) is the smallest positive integer N such that every red-blue colouring of the edges of the complete graph K_N on N vertices contains either a red n-dimensional hypercube, or a blue clique on s vertices. Answering a question of Burr and Erd\H{o}s from 1983, and improving on recent results of Conlon, Fox, Lee and Sudakov, and of the current authors, we show that r(K_s,Q_n) = (s-1) (2^n - 1) + 1 for every s \in \N and every sufficiently large n \in \N.

math.CO↗