Small cycles, generalized prisms and Hamiltonian cycles in the Bubble-sort graph

Elena V. Konstantinovaa, Alexey N. Medvedevb,∗

aSobolev Institute of , Novosibisk State University, Novosibirsk, Russia bICTEAM, Université catholique de Louvain, Louvain-la-Neuve, Belgium

Abstract

The Bubble-sort graph BSn, n > 2, is a over the Symn generated by transpositions from the set (12), (23),..., (n 1 n) . It is a containing all even cycles of length `, where 4 6 ` 6 n!. We give an explicit{ combinatorial− characterization} of all its 4- and 6-cycles. Based on this characterization, we define generalized prisms in BSn, n > 5, and present a new approach to construct a Hamiltonian based on these generalized prisms. Keywords: Cayley graphs, Bubble-sort graph, 1-skeleton of the Permutahedron, Coxeter presentation of the symmetric group, n-prisms, generalized prisms, Hamiltonian cycle

1. Introduction braid group into the symmetric group so that the Cox- eter presentation of the symmetric group is given by the We start by introducing a few definitions. The Bubble- following n braid relations [11]: sort graph BS = Cay(Sym , ), n 2, is a Cayley 2 n n B > graph over the symmetric group Symn of bibi+1bi = bi+1bibi+1, 1 6 i 6 n 2; (1) π = [π1π2 . . . πn], where πi = π(i), 1 6 i 6 n, with − the generating set = b Sym : 1 i n bjbi = bibj, 1 6 i < j 1 6 n 2. (2) B { i ∈ n 6 6 − − − 1 of all bubble-sort transpositions bi swapping the i-th It is known (see, for example §1.9 in [8] or [9]) that and} (i + 1)-st elements of a π when mul- if any permutation π is presented by two minimal length tiplied on the right, i.e. [π1π2 . . . πi−1πiπi+1 . . . πn]bi = expressions u and v in terms of generating elements from [π1π2 . . . π −1π +1π . . . π ]. It is a connected bipartite (n the set , then u and v can be transformed to each other i i i n − B 1)– of n! and diameter diam(BSn) = using only the braid relations (1) and (2). However, these n relations are not the only set and not the smallest set for 2 . Since this graph is bipartite it does not contain odd cycles but it contains all even l–cycles where l = 4, . . . , n! [1]. generating Bn. The hamiltonicity of this graph also follows from results Let us note that the relations (1) and (2) form a 6-cycle in [2,3,4]. and a 4-cycle in the Bubble-sort graph BSn for any n > 3 The graph BSn, n > 3, is constructed from n copies and for any n > 4, correspondingly. As it follows below, BSn−1(i), 1 6 i 6 n, with the set [π1π2 . . . πn−1i] , we use a cycle description presented in [12] to characterize and vertices between copies are connected{ with external} small cycles in the , and then applied in the edges from the set [π1π2 . . . πn−1i], [π1π2 . . . iπn−1] , 1 6 Star graph [13]. i n , where π {{ 1, . . . , n i , 1 k n 1}. For Two simple paths in a graph are called non-intersecting, 6 } k ∈ { }\{ } 6 6 − example, BS3 is isomorphic to a 6–cycle, and BS4 is con- if they have no common vertices. A sequence of transposi-

