arxiv: v2 [math.co] 14 Jun 2017

Transcription

1 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS arxiv: v2 [math.co] 14 Jun 2017 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI Abstract. In this paper we propose a conjecture concerning partial sums of an arbitrary finite subset of an abelian group, that naturally arises investigating simple Heffter systems. Then, we show its connection with relate open problems an we present some results about the valiity of these conjectures. 1. Introuction It is well known that ifference methos have a primary role in the construction of combinatorial esigns of various kins, see [1, 8]. The continuous search for more efficient ways to use these methos often leas to intriguing problems which are very ifficult espite their easy statements. Some examples are the conjectures propose by Alspach [9] an by Archeacon et al. [7]. In orer to escribe these conjectures we introuce the concept of partial sums. Let A be a finite list of elements of a group (G,+). Let (a 1,a 2,...,a k ) be an orering of the elements in A an efine the partial sums s 1,s 2,...,s k by the formula s j = j i=1 a i (1 j k). An orering of A is sai to be simple if all the partial sums are istinct. Several years ago Alspach mae the following conjecture, whose valiity woul shorten some cases of known proofs about the existence of cycle ecompositions. Conjecture 1. Let A Z v \ 0} such that a Aa 0. Then there exists an orering of the elements of A such that the partial sums are all istinct an nonzero. The only publishe paper on this problem is by Boe an Harborth [9]. There, the authorsprovethat Conjecture 1 is vali if A = v 1or A = v 2or ifv 16 (the latter was obtaine by computer verification). Also they state, without proof, that the conjecture is true if A 5. In [7] Archeacon et al. propose a relate conjecture. Conjecture 2. Let A Z v \0}. Then there exists an orering of the elements of A such that the partial sums are all istinct. In [7] the authors prove that Conjecture 1 implies Conjecture 2. Then they provethat theirconjectureisvaliif A 6anmaealsoacomputerverification for v 25. Here, we propose the following conjecture: Conjecture 3. Let (G,+) be an abelian group. Let A be a finite subset of G\0} such that no 2-subset x, x} is containe in A an with the property that a A a = 2010 Mathematics Subject Classification. 05C25, 05C38. Key wors an phrases. partial sum; Heffter system; cycle system. The results of this paper will be presente at HyGraDe

2 2 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI 0. Then there exists an orering of the elements of A such that the partial sums are all istinct. Clearly if G = Z v, Conjecture 3 immeiately follows from Conjecture 2. Inee we believe that Conjecture 2 can be state consiering a subset of an abelian group an not necessarily of a cyclic one. About that, we prove by computer that Conjecture 2 is vali for any abelian group of orer 23. Also, we have to point out that in [7], proving their Theorems 3.1 an 3.2, the authors o not use the hypothesis that A is a subset of a cyclic group. In fact their proofs for A 6 work, more in general, in an abelian group. Another motivation for extening Conjectures 1 an 2 from cyclic groups to any (abelian) group is because of their natural connection with the concept of sequenceable (or R-sequenceable) group, see [18]. In particular, Alspach et al. recently prove that any finite abelian group is either sequenceable or R-sequenceable, confirming the Frielaner-Goron-Miller conjecture [3]. We came across the problem of Conjecture 3 stuying Heffter systems, see [19], as explaine in Section 2. In Section 3 we show how some known conjectures about graphs with prescribe ege-lengths can be state in terms of partial sums an we propose a relate open problem. In Section 4 we prove the valiity of Conjecture 3 for subsets A of size less than 10; we remark that we have also checke by computer the valiity of our conjecture for abelian groups of orer not exceeing 27. Finally, some observations about the above conjectures in the nonabelian case are presente in Section Heffter systems an cyclic cycle systems Given an o positive integer v, an half-set A of Z v is a subset of Z v \0} of size (v 1)/2 such that no 2-subset x, x} is containe in A. A Heffter system D(v,k) is a partition of an half-set of Z v into parts of size k such that the elements in each part sum to 0. Heffter himself introuce these systems to construct Steiner triple systems, see [19]. In [4], Archeacon presente the relate concept of a Heffter array, which has various applications, see [5, 6, 14, 16, 17]. A Heffter system is sai to be simple if each part amits a simple orering. Archeacon in [4] prove that a simple Heffter system D(v,k) gives rise to a cyclic k-cycle system of orer v, namely a ecomposition of the complete graph K v of orer v into cycles of length k amitting Z v as an automorphism group acting sharply transitively on the vertices. We recall the following result. Proposition 2.1. A k-cycle system C of orer v is sharply vertex-transitive uner Z v if an only if, up to isomorphisms, the following conitions hol: the set of vertices of K v is Z v ; for all C = (c 1,c 2,...,c k ) C, also C+1 := (c 1 +1,c 2 +1,...,c k +1) C. Clearly, to escribe a cyclic k-cycle system of orer v it is sufficient to show a complete system B of representatives for the orbits of C uner the action of Z v. The elements of B are calle base cycles of C. The existence of (cyclic) cycle systems has been wiely investigate, see [10, 12]. In orer to explain how to construct the cycles starting from a Heffter system we have to introuce the concept of list of ifferences from a cycle an to show its usefulness in constructing cyclic cycle systems, see [11].

