8 research outputs found
Decidability and universality of quasiminimal subshifts
We introduce quasiminimal subshifts, subshifts having only finitely many subsystems. With N-actions, their theory essentially reduces to the theory of minimal systems, but with Z-actions, the class is much larger. We show many examples of such subshifts, and in particular construct a universal system with only a single proper subsystem, refuting a conjecture of [3]. (C) 2017 Elsevier Inc. All rights reserved
Sturmian and infinitely desubstitutable words accepted by an {\omega}-automaton
Given an -automaton and a set of substitutions, we look at which
accepted words can also be defined through these substitutions, and in
particular if there is at least one. We introduce a method using desubstitution
of -automata to describe the structure of preimages of accepted words
under arbitrary sequences of homomorphisms: this takes the form of a
meta--automaton.
We decide the existence of an accepted purely substitutive word, as well as
the existence of an accepted fixed point. In the case of multiple substitutions
(non-erasing homomorphisms), we decide the existence of an accepted infinitely
desubstitutable word, with possibly some constraints on the sequence of
substitutions e.g. Sturmian words or Arnoux-Rauzy words). As an application, we
decide when a set of finite words codes e.g. a Sturmian word. As another
application, we also show that if an -automaton accepts a Sturmian
word, it accepts the image of the full shift under some Sturmian morphism
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical
theorems show that many problems are undecidable for general structures, but
become decidable if some rigidity is imposed on the structure. For example, the
set of theorems in many finitely axiomatisable theories is nonrecursive, but
the set of theorems for any finitely axiomatisable complete theory is
recursive. Finitely presented groups might have an nonrecursive word problem,
but finitely presented simple groups have a recursive word problem. In this
article we introduce a topological framework based on closure spaces to show
that many of these proofs can be obtained in a similar setting. We will show in
particular that these statements can be generalized to cover arbitrary
structures, with no finite or recursive presentation/axiomatization. This
generalizes in particular work by Kuznetsov and others. Examples from first
order logic and symbolic dynamics will be discussed at length
Subshifts with sparse traces
We study two-dimensional subshifts whose horizontal trace (also called projective subdynamics) contains only configurations of finite support. Our main result is a classification result for such subshifts satisfying a minimality property. As corollaries, we obtain new proofs for various known results on traces of SFTs, nilpotency, and decidability results for cellular automata and topological full groups. We also construct various (sofic) examples illustrating the concepts
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of theorems in many finitely axiomatisable theories is nonrecursive, but the set of theorems for any finitely axiomatisable complete theory is recursive. Finitely presented groups might have an nonrecursive word problem, but finitely presented simple groups have a recursive word problem. In this article we introduce a topological framework based on closure spaces to show that many of these proofs can be obtained in a similar setting. We will show in particular that these statements can be generalized to cover arbitrary structures, with no finite or recursive presentation/axiomatization. This generalizes in particular work by Kuznetsov and others. Examples from first order logic and symbolic dynamics will be discussed at length