arXiv++ Combinatorics

For $k,n\in \mathbb{N}$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian. Similarly as for graphs with Hajnal's and Szemerédi's result about a minimum degree condition for clique factors and the Pósa-Seymour Conjecture together with its solution for large graphs due to Komlós, Sárközy, and Szemerédi, the next step is to ask for clique factors and powers of Hamiltonian cycles in Kneser graphs. For $k,\ell\in \mathbb{N}$, let $n(k,\ell)$ be the smallest integer such that for $n\geq n(k,\ell)$, $K(n,k)$ contains the $\ell$-th power of a Hamiltonian cycle. Katona conjectured that for all but finitely many exceptions, $n(k,\ell)=(\ell+1)k+1$ holds. In particular, it would be interesting to know whether $n(k,\ell)$ is linear in $k$ (for fixed $\ell$). So far this is not known for $k\geq 2$. In this note, we take a first step towards such a linear bound by proving that for $\ell\in \mathbb{N}$, $k\geq \ell$ and $n\geq \ell ^3k$, all but at most $\ell-1$ vertices of $K(n,k)$ can be partitioned into cliques of size $\ell$. Further, we use our methods to extend a short proof due to Chen and Füredi that $K(n,k)$ is Hamiltonian for $n\geq 3k$ and $k \mid n$ to all $n\geq 4k$ if $k\geq 4$.

We construct several families of minimum genus embeddings of dense graphs using index 2 current graphs. In particular, we complete the genus formula for the octahedral graphs, solving a longstanding conjecture of Jungerman and Ringel, and find triangular embeddings of complete graphs minus a Hamiltonian cycle, making partial progress on a problem of White. Index 2 current graphs are also applied to various cases of the genus of the complete graphs, in some cases yielding simpler solutions, e.g., the nonorientable genus of $K_{12s+8}-K_2$. In addition, we give a topological proof of a theorem of Jungerman that shows that a symmetric type of such current graphs might not exist roughly "half of the time."

It is well-known that every planar 4-connected graph has a Hamiltonian cycle. In this paper, we study the question whether every 1-planar 4-connected graph has a Hamiltonian cycle. We show that this is false in general, even for 5-connected graphs, but true if the graph has a 1-planar drawing where every region is a triangle.

Let $D$ be a strong balanced digraph on $2a$ vertices. Adamus et al. have proved that $D$ is hamiltonian if $d(u)+d(v)\ge 3a$ whenever $uv\notin A(D)$ and $vu\notin A(D)$. The lower bound $3a$ is tight. In this paper, we shall show that the extremal digraph on this condition is two classes of digraphs that can be clearly characterized. Moreover, we also show that if $d(u)+d(v)\geq 3a-1$ whenever $uv\notin A(D)$ and $vu\notin A(D)$, then $D$ is traceable. The lower bound $3a-1$ is tight.

We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to Rödl, Ruciński, and Szemerédi. For graphs, Chvátal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chvátal's theorem was taken by Pósa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already yields a Hamiltonian cycle. In this work, we take a similar step towards a full characterisation of all pair degree matrices that ensure the existence of tight Hamiltonian cycles in $3$-uniform hypergraphs by proving a $3$-uniform analogue of Pósa's result. In particular, our result strengthens the asymptotic version of the result by Rödl, Ruciński, and Szemerédi.

A graph admitting a perfect matching has the Perfect-Matching-Hamiltonian property (for short the PMH-property) if each of its perfect matchings can be extended to a Hamiltonian cycle. In this paper we establish some sufficient conditions for a graph $G$ in order to guarantee that its line graph $L(G)$ has the PMH-property. In particular, we prove that this happens when $G$ is (i) a Hamiltonian graph with maximum degree at most $3$, (ii) a complete graph, or (iii) an arbitrarily traceable graph. Further related questions and open problems are proposed along the paper.

We consider sufficient conditions for the existence of $k$-th powers of Hamiltonian cycles in $n$-vertex graphs $G$ with minimum degree $μn$ for arbitrarily small $μ>0$. About 20 years ago Komlós, Sarközy, and Szemerédi resolved the conjectures of Pósa and Seymour and obtained optimal minimum degree conditions for this problem by showing that $μ=\frac{k}{k+1}$ suffices for large $n$. For smaller values of $μ$ the given graph $G$ must satisfy additional assumptions. We show that inducing subgraphs of density $d>0$ on linear subsets of vertices and being inseparable, in the sense that every cut has density at least $μ>0$, are sufficient assumptions for this problem and, in fact, for a variant of the bandwidth theorem. This generalises recent results of Staden and Treglown.

