arXiv++ Combinatorics

A Hamiltonian path in the complete graph $K_v$ whose vertices are labeled with the integers $0,1,\ldots,v-1$ is a linear realization for the multiset $L$ of the linear edge-lengths (given by $|x-y|$ for the edge between vertices $x$ and $y$) of the edges in the path. A linear realization is standard if an end-vertex is 0 and perfect if the end-vertices are 0 and $v-1$. Linear realizations are useful in the study of the Buratti-Horak-Rosa (BHR) Conjecture on the existence of cyclic realizations (where cyclic edge-lengths are given by distance modulo $v$) for given multisets. In this paper, we focus on multisets of the form $\{1^a, (y-k)^b, y^c\}$. Using core perfect linear realizations for supports of size 2 (which have the forms $\{x^{y-1},y^{x+1}\}$ whenever $\gcd(x,y)=1$), we construct standard linear realizations (with $a=k-1$, $b=j(y-k)$, $c=jy$) when $k\mid y$ or $k \leq 4$. When $k=2$, these allow us to show that there is a linear realization whenever $a \geq y$. This is in line with the known results for the case of $k=1$. We also supplement these results for $k=1$ by constructing linear realizations whenever $b+c < y$ and $a \geq y - \min(b,c)$, from which the coprime version of the BHR Conjecture (requiring that $v$ is coprime with each element of the multiset) follows for $k=1$ when $y \leq 16$. Our methods show promise for constructing linear realizations for arbitrary $k$, in the direction of a resolution of the BHR Conjecture for supports of size 3.

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 revisit the Rédei-Berge symmetric function $\mathcal{U}_D$ for digraphs $D$, a specialization of Chow's path-cycle symmetric function. Through the lens of matrix algebra, we consolidate and expand on the work of Chow, Grinberg and Stanley, and Lass concerning the resolution of $\mathcal{U}_D$ in the power sum and Schur bases. Along the way we also revisit various results on Hamiltonian paths in digraphs.

A non-planar graph is almost-planar if either deleting or contracting any edge makes it planar. A graph with $n$ vertices is pancyclic if it contains a cycle of every length from $3$ to $n$, and it is Hamiltonian if it contains a cycle of length $n$. A Hamiltonian path is a path of length $n$ and a graph with a Hamiltonian path between every pair of vertices is called Hamiltonian-connected. In 1990, Gubser characterized the class of almost-planar graphs. This paper explores the pancyclicity of these graphs. We prove that a $3$-connected almost-planar graph is pancyclic if and only if it has a cycle of length 3. Furthermore, we prove that a 4-connected almost-planar graph is both pancyclic and Hamiltonian-connected.

We define and investigate a new three-parameter family of graphs that further generalizes the Fibonacci and metallic cubes. Namely, the number of vertices in this family of graphs satisfies Horadam recurrence, a linear recurrence of second order with constant coefficients. It is shown that the new family preserves many appealing and useful properties of the Fibonacci and metallic cubes. In particular, we present recursive decomposition and decomposition into grids. Furthermore, we explore metric and enumerative properties such as the number of edges, distribution of degrees, and cube polynomials. We also investigate the existence of Hamiltonian paths and cycles.

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.

A $k$-hypertournament $H$ on $n$ vertices is a pair $(V(H),A(H))$, where $V(H)$ is a set of vertices and $A(H)$ is a set of $k$-tuples of vertices, called arcs, such that for any $k$-subset $S$ of $V(H)$, $A(H)$ contains exactly one of the $k!$ $k$-tuples whose entries belong to $S$. Clearly, a 2-hypertournament is a tournament. An antidirected path in $H$ is a sequence $x_1 a_1 x_2 a_2 x_3 \ldots x_{t-1} a_{t-1} x_t$ of distinct vertices $x_1, x_2, \ldots, x_t$ and distinct arcs $a_1, a_{2},\ldots, a_{t-1}$ such that for any $i\in \{2,3,\ldots, t-1\}$, either $x_{i-1}$ precedes $x_{i}$ in $a_{i-1}$ and $x_{i+1}$ precedes $x_{i}$ in $a_{i}$, or $x_{i}$ precedes $x_{i-1}$ in $a_{i-1}$ and $x_{i}$ precedes $x_{i+1}$ in $a_{i}$. An antidirected path that includes all vertices of $H$ is known as an antidirected hamiltonian path. In this paper, we prove that except for four hypertournaments, $T_3^{c}, T_5^{c}, T_7^{c}$ and $H_{4}$, every $k$-hypertournament with $n$ vetices, where $2\leq k\leq n-1$, has an antidirected hamiltonian path, which extends Grünbaum's theorem on tournaments (except for three tournaments, $T_3^{c}, T_5^{c}$ and $T_7^{c}$, every tournament has an antidirected hamiltonian path).

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.

