BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Kengo Matsumoto contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper, we study a family of $C^*$-subalgebras defined by fixed points of generalized gauge actions of a Cuntz-Krieger algebra, by introducing a family of étale groupoids whose associated $C^*$-algebras are these $C^*$-subalgebras. We know that topological conjugacy classes of one-sided topological Markov shifts are characterized in terms of the isomorphism classes of these étale groupoids.
A $λ$-graph system $\frak L$ is a labeled Bratteli diagram with shift operation. It is a generalized notion of finite labeled graph and presents a subshifts. We will study continuous orbit equivalence of one-sided subshifts and topological conjugacy of two-sided subshifts from the view points of groupoids and $C^*$-algebras constructed from $λ$-graph systems.
We study KMS states for gauge actions with potential functions on Cuntz--Krieger algebras whose underlying one-sided topological Markov shifts are continuous orbit equivalent. As a result, we have a certain relationship between topological entropy of continuous orbit equivalent one-sided topological Markov shifts.
We will characterize topological conjugate one-sided topological Markov shifts in terms of their subgroups of continuous full groups and subalgebras of Cuntz--Krieger algebras.
We will introduce a notion of normal subshifts. A subshift $(Λ,σ)$ is said to be normal if it satisfies a certain synchronizing property called $λ$-synchronizing and is infinite as a set. We have lots of purely infinite simple $C^*$-algebras from normal subshifts including irreducible infinite sofic shifts, Dyck shifts, $β$-shifts, and so on. Eventual conjugacy of one-sided normal subshifts and topological conjugacy of two-sided normal subshifts are characterized in terms of the associated $C^*$-algebras and the associated stabilized $C^*$-algebras with its diagonals and gauge actions, respectively.
We introduce a notion of $λ$-graph bisystem. It consists of a pair $({\frak L}^-, {\frak L}^+)$ of two labeled Bratteli diagrams ${\frak L}^-, {\frak L}^+$ over alphabets $Σ^-, Σ^+$, respectively, and satisfy certain compatibility condition of their labeling on edges. Its matrix presentation is called a symbolic matrix bisystem. We first show that any $λ$-graph bisystem presents subshifts and conversely any subshift is presented by a $λ$-graph bisystem, called the canonical $λ$-graph bisystem for the subshift. We introduce a notion of properly strong shift equivalence on symbolic matrix bisystems and show that two subshifts are topologically conjugate if and only if their canonical symbolic matrix bisystems are properly strong shift equivalent. A $λ$-graph bisystem $({\frak L}^-, {\frak L}^+)$ yields a pair of $C^*$-algebra written ${\mathcal{O}_{{\frak L}^-}^+}, {\mathcal{O}_{{\frak L}^+}^-}$. We show that the $C^*$-algebras are universal unique $C^*$-algebras subject to certain operator relations among canonical generators encoded by $λ$-graph bisystem $({\frak L}^-, {\frak L}^+).$ If a $λ$-graph bisystem comes from a $λ$-graph system of a finite directed graph, then the associated subshift is the two-sided topological Markov shift $(Λ_A, σ_A)$ by its transition matrix $A$ of the graph, and the associated $C^*$-algebra ${\mathcal{O}_{{\frak L}^-}^+}$ is isomorphic to ${\mathcal{O}}_A,$ whereas the other $C^*$-algebra ${\mathcal{O}_{{\frak L}^+}^-}$ is isomorphic to $C(Λ_A)\rtimes_{σ_A^*}\mathbb{Z}$ of the commutative $C^*$-algebra $C(Λ_A)$ on $Λ_A$ by the automorphism induced by the homeomorphism of the shift $σ_A.$ This phenomena shows a duality between ${\mathcal{O}}_A$ and $C(Λ_A)\rtimes_{σ_A^*}\mathbb{Z}$.
Let $A$ be an $N\times N$ irreducible matrix with entries in $\{0,1\}$. We present an easy way to find an $(N+3)\times (N+3)$ irreducible matrix $\bar{A}$ with entries in $\{0,1\}$ such that their Cuntz--Krieger algebras ${\mathcal{O}}_A$ and ${\mathcal{O}}_{\bar{A}}$ are isomorphic and $ \det(1 -A) = - \det(1-\bar{A}). $ As a consequence, we know that two Cuntz--Krieger algebras ${\mathcal{O}}_A$ and ${\mathcal{O}}_B$ are isomorphic if and only if the one-sided topological Markov shift $(X_A, σ_A)$ is continuously orbit equivalent to $(X_B, σ_B)$ or $(X_{\bar{B}}, σ_{\bar{B}}).$
We will study torus actions on Cuntz--Krieger algebras trivially acting on its canonical maximal abelian $C^*$-subalgebras from the view points of continuous orbit equivalence of one-sided topological Markov shifts and flow equivalence of two-sided topological Markov shifts.
In this paper, we will study presentations of the continuous full group $Γ_A$ of a one-sided topological Markov shift $(X_A,σ_A)$ for an irreducible matrix $A$ with entries in $\{0,1\}$ as a generalization of Higman-Thompson groups $V_N, 1<N \in {\mathbb{N}}$. We will show that the group $Γ_A$ can be represented as a group $Γ_A^{\operatorname{tab}}$ of matrices, called $A$-adic tables, with entries in admissible words of the shift space $X_A$, and a group $Γ_A^{\operatorname{PL}}$ of right continuous piecewise linear functions, called $A$-adic PL functions, on $[0,1]$ with finite singularities.
In this paper, we will introduce a notion of basis related Morita equivalence in the Cuntz--Krieger algebras $({\mathcal{O}_A}, \{S_a\}_{a \in E_A})$ with the canonical right finite basis $\{S_a\}_{a \in E_A}$ as Hilbert $C^*$-bimodule, and prove that two nonnegative irreducible matrices $A$ and $B$ are elementary equivalent, that is, $A = CD, B = DC$ for some nonnegative rectangular matrices $C, D$, if and only if the Cuntz--Krieger algebras $({\mathcal{O}_A}, \{S_a\}_{a \in E_A})$ and $({\mathcal{O}_B}, \{ S_b\}_{b\in E_B})$ with the canonical right finite bases are basis relatedly elementary Morita equivalent.
$λ$-graph systems are labeled Bratteli diagram with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of $λ$-graph systems and study extensions of subshifts by finite groups. We prove that two canonical symbolic matrix systems are $G$-strong shift equivalent if and only if their presented subshifts are $G$-conjugate. $G$-equivalent classes of subshifts are classified by the cohomology classes of their associated skewing functions.
For an irreducible non-permutation matrix $A$, the triplet $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ for the Cuntz-Krieger algebra ${\mathcal{O}_A}$, its canonical maximal abelian $C^*$-subalgebra ${\mathcal{D}_A}$, and its gauge action $ρ^A$ is called the Cuntz-Krieger triplet. We introduce a notion of strong Morita equivalence in the Cuntz-Krieger triplets, and prove that two Cuntz-Krieger triplets $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ and $({\mathcal{O}_B},{\mathcal{D}_B},ρ^B)$ are strong Morita equivalent if and only if $A$ and $B$ are strong shift equivalent. We also show that the generalized gauge actions on the stabilized Cuntz-Krieger algebras are cocycle conjugate if the underlying matrices are strong shift equivalent. By clarifying K-theoretic behavior of the cocycle conjugacy, we investigate a relationship between cocycle conjugacy of the gauge actions on the stabilized Cuntz-Krieger algebras and topological conjugacy of the underlying topological Markov shifts.
We introduce a notion of uniformly continuous orbit equivalence as a subequivalence relation of continuous orbit equivalence of one-sided topological Markov shifts. It is described in terms of gauge actions on the associated Cuntz-Krieger algebras and continuous full groups of the Markov shifts.
We introduce notions of suspension and flow equivalence on one-sided topological Markov shifts, which we call one-sided suspension and one-sided flow equivalence, respectively. We prove that one-sided flow equivalence is equivalent to continuous orbit equivalence on one-sided topological Markov shifts. We also show that the zeta function of the flow on a one-sided suspension is a dynamical zeta function with some potential function and that the set of certain dynamical zeta functions is invariant under one-sided flow equivalence of topological Markov shifts.
For a given finite directed graph $G$, there are two types of Markov-Dyck shifts, the Markov-Dyck shift $D_G^V$ of vertex type and the Markov-Dyck shift $D_G^E$ of edge type. It is shown that, if $G$ does not have multi-edges, the former is a finite-to-one factor of the latter, and they have the same topological entropy. An expression for the zeta function of a Markov-Dyck shift of vertex type is given. It is different from that of the Markov-Dyck shift of edge type.
A $λ$-graph system is a labeled Bratteli diagram with some additional structure, which presents a subshift and yields a $C^*$-algebra. In this paper, we construct a $λ$-graph system from a pushdown automaton, such that the accepted language by the automaton coincides with the language of admissible words of the presented subshift by the $λ$-graph system. The $λ$-graph systems for pushdown automata accepting the languages of Markov-Dyck shifts and sofic-Dyck shifts are presented.
We will introduce a notion of strongly continuous orbit equivalence in one-sided topological Markov shifts. Strongly continuous orbit equivalence yields a topological conjugacy between their two-sided topological Markov shifts $(\bar{X}_A, \barσ_A)$ and $(\bar{X}_B, \barσ_B)$. We prove that one-sided topological Markov shifts $(X_A, σ_A)$ and $(X_B, σ_B)$ are strongly continuous orbit equivalent if and only if there exists an isomorphism bewteen the Cuntz-Krieger algebras ${\mathcal{O}}_A$ and ${\mathcal{O}}_B$ preserving their maximal commutative $C^*$-subalgebras $C(X_A)$ and $C(X_B)$ and giving cocycle conjugate gauge actions. An example of one-sided topological Markov shifts which are strongly continuous orbit equivalent but not one-sided topologically conjugate is presented.
A Hilbert $C^*$-quad module of finite type has a multi structure of Hilbert $C^*$-bimodules with two finite bases. We will construct a $C^*$-algebra from a Hilbert $C^*$-quad module of finite type and prove its universality subject to certain relations among generators. Some examples of the $C^*$-algebras from Hilbert $C^*$-quad modules of finite type will be presented.
Let A,B be square irreducible matrices with entries in {0,1}. We will show that if the one-sided topological Markov shifts (X_A,σ_A) and (X_B,σ_B) are continuously orbit equivalent, then the two-sided topological Markov shifts (\bar X_A,\barσ_A) and (\bar X_B,\barσ_B) are flow equivalent, and hence det(id-A)=det(id-B). As a result, the one-sided topological Markov shifts (X_A,σ_A) and (X_B,σ_B) are continuously orbit equivalent if and only if the Cuntz-Krieger algebras O_A and O_B are isomorphic and det(id-A)=det(id-B).
A $C^*$-symbolic dynamical system $({\cal A}, ρ, Σ)$ is a finite family $\{ρ_α\}_{α\inΣ}$ of endomorphisms of a $C^*$-algebra ${\cal A}$ with some conditions. It yields a $C^*$-algebra ${\cal O}_ρ$ from an associated Hilbert $C^*$-bimodule. In this paper, we will extend the notion of $C^*$-symbolic dynamical system to $C^*$-textile dynamical system $({\cal A}, ρ, η, {Σ^ρ}, {Σ^η}, κ)$ which consists of two $C^*$-symbolic dynamical systems $({\cal A}, ρ, {Σ^ρ})$ and $({\cal A}, η, {Σ^η})$ with certain commutation relations $κ$ between their endomorphisms $\{ρ_α\}_{α\in Σ^ρ}$ and $\{η_a \}_{a \in Σ^η}$. $C^*$-textile dynamical systems yield two-dimensional subshifts and $C^*$-algebras ${\cal O}^κ_{ρ,η}$. We will study the structure of the algebras ${\cal O}^κ_{ρ,η}$ and present its K-theory formulae.
Let ${\cal O}_{{\cal H}^{A,B}_κ}$ be the $C^*$-algebra associated with the Hilbert $C^*$-quad module arising from commuting matrices $A,B$ with entries in $\{0,1\}$. We will show that if the associated tiling space $X_{A,B}^κ$ is transitive, the $C^*$-algebra ${\cal O}_{{\cal H}^{A,B}_κ}$ is simple and purely infinite. In particulr, for two positive integers $N,M$, the $K$-groups of the simple purely infinite $C^*$-algebra ${\cal O}_{{\cal H}^{[N],[M]}_κ}$ are computed by using the Euclidean algorithm.
Let $(X_A,σ_A)$ be the right one-sided topological Markov shift for an irreducible matrix with entries in $\{0,1\}$, and $Γ_A$ the continuous full group of $(X_A,σ_A)$. For two irreducible matrices $A$ and $B$ with entries in $\{0,1\}$, it will be proved that the continuous full groups $Γ_A$ and $Γ_B$ are isomorphic as abstract groups if and only if their one-sided topological Markov shifts $(X_A,σ_A)$ and $(X_B,σ_B)$ are continuously orbit equivalent.
A certain synchronizing property for subshifts called $λ$-synchronization yields $λ$-graph systems called the $λ$-synchronizing $λ$-graph systems for the subshifts. The $λ$-synchronizing $λ$-graph system is a left Fischer cover analogue for a $λ$-synchronizing subshift. We will study algebraic structure of the $C^*$-algebra associated with the $λ$-synchronizing $λ$-graph system and prove that the stable isomorphism class of the $C^*$-algebra with its Cartan subalgebra is invariant under flow equivalence of $λ$-synchronizing subshifts.
We will study a certain synchronizing property of subshifts called $λ$-synchronization. The $λ$-synchronizing subshifts form a large class of irreducible subshifts containing irreducible sofic shifts. We prove that the $λ$-synchronization is invariant under flow equivalence of subshifts. The $λ$-synchronizing K-groups and the $λ$-synchronizing Bowen-Franks groups are studied and proved to be invariant under flow equivalence of $λ$-synchronizing subshifts. They are new flow equivalence invariants for $λ$-synchronizing subshifts.
We discuss a synchronization property for subshifts, that we call $λ$-synchronization. Under an irreducibility assumption we associate to a $λ$-synchronizing subshift a simple and purely infinite $C^*$-algebra.
A $C^*$-textile dynamical system $({\cal A}, ρ,η,Σ^ρ,Σ^η, κ)$ connsists of a unital $C^*$-algebra ${\cal A}$, two families of endomorphisms ${ρ_α}_{α\in Σ^ρ}$ and ${η_a}_{a \in Σ^η}$ of ${\cal A}$ and certain commutation relations $κ$ among them. It yields a two-dimensional subshift and multi structure of Hilbert $C^*$-bimodules, which we call a Hilbert $C^*$-quad module. We introduce a $C^*$-algebra from the Hilbert $C^*$-quad module as a two-dimensional analogue of Pimsner's construction of $C^*$-algebras from Hilbert $C^*$-bimodules. We study the $C^*$-algebras defined by the Hilbert $C^*$-quad modules and prove that they have universal properties subject to certain operator relations. We also present its examples arising from commuting matrices.
The Markov-Dyck shifts arise from finite directed graphs. An expression for the zeta function of a Markov-Dyck shift is given. The derivation of this expression is based on a formula in Keller (G. Keller, {\it Circular codes, loop counting, and zeta-functions}, J. Combinatorial Theory {\bf 56} (1991), pp. 75--83). For a class of examples that includes the Fibonacci-Dyck shift the zeta functions and topological entropy ae determined.