arXiv++ Combinatorics

The triplication method for constructing strong starters in $Z_{3m}$ from starters in $Z_{m}$ (say, a starter of order 21 from a starter of order 7) was proposed by the authors in 2025. The method reduced construction of the particular combinatorial design (a strong starter in a cyclic group) to solving a Sudoku-type problem -- an independent task with its own tools and techniques available. The Sudoku-type problem was formulated in terms of the so-called triplication table constructed from a starter of order $m$. The method was applicable for odd orders $m\ge 7$ not divisible by 3. In the present paper, our previous approach is developed in two directions: (1) the definition of the triplication table is generalized, which expands possibilities for its construction to include three base starters or even ``pseudostarters''; (2) the formulation of the Sudoku-type problem is broadened to embrace various scenarios of ``modular encoding'' and reconstruction of strong starters from its solution. A theoretical gain of these developments consists in the improved understanding of the general structure of the triplication approach. A practical outcome is elimination of the requirement that $m$ be not divisible by 3. This leads to a broader scope of strong starters obtainable by triplication: any latent strong starter of odd order $3m$ can emerge this way.

A novel approach to building strong starters in cyclic groups of orders $n$ divisible by 3 from starters of smaller orders is presented. A strong starter in $Z_n$ ($n$ odd) is a partition of the set $\{1,2,\dots,n-1\}$ into pairs $\{a_i,b_i\}$ such that all pair sums $a_i+b_i$ are distinct and nonzero modulo $n$ and all differences $\pm(a_i-b_i)$ are distinct and nonzero modulo $n$. A special interest to strong starters of odd orders divisible by 3 is motivated by Horton's conjecture which claims that such starters exist (except when $n=3$ or $9$) but remains unproven since 1989. We begin with a strong starter of order $p$ coprime with 3 and describe an algorithm to obtain a Sudoku-type problem modulo 3 whose solution, if exists, yields a strong starter of order $3p$. The process leading from the original to the final starter is called {\em triplication}. Besides theoretical aspects of the construction, practicality of this approach is demonstrated. A general-purpose constraint-satisfaction (SAT) solver z3 is used to solve the Sudoku-type problem; various performance statistics are presented.

In 1991, Shalaby conjectured that any $\mathbb{Z}_{n}$, where $n\equiv 1$ or $3\pmod{8},\ n\ge 11$, admits a strong Skolem starter. In 2018, the authors explicitly constructed some infinite "cardioidal" families of strong Skolem starters. No other infinite families of these combinatorial designs were known to date. Statements regarding the products of starters, proven in this paper give a new way of generating strong or skew Skolem starters of composite orders. This approach extends our previous result by generating new infinite families that are not cardioidal. The products that we introduce in this paper are multi-valued binary operations which produce 2-partitions of the set $\mathbb{Z}^*_{nm}$ of integers modulo $nm$ without zero, from a pair of 2-partitions of $\mathbb{Z}^*_n$ and $\mathbb{Z}^*_m$, where $n, m\ge 3$ are odd integers. We prove several remarkable properties of these operations applied to starters in $\mathbb{Z}_n$ and to some other combinatorial objects that are 2-partitions of $\mathbb{Z}^*_n$ with additional restrictions, such as strong, skew, Skolem and cardioidal 2-partitions.

This paper concerns a class of combinatorial objects called Skolem starters, and more specifically, strong Skolem starters, which are generated by Skolem sequences. In 1991, Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or $3\pmod{8},\ n\ge11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\le n\le57$. Only finitely many strong Skolem starters have been known to date. In this paper, we offer a geometrical interpretation of strong Skolem starters and explicitly construct infinite families of them.