Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. For every prime , every of size whose elements have nonzero sum has an ordering whose partial sums are distinct, the question of Problem 475 for those sets. The site credits the range to J. Hicks, M. A. Ollis and J. R. Schmitt, Distinct partial sums in cyclic groups: polynomial method and constructive approaches, and their references. The paper's own result is Theorem 4.6 (p. 15 of the arXiv version): Alspach's conjecture holds for prime and , that is, every of size with nonzero sum has an ordering whose partial sums are distinct and nonzero, by an explicit construction from rotational sequencings of in which the two omitted elements are adjacent, built from graceful permutations (Theorem 4.3, Lemmas 4.4 and 4.5, with two exceptional pairs handled separately). The sizes and are Bode and Harborth's, on their claim page; this paper reproves the odd case as its Theorem 4.3. Alspach's conclusion (partial sums distinct and nonzero) is stronger than the problem's, so Theorem 4.6 gives the problem's statement for every -subset with nonzero sum. It says nothing about a zero-sum set: the proof sets the case of the omitted pair aside (p. 16). The implication of Archdeacon, Dinitz, Mattern and Stinson (J. Combin. Math. Combin. Comput. 98 (2016); the paper's [8]) is stated by the paper on p. 2 for the conjectures as wholes, without sizes. Its proof orders a zero-sum set of size by appending one element to an Alspach ordering of the other (their Proposition 1.1, arXiv:1501.06872; Costa and Pellegrini, p. 7). So the zero-sum -subsets would need Alspach's conjecture at size , which no cited result gives. Kravitz (arXiv:2407.01835, p. 1) states this range as "a non-zero sum set of size or ". Read depth: the statements of Theorems 4.3 and 4.6 and Lemma 4.4 are checked in the arXiv version, and the proof of Theorem 4.6 (pp. 15--16) is read for structure, not checked.
Covers. Every prime : every -subset of with nonzero sum. Not the zero-sum -subsets , and nothing about for a fixed prime.
Depends on. Nothing in this wiki: the result is the paper's own, filed on its library result page.
Acceptance. Refereed publication: Journal of Combinatorial Designs 27
(2019), no. 6, 369--385, published online 31 January 2019 (Crossref record;
the journal text is not held and not compared with the arXiv version). The
site's commentary credits the range to this paper and its
references, but the site's label DECIDABLE leaves the problem open and settles
no part of it, so that credit is not reviewed evidence.