arXiv++ Combinatorics

Given a graph $G$ and probability $p$, we form the random subgraph $G_p$ by retaining each edge of $G$ independently with probability $p$. Given $d\in\mathbb{N}$ and constants $0<c<1, \varepsilon>0$, we show that if every subset $S\subseteq V(G)$ of size exactly $\frac{c|V(G)|}{d}$ satisfies $|N(S)|\ge d|S|$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a cycle of length $Ω(\varepsilon^2c^2|V(G)|)$ is exponentially small in $|V(G)|$. As an intermediate step, we also show that given $k,d\in \mathbb{N}$ and a constant $\varepsilon>0$, if every subset $S\subseteq V(G)$ of size exactly $k$ satisfies $|N(S)|\ge kd$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a path of length $Ω(\varepsilon^2 kd)$ is exponentially small. We further discuss applications of these results to $K_{s,t}$-free graphs of maximal density.

We estimate the minimum number of distance queries that is sufficient to reconstruct the binomial random graph $G(n,p)$ with constant diameter with high probability. We get a tight (up to a constant factor) answer for all $p>n^{-1+o(1)}$ outside "threshold windows" around $n^{-k/(k+1)+o(1)}$, $k\in\mathbb{Z}_{>0}$: with high probability the query complexity equals $Θ(n^{4-d}p^{2-d})$, where $d$ is the diameter of the random graph. This demonstrates the following non-monotone behaviour: the query complexity jumps down at moments when the diameter gets larger; yet, between these moments the query complexity grows. We also show that there exists a non-adaptive algorithm that reconstructs the random graph with $O(n^{4-d}p^{2-d}\ln n)$ distance queries with high probability, and this is best possible.

We present a short and self-contained proof of a classical result due to Bollobás (1990): in the random hypercube process, with high probability the hitting time of connectedness equals the hitting time of having minimum degree at least one.

Given positive integers $k \leq m$ and a graph $G$, a family of lists $L = \{L(v) : v \in V(G)\}$ is said to be a random $(k,m)$-list-assignment if for every $v \in V(G)$ the list $L(v)$ is a subset of $\{1, \ldots, m\}$ of size $k$, chosen uniformly at random and independently of the choices of all other vertices. An $n$-vertex graph $G$ is said to be a.a.s. $(k,m)$-colourable if $\lim_{n \to \infty} \mathbb{P}(G \textrm{ is } L-colourable) = 1$, where $L$ is a random $(k,m)$-list-assignment. We prove that if $m \gg n^{1/k^2} Δ^{1/k}$ and $m \geq 3 k^2 Δ$, where $Δ$ is the maximum degree of $G$ and $k \geq 3$ is an integer, then $G$ is a.a.s. $(k,m)$-colourable. This is not far from being best possible, forms a continuation of the so-called palette sparsification results, and proves in a strong sense a conjecture of Casselgren. Additionally, we consider this problem under the additional assumption that $G$ is $H$-free for some graph $H$. For various graphs $H$, we estimate the smallest $m$ for which an $H$-free $n$-vertex graph $G$ is a.a.s. $(k,m)$-colourable. This extends and improves several results of Casselgren.

We study several basic problems about colouring the $p$-random subgraph $G_p$ of an arbitrary graph $G$, focusing primarily on the chromatic number and colouring number of $G_p$. In particular, we show that there exist infinitely many $k$-regular graphs $G$ for which the colouring number (i.e., degeneracy) of $G_{1/2}$ is at most $k/3 + o(k)$ with high probability, thus disproving the natural prediction that such random graphs must have colouring number at least $k/2 - o(k)$.

Let $Q^d$ be the $d$-dimensional binary hypercube. We say that $P=\{v_1,\ldots, v_k\}$ is an increasing path of length $k-1$ in $Q^d$, if for every $i\in [k-1]$ the edge $v_iv_{i+1}$ is obtained by switching some zero coordinate in $v_i$ to a one coordinate in $v_{i+1}$. Form a random subgraph $Q^d_p$ by retaining each edge in $E(Q^d)$ independently with probability $p$. We show that there is a phase transition with respect to the length of a longest increasing path around $p=\frac{e}{d}$. Let $α$ be a constant and let $p=\fracα{d}$. When $α<e$, then there exists a $δ\in [0,1)$ such that whp a longest increasing path in $Q^d_p$ is of length at most $δd$. On the other hand, when $α>e$, whp there is a path of length $d-2$ in $Q^d_p$, and in fact, whether it is of length $d-2, d-1$, or $d$ depends on whether the all-zero and all-one vertices percolate or not.

