Let A_E be the canonical AF subalgebra of a graph C*-algebra C*(E) associated with a locally finite directed graph E. For Brown-Voiculescu's topological entropy ht(Φ_E) of the canonical completely positive map Φ_E on C*(E), ht(Φ_E)=ht(Φ_E|_{A_E})=h_l(E)=h_b(E) is known to hold for a finite graph E, where h_l(E) is the loop entropy of Gurevic and h_b(E) is the block entropy of Salama. For an irreducible infinite graph E, the inequality h_l(E)\leq ht(Φ_E|_{A_E}) has been known recently. It is shown in this paper that ht(Φ_E|_{A_E})\leq max{h_b(E), h_b(tE)}, where tE is the graph E with the direction of the edges reversed. Some irreducible infinite graphs E_p(p>1) with ht(Φ_E|_{A_{E_p}})=log p are also examined.
We revisit the connection between index and relative entropy for an inclusion of finite von Neumann algebras. We observe that the Pimsner-Popa index connects to sandwiched Renyi $p$-relative entropy for all $1/2\le p\le \infty$, including Umegaki's relative entropy at $p=1$. Based on that, we introduce a new notation of relative entropy to a subalgebra which generalizes subfactors index. This relative entropy has application in estimating decoherence time of quantum Markov semigroups.
In this paper, two sufficient and necessary conditions are given. The first one characterizes when the boundary path groupoid of a topological graph without singular vertices has closed interior of its isotropy group bundle, and the second one characterizes when the path groupoid of a row-finite k-graph without sources has closed interior of its isotropy group bundle. It follows that the associated topological graph algebra and the associated k-graph C*-algebra have Cartan subalgebras due to a result of Brown-Nagy-Reznikoff-Sims-Williams.
We obtain an estimate of Voiculescu's (modified) free entropy dimension for generators of a ${II}_1$-factor $\mc{M}$ with a subfactor $\mc{N}$ containing an abelian subalgebra $\mc{A}$ of finite multiplicity. It implies in particular that the interpolated free group subfactors of finite Jones index do not have abelian subalgebras of finite multiplicity or Cartan subalgebras.
Renault proved in 2008 that if $G$ is a topologically principal groupoid, then $C_0(G^{(0)})$ is a Cartan subalgebra in $C^*_r(G, Σ)$ for any twist $Σ$ over $G$. However, there are many groupoids which are not topologically principal, yet their (twisted) $C^*$-algebras admit Cartan subalgebras. This paper gives a dynamical description of a class of such Cartan subalgebras, by identifying conditions on a 2-cocycle $c$ on $G$ and a subgroupoid $S \subseteq G$ under which $C^*_r(S, c)$ is Cartan in $C^*_r(G, c)$. When $G$ is a discrete group, we also describe the Weyl groupoid and twist associate…
We give a numerical characterization of mutual orthogonality (that is, complementarity) for subalgebras. In order to give such a characterization for mutually orthogonal subalgebras $A$ and $B$ of the $k \times k$ matrix algebra $M_k(\mathbb{C})$, where $A$ and $B$ are isomorphic to some $M_n(\mathbb{C})$ $(n \leq k)$, we consider a density matrix which is induced from the pair $\{A, B\}$. We show that $A$ and $B$ are mutually orthogonal if and only if the von Neumann entropy of the density matrix is the maximum value $2\log n$, which is the logarithm of the dimension of the subfactors.
Let $A$ and $B$ be two maximal abelian *-subalgebras of the $n\times n$ complex matrices $M_n(\mathbb{C}).$ To study the movement of the inner automorphisms of $M_n(\mathbb{C}),$ we modify the Connes-St$ø$rmer relative entropy $H(A | B)$ and the Connes relative entropy $H_ϕ(A | B)$ with respect to a state $ϕ,$ and introduce the two kinds of the constant $h(A | B)$ and $h_ϕ(A | B).$ For the unistochastic matrix $b(u)$ defined by a unitary $u$ with $B = uAu^*,$ we show that $h(A | B)$ is the entropy $H(b(u))$ of $b(u).$ This is obtained by our computation of $h_ϕ(A | B).$ The $h(A | B)$ attains …
We obtain an estimate of free entropy of generators in a type ${II}_1$-factor $\mc{M}$ which has a subfactor $\mc{N}$ of finite index with a subalgebra $\mc{P}=\mc{P}_1\vee\mc{P}_2\subset\mc{N}$ where $\mc{P}_1=\mc{R}_1'\cap\mc{P}$, $\mc{P}_2=\mc{R}_2'\cap\mc{P}$ are diffuse, $\mc{R}_1,\mc{R}_2\subset\mc{P}$ are mutually commuting hyperfinite subfactors, and an abelian subalgebra $\mc{A}\subset\mc{N}$ such that the correspondence $_\mc{P}L^2(\mc{N},τ)_\mc{A}$ is $\mc{M}$-weakly contained in a subcorrespondence $_\mc{P}H_\mc{A}$ of $_\mc{P}L^2(\mc{M},τ)_\mc{A}$, generated by $v$ vectors. The (m…
Conditioning on Subalgebras - Entropy Duality and Generalized Quantum Stein's Lemma in von Neumann Algebras
Department of Applied Mathematics and Theoretical Physics, University of Cambridge(剑桥大学应用数学与理论物理系);School of Mathematics and Statistics, Wuhan University(武汉大学数学与统计学院);Department of Mathematical Sciences, Chalmers University of Technology(查尔姆斯理工大学数学科学系)
We use the free entropy defined by D. Voiculescu to prove that the free group factors can not be decomposed as closed linear spans of noncommutative monomials in elements of nonprime subfactors or abelian $*$-subalgebras, if the degrees of monomials have an upper bound depending on the number of generators. The resulting estimates for the hyperfinite and abelian dimensions of free group factors settle in the affirmative a conjecture of L. Ge and S. Popa (for infinitely many generators).
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.
Suppose F is a finite set of selfadjoint elements in a tracial von Neumann algebra M. For $α>0$, F is $α$-bounded if the free packing $α$-entropy of F is bounded from above. We say that M is strongly 1-bounded if M has a 1-bounded finite set of selfadjoint generators F such that there exists an x in F with finite free entropy. It is shown that if M is strongly 1-bounded, then any finite set of selfadjoint generators G for M is 1-bounded and the microstates free entropy dimension of G is less than or equal to 1; consequently, a strongly 1-bounded von Neumann algebra is not isomorphic to an inte…
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.
Notions of topological free entropy and of free capacity are introduced in the $C^*$-algebra context. Basic properties, basic problems and connections to potential theory and random matrix theory are discussed.
In the paper, we obtain a formula for topological free entropy dimension in the orthogonal sum (or direct sum) of unital C^* algebras. As a corollary, we compute the topological free entropy dimension of any family of self-adjoint generators of a finite dimensional C^* algebra.
The notion of topological free entropy dimension of $n-$tuples of elements in a unital C$^*$ algebra was introduced by Voiculescu. In the paper, we compute topological free entropy dimension of one self-adjoint element and topological orbit dimension of one self-adjoint element in a unital C$^*$ algebra. Moreover, we calculate the values of topological free entropy dimensions of families of generators of some unital C$^*$ algebras (for example: irrational rotation C$^*$ algebras or minimal tensor product of two reduced C$^*$ algebras of free groups).
Certain classes of automorphisms of recued amalgamated free products of C*-algebras are shown to have Brown-Voiculescu topological entropy zero. Also, for automorphisms of exact C*-algebras, the Connes-Narnhofer-Thirring entropy is shown to be bounded above by the Brown-Voiculescu entropy. These facts are applied to generalize Stormer's result about entropy of automorphisms of the II_1-factor of a free group.
We will characterize topologically conjugate two-sided topological Markov shifts $(\bar{X}_A,\barσ_A)$ in terms of the associated asymptotic Ruelle $C^*$-algebras ${\mathcal{R}}_A$ with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical circle actions. We will also show that extended Ruelle algebras ${\widetilde{\mathcal{R}}}_A$, which are purely infinite version of the asymptotic Ruelle algebras, with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical torus actions $γ^A$ are complete invariants for topological conjugacy of two-sided topological Markov shifts. W…
It is shown that Voiculescu's toplogical entropy for the canonical endomorphism of a simple Cuntz-Krieger algebra O_A equals the logarithm of the spectral radius of A.
We give entropy estimates for two canonical non commutative shifts on $C^*$-algebras associated to some topological graphs $E=(E^0,E^1,s,r)$, defined using a basis of the corresponding Hilbert bimodule $H(E)$. We compare their entropies with the growth entropies associated directly to the topological graph. We illustrate with some examples of topological graphs considered by Katsura, where the vertex and the edge spaces are a union of unit circles and more detailed computations can be done.
We characterize positive topological entropy for quasi-state space homeomorphisms induced from $C^*$-algebra automorphisms in terms of dynamically generated subspaces isomorphic to $\ell_1$. This geometric condition is also used to give a description of the topological Pinsker algebra. In particular we obtain a geometric characterization of positive entropy for topological dynamical systems, as well as an analogue for completely positive topological entropy of Glasner and Weiss's combinatorial characterization of completely positive Kolmogorov-Sinai entropy.
We show that the (Gurevich) topological entropy for the countable Markov shift associated with an infinite transition matrix $A$ coincides with the non-commutative topological entropy for the Exel--Laca algebra associated with $A$, under certain conditions on $A$. An important example satisfying the conditions is the renewal shift, which is not locally finite. We also pose interesting questions for future research on non-commutative topological entropy for non-locally finite transition matrices.
This paper gives a free entropy theoretic perspective on amenable absorption results for free products of tracial von Neumann algebras. In particular, we give the first free entropy proof of Popa's famous result that the generator MASA in a free group factor is maximal amenable, and we partially recover Houdayer's results on amenable absorption and Gamma stability. Moreover, we give a unified approach to all these results using $1$-bounded entropy. We show that if $\mathcal{M} = \mathcal{P} * \mathcal{Q}$, then $\mathcal{P}$ absorbs any subalgebra of $\mathcal{M}$ that intersects it diffusely …
Various notions of stable ranks are studied for topological algebras. Some partial answers to R.G. Swan's problem (Have two Banach or good Fréchet algebras as in the density theorem in K-theory the same stable rank ?) are obtained. For example, a Fréchet dense $\ast$-subalgebra $A$ of a $C^\ast$-algebra $B$, closed under $C^\infty$-functional calculus of self-adjoint elements, has the same Bass stable rank as $B$.
Noncommutative topological entropy estimates are obtained for polynomial gauge invariant endomorphisms of Cuntz algebras, generalising known results for the canonical shift endomorphisms. Exact values for the entropy are computed for a class of permutative endomorphisms related to branching function systems introduced and studied by Bratteli, Jorgensen and Kawamura.