A remark on inverse limits of effective subshifts
Sebasti\'an Barbieri, Leo Poirier

TL;DR
This paper demonstrates that for certain groups with specific decision problems, there exist effective subshifts whose inverse limits cannot be realized as factors of any effective dynamical system, highlighting limitations in universality.
Contribution
It establishes the existence of effective subshifts with inverse limits that are not topological factors of any effective dynamical system for groups with decidable word problem and undecidable domino problem.
Findings
Inverse limits of certain effective subshifts are not factors of any effective dynamical system.
Universality under topological factors is limited for these classes of dynamical systems.
Results depend on properties of the underlying finitely generated groups.
Abstract
We show that, for every finitely generated group with decidable word problem and undecidable domino problem, there exists a sequence of effective subshifts whose inverse limit is not the topological factor of any effective dynamical system. This follows from considerations on the universality under topological factors for this class of dynamical systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical Dynamics and Fractals · Cellular Automata and Applications · Computability, Logic, AI Algorithms
