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.
For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determined by the poset of its abelian subalgebras, and has implications in recent approaches to foundational issues in quantum…
\noindent{In} this paper, we clarify the structure of the Stone spectrum of an arbitrary finite von Neumann algebra $\rr$ of type $\rm{I}_{n}$. The main tool for this investigation is a generalized notion of rank for projections in von Neumann algebras of this type.
In this paper, we study uniform perturbations of von Neumann subalgebras of a von Neumann algebra. Let N and M be von Neumann subalgebras of a von Neumann algebra with finite probabilistic index in the sense of Pimsner-Popa. If N and M are sufficiently close, then N and M are unitarily equivalent. The implementing unitary can be chosen as being close to the identity.
In this paper we describe the amalgamated free product of two hyperfinite von Neumann algebras over a finite dimensional subalgebra. In general the free product is a finite direct sum of interpolated free group factors and a hyperfinite von Neumann algebra. We then show that the class of von Neumann algebras of this form is closed under taking amalgamated free products over finite dimensional subalgebras.
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 show that the oriented context category and the oriented spectral presheaf are complete invariants of a von Neumann algebra not isomorphic to $\mathbb{C}\oplus\mathbb{C}$ and with no direct summand of type $I_2$.
In this paper we describe the structure of all sequential isomorphisms between the sets of von Neumann algebra effects. It turns out that if the underlying algebras have no commutative direct summands, then every sequential isomorphism between the sets of their effects extends to the direct sum of a *-isomorphism and a *-antiisomorphism between the underlying von Neumann algebras.
In this short note we classify the Cartan subalgebras in all von Neumann algebras associated with graph product groups and their free ergodic measure preserving actions on probability spaces.
In this paper we describe the amalgamated free product of finite and semifinite hyperfinite von Neumann algebras over atomic type I subalgebras. To do this we extend the notions of free dimension and standard embeddings used in the related results for finite von Neumann algebras to ones which work better for the semifinite case. We also define classes R3 (of finite von Neumann algebras) and R4 (of semifinite von Neumann algebras) which are closed under such amalgamated free products.
Given an irreducible lattice $Γ$ in the product of higher rank simple Lie groups, we prove a co-finiteness result for the $Γ$-invariant von Neumann subalgebras of the group von Neumann algebra $\mathcal{L}(Γ)$, and for the $Γ$-invariant unital $C^*$-subalgebras of the reduced group $C^*$-algebra $C^*_{\rm red}(Γ)$. We use these results to show that: (i) every $Γ$-invariant von Neumann subalgebra of $\mathcal{L}(Γ)$ is generated by a normal subgroup; and (ii) given a non-amenable unitary representation $π$ of $Γ$, every $Γ$-equivariant conditional expectation on $C^*_π(Γ)$ is the canonical cond…
Jolissaint and Stalder introduced definitions of mixing and weak mixing for von Neumann subalgebras of finite von Neumann algebras. In this note, we study various algebraic and analytical properties of subalgebras with these mixing properties. We prove some basic results about mixing inclusions of von Neumann algebras and establish a connection between mixing properties and normalizers of von Neumann subalgebras. The special case of mixing subalgebras arising from inclusions of countable discrete groups finds applications to ergodic theory, in particular, a new generalization of a classical th…
We show that the continuous core of any type III free product factor has no Cartan subalgebra. This is a complement to previous works due to Houdayer--Ricard and Boutonnet--Houdayer--Raum.
Let M_i be a von Neumann algebra, and B_i be a maximal injective von Neumann subalgebra of M_i, i=1,2. If M_1 has separable predual and the center of B_1 is atomic, e.g., B_1 is a factor, then B_1\tensor B_2 is a maximal injective von Neuamnn subalgebra of M_1\tensor M_2. This partly answers a question of Popa
In this article, we give explicit examples of maximal amenable subalgebras of the $q$-Gaussian algebras, namely, the generator subalgebra is maximal amenable inside the $q$-Gaussian algebras for real numbers $q$ with its absolute value sufficiently small. To achieve this, we construct a Riesz basis in the spirit of Rădulescu and develop a structural theorem for the $q$-Gaussian algebras.
Ge asked the question whether $LF_{\infty}$ can be embedded into $LF_2$ as a maximal subfactor. We answer it affirmatively by three different approaches, all containing the same key ingredient: the existence of maximal subgroups with infinite index. We also show that point stabilizer subgroups for every faithful, 4-transitive action on an infinite set give rise to maximal von Neumann subalgebras. Combining this with known results on constructing faithful, highly transitive actions, we get many maximal von Neumann subalgebras arising from maximal subgroups with infinite index.
In this paper, we exhibit strongly singular maximal abelian subalgebras living inside certain k-folded tensors of von Neumann group factors. The two classes of groups under consideration are the free groups of rank greater than 2 and the free product of m>2 groups, all finite and having the same order p>2 (m>p-1). We prove actually more, namely that the unique trace preserving conditional expectations from these group factors onto their Laplacian subalgebras are asymptotic homomorphisms, which in turn implies that the subalgebras are strongly singular masas.
Let $M=M_1*M_2$ be a nontrivial tracial free product of finite von Neumann algebras. We prove that any amenable subalgebra of $M$ that has a diffuse intersection with $M_1$ is in fact contained in $M_1$. This has been proved by C. Houdayer under more general circumstances.
The dynamical quantum Zeno effect is studied in the context of von Neumann algebras. We identify a localized subalgebra on which the Zeno dynamics acts by automorphisms. The Zeno dynamics coincides with the modular dynamics of that subalgebra, if an additional assumption is satisfied. This relates the modular operator of that subalgebra to the modular operator of the original algebra by a variant of the Kato-Lie-Trotter product formula.
We prove that for any infinite, maximal amenable subgroup $H$ in a hyperbolic group $G$, the von Neumann subalgebra $LH$ is maximal amenable inside $LG$. It provides many new, explicit examples of maximal amenable subalgebras in II$_1$ factors. We also prove similar maximal amenability results for direct products of relatively hyperbolic groups and orbit equivalence relations arising from measure-preserving actions of such groups.
In this article, we proved the following results. Let $L(F(n_i))$ be the free group factor on $n_i$ generators and $λ(g_{i})$ be one of standard generators of $L(F(n_i))$ for $1\le i\le N$. Let $\A_i$ be the abelian von Neumann subalgebra of $L(F(n_i))$ generated by $λ(g_{i})$. Then the abelian von Neumann subalgebra $\otimes_{i=1}^N\A_i$ is a maximal injective von Neumann subalgebra of $\otimes_{i=1}^N L(F(n_i))$. When $N$ is equal to infinity, we obtained McDuff factors that contain maximal injective abelian von Neumann subalgebras.
We initiate a study of maximal subgroups and maximal von Neumann subalgebras which have the Haagerup property. We determine maximal Haagerup subgroups inside $\mathbb{Z}^2 \rtimes SL_2(\mathbb{Z})$ and obtain several explicit instances where maximal Haagerup subgroups yield maximal Haagerup subalgebras. Our techniques are on one hand based on group-theoretic considerations, and on the other on certain results on intermediate von Neumann algebras, in particular these allowing us to deduce that all the intermediate algebras for certain inclusions arise from groups or from group actions. Some rem…
We study a relationship between the ultraproduct of a crossed product von Neumann algebra and the crossed product of an ultraproduct von Neumann algebra. As an application, the continuous core of an ultraproduct von Neumann algebra is described.
Let $G$ be a countable discrete amenable group, ${\cal M}$ a McDuff factor von Neumann algebra, and $A$ a separable nuclear weakly dense C$^*$-subalgebra of ${\cal M}$. We show that if two centrally free actions of $G$ on ${\cal M}$ differ up to approximately inner automorphisms then they are outer conjugate by an approximately inner automorphism, in the operator norm topology, which makes $A$ invariant. In addition, when $A$ is unital, simple, and with a unique tracial state and $α$ is an automorphism of $A$ we also show that the aperiodicity of $α$ on the von Neumann algebra is equivalent to…
We introduce "embedding dimensions" of a family of generators of a finite von Neumann algebra when the von Neumann algebra can be faithfully embedded into the ultrapower of the hyperfinite II$_1$ factor. These embedding dimensions are von Neumann algebra invariants, i.e., do not depend on the choices of the generators. We also find values of these invariants for some specific von Neumann algebras.
We prove that the relative commutant of a diffuse von Neumann subalgebra in a hyperbolic group von Neumann algebra is always injective. It follows that any non-injective subfactor in a hyperbolic group von Neumann algebra is non-Gamma and prime. The proof is based on C*-algebra theory.
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.
We study the complexity of the classification problem for Cartan subalgebras in von Neumann algebras. We construct a large family of II$_1$ factors whose Cartan subalgebras up to unitary conjugacy are not classifiable by countable structures, providing the first such examples. Additionally, we construct examples of II$_1$ factors whose Cartan subalgebras up to conjugacy by an automorphism are not classifiable by countable structures. Finally, we show directly that the Cartan subalgebras of the hyperfinite II$_1$ factor up to unitary conjugacy are not classifiable by countable structures, and d…
The paper is devoted to the description of $2$-local derivations on von Neumann algebras. Earlier it was proved that every $2$-local derivation on a semi-finite von Neumann algebra is a derivation. In this paper, using the analogue of Gleason Theorem for signed measures, we extend this result to type $III$ von Neumann algebras. This implies that on arbitrary von Neumann algebra each $2$-local derivation is a derivation.
Let $\M$ be a von Neumann algebra acting on a Hilbert space $\H$, and $\N$ be a singular von Neumann subalgebra of $\M.$ If $\N\tensor\B(\K)$ is singular in $\M\tensor\B(\K)$ for any Hilbert space $\K$, we say $\N$ is \emph{completely singular} in $\M$. We prove that if $\N$ is a singular abelian von Neumann subalgebra or if $\N$ is a singular subfactor of a type $II_1$ factor $\M$, then $\N$ is completely singular in $\M$. For any type $II_1$ factor $\M$, we construct a singular von Neumann subalgebra $\N$ of $\M$ ($\N\neq \M$) such that $\N\tensor\B(l^2(\mathbb{N}))$ is regular (hence not si…
We show that a free product of a II_1-factor and a finite von Neumann algebra with amalgamation over a finite dimensional subalgebra is always a II_1-factor, and provide an algorithm for describing it in terms of free products (with amalgamation over the scalars) and compression/dilation. As an application, we show that the class of direct sums of finitely many von Neumann algebras that are interpolated free group factors, hyperfinite II_1-factors, type I_n algebras for n finite, and finite dimensional algebras, is closed under taking free products with amalgamation over finite dimensional sub…
We say that a countable discrete group $Γ$ satisfies the invariant von Neumann subalgebras rigidity (ISR) property if every $Γ$- invariant von Neumann subalgebra $\mathcal{M}$ in $L(Γ)$ is of the form $L(Λ)$ for some normal subgroup $Λ\lhd Γ$. We show many ``negatively curved" groups, including all torsion free non-amenable hyperbolic groups and torsion free groups with positive first $L^2$-Betti number under a mild assumption, and certain finite direct product of them have this property. We also discuss whether the torsion-free assumption can be relaxed.
We provide a general criterion to deduce maximal amenability of von Neumann subalgebras $LΛ\subset LΓ$ arising from amenable subgroups $Λ$ of discrete countable groups $Γ$. The criterion is expressed in terms of $Λ$-invariant measures on some compact $Γ$-space. The strategy of proof is different from S. Popa's approach to maximal amenability via central sequences [Po83], and relies on elementary computations in a crossed-product C*-algebra.
The category of von Neumann correspondences from B to C (or von Neumann B-C-modules) is dual to the category of von Neumann correspondences from C' to B' via a functor that generalizes naturally the functor that sends a von Neumann algebra to its commutant and back. We show that under this duality, called commutant, Rieffel's Eilenberg-Watts theorem (on functors between the categories of representations of two von Neumann algebras) switches into Blecher's Eilenberg-Watts theorem (on functors between the categories of von Neumann modules over two von Neumann algebras) and back.
Apart from presenting some new insights and results, one of our main purposes is to put some records in the development of von Neumann modules straight. The von Neumann or $W^*$-objects among the Hilbert ($C^*$-)modules are around since the first papers by Paschke (1973) and Rieffel (1974) that lift Kaplansky's setting (1953) to modules over noncommutative $C^*$-algebras. While the formal definition of $W^*$-modules} is due to Baillet, Denizeau, and Havet (1988), the one of von Neumann modules as strongly closed operator spaces started with Skeide (2000). It has been paired with the definition…
The Stone spectrum of a von Neumann algebra is a generalization of the Gelfand spectrum, as was shown by de Groote. In this article we clarify the structure of the Stone spectra of von Neumann algebras of type $I_{n}$.
We explore a duality between von-Neumann's mean ergodic theorem in von-Neumann algebra and Birkhoff's mean ergodic theorem in the pre-dual Banach space of von-Neumann algebras. Besides improving known mean ergodic theorems on von-Neumann algebras, we prove Birkhoff's mean ergodic theorem for any locally compact second countable amenable group action on the pre-dual Banach space.
In this paper, we prove a non-commutative version of the Weyl-von Neumann theorem for representations of unital, separable AH algebras into countably decomposable, semifinite, properly infinite, von Neumann factors, where an AH algebra means an approximately homogeneous ${\rm C}^{\ast}$-algebra. We also prove a result for approximate summands of representations of unital, separable AH algebras into finite von Neumann factors.
In the current paper, we generalize the "compact operator" part of the Voiculescu's non-commutative Weyl-von Neumann theorem on approximate equivalence of unital $*$-homomorphisms of an commutative C$^*$ algebra $\mathcal{A}$ into a semifinite von Neumann algebra. A result of D. Hadwin for approximate summands of representations into a finite von Neumann factor $\mathcal{R}$ is also extended.
In this article, we prove various smooth uncertainty principles on von Neumann bi-algebras, which unify numbers of uncertainty principles on quantum symmetries, such as subfactors, and fusion bi-algebras etc, studied in quantum Fourier analysis. We also obtain Widgerson-Wigderson type uncertainty principles for von Neumann bi-algebras. Moreover, we give a complete answer to a conjecture proposed by A. Wigderson and Y. Wigderson.
We consider cones in a Hilbert space associated to two von Neumann algebras and determine when one algebra is included in the other. If a cone is assocated to a von Neumann algebra, the Jordan structure is naturally recovered from it and we can characterize projections of the given von Neumann algebra with the structure in some special situations.
Generalizing von Neumann's result on type II$_1$ von Neumann algebras, we characterize lattice isomorphisms between projection lattices of arbitrary von Neumann algebras by means of ring isomorphisms between the algebras of locally measurable operators. Moreover, we give a complete description of ring isomorphisms of locally measurable operator algebras when the von Neumann algebras are without type II direct summands.
In this paper, we discuss some equivalent definitions of Property $Γ$ for a type II$_1$ von Neumann algebra. Using these equivalent definitions, we prove that the Pisier's similarity degree of a type II$_1$ von Neumann algebra with Property $Γ$ is equal to $3$.
We apply the ideas of Muhly, Skeide and Solel [MSS03] of considering von Neumann B-modules as intertwiner spaces for representations of B' to obtain a new, simple and self-contained proof for self-duality of von Neumann modules. This simplifies also the approach of [MSS03].
This paper is devoted to local derivations on subalgebras on the algebra $S(M, τ)$ of all $τ$-measurable operators affiliated with a von Neumann algebra $M$ without abelian summands and with a faithful normal semi-finite trace $τ.$ We prove that if $\mathcal{A}$ is a solid $\ast$-subalgebra in $S(M, τ)$ such that $p\in \mathcal{A}$ for all projection $p\in M$ with finite trace, then every local derivation on the algebra $\mathcal{A}$ is a derivation. This result is new even in the case standard subalgebras on the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H.$ We also ap…
Richard Kadison showed that not every commutative von Neumann subalgebra of a factor von Neumann algebra is equal to its relative double commutant. We prove that every commutative C*-subalgebra of a centrally prime C*-algebra $B$ equals its relative approximate double commutant. If $B$ is a von Neumann algebra, there is a related distance formula.
Using Speicher central limit Theorem we provide Hiai's q-Araki-Woods von Neumann algebras with nice asymptotic matricial models. Then, we use this model and an elaborated ultraproduct procedure, to show that all q-Araki-Woods von Neumann algebras are QWEP.
We study certain $q$-deformed analogues of the maximal abelian subalgebras of the group von Neumann algebras of free groups. The radial subalgebra is defined for Hecke deformed von Neumann algebras of the Coxeter group $(\mathbb{Z}/{2\mathbb{Z}})^{\star k}$ and shown to be a maximal abelian subalgebra which is singular and with Pukánszky invariant $\{\infty\}$. Further all non-equal generator masas in the $q$-deformed Gaussian von Neumann algebras are shown to be mutually non-unitarily conjugate.
We show that two cocycle-conjugate endomorphisms of an arbitrary von Neumann algebra that satisfy certain stability conditions are conjugate endomorphisms, when restricted to some specific von Neumann subalgebras. As a consequence of this result, we obtain a new criterion for conjugacy of Powers shift endomorphisms acting on factors of type $\rm{I}\sb{\infty}.$
It is shown that if a bipartite behavior admits a field representation in which Alice (or Bob's) observable algebra generates a purely atomic von Neumann algebra then it is non-relativistic.
Let $G$ be a discrete group acting on a von Neumann algebra $M$ by properly outer $*$-automorphisms. In this paper we study the containment $M \subseteq M\rtimes_αG$ of $M$ inside the crossed product. We characterize the intermediate von Neumann algebras, extending earlier work of other authors in the factor case. We also determine the $M$-bimodules that are closed in the Bures topology and which coincide with the $w^*$-closed ones under a mild hypothesis on $G$. We use these results to obtain a general version of Mercer's theorem concerning the extension of certain isometric $w^*$-continuous …
A theory of Galois co-objects for von Neumann bialgebras is introduced. This concept is closely related to the notion of comonoidal W*-Morita equivalence between von Neumann bialgebras, which is a Morita equivalence taking the comultiplication structure into account. We show that the property of `being a von Neumann algebraic quantum group' (i.e. `having invariant weights') is preserved under this equivalence relation. We also introduce the notion of a projective corepresentation for a von Neumann bialgebra, and show how it leads to a construction method for Galois co-objects and comonoidal W*…