structed from 4 copies of BS3 = C6 (see Figure1). tions C` = bi0 . . . bi`−1 , where 1 ij n 1, and ij = ij+1 ∼ 6 6 − 6 arXiv:1901.03917v3 [math.CO] 4 Apr 2021 The generating set plays an important role in com- for any 0 j ` 1, such that π b . . . b = π, where 6 6 − i0 i`−1 puter science for generatingB all permutations [2,5,4], in π Sym , is said to be a form of a cycle C of length ∈ n ` the theory of polytopes where BSn is considered as 1- ` in the Bubble-sort graph. A cycle C` of length ` is skeleton of the Permutahedron [6], in knot theory [7] and called an `–cycle. It is evident that any `–cycle can be the theory of reflection groups and Coxeter groups [8,9, presented by 2 ` forms (not necessarily different) with re- 10]. It is known that all transpositions bi = (i i + 1), spect to a vertex and a direction. The canonical form 1 i n 1, from the set can be considered as (n 1) C` of an `–cycle is called a form with a lexicographically 6 6 − B − braids on n strands forming the braid group Bn. There is maximal sequence of indices i0 . . . i`−1. For cycles of a a surjective Bn Symn from the form C` = babb babb, where ` = 2 k, and babb appears → ··· k k times, we write C` = (babb) . In particular, BS3 ∼= C6 with the following canonical form: ∗Corresponding author Email addresses: [email protected] (Elena V. 3 Konstantinova), [email protected] (Alexey N. Medvedev) C6 = b2b1b2b1b2b1 = (b2 b1) . (3)

Preprint submitted to Elsevier April 6, 2021 b3

bc bc b1 1423 b3 1432 b 123 1 bc bc bc b2 b2 4123 4132 b1 b2 b2 bc 1243 1342 bc b2 132 bc bc 213 b b3 bc 3 bc b1 b2 b1 4213 bc bc 4312 b2 1234 1324 b1 b1 b1 b1 b1 b b bc 3 bc 2134 3124 bc 3 bc bc bc 231 bc 2143 3142 312 b2 b b2 b2 2 2413 2314 3214 bc b1 b2 bc bc 3412 b1 bc b b 3 b3 321 3 b3 2341 bc bc 3241 b3 b b1 3 b2 b2 2431 bc bc 3421 b1 b1

(a) (b) bc bc 4231 b2 4321

Figure 1: Examples of the Bubble-Sort graphs (a) BS3 and (b) BS4

This representation admits the braid relation (1) for 6–cycles of the canonical form: n = 3. In the case when n = 4, for 6-cycles there are 3 2 two canonical forms C6 = bi+1bibi+1bibi+1bi = (bi+1 bi) , C6 = bj bi+1 bi bj bi bi+1, 1 6 i 6 j 3 6 n 4, or where , meeting the same braid relations (1). More- − − i = 1, 2 1 6 j 6 i 2 6 n 4; (6) over, for 4-cycles there is the canonical form C4 = b3b1b3b1 − − 2 (n−3)(n−4)(n−5) = (b3 b1) which admits the braid relation (2). It is evi- when n > 6, each vertex belongs to 2 distinct dent from the Figure1, (b), that the 4- and 6-cycles have 6–cycles of the canonical form: no other canonical representation that is different from 3 2 the braid relations in BS . The natural questions arising C = (bk bj bi) , 1 i j 2 k 4 n 5; (7) 4 6 6 6 − 6 − 6 − here is about existence of canonical forms of small cycles C4 = b b b b b b , 1 i j 2 k 4 n 5; (8) not admitting the braid relations in the Bubble-sort graph 6 k j i k i j 6 6 − 6 − 6 − 5 BSn for any n > 4. C6 = bk bj bk bi bj bi, 1 6 i 6 j 2 6 k 4 6 n 5; (9) In this paper we give complete combinatorial charac- − − − C6 = b b b b b b , 1 i j 2 k 4 n 5. (10) terization of 4- and 6-cycles, which is presented in the fol- 6 k i k j i j 6 6 − 6 − 6 − lowing two theorems. In total, there are (2n3 21n2 + 80n 104) n! distinct 6– − − 6 cycles in BSn. Theorem 1. Each of vertices of BSn, n > 4, belongs to (n 2)(n 3)/2 distinct 4–cycles of the following canonical Hamiltonian cycles are one of the main objects of study form:− − in , and without doubt they also have numer- ous applications in various fields of science. The question 2 C4 = (bj bi) , 1 6 i 6 n 3, i + 2 6 j 6 n 1. (4) of existence is as well important as the proposal of dif- − − ferent constructions of these cycles, which is related to (n−2)(n−3)n! In total, there are 8 distinct 4–cycles in BSn. finding new Gray codes in combinatorial graphs [14] or various embeddings [15]. In this paper, we propose a new Instead of explicitly writing two index conditions as in algorithm for constructing the Hamiltonian cycle, which is Equation (4), for the sake of simplicity we use the com- based on a maximal cover of the graph with generalized pound version, given as 1 i j 2 n 3. 6 6 − 6 − prisms. For any graph H, the generalized prism, denoted as 2-H, is defined as the Cartesian product H K2 [16]. Theorem 2. Each of vertices of BSn, n > 3, belongs to × (n 2) distinct 6–cycles of the canonical form: The maximal cover of a graph G = (V,E) by subgraphs − H G is a vertex-disjoint embedding of a collection of 1 3 ⊂ C = (b b +1) , 1 i n 2, n 3; (5) H1,H2,...,Hk, where Hi = H for each i, such that each 6 i i 6 6 − > ∼ vertex v V belongs to some Hi. The Hamiltonian cy- when n 5, each vertex belongs to 3(n 2)(n 3) distinct cle based∈ on a maximal cover H ,H ,...,H is the cycle > − − 1 2 k 2 that is formed by finding appropriate Hamiltonian paths in (π, τ)- bc bc each copy of Hi and fastening them together by the edges bi2 between these subgraphs to form the closed Hamiltonian b bi1 i3 cycle in the original graph. Similar idea was successfully bc bc π τ used to construct Hamiltonian cycles in vertex-transitive bj3 bj1 b graphs (see e.g. [14], [17], [18]). Our result is presented in bc j2 bc the following theorem. (τ, π)-path

Theorem 3. In graph BSn, n > 5, there exists a Hamil- tonian cycle based on the maximal cover by generalized Figure 2: Example of (π, τ)- and (τ, π)-paths in a 6–cycle. prisms 2-BSn−2. consider cycles of small length, we evade looking into more Although we prove the existence of the cycle, the proof complicated shifts along the paths. is constructive and the construction suggests there are We call two transpositions b and b independent, if multiple Hamiltonian cycles of the presented type. i j i = j 1, j +1. Otherwise the transpositions are called de- In the literature we could find three proposed Hamilto- pendent6 − . The main properties of such transpositions used nian cycle constructions in the Bubble-sort graph. The fa- in the proofs can be formulated as follows. mous Steinhaus-Johnson-Trotter algorithm [2,4] produces a Hamiltonian cycle, which is merely based on the permu- Proposition 1. Let π and τ be the vertices of the Bubble- tation structure, rather than the structure of the graph, sort graph BSn, n > 3, and let the (π, τ)–path of length and it is different from our algorithm. T. Manneville and d, where d 6 n 2, is given by a sequence of successively V. Pilaud in [19] proposed a similar method of construct- dependent transpositions− then there is no non-intersecting ing a Hamiltonian cycle in a general family of 1-skeletons (τ, π)-path of length d. of graph associahedra. However their method, in simple Proof. For any j, where 1 j n d, the sequence of words, was based on the hierarchical structure, thus using 6 6 − transpositions (b b +1 . . . b + −1) acts on π as shifting of bn−1-edges to connect the chunks of a Hamiltonian cycle j j j d the element j to position j+d. Since this is the only moved in the copies of BSn−1. Another construction that also utilizes the fastening method was proposed in [20]. The element, the backward (τ, π)-path of the same length in- authors used a lexicographical ordering of permutations evitably has all the transpositions in reverse order. Hence, the path is unique. in BSn to obtain subgraphs isomorphic to BSn−1 and by connecting them through 4-cycles also get a Hamiltonian cycle. All the proposed methods are different from our 2.1. Proof of Theorem1 algorithm and we provide the detailed explanation using We present now the complete description of 4-cycles. graph-theoretic language, making it accessible to a wider Proof. Since the graph is vertex-transitive, let . community. π = [12 . . . n] For any two antipodal vertices and of a -cycle, the The rest of the paper is structured as follows. In the π τ 4 length of the –path equals two. We prove the state- Section2 we present the proof of Theorems1 and2 and (π, τ) ment by considering all possible cases of the shifted ele- in the Section3 we present the details of the Hamiltonian ments of π along the (π, τ)–path and describing the set cycle construction in the case of general n and the proof of non-intersecting –paths. Obviously, the number of of Theorem3. (τ, π) shifted elements should not be greater than two. Shift of the one element is equivalent to having only two 2. Characterization of small cycles dependent transpositions on the (π, τ)–path and by Propo- sition1 such a path is unique. If two elements are shifted, The general idea of the proofs is based on consider- then (π, τ)–path consists of two independent transposi- ing two antipodal vertices π and τ of the 2`–cycle, where tions bi bj, where 1 6 i 6 n 3 and i+3 6 j 6 n 1. Since ` = 4, 6 and finding two non-intersecting `–paths between transpositions are independent,− shuffling those will− result them (see Figure2). For any positive integer d n 2, 6 − in another path, which is a non-intersecting (τ, π)–path the element πi of a permutation π Symn, where 1 i 6 6 defined as bj bi. n d 1, is called to be shifted d steps∈ to the right from its − − Altogether the canonical form of the only possible 4- original position, if τi+d = πi. This is achieved by applying cycles is given in (4). It is straightforward to obtain the the sequence of transpositions (bi+1 bi+2 . . . bi+d). number of distinct cycles given by this family of forms. In case of each `, we subdivide the proof into cases, The number of possible pairs of indices is (n 2)(n depending on the number of shifted elements of π and 3)/2 and each form describes one distinct 4-cycle− pass-− the they are shifted along the (π, τ)-path. It is ing through a given vertex, thus in total there are (n obvious that along the (τ, π)-path the same elements must 2)(n 3)/2 distinct 4-cycles passing through a given ver-− be shifted back to the left to their original positions, and − tex and the total number of distinct 4-cycles in BSn is therefore we only consider shifting to the right. Since we (n−2)(n−3)n! 8 . This completes the proof. 3 bc bj bc bi bi+1

bc bc bi+1 π τ bi bc bc II)× bc bc bi bj bj bi+1 bi bc bc bj πbc bc τ πbc bc τ I)X bi+1 III)X

bj bc bc bi+1 bi bc bc bj bi bi+1

Figure 3: Illustration for the order of two shifted elements. Orders I) and III) produce the same form; cycle in order II) is impossible.

2.2. Proof of Theorem2 each choice I), II) and III) of (π, τ)–path there exists a We present now the complete description of 6-cycles. unique description of possible (τ, π)–path. In case (π, τ)– path is given by I), then for j = i the non-intersecting Proof. Consider two antipodal vertices and π = [12 . . . n] (τ, π)–path is given as bi+1 bi bi+1, whereas j = i 1 and τ of a 6-cycle. The length of the (π, τ)–path is equal to j = i + 1 are impossible. In case (π, τ)–path is given− by three. We prove the statement by considering all possible III), then for j = i + 1 the non-intersecting (τ, π)–path cases of the shifted elements of along the –path and π (π, τ) is given as bi bi+1 bi, whereas j = i 1 and j = i are describing the set of non-intersecting (τ, π)–paths. The impossible. The case of (π, τ)–path− given by II) is also number of such elements should not be greater than three. impossible. Therefore, we have the only form of a 6-cycle This turns to considering the following cases. given by bi+1 bi bi+1 bi bi+1 bi, which corresponds to (5) in Case 1: one shifted element. Suppose the element the statement. The number of distinct forms described i is shifted to the position i + 3. In order to do so, the se- by (5) is n 2, and each form describes one cycle passing through a− given vertex, in total giving (n 2) distinct quence bi bi+1 bi+2 should be applied to π, which consists − of successively dependent transpositions and by Proposi- cycles. tion1 such (π, τ)–path is unique. Hence, no 6-cycle is Case 3: three shifted elements. Suppose the ele- possible in this case. ment i is shifted to the position i + 1 by bi. Then we have two other elements j and k shifted to the positions j + 1 Case 2: two shifted elements. Suppose the element and k + 1 by independent transpositions bj and bk corre- i is shifted to the position i + 2 and another element j is spondingly. Suppose the (π, τ)-path is given by bi bj bk. shifted to j + 1. In order to do so, the sequence bi bi+1 The sole restriction on the non-intersecting (τ, π)–path is and the transposition bj should be applied to π. There are that the two incident edges to π and τ should be different. three possible orders of application (see Figure3): Therefore, we have two non-intersecting (τ, π)-paths: 1) bj bk bi and 2) bk bi bj. Further, we note there are chords I) bi bi+1 bj; II) bi bj bi+1; III) bj bi bi+1. (11) between pairs of paths (bi bj bk, bj bk bi), (bj bk bi, bk bi bj) There are two possibilities: either bj is independent from and (bi bj bk, bk bi bj) (see Figure4). Thus, combining all bi and bi+1 or not. the non-intersecting pairs of paths, we obtain four dis- If bj is independent from bi and bi+1, then in order to tinct canonical forms of cycles described by (7)-(10) in the shift the element i back to the initial position, we need to statement. We note that these 6-cycles appear only when apply the sequence bi bi+1 in inverse order on (τ, π)–path. n > 6. By analyzing the possible ways of this operation (see Fig- One may see from the Figure4 that paths form a sub- ure3), we find the only possible cycle form bj bi bi+1 bj bi+1 bi, graph of a 3-. Therefore any permutation of indices which corresponds to (6) from the statement. Since bj is independent from b and b +1, then either i + 3 j or i i 6 bj j i 2. In the first case we have 1 i n 4 and bc bc 6 − 6 6 − i + 3 j n 1. Taking the double sum over both these bi b 6 6 − bi k conditions we obtain (n 3)(n 4)/2. In the second case bj bc b we have 1 j n 3 and−j+2 −i n 1, which gives the πbc k bc τ 6 6 − 6 6 − bc another forms. In total, this leaves us with bi (n 3)(n 4)/2 b − − j b exactly (n 2)(n 3) distinct forms given by (6) and due to bk k b − − j symmetries each form describes three distinct cycles pass- bc bc ing through a given vertex, in total giving 3(n 2)(n 3) bi distinct cycles. − − Figure 4: Case of three shifted elements: three possible non- If bj is dependent on bi or bi+1, then either j = i, intersecting (π, τ)–paths with chords between them produce a graph j = i + 1 or j = i 1. Along the (τ, π)–path we must isomorphic to a 3-cube. − apply the sequence bi bi+1 in the inverse order, thus for 4 Figure 5: The graph BS5 with apparent 6–prism structure marked with different colors. i, j, k leaves us inside the same subgraph and in order to prisms. We first show the existence of such cycles in the calculate the number of distinct forms N(6) given by each graph BS5. Then the algorithm is further extended to of (7)-(10) it is only necessary to calculate the number of the general case n > 5. We start the section with a few possible ordered triples (i, j, k), such that i j 2 k 4. definitions and a technical lemma. 6 − 6 − We note that for n = 6 there is only one way to select three The parity of a permutation π Symn may be de- independent transpositions, thus N(6) = 1. Increasing n fined as the parity of the number of∈ transpositions in the by one produces extra triples only by fixing the k = n 1, canonical representation of π. Let us remind, that the n−3 j−2 − Bubble-sort graph is bipartite, since each multiplication which is P P 1 = (n 4)(n 5)/2, hence the following j=3 i=1 − − by a generating transposition changes parity of a permu- relation holds for n > 7: tation. The graph of an n–prism, n > 3, is called the graph of a Cartesian product C K2 of the cycle of length n (n 4)(n 5) n × N(n) = N(n 1) + − − . and the on two vertices. A graph is called − 2 Hamilton-connected if any two vertices of a graph are con- From this relation, we immediately have the number N(n) nected by a . The following proposition (n−3)(n−4)(n−5) = 6 . Due to symmetries, each of the four is well known for prisms (see e.g. [21]). forms (7)-(10) describes three distinct cycles passing through Proposition 2. The graph of n–prism is Hamilton-con- a given vertex, all in total giving a contribution of 2(n nected if and only if n is odd. 3)(n 4)(n 5) distinct cycles. − − − In total, the graph BSn contains The Hamiltonian cycle is constructed using general- ized prisms. Remind that for any graph G the generalised n! ((n 2) + 3(n 2)(n 3) + 2(n 3)(n 4)(n 5)) prism 2-G is defined as the Cartesian product G K2. Let − − − − − − 6 the graph G have a maximal vertex cover by subgraphs,× n! = (2n3 21n2 + 80n 104) (12) isomorphic to a subgraph H G. Then, the factor graph − − 6 G ⊂ H = (V,E) is the graph whose nodes V represent cov- cycles of length 6. This completes the proof. ering subgraphs and there is an edge (V1,V2) E if in the original graph G there is an edge between some∈ nodes 3. Hamiltonian cycles in BS based on generalised u V1 and v V2. n ∈ ∈ prisms In the graph BSn, where n > 5, we observe the pres- ence of generalized prisms 2-BSn−2, whose vertex set is In this section we give a description of a Hamiltonian cycle in the Bubble-sort graph BSn based on graphical 5 bc b2 bc b1 b3 BS3 b1 BS4 b3 bc bc BS3 b1 b2 bc bc b2

b4 b4 b5 b5

bc b2 bc b1 b1 BS3 bc BS3 bc BS3 BS4 b2 b3 bc bc b2 b3 (a) b1 (b)

Figure 6: a) Example of a 6-prism (or GP5); b) Schematic example of a generalised prism GP6. given by Proposition 3. In the graph of the BS , where GPn ⊂ n n > 5, for a given vertex π and any vertex τ, such that the [π1 . . . πn−2 i j] [π1 . . . πn−2 j i]: πk 1, . . . , n i, j , parity ω(π) = ω(τ), there is a Hamiltonian path with end { ∪ ∈ { }\{ }} vertices π and6 τ. for fixed i = j 1, . . . , n and the edge set includes edges, 6 ∈ { } that correspond to transpositions b1, . . . , bn−3, bn−1. Fur- Proof. By definition, the prism n is represented as two 1 2 GP ther, note that bn−1-edges only connect vertices of two copies of BSn−2 and BSn−2, put one above the other copies of BSn−2, since they permute only the last two and connected by bn−1-edges between nodes of respective elements of a permutation. Let us denote further for sim- copies. Since the graph BSn is Hamiltonian for any n > 3, 1 1 plicity the 2-BSn−2 as n. On the Figure6 we show let us fix some Hamiltonian cycles Hn−2 BSn−2 and GP 2 2 ∈ an example of the 6. By hierarchical structure, it is Hn−2 BSn−2 of similar structure, i.e. such that if an GP ∈ 1 straightforward to show that there exists a maximal cover edge (π1, π2) Hn−2, then it implies that (π1 bn−1, π2 bn−1) of BS by , therefore there exists the factor graph H2 . ∈ ∈ n GPn n−2 Γ = BSn . The graph BSn is bipartite, thus any path between two n  n Let us describeGP the structure of the factor graph Γn. nodes of the opposite parity has odd length and between Since, the vertex set of any contains all vertices with the nodes of the same parity the length is even. We shall GPn the last two elements fixed, then vertices of Γn can be en- use this fact to construct the desired Hamiltonian path coded by unordered pairs of elements i, j from 1, 2, . . . , n between π and τ. Since the graph is vertex-transitive, let { } { } 1 and a specific prism on vertices with last elements i, j we us fix the vertex π in the copy BSn−2 and consider two denote as (i, j). Following the connectivity between cases of placement of the vertex τ. GPn copies of n, which is given by the edges corresponding to 1 GP Case 1. Let τ be in the same copy BSn−2. Then, transposition bn−2, two prisms n(i1, j1) and n(i2, j2) denote π = πb −1 and τ = τb −1. The nodes π and τ are connected iff GP . HenceGP is iso- n n i1, j1 i2, j2 = 1 Γn are of different parity, thus the (π, τ)-path has odd length. morphic to the Johnson{ } graph ∩ { } , which is proven to J(n, 2) Therefore, we can start the Hamiltonian path at π, then be Hamiltonian and even Hamilton-connected [22]. For proceed in alternating way as shown on Figure7 until we the sake of visual presentation we refer to Figure5 with reach τ. Then we continue the path in the copy BS2 an example of the covering of the graph by prisms n−2 BS5 until we reach the direct neighbour of the vertex π in the 5(2, 4) 2 1 GP Hn−2. Moving back to the BSn−2 and following the un- Furthermore, we note that any two factor vertices of 1 visited part of Hn−2 we reach the vertex τ, thus obtaining n are connected through n−1, meaning that for any the desired Hamiltonian path. GPappropriate all vertices of oneGP k n−1(k, i, j) n(i, j) Case 2. Let τ be in the different copy BS2 . Let on the vertices of type [. . . k i jGP] with fixed last⊂ GP elements n−2 us again denote π = πb −1 and τ = τb −1. The nodes π are connected to the vertices of n n k, i, j n−1(i, k, j) and τ are of the same parity, thus the (π, τ)-path has even (k, j) on the vertices of type [. . . i k jGP] with fixed last⊂ GPn length. Therefore, we can start the Hamiltonian path at elements i, k, j. 1 π, then proceed along the Hn−2 until we reach the direct neighbour of τ as shown on Figure7. Then we move to the 3.1. Proof of Theorem3 2 2 copy BSn−2 and continue along the path Hn−2 backwards Proof. We use the lifting method to construct the Hamil- (without passing through τ) until we reach the vertex π tonian cycle. We showed above that the factor graph is 2 in the Hn−2. The distance between the direct neighbour nice enough, thus we need to prove a certain statement 2 of π and τ is odd, since the length of the Hn−2 is even 1 2 about the connectivity of n. and the traversed segment of H and H is of odd GP n−2 n−2 length, therefore we can continue in the alternating way

6 1 1 Hn 2 Hn 2 a) − − bc π b) bc π

bc bc τ τ bc π bc π

bc 2 bc 2 Hn 2 τ Hn 2 τ − − τ τ π π bc bc bc bc bc bc bc bc bc bc bc bc bc bc bc bc

bc bc bc bc bc bc bc bc bc bc bc bc bc bc bc bc

π odd distance τ τ even distance π

Figure 7: Schematic structure of the Hamiltonian path construction in prisms from Proposition3. until we reach the vertex τ (see Figure7), thus obtaining [2] S. M. Johnson, Generation of permutations by adjacent trans- the desired Hamiltonian path. position, Mathematics of computation 17 (1963) 282–285. [3] V. L. Kompel’maher, V. A. Liskovec, Successive generation of We now turn to the proof of the main theorem. The permutations by means of a transposition basis, Kibernetika 3 (1975) 17–21. Hamiltonian cycle in Γn defines the traversal sequence [4] H. F. Trotter, Algorithm 115: perm, Communications of the (j1) (j2) (jm) (j1) n n n n of gener- ACM 5 (1962) 434–435. alizedGP prisms→ GP and→ let ·us · · construct → GP the→ lifted GP cycle in the [5] D. E. Knuth, Generating all permutations, Addison-Wesley Pro- original graph. Let us fix the vertex incident to the edge fessional, 2013. [6] R. R. Thomas, The Permutahedron, volume 33, American between (j1) and (j2) as a starting vertex π with GPn GPn (j1) Mathematical Soc., 2006, pp. 85–92. parity ω. Traversing this edge will change the parity, and [7] J. S. Birman, T. E. Brendle, Braids: a survey, in: W. Menasco, (j2) M. Thistlethwaite (Eds.), Handbook of knot theory, Elsevier the adjacent vertex τ(j2) in n will have an opposite parity ω. By Proposition3, thereGP is a Hamiltonian path Science, 2005, pp. 33–192. [8] J. E. Humphreys, Finite and affine reflection groups, volume 29, that ends in a vertex π(j2) with opposite parity ω which is Cambridge university press, 1990. (j3) [9] R. C. Lyndon, P. E. Schupp, Small cancellation theory, in: adjacent to τ(j3) in n . Traversing to τ(j3) changes the parity again to ω, whichGP was the case for τ . Proceeding Combinatorial group theory, Springer-Verlag, New York, 2001, (j2) pp. 235–294. in this way, the parity of the starting and ending vertices [10] A. Y. Ol’shanskii, Geometry of defining relations in groups, vol- in the prisms will be different, hence when the construc- ume 70, Springer Science & Business Media, 1991. (j1) [11] C. Kassel, V. Turaev, Braid groups, volume 247, Springer Sci- tion arrives back to the starting prism n , the ending vertex will have parity , oppositeGP from the parity of ence & Business Media, New York, 2008. τ(j1) ω [12] E. V. Konstantinova, A. N. Medvedev, Cycles of length seven

π(j1). Therefore, this vertex is at the odd distance from in the pancake graph, Diskretnyi Analiz i Issledovanie Operatsii 17 (2010) 46–55. π(j1) and connecting them with a Hamiltonian path will [13] E. V. Konstantinova, A. N. Medvedev, Small cycles in the star result in a Hamiltonian cycle in the original graph BSn. graph, Siberian Electronic Mathematical Reports 11 (2014) This finishes the proof of the Theorem3. 906–914. [14] E. Konstantinova, A. Medvedev, Independent even cycles in the pancake graph and greedy prefix-reversal gray codes, Graphs Acknowledgement and 32 (2016) 1965–1978. [15] H. Shi, P. Niu, J. Lu, One conjecture of bubble-sort graphs, The authors thank Zahary Hamaker for referring us Information Processing Letters 111 (2011) 926–929. to permutahedra, which have direct relation to the graph [16] B. L. Piazza, R. D. Ringeisen, Connectivity of generalized under our consideration and Valeriy Bardakov for pro- prisms over G, Discrete Applied Mathematics 30 (1991) 229– 233. viding insights regarding permutahedra. We thank the [17] B. Alspach, Lifting hamilton cycles of quotient graphs, Discrete anonymous reviewers for their valuable suggestions that Mathematics 78 (1989) 25–36. helped to improve the quality of the manuscript. This [18] K. Kutnar, P. Šparl, Hamilton paths and cycles in vertex- transitive graphs of order 6p, Discrete Mathematics 309 (2009) work was supported partially by the grants 17-51-560008, 5444–5460. 18-01-00353 and 19-01-00682 of the Russian Foundation [19] T. Manneville, V. Pilaud, Graph properties of graph associahe- for Basic Research. dra, Séminaire Lotharingien de Combinatoire 73 (2015) B73d. [20] M. El-Hashash, H. Burgiel, The permutahedron πn is hamil- tonian, International Journal of Contemporary Mathematical References Sciences 4 (2009) 31–39. [21] P. Paulraja, A characterization of hamiltonian prisms, Journal [1] Y. Kikuchi, T. Araki, Edge-bipancyclicity and edge-fault- of Graph Theory 17 (1993) 161–171. tolerant bipancyclicity of bubble-sort graphs, Information Pro- [22] B. Alspach, Johnson graphs are hamilton-connected, Ars Math- cessing Letters 100 (2006) 52–59. ematica Contemporanea 6 (2012) 21–23.

7 Appendix

In the Appendix we present the table of all Hamiltonian paths between any two nodes at odd distance in the 6-prism P6(i, k).

All possible Hamiltonian paths with end vertices (π, τ)

[bi bi−1 bi bi−1 bk bi−1 bi bi−1 bi bi−1 bk], [bi bk bi bi−1 bi bi−1 bi bk bi bi−1 bi], [bi bi−1 bi bk bi bi−1 bi bi−1 bi bk bi], [bk bi−1 bi bi−1 bi bi−1 bk bi−1 bi bi−1 bi], π bi−1 [bi bi−1 bk bi−1 bi bi−1 bi bi−1 bk bi−1 bi] [bk bi bk bi−1 bk bi bk bi−1 bk bi bk]

[bi−1 bi bi−1 bi bk bi bi−1 bi bi−1 bi bk], [bi−1 bk bi−1 bi bi−1 bi bi−1 bk bi−1 bi bi−1], π bi [bi−1 bi bi−1 bk bi−1 bi bi−1 bi bi−1 bk bi−1], [bk bi−1 bk bi bk bi−1 bk bi bk bi−1 bk], [bi−1 bi bk bi bi−1 bi bi−1 bi bk bi bi−1], [bk bi bi−1 bi bi−1 bi bk bi bi−1 bi bi−1]

[bi−1 bi bi−1 bi bi−1 bk bi−1 bi bi−1 bi bi−1], [bi bi−1 bi bi−1 bi bk bi bi−1 bi bi−1 bi], π bk [bi−1 bk bi bk bi−1 bk bi bk bi−1 bk bi], [bi bk bi−1 bk bi bk bi−1 bk bi bk bi−1]

π [b −1 b b b b −1 b b b −1 b b b ], [b b b b −1 b b b b −1 b b b ], · i i k i i i k i k i k i k i i k i k i i k i bi−1 [bi−1 bk bi−1 bi bk bi−1 bk bi bi−1 bk bi−1], [bk bi−1 bk bi bk bi−1 bi bi−1 bk bi−1 bi], bi bi−1 [bi bi−1 bk bi−1 bi bi−1 bk bi bk bi−1 bk], [bk bi bk bi−1 bk bi bi−1 bi bk bi bi−1] [b b b b b b b b b b b ], [b b b b b b b b b b b ], π i−1 i i−1 k i k i−1 k i i−1 i i i−1 k i−1 i i−1 k i i−1 k i−1 · [bi−1 bk bi−1 bi bk bi−1 bk bi bk bi−1 bk], [bi bk bi bi−1 bk bi bi−1 bi bk bi bi−1], bi−1 [bi bi−1 bi bi−1 bi bk bi−1 bi bi−1 bi bi−1], [bk bi−1 bk bi bi−1 bi bi−1 bk bi−1 bi bi−1], bi bk [bi bi−1 bi bk bi bi−1 bi bi−1 bk bi bk], [bk bi bk bi−1 bk bi bk bi−1 bi bk bi]

[bi−1 bi bi−1 bi bi−1 bk bi bi−1 bi bi−1 bi], [bi bi−1 bi bk bi−1 bk bi bk bi−1 bi bi−1], π b [b −1 b b −1 b b −1 b b −1 b b b −1 b ], [b b b b −1 b b b b −1 b b b ], · i i i i k i i i i k i k i k i i k i k i k i k bi−1 bk [bi−1 bi bk bi bi−1 bi bk bi−1 bi bk bi], [bk bi−1 bk bi bk bi−1 bk bi bi−1 bk bi−1], [bi−1 bk bi−1 bi bk bi−1 bi bi−1 bk bi−1 bi], [bk bi bk bi−1 bi bi−1 bi bk bi bi−1 bi]

Table 1: The list of Hamiltonian paths from the source node π in the 6-prism P6(i, k) to any possible node with the odd distance.

8