English
Related papers

Related papers: Repetition Threshold for Binary Automatic Sequence…

200 papers

We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101…

Combinatorics · Mathematics 2026-05-11 Jeffrey Shallit

We study how much injective morphisms can increase the repetitiveness of a given word. This question has a few possible variations depending on the meaning of ``repetitiveness''. We concentrate on fractional exponents of finite words and…

Combinatorics · Mathematics 2025-06-06 Eva Foster , Aleksi Saarela , Aleksi Vanhatalo

We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Fibonacci-automatic". This class includes, for example, the famous Fibonacci word f = 01001010...,…

Formal Languages and Automata Theory · Computer Science 2014-07-29 Chen Fei Du , Hamoon Mousavi , Luke Schaeffer , Jeffrey Shallit

We illustrate a general technique for enumerating factors of k-automatic sequences by proving a conjecture on the number f(n) of unbordered factors of the Thue-Morse sequence. We show that f(n) <= n for n >= 4 and that f(n) = n infinitely…

Formal Languages and Automata Theory · Computer Science 2012-11-07 Daniel Goc , Hamoon Mousavi , Jeffrey Shallit

This note contains a report of a proof by computer that the Fibonacci group F(2,9) is automatic. The automatic structure can be used to solve the word problem in the group. Furthermore, it can be seen directly from the word-acceptor that…

Group Theory · Mathematics 2009-09-25 Derek F. Holt

Let $B$ be a finite set of natural numbers or complex numbers. Product set corresponding to $B$ is defined by $B.B:=\{ab:a,b\in B\}$. In this paper we give an upper bound for longest length of consecutive terms of a polynomial sequence…

Number Theory · Mathematics 2015-11-11 Sai Teja Somu

We consider two quantities that measure complexity of binary strings: $\mathit{KA}(x)$ is defined as the minus logarithm of continuous a priori probability on the binary tree, and $\mathit{KP}(x)$ denotes prefix complexity of a binary…

Information Theory · Computer Science 2014-01-08 Mikhail Andreev , Akim Kumok

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or…

Formal Languages and Automata Theory · Computer Science 2011-10-14 Emilie Charlier , Narad Rampersad , Jeffrey Shallit

We study the properties of the ternary infinite word p = 012102101021012101021012 ... , that is, the fixed point of the map h:0->01, 1->21, 2->0. We determine its factor complexity, critical exponent, and prove that it is 2-balanced. We…

Discrete Mathematics · Computer Science 2022-06-07 James Currie , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

The repetition threshold is the smallest real number $\alpha$ such that there exists an infinite word over a $k$-letter alphabet that avoids repetition of exponent strictly greater than $\alpha$. This notion can be generalized to graph…

Discrete Mathematics · Computer Science 2018-06-29 Borut Lužar , Pascal Ochem , Alexandre Pinlou

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

Over an alphabet of size 3 we construct an infinite balanced word with critical exponent 2+sqrt(2)/2. Over an alphabet of size 4 we construct an infinite balanced word with critical exponent (5+sqrt(5))/4. Over larger alphabets, we give…

Combinatorics · Mathematics 2018-01-17 Narad Rampersad , Jeffrey Shallit , Élise Vandomme

In 2017, Vesti proposed the problem of determining the repetition threshold for infinite rich words, i.e., for infinite words in which all factors of length $n$ contain $n$ distinct nonempty palindromic factors. In 2020, Currie, Mol, and…

Combinatorics · Mathematics 2025-06-03 James D. Currie , Lucas Mol , Jarkko Peltomäki

The asymptotic critical exponent measures for a sequence the maximum repetition rate of factors of growing length. The infimum of asymptotic critical exponents of sequences of a certain class is called the asymptotic repetition threshold of…

Combinatorics · Mathematics 2024-09-12 Lubomíra Dvořáková , Karel Klouda , Edita Pelantová

Let $P(m)$ denote the largest prime factor of an integer $m\geq 2$, and put $P(0)=P(1)=1$. For an integer $k\geq 2$, let $(F_{n}^{(k)})_{n\geq 2-k}$ be the $k-$generalized Fibonacci sequence which starts with $0,...,0,1$ ($k$ terms) and…

Number Theory · Mathematics 2012-10-16 Jhon J. Bravo , Florian Luca

In this article, we show that the Kamae-Xue complexity function for an infinite sequence classifies eventual periodicity completely. We prove that an infinite binary word $x_1x_2 \cdots $ is eventually periodic if and only if…

Computational Complexity · Computer Science 2014-04-18 Teturo Kamae , Dong Han Kim

A word is called $\beta$-free if it has no factors of exponent greater than or equal to $\beta$. The repetition threshold $\mathrm{RT}(k)$ is the infimum of the set of all $\beta$ such that there are arbitrarily long $k$-ary $\beta$-free…

Combinatorics · Mathematics 2018-10-05 James D. Currie , Lucas Mol , Narad Rampersad

We show that a finite zero-sum-free sequence $\alpha$ over an abelian group has at least $c|\alpha|^{4/3}$ distinct subsequence sums, unless $\alpha$ is "controlled" by a small number of its terms; here $|\alpha|$ denotes the number of…

Number Theory · Mathematics 2022-12-21 Vsevolod F. Lev

We make certain bounds in Krebs' proof of Cobham's theorem explicit and obtain corresponding upper bounds on the length of a common prefix of an aperiodic $a$-automatic sequence and an aperiodic $b$-automatic sequence, where $a$ and $b$ are…

Formal Languages and Automata Theory · Computer Science 2018-12-17 Lucas Mol , Narad Rampersad , Jeffrey Shallit , Manon Stipulanti

Let $L_{k,\alpha}^{\mathbb{Z}}$ denote the set of all bi-infinite $\alpha$-power free words over an alphabet with $k$ letters, where $\alpha$ is a positive rational number and $k$ is positive integer. We prove that if $\alpha\geq 5$, $k\geq…

Formal Languages and Automata Theory · Computer Science 2023-07-10 Josef Rukavicka