arXiv++ Combinatorics

We consider $m\times n$ rectangular matrices formed from Sturmian words with slope $α$ and we fully characterise their balance properties in terms of the Ostrowski representations of $m$ an $n$ with respect to $α$. This generalises recent results by Anselmo et al., as well as by Shallit and Vukusic, where only quadratic irrationals $α$ were considered. In contrast to the two mentioned papers, our approach is based on the distribution of $nα\bmod 1$.

Following a recent paper of Anselmo et al., we consider $m \times n$ rectangular matrices formed from the Fibonacci word, and we show that their balance properties can be solved with a finite automaton. We also generalize the result to every Sturmian characteristic word corresponding to a quadratic irrational. Finally, we also examine the analogous question for the Tribonacci word and the Thue-Morse word.

The additive square problem is a relatively famous open problem in the area of combinatorics on words: Does there exist an infinite word over a finite alphabet, such that no two consecutive blocks of the same length have the same sum? In this note we solve a Lebesgue integral variant of the problem. The proof is based on Lebesgue's density theorem.