BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mike Boyle

Mike Boyle appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.KTmath.OAmath.PRmath.RAmath.RT

Catalog footprint

What is connected

11works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

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

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).

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Flow Equivalence of G-SFTs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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].

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Strong shift equivalence and algebraic K-theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Strong shift equivalence and the generalized spectral conjecture for nonnegative matrices

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Path methods for strong shift equivalence of positive matrices

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hidden Markov processes in the context of symbolic dynamics

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.

0 citations0 reviewsNo code linkedOpen access