3 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS 3 Definition 2.2. Let C = (c 1,c 2,...,c k ) be a k-cycle with vertices in an abelian group G. The multiset C = ±(c h+1 c h ) 1 h k}, where the subscripts are taken moulo k, is calle the list of ifferences from C. More generally, given a set B of k-cycles with vertices in G, by B one means the union (counting multiplicities) of all multisets C, where C B. Theorem 2.3. Let B be a set of k-cycles with vertices in Z v. If B = Z v \ 0} then B is set of base cycles of a cyclic k-cycle system of orer v. Suppose now to have a simple Heffter system D(v,k). For 1 i v 1 2k, let ω i = (a i,1,a i,2,...,a i,k ) be a simple orering of the i-th part of D(v,k). Let j=1 a i,j = 0). Since the orering ω i is simple, C i = (a i,1,a i,1 +a i,2,..., k 1 j=1 a i,j, k then C i is a k-cycle of K v ; also it results C i = ±ω i. Let B = C 1,...,Cv 1 2k since D(v,k) is a Heffter system then B = Z v \0}. Hence, by Theorem 2.3, B is a set of base cycles of a cyclic k-cycle system of orer v. Example 2.4. Consier the Heffter system D(25,6) = 3,1,4, 5,10,12},2,7, 9,6,8,11}}. Since the orerings ω 1 = (1,3,4, 5,10,12) an ω 2 = (2,6,7,8, 9, 11) are simple, there exists a cyclic 6-cycle system of orer 25. The cycles associate to these orerings are C 1 = (1,4,8,3,13,0) an C 2 = (2,8,15,23,14,0). Note that C 1 C 2 = Z 25 \0}, so C 1,C 2 } is a set of base cycles of a cyclic 6-cycle system of orer 25, that is C = C 1 +i,c 2 +i : i Z 25 }. Note that if, in the previous example, we replace the orering ω 1 with ω 1 = (1,4, 5,3,10,12), we o not obtain a cycle, but the union of the cycles (0,1,5) an (0,3,13). Hence, in orer to obtain a system with cycles of the same length starting from a Heffter system D, it is necessary to require for the simplicity of D. The valiity of Conjecture 3 woul imply that any part of a Heffter system amits a simple orering, namely that any Heffter system is simple. 3. Conjectures on graphs with prescribe ege-lengths In this section we will see how the conjectures on partial sums of a given set presente in the Introuction are closely relate to some conjectures on graphs with prescribe ege-lengths. We recall that the length l(x,y) of an ege [x,y] of K v is so efine: l(x,y) = min( x y,v x y ). If Γ is any subgraph of K v, then the list of ege-lengths of Γ is the multiset l(γ) of the lengths (taken with their respective multiplicities) of all the eges of Γ. For our convenience, if a list L consists of m 1 a 1 s, m 2 a 2 s,..., m t a t s, we will write L = a m1 1,am2 2,...,amt t }, whoseunerlying set isthe seta 1,a 2,...,a t }. Moreover, with an abuse of notation, by L we will mean a L a. A famous conjecture about ege-lengths of a Hamiltonian path of the complete graph has been propose by Buratti, Horak an Rosa, see [20]. Conjecture 4. Let L be a list of v 1 positive integers not exceeing v. Then there exists a Hamiltonian path H of K v such that l(h) = L if an only if for any ivisor of v, the number of multiples of appearing in L oes not excee v. },

