Showing 1–19 of 19 results for author: Boyle, M

Shift equivalence implies flow equivalence for shifts of finite type

Authors: Mike Boyle

Abstract: Shifts of finite type defined from shift equivalent matrices must be flow equivalent. Shifts of finite type defined from shift equivalent matrices must be flow equivalent. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 13 pages

MSC Class: 37B10 (Primary) 46L35 (Secondary)

Symbolic dynamics and the stable algebra of matrices

Authors: Mike Boyle, Scott Schmieding

Abstract: We give an introduction to the "stable algebra of matrices" as related to certain problems in symbolic dynamics. We consider this stable algebra (especially, shift equivalence and strong shift equivalence) for matrices over general rings as well as various specific rings. This algebra is of independent interest and can be followed with little attention to the symbolic dynamics. We include strong c… ▽ More We give an introduction to the "stable algebra of matrices" as related to certain problems in symbolic dynamics. We consider this stable algebra (especially, shift equivalence and strong shift equivalence) for matrices over general rings as well as various specific rings. This algebra is of independent interest and can be followed with little attention to the symbolic dynamics. We include strong connectionsto algebraic K-theory and the inverse spectral problem for nonnegative matrices. We also review key features of the automorphism group of a shift of finite type, and the work of Kim, Roush and Wagoner giving counterexamples to Williams' Shift Equivalence Conjecture. △ Less

Submitted 25 October, 2023; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: v3, 126 pages. Main additions: citations; Section 2.10; extended overview of shift equivalence and strong shift equivalence in the introduction; clarification and consistency regarding left vs. right actions

MSC Class: 37B10; 19-01; 15B48; 15-B36; 06-01

Decidability of flow equivalence and isomorphism problems for graph C*-algebras and quiver representations

Authors: Mike Boyle, Benjamin Steinberg

Abstract: We note that the deep results of Grunewald and Segal on algorithmic problems for arithmetic groups imply the decidability of several matrix equivalence problems involving poset-blocked matrices over Z. Consequently, results of Eilers, Restorff, Ruiz and Sørensen imply that isomorphism and stable isomorphism of unital graph C*-algebras (including the Cuntz-Krieger algebras) are decidable. One can a… ▽ More We note that the deep results of Grunewald and Segal on algorithmic problems for arithmetic groups imply the decidability of several matrix equivalence problems involving poset-blocked matrices over Z. Consequently, results of Eilers, Restorff, Ruiz and Sørensen imply that isomorphism and stable isomorphism of unital graph C*-algebras (including the Cuntz-Krieger algebras) are decidable. One can also decide flow equivalence for shifts of finite type, and isomorphism of Z-quiver representations (i.e., finite diagrams of homomorphisms of finitely generated abelian groups). △ Less

Submitted 30 May, 2020; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 12 pages. This version (2) to appear in Proceedings AMS

Report number: CPH-SYM-DNRF92 MSC Class: Primary 46L35; Secondary 16G20; 37B10

The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics

Authors: Mike Boyle

Abstract: This paper is based on my April 2018 talk at the Maryland-Penn State dynamics conference, on the occasion of Mike Hochman receiving the Brin Prize. This paper is based on my April 2018 talk at the Maryland-Penn State dynamics conference, on the occasion of Mike Hochman receiving the Brin Prize. △ Less

Submitted 7 January, 2020; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: References updated, especially to include work of David Burguet (see footnote 7)

MSC Class: Primary: 37A35; Secondary: 37A05; 37B50; 54H20

Journal ref: Journal of Modern Dynamics, Volume 15, 2019, 427-435

The Mapping Class Group of a Shift of Finite Type

Authors: Mike Boyle, Sompong Chuysurichay

