A subset A $A$ of an abelian group G $G$ is sequenceable if there is an ordering ( a 1 , horizontal ellipsis , a k ) $({a}_{1},\ldots ,{a}_{k})$ of its elements such that the partial sums ( s 0 , s 1 , horizontal ellipsis , s k ) $({s}_{0},{s}_{1},\ldots ,{s}_{k})$, given by s 0 = 0 ${s}_{0}=0$ and s i = n-ary sumation j = 1 i a j ${s}_{i}={\sum }_{j=1}<^>{i}{a}_{j}$ for 1 <= i <= k $1\le i\le k$, are distinct, with the possible exception that we may have s k = s 0 = 0 ${s}_{k}={s}_{0}=0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized by Alspach and Liversidge into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set A $A$ do not sum to 0 then there exists a simple path P $P$ in the Cayley graph C a y [ G : +/- A ] $Cay[G:\pm A]$ such that Delta ( P ) = +/- A ${\rm{\Delta }}(P)=\pm A$. In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk W $W$ of girth bigger than t $t$ (for a given t < k $t\lt k$) and such that Delta ( W ) = +/- A ${\rm{\Delta }}(W)=\pm A$. This is possible given that the partial sums s i ${s}_{i}$ and s j ${s}_{j}$ are different whenever i $i$ and j $j$ are distinct and divide i - j divide <= t $| i-j| \le t$. In this case, we say that the set A $A$ is t $t$-weakly sequenceable. The main result here presented is that any subset A $A$ of Z p ⧹ { 0 } ${{\mathbb{Z}}}_{p}\setminus \{0\}$ is t $t$-weakly sequenceable whenever t < 7 $t\lt 7$ or when A $A$ does not contain pairs of type { x , - x } $\{x,-x\}$ and t < 8 $t\lt 8$.
Weak sequenceability in cyclic groups
Costa, S;Della Fiore, S
2022-01-01
Abstract
A subset A $A$ of an abelian group G $G$ is sequenceable if there is an ordering ( a 1 , horizontal ellipsis , a k ) $({a}_{1},\ldots ,{a}_{k})$ of its elements such that the partial sums ( s 0 , s 1 , horizontal ellipsis , s k ) $({s}_{0},{s}_{1},\ldots ,{s}_{k})$, given by s 0 = 0 ${s}_{0}=0$ and s i = n-ary sumation j = 1 i a j ${s}_{i}={\sum }_{j=1}<^>{i}{a}_{j}$ for 1 <= i <= k $1\le i\le k$, are distinct, with the possible exception that we may have s k = s 0 = 0 ${s}_{k}={s}_{0}=0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized by Alspach and Liversidge into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set A $A$ do not sum to 0 then there exists a simple path P $P$ in the Cayley graph C a y [ G : +/- A ] $Cay[G:\pm A]$ such that Delta ( P ) = +/- A ${\rm{\Delta }}(P)=\pm A$. In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk W $W$ of girth bigger than t $t$ (for a given t < k $t\lt k$) and such that Delta ( W ) = +/- A ${\rm{\Delta }}(W)=\pm A$. This is possible given that the partial sums s i ${s}_{i}$ and s j ${s}_{j}$ are different whenever i $i$ and j $j$ are distinct and divide i - j divide <= t $| i-j| \le t$. In this case, we say that the set A $A$ is t $t$-weakly sequenceable. The main result here presented is that any subset A $A$ of Z p ⧹ { 0 } ${{\mathbb{Z}}}_{p}\setminus \{0\}$ is t $t$-weakly sequenceable whenever t < 7 $t\lt 7$ or when A $A$ does not contain pairs of type { x , - x } $\{x,-x\}$ and t < 8 $t\lt 8$.File | Dimensione | Formato | |
---|---|---|---|
J of Combinatorial Designs - 2022 - Costa - Weak sequenceability in cyclic groups (1).pdf
solo utenti autorizzati
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
603.82 kB
Formato
Adobe PDF
|
603.82 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.