4 4 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI It is not har to see that, even if the statement in terms of ege-lengths of a Hamiltonian path is more elegant, this conjecture can be formulate also in terms of partial sums of a given list. In fact Conjecture 4 can be also state as: Let v be a positive integer an let L be a list of v 1 nonzero elements of Z v. Then, there exists a suitable sequence (ε 1,...,ε v 1 ), where each ε i = ±1, an a suitable orering (a 1,...,a v 1 ) of L such that the partial sums of the sequence (ε 1 a 1,...,ε v 1 a v 1 ) are exactly the elements of Z v \ 0} if an only if for any ivisor of v the number of multiples of appearing in L oes not excee v. For example, given the list L = 1 2,4 2,5} in Z 6, we can consier the sequence (1,4, 1,4, 5) whose partial sums are 1,5,4,2,3. Meszka, Pasotti an Pellegrini propose another relate conjecture, see [23]. Conjecture 5. Let v = 2n+1 be an o integer an let L be a list of n positive integers not exceeing n. Then there exists a near 1-factor F of K v such that l(f) = L if an only if for any ivisor of v the number of multiples of appearing in L oes not excee v 2. Resultsabout Conjectures4an5canbe foun in [13, 15,20, 21, 22]an in [23,24], respectively. Looking at Conjecture 3 an at these conjectures it is quite natural to ask which properties have to satisfy a list L of k elements of 1,2,..., v } in orer to have a k-cycle C of K v such that l(c) = L. Remark 3.1. Let v be a positive integer an let L = a 1,...,a k } be a list of k elements not exceeing v. A trivial necessary conition for the existence of a cycle C of K v such that l(c) = L is the existence of a list (ε 1,...,ε k ), where each ε i = ±1, such that k i=1 ε ia i 0 (mo v). For example, given the list L = 1 2,2,3,5 2 } we have (mo 11) an C = (0,5,10,9,1,2) is a cycle of K 11 such that l(c) = L. It is easy to see that this conition it is not sufficient: in Proposition3.3 we will showanother necessary conition. Firstly, we state the following. Lemma 3.2. Let L = a m1 1,am2 2,...,amt t } be a list of k elements of 1,2,..., v } such that = gc(v,a 1,a 2,...,a t ) > 1. There exists a cycle C of K v such that l(c) = L if an only if there exists a cycle C of K v such that l(c ) = ( a1 ) m1 (, a2 ) m2 (,..., at ) mt }. Proof. Let C = (0,c 2,...,c k ) be a k-cycle of K v such that l(c) = L. Note that since ivies each element of L, ivies c i for any i. Moreover, since C is a cycle, c i c j (mo v) for any i j, so k cannot excee v, since every class of resiues moulo intersects 0,...,v 1} in a set of that size. From c i c j (mo v) for any i j, it immeiately follows also that ci cj (mo v ) for any i j, so C = ( 0, c2,..., c ) k is a k-cycle of K v. Obviously, l(c ) is the list of the elements of L ivie by. The converse can be one in a similar way. Hence, without loss of generality, we can consier lists a m1 1,am2 2,...,amt t } of elements not exceeing v such that gc(v,a1,a 2,...,a t ) = 1. For example, instea of v = 20 an L = 6 6,8 2 }, we can consier v = 10 an L = 3 6,4 2 }. Note that C = (0,4,8,5,2,9,6,3) is a cycle of K 10 such that l(c ) = L, so C = (0,8,16,10,4,18,12,6) is a cycle of K 20 such that l(c) = L.

5 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS 5 Proposition 3.3. Let L = a m1 1,am2 2,...,amt t } be a list of k v elements of 1,2,..., v } with gc(v,a1,a 2,...,a t ) = 1. If there exists a k-cycle C of K v such that l(c) = L then for any ivisor > 1 of v, the number of multiples of appearing in L oes not excee k v (v ). Proof. Let C be a k-cycle of K v with l(c) = L an let > 1 be a ivisor of v. Denote by N the number of non-multiples of appearing in L. By the hypothesis, N 1. Consier the graph Γ obtainable from C by eleting all N eges whose length is not ivisible by. Then Γ has exactly N connecte components some of which may be just isolate vertices. It is also clear that all vertices of every connecte component K of Γ are in the same resiue class moulo so that K has at most v vertices. It follows that k = V(Γ) N v k, i.e. N v. Hence the number of multiples of, namely k N, is at most k k v, so we have the thesis. We have to point out that the necessary conitions of Remark 3.1 an Proposition 3.3 are not sufficient. In fact if we take v = 8 an we consier the list L = 3 4,4 4 }, one can check that a cycle C of K 8 such that l(c) = L oes not exist. Note that if v is a prime, Proposition 3.3 gives no necessary conition. Although, for example, there exists no cycle C of K 7 such that l(c) = 1,2,3 5 }. A special case is consiere in the following remark. Remark 3.4. Let L = a k } with 1 a v. Then (0,a,2a,...,(k 1)a) is a v cycle of K v if an only if the orer of a in Z v is k, namely if k = So we propose the following. gc(v,a). Open Problem. Let v be a positive integer an let L be a list of positive integers not exceeing v. Fin the necessary an sufficient conitions for L in orer to have a cycle C of K v such that l(c) = L. 4. Proof of main results In this section we prove that Conjecture 3 hols for sets of small size. Clearly, given an orering (a 1,a 2,...,a k ) of a finite set A G \ 0}, for 1 i < j k, we have s i = s j if an only if j h=i+1 a h = 0. In the proof of the following theorems, we will show that an orering ω of A is simple, by checking that there is no subsequence of consecutive elements of ω, viewe as a k-cycle, which sums to 0. We recall that by A we mean a Aa. Clearly, if there exists B A such that B = 0, then we may assume that B 3, as we are requiring that A oes not contain 2-subsets of shape x, x}. Furthermore, if B = 0 then (A\B) = 0 (as A = 0) an so we may also assume B A 2. Theorem 4.1. Conjecture 3 is true for A 8. Proof. Clearly, if there are no proper subsets B of A such that B = 0 we have the thesis. So, suppose that there exists a subset B A such that B = 0. As previously remarke, we may assume 3 B A 2. If A 5 the thesis immeiately follows by above consierations. Assume that A = a 1,a 2,...,a 6 } has orer 6 an, without loss of generality, we may suppose that B = a 1,a 2,a 3 }. It is now clear that the orering (a 1,a 2,a 4,a 3,a 5,a 6 ) is simple, since A \ B is the only other proper subset of A that sums to 0.