Let $G_1,...,G_n$ be graphs on the same vertex set of size $n$, each graph with minimum degree $δ(G_i)\ge n/2$. A recent conjecture of Aharoni asserts that there exists a rainbow Hamiltonian cycle i.e. a cycle with edge set $\{e_1,...,e_n\}$ such that $e_i\in E(G_i)$ for $1\leq i \leq n$. This can be viewed as a rainbow version of the well-known Dirac theorem. In this paper, we prove this conjecture asymptotically by showing that for every $\varepsilon>0$, there exists an integer $N>0$, such that when $n>N$ for any graphs $G_1,...,G_n$ on the same vertex set of size $n$ with $δ(G_i)\ge (\frac{1}{2}+\varepsilon)n$, there exists a rainbow Hamiltonian cycle. Our main tool is the absorption technique. Additionally, we prove that with $δ(G_i)\geq \frac{n+1}{2}$ for each $i$, one can find rainbow cycles of length $3,...,n-1$.

A supergrid graph is a finite vertex-induced subgraph of the infinite graph whose vertex set consists of all points of the plane with integer coordinates and in which two vertices are adjacent if the difference of their x or y coordinates is not larger than 1. The Hamiltonian path (cycle) problem is to determine whether a graph contains a simple path (cycle) in which each vertex of the graph appears exactly once. This problem is NP-complete for general graphs and it is also NP-complete for general supergrid graphs. Despite the many applications of the problem, it is still open for many classes, including solid supergrid graphs and supergrid graphs with some holes. A graph is called Hamiltonian connected if it contains a Hamiltonian path between any two distinct vertices. In this paper, first we will study the Hamiltonian cycle property of C-shaped supergrid graphs, which are a special case of rectangular supergrid graphs with a rectangular hole. Next, we will show that C-shaped supergrid graphs are Hamiltonian connected except few conditions. Finally, we will compute a longest path between two distinct vertices in these graphs. The Hamiltonian connectivity of C-shaped supergrid graphs can be applied to compute the optimal stitching trace of computer embroidery machines, and construct the minimum printing trace of 3D printers with a C-like component being printed.

We study a certain polytope depending on a graph $G$ and a parameter $β\in(0,1)$ which arises from embedding the Hamiltonian cycle problem in a discounted Markov decision process. Eshragh \emph{et al.} conjectured a lower bound on the proportion of feasible bases corresponding to Hamiltonian cycles in the set of all feasible bases. We make progress towards a proof of the conjecture by proving results about the structure of feasible bases. In particular, we prove three main results: (1) the set of feasible bases is independent of the parameter $β$ when the parameter is close to 1, (2) the polytope can be interpreted as a generalized network flow polytope and (3) we deduce a combinatorial interpretation of the feasible bases. We also provide a full characterization for a special class of feasible bases, and we apply this to provide some computational support for the conjecture.

We give a description of the cycle structure of the Heawood graph, $C_{14}$. In particular, we prove that the automorphism group of $C_{14}$ acts transitively on the set of $12$-cycles, Hamiltonian cycles, and disjoint pairs of $6$-cycles. We also enumerate $12$-, $10$-, and $8$-cycles in $C_{14}$, as well as pairs of disjoint $6$-cycles.

We introduce and study a $d$-dimensional generalization of Hamiltonian cycles in graphs - the Hamiltonian $d$-cycles in $K_n^d$ (the complete simplicial $d$-complex over a vertex set of size $n$). Those are the simple $d$-cycles of a complete rank, or, equivalently, of size $1 + {{n-1} \choose d}$. The discussion is restricted to the fields $F_2$ and $Q$. For $d=2$, we characterize the $n$'s for which Hamiltonian $2$-cycles exist. For $d=3$ it is shown that Hamiltonian $3$-cycles exist for infinitely many $n$'s. In general, it is shown that there always exist simple $d$-cycles of size ${{n-1} \choose d} - O(n^{d-3})$. All the above results are constructive. Our approach naturally extends to (and in fact, involves) $d$-fillings, generalizing the notion of $T$-joins in graphs. Given a $(d-1)$-cycle $Z^{d-1} \in K_n^d$, ~$F$ is its $d$-filling if $\partial F = Z^{d-1}$. We call a $d$-filling Hamiltonian if it is acyclic and of a complete rank, or, equivalently, is of size ${{n-1} \choose d}$. If a Hamiltonian $d$-cycle $Z$ over $F_2$ contains a $d$-simplex $σ$, then $Z\setminus σ$ is a a Hamiltonian $d$-filling of $\partial σ$ (a closely related fact is also true for cycles over $Q$). Thus, the two notions are closely related. Most of the above results about Hamiltonian $d$-cycles hold for Hamiltonian $d$-fillings as well.

For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[ \left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}=\begin{cases} \lceil\frac{n}{2}\rceil+\lfloor\frac{n+2}{k+1}\rfloor-\frac{n}{k} & : k \text{ odd }\\ \frac{n}{2}+\lfloor\frac{n+2}{k+2}\rfloor-\frac{n}{k} & : k \text{ even } \end{cases}, \] then $G$ has a Hamiltonian cycle unless $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$. In the case where $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$, we can characterize the graphs which do not have a Hamiltonian cycle and see that $\left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}+1$ suffices. This result is tight for all $k\geq 2$ and $n\geq 3$ divisible by $k$.