A graph is called $d$-rigid if there exists a generic embedding of its vertex set into $\mathbb{R}^d$ such that every continuous motion of the vertices that preserves the lengths of all edges actually preserves the distances between all pairs of vertices. The rigidity of a graph is the maximal $d$ such that the graph is $d$-rigid. We present new sufficient conditions for the $d$-rigidity of a graph in terms of the existence of ``rigid partitions'' -- partitions of the graph that satisfy certain connectivity properties. This extends previous results by Crapo, Lindemann, and Lew, Nevo, Peled and Raz. As an application, we present new results on the rigidity of highly-connected graphs, random graphs, random bipartite graphs, pseudorandom graphs, and dense graphs. In particular, we prove that random $C d\log d$-regular graphs are typically $d$-rigid, demonstrate the existence of a giant $d$-rigid component in sparse random binomial graphs, and show that the rigidity of relatively sparse random binomial bipartite graphs is roughly the same as that of the complete bipartite graph, which we consider an interesting phenomenon. Furthermore, we show that a graph admitting $\binom{d+1}{2}$ disjoint connected dominating sets is $d$-rigid. This implies a weak version of the Lovász--Yemini conjecture on the rigidity of highly-connected graphs. We also present an alternative short proof for a recent result by Lew, Nevo, Peled, and Raz, which asserts that the hitting time for $d$-rigidity in the random graph process typically coincides with the hitting time for minimum degree $d$.

We present a relatively short and self-contained proof of the classical result on component sizes in the supercritical percolation on the high dimensional binary cube, due to Ajtai, Komlós and Szemerédi (1982) and to Bollobás, Kohayakawa and Łuczak (1992).

A classical problem, due to Gerencsér and Gyárfás from 1967, asks how large a monochromatic connected component can we guarantee in any $r$-edge colouring of $K_n$? We consider how big a connected component can we guarantee in any $r$-edge colouring of $K_n$ if we allow ourselves to use up to $s$ colours. This is actually an instance of a more general question of Bollobás from about 20 years ago which asks for a $k$-connected subgraph in the same setting. We complete the picture in terms of the approximate behaviour of the answer by determining it up to a logarithmic term, provided $n$ is large enough. We obtain more precise results for certain regimes which solve a problem of Liu, Morris and Prince from 2007, as well as disprove a conjecture they pose in a strong form. We also consider a generalisation in a similar direction of a question first considered by Erdős and Rényi in 1956, who considered given $n$ and $m$, what is the smallest number of $m$-cliques which can cover all edges of $K_n$? This problem is essentially equivalent to the question of what is the minimum number of vertices that are certain to be incident to at least one edge of some colour in any $r$-edge colouring of $K_n$. We consider what happens if we allow ourselves to use up to $s$ colours. We obtain a more complete understanding of the answer to this question for large $n$, in particular determining it up to a constant factor for all $1\le s \le r$, as well as obtaining much more precise results for various ranges including the correct asymptotics for essentially the whole range.

We provide a sufficient condition on the isoperimetric properties of a regular graph $G$ of growing degree $d$, under which the random subgraph $G_p$ typically undergoes a phase transition around $p=\frac{1}{d}$ which resembles the emergence of a giant component in the binomial random graph model $G(n,p)$. We further show that this condition is tight. More precisely, let $d=ω(1)$, let $ε>0$ be a small enough constant, and let $p \cdot d=1+ε$. We show that if $C$ is sufficiently large and $G$ is a $d$-regular $n$-vertex graph where every subset $S\subseteq V(G)$ of order at most $\frac{n}{2}$ has edge-boundary of size at least $C|S|$, then $G_p$ typically has a unique linear sized component, whose order is asymptotically $y(ε)n$, where $y(ε)$ is the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We further give examples to show that this result is tight both in terms of its dependence on $C$, and with respect to the order of the second-largest component. We also consider a more general setting, where we only control the expansion of sets up to size $k$. In this case, we show that if $G$ is such that every subset $S\subseteq V(G)$ of order at most $k$ has edge-boundary of size at least $d|S|$ and $p$ is such that $p\cdot d \geq 1 + ε$, then $G_p$ typically contains a component of order $Ω(k)$.

We find asymptotics of the maximum size of a chordal subgraph in a binomial random graph $G(n,p)$, for $p=\mathrm{const}$ and $p=n^{-α+o(1)}$.

It is known that the complete graph $K_n$ contains a pancyclic subgraph with $n+(1+o(1))\cdot \log _2 n$ edges, and that there is no pancyclic graph on $n$ vertices with fewer than $n+\log _2 (n-1) -1$ edges. We show that, with high probability, $G(n,p)$ contains a pancyclic subgraph with $n+(1+o(1))\log_2 n$ edges for $p \ge p^*$, where $p^*=(1+o(1))\ln n/n$, right above the threshold for pancyclicity.

A crown with $k$ spikes is an edge-disjoint union of a cycle $C$ and a matching $M$ of size $k$ such that each edge of $M$ has exactly one vertex in common with $C$. We prove that if $G$ is an $(n,d,λ)$-graph with $λ/d\le 0.001$ and $d$ is large enough, then $G$ contains a crown on $n$ vertices with $\lfloor n/2\rfloor$ spikes. As a consequence, such $G$ contains a Hamilton cycle in its square $G^2$.