6 6 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI Now, assume that A = a 1,a 2,...,a 7 } is a set of size 7 an let T 1 A such that T 1 = 0. We can assume, without loss of generality, T 1 = a 1,a 2,a 3 }. If T 1 is the unique subset of A of size 3 such that T 1 = 0, then the orering (a 1,a 2,a 4,a 3,a 5,a 6,a 7 ) is simple. Suppose that there is another subset T 2 A of size 3 such that T 2 = 0. It is easy to see that T 1 T 2 = 1. Without loss of generality, we may assume T 2 = a 3,a 4,a 5 }. The orering ω = 2,a 4,a 3,a 6,a 5,a 7 ) if a 1 +a 5 +a 7 0, (a 1,a 4,a 2,a 3,a 5,a 6,a 7 ) if a 1 +a 5 +a 7 = 0 is simple. Finally, we suppose that A = a 1,a 2,...,a 8 } is a set of size 8. We split the proof into two cases. Case 1. Assume that there exists a subset Q A such that Q = 4 an Q = 0. First suppose that there exists a subset T A such that T = 3 an T = 0. Clearly, Q T = 1,2 an replacing Q with A\Q if Q T = 1, we may assume that Q = a 1,a 2,a 3,a 4 } an T = a 3,a 4,a 5 }. In this case the orering ω = 2,a 3,a 6,a 4,a 5,a 7,a 8 ) if a 2 +a 3 +a 6 0, (a 1,a 2,a 3,a 7,a 4,a 5,a 6,a 8 ) if a 2 +a 3 +a 6 = 0 is simple. Hence, we may assume that there are no subsets T A of size 3 such that T = 0. In this case the orering ω = 2,a 3,a 5,a 4,a 6,a 7,a 8 ) if a 3 +a 4 +a 5 +a 6 0, (a 1,a 2,a 3,a 5,a 4,a 7,a 6,a 8 ) if a 3 +a 4 +a 5 +a 6 = 0 is simple. Case 2. Assume that there are no subsets Q A such that Q = 4 an Q = 0. Hence, there is a subset T 1 A such that T 1 = 3 an T 1 = 0: we may assume T 1 = a 1,a 2,a 3 }. If there exists another subset T 2 A with T 2 = 0, by our assumptions it must be that T 2 = 3. As in case A = 7 we have T 1 T 2 = 1 an so we may assume T 2 = a 3,a 4,a 5 }. In this case the orering ω = 4,a 2,a 3,a 5,a 6,a 7,a 8 ) if a 1 +a 4 +a 8 0, (a 1,a 4,a 2,a 3,a 5,a 6,a 8,a 7 ) if a 1 +a 4 +a 8 = 0 is simple. Finally, suppose that T 1 is the unique subset of A that sums to 0. In this case, the orering (a 1,a 2,a 4,a 3,a 5,a 6,a 7,a 8 ) is obviously simple. Theorem 4.2. Conjecture 3 is true for A = 9. Proof. Clearly, if there are no proper subsets B of A such that B = 0 we have the thesis. Hence in the following we will assume that there exists B A such that B = 0. As alreay remarke, we may assume 3 B 4. In the proofby Q i an T i we alwaysmean a subset of A ofsize 4 an 3, respectively. Alsoby Q i, Q j with i j, we will mean Q i Q j ; analogouslyfort i, T j. Let Q i,q j be such that Q i = Q j = 0. Note that Q i Q j = 0 otherwise 0 A, also Q i Q j = 3 otherwise Q i = Q j. Hence Q i = Q j = 0 implies Q i Q j = 1,2. Let Q i,t j be such that Q i = T j = 0. Note that Q i T j = 0, otherwise A contains a 2-subset x, x}; also Q i T j = 3 otherwise 0 A. Hence Q i = Tj = 0 implies Q i T j = 1,2. Let T i,t j be such that T i = T j = 0. Note that T i T j = 2, otherwise T i = T j, hence T i T j = 0,1. Also if T i = T j = 0 an T i T j =, then the triple A\(T i T j ) sums to 0.

