Proof of a conjecture of Thomassen on Hamilton cycles in highly connected tournaments

A conjecture of Thomassen from 1982 states that, for every k, there is an f(k )s o that every strongly f(k)-connected tournament contains k edge-disjoint Hamilton cycles. A classical theorem of Camion, that every strongly connected tournament contains a Hamilton cycle, implies that f(1) = 1. So far, even the existence of f(2) was open. In this paper, we prove Thomassen’s conjecture by showing that f(k )= O(k 2 log 2 k). This is best possible up to the logarithmic factor. As a tool, we show that every strongly 10 4 k log k-connected tournament is k-linked (which improves a previous exponential bound). The proof of the latter is based on a fundamental result � + −

[1]  J. Moon On Subtournaments of a Tournament , 1966, Canadian Mathematical Bulletin.

[2]  E. Szemerédi,et al.  Sorting inc logn parallel steps , 1983 .

[3]  Paul Wollan,et al.  An improved linear edge bound for graph linkages , 2005, Eur. J. Comb..

[4]  Jørgen Bang-Jensen,et al.  On the 2-Linkage Problem for Semicomplete Digraphs , 1988 .

[5]  Béla Bollobás,et al.  Highly linked graphs , 1996, Comb..

[6]  J. A. Bondy,et al.  Graph Theory , 2008, Graduate Texts in Mathematics.

[7]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[8]  C. Thomassen Edge-Disjoint Hamiltonian Paths and Cycles in Tournaments , 1982 .

[9]  Maria Chudnovsky,et al.  Disjoint paths in tournaments , 2014, 1411.6226.

[10]  Daniela Kühn,et al.  Optimal Packings of Hamilton Cycles in Graphs of High Minimum Degree , 2012, Combinatorics, Probability and Computing.

[11]  Carsten Thomassen,et al.  Highly connected non-2-linked digraphs , 1991, Comb..

[12]  Michael Krivelevich,et al.  Triangle Factors in Random Graphs , 1997, Combinatorics, Probability and Computing.

[13]  Mike Paterson,et al.  Improved sorting networks withO(logN) depth , 1990, Algorithmica.

[14]  Daniela Kühn,et al.  Hamilton decompositions of regular expanders: Applications , 2012, J. Comb. Theory, Ser. B.

[15]  Gregory Gutin,et al.  Digraphs - theory, algorithms and applications , 2002 .

[16]  Vojtech Rödl,et al.  A Dirac-Type Theorem for 3-Uniform Hypergraphs , 2006, Combinatorics, Probability and Computing.

[17]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[18]  Daniela Kühn,et al.  A survey on Hamilton cycles in directed graphs , 2010, Eur. J. Comb..

[19]  Carsten Thomassen,et al.  A Polynomial Algorithm for the 2-Path Problem for Semicomplete Digraphs , 1992, SIAM J. Discret. Math..

[20]  Kenneth E. Batcher,et al.  Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.

[21]  K. B. Reid,et al.  Three Problems on Tournaments , 1989 .

[22]  Daniela Kühn,et al.  Proof of a tournament partition conjecture and an application to 1-factors with prescribed cycle lengths , 2016, Comb..

[23]  Daniela Kühn,et al.  Hamilton decompositions of regular expanders: a proof of Kelly's conjecture for large tournaments , 2012, ArXiv.

[24]  Jørgen Bang-Jensen,et al.  Linkages in locally semicomplete digraphs and quasi-transitive digraphs , 1999, Discret. Math..

[25]  János Komlós,et al.  An 0(n log n) sorting network , 1983, STOC.

[26]  Jørgen Bang-Jensen,et al.  Problems and conjectures concerning connectivity, paths, trees and cycles in tournament-like digraphs , 2009, Discret. Math..

[27]  E. Szemerédi,et al.  O(n LOG n) SORTING NETWORK. , 1983 .