Abstract: We study the mapping class group of a nontrivial irreducible shift of finite type: the group of flow equivalences of its mapping torus modulo isotopy. This group plays for flow equivalence the role that the automorphism group plays for conjugacy. It is countable; not residually finite; acts faithfully (and n-transitively, for all n) by permutations on the set of circles in the mapping torus; has s… ▽ More We study the mapping class group of a nontrivial irreducible shift of finite type: the group of flow equivalences of its mapping torus modulo isotopy. This group plays for flow equivalence the role that the automorphism group plays for conjugacy. It is countable; not residually finite; acts faithfully (and n-transitively, for all n) by permutations on the set of circles in the mapping torus; has solvable word problem and trivial center; etc. There are many open problems. △ Less

Submitted 9 November, 2017; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: 28 pages. Theorem 3.6 of version 1 is withdrawn and replaced by Remark 3.6. Other changes are minor corrections and expanded/improved exposition

MSC Class: 37B10 (Primary); 20F10; 20F38 (Secondary)

Flow Equivalence of G-SFTs

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we… ▽ More In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata. △ Less

Submitted 26 August, 2019; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

Report number: CPH-SYM-DNRF92

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 2591-2657

Flow equivalence of sofic shifts

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending flow equivalences of subshifts to flow equivalent irreducible shifts of finite type which contain them. (2) The classification of certain constant to one map… ▽ More We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending flow equivalences of subshifts to flow equivalent irreducible shifts of finite type which contain them. (2) The classification of certain constant to one maps from SFTs via algebraic invariants of associated G-SFTs. △ Less

Submitted 12 November, 2015; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 30 pages

Report number: CPH-SYM-DNRF92

Journal ref: Isr. J. Math. (2018) 225: 111

Flow equivalence and isotopy for subshifts

Authors: Mike Boyle, Toke Meier Carlsen, Søren Eilers

Abstract: We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that an orbit-preserving such map is not always an isotopy, but that this always is the case for suspension flows of irreducible shifts of finite type. We also provide a version of the fundamen… ▽ More We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that an orbit-preserving such map is not always an isotopy, but that this always is the case for suspension flows of irreducible shifts of finite type. We also provide a version of the fundamental discretization result of Parry and Sullivan which does not require that the flow maps are either injective or surjective. Our work is motivated by applications in the classification theory of sofic shift spaces, but has been formulated to supply a solid and accessible foundation for other purposes. △ Less

Submitted 24 April, 2017; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 25 pages. There are various small changes, and also a correction to a misstatement of Theorem 3.1(b) (Theorem 3.3(b) in version 1 and 2). The numbering of theorems, definitions, etc. have been changed such that it agrees with the published version

Report number: CPH-SYM-DNRF92

Journal ref: Dyn. Syst. 32 (2017), no. 3, 305-325

Finite group extensions of shifts of finite type: K-theory, Parry and Livšic

Authors: Mike Boyle, Scott Schmieding

