arXiv Science⌕ Search

arXiv subjects

Mathieu Sablik

Publications and source records attributed to Mathieu Sablik.

At least 19 recordsLinked to original sources
arXiv2025

A geometric obstruction to self-simulation for groups

We introduce a new quasi-isometry invariant for finitely generated groups and show that every group with this property admits a subshift which is effectively closed by patterns and that cannot be realized as the topological factor of any subshift of finite type. We provide several examples of groups with the property, such as amenable groups, multi-ended groups, generalized Baumslag-Solitar groups, fundamental groups of surfaces, and cocompact Fuchsian groups.

math.GR↗
arXiv2025

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↗
arXiv2025

Non-Robustness of the Zero-Temperature-Limit Gibbs Measures to Perturbations of the Potential

The robustness of properties of a statistical physics model to slight perturbations in the exact local interactions of the model is a very relevant philosophical question, considering real-life measurements on which we base some models can only ever reach a finite precision. In this article, we will discuss this topic in a formal mathematical setting, and notably exhibit a family of models for which the low-temperature behaviour is highly non-robust.

math-ph↗
arXiv2025

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↗
arXiv2024

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↗
arXiv2024

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↗
arXiv2023

On the algorithmic descriptive complexity of attractors in topological dynamics

We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit, both as a spatial object (attractor set) and as a statistical distribution (physical measure), and prove upper bounds on the computational resources of computing descriptions of these objects with arbitrary accuracy. We also study how these bounds are affected by different dynamical constrains and provide several examples showing that our bounds are sharp in general. In particular, we exhibit a computable interval map having a unique transitive attractor with Cantor set structure supporting a unique physical measure such that both the attractor and the measure are non computable.

math.DS↗
arXiv2023

Soficity of free extensions of effective subshifts

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from $X$. We study the case of $G = H \times K$ for infinite and finitely generated groups $H$ and $K$: on the one hand we show that if $K$ is nonamenable and $H$ has decidable word problem, then the free extension to $G$ of any $H$-subshift which is effectively closed is a sofic $G$-subshift. On the other hand we prove that if both $H$ and $K$ are amenable, there are always $H$-subshifts which are effectively closed by patterns whose free extension to $G$ is non-sofic. We also present a few applications in the form of a new simulation theorem and a new class of groups which admit strongly aperiodic SFTs.

math.DS↗
arXiv2023

Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models

Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the entire set of ground states. We characterise the possible sets of ground states of uniformly chaotic finite-range models up to computable homeomorphisms. Namely, we show that the set of ground states of every model with finite-range and rational-valued interactions is topologically closed and connected, and belongs to the class $\Pi_2$ of the arithmetical hierarchy. Conversely, every $\Pi_2$-computable, topologically closed and connected set of probability measures can be encoded (via a computable homeomorphism) as the set of ground states of a uniformly chaotic two-dimensional model with finite-range rational-valued interactions.

math-ph↗
arXiv2022

Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings

The purpose of this article is to study the algorithmic complexity of the Besicovitch stability of noisy subshifts of finite type, a notion studied in a previous article. First, we exhibit an unstable aperiodic tiling, and then see how it can serve as a building block to implement several reductions from classical undecidable problems on Turing machines. It will follow that the question of stability of subshifts of finite type is undecidable, and the strongest lower bound we obtain in the arithmetical hierarchy is $\Pi_2$-hardness. Lastly, we prove that this decision problem, which requires to quantify over an uncountable set of probability measures, has a $\Pi_4$ upper bound.

math.CO↗
arXiv2022

Parametrization by Horizontal Constraints in the Study of Algorithmic Properties of $\mathbb{Z}^2$-Subshift of Finite Type

The non-emptiness, called the Domino Problem, and the characterization of the possible entropies of $\mathbb{Z}^2$-subshifts of finite type are standard problems of symbolic dynamics. In this article we study these questions with horizontal constraints fixed beforehand as a parameter. We determine for which horizontal constraints the Domino Problem is undecidable and when all right-recursively enumerable numbers can be obtained as entropy, with two approaches: either the additional local rules added to the horizontal constraints can be of any shape, or they can only be vertical rules.

math.DS↗
arXiv2021

On the Besicovitch-Stability of Noisy Random Tilings

In this paper, we introduce a noisy framework for SFTs, allowing some amount of forbidden patterns to appear. Using the Besicovitch distance, which permits a global comparison of configurations, we then study the closeness of noisy measures to non-noisy ones as the amount of noise goes to 0. Our first main result is the full classification of the (in)stability in the one-dimensional case. Our second main result is a stability property under Bernoulli noise for higher-dimensional periodic SFTs, which we finally extend to an aperiodic example through a variant of the Robinson tiling.

