-
Characterization of the set of zero-noise limits measures of perturbed cellular automata
Authors:
Hugo Marsan,
Mathieu Sablik
Abstract:
We add small random perturbations to a cellular automaton and consider the one-parameter family $(F_ε)_{ε>0}$ parameterized by $ε$ where $ε>0$ is the level of noise. The objective of the article is to study the set of limiting invariant distributions as $ε$ tends to zero denoted $\mathcal{M}_0^l$. Some topological obstructions appear, $\mathcal{M}_0^l$ is compact and connected, as well as combinat…
▽ More
We add small random perturbations to a cellular automaton and consider the one-parameter family $(F_ε)_{ε>0}$ parameterized by $ε$ where $ε>0$ is the level of noise. The objective of the article is to study the set of limiting invariant distributions as $ε$ tends to zero denoted $\mathcal{M}_0^l$. Some topological obstructions appear, $\mathcal{M}_0^l$ is compact and connected, as well as combinatorial obstructions as the set of cellular automata is countable: $\mathcal{M}_0^l$ is $Π_3$-computable in general and $Π_2$-computable if it is uniformly approached. Reciprocally, for any set of probability measures $\mathcal{K}$ which is compact, connected and $Π_2$-computable, we construct a cellular automaton whose perturbations by an uniform noise admit $\mathcal{K}$ as the zero-noise limits measure and this set is uniformly approached. To finish, we study how the set of limiting invariant measures can depend on a bias in the noise. We construct a cellular automaton which realizes any connected compact set (without computable constraints) if the bias is changed for an arbitrary small value. In some sense this cellular automaton is very unstable with respect to the noise.
△ Less
Submitted 9 December, 2024; v1 submitted 5 December, 2024;
originally announced December 2024.
-
Strong stochastic stability of cellular automata
Authors:
Hugo Marsan,
Mathieu Sablik
Abstract:
We define the notion of stochastic stability, already present in the literature in the context of smooth dynamical systems, for invariant measures of cellular automata perturbed by a random noise, and the notion of strongly stochastically stable cellular automaton. We study these notions on basic examples (nilpotent cellular automata, spreading symbols) using different methods inspired by those pr…
▽ More
We define the notion of stochastic stability, already present in the literature in the context of smooth dynamical systems, for invariant measures of cellular automata perturbed by a random noise, and the notion of strongly stochastically stable cellular automaton. We study these notions on basic examples (nilpotent cellular automata, spreading symbols) using different methods inspired by those presented in \cite{MST19}. We then show that this notion of stability is not trivial by proving that a Turing machine cannot decide if a given invariant measure of a cellular automaton is stable under a uniform perturbation.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Quadratic response and speed of convergence of invariant measures in the zero-noise limit
Authors:
Stefano Galatolo,
Hugo Marsan
Abstract:
We study the stochastic stability in the zero-noise limit from a quantitative point of view.
We consider smooth expanding maps of the circle, perturbed by additive noise. We show that in this case the zero-noise limit has a quadratic speed of convergence, as conjectured by Lin, in 2005, after numerical experiments (see arXiv:math/0406201 ). This is obtained by providing an explicit formula for t…
▽ More
We study the stochastic stability in the zero-noise limit from a quantitative point of view.
We consider smooth expanding maps of the circle, perturbed by additive noise. We show that in this case the zero-noise limit has a quadratic speed of convergence, as conjectured by Lin, in 2005, after numerical experiments (see arXiv:math/0406201 ). This is obtained by providing an explicit formula for the first and second term in the Taylor's expansion of the response of the stationary measure to the small noise perturbation. These terms depend on important features of the dynamics and of the noise which is perturbing it, as its average and variance.
We also consider the zero-noise limit from a quantitative point of view for piecewise expanding maps showing estimates for the speed of convergence in this case.
△ Less
Submitted 14 July, 2020; v1 submitted 10 July, 2020;
originally announced July 2020.
