English
Related papers

Related papers: Common factors in automatic and Sturmian sequences

200 papers

We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of the underlying purely substitutive sequence. This resolves a recent question…

Number Theory · Mathematics 2026-02-17 Elżbieta Krawczyk , Clemens Müllner

We revisit a technique of S. Lehr on automata and use it to prove old and new results in a simple way. We give a very simple proof of the 1986 theorem of Honkala that it is decidable whether a given k-automatic sequence is ultimately…

Discrete Mathematics · Computer Science 2009-04-12 Jean-Paul Allouche , Narad Rampersad , Jeffrey Shallit

We prove that if a uniformly recurrent infinite word contains as a factor any finite permutation of words from an infinite family, then either this word is periodic, or its complexity (that is, the number of factors) grows faster than…

Combinatorics · Mathematics 2015-10-29 Anna E. Frid

A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence…

Discrete Mathematics · Computer Science 2018-05-28 Alessandro De Luca , Gabriele Fici , Luca Q. Zamboni

This paper describes the probabilistic behaviour of a random Sturmian word. It performs the probabilistic analysis of the recurrence function which can be viewed as a waiting time to discover all the factors of length $n$ of the Sturmian…

Discrete Mathematics · Computer Science 2016-10-06 Pablo Rotondo , Brigitte Vallee

The correlation measure is a testimony of the pseudorandomness of a sequence $\infw{s}$ and provides information about the independence of some parts of $\infw{s}$ and their shifts. Combined with the well-distribution measure, a sequence…

Combinatorics · Mathematics 2024-08-27 Pierre Popoli , Manon Stipulanti

We prove that the property of being closed (resp., palindromic, rich, privileged trapezoidal, balanced) is expressible in first-order logic for automatic (and some related) sequences. It therefore follows that the characteristic function of…

Formal Languages and Automata Theory · Computer Science 2015-12-01 Luke Schaeffer , Jeffrey Shallit

Dynamical systems at the edge of chaos, which have been considered as models of self-organization phenomena, are marked by their ability to perform nontrivial computations. To distinguish them from systems with limited computing power, we…

chao-dyn · Physics 2008-02-03 Petr Kurka

In this note, we consider the problem of generating $k$-factorable graphic sequences with connected (resp. no connected) $k$-factors.

Data Structures and Algorithms · Computer Science 2024-10-28 Asish Mukhopadhyay , Daniel John , Lucas Sarweh

Given a positive integer $N$ and $x$ irrational between zero and one, an $N$-continued fraction expansion of $x$ is defined analogously to the classical continued fraction expansion, but with the numerators being all equal to $N$. Inspired…

Number Theory · Mathematics 2023-02-15 Niels Langeveld , Lucía Rossi , Jörg M. Thuswaldner

The $N$th linear complexity of a sequence is a measure of predictability. Any unpredictable sequence must have large $N$th linear complexity. However, in this paper we show that for $q$-automatic sequences over $\mathbb{F}_q$ the converse…

Number Theory · Mathematics 2017-11-30 László Mérai , Arne Winterhof

We study automatic sequences and automatic systems generated by general constant length (nonprimitive) substitutions. While an automatic system is typically uncountable, the set of automatic sequences is countable, implying that most…

Combinatorics · Mathematics 2024-12-04 Elżbieta Krawczyk

We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly…

Number Theory · Mathematics 2023-05-25 Jakub Byszewski , Jakub Konieczny , Clemens Müllner

This paper considers a non-stationary dynamic factor model for large datasets to disentangle long-run from short-run co-movements. We first propose a new Quasi Maximum Likelihood estimator of the model based on the Kalman Smoother and the…

Methodology · Statistics 2017-11-08 Matteo Barigozzi , Matteo Luciani

In this paper, we describe string attractors of all factors of episturmian sequences and show that their size is equal to the number of distinct letters contained in the factor.

Combinatorics · Mathematics 2022-11-14 Lubomíra Dvořáková

We develop a monitoring procedure to detect changes in a large approximate factor model. Letting $r$ be the number of common factors, we base our statistics on the fact that the $\left( r+1\right) $-th eigenvalue of the sample covariance…

Methodology · Statistics 2022-02-03 Matteo Barigozzi , Lorenzo Trapani

The factorial moments of the standard Poisson distribution are well known. The present note presents an explicit combinatorial sum for the factorial moments of the Poisson distribution of order $k$. Unlike the standard Poisson distribution…

Probability · Mathematics 2023-11-28 S. R. Mane

Currie and Saari initiated the study of least periods of infinite words, and they showed that every integer n >= 1 is a least period of the Thue-Morse sequence. We generalize this result to show that the characteristic sequence of least…

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

We introduce the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence, and we prove a variant of Cobham's theorem for the newly introduced class of sequences.

Number Theory · Mathematics 2022-09-21 Jakub Konieczny

In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a…

Formal Languages and Automata Theory · Computer Science 2022-02-02 Daniel Krenn , Jeffrey Shallit