English
Related papers

Related papers: No extremal square-free words over large alphabets

200 papers

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…

Combinatorics · Mathematics 2021-08-25 Golnaz Badkobeh , Tero Harju , Pascal Ochem , Matthieu Rosenfeld

We study cube-free words over arbitrary non-unary finite alphabets and prove the following structural property: for every pair $(u,v)$ of $d$-ary cube-free words, if $u$ can be infinitely extended to the right and $v$ can be infinitely…

Formal Languages and Automata Theory · Computer Science 2020-07-07 Elena A. Petrova , Arseny M. Shur

We start by considering binary words containing the minimum possible numbers of squares and antisquares (where an antisquare is a word of the form $x \overline{x}$), and we completely classify which possibilities can occur. We consider…

Formal Languages and Automata Theory · Computer Science 2019-04-22 Tim Ng , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

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 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

An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain $\Theta(n^2)$ distinct factors that are abelian squares. We study infinite words such that the number of abelian square…

Discrete Mathematics · Computer Science 2015-06-12 Gabriele Fici , Filippo Mignosi

We study the structure of the language of binary cube-free words. Namely, we are interested in the cube-free words that cannot be infinitely extended preserving cube-freeness. We show the existence of such words with arbitrarily long finite…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Elena A. Petrova , Arseny M. Shur

A square is a word of the form $xx$ for a non-empty word $x$. Brlek and Li [Comb. Theory, 2025] proved that the number of distinct squares in a word $w$ of length $n$ is at most $n - \sigma$, where $\sigma$ is the number of letters used in…

Discrete Mathematics · Computer Science 2026-03-03 Eitatsu Tomita , Tomohiro I

A square is a factor $S = (S_1; S_2)$ where $S_1$ and $S_2$ have the same pattern, and a permutation is said to be square-free if it contains no non-trivial squares. The permutation is further said to be bicrucial if every extension to the…

Combinatorics · Mathematics 2022-01-31 Carla Groenland , Tom Johnston

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

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…

Combinatorics · Mathematics 2022-04-27 Srečko Brlek , Shuo Li

A tangram is a word in which every letter occurs an even number of times. Thus it can be cut into parts that can be arranged into two identical words. The \emph{cut number} of a tangram is the minimum number of required cuts in this…

Combinatorics · Mathematics 2025-07-16 Pascal Ochem , Théo Pierron

A word is cubefree if it contains no non-empty subword of the form xxx. A morphism h : Sigma^* -> Sigma^* is k-uniform if h(a) has length k for all a in Sigma. A morphism is cubefree if it maps cubefree words to cubefree words. We show that…

Combinatorics · Mathematics 2009-04-14 James Currie , Narad Rampersad

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…

Combinatorics · Mathematics 2021-07-21 Tero Harju

The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary…

Combinatorics · Mathematics 2024-02-14 Aseem Baranwal , James Currie , Lucas Mol , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

We review the recent progress in the investigation of powerfree words, with particular emphasis on binary cubefree and ternary squarefree words. Besides various bounds on the entropy, we provide bounds on letter frequencies and consider…

Combinatorics · Mathematics 2008-11-14 Uwe Grimm , Manuela Heuer

We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps.

Combinatorics · Mathematics 2007-05-23 James Currie , Narad Rampersad , Jeffrey Shallit

A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Joey Becker , F. Blanchet-Sadri , Laure Flapan , Stephen Watkins

An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain at most $\Theta(n^2)$ distinct factors, and there exist words of length $n$ containing $\Theta(n^2)$ distinct…

Discrete Mathematics · Computer Science 2017-02-27 Gabriele Fici , Filippo Mignosi , Jeffrey Shallit

Two words have a reverse if they have the same pair of distinct letters on the same pair of positions, but in reversed order. A set of words no two of which have a reverse is said to be reverse-free. Let F(n,k) be the maximum size of a…

Combinatorics · Mathematics 2013-11-12 Josef Cibulka