Entropy of endomorphisms and relative entropy in finite von Neumann algebras
type: Item
instance of: scholarly article
title: Entropy of endomorphisms and relative entropy in finite von Neumann algebras
zbMATH Open document ID: 0966.46037
author: Erling Størmer
published in: Journal of Functional Analysis
publication date: 2000-08-28T00:00:00Z
review text: If \(T\) is a measure-preserving nonsingular transformation on a probability space and \(\mathcal P\) is a generator then the entropy of \(T\) is given by the relative entropy \(H(T)=H(\bigvee_0^\infty T^{-i}\mathcal P \mid \bigvee_1^\infty T^{-i}\mathcal P)\). The author proves an analogue of this result for automorphisms of finite von Neumann algebras. Suppose \(R\) is a finite von Neumann algebra with a faithful normal tracial state \(\tau\) and \(\alpha\) is a \(\tau\)-invariant endomorphism of \(R\). The entropy of \(\alpha\), \(H(\alpha)\), was defined by the author and \textit{A. Connes} in [Acta Math. 134, 289-306 (1975; Zbl 0326.46032)] via finite dimensional subalgebras of \(R\) and relative entropy of a subalgebra \(P\) of \(R\), \(H(R\mid P)\) is defined in terms of \(\tau\)-invariant conditional expectations (the infinite dimensional case was developed by \textit{M. Pimsner} and \textit{S. Popa} in [Ann. Sci. Éc. Norm. Supér, IV. Sér. 19, 57-106 (1986; Zbl 0646.46057)]). Call \((A_n)_{n\in {\mathbb N}}\) a generating sequence for \(\alpha\) satisfying the commuting square condition if it is an increasing sequence of finite dimensional von Neumann subalgebras of \(R\) satisfying \(R=\overline{\bigcup_n A_n}\), \(\alpha(A_n)\subset A_{n+1}\), \(H(\alpha)=\lim_{n\to\infty} 1/n H(A_n)\), and \(E_{\alpha(A_n)}=E_{\alpha(A_{n+1})}\circ E_{A_{n+1}}\) for all \(n\in {\mathbb N}\), where \(E_P\) is the \(\tau\)-invariant conditional expectation of \(R\) onto \(P\). The main result of the paper is that if \(H(\alpha)<\infty\) and \((A_n)_{n\in {\mathbb N}}\) a generating sequence for \(\alpha\) satisfying the commuting square condition then \(\lim_{n\to\infty}1/n H(Z(A_n))\) exists and \(H(\alpha)=1/2H(R\mid \alpha(R))+ 1/2\lim_{n\to\infty}1/n H(Z(A_n))\) where \(Z(P)\) denotes the centre of \(P\). Furthermore, if \(R\) is of type \(I\) then \(H(\alpha)=H(R\mid \alpha(R))\).
Mathematics Subject Classification ID: 46L10
Mathematics Subject Classification ID: 46L55
Mathematics Subject Classification ID: 46L40
zbMATH DE Number: 1423451
zbMATH Keywords: von Neumann algebras
zbMATH Keywords: relative entropy
zbMATH Keywords: automorphisms
reviewed by: Jacqui Ramagge
MaRDI profile type: Publication
OpenAlex ID: W2051479225
cites work: Entropy for Canonical Shifts
cites work: Dynamical entropy of C *-algebras and von Neumann algebras
cites work: Entropy for automorphisms of \(II_1\) von Neumann algebras
cites work: Q5565478
cites work: Generators and comparison of entropies of automorphisms of finite von Neumann algebras
cites work: Q4693152
cites work: Maximality of entropy in finite von Neumann algebras
cites work: ENTROPY FOR CANONICAL SHIFTS AND STRONG AMENABILITY
cites work: AMENABILITY AND STRONG AMENABILITY FOR FUSION ALGEBRAS WITH APPLICATIONS TO SUBFACTOR THEORY
cites work: Index for subfactors
cites work: Entropy and index for subfactors
cites work: Classification of subfactors: The reduction to commuting squares
cites work: An Index Theory for Semigroups of *-Endomorphisms of and Type II1 Factors.
cites work: Q3139090
cites work: Fock representation of the binary shift algebra
cites work: Dynamical approximation entropies and topological entropy in operator algebras
DOI: 10.1006/JFAN.1999.3535
description: scientific article; zbMATH DE number 1423451