English
Related papers

Related papers: Automata as $p$-adic Dynamical Systems

200 papers

We exhibit a Probabilistic Cellular Automaton (PCA) on the integers with an alphabet and a neighborhood of size 2 which is non-ergodic although it has a unique invariant measure. This answers by the negative an old open question on whether…

Formal Languages and Automata Theory · Computer Science 2011-07-11 Philippe Chassaing , Jean Mairesse

We address an inverse problem in non-Archimedean dynamics: given a finite discrete dynamical system (equivalently, a functional graph on $N$ states), construct a continuous $p$-adic dynamical system whose residue-level behavior reproduces…

Dynamical Systems · Mathematics 2026-02-06 J. Rogelio Pérez-Buendía

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

Logic in Computer Science · Computer Science 2015-07-01 C. Kupke , Y. Venema

We develop a theory of operator renewal sequences in the context of infinite ergodic theory. For large classes of dynamical systems preserving an infinite measure, we determine the asymptotic behaviour of iterates $L^n$ of the transfer…

Dynamical Systems · Mathematics 2015-05-19 Ian Melbourne , Dalia Terhesiu

We investigate topological and ergodic properties of cellular automata having equicontinuity points. In this class surjectivity on a transitive SFT implies existence of a dense set of periodic points. Our main result is that under the…

Dynamical Systems · Mathematics 2015-06-26 Francois Blanchard , Pierre Tisseur

We introduce session automata, an automata model to process data words, i.e., words over an infinite alphabet. Session automata support the notion of fresh data values, which are well suited for modeling protocols in which sessions using…

Logic in Computer Science · Computer Science 2015-07-01 Benedikt Bollig , Peter Habermehl , Martin Leucker , Benjamin Monmege

We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantities in dynamical systems. We will focus on central objects of…

Dynamical Systems · Mathematics 2011-04-15 Stefano Galatolo , Mathieu Hoyrup , Cristóbal Rojas

A new incremental algorithm for data compression is presented. For a sequence of input symbols algorithm incrementally constructs a p-adic integer number as an output. Decoding process starts with less significant part of a p-adic integer…

Data Structures and Algorithms · Computer Science 2007-05-23 Anatoly Rodionov , Sergey Volkov

Wheeler automata were introduced in 2017 as a tool to generalize existing indexing and compression techniques based on the Burrows-Wheeler transform. Intuitively, an automaton is said to be Wheeler if there exists a total order on its…

Data Structures and Algorithms · Computer Science 2024-06-11 Ruben Becker , Davide Cenzato , Sung-Hwan Kim , Bojana Kodric , Riccardo Maso , Nicola Prezza

We study the uniform ergodicity property for non-invertible topological and measure-preserving dynamical systems. It is shown that for topological dynamical systems uniform ergodicity is equivalent to eventually periodicity and that for…

Dynamical Systems · Mathematics 2024-03-27 Julian Hölz

We construct a family of ergodic measures on random substitution subshifts (RS-subshifts) associated to a primitive random substitution. In particular, the word frequencies of every finite legal word exist for almost every element of the…

Dynamical Systems · Mathematics 2021-01-25 Philipp Gohlke , Timo Spindeler

We consider the computational power of silent transitions in one-way automata with storage. Specifically, we ask which storage mechanisms admit a transformation of a given automaton into one that accepts the same language and reads at least…

Formal Languages and Automata Theory · Computer Science 2013-02-18 Georg Zetzsche

We study two properties of nonsingular and infinite measure-preserving ergodic systems: weak double ergodicity, and ergodicity with isometric coefficients. We show that there exist infinite measure-preserving transformations that are…

Dynamical Systems · Mathematics 2023-02-07 Beatrix Haddock , James Leng , Cesar E. Silva

We present a novel way of realizing the Bernoulli shift on $p$ symbols on the $p$-adic integers, where $p$ is a prime. By showing that suitably small perturbations of the shift are still Bernoulli we find many "nice" maps, such as…

Dynamical Systems · Mathematics 2011-08-31 James Kingsbery , Alex Levin , Anatoly Preygel , Cesar E. Silva

Suppose that T is a map of the Wiener space into itself, of the following type: T=I+u where u takes its values in the Cameron-Martin space H. Assume also that u is a finite sum of H-valued multiple Ito-Wiener integrals. In this work we…

Probability · Mathematics 2007-05-23 A. S. Ustunel , M. Zakai

We investigate the periodically driven dynamics of many-body systems, either classical or quantum, finite-dimensional or mean-field, displaying an unbounded phase-space. Using the lattice $\phi^4$ model and the $p$-spin spherical model as…

Statistical Mechanics · Physics 2024-12-10 Lorenzo Correale , Leticia F. Cugliandolo , Marco Schirò , Alessandro Silva

A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior as a typical point of the system. It was proved in [Avigad et al. 2010,…

Numerical Analysis · Computer Science 2010-06-03 Stefano Galatolo , Mathieu Hoyrup , Cristóbal Rojas

Given a finite alphabet $\mathbb{A}$ and a primitive substitution $\theta:\mathbb{A}\to\mathbb{A}^\lambda$ (of constant length $\lambda$), let $(X_\theta,S)$ denote the corresponding dynamical system, where $X_{\theta}$ is the closure of…

Dynamical Systems · Mathematics 2018-11-05 Mariusz Lemańczyk , Clemens Müllner

Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the…

Formal Languages and Automata Theory · Computer Science 2014-04-28 Fabian Reiter

An infinite word is S-automatic if, for all n>=0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous…

Formal Languages and Automata Theory · Computer Science 2009-07-06 Emilie Charlier , Tomi Karki , Michel Rigo
‹ Prev 1 4 5 6 7 8 10 Next ›