7 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS 7 We set A = a 1,a 2,...,a 9 }. Firstly, we suppose that there is no Q i which sums to 0. Let T 1 = a 1,a 2,a 3 } such that T 1 = 0. If there is no other triple in A which sum to 0, the orering (a 1,a 2,a 4,a 3,a 5,a 6,a 7,a 8,a 9 ) is simple. Case a. Assume there exists T 2 with T 2 = 0 an T 1 T 2 = 0. We can suppose T 2 = a 4,a 5,a 6 }: the orering ω = 2,a 4,a 3,a 5,a 7,a 6,a 8,a 9 ) if a 3 +a 5 +a 7 0, (a 1,a 2,a 4,a 3,a 6,a 7,a 5,a 8,a 9 ) if a 3 +a 5 +a 7 = 0 is simple. Case b. We now assume that for all T i T 1 which sums to 0, T 1 T i = 1. Let T 2 = a 3,a 4,a 5 } with T 2 = 0. In this case the orering ω = 2,a 4,a 3,a 6,a 5,a 7,a 8,a 9 ) if a 1 +a 8 +a 9 0, (a 1,a 2,a 4,a 3,a 6,a 5,a 8,a 7,a 9 ) if a 1 +a 8 +a 9 = 0 is simple. Suppose now that there exists Q i which sums to 0. We split the proof into 3 cases. 1) There exists only one Q 1 which sums to 0. 2) There exist Q 1 an Q 2 which sum to 0 such that Q 1 Q 2 = 2, 3) There exist at least two quaruples in A which sum to 0. For all such quaruples Q i Q j, we have Q i Q j = 1. Case 1. We split this case into 3 subcases. 1.1) There is no T 1 which sums to ) There exists T 1 which sum to 0 such that Q 1 T 1 = 1, 1.3) Otherwise. Case 1.1. We can suppose Q 1 = a 1,a 2,a 3,a 4 }. Then (a 1,a 2,a 3,a 5,a 4,a 6,a 7,a 8, a 9 ) is a simple orering of A. Case 1.2. We can suppose Q 1 = a 1,a 2,a 3,a 4 } an T 1 = a 4,a 5,a 6 }. By the hypothesis, Q 1 = T 1 = 0. Let T 2 = a 1,a 2,a 9 } an T 3 = a 1,a 8,a 9 }. If T 2 = 0 set ω = (a 1,a 2,a 5,a 4,a 7,a 6,a 8,a 9,a 3 ) an if T 3 = 0 set ω = (a 1,a 2,a 3,a 5,a 4,a 8,a 6,a 7,a 9 ). In both cases, ω is a simple orering of A. So, assume that T 2, T 3 0. In this case, ω = 2,a 3,a 5,a 4,a 7,a 6,a 8,a 9 ) if a 2 +a 3 +a 5 0, (a 1,a 2,a 3,a 6,a 4,a 7,a 5,a 8,a 9 ) if a 2 +a 3 +a 5 = 0 is a simple orering of A. Case 1.3. We can suppose Q 1 = a 1,a 2,a 3,a 4 } an T 1 = a 3,a 4,a 5 }. We note that ω = 5,a 3,a 2,a 4,a 6,a 7,a 8,a 9 ) if a 2 +a 4 +a 6 0, (a 1,a 5,a 3,a 2,a 4,a 7,a 6,a 8,a 9 ) if a 2 +a 4 +a 6 = 0 is a simple orering of A. Case 2. We can suppose Q 1 = a 1,a 2,a 3,a 4 } an Q 2 = a 3,a 4,a 5,a 6 }. We recall that, by the hypothesis, Q 1 = Q 2 = 0. Let T 1 = a 2,a 4,a 7 }, T 2 = a 3,a 4,a 7 } an Q 3 = a 1,a 6,a 8,a 9 }. If T 1 = 0, set ω = (a 1,a 2,a 3,a 7,a 4,a 5,a 6,a 8,a 9 ); if T2 = 0 set T 3 = a 1,a 3,a 5 }, Q 4 = a 4,a 6,a 7,a 8 } an ω = (a 1,a 3,a 5,a 4,a 7,a 6,a 8,a 9,a 2 ) if T 3 0 an Q 4 0, (a 1,a 3,a 5,a 4,a 7,a 6,a 9,a 8,a 2 ) if T 3 0 an Q 4 = 0, (a 1,a 2,a 3,a 5,a 4,a 7,a 6,a 8,a 9 ) if T 3 = 0;

