Characterization of the set of zero-noise limits measures of perturbed cellular automata
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913603820453888 |
|---|---|
| author | Marsan, Hugo Sablik, Mathieu |
| author_facet | Marsan, Hugo Sablik, Mathieu |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_04672 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Characterization of the set of zero-noise limits measures of perturbed cellular automata Marsan, Hugo Sablik, Mathieu Dynamical Systems Computational Complexity Discrete Mathematics Probability 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. |
| title | Characterization of the set of zero-noise limits measures of perturbed cellular automata |
| topic | Dynamical Systems Computational Complexity Discrete Mathematics Probability |
| url | https://arxiv.org/abs/2412.04672 |