121 research outputs found
Bipartite Kneser graphs are Hamiltonian
For integers and the Kneser graph has as vertices all -element subsets of and an edge between any two vertices (=sets) that are disjoint. The bipartite Kneser graph has as vertices all -element and -element subsets of and an edge between any two vertices where one is a subset of the other. It has long been conjectured that all Kneser graphs and bipartite Kneser graphs except the Petersen graph have a Hamilton cycle. The main contribution of this paper is proving this conjecture for bipartite Kneser graphs . We also establish the existence of cycles that visit almost all vertices in Kneser graphs when , generalizing and improving upon previous results on this problem
Sparse Kneser graphs are Hamiltonian
For integers and , the Kneser graph is the
graph whose vertices are the -element subsets of and whose
edges connect pairs of subsets that are disjoint. The Kneser graphs of the form
are also known as the odd graphs. We settle an old problem due to
Meredith, Lloyd, and Biggs from the 1970s, proving that for every ,
the odd graph has a Hamilton cycle. This and a known conditional
result due to Johnson imply that all Kneser graphs of the form
with and have a Hamilton cycle. We also prove that
has at least distinct Hamilton cycles for .
Our proofs are based on a reduction of the Hamiltonicity problem in the odd
graph to the problem of finding a spanning tree in a suitably defined
hypergraph on Dyck words
On 1-factorizations of Bipartite Kneser Graphs
It is a challenging open problem to construct an explicit 1-factorization of
the bipartite Kneser graph , which contains as vertices all -element
and -element subsets of and an edge between any
two vertices when one is a subset of the other. In this paper, we propose a new
framework for designing such 1-factorizations, by which we solve a nontrivial
case where and is an odd prime power. We also revisit two classic
constructions for the case --- the \emph{lexical factorization} and
\emph{modular factorization}. We provide their simplified definitions and study
their inner structures. As a result, an optimal algorithm is designed for
computing the lexical factorizations. (An analogous algorithm for the modular
factorization is trivial.)Comment: We design the first explicit 1-factorization of H(2,q), where q is a
odd prime powe
The spectrum and toughness of regular graphs
In 1995, Brouwer proved that the toughness of a connected -regular graph
is at least , where is the maximum absolute value of
the non-trivial eigenvalues of . Brouwer conjectured that one can improve
this lower bound to and that many graphs (especially graphs
attaining equality in the Hoffman ratio bound for the independence number) have
toughness equal to . In this paper, we improve Brouwer's spectral
bound when the toughness is small and we determine the exact value of the
toughness for many strongly regular graphs attaining equality in the Hoffman
ratio bound such as Lattice graphs, Triangular graphs, complements of
Triangular graphs and complements of point-graphs of generalized quadrangles.
For all these graphs with the exception of the Petersen graph, we confirm
Brouwer's intuition by showing that the toughness equals ,
where is the smallest eigenvalue of the adjacency matrix of the
graph.Comment: 15 pages, 1 figure, accepted to Discrete Applied Mathematics, special
issue dedicated to the "Applications of Graph Spectra in Computer Science"
Conference, Centre de Recerca Matematica (CRM), Bellaterra, Barcelona, June
16-20, 201
On Hamilton cycles in graphs defined by intersecting set systems
In 1970 Lov\'asz conjectured that every connected vertex-transitive graph
admits a Hamilton cycle, apart from five exceptional graphs. This conjecture
has recently been settled for graphs defined by intersecting set systems, which
feature prominently throughout combinatorics. In this expository article, we
retrace these developments and give an overview of the many different
ingredients in the proofs
Sparse Kneser graphs are Hamiltonian
For integers k≥1 and n≥2k+1, the Kneser graph K(n,k) is the graph whose vertices are the k-element subsets of {1,…,n} and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form K(2k+1,k) are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every k≥3, the odd graph K(2k+1,k) has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form K(2k+2a,k) with k≥3 and a≥0 have a Hamilton cycle. We also prove that K(2k+1,k) has at least 22k−6 distinct Hamilton cycles for k≥6. Our proofs are based on a reduction of the Hamiltonicity problem in the odd graph to the problem of finding a spanning tree in a suitably defined hypergraph on Dyck words
- …