8 8 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI if Q 3 = 0, set ω = 3,a 7,a 4,a 5,a 6,a 8,a 9,a 2 ) if a 1 +a 3 +a 7 0, (a 1,a 4,a 7,a 3,a 5,a 6,a 8,a 9,a 2 ) if a 1 +a 3 +a 7 = 0. In all cases, ω is a simple orering of A. So, assume T 1, T 2, Q 3 0. Set T 4 = a 3,a 5,a 7 }, T 5 = a 1,a 6,a 9 }; then (a 1,a 2,a 4,a 7,a 3,a 5,a 6,a 8,a 9 ) if T 4 0, ω = (a 1,a 2,a 7,a 4,a 3,a 5,a 8,a 6,a 9 ) if T 4 = 0 an T 5 0, (a 1,a 2,a 7,a 4,a 3,a 5,a 9,a 6,a 8 ) if T 4 = T 5 = 0. is a simple orering of A. Case 3. By the hypothesis, Q 1 = Q 2 = 0 an Q 1 Q 2 = 1. Let Q 1 = a 1,a 2,a 3,a 4 } an Q 2 = a 4,a 5,a 6,a 7 }. Suppose firstly that oes not exist Q 3 which sums to 0. Let T 1 = a 4,a 6,a 8 }, T 2 = a 3,a 4,a 5 }, T 3 = a 2,a 3,a 5 }, T 4 = a 1,a 3,a 5 } an T 5 = a 1,a 7,a 9 }. Assume T 1 = 0. If either T 2 = 0 or T 3 = 0 takeω = (a 2,a 1,a 4,a 6,a 3,a 5, a 8,a 7,a 9 ); if T 2, T 3 0, take T 6 = a 1,a 7,a 8 } an ω = (a 2,a 1,a 4,a 5,a 3,a 7,a 9,a 6,a 8 ) if T 4 = 0, (a 2,a 1,a 3,a 5,a 4,a 6,a 9,a 7,a 8 ) if T 4 0 an T 6 = 0, (a 1,a 2,a 3,a 5,a 4,a 6,a 9,a 7,a 8 ) if T 6 0. In all these cases, ω is a simple orering of A. So, from now on, assume T 1 0. If T 2 = 0, the orering ω = 3,a 2,a 5,a 4,a 6,a 8,a 7,a 9 ) if T 5 0, (a 2,a 3,a 1,a 5,a 4,a 6,a 8,a 7,a 9 ) if T 5 = 0 is simple, so we may also suppose T 2 0. To conclue, it suffices to take T 7 = a 2,a 7,a 9 } an (a 1,a 2,a 7,a 3,a 5,a 4,a 6,a 8,a 9 ) if T 3 = T 7 = 0, (a 2,a 1,a 3,a 5,a 4,a 6,a 8,a 7,a 9 ) if either T 3 = 0 an T 7 0 ω = or T 5 = 0 an T 4 0, (a 3,a 2,a 1,a 5,a 4,a 6,a 8,a 7,a 9 ) if T 5 = T 4 = 0, (a 1,a 2,a 3,a 5,a 4,a 6,a 8,a 7,a 9 ) if T 3, T 5 0. Now, we have to suppose that there exists Q 3 which sums to 0. Clearly, this implies that there is no Q 4 such that Q 4 = 0 an Q 4 Q i = 1 for all i = 1,2,3. By the assumptions it follows that Q 1 Q 2 = Q 1 Q 3 = Q 2 Q 3 = 1. So we can suppose Q 1 = a 1,a 2,a 3,a 4 }, Q 2 = a 4,a 5,a 6,a 7 } an Q 3 = a 1,a 7,a 8,a 9 }. We sett 1 = a 1,a 3,a 5 }, T 2 = a 4,a 6,a 8 }ant 3 = a 2,a 7,a 9 }. If T 1, T 2, T 3 0 then (a 2,a 1,a 3,a 5,a 4,a 6,a 8,a 7,a 9 ) works. We can focus our attention on the case T 1 = 0, namely the case T 2 = 0 ( T 3 = 0, respectively) can be one in a similar way replacing each a i with a i+3 (with a i+6, respectively) where the subscripts are taken moulo 9. So in the following we assume T 1 = 0 an set T 4 = a 4,a 5,a 8 }. If T 3 = 0, take ω = (a 2,a 1,a 4,a 5,a 3,a 7,a 9,a 6,a 8 ) an if T4 = 0 take (a3,a ω = 1,a 6,a 5,a 4,a 2,a 9,a 7,a 8 ) if a 3 +a 7 +a 8 0, (a 2,a 1,a 3,a 6,a 4,a 5,a 9,a 7,a 8 ) if a 3 +a 7 +a 8 = 0. In all cases ω is a simple orering of A. So, assume T 3, T 4 0. In this case, (a 2,a 1,a 3,a 6,a 4,a 5,a 8,a 7,a 9 ) is a simple orering of A.

