arXiv++ Combinatorics

An $n$-colouring of the real line is a Lebesgue measurable function $f \colon \mathbb{R} \to A$, where $A$ is a set of $n$ colours. An abelian square for $f$ is a finite interval $U\subseteq \mathbb{R}$ where every colour shows up in the left and in the right half of $U$ with exactly the same Lebesgue measure. It is known that every $2$-colouring contains an abelian square. On the other hand, Alon, Grytczuk, Laso{ń}, and Michałek (2009) proved that there exist $4$-colourings that avoid abelian squares, while the question for $3$-colourings remained open. We construct a $3$-colouring that avoids abelian squares, disproving a conjecture of Laso{ń} (2015). However, in contrast to the case of 4-colourings, the set of 3-colourings that avoid abelian squares is meagre. We show this using an argument based on the KKM lemma.

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.