arXiv++ Combinatorics

We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.

We develop a general embedding method based on the Friedman-Pippenger tree embedding technique (1987) and its algorithmic version, essentially due to Aggarwal et al. (1996), enhanced with a roll-back idea allowing to sequentially retrace previously performed embedding steps. We use this method to obtain the following results. -We show that the size-Ramsey number of logarithmically long subdivisions of bounded degree graphs is linear in their number of vertices, settling a conjecture of Pak (2002). -We give a deterministic, polynomial time online algorithm for finding vertex-disjoint paths of prescribed length between given pairs of vertices in an expander graph. Our result answers a question of Alon and Capalbo (2007). -We show that relatively weak bounds on the spectral ratio of $d$-regular graphs force the existence of a topological minor of $K_t$ where $t=(1-o(1))d$. We also exhibit a construction which shows that the theoretical maximum $t=d+1$ cannot be attained even if $λ=O(\sqrt{d})$. This answers a question of Fountoulakis, Kühn and Osthus (2009).

The $r$-size-Ramsey number $\hat{R}_r(H)$ of a graph $H$ is the smallest number of edges a graph $G$ can have, such that for every edge-coloring of $G$ with $r$ colors there exists a monochromatic copy of $H$ in $G$. For a graph $H$, we denote by $H^q$ the graph obtained from $H$ by subdividing its edges with $q{-}1$ vertices each. In a recent paper of Kohayakawa, Retter and R{ö}dl, it is shown that for all constant integers $q,r\geq 2$ and every graph $H$ on $n$ vertices and of bounded maximum degree, the $r$-size-Ramsey number of $H^q$ is at most $(\log n)^{20(q-1)}n^{1+1/q}$, for $n$ large enough. We improve upon this result using a significantly shorter argument by showing that $\hat{R}_r(H^q)\leq O(n^{1+1/q})$ for any such graph $H$.

Let $G$ be a graph of minimum degree at least $k$ and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. We are interested in the size of the largest complete minor that $G_p$ contains when $p = \frac{1+\varepsilon}{k}$ with $\varepsilon >0$. We show that with high probability $G_p$ contains a complete minor of order $\tildeΩ(\sqrt{k})$, where the $\sim$ hides a polylogarithmic factor. Furthermore, in the case where the order of $G$ is also bounded above by a constant multiple of $k$, we show that this polylogarithmic term can be removed, giving a tight bound.

For a positive constant $α$ a graph $G$ on $n$ vertices is called an $α$-expander if every vertex set $U$ of size at most $n/2$ has an external neighborhood whose size is at least $α\left|U\right|$. We study cycle lengths in expanding graphs. We first prove that cycle lengths in $α$-expanders are well distributed. Specifically, we show that for every $0<α\leq1$ there exist positive constants $n_{0}$, $C$ and $A=O(1/α)$ such that for every $α$-expander $G$ on $n\geq n_{0}$ vertices and every integer $\ell\in\left[C\log n,\frac{n}{C}\right]$, $G$ contains a cycle whose length is between $\ell$ and $\ell+A$; the order of dependence of the additive error term $A$ on $α$ is optimal. Secondly, we show that every $α$-expander on $n$ vertices contains $Ω\left(\frac{α^{3}}{\log\left(1/α\right)}\right)n$ different cycle lengths. Finally, we introduce another expansion-type property, guaranteeing the existence of a linearly long interval in the set of cycle lengths. For $β>0$ a graph $G$ on $n$ vertices is called a $β$-graph if every pair of disjoint sets of size at least $βn$ are connected by an edge. We prove that for every $β<1/20$ there exist positive constants $b_{1}=O\left(\frac{1}{\log\left(1/β\right)}\right)$ and $b_{2}=O\left(β\right)$ such that every $β$-graph $G$ on $n$ vertices contains a cycle of length $\ell$ for every integer $\ell\in\left[b_{1}\log n,(1-b_{2})n\right]$; the order of dependence of $b_{1}$ and $b_{2}$ on $β$ is optimal.

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 study the Turán number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \leq t \leq (1 - \varepsilon)n$. The typical behavior of $ex(G(n,p), C_t)$ depends substantially on the parity of $t$. In particular, our results match the classical result of Woodall on the Turán number of long cycles, and can be seen as its random version, showing that the transference principle holds here as well. In fact, our techniques apply in a more general sparse pseudo-random setting. We also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density.