When solving the Hamiltonian path problem it seems natural to be given additional precedence constraints for the order in which the vertices are visited. For example one could decide whether a Hamiltonian path exists for a fixed starting point, or that some vertices are visited before another vertex. We consider the problem of finding a Hamiltonian path that observes all precedence constraints given in a partial order on the vertex set. We show that this problem is $\mathsf{NP}$-complete even if restricted to complete bipartite graphs and posets of height 2. In contrast, for posets of width $k$ there is a known $\mathcal{O}(k^2 n^k)$ algorithm for arbitrary graphs with $n$ vertices. We show that it is unlikely that the running time of this algorithm can be improved significantly, i.e., there is no $f(k) n^{o(k)}$ time algorithm under the assumption of the Exponential Time Hypothesis. Furthermore, for the class of outerplanar graphs, we give an $\mathcal{O}(n^2)$ algorithm for arbitrary posets.

Consider a bicolored point set $P$ in general position in the plane consisting of $n$ blue and $n$ red points. We show that if a subset of the red points forms the vertices of a convex polygon separating the blue points, lying inside the polygon, from the remaining red points, lying outside the polygon, then the points of $P$ can be connected by non-crossing straight-line segments so that the resulting graph is a properly colored closed Hamiltonian path.

In this paper, we study Dirac-type theorems for an inhomogenous random graph (G) whose edge probabilities are not necessarily all the same. We obtain sufficient conditions for the existence of Hamiltonian paths and perfect matchings, in terms of the \emph{sum} of edge probabilities. For edge probability assignments with two-sided bounds, we use Pósa rotation and single vertex exclusion techniques to show that (G) is Hamiltonian with high probability. For weaker one-sided bounds, we use bootstrapping techniques to obtain a perfect matching in (G,) with high probability. We also highlight an application of our results in the context of channel assignment problem in wireless networks.

A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_{n}$. Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.

A Hamiltonian path (cycle) in a graph is a path (cycle, respectively) which passes through all of its vertices. The problems of deciding the existence of a Hamiltonian cycle (path) in an input graph are well known to be NP-complete, and restricted classes of graphs which allow for their polynomial-time solutions are intensively investigated. Until very recently the complexity was open even for graphs of independence number at most 3. So far unpublished result of Jedličková and Kratochvíl [arXiv:2309.09228] shows that for every integer $k$, Hamiltonian path and cycle are polynomial-time solvable in graphs of independence number bounded by $k$. As a companion structural result, we determine explicit obstacles for the existence of a Hamiltonian path for small values of $k$, namely for graphs of independence number 2, 3, and 4. Identifying these obstacles in an input graph yields alternative polynomial-time algorithms for Hamiltonian path and cycle with no large hidden multiplicative constants.

Building on the work of Grinberg and Stanley, we begin a systematic study of permutations with a prescribed $X$-descent set. In particular, for a set $X \subseteq \mathbb{N}^2$, and $I \subseteq [n-1]$, we study the permutations $π\in \mathfrak{S}_n$ whose $X$-descent set is precisely $I$, meaning $(π_i,π_{i+1}) \in X$ precisely when $i \in I$. The central focus is enumerating these permutations for a fixed $X,I$ and $n$: this count is denoted by $d_X(I;n)$. We derive a recursion which under expected conditions simplifies to a binomial-type recurrence determined entirely by the values $d_X(\emptyset;n)$. This extends the work of Díaz-Lopez et al.\ on descent polynomials. The resulting reduction shows that the general statistic $d_X(I;n)$ is typically governed by the ``descent-free'' quantities $d_X(\emptyset;n)$, motivating a closer analysis of these numbers. We observe that $d_X(\emptyset;n)$ enumerates Hamiltonian paths in a directed graph canonically associated to $X$. We then record several families of sets $X$ for which $d_X(\emptyset;n)$ is explicit or effectively computable. This includes families with periodicity for which transfer matrix methods apply, and families with succession-type relations where inclusion-exclusion applies. We then investigate the typical behavior of $d_X(\emptyset;n)$ from a probabilistic perspective.

Label the vertices of the complete graph $K_v$ with the integers $\{0, 1, \ldots, v-1\}$ and define the {\em length} $\ell$ of the edge between distinct vertices labeled $x$ and $y$ by $\ell(x,y) = \min( |y-x|, v - |y-x| )$. A {\em realization} of a multiset $L$ of size $v-1$ is a Hamiltonian path through $K_v$ whose edge labels are $L$. The {\em Buratti-Horak-Rosa (BHR) Conjecture} is that there is a realization for a multiset $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ in $L$ is at most $v-d$. We introduce ``grid-based graphs" as a useful tool for constructing particular types of realizations, called ``linear realizations," especially when the multiset in question has a support of size 3. This lets us prove many new instances of the BHR Conjecture, including those for multisets of the form $\{1^a, x^b, y^c \}$ when $a \geq x+y - ε$, where $ε$ is the number of even elements in $\{ x,y \}$, and those for all multisets of the following forms for sufficiently large $v$ with $\gcd(v,y) = 1$ for all $y \in L$: $\{1^a, 2^b, x^c\}$, except possibly when $a \in \{1,2\}$ and $x$ is odd, $\{1^a, x^b, (x+1)^c\}$. This establishes that there are infinitely many sets $U$ of size 3 for which there are infinitely many values of $v$ where the BHR Conjecture holds for each multiset with support $U$. We also show that the BHR Conjecture holds for $\{1^a,x^b,(x+1)^c\}$ when $x \in \{7,9,10\}$ and $\gcd(v,x) = \gcd(v,x+1) = 1$.

