arXiv++ Combinatorics

We investigate the combined occurrence of edge faults and vertex faults in the burnt pancake graph (\( BP_n \)). In this paper, we prove that \( BP_n - F \), where \( F \) includes pairs of end-vertices of matching edges and fault-tolerant edges, contains a Hamiltonian cycle when \( |F| \leq n-2 \) and a Hamiltonian path when \( |F| \leq n-3 \). This establishes that \( BP_n \) is \((n-2)\)-hybrid fault Hamiltonian and \((n-3)\)-hybrid fault Hamiltonian connected for \( n \geq 3 \). These results are demonstrated to be optimal under the given conditions, with all bounds shown to be tight.

We affirm most open cases of a conjecture that first appeared in Alspach et al. (1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of a hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 2$, with a hamiltonian decomposable directed graph $H$, such that $|V(H)| \geqslant 4$, is also hamiltonian decomposable except possibly when $G$ is a directed cycle and $H$ is a directed graph of odd order that admits a decomposition into $c$ directed hamiltonian cycle where $c$ is odd and $3\leqslant c \leqslant |V(H)|-2$.

In 1982, Durnberger proved that every connected Cayley graph of a finite group with a commutator subgroup of prime order contains a hamiltonian cycle. In this paper, we extend this result to the infinite case. Additionally, we generalize this result to a broader class of infinite graphs $X$, where the automorphism group of $X$ contains a transitive subgroup $G$ with a cyclic commutator subgroup of prime order.

This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.

As we all know, the $k$-ary $n$-cube is a highly efficient interconnect network topology structure. It is also a concept of great significance, with a broad range of applications spanning both mathematics and computer science. In this paper, we study the existence of Hamiltonian cycles passing through prescribed matchings in $k$-ary $n$-cubes, and obtain the following result. For $n\geq5$ and $k\geq4$, every matching with at most $4n-20$ edges is contained in a Hamiltonian cycle in the $k$-ary $n$-cube.

A graph $G$ has the \emph{Perfect Matching Hamiltonian property} (or for short, $G$ is $PMH$) if, for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. In this note, we show that \emph{Prism graphs} $\cP_n$ are not $PMH$, except for the $Cube\ graph$, and indicate for which values of $n$ the \emph{Crossed Prism graphs} $\cCP_n$ are $PMH$.

The existence of Hamiltonian cycles in 1-planar graphs with higher connectivity has attracted considerable attention. Recently, the authors and Dong proved that 4-connected 1-planar chordal graphs are Hamiltonian-connected. In this paper, we investigate the non-Hamiltonicity of a broader class of graphs, specifically perfect graphs, under the constraint of 1-planarity, with a focus on connectivity of at most 5. We also propose some unsolved problems.

Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. Curves of different edges might interact arbitrarily. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_{n}$, (2) every separable drawing of $K_{n}$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected, and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (SoCG 2024).

A 2-edge-coloured graph $G$ is called {\bf locally complete} if for each vertex $v$, the vertices adjacent to $v$ through edges of the same colour induce a complete subgraph in $G$. Locally complete 2-edge-coloured graphs have nice properties and there exists a polynomial algorithm to decide whether such a graph has an alternating hamiltonian cycle, where alternating means that the colour of two consecutive edges on the cycle are different. In this paper we show that graphs having locally complete 2-edge-colourings can be recognized in polynomial time. We give a forbidden substructure characterization for this class of graphs analogous to Gallai's characterization for cocomparability graphs. Finally, we characterize proper interval graphs and proper circular-arc graphs which have locally complete 2-edge-colourings by forbidden subgraphs.

We affirm several special cases of a conjecture that first appears in Alspach et al.~(1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 3$, with a directed $m$-cycle such that $m \geqslant 4$ or the complete symmetric directed graph on $m$ vertices such that $m\geqslant 3$, is hamiltonian decomposable. We also show the wreath product of a directed $n$-cycle, where $n$ is even, with a directed $m$-cycle, where $m \in \{2,3\}$, is not hamiltonian decomposable.

The monography considers the problem of constructing a Hamiltonian cycle in a complete graph. A rule for constructing a Hamiltonian cycle based on isometric cycles of a graph is established. An algorithm for constructing a Hamiltonian cycle based on ring summation of isometric cycles of a graph is presented. Based on the matrix of distances between vertices, the weight of each cycle is determined as an additive sum of the weights of its edges. To construct an optimal route of a graph, the basic idea of finding an optimal route between four vertices is used. Further successive constructions are aimed at joining an adjacent isometric cycle with an increase in the number of vertices by one unit. The recursive process continues until all vertices of the graph are connected. Based on the introduced mathematical apparatus, the monography presents a new algorithm for solving the symmetric Traveling salesman problem. Some examples of solving the problem are provided.

The \textit{minimum positive co-degree} of a non-empty $r$-graph $H$, denoted $δ_{r-1}^+(H)$, is the largest integer $k$ such that if a set $S \subset V(H)$ of size $r-1$ is contained in at least one $r$-edge of $H$, then $S$ is contained in at least $k$ $r$-edges of $H$. Motivated by several recent papers which study minimum positive co-degree as a reasonable notion of minimum degree in $r$-graphs, we consider bounds of $δ_{r-1}^+(H)$ which will guarantee the existence of various spanning subgraphs in $H$. We precisely determine the minimum positive co-degree threshold for Berge Hamiltonian cycles in $r$-graphs, and asymptotically determine the minimum positive co-degree threshold for loose Hamiltonian cycles in $3$-graphs. For all $r$, we also determine up to an additive constant the minimum positive co-degree threshold for perfect matchings.

For each pair of positive integers $(a,b)$ such that $a \geq 0$ and $b > 1$, the present paper provides a necessary and sufficient condition for the existence of Hamiltonian cycles visiting all the vertices of any $k$-dimensional grid $\{0,1\}^k \subset \mathbb{R}^k$ and whose associated Euclidean distance is equal to $\sqrt{a^2+b^2}$. Our solution extends previously stated results in fairy chess on the existence of closed Euclidean $(a,b)$-leapers tours for $2 \times 2 \times \cdots \times 2$ chessboards, where the (Euclidean) knight identifies the $(1,2)$-leaper.

The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph. We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only cubic braces in which all 2-factors are Hamiltonian cycles, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs. Our main contribution is a proof that the Heawood graph is the only Pfaffian, cubic brace in which all 2-factors are Hamiltonian cycles. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest.

In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV): (I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let $X_1,X_2,\dots,X_q\subsetneq V$ denote all maximal proper subsets of $V$ that induce $k$-edge-connected subgraphs. Then at least one of (a) and (b) holds: (a) $\{X_1,X_2,\dots,X_q\}$ is a partition of $V$; and (b) $V\setminus X_1, V\setminus X_2,\dots,V\setminus X_q$ are pairwise disjoint. (II) For $k=1$ and a strongly-connected digraph $G$, whether $V$ is in (a) and/or (b) can be decided in $O(n+m)$ time and we can generate all such $X_1,X_2,\dots,X_q$ in $O(n+m+|X_1|+|X_2|+\dots+|X_q|)$ time, where $n=|V|$ and $m=|E|$. (III) For a digraph $G$, we can enumerate in linear delay all vertex subsets of $V$ that induce strongly-connected subgraphs. (IV) A digraph is Hamiltonian if there is a spanning subgraph that is strongly-connected and in the case (a).

We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lovász from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs contain a Hamiltonian path, and that all sufficiently large such graphs even contain a Hamiltonian cycle. The third conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards all the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle (and hence path) of length at least $Ω(n^{13/21})$, improving on $Ω(n^{3/5})$ from [DeVos, \emph{arXiv:2302:04255}, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $Ω(r^{5/8})$ vertices, improving on $Ω(r^{3/5})$ from [Chen, Faudree and Gould, \emph{J. Combin. Theory, Ser.~ B}, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.

Toric topology assigns to each simple convex $n$-polytope $P$ with $m$ facets an $n$-dimensional real moment angle manifold $\mathbb RZ_P$ with a canonical action of $\mathbb Z_2^m=(\mathbb Z/2\mathbb Z)^m$. We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on $\mathbb RZ_P$. The orbit space $N(P,H)=\mathbb RZ_P/H$ has an action of $\mathbb Z_2^m/H$. For general $n$ we introduce the notion of a Hamiltonian $C(n,k)$-subcomplex in the boundary of an $n$-polytope $P$ generalizing the notions of a Hamiltonian cycle ($k=2$), Hamiltonian theta-subgraph ($k=3$) and Hamiltonian $K_4$-subgraph ($k=4)$ in the $1$-skeleton of a $3$-polytope. Each $C(n,k)$-subcomplex $C\subset \partial P$ corresponds to a subgroup $H_C\subset\mathbb Z_2^m$ such that $N(P,H_C)\simeq S^n$. We prove that in dimensions $n\leqslant 4$ this correspondence is a bijection. Any subgroup $H\subset \mathbb Z_2^m$ defines a complex $C(P,H)\subset \partial P$. We prove that each Hamiltonian $C(n,k)$-subcomplex $C\subset C(P,H)$ inducing $H$ corresponds to a hyperelliptic involution $τ_C\in\mathbb Z_2^m/H$ on the manifold $N(P,H)$ (that is, an involution with the orbit space homeomorphic to $S^n$) and in dimensions $n\leqslant 4$ this correspondence is a bijection. We prove that for the geometries $\mathbb X= \mathbb S^4$, $\mathbb S^3\times\mathbb R$, $\mathbb S^2\times \mathbb S^2$, $\mathbb S^2\times \mathbb R^2$, $\mathbb S^2\times \mathbb L^2$, and $\mathbb L^2\times \mathbb L^2$ there exists a compact right-angled $4$-polytope $P$ with a free action of $H$ such that the geometric manifold $N(P,H)$ has a hyperelliptic involution in $\mathbb Z_2^m/H$, and for $\mathbb X=\mathbb R^4$, $\mathbb L^4$, $\mathbb L^3\times \mathbb R$ and $\mathbb L^2\times \mathbb R^2$ there are no such polytopes.

Let D be a digraph and C be a cycle in D. For any two vertices x and y in D, the distance from x to y is the minimum length of a path from x to y. We denote the square of Let $D$ be a digraph and $C$ be a cycle in $D$. For any two vertices $x$ and $y$ in $D$, the distance from $x$ to $y$ is the minimum length of a path from $x$ to $y$. We denote the square of the cycle $C$ to be the graph whose vertex set is $V(C)$ and for distinct vertices $x$ and $y$ in $C$, there is an arc from $x$ to $y$ if and only if the distance from $x$ to $y$ in $C$ is at most $2$. The reverse square of the cycle $C$ is the digraph with the same vertex set as $C$, and the arc set $A(C)\cup \{yx: \mbox{the vertices}\ x, y\in V(C)\ \mbox{and the distance from $x$ to $y$ on $C$ is $2$}\}$. In this paper, we show that for any real number $γ>0$ there exists a constant $n_0=n_0(γ)$, such that every digraph on $n\geq n_0$ vertices with the minimum in- and out-degree at least $(2/3+γ)n$ contains the reverse square of a Hamiltonian cycle. Our result extends a result of Czygrinow, Kierstead and Molla.

An extension of the Erdős-Renyi random graph model $G_{n,p}$ is the model of perturbed graphs introduced by Bohman, Frieze and Martin (Bohman, Frieze, Martin 2003). This is a special case of the model of randomly augmented graphs studied in this paper. An augmented graph denoted by $pert_{H,p}$ is the union of a deterministic host graph and a random graph $G_{n,p}$. Among the first problems in perturbed graphs has been the question how many random edges are needed to ensure Hamiltonicity of the graph. This question was answered in the paper by Bohman, Frieze and Martin. The host graph is often chosen to be a dense graph. In recent years several papers on combinatorial problems in perturbed graphs were published, e.g. on the emergence of powers of Hamiltonian cycles (Dudek, Reiher, Ruciński, Schacht 2020), some positional games played on perturbed graphs (Clemens, Hamann, Mogge, Parczyk, 2020) and the behavior of multiple invariants e.g. fixed clique size (Bohman, Frieze, Krivelevich, Martin, 2004). In this paper we study the chromatic number of randomly augmented graphs. We concentrate on a host graph $H$ with chromatic number $o(n)$, augmented by a $G_{n,p}$ with $n^{-\frac{1}{3} + δ}\leq p(n) \leq 1-δ$ for some $δ\in (0,1)$. Our main result is an upper bound for the chromatic number: we show that asymptotically almost surely $χ(pert_{H,p}) \leq (1+o(1)) \cdot \frac{n \log(b)}{2 (\log(n) - \log(χ(H))}$ where $b = (1-p)^{-1}$. This result collapses to the famous theorem of Bollobás (1988), when $H$ is the empty host graph, thus our result can be regarded as a generalization of the latter. Our proof is not constructive. Further, we give a constructive coloring algorithm, when the chromatic number of the host graph is at most $\frac{n}{\log(n)^α},$ $α>\frac{1}{2}.$

We study Hamiltonian paths and cycles in undirected graphs from an operadic viewpoint. We show that the graphical collection $\mathsf{Ham}$ encoding directed Hamiltonian paths in connected graphs admits an operad-like structure, called a contractad. Similarly, we construct the graphical collection of Hamiltonian cycles $\mathsf{CycHam}$ that forms a right module over the contractad $\mathsf{Ham}$. We use the machinery of contractad generating series for counting Hamiltonian paths/cycles for particular types of graphs.