9 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS 9 5. Further evelopments Looking at Conjectures 1 an 2 presente in the Introuction, a natural question is to ask what happens if one consiers finite subsets A G\0}, where G is any group, not necessarily cyclic. For instance we verifie, with the help of a computer, the valiity of Conjecture 1, for all abelian groups of orer G 21. On the other han, Conjecture 1 cannot be generalize to nonabelian groups. For instance, consier the symmetric group G = Sym(3) an its subset A = G \ 0} (we keep using the aitive notation): any orering of A is such that A 0, but there is no orering of A such that all the partial sums are istinct an nonzero. We have alreay remarke in the Introuction what happens for Conjecture 2 if G is an abelian group. Note that if we consier Conjectures 1 an 2 in the case of abelian groups then, again, Conjecture 1 implies Conjecture 2: in fact it suffices to apply the same proof of [7, Proposition 1.1]. For Conjecture 2 it is also natural to investigate the nonabelian case. We mae a computer verification of this conjecture for all groups of orer G 19. We have also the following theoretical result. Theorem 5.1. Let (G,+) be a group an let A G\0} with A 5. Then there exists an orering of the elements of A such that the partial sums are all istinct. Proof. If A 2 it is obvious. Suppose A > 2 an let p be the number of istinct 2-subsets x, x} containe in A. Let A = a 1,a 2,a 3 } be a subset of size 3. If p = 0, then the orering (a 1,a 2,a 3 ) is simple. If p = 1 we may assume a 2 = a 1 an take the orering (a 1,a 3, a 1 ). Let A = a 1,a 2,a 3,a 4 } be a subset of size 4. If p = 0, the orering ω = 2,a 3,a 4 ) if a 2 +a 3 +a 4 0, (a 2,a 1,a 3,a 4 ) if a 2 +a 3 +a 4 = 0 is simple. If p = 1, we may assume a 2 = a 1 : in this case, (a 3,a 1,a 4, a 1 ) is a simple orering. If p = 2, we may assume a 2 = a 1 an a 4 = a 3 : it is easy to see that (a 1,a 3, a 1, a 3 ) is a simple orering of A. Now, let A = a 1,a 2,a 3,a 4,a 5 } be a subset of size 5. First, we consier the case p = 0. If a 2 +a 3 +a 4 +a 5 0, a 3 +a 4 +a 5 0 an a 2 +a 3 +a 4 0, the orering (a 1,a 2,a 3,a 4,a 5 ) is simple. So, suppose that a 2 + a 3 + a 4 + a 5 = 0. If a 1 + a 3 + a 4 0, then the orering (a 2,a 1,a 3,a 4,a 5 ) is simple. So, assume also that a 1 +a 3 +a 4 = 0 an observe that (a2,a (1) ω = 1,a 3,a 5,a 4 ) if a 3 +a 5 +a 4 0, (a 5,a 3,a 2,a 4,a 1 ) if a 3 +a 5 +a 4 = 0 isasimpleoreringofa. Next, supposea 3 +a 4 +a 5 = 0. Theorering(a 5,a 1,a 3,a 4, a 2 ) is simple, except when a 1 +a 3 +a 4 +a 2 = 0. However, if this hols, in orer to fin a simple orering of A it suffices to reapply (1) to the set a 1,a 2,a 3,a 4,a 5 }, where a 1 = a 5, a 2 = a 1, a 3 = a 3, a 4 = a 4 an a 5 = a 2. Similarly, if a 2 +a 3 +a 4 = 0, we consier the set a 1,a 2,a 3,a 4,a 5}, where a 1 = a 1, a 2 = a 5, a 3 = a 2, a 4 = a 3, a 5 = a 4, an procee as one previously. If p = 1, we may suppose that a 2 = a 1. If ±a 1 + a 3 + a 4 0, then (a 5,a 1,a 3,a 4, a 1 ) is a simple orering of A. Suppose ε a 1 + a 3 + a 4 = 0 for some ε = ±1: in this case, the orering (a3,ε a ω = 1,a 5,a 4, ε a 1 ) if a 5 +a 4 ε a 1, (ε a 1,a 5,a 3,a 4, ε a 1 ) if a 5 +a 4 = ε a 1

