Decidability of the isomorphism and the factorization between minimal substitution subshifts

06/13/2018
by   Fabien Durand, et al.
0

Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic, but the existing invariants are not sufficient for this purpose. We first show that given two minimal substitution subshifts, there exists a computable constant R such that any factor map between these subshifts (if any) is the composition of a factor map with a radius smaller than R and some power of the shift map. Then we prove that it is decidable to check whether a given sliding block code is a factor map between two prescribed minimal substitution subshifts. As a consequence of these two results, we provide an algorithm that, given two minimal substitution subshifts, decides whether one is a factor of the other and, as a straightforward corollary, whether they are isomorphic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/19/2021

Ergodic dynamical systems over the Cartesian power of the ring of p-adic integers

For any 1-lipschitz ergodic map F: ℤ^k_p↦ℤ^k_p, k>1∈ℕ, there are 1-lipsc...
research
02/20/2023

On minimal easily computable dimension group algebras

Finite semisimple commutative group algebras for which all the minimal i...
research
08/17/2020

On codes decoding a constant fraction of errors on the BSC

Using techniques and results from Kudekar et al. we strengthen the bound...
research
10/15/2022

Encoding subshifts through sliding block codes

We prove a generalization of Krieger's embedding theorem, in the spirit ...
research
04/24/2020

Invariants for Continuous Linear Dynamical Systems

Continuous linear dynamical systems are used extensively in mathematics,...
research
06/20/2012

Reading Dependencies from Polytree-Like Bayesian Networks

We present a graphical criterion for reading dependencies from the minim...
research
11/27/2018

Target Driven Visual Navigation with Hybrid Asynchronous Universal Successor Representations

Being able to navigate to a target with minimal supervision and prior kn...

Please sign up or login with your details

Forgot password? Click here to reset