Semi-random processes involve an adaptive decision-maker, whose goal is to achieve some predetermined objective in an online randomized environment. They have algorithmic implications in various areas of computer science, as well as connections to biological processes involving decision making. In this paper, we consider a recently proposed semi-random graph process, described as follows: we start with an empty graph on $n$ vertices, and in each round, the decision-maker, called Builder, receives a uniformly random vertex $v$, and must immediately (in an online manner) choose another vertex $u$, adding the edge $\{u,v\}$ to the graph. Builder's end goal is to make the constructed graph satisfy some predetermined monotone graph property. We consider the property of containing a spanning graph $H$ as a subgraph. It was asked by N. Alon whether for any bounded-degree $H$, Builder can construct a copy of $H$ w.h.p. in $O(n)$ rounds. We answer this question positively in a strong sense, showing that any graph with maximum degree $Δ$ can be constructed w.h.p. in $(3Δ/2 + o(Δ)) n$ rounds. This is tight (even for the offline case) up to a multiplicative factor of $3 + o_Δ(1)$. Furthermore, for the special case where $H$ is a spanning forest of maximum degree $Δ$, we show that $H$ can be constructed w.h.p. in $O(n \log Δ)$ rounds. This is tight up to a multiplicative constant, even for the offline setting. Finally, we show a separation between adaptive and non-adaptive strategies, proving a lower bound of $Ω(n\sqrt{\log n})$ on the number of rounds necessary to eliminate all isolated vertices w.h.p. using a non-adaptive strategy. This bound is tight, and in fact there are non-adaptive strategies for constructing a Hamilton cycle or a $K_r$-factor, which are successful w.h.p. within $O(n\sqrt{\log n})$ rounds.

The random greedy algorithm for finding a maximal independent set in a graph constructs a maximal independent set by inspecting the graph's vertices in a random order, adding the current vertex to the independent set if it is not adjacent to any previously added vertex. In this paper, we present a general framework for computing the asymptotic density of the random greedy independent set for sequences of (possibly random) graphs by employing a notion of local convergence. We use this framework to give straightforward proofs for results on previously studied families of graphs, like paths and binomial random graphs, and to study new ones, like random trees and sparse random planar graphs. We conclude by analysing the random greedy algorithm more closely when the base graph is a tree.

Say that a graph G has property $\mathcal{K}$ if the size of its maximum matching is equal to the order of a minimal vertex cover. We study the following process. Set $N:= \binom{n}{2}$ and let $e_1, e_2, \dots e_{N}$ be a uniformly random ordering of the edges of $K_n$, with $n$ an even integer. Let $G_0$ be the empty graph on $n$ vertices. For $m \geq 0$, $G_{m+1}$ is obtained from $G_m$ by adding the edge $e_{m+1}$ exactly if $G_m \cup \{ e_{m+1}\}$ has property $\mathcal{K}$. We analyse the behaviour of this process, focusing mainly on two questions: What can be said about the structure of $G_N$ and for which $m$ will $G_m$ contain a perfect matching?

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.

A graph $G=(V,E)$ is called an expander if every vertex subset $U$ of size up to $|V|/2$ has an external neighborhood whose size is comparable to $|U|$. Expanders have been a subject of intensive research for more than three decades and have become one of the central notions of modern graph theory. We first discuss the above definition of an expander and its alternatives. Then we present examples of families of expanding graphs and state basic properties of expanders. Next, we introduce a way to argue that a given graph contains a large expanding subgraph. Finally we research properties of expanding graphs, such as existence of small separators, of cycles (including cycle lengths), and embedding of large minors.

We show that if $G$ is a graph on $n$ vertices, with all degrees comparable to some $d = d(n)$, and without a sparse cut, for a suitably chosen notion of sparseness, then it contains a complete minor of order \[ Ω\left( \sqrt{\frac{n d}{\log d}} \right). \] As a corollary we determine the order of a largest complete minor one can guarantee in $d$-regular graphs for which the second largest eigenvalue is bounded away from $d/2$, in $(d/n, o(d))$-jumbled graphs, and in random $d$-regular graphs, for almost all $d = d(n)$.

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.

For integers $n, D, q$ we define a two player perfect information game with no chance moves called the Waiter-Client Maximum Degree game. In this game, two players (Waiter and Client) play on the edges of $K_n$ as follows: in each round, Waiter offers $q+1$ edges which have not been previously offered. Client then claims one of these edges, and Waiter claims the rest. When less than $q+1$ edges which have not been offered remain, Waiter claims them all and the game ends. After the game ends, Client wins if in the graph of his edges, there is no vertex with degree at least $D$, and Waiter wins otherwise. For various values of $q = q(n)$, we study the maximum degree of Client's graph obtained by perfect play. We determine the asymptotic value of Client's maximum degree for the cases $q = o\left( \frac{n}{\ln n} \right)$ and $q = ω\left( \frac{n}{\ln n} \right)$. For the unbiased case $q=1$, we prove that when both players play perfectly the maximum degree $D$ Client achieves satisfies: $D = \frac{n}{2} + Θ(\sqrt{n \ln n})$.

