English
Related papers

Related papers: Automaticity of uniformly recurrent substitutive s…

200 papers

We argue that simple dynamical systems are factors of finite automata, regarded as dynamical systems on discontinuum. We show that any homeomorphism of the real interval is of this class. An orientation preserving homeomorphism of the…

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

We prove that the uniform recurrence of morphic sequences is decidable. For this we show that the number of derived sequences of uniformly recurrent morphic sequences is bounded. As a corollary we obtain that uniformly recurrent morphic…

Combinatorics · Mathematics 2012-09-03 Fabien Durand

We present a finite-order system of recurrence relations for a permanent of circulant matrices containing a band of k any-value diagonals on top of a uniform matrix (for k = 1, 2, and 3) as well as the method for deriving such recurrence…

We study the spectral properties of ergodic Schr\"{o}dinger operators that are associated to a certain family of non-primitive substitutions on a binary alphabet. The corresponding subshifts provide examples of dynamical systems that go…

Mathematical Physics · Physics 2021-05-12 Benjamin Eichinger , Philipp Gohlke

As a guiding example, the diffraction measure of a random local mixture of the two classic Fibonacci substitutions is determined and reanalysed via self-similar measures of Hutchinson type, defined by a finite family of contractions. Our…

Dynamical Systems · Mathematics 2018-09-06 Michael Baake , Timo Spindeler , Nicolae Strungaru

We study the following optimization problem over a dynamical system that consists of several linear subsystems: Given a finite set of $n\times n$ matrices and an $n$-dimensional vector, find a sequence of $K$ matrices, each chosen from the…

Optimization and Control · Mathematics 2020-02-17 Zeyang Wu , Qie He

In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…

Discrete Mathematics · Computer Science 2007-05-23 Yuri Pritykin

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 study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear…

Combinatorics · Mathematics 2020-09-23 Jakub Byszewski , Jakub Konieczny , Elżbieta Krawczyk

This paper investigates two issues on identification of switched linear systems: persistence of excitation and numerical algorithms. The main contribution is a much weaker condition on the regressor to be persistently exciting that…

Systems and Control · Electrical Eng. & Systems 2021-12-07 Biqiang Mu , Tianshi Chen , Changming Cheng , Er-Wei Bai

The multiple Birkhoff recurrence theorem states that for any $d\in\mathbb N$, every system $(X,T)$ has a multiply recurrent point $x$, i.e. $(x,x,\ldots, x)$ is recurrent under $\tau_d=:T\times T^2\times \ldots \times T^d$. It is natural to…

Dynamical Systems · Mathematics 2021-04-01 Wen Huang , Song Shao , Xiangdong Ye

The class of linearly recurrent Cantor systems contains the substitution subshifts and some odometers. For substitution subshifts and odometers measure--theoretical and continuous eigenvalues are the same. It is natural to ask whether this…

Dynamical Systems · Mathematics 2008-01-31 Maria Isabel Cortez , Fabien Durand , Bernard Host , Alejandro Maass

In this work, we investigate the dynamics of a general non-autonomous system generated by a commutative family of homeomorphisms. In particular, we investigate properties such as periodicity, equicontinuity, minimality and transitivity for…

Dynamical Systems · Mathematics 2023-10-06 Sushmita Yadav , Puneet Sharma

We investigate questions related to the presence of primitive words and Lyndon words in automatic and linearly recurrent sequences. We show that the Lyndon factorization of a k-automatic sequence is itself k-automatic. We also show that the…

Formal Languages and Automata Theory · Computer Science 2012-11-08 Daniel Goc , Kalle Saari , Jeffrey Shallit

A set is called recurrent if its minimal automaton is strongly connected and birecurrent if it is recurrent as well as its reversal. We prove a series of results concerning birecurrent sets. It is already known that any birecurrent set is…

Formal Languages and Automata Theory · Computer Science 2018-04-06 Francesco Dolce , Dominique Perrin , Antonio Restivo , Christophe Reutenauer , Giuseppina Rindone

Nested (or meta-Fibonacci) recurrences, such as the recurrence used to define Hofstadter's Q-sequence, along with the digit-based recurrences that underlie automatic sequences are of interest from both number-theoretic and combinatorial…

Number Theory · Mathematics 2026-05-29 John M. Campbell , Benoit Cloitre

Abstract numeration systems encode natural numbers using radix ordered words of an infinite regular language and linear recurrence sequences play a key role in their valuation. Sequence automata, which are deterministic finite automata with…

Formal Languages and Automata Theory · Computer Science 2025-05-05 Olivier Carton , Jean-Michel Couvreur , Martin Delacourt , Nicolas Ollinger

The paper is concerned with random $S$-adic systems arising from an i.i.d. sequence of unimodular substitutions. Using equidistribution results of Benoist and Quint, we show in Theorem 3.3 that, under some natural assumptions, if the…

Dynamical Systems · Mathematics 2025-08-21 Boris Solomyak

An important question in dynamical systems is the classification problem, i.e., the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive…

Dynamical Systems · Mathematics 2025-06-11 Christopher Cabezas , Julien Leroy

We conceive finite automata as dynamical systems on discontinuum and investigate their factors. Factors of finite automata include many well-known simple dynamical systems, e.g. hyperbolic systems and systems with finite attractors. In the…

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