English
Related papers

Related papers: Extremal Square-free Words

200 papers

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

Shallit and Wang studied deterministic automatic complexity of words. They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 2/3$. We improve that result by showing that…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Kayleigh Hyde , Bjørn Kjos-Hanssen

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…

Combinatorics · Mathematics 2019-02-05 John Machacek

A graph G(V, E) is word-representable if there exists a word w over V such that distinct letters x and y alternate in w iff $xy \in E$. We introduce p-complete squares and p-complete square-free word-representable graphs. A word is…

Discrete Mathematics · Computer Science 2025-12-25 Biswajit Das , Ramesh Hariharasubramanian

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

A \emph{power} is a word of the form $\underbrace{uu...u}_{k \; \text{times}}$, where $u$ is a word and $k$ is a positive integer; the power is also called a {\em $k$-power} and $k$ is its {\em exponent}. We prove that for any $k \ge 2$,…

Combinatorics · Mathematics 2022-05-23 Shuo Li , Jakub Pachocki , Jakub Radoszewski

Using a new approach based on automatic sequences, logic, and a decision procedure, we reprove some old theorems about circularly squarefree words and unbordered conjugates in a new and simpler way. Furthermore, we prove three new results…

Formal Languages and Automata Theory · Computer Science 2019-04-18 Trevor Clokie , Daniel Gabric , Jeffrey Shallit

In this work we consider morphisms that preserve well-known non-repeating properties: squarefreeness, cubefreeness, overlap-freeness and weak squarefreeness. Up to the present moment only the morphisms preserving three out of four…

Combinatorics · Mathematics 2015-05-04 Boris Zolotov

The question of whether or not a given integral polynomial takes infinitely many square-free values has only been addressed unconditionally for polynomials of degree at most 3. We address this question, on average, for polynomials of…

Number Theory · Mathematics 2023-05-26 Tim Browning , Igor Shparlinski

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

This note is an attempt to attack a conjecture of Fraenkel and Simpson stated in 1998 concerning the number of distinct squares in a finite word. By counting the number of (right-)special factors, we give an upper bound of the number of…

Combinatorics · Mathematics 2022-04-01 Shuo Li

An infinite word x is said to be quasiperiodic if there exists a finite word q such that x is covered by occurrences of q (such a q is called a quasiperiod of x). Using the notion of derivation, we show that this definition is not…

Dynamical Systems · Mathematics 2007-05-23 Thierry Monteil , Solomon Marcus

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

The avoidability, or unavoidability of patterns in words over finite alphabets has been studied extensively. A word (pattern) over a finite set is said to be unavoidable if, for all but finitely many words, there exists a morphism mapping…

Formal Languages and Automata Theory · Computer Science 2019-07-16 Paul Sauer

Given an infinite word X over an alphabet A a letter b occurring in X, and a total order \sigma on A, we call the smallest word with respect to \sigma starting with b in the shift orbit closure of X an extremal word of X. In this paper we…

Combinatorics · Mathematics 2013-07-22 James D. Currie , Narad Rampersad , Kalle Saari , Luca Q. Zamboni

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

A finite set $A$ of integers is square-sum-free if there is no subset of $A$ sums up to a square. In 1986, Erd\H os posed the problem of determining the largest cardinality of a square-sum-free subset of $\{1, ..., n \}$. Answering this…

Combinatorics · Mathematics 2009-10-30 Hoi Nguyen , Van Vu

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

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

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…

Formal Languages and Automata Theory · Computer Science 2017-08-23 F. Blanchet-Sadri , S. Osborne