math.PR↗
arXiv2021

Self-simulable groups

We say that a finitely generated group $\Gamma$ is self-simulable if every effectively closed action of $\Gamma$ on a closed subset of $\{\texttt{0},\texttt{1}\}^{\mathbb{N}}$ is the topological factor of a $\Gamma$-subshift of finite type. We show that self-simulable groups exist, that any direct product of non-amenable finitely generated groups is self-simulable, that under technical conditions self-simulability is inherited from subgroups, and that the subclass of self-simulable groups is stable under commensurability and quasi-isometries of finitely presented groups. Some notable examples of self-simulable groups obtained are the direct product $F_k \times F_k$ of two free groups of rank $k \geq 2$, non-amenable finitely generated branch groups, the simple groups of Burger and Mozes, Thompson's $V$, the groups $\operatorname{GL}_n(\mathbb{Z})$, $\operatorname{SL}_n(\mathbb{Z})$, $\operatorname{Aut}(F_n)$ and $\operatorname{Out}(F_n)$ for $n \geq 5$; The braid groups $B_m$ for $m \geq 7$, and certain classes of RAAGs. We also show that Thompson's $F$ is self-simulable if and only if $F$ is non-amenable, thus giving a computability characterization of this well-known open problem. We also exhibit a few applications of self-simulability on the dynamics of these groups, notably, that every self-simulable group with decidable word problem admits a nonempty strongly aperiodic subshift of finite type.

math.GR↗
arXiv2020

On entropies of block-gluing subshifts

A subshift $X$ is called $c$-block gluing if for any integer $n\geq c$ and any two blocks $u$ and $v$ from the language of $X$ there exists an element of $X$ which has occurrences of $u$ and $v$ at distance $n$. In this note we study the topological entropies of $c$-block gluing binary one-dimensional subshifts. We define the set $R_c$ to be the set of entropies of all $c$-block-gluing subshifts, and $R=\cup_{c\in \mathbb{N}} R_c$. We show that the set $R$ is dense, while $R_1$ and $R_2$ are not; in particular, they have isolated points. We conjecture that the same holds for any $c$.

cs.DM↗
arXiv2019

On the computability properties of topological entropy: a general approach

The dynamics of symbolic systems, such as multidimensional subshifts of finite type or cellular automata, are known to be closely related to computability theory. In particular, the appropriate tools to describe and classify topological entropy for this kind of systems turned out to be of computational nature. Part of the great importance of these symbolic systems relies on the role they have played in understanding more general systems over non-symbolic spaces. The aim of this article is to investigate topological entropy from a computability point of view in this more general, not necessarily symbolic setting. In analogy to effective subshifts, we consider computable maps over effective compact sets in general metric spaces, and study the computability properties of their topological entropies. We show that even in this general setting, the entropy is always a $\Sigma_2$-computable number. We then study how various dynamical and analytical constrains affect this upper bound, and prove that it can be lowered in different ways depending on the constraint considered. In particular, we obtain that all $\Sigma_2$-computable numbers can already be realized within the class of surjective computable maps over $\{0,1\}^{\mathbb{N}}$, but that this bound decreases to $\Pi_{1}$(or upper)-computable numbers when restricted to expansive maps. On the other hand, if we change the geometry of the ambient space from the symbolic $\{0,1\}^{\mathbb{N}}$ to the unit interval $[0,1]$, then we find a quite different situation -- we show that the possible entropies of computable systems over $[0,1]$ are exactly the $\Sigma_{1}$(or lower)-computable numbers and that this characterization switches down to precisely the computable numbers when we restrict the class of system to the quadratic family.

math.DS↗
arXiv2017

Ergodicity of some classes of cellular automata subject to noise

Cellular automata (CA) are dynamical systems on symbolic configurations on the lattice. They are also used as models of massively parallel computers. As dynamical systems, one would like to understand the effect of small random perturbations on the dynamics of CA. As models of computation, they can be used to study the reliability of computation against noise. We consider various families of CA (nilpotent, permutive, gliders, CA with a spreading symbol, surjective, algebraic) and prove that they are highly unstable against noise, meaning that they forget their initial conditions under slightest positive noise. This is manifested as the ergodicity of the resulting probabilistic CA. The proofs involve a collection of different techniques (couplings, entropy, Fourier analysis), depending on the dynamical properties of the underlying deterministic CA and the type of noise.

math.PR↗