arXiv++ Combinatorics

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.

Motivated by the investigation of sharpness of thresholds for Ramsey properties in random graphs, Friedgut, Kohayakawa, Rödl, Ruciński and Tetali introduced two variants of a single-player game whose goal is to colour the edges of a~random graph, in an online fashion, so as not to create a monochromatic triangle. In the two-round variant of the game, the player is first asked to find a triangle-free colouring of the edges of a random graph $G_1$ and then extend this colouring to a triangle-free colouring of the union of $G_1$ and another (independent) random graph $G_2$, which is disclosed to the player only after they have coloured $G_1$. Friedgut et al.\ analysed this variant of the online Ramsey game in two instances: when $G_1$ has $Θ(n^{4/3})$ edges and when the number of edges of $G_1$ is just below the threshold above which a random graph typically no longer admits a triangle-free colouring, which is located at $Θ(n^{3/2})$. The two-round Ramsey game has been recently revisited by Conlon, Das, Lee and Mészáros, who generalised the result of Friedgut at al.\ from triangles to all strictly $2$-balanced graphs. We extend the work of Friedgut et al.\ in an orthogonal direction and analyse the triangle case of the two-round Ramsey game at all intermediate densities. More precisely, for every $n^{-4/3} \ll p \ll n^{-1/2}$, with the exception of $p = Θ(n^{-3/5})$, we determine the threshold density $q$ at which it becomes impossible to extend any triangle-free colouring of a typical $G_1 \sim G_{n,p}$ to a triangle-free colouring of the union of $G_1$ and $G_2 \sim G_{n,q}$. An interesting aspect of our result is that this threshold density $q$ `jumps' by a polynomial quantity as $p$ crosses a `critical' window around $n^{-3/5}$.

Let $μ(G)$ denote the minimum number of edges whose addition to $G$ results in a Hamiltonian graph, and let $\hatμ(G)$ denote the minimum number of edges whose addition to $G$ results in a pancyclic graph. We study the distributions of $μ(G),\hatμ(G)$ in the context of binomial random graphs. Letting $d=d(n) := n\cdot p$, we prove that there exists a function $f:\mathbb{R}^+\to [0,1]$ of order $f(d) = \frac{1}{2}de^{-d}+e^{-d}+O(d^6e^{-3d})$ such that, if $G\sim G(n,p)$ with $20 \le d(n) \le 0.4 \log n$, then with high probability $μ(G)= (1+o(1))\cdot f(d)\cdot n$. Let $n_i(G)$ denote the number of degree $i$ vertices in $G$. A trivial lower bound on $μ(G)$ is given by the expression $n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. In the denser regime of random graphs, we show that if $np-\frac{1}{3}\log n - 2\log \log n \to \infty$ and $G\sim G(n,p)$ then, with high probability, $μ(G) = n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. For completion to pancyclicity, we show that if $G\sim G(n,p)$ and $np\ge 20$ then, with high probability, $\hatμ (G)=μ(G)$. Finally, we present a polynomial time algorithm such that, if $G\sim G(n,p)$ and $np\ge 20$, then, with high probability, the algorithm returns a set of edges of size $μ(G)$ whose addition to $G$ results in a pancyclic (and therefore also Hamiltonian) graph.

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.

Denote by $r_g(G,\mathcal{H})$ the global resilience of a graph $G$ with respect to Hamiltonicity. That is, $r_g(G,\mathcal{H})$ is the minimal $r$ for which there exists a subgraph $H\subseteq G$ with $r$ edges, such that $G\setminus H$ is not Hamiltonian. We show that if $p$ is above the Hamiltonicity threshold and $G\sim G(n,p)$ then, with high probability, $r_g(G,\mathcal{H})=δ(G)-1$. This is easily extended to the full interval: for every $p(n)\in [0,1]$, if $G\sim G(n,p)$ then, with high probability, $r_g(G,\mathcal{H})= \max \{ 0,δ(G)-1 \}$.

We present an explicit connected spanning structure that appears in a random graph just above the connectivity threshold with high probability.

We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erdős--Rényi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths: cycles of fixed length, and cycles of length linear in $n$. Here we derive, for a random $d$-regular graph, the limiting probability that ${\cal L}(G)$ simultaneously contains the entire range $\{\ell,\ldots,n\}$ for $\ell\geq 3$, as an explicit expression $θ_\ell=θ_\ell(d)\in(0,1)$ which goes to $1$ as $\ell\to\infty$. For the random graph ${\cal G}(n,p)$ with $p=c/n$, where $c\geq C_0$ for some absolute constant $C_0$, we show the analogous result for the range $\{\ell,\ldots,(1-o(1))L_{\max}(G)\}$, where $L_{\max}$ is the length of a longest cycle in $G$. The limiting probability for ${\cal G}(n,p)$ coincides with $θ_\ell$ from the $d$-regular case when $c$ is the integer $d-1$. In addition, for the directed random graph ${\cal D}(n,p)$ we show results analogous to those on ${\cal G}(n,p)$, and for both models we find an interval of $c ε^2 n$ consecutive cycle lengths in the slightly supercritical regime $p=\frac{1+ε}n$.

Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We show that if $G$ has one of the following properties: 1. There is a positive constant $\varepsilon > 0$ such that $δ(G) \geq \left( \frac{1}{2} + \varepsilon \right) n$; 2. There are some constants $α, β>0$ such that every two disjoint subsets $U,W$ of size at least $αn$ have at least $β|U||W|$ edges between them, and the minimum degree of $G$ is at least $(2α+ β)\cdot n$; or: 3. $G$ is an $(n,d,λ)$--graph, with $d\geq \frac{C\cdot n\cdot \log \log n}{\log n}$ and $λ\leq \frac{c\cdot d^2}{n}$ for some absolute constants $c,C>0$. then for a positive integer constant $k$ with high probability the hitting time of the property of containing $k$ edge disjoint Hamilton cycles is equal to the hitting time of having minimum degree at least $2k$. These results extend prior results by by Johansson and by Frieze and Krivelevich, and answer a question posed by Frieze.

We present an algorithm CRE, which either finds a Hamilton cycle in a graph $G$ or determines that there is no such cycle in the graph. The algorithm's expected running time over input distribution $G\sim G(n,p)$ is $(1+o(1))n/p$, the optimal possible expected time, for $p=p(n) \geq 70n^{-\frac{1}{2}}$. This improves upon previous results on this problem due to Gurevich and Shelah, and to Thomason.

We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(δ(G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.