arXiv++ Combinatorics

Barnette's conjecture asserts that every cubic $3$-connected plane bipartite graph is hamiltonian. Although, in general, the problem is still open, some partial results are known. In particular, let us call a face of a plane graph big (small) if it has at least six edges (it has four edges, respectively). Goodey proved for a $3$-connected bipartite cubic plane graph $P$, that if all big faces in $P$ have exactly six edges, then $P$ is hamiltonian. In this paper we prove that the same is true under the condition that no face in $P$ has more than four big neighbours. We also prove, that if each vertex in $P$ is incident both with a small and a big face, then~$P$ has at least $2^{k}$ different Hamilton cycles, where $k = \left\lceil\frac{|B|-2}{4Δ(B) - 7}\right\rceil$, $|B|$ is the number of big faces in $P$ and $Δ(B)$ is the maximum size of faces in $P$. 15 pages

Stein proved that for each simple plane triangulation H there exists a partitioning of the vertex of H into two subsets each of which induces a forest if and only if the dual H^{*} has a Hamilton cycle. We extend the Stein theorem for graphs in the family of all loopless 2-connected plane multigraphs and we prove some other equivalent results.

Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be the best.

Let $G$ and $H$ be hypergraphs on $n$ vertices, and suppose $H$ has large enough minimum degree to necessarily contain a copy of $G$ as a subgraph. We give a general method to randomly embed $G$ into $H$ with good "spread". More precisely, for a wide class of $G$, we find a randomised embedding $f\colon G\hookrightarrow H$ with the following property: for every $s$, for any partial embedding $f'$ of $s$ vertices of $G$ into $H$, the probability that $f$ extends $f'$ is at most $O(1/n)^s$. This is a common generalisation of several streams of research surrounding the classical Dirac-type problem. For example, setting $s=n$, we obtain an asymptotically tight lower bound on the number of embeddings of $G$ into $H$. This recovers and extends recent results of Glock, Gould, Joos, Kühn, and Osthus and of Montgomery and Pavez-Signé regarding enumerating Hamilton cycles in Dirac hypergraphs. Moreover, using the recent developments surrounding the Kahn--Kalai conjecture, this result implies that many Dirac-type results hold robustly, meaning $G$ still embeds into $H$ after a random sparsification of its edge set. This allows us to recover a recent result of Kang, Kelly, Kühn, Osthus, and Pfenninger and of Pham, Sah, Sawhney, and Simkin for perfect matchings, and obtain novel results for Hamilton cycles and factors in Dirac hypergraphs. Notably, our randomised embedding algorithm is self-contained and does not require Szemerédi's regularity lemma or iterative absorption.

We give a simple method to estimate the number of distinct copies of some classes of spanning subgraphs in hypergraphs with high minimum degree. In particular, for each $k\geq 2$ and $1\leq \ell\leq k-1$, we show that every $k$-graph on $n$ vertices with minimum codegree at least $$\cases{\left(\dfrac{1}{2}+o(1)\right)n & if $(k-\ell)\mid k$,\\ & \\ \left(\dfrac{1}{\lceil \frac{k}{k-\ell}\rceil(k-\ell)}+o(1)\right)n & if $(k-\ell)\nmid k$,}$$ contains $\exp(n\log n-Θ(n))$ Hamilton $\ell$-cycles as long as $(k-\ell)\mid n$. When $(k-\ell)\mid k$ this gives a simple proof of a result of Glock, Gould, Joos, Kühn and Osthus, while, when $(k-\ell)\nmid k$ this gives a weaker count than that given by Ferber, Hardiman and Mond or, when $\ell<k/2$, by Ferber, Krivelevich and Sudakov, but one that holds for an asymptotically optimal minimum codegree bound.

Let $F$ be a graph and $\SPEX (n, F)$ be the class of $n$-vertex graphs which attain the maximum spectral radius and contain no $F$ as a subgraph. Let $\EX (n, F)$ be the family of $n$-vertex graphs which contain maximum number of edges and no $F$ as a subgraph. It is a fundamental problem in spectral extremal graph theory to characterize all graphs $F$ such that $\SPEX (n, F)\subseteq \EX (n, F)$ when $n$ is sufficiently large. Establishing the conjecture of Cioabă, Desai and Tait [European J. Combin., 2022], Wang, Kang, and Xue [J. Combin. Theory Ser. B, 2023] prove that: for any graph $F$ such that the graphs in $\EX (n, F)$ are Turán graphs plus $O(1)$ edges, $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$. In this paper, we prove that $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$, where $F$ is an $n$-vertex graph with no isolated vertices and $Δ(F) \leq \sqrt{n}/40$. We also prove a signless Laplacian spectral radius version of the above theorem. These results give new contribution to the open problem mentioned above, and can be seen as spectral analogs of a theorem of Alon and Yuster [J. Combin. Theory Ser. B, 2013]. Furthermore, as immediate corollaries, we have tight spectral conditions for the existence of several classes of special graphs, including clique-factors, $k$-th power of Hamilton cycles and $k$-factors in graphs. The first special class of graphs gives a positive answer to a problem of Feng, and the second one extends a previous result of Yan et al.