It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic result for the hypercube. In this paper we give new isoperimetric inequalities for such regular high-dimensional product graphs, which generalise the well-known isoperimetric inequality of Harper for the hypercube, and are asymptotically sharp for a wide range of set sizes. We then use these isoperimetric properties to investigate the structure of the giant component $L_1$ in supercritical percolation on these product graphs, that is, when $p=\frac{1+ε}{d}$, where $d$ is the degree of the product graph and $ε>0$ is a small enough constant. We show that typically $L_1$ has edge-expansion $Ω\left(\frac{1}{d\ln d}\right)$. Furthermore, we show that $L_1$ likely contains a linear-sized subgraph with vertex-expansion $Ω\left(\frac{1}{d\ln d}\right)$. These results are best possible up to the logarithmic factor in $d$. Using these likely expansion properties, we determine, up to small polylogarithmic factors in $d$, the likely diameter of $L_1$ as well as the typical mixing time of a lazy random walk on $L_1$. Furthermore, we show the likely existence of a path of length $Ω\left(\frac{n}{d\ln d}\right)$. These results not only generalise, but also improve substantially upon the known bounds in the case of the hypercube, where in particular the likely diameter and typical mixing time of $L_1$ were previously only known to be polynomial in $d$.

Extremal properties of sparse graphs, randomly perturbed by the binomial random graph are considered. It is known that every $n$-vertex graph $G$ contains a complete minor of order $Ω(n/α(G))$. We prove that adding $ξn$ random edges, where $ξ> 0$ is arbitrarily small yet fixed, to an $n$-vertex graph $G$ satisfying $α(G) \leq ζ(ξ)n$ asymptotically almost surely results in a graph containing a complete minor of order $\tilde Ω\left( n/\sqrt{α(G)}\right)$; this result is tight up to the implicit logarithmic terms. For complete topological minors, we prove that there exists a constant $C>0$ such that adding $C n$ random edges to a graph $G$ satisfying $δ(G) = ω(1)$, asymptotically almost surely results in a graph containing a complete topological minor of order $\tilde Ω(\min\{δ(G),\sqrt{n}\})$; this result is tight up to the implicit logarithmic terms. Finally, extending results of Bohman, Frieze, Krivelevich, and Martin for the dense case, we analyse the asymptotic behaviour of the vertex-connectivity and the diameter of randomly perturbed sparse graphs.

A classical vertex Ramsey result due to Nešetřil and Rödl states that given a finite family of graphs $\mathcal{F}$, a graph $A$ and a positive integer $r$, if every graph $B\in\mathcal{F}$ has a $2$-vertex-connected subgraph which is not a subgraph of $A$, then there exists an $\mathcal{F}$-free graph which is vertex $r$-Ramsey with respect to $A$. We prove that this sufficient condition for the existence of an $\mathcal{F}$-free graph which is vertex $r$-Ramsey with respect to $A$ is also necessary for large enough number of colours $r$. We further show a generalisation of the result to a family of graphs and the typical existence of such a subgraph in a dense binomial random graph.

We consider bond percolation on high-dimensional product graphs $G=\square_{i=1}^tG^{(i)}$, where $\square$ denotes the Cartesian product. We call the $G^{(i)}$ the base graphs and the product graph $G$ the host graph. Very recently, Lichev showed that, under a mild requirement on the isoperimetric properties of the base graphs, the component structure of the percolated graph $G_p$ undergoes a phase transition when $p$ is around $\frac{1}{d}$, where $d$ is the average degree of the host graph. In the supercritical regime, we strengthen Lichev's result by showing that the giant component is in fact unique, with all other components of order $o(|G|)$, and determining the sharp asymptotic order of the giant. Furthermore, we answer two questions posed by Lichev: firstly, we provide a construction showing that the requirement of bounded-degree is necessary for the likely emergence of a linear order component; secondly, we show that the isoperimetric requirement on the base graphs can be, in fact, super-exponentially small in the dimension. Finally, in the subcritical regime, we give an example showing that in the case of irregular high-dimensional product graphs, there can be a polynomially large component with high probability, very much unlike the quantitative behaviour seen in the Erdős-Rényi random graph and in the percolated hypercube, and in fact in any regular high-dimensional product graphs, as shown by the authors in a companion paper.

We prove that for every non-trivial hereditary family of graphs ${\cal P}$ and for every fixed $p \in (0,1)$, the maximum possible number of edges in a subgraph of the random graph $G(n,p)$ which belongs to ${\cal P}$ is, with high probability, $$ \left(1-\frac{1}{k-1}+o(1)\right)p{n \choose 2}, $$ where $k$ is the minimum chromatic number of a graph that does not belong to ${\cal P}$.

We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to $G$ to create a Hamiltonian graph.

We consider percolation on high-dimensional product graphs, where the base graphs are regular and of bounded order. In the subcritical regime, we show that typically the largest component is of order logarithmic in the number of vertices. In the supercritical regime, our main result recovers the sharp asymptotic of the order of the largest component, and shows that all the other components are typically of order logarithmic in the number of vertices. In particular, we show that this phase transition is quantitatively similar to the one of the binomial random graph. This generalises the results of Ajtai, Komlós, and Szemerédi and of Bollobás, Kohayakawa, and Łuczak who showed that the $d$-dimensional hypercube, which is the $d$-fold Cartesian product of an edge, undergoes a phase transition quantitatively similar to the one of the binomial random graph.