English
Related papers

Related papers: Cubefree binary words avoiding long squares

200 papers

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…

Discrete Mathematics · Computer Science 2014-11-11 Mike Müller , Svetlana Puzynina , Michaël Rao

Fici and Saarela ([2]) conjectured that a binary word of length n contains at least $\lfloor n/4 \rfloor$ abelian squares. We slightly extend this conjecture and show that it holds in some special cases. In all other cases we have the…

Combinatorics · Mathematics 2026-04-28 Szilard Zsolt Fazekas , Adam Mammoliti , Robert Mercas , Jamie Simpson

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…

Combinatorics · Mathematics 2007-05-23 Christoph Richard , Uwe Grimm

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…

Combinatorics · Mathematics 2022-09-16 Shuo Li

We study a question of Harju from 2019 regarding the existence of infinite ternary square-free words whose subsequences modulo $p$ and $q$ are also square-free for relatively prime integers $p$ and $q$. Among such pairs $(p, q)$ with $p, q…

Combinatorics · Mathematics 2026-05-29 Thomas Delépine , Pascal Ochem , Matthieu Rosenfeld

Finite alphabets of at least three letters permit the construction of square-free words of infinite length. We show that the entropy density is strictly positive and derive reasonable lower and upper bounds. Finally, we present an…

Mathematical Physics · Physics 2007-05-23 Michael Baake , Veit Elser , Uwe Grimm

We solve a problem of Petrova, finalizing the classification of letter patterns avoidable by ternary square-free words; we show that there is a ternary square-free word avoiding letter pattern $xyzxzyx$. In fact, we: (1) characterize all…

Formal Languages and Automata Theory · Computer Science 2016-03-11 James D. Currie

Let $S$ be one of $\{aba,bcb\}$ and $\{aba, aca\}$, and let $w$ be an infinite square-free word over $\Sigma=\{a,b,c\}$ with no factor in $S$. Suppose that $f:\Sigma\rightarrow T^*$ is a non-erasing morphism. Word $f(w)$ is square-free if…

Formal Languages and Automata Theory · Computer Science 2019-02-18 James D. Currie

We give a partial answer to a problem of Harju by constructing an infinite ternary squarefree word $w$ with the property that for every $k \geq 3312$ there is an interior length-$k$ factor of $w$ that can be deleted while still preserving…

Combinatorics · Mathematics 2020-07-08 Marko Milosevic , Narad Rampersad

In 2008, Kurosaki gave a new construction of a (bi-)infinite squarefree word over three letters. We show that in fact Kurosaki's word avoids 7/4+-powers, which, as shown by Dejean, is optimal over a 3-letter alphabet.

Combinatorics · Mathematics 2013-08-12 Serina Camungol , Narad Rampersad

We describe a new non-constructive technique to show that squares are avoidable by an infinite word even if we force some letters from the alphabet to appear at certain occurrences. We show that as long as forced positions are at distance…

Discrete Mathematics · Computer Science 2020-02-10 Matthieu Rosenfeld

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

Combinatorics · Mathematics 2020-05-21 James D. Currie , Jesse T. Johnson

We construct an infinite binary word with critical exponent 3 that avoids abelian 4-powers. Our method gives an algorithm to determine if certain types of morphic sequences avoid additive powers. We also show that there are…

Combinatorics · Mathematics 2021-11-16 James Currie , Lucas Mol , Narad Rampersad , Jeffrey Shallit

We show that there exists an infinite word over the alphabet {0, 1, 3, 4} containing no three consecutive blocks of the same size and the same sum. This answers an open problem of Pirillo and Varricchio from 1994.

Discrete Mathematics · Computer Science 2011-08-11 Julien Cassaigne , James D. Currie , Luke Schaeffer , Jeffrey Shallit

We consider avoiding squares and overlaps over the natural numbers, using a greedy algorithm that chooses the least possible integer at each step; the word generated is lexicographically least among all such infinite words. In the case of…

Combinatorics · Mathematics 2009-04-12 Mathieu Guay-Paquet , Jeffrey Shallit

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

Formal Languages and Automata Theory · Computer Science 2022-09-08 L. Schaeffer , J. Shallit

The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of…

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…

Combinatorics · Mathematics 2007-05-23 Uwe Grimm

A word contains a \emph{half-flip} if it contains non-empty factors $uv$ and $vu$ where $|u|=|v|$. Fici reports a non-constructive proof of the existence of an infinite word over a finite alphabet avoiding half-flips and asks for the size…

Combinatorics · Mathematics 2026-05-20 Pascal Ochem

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…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Daniel Gabric , Jeffrey Shallit