A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining thereby a shorter word. By repeating this process, a square-free word is eventually reached, which we call a \emph{reduct} of the original word.
How many different reducts a single word may have? It is not hard to prove that any binary word has exactly one reduct. We prove that there exist ternary words with arbitrarily many reducts. Moreover, the function counting the maximum number of reducts a ternary word of length $n$ may have grows exponentially. We also prove that over four letters, there exist words with any given number of reducts, which does not seem to be the case for ternary words. Finally, we demonstrate that the set of all finite ternary words splits into finitely many classes of \emph{related} words (one may get from one word to the other by a sequence of square reductions and factor duplications). A few open questions are posed concerning some structures on words defined with the use of the square reduction.
We consider words $w$ over the alphabet $Σ=\{0,1,2\}$. It is shown that there are irreducibly square-free words of all lengths $n$ except 4,5,7 and 12. Such a word is square-free (i.e., it has no repetitions $uu$ as factors), but by removing any one internal letter creates a square in the word.
We characterize exactly the lengths of binary circular words containing no squares other than 00, 11, and 0101. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences
A word is \emph{square-free} if it does not contain non-empty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over $3$-letter alphabet. We consider a new type of square-free words. A square-free word is \emph{extremal} if it cannot be extended to a new square-free word by inserting a single letter on arbitrary position. We prove that there exist infinitely many extremal words over $3$-letter alphabet. Some parts of our construction relies on computer verifications. We also pose some related open problems.
A word is level if each letter appears in it the same number of times, plus or minus 1. We give a complete characterization of the lengths for which level ternary circular square-free words exist. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences
A square is a concatenation of two identical words, and a word $w$ is said to have a square $yy$ if $w$ can be written as $xyyz$ for some words $x$ and $z$. It is known that the ratio of the number of distinct squares in a word to its length is less than two and any location of a word could begin with at most two rightmost distinct squares. A square whose first location starts with the last occurrence of two distinct squares is an FS-double square. We explore and identify the conditions to generate a sequence of locations in a word that starts with FS-double squares. We first find the structur…
A word is square-free if it does not contain nonempty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over a $3$-letter alphabet. It was proved recently [7] that among these words there are infinitely many extremal ones, that is, having a square in every single-letter extension. We study diverse problems concerning extensions of words preserving the property of avoiding squares. Our main motivation is the conjecture stating that there are no extremal words over a $4$-letter alphabet. We also investigate a natural recursive procedure of generati…
A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with additional properties involving single-letter deletions and extensions of words. A square-free word is steady if it remains square-free after deletion of any single letter. We prove that there exist infinitely many steady words over a $4$-letter alphabet. We also demonstrate that one may construct steady words of any length by picking letters from arbitrary …
In a recent paper, Harju posed three open problems concerning square-free arithmetic progressions in infinite words. In this note we solve two of them.
We consider partial words with a unique position starting a power. We show that over a $k$ letter alphabet, a partial word with a unique position starting a square can contain at most $k$ squares. This is in contrast to full words which can contain at most one power if a unique position starts a power. For certain higher powers we exhibit binary partial words containing three powers all of which start at the same position.
A {\em square} is a word of the form $uu$. In this paper we prove that for a given finite word $w$, the number of distinct square factors of $w$ is bounded by $|w|-|\Alphabet(w)|+1$, where $|w|$ denotes the length of $w$ and $|\Alphabet(w)|$ denotes the number of distinct letters in $w$. This result answers a conjecture of Fraenkel and Simpson stated in 1998.
We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap, cube). A squarefree (respectively, overlap-free, cubefree) word is delicate if changing any one of its letters creates a square (respectively, overlap, cube). We classify the lengths of irreducible and delicate squarefree, overlap-free, and cubefree words over binary and ternary alphabets.
We show that every infinite word $ω$ on a finite subset of $\mathbb{Z}$ must contain arbitrarily large factors $B_1B_2$ which are "close" to being \textit{additive squares}. We also show that for all $k>1, \ ω$ must contain a factor $U_1U_2 ... U_k$ where $U_1,U_2,..., U_k$ all have the same \textit{average.}
We consider sets of factors that can be avoided in square-free words on two-generator free groups. The elements of the group are presented in terms of 0,1,2,3 such that 0 and 2 (resp.,1 and 3) are inverses of each other so that 02, 20, 13 and 31 do not occur in a reduced word. A Dean word is a reduced word that does not contain occurrences of $uu$ for any nonempty $u$. Dean showed in 1965 that there exist infinite square-free reduced words. We show that if $w$ is a Dean word of length at least 59 then there are at most six reduced words of length 3 avoided by $w$. We construct an infinite Dean…
We prove that the `connective constant' for ternary square-free words is at least $2^{1/17} = 1.0416 ... $, improving on Brinkhuis and Brandenburg's lower bounds of $2^{1/24}=1.0293 ...$ and $2^{1/22}=1.032 ...$ respectively. This is the first improvement since 1983.
A Tighter Upper Bound for the Number of Distinct Squares in Circular Words
Hangzhou International Innovation Institute of Beihang University（北京航空航天大学杭州国际创新学院）；LMIB-School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）
Carpi constructed an infinite word over a 4-letter alphabet that avoids squares in all subsequences indexed by arithmetic progressions of odd difference. We show a connection between Carpi's construction and the paperfolding words. We extend Carpi's result by constructing uncountably many words that avoid squares in arithmetic progressions of odd difference. We also construct infinite words avoiding overlaps and infinite words avoiding arbitrarily large squares in arithmetic progressions of odd difference. We use these words to construct labelings of the 2-dimensional integer lattice such that…
Improved upper and lower bounds on the number of square-free ternary words are obtained. The upper bound is based on the enumeration of square-free ternary words up to length 110. The lower bound is derived by constructing generalised Brinkhuis triples. The problem of finding such triples can essentially be reduced to a combinatorial problem, which can efficiently be treated by computer. In particular, it is shown that the number of square-free ternary words of length n grows at least as 65^(n/40), replacing the previous best lower bound of 2^(n/17).
A word is square-free if it does not contain any square (a word of the form $XX$), and is extremal square-free if it cannot be extended to a new square-free word by inserting a single letter at any position. Grytczuk, Kordulewski, and Niewiadomski proved that there exist infinitely many ternary extremal square-free words. We establish that there are no extremal square-free words over any alphabet of size at least 17.
We are interested in the maximal number of distinct squares in a word. This problem was introduced by Fraenkel and Simpson, who presented a bound of 2n for a word of length n, and conjectured that the bound was less than n. Being that the problem is on repetitions, their solution relies on Fine and Wilf's Periodicity lemma. Ilie then refined their result and presented a bound of 2n-O(log n). Lam used an induction to get a bound of 95n/48. Deza, Franek and Thierry achieved a bound of 11n/6 through a combinatorial approach. Using the properties of the core of the interrupt, presented by Thierry,…
We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad.
We construct infinite cubefree binary words containing exponentially many distinct squares of length n. We also show that for every positive integer n, there is a cubefree binary square of length 2n.
For any integer $k>2$, the infinite $k$-bonacci word $W^{(k)}$, on the infinite alphabet is defined as the fixed point of the morphism $φ_k:\mathbb{N}\rightarrow \mathbb{N}^2 \cup \mathbb{N}$, where \begin{equation*} φ_k(ki+j) = \left\{ \begin{array}{ll} (ki)(ki+j+1) & \text{if } j = 0,\cdots ,k-2, (ki+j+1)& \text{if } j =k-1. \end{array} \right. \end{equation*} The finite $k$-bonacci word $W^{(k)}_n$ is then defined as the prefix of $W^{(k)}$ whose length is the $(n+k)$-th $k$-bonacci number. We obtain the structure of all square factors occurring in $W^{(k)}$. Moreover, we prove that the cri…
An efficient, when compared to exhaustive enumeration, algorithm for computing the number of square-free words of length $n$ over the alphabet $\{a, b, c\}$ is presented.
A position $p$ in a word $w$ is critical if the minimal local period at $p$ is equal to the global period of $w$. According to the Critical Factorisation Theorem all words of length at least two have a critical point. We study the number $η(w)$ of critical points of square-free ternary words $w$, i.e., words over a three letter alphabet. We show that the sufficiently long square-free words $w$ satisfy $η(w) \le |w|-5$ where $|w|$ denotes the length of $w$. Moreover, the bound $|w|-5$ is reached by infinitely many words. On the other hand, every square-free word $w$ has at least $|w|/4$ critica…
A square-free word $w$ over a fixed alphabet $Σ$ is extremal if every word obtained from $w$ by inserting a single letter from $Σ$ (at any position) contains a square. Grytczuk et al. recently introduced the concept of extremal square-free word, and demonstrated that there are arbitrarily long extremal square-free ternary words. We find all lengths which admit an extremal square-free ternary word. In particular, we show that there is an extremal square-free ternary word of every sufficiently large length. We also solve the analogous problem for circular words.
We consider three aspects of avoiding large squares in infinite binary words. First, we construct an infinite binary word avoiding both cubes xxx and squares yy with |y| >= 4; our construction is somewhat simpler than the original construction of Dekking. Second, we construct an infinite binary word avoiding all squares except 00, 11, and 0101; our construction is somewhat simpler than the original construction of Fraenkel and Simpson. In both cases, we also show how to modify our construction to obtain exponentially many words of length n with the given avoidance properties. Finally, we answe…
A power is a word of the form $\underbrace{uu...u}_{k \; \text{times}}$, where $u$ is a word and $k$ is a positive integer and a square is a word of the form $uu$. Fraenkel and Simpson conjectured in 1998 that the number of distinct squares in a word is bounded by the length of the word. This conjecture was proven recently by Brlek and Li. Besides, there exists a stronger upper bound for binary words conjectured by Jonoska, Manea and Seki stating that for a word of length $n$ over the alphabet $\left\{a, b\right\}$, if we let $k$ be the least of the number of a's and the number of b's and $k \…
In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results.
Fraenkel and Simpson showed that the number of distinct squares in a word of length n is bounded from above by 2n, since at most two distinct squares have their rightmost, or last, occurrence begin at each position. Improvements by Ilie to $2n-Θ(\log n)$ and by Deza et al. to 11n/6 rely on the study of combinatorics of FS-double-squares, when the maximum number of two last occurrences of squares begin. In this paper, we first study how to maximize runs of FS-double-squares in the prefix of a word. We show that for a given positive integer m, the minimum length of a word beginning with m FS-dou…
We consider words over a binary alphabet. A word $w$ is overlap-free if it does not have factors (blocks of consecutive letters) of the form $uvuvu$ for nonempty $u$. Let $M(w)$ denote the number of positions that are middle positions of squares in $w$. We show that for overlap-free binary words, $2M(w) \le |w|+3$, and that there are infinitely many overlap-free binary words for which $2M(w)=|w|+3$.
A word w is rich if it has |w|+1 many distinct palindromic factors, including the empty word. A word is square-free if it does not have a factor uu, where u is a non-empty word. Pelantová and Starosta (Discrete Math. 313 (2013)) proved that every infinite rich word contains a square. We will give another proof for that result. Pelantová and Starosta denoted by r(n) the length of a longest rich square-free word on an alphabet of size n. The exact value of r(n) was left as an open question. We will give an upper and a lower bound for r(n), and make a conjecture that our lower bound is exact. We …
We enumerate all ternary length-l square-free words, which are words avoiding squares of words up to length l, for l<=24. We analyse the singular behaviour of the corresponding generating functions. This leads to new upper entropy bounds for ternary square-free words. We then consider ternary square-free words with fixed letter densities, thereby proving exponential growth for certain ensembles with various letter densities. We derive consequences for the free energy and entropy of ternary square-free words.
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Graduate School of Informatics and Engineering, University of Electro-Communications（电子通信大学信息与工程研究生院）；Department of Computer Science and Engineering, University of Yamanashi（山梨大学计算机科学与工程系）；Department of Informatics, Kyushu University（九州大学信息学系）
Let $u \shuffle v$ denote the set of all shuffles of the words $u$ and $v$. It is shown that for each integer $n \geq 3$ there exists a square-free ternary word $u$ of length $n$ such that $u\shuffle u$ contains a square-free word. This property is then shown to also hold for infinite words, i.e., there exists an infinite square-free word $u$ on three letters such that $u$ can be shuffled with itself to produce an infinite square-free word $w \in u \shuffle u$.
Building an infinite square-free word by appending one letter at a time while simultaneously avoiding the creation of squares is most likely to fail. When the alphabet has two letters this approach is impossible. When the alphabet has three or more letters, one will most probably create a word in which the addition of any letter invariably creates a square. When one restricts the set of undesired squares to a finite one, this can be possible. We study the constraints on the alphabet and the set of squares which permit this approach to work.
A word $\bar{w} = \bar{u}\bar{u}$ is a $long$ $square$ if $\bar{u}$ is of length at least 3; a word $\bar{w}$ is $long$-$square$-$free$ if $\bar{w}$ contains no sub-word that is a long square. We can use words to generate graph colorings; a graph coloring is called $long$-$repetition$-$free$ if the word formed by the coloring of each path in the graph is long-square-free. Our results show that every rooted tree of radius less than or equal to seven is long-repetition-free two-colorable. We also prove there exists a class of trees which are not long-repetition-free two-colorable.
An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain $Θ(n^2)$ distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length $n$ grows quadratically with $n$.
In combinatorics on words, a word $w$ over an alphabet $Σ$ is said to avoid a pattern $p$ over an alphabet $Δ$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:Δ^*\toΣ^*$ is a non-erasing morphism. A pattern $p$ is said to be $k$-avoidable if there exists an infinite word over a $k$-letter alphabet that avoids $p$. A pattern is \emph{doubled} if every variable occurs at least twice. Doubled patterns are known to be $3$-avoidable. Currie, Mol, and Rampersad have considered a generalized notion which allows variable occurrences to be reversed. That is, $h(V^R)$ is the mirror image of…
In 1976, Dekking showed that there exists an infinite binary word that contains neither squares yy with y >= 4 nor cubes xxx. We show that `cube' can be replaced by any fractional power > 5/2. We also consider the analogous problem where `4' is replaced by any integer. This results in an interesting and subtle hierarchy.
An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain at most $Θ(n^2)$ distinct factors, and there exist words of length $n$ containing $Θ(n^2)$ distinct abelian-square factors, that is, distinct factors that are abelian squares. This motivates us to study infinite words such that the number of distinct abelian-square factors of length $n$ grows quadratically with $n$. More precisely, we say that an infinite word $w$ is {\it abelian-square-rich} if, for every $n$, every factor of $w$ of length $n$ contains, on average, a number o…
Richomme asked the following question: what is the infimum of the real numbers $α$ > 2 such that there exists an infinite word that avoids $α$-powers but contains arbitrarily large squares beginning at every position? We resolve this question in the case of a binary alphabet by showing that the answer is $α$ = 7/3.
We introduce new avoidability problems for words by considering equivalence relations, k-abelian equivalences, which lie properly in between equality and commutative equality, i.e. abelian equality. For two k-abelian equivalent words the numbers of occurrences of different factors of length k coincide and the prefixies (resp. suffixies) of length k-1 are equal as well. The size of the smallest alphabet avoiding 2-repetitions of words, i.e. squares, is three and for abelian squares it is four. It follows that for 2-abelian squares this size has to be three or four. Similarly, the size of the sm…
We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps.
Entringer, Jackson, and Schatz conjectured in 1974 that every infinite cubefree binary word contains arbitrarily long squares. In this paper we show this conjecture is false: there exist infinite cubefree binary words avoiding all squares xx with |x| >= 4, and the number 4 is best possible. However, the Entringer-Jackson-Schatz conjecture is true if "cubefree" is replaced with "overlap-free".
In this paper we answer two recent questions from Charlier et al. and Harju about self-shuffling words. An infinite word $w$ is called self-shuffling, if $w=\prod_{i=0}^\infty U_iV_i=\prod_{i=0}^\infty U_i=\prod_{i=0}^\infty V_i$ for some finite words $U_i$, $V_i$. Harju recently asked whether square-free self-shuffling words exist. We answer this question affirmatively. Besides that, we build an infinite word such that no word in its shift orbit closure is self-shuffling, answering positively a question from Charlier et al.
We introduce the notion of general prints of a word, which is substantialized by certain canonical decompositions, to study repetition in words. These associated decompositions, when applied recursively on a word, result in what we term as core prints of the word. The length of the path to attain a core print of a general word is scrutinized. This paper also studies the class of square-free ternary words with respect to the Parikh matrix mapping, which is an extension of the classical Parikh mapping. It is shown that there are only finitely many matrix-equivalence classes of ternary words such…
A finite word $w$ is an abelian square if $w = xx^\prime$ with $x^\prime$ a permutation of $x$. In 1972, Entringer, Jackson, and Schatz proved that every binary word of length $k^2 + 6k$ contains an abelian square of length $\geq 2k$. We use Cartesian lattice paths to characterize abelian squares in binary sequences, and construct a binary word of length $q(q+1)$ avoiding abelian squares of length $\geq 2\sqrt{2q(q+1)}$ or greater. We thus prove that the length of the longest binary word avoiding abelian squares of length $2k$ is $Θ(k^2)$.
We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments to prove that the constructions have the desired property, we rely instead on theorem-proving software for their correctness.