It is well-known that every tournament contains a Hamilton path, and every strongly connected tournament contains a Hamilton cycle. This paper establishes transversal generalizations of these classical results. For a collection $\mathbf{T}=\{T_1,\dots,T_m\}$ of not-necessarily distinct tournaments on a common vertex set $V$, an $m$-edge directed graph $\mathcal{D}$ with vertices in $V$ is called a $\mathbf{T}$-transversal if there exists a bijection $φ\colon E(\mathcal{D})\to [m]$ such that $e\in E(T_{φ(e)})$ for all $e\in E(\mathcal{D})$. We prove that for sufficiently large $m$ with $m=|V|-1$, there exists a $\mathbf{T}$-transversal Hamilton path. Moreover, if $m=|V|$ and at least $m-1$ of the tournaments $T_1,\ldots,T_m$ are assumed to be strongly connected, then there is a $\mathbf{T}$-transversal Hamilton cycle. In our proof, we utilize a novel way of partitioning tournaments which we dub $\mathbf{H}$-partition.

A subfamily of Dyck words called tight Dyck words is seen to correspond, via a "castling" procedure, to the vertex set of an ordered tree $T$. From $T$, a "blowing" operation recreates the whole family ol Dyck words. The vertices of $T$ can be elementarily updated all along $T$. This simplifies an edge-supplementary arc-factorization view of Hamilton cycles of odd and middle-levels graphs found by T. Mütze et al. This take into account that the Dyck words represent: {\bf(a)} the cyclic and dihedral vertex classes of odd and middle-levels graphs, respectively, and {\bf(b)} the cycles of their 2-factors, as found by T. Mütze et al.

We give a short constructive proof for the existence of a Hamilton cycle in the subgraph of the $(2n+1)$-dimensional hypercube induced by all vertices with exactly $n$ or $n+1$ many 1s.

A well-known result due to Chvatál and Erdős (1972) asserts that, if a graph $G$ satisfies $κ(G) \ge α(G)$, where $κ(G)$ is the vertex-connectivity of $G$, then $G$ has a Hamilton cycle. We prove a similar result implying that a graph $G$ is pancyclic, namely it contains cycles of all lengths between $3$ and $|G|$: if $|G|$ is large and $κ(G) > α(G)$, then $G$ is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs, and improves upon a very recent result of Draganić, Munhá-Correia, and Sudakov.

We prove that for $r\in \mathbb{N}$ with $r\geq 2$ and $μ>0$, there exist $α>0$ and $n_{0}$ such that for every $n\geq n_{0}$, every $n$-vertex graph $G$ with $δ(G)\geq \left(1-\frac{1}{r}+μ\right)n$ and $α(G)\leq αn$ contains an $r$-th power of a Hamilton cycle. We also show that the minimum degree condition is asymptotically sharp for $r=2, 3$ and the $r=2$ case was recently conjectured by Staden and Treglown.

Given a graph $X$ with a Hamilton cycle $C$, the {\em compression factor $κ(X,C)$ of $C$} is the order of the largest cyclic subgroup of $\operatorname{Aut}(C)\cap\operatorname{Aut}(X)$, and the {\em Hamilton compression $κ(X)$ of $X$ } is the maximum of $κ(X,C)$ where $C$ runs over all Hamilton cycles in $X$. Generalizing the well-known open problem regarding the existence of vertex-transitive graphs without Hamilton paths/cycles, it was asked by Gregor, Merino and Mütze in [``The Hamilton compression of highly symmetric graphs'', {\em arXiv preprint} arXiv: 2205.08126v1 (2022)] whether for every positive integer $k$ there exists infinitely many vertex-transitive graphs (Cayley graphs) with Hamilton compression equal to $k$. Since an infinite family of Cayley graphs with Hamilton compression equal to $1$ was given there, the question is completely resolved in this paper in the case of Cayley graphs with a construction of Cayley graphs of semidirect products $\mathbb{Z}_p\rtimes\mathbb{Z}_k$ where $p$ is a prime and $k \geq 2$ a divisor of $p-1$. Further, infinite families of non-Cayley vertex-transitive graphs with Hamilton compression equal to $1$ are given. All of these graphs being metacirculants, some additional results on Hamilton compression of metacirculants of specific orders are also given.

A crown with $k$ spikes is an edge-disjoint union of a cycle $C$ and a matching $M$ of size $k$ such that each edge of $M$ has exactly one vertex in common with $C$. We prove that if $G$ is an $(n,d,λ)$-graph with $λ/d\le 0.001$ and $d$ is large enough, then $G$ contains a crown on $n$ vertices with $\lfloor n/2\rfloor$ spikes. As a consequence, such $G$ contains a Hamilton cycle in its square $G^2$.

