2,385 research outputs found
Hamilton decompositions of regular expanders: applications
In a recent paper, we showed that every sufficiently large regular digraph G
on n vertices whose degree is linear in n and which is a robust outexpander has
a decomposition into edge-disjoint Hamilton cycles. The main consequence of
this theorem is that every regular tournament on n vertices can be decomposed
into (n-1)/2 edge-disjoint Hamilton cycles, whenever n is sufficiently large.
This verified a conjecture of Kelly from 1968. In this paper, we derive a
number of further consequences of our result on robust outexpanders, the main
ones are the following: (i) an undirected analogue of our result on robust
outexpanders; (ii) best possible bounds on the size of an optimal packing of
edge-disjoint Hamilton cycles in a graph of minimum degree d for a large range
of values for d. (iii) a similar result for digraphs of given minimum
semidegree; (iv) an approximate version of a conjecture of Nash-Williams on
Hamilton decompositions of dense regular graphs; (v) the observation that dense
quasi-random graphs are robust outexpanders; (vi) a verification of the `very
dense' case of a conjecture of Frieze and Krivelevich on packing edge-disjoint
Hamilton cycles in random graphs; (vii) a proof of a conjecture of Erdos on the
size of an optimal packing of edge-disjoint Hamilton cycles in a random
tournament.Comment: final version, to appear in J. Combinatorial Theory
Hamilton decompositions of regular expanders: a proof of Kelly's conjecture for large tournaments
A long-standing conjecture of Kelly states that every regular tournament on n
vertices can be decomposed into (n-1)/2 edge-disjoint Hamilton cycles. We prove
this conjecture for large n. In fact, we prove a far more general result, based
on our recent concept of robust expansion and a new method for decomposing
graphs. We show that every sufficiently large regular digraph G on n vertices
whose degree is linear in n and which is a robust outexpander has a
decomposition into edge-disjoint Hamilton cycles. This enables us to obtain
numerous further results, e.g. as a special case we confirm a conjecture of
Erdos on packing Hamilton cycles in random tournaments. As corollaries to the
main result, we also obtain several results on packing Hamilton cycles in
undirected graphs, giving e.g. the best known result on a conjecture of
Nash-Williams. We also apply our result to solve a problem on the domination
ratio of the Asymmetric Travelling Salesman problem, which was raised e.g. by
Glover and Punnen as well as Alon, Gutin and Krivelevich.Comment: new version includes a standalone version of the `robust
decomposition lemma' for application in subsequent paper
Hamilton cycles, minimum degree and bipartite holes
We present a tight extremal threshold for the existence of Hamilton cycles in
graphs with large minimum degree and without a large ``bipartite hole`` (two
disjoint sets of vertices with no edges between them). This result extends
Dirac's classical theorem, and is related to a theorem of Chv\'atal and
Erd\H{o}s.
In detail, an -bipartite-hole in a graph consists of two disjoint
sets of vertices and with and such that there are no
edges between and ; and is the maximum integer
such that contains an -bipartite-hole for every pair of
non-negative integers and with . Our central theorem is that
a graph with at least vertices is Hamiltonian if its minimum degree is
at least .
From the proof we obtain a polynomial time algorithm that either finds a
Hamilton cycle or a large bipartite hole. The theorem also yields a condition
for the existence of edge-disjoint Hamilton cycles. We see that for dense
random graphs , the probability of failing to contain many
edge-disjoint Hamilton cycles is . Finally, we discuss
the complexity of calculating and approximating
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 satisfies some basic expansion properties and contains
a family of edge disjoint Hamilton cycles, then there also
exists a covering of its edges by Hamilton cycles. This
implies that for every and every there exists
a covering of all edges of by Hamilton cycles
asymptotically almost surely, which is nearly optimal.Comment: 19 pages. arXiv admin note: some text overlap with arXiv:some
math/061275
Robust Hamiltonicity in families of Dirac graphs
A graph is called Dirac if its minimum degree is at least half of the number
of vertices in it. Joos and Kim showed that every collection
of Dirac graphs on the same vertex set of
size contains a Hamilton cycle transversal, i.e., a Hamilton cycle on
with a bijection such that
for every .
In this paper, we determine up to a multiplicative constant, the threshold
for the existence of a Hamilton cycle transversal in a collection of random
subgraphs of Dirac graphs in various settings. Our proofs rely on constructing
a spread measure on the set of Hamilton cycle transversals of a family of Dirac
graphs.
As a corollary, we obtain that every collection of Dirac graphs on
vertices contains at least different Hamilton cycle transversals
for some absolute constant . This is optimal up to the constant
. Finally, we show that if is sufficiently large, then every such
collection spans pairwise edge-disjoint Hamilton cycle transversals, and
this is best possible. These statements generalize classical counting results
of Hamilton cycles in a single Dirac graph
- …