arXiv++ Combinatorics

A string attractor of a string $T[1..|T|]$ is a set of positions $Γ$ of $T$ such that any nonempty substring $w$ of $T$ has an occurrence that crosses a position in $Γ$, i.e., there is a position $i$ such that $w = T[i..i+|w|-1]$ and the intersection $[i,i+|w|-1]\cap Γ$ is nonempty. The size of the smallest string attractor of Fibonacci words and period-doubling words of length at least $2$ is known to be $2$. The size of the smallest string attractor of Thue--Morse words of length at least $25$ is known to be $4$. We completely characterize the set of all smallest string attractors of Fibonacci words, period-doubling words, and Thue--Morse words. For Fibonacci words, we show a recursive formula describing the $2^{n-4} + 2^{\lceil n/2 \rceil - 2}$ distinct position pairs that are the smallest string attractors of the $n$th Fibonacci word for $n \geq 7$. For period-doubling words, we show that the $n$th period-doubling word has exactly two smallest string attractors for every $n\geq 2$, and give them explicitly. For Thue--Morse words, we show a formula describing the 32 sets of four positions that are the smallest string attractors of the $n$th Thue--Morse word for $n\geq 6$. Our results show that strings with the same smallest attractor size can have a drastically different number of distinct smallest attractors.

We extend the analysis of nonrepetitive sequences of Entringer et al. [Journal of Combinatorial Theory, 1974] to relaxations of equality testing under nonstandard equivalence relations, in particular parameterized equivalence and order-preserving equivalence. For this setting, we introduce $\ell^+$-squares, defined as squares whose total length is at least $2\ell$. Using morphic constructions, we obtain an infinite $3^+$-parameterized-square-free ternary word and an infinite $3^+$-order-preserving-square-free binary word. In addition, we report the longest $\ell^+$-square-free words across several equivalence relations.

We characterize those strings whose suffix arrays are based on arithmetic progressions, in particular, arithmetically progressed permutations where all pairs of successive entries of the permutation have the same difference modulo the respective string length. We show that an arithmetically progressed permutation $P$ coincides with the suffix array of a unary, binary, or ternary string. We further analyze the conditions of a given $P$ under which we can find a uniquely defined string over either a binary or ternary alphabet having $P$ as its suffix array. For the binary case, we show its connection to lower Christoffel words, balanced words, and Fibonacci words. In addition to solving the arithmetically progressed suffix array problem, we give the shape of the Burrows-Wheeler transform of those strings solving this problem. These results give rise to numerous future research directions.