-
Grid-Based Graphs, Linear Realizations and the Buratti-Horak-Rosa Conjecture
Authors:
Onur Agirseven,
M. A. Ollis
Abstract:
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…
▽ More
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$.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
A Comment on Dean's Construction of Prime Labelings on Ladders
Authors:
Stephen J. Curran,
M. A. Ollis
Abstract:
A prime labeling on a graph of order $m$ is an assignment of $\{ 1, 2, \ldots, m \}$ to the vertices of the graph such that each pair of adjacent vertices has coprime labels. The ladder of order $2n$ is the $2 \times n$ grid graph graph $P_2 \times P_n$. In a recent paper, Dean claimed a proof of the Prime Ladder Conjecture that every ladder has a prime labeling. We point out a flaw in Dean's cons…
▽ More
A prime labeling on a graph of order $m$ is an assignment of $\{ 1, 2, \ldots, m \}$ to the vertices of the graph such that each pair of adjacent vertices has coprime labels. The ladder of order $2n$ is the $2 \times n$ grid graph graph $P_2 \times P_n$. In a recent paper, Dean claimed a proof of the Prime Ladder Conjecture that every ladder has a prime labeling. We point out a flaw in Dean's construction, showing that a stronger hypothesis is needed for it to hold. We conjecture that this stronger hypothesis is true. We also offer an alternative construction inspired by Dean's approach which shows that if the Even Goldbach Conjecture and a particular strengthening of Lemoine's Conjecture are true then the Prime Ladder Conjecture follows.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Sequencings in Semidirect Products via the Polynomial Method
Authors:
Simone Costa,
Stefano Della Fiore,
M. A. Ollis
Abstract:
The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these…
▽ More
The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these notions of sequenceability in semidirect products using the polynomial method. We show that every subset of order $k$ of the non-identity elements of the dihedral group of order $2m$ has a linear sequencing when $k \leq 12$ and either $m>3$ is prime or every prime factor of $m$ is larger than $k!$, unless $s_k$ is unavoidably the identity; that every subset of order $k$ of a non-abelian group of order three times a prime has a linear sequencing when $5 < k \leq 10$, unless $s_k$ is unavoidably the identity; and that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p>3$ is prime, $e \leq 3$ and $t \leq 6$.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
On Sequences in Cyclic Groups with Distinct Partial Sums
Authors:
Simone Costa,
Stefano Della Fiore,
M. A. Ollis,
Sarah Z. Rovner-Frydman
Abstract:
A subset of an abelian group is {\em sequenceable} if there is an ordering $(x_1, \ldots, x_k)$ of its elements such that the partial sums $(y_0, y_1, \ldots, y_k)$, given by $y_0 = 0$ and $y_i = \sum_{j=1}^i x_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $y_k = y_0 = 0$. We demonstrate the sequenceability of subsets of size $k$ of…
▽ More
A subset of an abelian group is {\em sequenceable} if there is an ordering $(x_1, \ldots, x_k)$ of its elements such that the partial sums $(y_0, y_1, \ldots, y_k)$, given by $y_0 = 0$ and $y_i = \sum_{j=1}^i x_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $y_k = y_0 = 0$. We demonstrate the sequenceability of subsets of size $k$ of $\mathbb{Z}_n \setminus \{ 0 \}$ when $n = mt$ in many cases, including when $m$ is either prime or has all prime factors larger than $k! /2$ for $k \leq 11$ and $t \leq 5$ and for $k=12$ and $t \leq 4$. We obtain similar, but partial, results for $13 \leq k \leq 15$. This represents progress on a variety of questions and conjectures in the literature concerning the sequenceability of subsets of abelian groups, which we combine and summarize into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable.
△ Less
Submitted 1 April, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
The Buratti-Horak-Rosa Conjecture Holds for Some Underlying Sets of Size Three
Authors:
Pranit Chand,
M. A. Ollis
Abstract:
The Buratti-Horak-Rosa Conjecture concerns the possible multisets of edge-labels of a Hamiltonian path in the complete graph with vertex labels $0, 1, \ldots, {v-1}$ under a particular induced edge-labeling. The conjecture has been shown to hold when the underlying set of the multiset has size at most~2, is a subset of $\{1,2,3,4\}$ or $\{1,2,3,5\}$, or is $\{1,2,6\}$, $\{1,2,8\}$ or $\{1,4,5\}$,…
▽ More
The Buratti-Horak-Rosa Conjecture concerns the possible multisets of edge-labels of a Hamiltonian path in the complete graph with vertex labels $0, 1, \ldots, {v-1}$ under a particular induced edge-labeling. The conjecture has been shown to hold when the underlying set of the multiset has size at most~2, is a subset of $\{1,2,3,4\}$ or $\{1,2,3,5\}$, or is $\{1,2,6\}$, $\{1,2,8\}$ or $\{1,4,5\}$, as well as partial results for many other underlying sets. We use the method of growable realizations to show that the conjecture holds for each underlying set $U = \{ x,y,z \}$ when $\max(U) \leq 7$ or when $xyz \leq 24$, with the possible exception of $U = \{1,2,11\}$. We also show that for any even $x$ the validity of the conjecture for the underlying set $\{ 1,2,x \}$ follows from the validity of the conjecture for finitely many multisets with this underlying set.
△ Less
Submitted 15 February, 2022;
originally announced February 2022.
-
Growable Realizations: a Powerful Approach to the Buratti-Horak-Rosa Conjecture
Authors:
M. A. Ollis,
Anita Pasotti,
Marco A. Pellegrini,
John R. Schmitt
Abstract:
Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly…
▽ More
Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ appearing in $L$ is at most $v-d$.
We introduce "growable realizations," which enable us to prove many new instances of the conjecture and to reprove known results in a simpler way. As examples of the new method, we give a complete solution when the underlying set is contained in $\{ 1,4,5 \}$ or in $\{ 1,2,3,4 \}$ and a partial result when the underlying set has the form $\{ 1, x, 2x \}$. We believe that for any set $U$ of positive integers there is a finite set of growable realizations that implies the truth of the Buratti-Horak-Rosa Conjecture for all but finitely many multisets with underlying set $U$.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
New methods to attack the Buratti-Horak-Rosa conjecture
Authors:
M. A. Ollis,
Anita Pasotti,
Marco A. Pellegrini,
John R. Schmitt
Abstract:
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in…
▽ More
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.
△ Less
Submitted 12 December, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Roman and Vatican Crossover Designs
Authors:
M. A. Ollis
Abstract:
Latin squares with a balance property among adjacent pairs of symbols---being "Roman" or "row-complete"---have long been used as uniform crossover designs with the number of treatments, periods and subjects all equal. This has been generalized in two ways: to crossover designs with more subjects and to balance properties at greater distances. We consider both of these simultaneously, introducing a…
▽ More
Latin squares with a balance property among adjacent pairs of symbols---being "Roman" or "row-complete"---have long been used as uniform crossover designs with the number of treatments, periods and subjects all equal. This has been generalized in two ways: to crossover designs with more subjects and to balance properties at greater distances. We consider both of these simultaneously, introducing and constructing {\em Vatican designs}: these have $\ell t$ subjects, $t$ periods and treatments, and, for each $d$ in the range $1 \leq d < t$, the number of times that any subject receives treatment $j$ exactly $d$ periods after receiving treatment $i$ is at most $\ell$. Results include showing the existence of Vatican designs when $t+1$ is prime (for any $\ell$), when $5 \leq t \leq 14$ and $\ell >1$, and when $t \in \{ 3,15 \}$ and $\ell$ is even.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
Sequences in Dihedral Groups with Distinct Partial Products
Authors:
M. A. Ollis
Abstract:
Given a subset $S$ of the non-identity elements of the dihedral group of order $2m$, is it possible to order the elements of $S$ so that the partial products are distinct? This is equivalent to the sequenceability of the group when $|S| = 2m-1$ and so it is known that the answer is yes in this case if and only if $m>4$. We show that the answer is yes when $|S| \leq 9$ and $m$ is an odd prime other…
▽ More
Given a subset $S$ of the non-identity elements of the dihedral group of order $2m$, is it possible to order the elements of $S$ so that the partial products are distinct? This is equivalent to the sequenceability of the group when $|S| = 2m-1$ and so it is known that the answer is yes in this case if and only if $m>4$. We show that the answer is yes when $|S| \leq 9$ and $m$ is an odd prime other than 3, when $|S| = 2m-2$ and $m$ is even or prime, and when $|S| = 2m-2$ for many instances of the problem when $m$ is odd and composite. We also consider the problem in the more general setting of arbitrary non-abelian groups and discuss connections between this work and the concept of strong sequenceability.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
The spectrum of group-based Latin squares
Authors:
M. A. Ollis,
Christopher R. Tripp
Abstract:
We construct sequencings for many groups that are a semi-direct product of an odd-order abelian group and a cyclic group of odd prime order. It follows from these constructions that there is a group-based complete Latin square of order $n$ if and only if $n \in \{ 1,2,4\}$ or there is a non-abelian group of order $n$.
We construct sequencings for many groups that are a semi-direct product of an odd-order abelian group and a cyclic group of odd prime order. It follows from these constructions that there is a group-based complete Latin square of order $n$ if and only if $n \in \{ 1,2,4\}$ or there is a non-abelian group of order $n$.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches
Authors:
Jacob Hicks,
M. A. Ollis,
John. R. Schmitt
Abstract:
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possib…
▽ More
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possible to find an ordering of the elements of $A$ such that no two of its partial sums $s_i$ and $s_j$ are equal for $0 \leq i < j \leq k$. We show that Alspach's Conjecture holds for prime $n$ when $k \geq n-3$ and when $k \leq 10$. The former result is by direct construction, the latter is non-constructive and uses the polynomial method. We also use the polynomial method to show that for prime $n$ a sequence of length $k$ having distinct partial sums exists in any subset of $\Z_n \setminus \{0\}$ of size at least $2k- \sqrt{8k}$ in all but at most a bounded number of cases.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Infinite Latin Squares: Neighbor Balance and Orthogonality
Authors:
Anthony B. Evans,
Gage N. Martin,
Kaethe Minden,
M. A. Ollis
Abstract:
Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite orde…
▽ More
Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete map**; and, with some possible exceptions, infinite abelian groups have a strong complete map**.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
Terraces for Small Groups
Authors:
M. A. Ollis
Abstract:
We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups $A_6$,…
▽ More
We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups $A_6$, $S_6$, $PSL(2,q_1)$ and $PGL(2, q_2)$ where $q_1$ and $q_2$ are prime powers with $3 \leq q_1 \leq 11$ and $3 \leq q_2 \leq 8$. A sequencing for a group of a given order implies the existence of a complete latin square at that order. We show that there is a sequenceable group for each odd order up to 555 at which there is a non-abelian group. This gives 31 new orders at which complete latin squares are now known to exist, the smallest of which is 63. In addition, we consider terraces with some special properties, including constructing a directed $T_2$-terrace for the non-abelian group of order 21 and hence a Roman-2 square of order 21 (the first known such square of odd order). Finally we report the total number terraces and directed terraces for groups of order at most 15.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.