10 10 S. COSTA, F. MORINI, A. PASOTTI, AND M.A. PELLEGRINI is simple. If p = 2, then wemay supposethat a 2 = a 1 an a 4 = a 3. If a 1 +a 3 a 1 a 3 0, then the orering (a 5,a 1,a 3, a 1, a 3 ) is simple. Assume a 1 +a 3 a 1 a 3 = 0. Then the orering ( a3,a ω = 1,a 3, a 1,a 5 ) if a 3 a 1 +a 5 0, ( a 3, a 1,a 3,a 1,a 5 ) if a 3 a 1 +a 5 = 0 issimple. Infact, sincea 1 +a 3 = a 3 +a 1, wehave±a 1 +a 3 a 1 +a 5 = a 3 +a 5 0. Alspach [2] recently propose the following efinition, closely relate to Conjecture2inits generalizeformulation: afinite groupgissaitobe strongly sequenceable if every Cayley igraph on G amits either an orthogonal irecte path or an orthogonal irecte cycle. When this path (respectively, cycle) has length G 1, we retrieve the concept of sequenceable (respectively, R-sequenceable) group, see [3]. The problem that Kalinowski an he propose is the classification of the strongly sequenceable groups. In this irection, Theorem 5.1 can be viewe as an intermeiate step. Acknowlegements The authors woul like to thank Marco Buratti an Jeff Dinitz for useful iscussion on this topic. References [1] Abel R.J.R., Buratti M., Difference Families, in: Hanbook of combinatorial esigns. Eite by Charles J. Colbourn an Jeffrey H. Dinitz. Secon eition. Discrete Mathematics an its Applications. Chapman & Hall/CRC, Boca Raton, [2] Alspach B., Private communication. [3] Alspach B., Kreher D. L., Pastine A., The Frielaner-Goron-Miller conjecture. Australas. J. Combin. 67, (2017). [4] Archeacon D.S., Heffter arrays an biembeing graphs on surfaces. Electron. J. Combin. 22 (2015) #P1.74. [5] Archeacon D.S., Boothby T., Dinitz J.H., Tight Heffter arrays exist for all possible values. J. Combin. Des. 25, 5 35 (2017). [6] Archeacon D.S., Dinitz J.H., Donovan D.M. an Emine Şule Yazıcı, Square integer Heffter arrays with empty cells. Des. Coes Cryptogr. 77, (2015). [7] Archeacon D.S., Dinitz J.H., Mattern A., Stinson D.R., On partial sums in cyclic groups. J. Combin. Math. Combin. Comput. 98, (2016). [8] Beth T., Jungnickel D., Lenz H., Design Theory. Cambrige University Press, [9] Boe J.P., Harborth H., Directe paths of iagonals within polytopes. Discrete Math. 299, 3 10 (2005). [10] Bryant D., Roger C., Cycle Decompositions, in: Hanbook of combinatorial esigns. Eite by Charles J. Colbourn an Jeffrey H. Dinitz. Secon eition. Discrete Mathematics an its Applications. Chapman & Hall/CRC, Boca Raton, [11] Buratti M., Cycle ecompositions with a sharply vertex transitive automorphism group. Le Matematiche 59, (2004). [12] Buratti M., Del Fra A., Existence of cyclic k-cycle systems of the complete graph. Discrete Math. 261, (2003). [13] Capparelli S., Del Fra A., Hamiltonian paths in the complete graph with ege-lengths 1,2,3. Electron. J. Combin. 17 (2010) #R44. [14] Costa S., Morini F., Pasotti A., Pellegrini M.A., Simple Heffter arrays an orthogonal cyclic cycle systems. In preparation. [15] Dinitz J.H., Janiszewski, S.R., On Hamiltonian paths with prescribe ege lengths in the complete graph. Bull. Inst. Combin. Appl., (2009).

11 A PROBLEM ON PARTIAL SUMS IN ABELIAN GROUPS 11 [16] Dinitz J.H., Mattern, A.R.W., Biembeing Steiner triple systems an n-cycle systems on orientable surfaces. Austral. J. Combin. 67, (2017). [17] Dinitz J.H., Wanless I.M., The existence of square integer Heffter arrays. Ars Math. Contemp. 13, (2017). [18] Evans A.B, Complete Mappings an Sequencings of Finite Groups, in: Hanbook of combinatorial esigns. Eite by Charles J. Colbourn an Jeffrey H. Dinitz. Secon eition. Discrete Mathematics an its Applications. Chapman & Hall/CRC, Boca Raton, [19] Heffter L., Ueber Tripelsysteme. Math. Ann. 49, (1897). [20] Horak P., Rosa A., On a problem of Marco Buratti. Electron. J. Combin. 16 (2009) #R20. [21] Pasotti A., Pellegrini M.A., A new result on the problem of Buratti, Horak, an Rosa. Discrete Math. 319, 1 14 (2014). [22] Pasotti A., Pellegrini M.A., On the Buratti-Horak-Rosa Conjecture about Hamiltonian paths in the complete graphs. Electron. J. Combin. 21 (2014) #P2.30. [23] Pasotti A., Pellegrini M.A., A generalization of the problem of Mariusz Meszka. Graphs Combin. 32, (2016). [24] Rosa A., On a problem of Mariusz Meszka. Discrete Math. 338, (2015). DICATAM - Sez. Matematica, Università egli Stui i Brescia, Via Branze 43, I Brescia, Italy aress: simone.costa@unibs.it Dipartimento i Scienze Matematiche, Fisiche e Informatiche, Università i Parma, Parco Area elle Scienze 53/A, I Parma, Italy aress: fiorenza.morini@unipr.it DICATAM - Sez. Matematica, Università egli Stui i Brescia, Via Branze 43, I Brescia, Italy aress: anita.pasotti@unibs.it Dipartimento i Matematica e Fisica, Università Cattolica el Sacro Cuore, Via Musei 41, I Brescia, Italy aress: marcoantonio.pellegrini@unicatt.it