10,843 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 tournaments
We show that every sufficiently large regular tournament can almost
completely be decomposed into edge-disjoint Hamilton cycles. More precisely,
for each \eta>0 every regular tournament G of sufficiently large order n
contains at least (1/2-\eta)n edge-disjoint Hamilton cycles. This gives an
approximate solution to a conjecture of Kelly from 1968. Our result also
extends to almost regular tournaments.Comment: 38 pages, 2 figures. Added section sketching how we can extend our
main result. To appear in the Proceedings of the LM
Edge-disjoint Hamilton cycles in graphs
In this paper we give an approximate answer to a question of Nash-Williams
from 1970: we show that for every \alpha > 0, every sufficiently large graph on
n vertices with minimum degree at least (1/2 + \alpha)n contains at least n/8
edge-disjoint Hamilton cycles. More generally, we give an asymptotically best
possible answer for the number of edge-disjoint Hamilton cycles that a graph G
with minimum degree \delta must have. We also prove an approximate version of
another long-standing conjecture of Nash-Williams: we show that for every
\alpha > 0, every (almost) regular and sufficiently large graph on n vertices
with minimum degree at least can be almost decomposed into
edge-disjoint Hamilton cycles.Comment: Minor Revisio
Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions
In a sequence of four papers, we prove the following results (via a unified
approach) for all sufficiently large :
(i) [1-factorization conjecture] Suppose that is even and . Then every -regular graph on vertices has a
decomposition into perfect matchings. Equivalently, .
(ii) [Hamilton decomposition conjecture] Suppose that . Then every -regular graph on vertices has a decomposition
into Hamilton cycles and at most one perfect matching.
(iii) We prove an optimal result on the number of edge-disjoint Hamilton
cycles in a graph of given minimum degree.
According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer
questions of Nash-Williams from 1970. The above bounds are best possible. In
the current paper, we show the following: suppose that is close to a
complete balanced bipartite graph or to the union of two cliques of equal size.
If we are given a suitable set of path systems which cover a set of
`exceptional' vertices and edges of , then we can extend these path systems
into an approximate decomposition of into Hamilton cycles (or perfect
matchings if appropriate).Comment: We originally split the proof into four papers, of which this was the
third paper. We have now combined this series into a single publication
[arXiv:1401.4159v2], which will appear in the Memoirs of the AMS. 29 pages, 2
figure
Hamilton cycles in graphs and hypergraphs: an extremal perspective
As one of the most fundamental and well-known NP-complete problems, the
Hamilton cycle problem has been the subject of intensive research. Recent
developments in the area have highlighted the crucial role played by the
notions of expansion and quasi-randomness. These concepts and other recent
techniques have led to the solution of several long-standing problems in the
area. New aspects have also emerged, such as resilience, robustness and the
study of Hamilton cycles in hypergraphs. We survey these developments and
highlight open problems, with an emphasis on extremal and probabilistic
approaches.Comment: to appear in the Proceedings of the ICM 2014; due to given page
limits, this final version is slightly shorter than the previous arxiv
versio
Graphs Identified by Logics with Counting
We classify graphs and, more generally, finite relational structures that are
identified by C2, that is, two-variable first-order logic with counting. Using
this classification, we show that it can be decided in almost linear time
whether a structure is identified by C2. Our classification implies that for
every graph identified by this logic, all vertex-colored versions of it are
also identified. A similar statement is true for finite relational structures.
We provide constructions that solve the inversion problem for finite
structures in linear time. This problem has previously been shown to be
polynomial time solvable by Martin Otto. For graphs, we conclude that every
C2-equivalence class contains a graph whose orbits are exactly the classes of
the C2-partition of its vertex set and which has a single automorphism
witnessing this fact.
For general k, we show that such statements are not true by providing
examples of graphs of size linear in k which are identified by C3 but for which
the orbit partition is strictly finer than the Ck-partition. We also provide
identified graphs which have vertex-colored versions that are not identified by
Ck.Comment: 33 pages, 8 Figure
- …