On covering expander graphs by Hamilton cycles

The problem of packing Hamilton cycles in random and pseudorandom graphs has been studied extensively. In this paper, we look at the dual question of covering all edges of a graph by Hamilton cycles and prove that if a graph with maximum degree $\Delta$ satisfies some basic expansion properties and contains a family of $(1-o(1))\Delta/2$ edge disjoint Hamilton cycles, then there also exists a covering of its edges by $(1+o(1))\Delta/2$ Hamilton cycles. This implies that for every $\alpha >0$ and every $p \geq n^{\alpha-1}$ there exists a covering of all edges of $G(n,p)$ by $(1+o(1))np/2$ Hamilton cycles asymptotically almost surely, which is nearly optimal.Comment: 19 pages. arXiv admin note: some text overlap with arXiv:some math/061275

Hamilton cycles in sparse robustly expanding digraphs

The notion of robust expansion has played a central role in the solution of several conjectures involving the packing of Hamilton cycles in graphs and directed graphs. These and other results usually rely on the fact that every robustly expanding (di)graph with suitably large minimum degree contains a Hamilton cycle. Previous proofs of this require Szemer\'edi's Regularity Lemma and so this fact can only be applied to dense, sufficiently large robust expanders. We give a proof that does not use the Regularity Lemma and, indeed, we can apply our result to suitable sparse robustly expanding digraphs.Comment: Accepted for publication in The Electronic Journal of Combinatoric

Small Complete Minors Above the Extremal Edge Density

A fundamental result of Mader from 1972 asserts that a graph of high average degree contains a highly connected subgraph with roughly the same average degree. We prove a lemma showing that one can strengthen Mader's result by replacing the notion of high connectivity by the notion of vertex expansion. Another well known result in graph theory states that for every integer t there is a smallest real c(t) so that every n-vertex graph with c(t)n edges contains a K_t-minor. Fiorini, Joret, Theis and Wood conjectured that if an n-vertex graph G has (c(t)+\epsilon)n edges then G contains a K_t-minor of order at most C(\epsilon)log n. We use our extension of Mader's theorem to prove that such a graph G must contain a K_t-minor of order at most C(\epsilon)log n loglog n. Known constructions of graphs with high girth show that this result is tight up to the loglog n factor

Logarithmically-small Minors and Topological Minors

Mader proved that for every integer $t$ there is a smallest real number $c(t)$ such that any graph with average degree at least $c(t)$ must contain a $K_t$-minor. Fiorini, Joret, Theis and Wood conjectured that any graph with $n$ vertices and average degree at least $c(t)+\epsilon$ must contain a $K_t$-minor consisting of at most $C(\epsilon,t)\log n$ vertices. Shapira and Sudakov subsequently proved that such a graph contains a $K_t$-minor consisting of at most $C(\epsilon,t)\log n \log\log n$ vertices. Here we build on their method using graph expansion to remove the $\log\log n$ factor and prove the conjecture. Mader also proved that for every integer $t$ there is a smallest real number $s(t)$ such that any graph with average degree larger than $s(t)$ must contain a $K_t$-topological minor. We prove that, for sufficiently large $t$, graphs with average degree at least $(1+\epsilon)s(t)$ contain a $K_t$-topological minor consisting of at most $C(\epsilon,t)\log n$ vertices. Finally, we show that, for sufficiently large $t$, graphs with average degree at least $(1+\epsilon)c(t)$ contain either a $K_t$-minor consisting of at most $C(\epsilon,t)$ vertices or a $K_t$-topological minor consisting of at most $C(\epsilon,t)\log n$ vertices.Comment: 19 page

Degree-3 Treewidth Sparsifiers

We study treewidth sparsifiers. Informally, given a graph $G$ of treewidth $k$, a treewidth sparsifier $H$ is a minor of $G$, whose treewidth is close to $k$, $|V(H)|$ is small, and the maximum vertex degree in $H$ is bounded. Treewidth sparsifiers of degree $3$ are of particular interest, as routing on node-disjoint paths, and computing minors seems easier in sub-cubic graphs than in general graphs. In this paper we describe an algorithm that, given a graph $G$ of treewidth $k$, computes a topological minor $H$ of $G$ such that (i) the treewidth of $H$ is $\Omega(k/\text{polylog}(k))$; (ii) $|V(H)| = O(k^4)$; and (iii) the maximum vertex degree in $H$ is $3$. The running time of the algorithm is polynomial in $|V(G)|$ and $k$. Our result is in contrast to the known fact that unless $NP \subseteq coNP/{\sf poly}$, treewidth does not admit polynomial-size kernels. One of our key technical tools, which is of independent interest, is a construction of a small minor that preserves node-disjoint routability between two pairs of vertex subsets. This is closely related to the open question of computing small good-quality vertex-cut sparsifiers that are also minors of the original graph.Comment: Extended abstract to appear in Proceedings of ACM-SIAM SODA 201

Proof of Koml\'os's conjecture on Hamiltonian subsets

Koml\'os conjectured in 1981 that among all graphs with minimum degree at least $d$, the complete graph $K_{d+1}$ minimises the number of Hamiltonian subsets, where a subset of vertices is Hamiltonian if it contains a spanning cycle. We prove this conjecture when $d$ is sufficiently large. In fact we prove a stronger result: for large $d$, any graph $G$ with average degree at least $d$ contains almost twice as many Hamiltonian subsets as $K_{d+1}$, unless $G$ is isomorphic to $K_{d+1}$ or a certain other graph which we specify.Comment: 33 pages, to appear in Proceedings of the London Mathematical Societ