scholarly journals Toeplitz flows and their ordered K-theory

2015 ◽  
Vol 36 (6) ◽  
pp. 1892-1921 ◽  
Author(s):  
SIRI-MALÉN HØYNES
Keyword(s):  
Analogous Result ◽  
Bratteli Diagram ◽  
Probability Measures ◽  
Orbit Equivalence ◽  
Incidence Matrices ◽  
Orbit Equivalent ◽  
Uncountable Family ◽  
Dimension Groups ◽  
Rank One ◽  
Formula Group

To a Toeplitz flow $(X,T)$ we associate an ordered $K^{0}$-group, denoted $K^{0}(X,T)$, which is order isomorphic to the $K^{0}$-group of the associated (non-commutative) $C^{\ast }$-crossed product $C(X)\rtimes _{T}\mathbb{Z}$. However, $K^{0}(X,T)$ can be defined in purely dynamical terms, and it turns out to be a complete invariant for (strong) orbit equivalence. We characterize the $K^{0}$-groups that arise from Toeplitz flows $(X,T)$ as exactly those simple dimension groups $(G,G^{+})$ that contain a non-cyclic subgroup $H$ of rank one that intersects $G^{+}$ non-trivially. Furthermore, the Bratteli diagram realization of $(G,G^{+})$ can be chosen to have the ERS property, i.e. the incidence matrices of the Bratteli diagram have equal row sums. We also prove that for any Choquet simplex $K$ there exists an uncountable family of pairwise non-orbit equivalent Toeplitz flows $(X,T)$ such that the set of $T$-invariant probability measures $M(X,T)$ is affinely homeomorphic to $K$, where the entropy $h(T)$ may be prescribed beforehand. Furthermore, the analogous result is true if we substitute strong orbit equivalence for orbit equivalence, but in that case we can actually prescribe both the entropy and the maximal equicontinuous factor of $(X,T)$. Finally, we present some interesting concrete examples of dimension groups associated to Toeplitz flows.

scholarly journals Lebesgue orbit equivalence of multidimensional Borel flows: A picturebook of tilings

2016 ◽  
Vol 37 (6) ◽  
pp. 1966-1996
Author(s):  
KONSTANTIN SLUTSKY
Keyword(s):  
Lebesgue Measure ◽  
Probability Measures ◽  
Orbit Equivalence ◽  
Orbit Equivalent

The main result of the paper is classification of free multidimensional Borel flows up to Lebesgue orbit equivalence, by which we mean an orbit equivalence that preserves the Lebesgue measure on each orbit. Two non-smooth $\mathbb{R}^{d}$-flows are shown to be Lebesgue orbit equivalent if and only if they admit the same number of invariant ergodic probability measures.

On Constructing Ergodic Hyperfinite Equivalence Relations of Non-Product Type

2013 ◽  
Vol 56 (1) ◽  
pp. 136-147
Author(s):  
Radu-Bogdan Munteanu
Keyword(s):  
Equivalence Relation ◽  
Product Type ◽  
Bratteli Diagram ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Property A

AbstractProduct type equivalence relations are hyperfinitemeasured equivalence relations, which, up to orbit equivalence, are generated by product type odometer actions. We give a concrete example of a hyperfinite equivalence relation of non-product type, which is the tail equivalence on a Bratteli diagram. In order to show that the equivalence relation constructed is not of product type we will use a criterion called property A. This property, introduced by Krieger for non-singular transformations, is defined directly for hyperfinite equivalence relations in this paper.

Bratteli–Vershik models for Cantor minimal systems: applications to Toeplitz flows

2000 ◽  
Vol 20 (6) ◽  
pp. 1687-1710 ◽  
Author(s):  
RICHARD GJERDE ◽  
ØRJAN JOHANSEN
Keyword(s):  
Dimension Group ◽  
Orbit Equivalent ◽  
Bratteli Diagrams ◽  
Novel Approach ◽  
Dimension Groups ◽  
Substitution System ◽  
Zero Entropy ◽  
Factor Map ◽  
Cantor Minimal Systems ◽  
Uniquely Ergodic

