Abstract:Let $X$ be a finite sequence of length $m\geq 1$ in $\mathbb{Z}/n\mathbb{Z}$. The \textit{derived sequence} $\partial X$ of $X$ is the sequence of length $m-1$ obtained by pairwise adding consecutive terms of $X$. The collection of iterated derived sequences of $X$, until length 1 is reached, determines a triangle, the \textit{Steinhaus triangle $\Delta X$ generated by the sequence $X$}. We say that $X$ is \textit{balanced} if its Steinhaus triangle $\Delta X$ contains each element of $\mathbb{Z}/n\mathbb{Z}$ with the same multiplicity. An obvious necessary condition for $m$ to be the length of a balanced sequence in $\mathbb{Z}/n\mathbb{Z}$ is that $n$ divides the binomial coefficient $\binom{m+1}{2}$. It is an open problem to determine whether this condition on $m$ is also sufficient. This problem was posed by Hugo Steinhaus in 1963 for $n=2$ and generalized by John C. Molluzzo in 1976 for $n\geq3$. So far, only the case $n=2$ has been solved, by Heiko Harborth in 1972. In this paper, we answer positively Molluzzo's problem in the case $n=3^k$ for all $k\geq1$. Moreover, for every odd integer $n\geq3$, we construct infinitely many balanced sequences in $\mathbb{Z}/n\mathbb{Z}$. This is achieved by analysing the Steinhaus triangles generated by arithmetic progressions. In contrast, for any $n$ even with $n\geq4$, it is not known whether there exist infinitely many balanced sequences in $\mathbb{Z}/n\mathbb{Z}$. As for arithmetic progressions, still for $n$ even, we show that they are never balanced, except for exactly 8 cases occurring at $n=2$ and $n=6$.

On addition chains and progress on the Scholz conjecture

The Scholz conjecture on addition chain is true for infinitely many integers with $\ell(2n)= \ell(n)$

On the distribution of addition chains

Some New Methods to Generate Short Addition Chains

On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$

Chains and antichains in the Weihrauch lattice

On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice

Chain-dependent Conditions in Extremal Set Theory

Generalizations of an Ancient Greek Inequality about the Sequence of Primes

On a problem of Molluzzo concerning Steinhaus triangles in finite cyclic groups

A note on the complexity of addition

Chains, Koch Chains, and Point Sets with many Triangulations

Congruences involving Delannoy numbers and Schröder numbers

Goldbach's problem with primes in arithmetic progressions and in short intervals

An improvement to the Kelley-Meka bounds on three-term arithmetic progressions

On the 1-3-5 Conjecture and Related Topics

On product sets of arithmetic progressions

Primes in short arithmetic progressions

Solving systems of equations on antichains for the computation of the ninth Dedekind Number

On Chen's theorem, Goldbach's conjecture and almost prime twins

The largest prime factor of $n^2+1$ and improvements on subexponential $ABC$