In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfies the deletion-contraction property which makes it similar to the chromatic polynomial. The Berge's classical result on the number of Hamiltonian paths in digraphs is a consequence of the reciprocity formula for the Redei-Berge polynomial.

The Knight's Tour problem consists of finding a Hamiltonian path for the knight on a given set of points so that the knight can visit exactly once every vertex of the mentioned set. In the present paper, we provide a $5$-dimensional alternative to the well-known statement that it is not ever possible for a knight to visit once every vertex of $C(3,k) := \{0,1,2\}^k$ by performing a sequence of $3^k-1$ jumps of standard length, since the most accurate answer to the original question actually depends on which mathematical assumptions we are making at the beginning of the game, when we decide to extend a planar chess piece to the third dimension and above. Our counterintuitive outcome follows from the observation that we can alternatively define a $2$D knight as a piece that moves from one square to another on the chessboard by covering a fixed Euclidean distance of $\sqrt{5}$ so that also the statement of Theorem~3 in [Erde, J., Gol{é}nia, B., \& Gol{é}nia, S. (2012), The closed knight tour problem in higher dimensions, The Electronic Journal of Combinatorics, 19(4), \#P9] does not hold anymore for such a Euclidean knight, as long as a $2 \times 2 \times \cdots \times 2$ chessboard with at least $2^6$ cells is given. Moreover, we show a classical closed knight's tour on $C(3,4)-\{(1,1,1,1)\}$ whose arrival is at a distance of $2$ from $(1,1,1,1)$, and we finally construct closed Euclidean knight's tours on $\{0,1\}^k$ for each integer $k \geq 6$.

A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number. We also consider a newly introduced problem called \emph{Hamiltonian-$\ell$-Linkage} which is related to the notions of a path cover and of a linkage in a graph. This problem asks if given $\ell$ pairs of vertices in an input graph can be connected by disjoint paths that altogether traverse all vertices of the graph. For $\ell=1$, Hamiltonian-1-Linkage asks for existence of a Hamiltonian path connecting a given pair of vertices. Our main result reads that for every pair of integers $k$ and $\ell$, the Hamiltonian-$\ell$-Linkage problem is polynomial time solvable for graphs of independence number not exceeding $k$.

Let $D=\left( V,A\right) $ be a digraph with $n$ vertices, where each arc $a\in A$ is a pair $\left( u,v\right) $ of two vertices. We study the \emph{Redei--Berge symmetric function} $U_{D}$, defined as the quasisymmetric function% \[ \sum L_{\operatorname*{Des}\left( w,D\right) ,\ n}\in\operatorname*{QSym}. \] Here, the sum ranges over all lists $w=\left( w_{1},w_{2},\ldots ,w_{n}\right) $ that contain each vertex of $D$ exactly once, and the corresponding addend is% \[ L_{\operatorname*{Des}\left( w,D\right) ,\ n}:=\sum_{\substack{i_{1}\leq i_{2}\leq\cdots\leq i_{n};\ı_{p}<i_{p+1}\text{ for each }p\text{ satisfying }\left( w_{p},w_{p+1}\right) \in A}}x_{i_{1}}x_{i_{2}}\cdots x_{i_{n}}% \] (an instance of Gessel's fundamental quasisymmetric functions). While $U_{D}$ is a specialization of Chow's path-cycle symmetric function, which has been studied before, we prove some new formulas that express $U_{D}$ in terms of the power-sum symmetric functions. We show that $U_{D}$ is always $p$-integral, and furthermore is $p$-positive whenever $D$ has no $2$-cycles. When $D$ is a tournament, $U_{D}$ can be written as a polynomial in $p_{1},2p_{3},2p_{5},2p_{7},\ldots$ with nonnegative integer coefficients. By specializing these results, we obtain the famous theorems of Redei and Berge on the number of Hamiltonian paths in digraphs and tournaments, as well as a modulo-$4$ refinement of Redei's theorem.

In this paper, we study the graph induced by the $\textit{2-swap}$ permutation on words with a fixed Parikh vector. A $2$-swap is defined as a pair of positions $s = (i, j)$ where the word $w$ induced by the swap $s$ on $v$ is $v[1] v[2] \dots v[i - 1] v[j] v[i+1] \dots v[j - 1] v[i] v[j + 1] \dots v[n]$. With these permutations, we define the $\textit{Configuration Graph}$, $G(P)$ defined over a given Parikh vector. Each vertex in $G(P)$ corresponds to a unique word with the Parikh vector $P$, with an edge between any pair of words $v$ and $w$ if there exists a swap $s$ such that $v \circ s = w$. We provide several key combinatorial properties of this graph, including the exact diameter of this graph, the clique number of the graph, and the relationships between subgraphs within this graph. Additionally, we show that for every vertex in the graph, there exists a Hamiltonian path starting at this vertex. Finally, we provide an algorithm enumerating these paths from a given input word of length $n$ with a delay of at most $O(\log n)$ between outputting edges, requiring $O(n \log n)$ preprocessing.