arXiv ScienceSearch

arXiv subjects

Hugo Marsan

Publications and source records attributed to Hugo Marsan.

5 recordsLinked to original sources

Flexibility versus genericity of phase diagrams of perturbed continuous maps on the Cantor set

Consider the dynamical system constitued by a continuous function $F:\mathcal{A}^\mathbb{N}\to\mathcal{A}^\mathbb{N}$ where $\mathcal{A}$ is a finite alphabet. The perturbed counterpart, denoted by $F_\epsilon$, is obtained after each iteration of $F$ by modifying each cell independently with probability $\epsilon\in[0,1]$ and choosing the new value uniformly. We characterize the possible sets of $\epsilon\in[0,1]$ such that $F_\epsilon$ has a unique measure. These sets are exactly the $G_\delta$ sets (countable intersection of open sets) of $[0, 1]$ which contain 1. However, we show that generically this set is $]0, 1]$.

math.DS

A perturbed cellular automaton with two phase transitions for the ergodicity

The positive rates conjecture states that a one-dimensional probabilistic cellular automaton (PCA) with strictly positive transition rates must be ergodic. The conjecture has been refuted by G\'acs, whose counterexample is a cellular automaton that is non-ergodic under uniform random noise with sufficiently small rate. For all known counterexamples, non-ergodicity has been proved under small enough rates. Conversely, all cellular automata are ergodic with sufficiently high-rate noise. No other types of phase transitions of ergodicity are known, and the behavior of known counterexamples under intermediate noise rates is unknown. We present an example of a cellular automaton with two phase transitions. Using G\'acs's result as a black box, we construct a cellular automaton that is ergodic under small noise rates, non-ergodic for slightly higher rates, and again ergodic for rates close to 1.

nlin.CG

Characterization of the set of zero-noise limits measures of perturbed cellular automata

We add small random perturbations to a cellular automaton and consider the one-parameter family $(F_\epsilon)_{\epsilon>0}$ parameterized by $\epsilon$ where $\epsilon>0$ is the level of noise. The objective of the article is to study the set of limiting invariant distributions as $\epsilon$ 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 $\Pi_3$-computable in general and $\Pi_2$-computable if it is uniformly approached. Reciprocally, for any set of probability measures $\mathcal{K}$ which is compact, connected and $\Pi_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.

math.DS

Strong stochastic stability of cellular automata

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.

math.PR

Quadratic response and speed of convergence of invariant measures in the zero-noise limit

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.

math.DS