Abstract: This paper extends and applies algebraic invariants and constructions for mixing finite group extensions of shifts of finite type. For a finite abelian group G, Parry showed how to define a G-extension S_A from a square matrix A over Z_+G, and classified the extensions up to topological conjugacy by the strong shift equivalence class of A over Z_+G. Parry asked in this case if the det(I-tA) (which… ▽ More This paper extends and applies algebraic invariants and constructions for mixing finite group extensions of shifts of finite type. For a finite abelian group G, Parry showed how to define a G-extension S_A from a square matrix A over Z_+G, and classified the extensions up to topological conjugacy by the strong shift equivalence class of A over Z_+G. Parry asked in this case if the det(I-tA) (which captures the "periodic data" of the extension) would classify up to finitely many topological conjugacy classes the extensions by G of a fixed mixing shift of finite type. When the algebraic K-theory group NK_1(ZG) is nontrivial (e.g., for G=Z/4), we show the dynamical zeta function for any such extension is consistent with infinitely many topological conjugacy classes. Independent of NK_1(ZG): for every nontrivial abelian G we show there exists a shift of finite type with an infinite family of mixing nonconjugate G extensions with the same dynamical zeta function. We define computable complete invariants for the periodic data of the extension for G not necessarily abelian, and extend all the above results to the nonabelian case. There is other work on basic invariants. The constructions require the "positive K-theory" setting for positive equivalence of matrices over ZG[t]. △ Less

Submitted 28 August, 2016; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: The purpose of this repost is the addition of the Appendix D: Corrections

MSC Class: 37B10; 19M05

Strong shift equivalence and the generalized spectral conjecture for nonnegative matrices

Authors: Mike Boyle, Scott Schmieding

Abstract: We show that the weak and strong forms of the Generalized Spectral Conjecture (GSC) of Boyle and Handelman are equivalent. The GSC asserts that well understood necessary spectral conditions on a square matrix A over a subring S of the reals are sufficient for that matrix to be shift equivalent over S (in the weak form) or strong shift equivalent over S (in the strong form) to a primitive matrix ov… ▽ More We show that the weak and strong forms of the Generalized Spectral Conjecture (GSC) of Boyle and Handelman are equivalent. The GSC asserts that well understood necessary spectral conditions on a square matrix A over a subring S of the reals are sufficient for that matrix to be shift equivalent over S (in the weak form) or strong shift equivalent over S (in the strong form) to a primitive matrix over S. The foundation of this work is the recent result that the group NK_1(S) of algebraic K-theory exactly captures the refinement of shift equivalence over S by strong shift equivalence over S. The GSC remains open in general even in the case that S equals the real numbers. △ Less

Submitted 30 August, 2016; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: The purpose of this repost is the addition of Appendix A: Correction

MSC Class: 15A48 (primary); 37B10 (secondary)

Journal ref: Linear Algebra Appl. 498 (2016), 231-243

Strong shift equivalence and algebraic K-theory

Authors: Mike Boyle, Scott Schmieding

Abstract: Let R be a ring. Let SSE-R be the equivalence relation on square matrices (allowed to have different size) over R generated by A ~ B if there exist matrices U,V over R such that A = UV and B = VU . An invariant of SSE-R is shift equivalence over R (SE-R); for example, A and B are SE-R iff the R[t]-modules cok(I-tA) and cok(I-tB) are isomorphic. We show that the refinement of SE-R by SSE-R is captu… ▽ More Let R be a ring. Let SSE-R be the equivalence relation on square matrices (allowed to have different size) over R generated by A ~ B if there exist matrices U,V over R such that A = UV and B = VU . An invariant of SSE-R is shift equivalence over R (SE-R); for example, A and B are SE-R iff the R[t]-modules cok(I-tA) and cok(I-tB) are isomorphic. We show that the refinement of SE-R by SSE-R is captured precisely by NK_1(R)/E(A,R), where the "elementary stabilizer" group E(A,R) depends on the SE-R class of A. E(A,R) is trivial if A is invertible, and in some related cases; for general R, our proof of this relies on the K-theory of noncommutative localization developed by Neeman and Ranicki. The result has application to symbolic dynamics. For R commutative, the union over A of the E(A,R) equals NSK_1(R); the proof uses a stabilization result of Fitting and (especially) the Nenashev characterization of K_1 of an exact category, applied to the exact category of f.g. modules over R[t] with a projective resolution of length at most 1. △ Less

Submitted 16 July, 2016; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 49 pages. We correct a signficant error in the first version of this paper, which claimed that the elementary stabilizer (herein denoted E(A,R)) of a square matrix A over R is always trivial in NK_1(R). In contrast, for R commutative we show now the union over A of the E(A,R) equals NSK_1(R). Consequences of the error for applications are discussed in Remark 2.4

Report number: CPH-SYM-DNRF92 MSC Class: 19M05 (primary); 37B10 (secondary)

The almost Borel structure of surface diffeomorphisms, Markov shifts and their factors

Authors: Mike Boyle, Jérôme Buzzi

Abstract: Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal with respect to a natural family of classes of Borel systems. We then study their continuous factors showing that a low entropy part is almost-Borel isomorphic… ▽ More Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal with respect to a natural family of classes of Borel systems. We then study their continuous factors showing that a low entropy part is almost-Borel isomorphic to a Markov shift but that the remaining part is much more diverse, even for finite-to-one factors. However, we exhibit a new condition which we call "Bowen type" which gives complete control of those factors. This last result applies to and was motivated by the symbolic covers of Sarig. We find complete numeric invariants for Borel isomorphism of $C^{1+}$ surface diffeomorphisms modulo zero entropy measures; for those admitting a totally ergodic measure of positive (not necessarily maximal) entropy, we get a classification up to almost-Borel isomorphism. △ Less

Submitted 28 January, 2015; v1 submitted 25 September, 2014; originally announced September 2014.

Comments: version 2: correction of typos

Report number: Danish National Foundation for Research report CPH-SYM-DNRF92

Borel Isomorphism of SPR Markov Shifts

Authors: Mike Boyle, Jerome Buzzi, Ricardo Gomez

Abstract: We show that strongly positively recurrent Markov shifts (in particular shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points. We show that strongly positively recurrent Markov shifts (in particular shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Bowen's entropy-conjugacy conjecture is true up to finite index

Authors: Mike Boyle, Jerome Buzzi, Kevin Mcgoff

Abstract: For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such… ▽ More For a topological dynamical system consisting of a continuous map f, and a (not necessarily compact) subset Z of X, Bowen (1973) defined a dimension-like version of entropy, h_X(f,Z). In the same work, he introduced a notion of entropy-conjugacy for pairs of invertible compact systems: the systems (X,f) and (Y,g) are entropy-conjugate if there exist invariant Borel subsets X' of X and Y' of Y such that h_X(f,X\setminus X') < h_X(f,X), h_Y(g,Y \setminus Y') < h_Y(g,Y), and (X',f|_{X'}) is topologically conjugate to (Y',g|_{Y'}). Bowen conjectured that two mixing shifts of finite type are entropy-conjugate if they have the same entropy. We prove that two mixing shifts of finite type with equal entropy and left ideal class are entropy-conjugate. Consequently, in every entropy class Bowen's conjecture is true up to finite index. △ Less

Submitted 10 October, 2013; originally announced October 2013.

Report number: CPH-SYM-DNRF92

Path methods for strong shift equivalence of positive matrices

Authors: Mike Boyle, K. H. Kim, F. W. Roush

Abstract: In the early 1990's, Kim and Roush developed path methods for establishing strong shift equivalence (SSE) of positive matrices over a dense subring U of the real numbers R. This paper gives a detailed, unified and generalized presentation of these path methods. New arguments which address arbitrary dense subrings U of R are used to show that for any dense subring U of R, positive matrices over U w… ▽ More In the early 1990's, Kim and Roush developed path methods for establishing strong shift equivalence (SSE) of positive matrices over a dense subring U of the real numbers R. This paper gives a detailed, unified and generalized presentation of these path methods. New arguments which address arbitrary dense subrings U of R are used to show that for any dense subring U of R, positive matrices over U which have just one nonzero eigenvalue and which are strong shift equivalent over U must be strong shift equivalent over U_+. In addition, we show positive real matrices on a path of shift equivalent positive real matrices are SSE over R_+; positive rational matrices which are SSE over R_+ must be SSE over Q_+; and for any dense subring U of R, within the set of positive matrices over U which are conjugate over U to a given matrix, there are only finitely many SSE-U_+ classes. △ Less

Submitted 19 January, 2015; v1 submitted 23 September, 2012; originally announced September 2012.

Comments: This version adds a 3-part program for studying SEE over the reals. One part is handled by the arxiv post "Strong shift equivalence and algebraic K-theory". This version is the author version of the paper published in the Kim memorial volume. From that, my short lifestory of Kim (and more) is on my web page http://www.math.umd.edu/~mboyle/papers/index.html

MSC Class: 37B10

Journal ref: Acta Appl. Math. 126 (2013) 66-115

Hidden Markov processes in the context of symbolic dynamics

Authors: Mike Boyle, Karl Petersen

Abstract: In an effort to aid communication among different fields and perhaps facilitate progress on problems common to all of them, this article discusses hidden Markov processes from several viewpoints, especially that of symbolic dynamics, where they are known as sofic measures, or continuous shift-commuting images of Markov measures. It provides background, describes known tools and methods, surveys… ▽ More In an effort to aid communication among different fields and perhaps facilitate progress on problems common to all of them, this article discusses hidden Markov processes from several viewpoints, especially that of symbolic dynamics, where they are known as sofic measures, or continuous shift-commuting images of Markov measures. It provides background, describes known tools and methods, surveys some of the literature, and proposes several open problems. △ Less

Submitted 13 January, 2010; v1 submitted 10 July, 2009; originally announced July 2009.

Comments: Revised version, to appear in the proceedings of the BIRS 2007 Workshop on Entropy of Hidden Markov Processes and Connections to Dynamical Systems

MSC Class: 60K99; 60-02; 37-02 (Primary); 37B10; 60J10; 37D35; 94A15 (Secondary)

Jointly periodic points in cellular automata: computer explorations and conjectures

Authors: Mike Boyle, Bryant Lee

Abstract: We develop a rather elaborate computer program to investigate the jointly periodic points of one-dimensional cellular automata. The experimental results and mathematical context lead to questions, conjectures and a contextual theorem. We develop a rather elaborate computer program to investigate the jointly periodic points of one-dimensional cellular automata. The experimental results and mathematical context lead to questions, conjectures and a contextual theorem. △ Less

Submitted 6 July, 2006; originally announced July 2006.

Comments: 41 pages. paper is based on a computer program freely available at http://www.math.umd.edu/~mmb/cellauto/

MSC Class: 37B15; 37B10

Good potentials for almost isomorphism of countable state Markov shifts

Authors: Jerome Buzzi, Mike M. Boyle, Ricardo Gomez

Abstract: Almost isomorphism is an equivalence relation on countable state Markov shifts which provides a strong version of Borel conjugacy; still, for mixing SPR shifts, entropy is a complete invariant of almost isomorphism. In this paper, we establish a class of potentials on countable state Markov shifts whose thermodynamic formalism is respected by almost isomorphism. Almost isomorphism is an equivalence relation on countable state Markov shifts which provides a strong version of Borel conjugacy; still, for mixing SPR shifts, entropy is a complete invariant of almost isomorphism. In this paper, we establish a class of potentials on countable state Markov shifts whose thermodynamic formalism is respected by almost isomorphism. △ Less

Submitted 28 October, 2005; originally announced October 2005.

MSC Class: Primary: 37B10; Secondary: 37B40; 37C99; 37D35

Almost isomorphism for countable state Markov shifts

Authors: Mike M. Boyle, Jerome Buzzi, Ricardo Gomez

Abstract: Countable state Markov shifts are a natural generalization of the well-known subshifts of finite type. They are the subject of current research both for their own sake and as models for smooth dynamical systems. In this paper, we investigate their almost isomorphism and entropy conjugacy and obtain a complete classification for the especially important class of strongly positive recurrent Markov… ▽ More Countable state Markov shifts are a natural generalization of the well-known subshifts of finite type. They are the subject of current research both for their own sake and as models for smooth dynamical systems. In this paper, we investigate their almost isomorphism and entropy conjugacy and obtain a complete classification for the especially important class of strongly positive recurrent Markov shifts. This gives a complete classification up to entropy conjugacy of the natural extensions of smooth entropy expanding maps, including all smooth interval maps with non-zero topological entropy. △ Less

Submitted 9 May, 2004; originally announced May 2004.

MSC Class: 37B10; 37B40; 37C99; 37D35