A digraph is {\bf eulerian} if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. A digraph is {\bf semicomplete} if it has no pair of non-adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. Fraise and Thomassen \cite{fraisseGC3} proved that every $(k+1)$-strong tournament has a hamiltonian cycle which avoids any prescribed set of $k$ arcs. In \cite{bangsupereuler} the authors demonstrated that a number of results concerning vertex-connectivity and hamiltonian cycles in tournaments and have analogues when we replace vertex connectivity by arc-connectivity and hamiltonian cycles by spanning eulerian subdigraphs. They showed the existence of a smallest function $f(k)$ such that every $f(k)$-arc-strong semicomplete digraph has a spanning eulerian subdigraph which avoids any prescribed set of $k$ arcs. They proved that $f(k)\leq \frac{(k+1)^2}{4}+1$ and also proved that $f(k)=k+1$ when $k=2,3$. Based on this they conjectured that $f(k)=k+1$ for all $k\geq 0$. In this paper we prove that $f(k)\leq (\lceil\frac{6k+1}{5}\rceil)$.

In this paper, we generalize the notion of functional graph. Specifically, given an equation $E(X,Y) = 0$ with variables $X$ and $Y$ over a finite field $\mathbb{F}_q$ of odd characteristic, we define a digraph by choosing the elements in $\mathbb{F}_q$ as vertices and drawing an edge from $x$ to $y$ if and only if $E(x,y)=0$. We call this graph as equational graph. In this paper, we study the equational graphs when choosing $E(X,Y) = (Y^2 - f(X))(λY^2 - f(X))$ with $f(X)$ a polynomial over $\mathbb{F}_q$ and $λ$ a non-square element in $\mathbb{F}_q$. We show that if $f$ is a permutation polynomial over $\mathbb{F}_q$, then every connected component of the graph has a Hamiltonian cycle. Moreover, these Hamiltonian cycles can be used to construct balancing binary sequences. By making computations for permutation polynomials $f$ of low degree, it appears that almost all these graphs are strongly connected, and there are many Hamiltonian cycles in such a graph if it is connected.

A graph-theoretic parameter, in a form of a function, called the extra-factorial sum is discussed. The main results are presented in ref. [1] (Nastou et al., Optim Lett, 10, 1203-1220, 2016) and the reader is strongly advised to study the aforementioned paper. The current work presents subject matter in a tutorial form with proofs and some newer unpublished results towards the end (lemma six extension and lemma seven). The extra-factorial sum is relevant to Hamiltonian cycles of complete weighted graphs $WH_n$ with $n$ vertices and is obtained for each edge of $WH_n$. If this sum is multiplied by $1 / (n - 2)$ then it gives directly the arithmetic mean of the sum of lengths $l_i$ of all Hamiltonian cycles that traverse a selected edge $e_q$. The number of terms in this sum is a factorial proven to be $(n - 2)!$ which signifies that its value depends on $n$. Using the extra-factorial sum, the arithmetic mean of the sum of the squared lengths of $(n - 1)! / 2$ Hamiltonian cycles of $WH_{n}$ can be obtained as well.

For positive integers $r > \ell$, an $r$-uniform hypergraph is called an $\ell$-cycle if there exists a cyclic ordering of its vertices such that each of its edges consists of $r$ consecutive vertices, and such that every pair of consecutive edges (in the natural ordering of the edges) intersect in precisely $\ell$ vertices. Such cycles are said to be linear when $\ell = 1$, and nonlinear when $\ell > 1$. We determine the sharp threshold for nonlinear Hamiltonian cycles and show that for all $r > \ell > 1$, the threshold $p^*_{r, \ell} (n)$ for the appearance of a Hamiltonian $\ell$-cycle in the random $r$-uniform hypergraph on $n$ vertices is sharp and is $p^*_{r, \ell} (n) = λ(r,\ell) (\frac{\mathrm{e}}{n})^{r - \ell}$ for an explicitly specified function $λ$. This resolves several questions raised by Dudek and Frieze in 2011.

It is shown that for any choice of four different vertices x_1,...,x_4 in a 2-block G of order p>3, there is a hamiltonian cycle in G^2 containing four different edges x_iy_i of E(G) for certain vertices y_i, i=1,2,3,4. This result is best possible.

A digraph is eulerian if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In this paper, we first characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph containing $a$. In particular, we show that if $D$ is $2$-arc-strong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph avoiding $a$. In particular, we prove that every $2$-arc-strong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function $f(k)$ such that every $f(k)$-arc-strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of $k$ arcs: we prove $f(k)\leq (k+1)^2/4 +1$, conjecture $f(k)=k+1$ and establish this conjecture for $k\leq 3$ and when the $k$ arcs that we delete form a forest of stars. A digraph $D$ is eulerian-connected if for any two distinct vertices $x,y$, the digraph $D$ has a spanning $(x,y)$-trail. We prove that every $2$-arc-strong semicomplete digraph is eulerian-connected. All our results may be seen as arc analogues of well-known results on hamiltonian cycles in semicomplete digraphs.

Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.