-
Computing automorphism groups of shifts using atypical equivalence classes
Abstract: We study the automorphism group of an infinite minimal shift $(X,σ)$ such that the complexity difference function, $p(n+1)-p(n)$, is bounded. We give some new bounds on $\mbox{Aut}(X,σ)/\langle σ\rangle$ and also study the one-sided case. For a class of Toeplitz shifts, including the class of shifts defined by constant length primitive substitutions with a coincidence and with height one, we show… ▽ More
Submitted 1 February, 2017; v1 submitted 11 May, 2015; originally announced May 2015.
Comments: This new version of the article has been reformatted for Discrete Analysis but is otherwise identical to the previous version
MSC Class: 37B10; 54H20 (primary); 37B05; 37B15 (secondary)
-
arXiv:1401.0126 [pdf, ps, other]
Topological conjugacy of constant length substitution dynamical systems
Abstract: Primitive constant length substitutions generate minimal symbolic dynamical systems. In this article we present an algorithm which can produce the list of injective substitutions of the same length that generate topologically conjugate systems. We show that each conjugacy class contains infinitely substitutions which are not injective. As examples, the Toeplitz conjugacy class contains three inj… ▽ More
Submitted 10 November, 2015; v1 submitted 31 December, 2013; originally announced January 2014.
Comments: This is version 4, with many improvements over version 3
MSC Class: 37B10; 54H20
Journal ref: Indag. Math. 28 (2017) 91-107
-
arXiv:1209.2073 [pdf, ps, other]
Necessary and sufficient conditions for a dynamical system to be topologically conjugate to a given substitution minimal system
Abstract: We find necessary and sufficient conditions for a dynamical system to be topologically conjugate to any given substitution minimal system, thus extending the results in [CKL] for the Morse and Toeplitz substitutions.
Submitted 19 June, 2013; v1 submitted 10 September, 2012; originally announced September 2012.
MSC Class: 37B10
-
arXiv:1108.4665 [pdf, ps, other]
A short proof of a theorem of Cobham on substitutions
Abstract: This paper is concerned with the lengths of constant length substitutions that generate topologically conjugate systems. We show that if the systems are infinite, then these lengths must be powers of the same integer. This result is a dynamical formulation of a special case of a 1969 theoretical computer science result of Alan Cobham. Our proof is rather simple.
Submitted 23 August, 2011; originally announced August 2011.
MSC Class: 37B10
-
arXiv:0908.0477 [pdf, ps, other]
Embedding odometers in cellular automata
Abstract: We consider the problem of embedding odometers in one-dimensional cellular automata. We show that (1) every odometer can be be embedded in a gliders with reflecting walls cellular automaton, which one depending on the odometer, and (2) an odometer can be embedded in a cellular automaton, which is a group endomorphism on an n-letter group, and where n depends on the odometer, if and only if the o… ▽ More
Submitted 4 August, 2009; originally announced August 2009.
Comments: 8 pages
MSC Class: 37B15
-
arXiv:0706.2806 [pdf, ps, other]
A Characterization of the Morse Minimal Set up to Topological Conjugacy
Abstract: We establish necessary and sufficient conditions for a dynamical system to be topologically conjugate to the Morse minimal set, the shift orbit closure of the Morse sequence, and conditions for topological conjugacy to the closely related Teoplitz minimal set.
Submitted 30 January, 2013; v1 submitted 19 June, 2007; originally announced June 2007.
Comments: 10 pages
MSC Class: 37B10
-
arXiv:math/0611322 [pdf, ps, other]
On the genesis of symbolic dynamics as we know it
Abstract: WE trace the beginning of symbolic dynamics--the study of the shift dynamical system--as it arose from the use of coding to study recurrence and transitivity properties of geodesics. The normal citations for the first appearance of symbolic dynamics, Hadamard's 1898 paper and the 1938 and 1940 papers of Morse and Hedlund, don't truly represent the abstract point of view associated with the subje… ▽ More
Submitted 10 November, 2006; originally announced November 2006.
Comments: 12 pages; submitted to Compositio math
MSC Class: 37B10 (Primary) 01A60 (Secondary)
-
arXiv:math/0608257 [pdf, ps, other]
Every compact metric space that supports a positively expansive homeomorphism is finite
Abstract: We give a simple proof of the title.
Submitted 10 August, 2006; originally announced August 2006.
Comments: Published at http://dx.doi.org/10.1214/074921706000000310 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)
Report number: IMS-LNMS48-LNMS4828 MSC Class: 37B05 (Primary) 37B25 (Secondary)
Journal ref: IMS Lecture Notes--Monograph Series 2006, Vol. 48, 304-305
-
arXiv:math/0511030 [pdf, ps, other]
Prevalence of Odometers in Cellular Automata
Abstract: We consider a left permutive cellular automaton Phi, with no memory and positive anticipation, defined on the space of all doubly infinite sequences with entries from a finite alphabet. For each such automaton that is not one-to-one, there is a dense set of points X (which is large in another sense too) such that the Phi-orbit closure of each x in X is topologically conjugate to an odometer (the… ▽ More
Submitted 1 November, 2005; originally announced November 2005.
Comments: 8 pages
MSC Class: 37B15 (primary); 68Q80 (secondary)
-
arXiv:math/9810024 [pdf, ps, other]
The Symbolic Dynamics of Tiling the Integers
Abstract: A finite collection $P$ of finite sets tiles the integers iff the integers can be expressed as a disjoint union of translates of members of $P$. We associate with such a tiling a doubly infinite sequence with entries from $P$. The set of all such sequences is a sofic system, called a tiling system. We show that, up to powers of the shift, every shift of finite type can be realized as a tiling sy… ▽ More
Submitted 5 October, 1998; originally announced October 1998.
Report number: MSRI Preprint 1998-049
-
arXiv:math/9802122 [pdf, ps, other]
Tiling the integers with translates of one finite set
Abstract: A set is said to tile the integers if and only if the integers can be written as a disjoint union of translates of that set. We consider the problem of finding necessary and sufficient conditions for a finite set to tile the integers. For sets of prime power size, it was solved by D. Newman [J. Number Theory 9 (1977), 107--111]. We solve it for sets of size having at most two prime factors. The… ▽ More
Submitted 27 February, 1998; originally announced February 1998.
Comments: 12 pages
Report number: MSRI 1998-012 MSC Class: 05B45 (Primary) 11B75; 20K01 (Secondary)