We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.

We investigate the existence of a rainbow Hamilton cycle in a uniformly edge-coloured randomly perturbed digraph. We show that for every $δ\in (0,1)$ there exists $C = C(δ) > 0$ such that the following holds. Let $D_0$ be an $n$-vertex digraph with minimum semidegree at least $δn$ and suppose that each edge of the union of $D_0$ with the random digraph $D(n, p)$ on the same vertex set gets a colour in $[n]$ independently and uniformly at random. Then, with high probability, $D_0 \cup D(n, p)$ has a rainbow directed Hamilton cycle. This improves a result of Aigner-Horev and Hefetz (2021) who proved the same in the undirected setting when the edges are coloured uniformly in a set of $(1 + \varepsilon)n$ colours.

We study the function $H_n(C_{2k})$, the maximum number of Hamilton paths such that the union of any pair of them contains $C_{2k}$ as a subgraph. We give upper bounds on this quantity for $k\ge 3$, improving results of Harcos and Soltész, and we show that if a conjecture of Ustimenko is true then one additionally obtains improved upper bounds for all $k\geq 6$. {We also give bounds on $H_n(K_{2,3})$ and $H_n(K_{2,4})$. In order to prove our results, we extend a theorem of Krivelevich which counts Hamilton cycles in $(n, d, λ)$-graphs to bipartite or irregular graphs, and then apply these results to generalized polygons and the constructions of Lubotzky-Phillips-Sarnak and Füredi.

Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $λ(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas. Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups.

Given a collection $\mathcal{G}=(G_1,\dots, G_h)$ of graphs on the same vertex set $V$ of size $n$, an $h$-edge graph $H$ on the vertex set $V$ is a $\mathcal{G}$-transversal if there exists a bijection $λ: E(H) \rightarrow [h]$ such that $e\in E(G_{λ(e)})$ for each $e\in E(H)$. The conditions on the minimum degree $δ(\mathcal{G})=\min_{i\in[h]}\{ δ(G_i)\}$ for finding a spanning $\mathcal{G}$-transversal isomorphic to a graph $H$ have been actively studied when $H$ is a Hamilton cycle, an $F$-factor, a spanning tree with maximum degree $o(n/\log n)$ and a power of a Hamilton cycle, etc. In this paper, we determined the asymptotically tight threshold on $δ(\mathcal{G})$ for finding a $\mathcal{G}$-transversal isomorphic to $H$ when $H$ is a general $n$-vertex graph with bounded maximum degree and $o(n)$-bandwidth. This provides a transversal generalization of the celebrated Bandwidth theorem by Böttcher, Schacht and Taraz.

Let $n>k>\ell$ be positive integers. We say a $k$-uniform hypergraph $\mathcal{H}$ contains a Hamilton $(\ell,k-\ell)$-cycle if there is a partition $(L_0,R_0,L_1,R_1,\ldots,L_{t-1},R_{t-1})$ of $V(\mathcal{H})$ with $|L_i|=\ell$, $|R_i|=k-\ell$ such that $L_i\cup R_i$ and $R_i\cup L_{i+1}$ (subscripts module $t$) are all edges of $\mathcal{H}$ for $i=0,1,\ldots,t-1$. In the present paper, we determine the tight minimum $\ell$-degree condition that guarantees the existence of a Hamilton $(\ell,k-\ell)$-cycle in every $k$-uniform $n$-vertex hypergraph for $k\geq 7$, $k/2\leq \ell\leq k-1$ and sufficiently large $n\in k\mathbb{N}$.

In this paper, we develop a new rainbow Hamilton framework, which is of independent interest, settling the problem proposed by Gupta, Hamann, Müyesser, Parczyk, and Sgueglia when $k=3$, and draw the general conclusion for any $k\geq3$ as follows. A $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ is a family of not necessarily distinct $k$-graphs on the same $n$-vertex set $V$, moreover, a $k$-graph $H$ on $V$ is rainbow if $E(H)\subseteq \bigcup_{i\in[n]}E(H_i)$ and $|E(H)\cap E(H_i)|\leq1$ for $i\in[n]$. We show that given $γ> 0$, sufficiently large $n$ and an $n$-vertex $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ , if $δ_{k-2}(H_i)\geq(5/9+γ)\binom{n}{2}$ for $i\in[n]$ where $k\geq3$, then there exists a rainbow tight Hamilton cycle. This result implies the conclusion in a single graph, which was proved by Lang and Sanhueza-Matamala [$J. Lond. Math. Soc., 2022$], Polcyn, Reiher, Rödl and Schülke [$J. Combin. Theory \ Ser. B, 2021$] independently.