We investigate the genus $g(n,m)$ of the Erdős-Rényi random graph $G(n,m)$, providing a thorough description of how this relates to the function $m=m(n)$, and finding that there is different behaviour depending on which `region' $m$ falls into. Results already exist for $m \le \frac{n}{2} + O(n^{2/3})$ and $m = ω\left( n^{1+\frac{1}{j}} \right)$ for $j \in \mathbb{N}$, and so we focus on the intermediate cases. We establish that $g(n,m) = (1+o(1)) \frac{m}{2}$ whp (with high probability) when $n \ll m = n^{1+o(1)}$, that $g(n,m) = (1+o(1)) μ(λ) m$ whp for a given function $μ(λ)$ when $m \sim λn$ for $λ> \frac{1}{2}$, and that $g(n,m) = (1+o(1)) \frac{8s^{3}}{3n^{2}}$ whp when $m = \frac{n}{2} + s$ for $n^{2/3} \ll s \ll n$. We then also show that the genus of a fixed graph can increase dramatically if a small number of random edges are added. Given any connected graph with bounded maximum degree, we find that the addition of $εn$ edges will whp result in a graph with genus $Ω(n)$, even when $ε$ is an arbitrarily small constant! We thus call this the `fragile genus' property.

The inducibility of a graph $H$ measures the maximum number of induced copies of $H$ a large graph $G$ can have. Generalizing this notion, we study how many induced subgraphs of fixed order $k$ and size $\ell$ a large graph $G$ on $n$ vertices can have. Clearly, this number is $\binom{n}{k}$ for every $n$, $k$ and $\ell \in \left \{0, \binom{k}{2} \right\}$. We conjecture that for every $n$, $k$ and $0 < \ell < \binom{k}{2}$ this number is at most $\left(1/e + o_k(1) \right) \binom{n}{k}$. If true, this would be tight for $\ell \in \{1, k-1\}$. In support of our `Edge-statistics conjecture' we prove that the corresponding density is bounded away from $1$ by an absolute constant. Furthermore, for various ranges of the values of $\ell$ we establish stronger bounds. In particular, we prove that for `almost all' pairs $(k, \ell)$ only a polynomially small fraction of the $k$-subsets of $V(G)$ has exactly $\ell$ edges, and prove an upper bound of $(1/2 + o_k(1))\binom{n}{k}$ for $\ell = 1$. Our proof methods involve probabilistic tools, such as anti-concentration results relying on fourth moment estimates and Brun's sieve, as well as graph-theoretic and combinatorial arguments such as Zykov's symmetrization, Sperner's theorem and various counting techniques.

We consider supercritical bond percolation on a family of high-girth $d$-regular expanders. Alon, Benjamini and Stacey (2004) established that its critical probability for the appearance of a linear-sized ("giant'') component is $p_c=1/(d-1)$. Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the giant and its 2-core at any $p>p_c$. It was further shown in [ABS04] that the second largest component, at any $0<p<1$, has size at most $n^ω$ for some $ω<1$. We show that, unlike the situation in the classical Erdős-Rényi random graph, the second largest component in bond percolation on a regular expander, even with an arbitrarily large girth, can have size $n^{ω'}$ for $ω'$ arbitrarily close to $1$. Moreover, as a by-product of that construction, we answer negatively a question of Benjamini (2013) on the relation between the diameter of a component in percolation on expanders and the existence of a giant component. Finally, we establish other typical features of the giant component, e.g., the existence of a linear path.

In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph $G$, the chromatic index $χ'(G)$ satisfies $χ'(G)\leq \max \{Δ(G)+1, \lceilρ(G)\rceil\}$, where $ρ(G)=\max \{\frac {e(G[S])}{\lfloor |S|/2\rfloor} \mid S\subseteq V \}$. We show that their conjecture (in a stronger form) is true for random multigraphs. Let $M(n,m)$ be the probability space consisting of all loopless multigraphs with $n$ vertices and $m$ edges, in which $m$ pairs from $[n]$ are chosen independently at random with repetitions. Our result states that, for a given $m:=m(n)$, $M\sim M(n,m)$ typically satisfies $χ'(G)=\max\{Δ(G),\lceilρ(G)\rceil\}$. In particular, we show that if $n$ is even and $m:=m(n)$, then $χ'(M)=Δ(M)$ for a typical $M\sim M(n,m)$. Furthermore, for a fixed $\varepsilon>0$, if $n$ is odd, then a typical $M\sim M(n,m)$ has $χ'(M)=Δ(M)$ for $m\leq (1-\varepsilon)n^3\log n$, and $χ'(M)=\lceilρ(M)\rceil$ for $m\geq (1+\varepsilon)n^3\log n$.

Let $\mathcal{P}$ be a graph property which is preserved by removal of edges, and consider the random graph process that starts with the empty $n$-vertex graph and then adds edges one-by-one, each chosen uniformly at random subject to the constraint that $\mathcal{P}$ is not violated. These types of random processes have been the subject of extensive research over the last 20 years, having striking applications in extremal combinatorics, and leading to the discovery of important probabilistic tools. In this paper we consider the $k$-matching-free process, where $\mathcal{P}$ is the property of not containing a matching of size $k$. We are able to analyse the behaviour of this process for a wide range of values of $k$; in particular we prove that if $k=o(n)$ or if $n-2k=o(\sqrt{n}/\log n)$ then this process is likely to terminate in a $k$-matching-free graph with the maximum possible number of edges, as characterised by Erdős and Gallai. We also show that these bounds on $k$ are essentially best possible, and we make a first step towards understanding the behaviour of the process in the intermediate regime.