Abstract:A square-free word is one which does not contain two consecutive occurrences of the same factor; a square-free morphism is one which produces a square-free word whenever applied to a square-free word. For testing square-freeness of a morphism, the previous researches (Berstel, Ehrenfeucht-Rozenberg, Crochemore, Hsiao et al., ...) dealt with the compactness claim: they proved that there is a bound (sometimes tight, depending on the morphism) such that a morphism is square-free if it is so on the words on the source alphabet of length up to this bound. In particular, when the morphism is ternary (the source alphabet of three letters) this bound is universally 5 and 5 is sharp on the target alphabet of 5 letters. In this paper we undertake a different approach: we do not search for any compactness bound or verify square-freeness excerpt for a few prerequisites; instead we define the relator on the source alphabet, the existence of which is relatively easy to verify by matching words for a common factor. As applications, we easily deduce all the previous bounds and we manifest the simplicity of performance by giving a short proof of a Lallement's result. More essentially, using it we show the optimum bound 5 for the ternary morphism on the alphabet of 4 letters and, by a more elaborate construction, on the alphabet of 3 letters. That gives the current problem the finishing touches.

A Small Morphism for which the Fixed Point has an Abelian Critical Exponent Less than 2

A small morphism giving Abelian repetition threshold less than 2

Critical exponent of binary words with few distinct palindromes

Extending Dekking's Construction of an Infinite Binary Word Avoiding Abelian 4-Powers

On a Test of Square-Free Morphisms

Power-free complementary binary morphisms

Morphic Words and Nested Recurrence Relations

AVOIDING ABELIAN POWERS IN BINARY WORDS WITH BOUNDED ABELIAN COMPLEXITY

The analogue of overlap-freeness for the Fibonacci morphism

Relative position in binary substitutions

Abelian Properties of Words (Extended abstract)

More characterizations of morphic words

3-anti-power uniform morphisms

A note on 3iet preserving morphisms

Dyck Words, Pattern Avoidance, and Automatic Sequences

Lyapunov exponents of the spectral cocycle for topological factors of bijective substitutions on two letters

Words with the Maximum Number of Abelian Squares

Morphic and Automatic Words: Maximal Blocks and Diophantine Approximation

Automatic Abelian Complexities of Parikh-Collinear Fixed Points

Abelian maximal pattern complexity of words