We construct Bratteli–Vershik models for Toeplitz flows and characterize a class of properly ordered Bratteli diagrams corresponding to these flows. We use this result to extend by a novel approach—using basic theory of dimension groups—an interesting and non-trivial result about Toeplitz flows, first shown by Downarowicz. (Williams had previously obtained preliminary results in this direction.) The result states that to any Choquet simplex $K$, there exists a $0$–$1$ Toeplitz flow $(Y,\psi)$, so that the set of invariant probability measures of $(Y,\psi)$ is affinely homeomorphic to $K$. Not only do we give a conceptually new proof of this result, we also show that we may choose $(Y,\psi)$ to have zero entropy and to have full rational spectrum.Furthermore, our Bratteli–Vershik model for a given Toeplitz flow explicitly exhibits the factor map onto the maximal equicontinuous (odometer) factor. We utilize this to give a simple proof of the existence of a uniquely ergodic 0–1 Toeplitz flow of zero entropy having a given odometer as its maximal equicontinuous factor and being strongly orbit equivalent to this factor. By the same token, we show the existence of 0–1 Toeplitz flows having the 2-odometer as their maximal equicontinuous factor, being strong orbit equivalent to the same, and assuming any entropy value in $[0,\ln 2)$.Finally, we show by an explicit example, using Bratteli diagrams, that Toeplitz flows are not preserved under Kakutani equivalence (in fact, under inducing)—contrasting what is the case for substitution minimal systems. In fact, the example we exhibit is an induced system of a 0–1 Toeplitz flow which is conjugate to the Chacon substitution system, thus it is prime, i.e. it has no non-trivial factors.The thrust of our paper is to demonstrate the relevance and usefulness of Bratteli–Vershik models and dimension group theory for the study of minimal symbolic systems. This is also exemplified in recent papers by Forrest and by Durand, Host and Skau, treating substitution minimal systems, and by papers by Boyle, Handelman and by Ormes.

WEAK ORBIT EQUIVALENCE OF CANTOR MINIMAL SYSTEMS

1995 ◽  
Vol 06 (04) ◽  
pp. 559-579 ◽  
Author(s):  
ELI GLASNER ◽  
BENJAMIN WEISS
Keyword(s):  
Recent Work ◽  
Orbit Equivalence ◽  
C Algebra ◽  
Dimension Groups ◽  
Cantor Minimal Systems

This paper is a commentary on the recent work [4]. It has two goals: the first is to eliminate the C*-algebra machinery from the proofs of the results of [4]; the second, to provide a characterization of weak orbit equivalence of Cantor minimal systems in terms of their dimension groups.

scholarly journals Graph algebras and orbit equivalence

2015 ◽  
Vol 37 (2) ◽  
pp. 389-417 ◽  
Author(s):  
NATHAN BROWNLOWE ◽  
TOKE MEIER CARLSEN ◽  
MICHAEL F. WHITTAKER
Keyword(s):  
Directed Graphs ◽  
Orbit Equivalence ◽  
Graph Algebras ◽  
Orbit Equivalent ◽  
Markov Shifts ◽  
Graph Algebra ◽  
Arbitrary Graphs ◽  
Reverse Implication

We introduce the notion of orbit equivalence of directed graphs, following Matsumoto’s notion of continuous orbit equivalence for topological Markov shifts. We show that two graphs in which every cycle has an exit are orbit equivalent if and only if there is a diagonal-preserving isomorphism between their $C^{\ast }$-algebras. We show that it is necessary to assume that every cycle has an exit for the forward implication, but that the reverse implication holds for arbitrary graphs. As part of our analysis of arbitrary graphs $E$ we construct a groupoid ${\mathcal{G}}_{(C^{\ast }(E),{\mathcal{D}}(E))}$ from the graph algebra $C^{\ast }(E)$ and its diagonal subalgebra ${\mathcal{D}}(E)$ which generalises Renault’s Weyl groupoid construction applied to $(C^{\ast }(E),{\mathcal{D}}(E))$. We show that ${\mathcal{G}}_{(C^{\ast }(E),{\mathcal{D}}(E))}$ recovers the graph groupoid ${\mathcal{G}}_{E}$ without the assumption that every cycle in $E$ has an exit, which is required to apply Renault’s results to $(C^{\ast }(E),{\mathcal{D}}(E))$. We finish with applications of our results to out-splittings of graphs and to amplified graphs.

Dimension groups for self-similar maps and matrix representations of the cores of the associated C*-algebras

2020 ◽  
pp. 1-44
Author(s):  
Tsuyoshi Kajiwara ◽  
Yasuo Watatani
Keyword(s):  
Matrix Representations ◽  
Singularity Structure ◽  
Abstract Group ◽  
C Algebras ◽  
The Core ◽  
Dimension Group ◽  
Markov Shifts ◽  
Dimension Groups ◽  
Formula Group ◽  
Self Similar

Abstract We introduce a dimension group for a self-similar map as the $\mathrm {K}_0$ -group of the core of the C*-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singularity structure of branched points. We compute that the dimension group for the tent map is isomorphic to the countably generated free abelian group ${\mathbb Z}^{\infty }\cong {\mathbb Z}[t]$ together with the unilateral shift, i.e. the multiplication map by t as an abstract group. Thus the canonical endomorphisms on the $\mathrm {K}_0$ -groups are not automorphisms in general. This is a different point compared with dimension groups for topological Markov shifts. We can count the singularity structure in the dimension groups.

scholarly journals Dynamical simplices and Fraïssé theory

