We initiate the study of Hamiltonian cycles up to symmetries of the underlying graph. Our focus lies on the extremal case of Hamiltonian-transitive graphs, i.e., Hamiltonian graphs where, for every pair of Hamiltonian cycles, there is a graph automorphism mapping one cycle to the other. This generalizes the extensively studied uniquely Hamiltonian graphs. In this paper, we show that Cayley graphs of abelian groups are not Hamiltonian-transitive (under some mild conditions and some non-surprising exceptions), i.e., they contain at least two structurally different Hamiltonian cycles. To show this, we reduce Hamiltonian-transitivity to properties of the prime factors of a Cartesian product decomposition, which we believe is interesting in its own right. We complement our results by constructing infinite families of regular Hamiltonian-transitive graphs and take a look at the opposite extremal case by constructing a family with many different Hamiltonian cycles up to symmetry.
A graph G is Hamiltonian-transitive if it is Hamiltonian and, for every pair of Hamiltonian cycles, there is an automorphism of G that maps one cycle to the other. We denote the class of all Hamiltonian-transitive graphs by \mathcal{H}.
Let G be the Cayley graph of an abelian group with n:=|G|\geq 3 odd. Then G \in \mathcal{H} if and only if G \in \{K_n, C_n\}.
Let G be the Cayley graph of an abelian group w.r.t. some generating set S and assume that n:=|G|\geq 4 is even. Moreover, assume that there is some s \in S such that S\setminus \{s,-s\} is non-generating. Then G \in \mathcal{H} if and only if G \in \{C_n, C_4 \operatorname{\square} K_2, K_{3,3}, K_{4,4}\} or G=C_k \operatorname{\square} K_2 where k=n/2 is odd.
Let G and H be Hamiltonian graphs.
If G and H are relatively prime, then G \operatorname{\square} H \notin \mathcal{H}.
If G is prime, then G^{\operatorname{\square} n} \in \mathcal{H} if and only if n=1 and G\in \mathcal{H}.
Let G and H be Hamiltonian graphs. If G and H are relatively prime, then G \operatorname{\square} H \not \in \mathcal{H}.
Let G be a Hamiltonian and prime graph. Then G^{\operatorname{\square} n} \not \in \mathcal{H} for all n \geq 2.
Let G be a graph with decomposition G=H_1^{\operatorname{\square} r_1} \operatorname{\square} \dots \operatorname{\square} H_k^{\operatorname{\square} r_k} for pairwise distinct prime graphs H_1, \dots, H_k. Assume that H_1,\dots,H_k are Hamiltonian. Then G \in \mathcal{H} if and only if G=H_1 \in \mathcal{H}.
Let G be a Hamiltonian graph. Then G \operatorname{\square} K_2 \in \mathcal{H} if and only if G = C_k for k \geq 3 odd or G=C_4.
Let k\geq 3 be odd. Then C_k \operatorname{\square} K_2 \in \mathcal{H}.
Let G be Hamiltonian with k:=|G|\geq 6 even. Then G \operatorname{\square} K_2 \notin \mathcal{H}.
Let G be Hamiltonian with |G|=:k odd and G\neq C_k. Then G \operatorname{\square} K_2 \notin \mathcal{H}.
For every i \in \{0, \dots, k-1\}, there is an edge between v_i and v_{i+j \bmod k}.
Note that C_k \operatorname{\square} K_2= \operatorname{Cay}(\mathbb{Z}_k \operatorname{\square} \mathbb{Z}_2, \{(0,1), (1,0), (0,-1), (-1,0)\}). In particular, it is the Cayley graph of an abelian group. If k is odd, C_k \operatorname{\square} K_2 is generated by (1,1) so that C_k \operatorname{\square} K_2 is even the Cayley graph of a cyclic group. On the other hand, note that for k even, C_k \operatorname{\square} K_2 is not the Cayley graph of a cyclic group: To see this, assume that C_k \operatorname{\square} K_2 = \operatorname{Cay}(\mathbb{Z}_{2k}, S) for some generating set S. Since C_k \operatorname{\square} K_2 = \operatorname{Cay}(\mathbb{Z}_{2k}, S) is 3-regular, S contains the only self-inverse element of \mathbb{Z}_{2k}, i.e., k, and only one other element s. Then s is odd, because otherwise S is not generating. Observe that (0, s, 2s, \dots, ks, ks+k) is a closed walk of length k+1 because k\cdot s +k \equiv (s+1)k \equiv 0 \bmod 2k. This means that \operatorname{Cay}(\mathbb{Z}_{2k}, S) contains a closed walk of odd length. Since the k-prism for k even is bipartite with bipartition A=\{u_i: i \text{ odd}\} \cup \{v_i: i \text{ even}\}, B=V\setminus A, this gives a contradiction.
Let \Gamma_1 and \Gamma_2 be finite groups with generating sets S_1 and S_2, respectively. For \Gamma = \Gamma_1 \times \Gamma_2, we have \operatorname{Cay}(\Gamma,S_1 \cup S_2) \cong \operatorname{Cay}(\Gamma_1, S_1) \operatorname{\square} \operatorname{Cay}(\Gamma_2, S_2).
Let G be a graph. If G \in \mathcal{H}, then all Hamiltonian cycles of G have the same Hamilton compression.
Let \Gamma be an abelian group and p be a prime divisor of |\Gamma|. Let S be a generating set of \Gamma such that the order of each element in S is either a power of p or coprime to p. Setting S_p:= \{s \in S \colon p \mid \operatorname{ord}(s)\} and S'_{p} := S \setminus S_p, we have \Gamma = \langle S_p \rangle \times \langle S'_{p} \rangle.
Let G \in \mathcal{H} and assume that G = \operatorname{Cay}(\Gamma, S) for an abelian group \Gamma and a generating set S.
Suppose that |\Gamma| is odd. If S contains an element of order pm for a prime p and m > 1, then p divides \kappa(G).
If |\Gamma| is even, then \kappa(G) is even.
Let G be the Cayley graph of an abelian group \Gamma.
Assume that n:=|\Gamma|\leq 16. Then G \in \mathcal{H} if and only if one of the following holds
G \in \{K_n, C_n, C_4 \operatorname{\square} K_2\},
G=K_{k,k} where k=n/2,
G=C_k \operatorname{\square} K_2 where k=n/2 is odd.
Assume that \Gamma \in \{\mathbb{Z}_3 \times \mathbb{Z}_3 \times \mathbb{Z}_3, \mathbb{Z}_9 \times \mathbb{Z}_3\}. Then G \in \mathcal{H} if and only if G = K_{27}.
Let \Gamma \cong \mathbb{Z}_n and S be a generating set of \Gamma containing an element of order n. Let G = \operatorname{Cay}(\Gamma,S). Then, the following are equivalent:
G \in \mathcal{H},
every Hamiltonian cycle C in G has Hamilton compression \kappa(C)=n,
we have G \in \{K_n, C_n\} or n=2m is even and G=K_{m,m}.
Let G be a graph and l \in \mathbb{N}_{\geq 1}. If there is a decomposition V(G) = V_1 \operatorname{\dot{\cup}} \dots \operatorname{\dot{\cup}} V_l such that
for i \in \{1, \dots, l-1\}, G contains a perfect matching between V_i and V_{i+1} that defines an isomorphism between G[V_i] and G[V_{i+1}], and
the graph K:= G[V_1] \cong \dots \cong G[V_l] is Hamiltonian,
we say that G has K-l-layer structure. In this case, we call G[V_1], \dots ,G[V_l] the layers of G.
Assume that G has K-l-layer structure with l\geq 5 odd and set k := |K|. Let C_K = (v_0, \dots, v_{k-1}) be a Hamiltonian cycle of K. Given a tuple \ensuremath{\boldsymbol{a}} = (a_1, a_2, \dots, a_{(l-3)/2}) \in \{0, \dots, k-2\}^{(l-3)/2}, we define the C_K-\ensuremath{\boldsymbol{a}}-zigzag cycle as the Hamiltonian cycle illustrated in ?. For a zigzag cycle C, we define \mu(C) to be the number of edges in the segment between v_{0,k-2} and v_{l-1,k-1} that contains vertex v_{1,0}, i.e., the length of the segment consisting of the green, pink, and orange line segments in ?.
Let G be a graph with K-l-layer structure, where l\geq 5 is odd, let k:=|K|, and let C be the C_K-\ensuremath{\boldsymbol{a}}-zigzag cycle for some choice of C_K and \ensuremath{\boldsymbol{a}}. Then we have
In particular, we obtain that \mu(C) is odd. Even further, for any odd number \mu^*\in \mathbb{N} with 2k-1+(l-3)\leq \mu^* \leq 2k-1+(l-3)(k-1), there is a choice for \ensuremath{\boldsymbol{a}} such that the C_K-\ensuremath{\boldsymbol{a}}-zigzag cycle C fulfills \mu(C)=\mu^*.
Let G \in \mathcal{H} be a graph of odd order that has K-l-layer structure and let k:=|K|. Assume that one of the following conditions holds
k,l\geq 7 and \kappa(G)\geq 5
k,l \geq 5 and, for every prime p with p|n:=|G|, we have p|\kappa(G).
Then K is isomorphic to C_k or K_k.
There is a choice for \ensuremath{\boldsymbol{a}} such that the C_K-\ensuremath{\boldsymbol{a}}-zigzgag cycle C fulfills that \mu(C) is a multiple of \alpha:=n/\kappa(G).
Let G be the Cayley graph of an abelian group \Gamma with generating set S. Assume there is S'\subseteq S such that \langle S' \rangle \cap S = S' and |\langle S' \rangle|\geq 3. Let \Delta:=\langle S' \rangle, K:=\operatorname{Cay}(\Delta, S') and l:=|\Gamma:\Delta|. Then G has K-l-layer structure (Definition 20), where the layers are given by the cosets of \Delta. We call such a layer structure group-induced.
Let \Gamma be an abelian group of odd order with generating set S. Suppose that the Cayley graph G = \operatorname{Cay}(\Gamma, S) is Hamiltonian-transitive and \kappa(G) > 1. Assume that G has a group-induced K-l-layer structure with |K|,l\geq 5. Then K is complete or a cycle.
Let \Gamma be an abelian group with generating set S. Suppose that the Cayley graph G = \operatorname{Cay}(\Gamma,S) is Hamiltonian-transitive and \kappa(G) > 1. Assume that G has a group-induced K-l-layer structure where K is a complete graph with |K|\geq 5. Then G is complete.
Let \Gamma be an abelian group of odd order with generating set S. Suppose that the Cayley graph G = \operatorname{Cay}(\Gamma,S) is Hamiltonian-transitive and \kappa(G) > 1. Assume that G has a group-induced K-l-layer structure with k\coloneqq|K|\geq 5 and l\geq5. Then we have K \not \cong C_k.
Let \Gamma be an abelian group of odd order with generating set S. Suppose that the Cayley graph G = \operatorname{Cay}(\Gamma,S) is Hamiltonian-transitive and \kappa(G) > 1. Assume that, for all s\in S, \operatorname{ord}(s)<5 or |\Gamma : \langle s\rangle|<5. Then \Gamma=\mathbb{Z}_3^d for d\geq4 or G is complete or a cycle.
Let \Gamma be an abelian group of even order with generating set S and {G = \operatorname{Cay}(\Gamma,S)}. Suppose there exists an s \in S such that l = |\Gamma:\langle S \setminus \{\pm s\} \rangle| \geq 4. Then G \in \mathcal{H} if and only if G = C_n or G = C_l \operatorname{\square} K_2, where l is odd or l=4.
Let \Gamma be an abelian group with generating set S and G = \operatorname{Cay}(\Gamma,S). Suppose that there exists an s \in S such that l = |\Gamma:\langle S \setminus \{\pm s\} \rangle| =2. Then G \in \mathcal{H} if and only if G \in \{C_4, K_{4,4}\} or G = C_k \operatorname{\square} K_2, where k is odd or k=4.
Let \Gamma be an abelian group of even order with generating set S and {G= \operatorname{Cay}(\Gamma,S)}. Suppose there exists an s \in S such that l = |\Gamma:\langle S \setminus \{\pm s\} \rangle| =3. Then G \in \mathcal{H} if and only if G \in \{K_{3,3}, C_3 \operatorname{\square} K_2\}.
For every d \geq 2, there are infinitely many d-regular Hamiltonian-transitive graphs in \mathcal{H}: We construct such graphs as follows. For an arbitrary n\geq 3, take C_n and n disjoint copies of K_{d+1}. Remove one edge from each copy of K_{d+1} and replace each vertex v of C_n by a copy of K_{d+1} such that the two incident edges to v are now incident to the two vertices of degree d-1. See ? for an illustration. This yields a d-regular Hamiltonian graph. It is Hamiltonian-transitive because every Hamiltonian cycle uses all of the edges of C_n and visits the vertices in each copy of K_{d+1} in some arbitrary order. It is immediate that this order can be permuted by applying an automorphism.
There exists a family of cubic 3-connected Hamiltonian-transitive graphs with an unbounded number of edge orbits.
If G is a cubic graph in \mathcal{H}, then \operatorname{T}(G)\in \mathcal{H}.
For every edge \{u,v\} in a cubic graph G, the corresponding edge \{u_v,v_u\} in \operatorname{T}(G) satisfies \ell(\{u_v,v_u\})= 2 \ell(\{u,v\}).
Let k \geq 3 and G be a cubic graph such that all edges e of G satisfy \ell(e) = k. Then the family \{\operatorname{T}^n(G)\}_{n \in \mathbb{N}} has an unbounded number of edge orbits.
For every n \in \mathbb{N}, there are graphs on n vertices with 2^{\Theta(n \log n)} many Hamiltonian cycles up to symmetry.
Let \Gamma be a finite abelian group with generating set S and let G = \operatorname{Cay}(G,S). Then G \in \mathcal{H} if and only if G \in \{C_4 \operatorname{\square} K_2, C_n, K_n, K_{n,n}, C_k \operatorname{\square} K_2 \colon n,k \in \mathbb{N}, k \text{ odd}\}.
The text on this page is from arXiv:2506.21337v2 by Julia Baligacs, Sofia Brenner, Annette Lutz and Lena Volk, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2506/2506.21337.jsonl.