2018 ◽  
Vol 39 (11) ◽  
pp. 3111-3126 ◽  
Author(s):  
JULIEN MELLERAY
Keyword(s):  
Invariant Measures ◽  
Probability Measures ◽  
Choquet Simplex ◽  
Cantor Space ◽  
Orbit Equivalent ◽  
Minimal Homeomorphisms

We simplify a criterion (due to Ibarlucía and the author) which characterizes dynamical simplices, that is, sets $K$ of probability measures on a Cantor space $X$ for which there exists a minimal homeomorphism of $X$ whose set of invariant measures coincides with $K$ . We then point out that this criterion is related to Fraïssé theory, and use that connection to provide a new proof of Downarowicz’ theorem stating that any non-empty metrizable Choquet simplex is affinely homeomorphic to a dynamical simplex. The construction enables us to prove that there exist minimal homeomorphisms of a Cantor space which are speedup equivalent but not orbit equivalent, answering a question of Ash.

scholarly journals Continuous orbit equivalence of topological Markov shifts and dynamical zeta functions

2015 ◽  
Vol 36 (5) ◽  
pp. 1557-1581 ◽  
Author(s):  
KENGO MATSUMOTO ◽  
HIROKI MATUI
Keyword(s):  
Zeta Functions ◽  
Periodic Points ◽  
Orbit Equivalence ◽  
Cohomology Groups ◽  
Borel Measures ◽  
Orbit Equivalent ◽  
Positive Elements ◽  
Markov Shifts ◽  
Sigma B

For continuously orbit equivalent one-sided topological Markov shifts $(X_{A},{\it\sigma}_{A})$ and $(X_{B},{\it\sigma}_{B})$, their eventually periodic points and cocycle functions are studied. As a result, we directly construct an isomorphism between their ordered cohomology groups $(\bar{H}^{A},\bar{H}_{+}^{A})$ and $(\bar{H}^{B},\bar{H}_{+}^{B})$. We also show that the cocycle functions for the continuous orbit equivalences give rise to positive elements of their ordered cohomology groups, so that the zeta functions of continuously orbit equivalent topological Markov shifts are related. The set of Borel measures is shown to be invariant under continuous orbit equivalence of one-sided topological Markov shifts.

scholarly journals On the eigenvalues of finite rank Bratteli–Vershik dynamical systems

2009 ◽  
Vol 30 (3) ◽  
pp. 639-664 ◽  
Author(s):  
XAVIER BRESSAUD ◽  
FABIEN DURAND ◽  
ALEJANDRO MAASS
Keyword(s):  
Finite Rank ◽  
Additive Group ◽  
Bratteli Diagram ◽  
Necessary Condition ◽  
Incidence Matrices ◽  
Bounded Number ◽  
Stable Space ◽  
To Come ◽  
Cantor Minimal Systems ◽  
Stable Subspace

AbstractIn this article we study conditions to be a continuous or a measurable eigenvalue of finite rank minimal Cantor systems, that is, systems given by an ordered Bratteli diagram with a bounded number of vertices per level. We prove that continuous eigenvalues always come from the stable subspace associated with the incidence matrices of the Bratteli diagram and we study rationally independent generators of the additive group of continuous eigenvalues. Given an ergodic probability measure, we provide a general necessary condition for there to be a measurable eigenvalue. Then, we consider two families of examples, a first one to illustrate that measurable eigenvalues do not need to come from the stable space. Finally, we study Toeplitz-type Cantor minimal systems of finite rank. We recover classical results in the continuous case and we prove that measurable eigenvalues are always rational but not necessarily continuous.

scholarly journals Invariant measures on stationary Bratteli diagrams

2009 ◽  
Vol 30 (4) ◽  
pp. 973-1007 ◽  
Author(s):  
S. BEZUGLYI ◽  
J. KWIATKOWSKI ◽  
K. MEDYNETS ◽  
B. SOLOMYAK
Keyword(s):  
Dynamical Systems ◽  
Equivalence Relation ◽  
Complex Number ◽  
Incidence Matrix ◽  
Invariant Measures ◽  
Explicit Description ◽  
Bratteli Diagram ◽  
Probability Measures ◽  
Bratteli Diagrams ◽  
Substitution Dynamical Systems

AbstractWe study dynamical systems acting on the path space of a stationary (non-simple) Bratteli diagram. For such systems we give an explicit description of all ergodic probability measures that are invariant with respect to the tail equivalence relation (or the Vershik map); these measures are completely described by the incidence matrix of the Bratteli diagram. Since such diagrams correspond to substitution dynamical systems, our description provides an algorithm for finding invariant probability measures for aperiodic non-minimal substitution systems. Several corollaries of these results are obtained. In particular, we show that the invariant measures are not mixing and give a criterion for a complex number to be an eigenvalue for the Vershik map.

Sign in / Sign up

Export Citation Format

Share Document