Abstract
The notion of commutativity of two normal states on a von Neumann algebra was defined some time ago by means of the Pedersen–Takesaki theorem. In this note, we aim at generalising this notion to an arbitrary number of states, and obtaining some results on so defined joint commutativity. Also relations between commutativity and broadcastability of states are investigated.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\varphi \) and \(\omega \) be normal faithful states on a von Neumann algebra. The celebrated Pedersen–Takesaki theorem defines commutativity of \(\varphi \) and \(\omega \) in terms of their modular automorphism groups. If only \(\omega \) is faithful then only commuting \(\varphi \) with \(\omega \) is defined. We attempt to define joint commutativity of an arbitrary family of normal states which would generalise the one given by the Pedersen–Takesaki theorem. If the algebra in question is the full algebra \(\mathbb {B}(\mathcal {H})\) of all bounded operators on a Hilbert space, then this joint commutativity amounts to the natural condition of commutativity of the density matrices of the states. Moreover, equivalence between pairwise commutativity as defined by the Pedersen–Takesaki theorem and the joint commutativity is obtained for a convex family of states.
The notion of broadcastability of states has recently become an object of growing interest in the field of Quantum Statistics and Quantum Information Theory (see e.g. [1,2,3, 5, 6]). It turns out that it is closely related to the commutativity of states. Namely, in general von Neumann algebras, broadcastability implies commutativity while in atomic von Neumann algebras the two notions are equivalent.
2 Preliminaries
Let \(\mathscr {M}\) be a \(\sigma \)-finite von Neumann algebra, let \(\omega \) be a normal faithful state on \(\mathscr {M}\), and let \(\varphi \) be an arbitrary normal state on \(\mathscr {M}\). Let \(\{\sigma _t^{\omega }:t\in \mathbb {R}\}\) be the modular automorphism group associated with the state \(\omega \). \(\varphi \) is said to commute with \(\omega \) if
The centralizer \(\mathscr {M}^{\omega }\) of \(\omega \) is defined as
Let \(\omega \) be a normal faithful state. For a positive operator \(a\in \mathscr {M}\), we define a normal positive functional \(\omega _a\) on \(\mathscr {M}\) by
In particular, if \(a\in \mathscr {M}^{\omega }\), then \(a^{1/2}\in \mathscr {M}^{\omega }\) too, and we have
If A is a positive selfadjoint operator affiliated with \(\mathscr {M}^{\omega }\), then we define \(\omega _A\) as
(The point in the above definition is that the operators \(A(\mathbbm {1}+\varepsilon A)^{-1}\) are bounded and \(A(\mathbbm {1}+\varepsilon A)^{-1}\uparrow A\) as \(\varepsilon \downarrow 0\).) Assume now that A is affiliated with \(\mathscr {M}^{\omega }\). Then \((\mathbbm {1}+A)^{-1/2}A^{1/2}(\mathbbm {1}+\varepsilon A)^{-1/2}\) is in \(\mathscr {M}^{\omega }\), and the operators \((\mathbbm {1}+A)^{-1/2}\) and \(A(\mathbbm {1}+\varepsilon A)^{-1}\) commute, thus for each \(x\in \mathscr {M}\), we have
The operators \(A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}\) are bounded and converge strongly as \(\varepsilon \rightarrow 0\) to the bounded operator \(A(\mathbbm {1}+A)^{-1}\). Since
we have also
consequently,
hence \(\sigma \)-weakly, so we have
Thus we have obtained the formula
For a more thorough discussion of the above notions the reader is referred to [10, Sections 2.21, 4.1, 4.4, 4.8, 4.10].
In what follows, we shall repeatedly make use of the Pedersen–Takesaki theorem, so for the reader’s convenience we state its main points here in the setup involving states. For its full version concerning weights, [10, Section 4.10] can be consulted.
For a normal state \(\varphi \) on \(\mathscr {M}\), the symbol \({\text {s}}(\varphi )\) will denote the support of \(\varphi \). If \(\omega \) is a normal faithful state on \(\mathscr {M}\), then \([D\varphi :D\omega ]_t\), \(t\in \mathbb {R}\), stands for the Connes cocycles (or, in other words, the Connes–Radon–Nikodym derivatives) of \(\varphi \) with respect to \(\omega \).
Theorem 1
(Pedersen–Takesaki). Let \(\omega \) be a faithful normal state on a von Neumann algebra \(\mathscr {M}\), and let \(\varphi \) be a normal state on \(\mathscr {M}\). The following conditions are equivalent
-
(i)
\(\varphi \circ \sigma _t^{\omega }=\varphi \) for all \(t\in \mathbb {R}\) (i.e. \(\varphi \) commutes with \(\omega \)),
-
(ii)
\([D\varphi :D\omega ]_t\in \mathscr {M}^{\omega }\) for all \(t\in \mathbb {R}\),
-
(iii)
\(\{[D\varphi :D\omega ]_t:t\in \mathbb {R}\}\) is a strongly continuous group of unitary elements of the algebra \({\text {s}}(\varphi )\mathscr {M}{\text {s}}(\varphi )\),
-
(iv)
there exists a positive selfadjoint operator A affiliated with \(\mathscr {M}^{\omega }\) such that \(\varphi =\omega _A\).
For \(\mathscr {A}\subset \mathbb {B}(\mathcal {H})\), by \(W^*(\mathscr {A})\) we shall denote the von Neumann algebra generated by \(\mathscr {A}\), i.e. the smallest von Neumann algebra containing \(\mathscr {A}\).
3 Commutativity of States
Let us begin with a simple supplement to the Pedersen–Takesaki theorem which indicates a possible generalisation of the notion of commutativity of states. This result seems to be known at least for faithful states, in any case it is mentioned without proof in [8, p. 165].
Proposition 2
Let \(\omega \) be a faithful normal state on a von Neumann algebra \(\mathscr {M}\), and let \(\varphi \) be a normal state on \(\mathscr {M}\). The following conditions are equivalent
-
(i)
\(\varphi \) commutes with \(\omega \),
-
(ii)
the Connes cocycles \(\{[D\varphi :D\omega ]_t:t\in \mathbb {R}\}\) form a commuting family.
Proof
\(\mathrm{(i)}\Longrightarrow \mathrm{(ii)}\). Since \(\varphi \) commutes with \(\omega \), we have, on account of Theorem 1, that \(\{[D\varphi :D\omega ]_t:t\in \mathbb {R}\}\) is a unitary group on the algebra \({\text {s}}(\varphi )\mathscr {M}{\text {s}}(\varphi )\), thus \([D\varphi :D\omega ]_t\) and \([D\varphi :D\omega ]_s\) commute for all \(s,t\in \mathbb {R}\).
\(\mathrm{(ii)}\Longrightarrow \mathrm{(i)}\). Denote \(u_t=[D\varphi :D\omega ]_t\). By assumption, the operators \(u_t\) commute. From the properties of the Connes cocycles (cf. [10, Section 3.1]), we have for all \(t\in \mathbb {R}\)
in particular, \(u_t\in {\text {s}}(\varphi )\mathscr {M}{\text {s}}(\varphi )\).
Let \(\mathscr {R}\) be the von Neumann algebra generated by all \(u_t\)’s. From the cocycle property
we obtain, taking into account the equality (2),
showing that \(\sigma _t^{\omega }(u_s)\in \mathscr {R}\). It follows that \(\sigma _t^{\omega }(\mathscr {R})\subset \mathscr {R}\), i.e. in fact \(\sigma _t^{\omega }(\mathscr {R})=\mathscr {R}\). Now \((\sigma _t^{\omega }|\mathscr {R})\) is a one-parameter group of automorphisms of \(\mathscr {R}\) such that \((\omega |\mathscr {R})\circ (\sigma _t^{\omega }|\mathscr {R})=\omega |\mathscr {R}\), and the uniqueness of the modular automorphism group yields
(see e.g. [4, Chapter 9.2] or [9, Chapter 10.17]). But \(\sigma _t^{\omega |\mathscr {R}}={\text {id}}_{\mathscr {R}}\) because \(\mathscr {R}\) is abelian, consequently,
showing that \(u_s\in \mathscr {M}^{\omega }\), thus on account of Theorem 1, \(\varphi \) commutes with \(\omega \).
\(\square \)
The notion of commutativity for two states has been defined with at least one of them being faithful, thus it is not clear how it can be generalised to a family of states which may contain also non-faithful elements in which case the naturally-looking definition as pairwise commutativity fails. One possible attempt is presented below. As we shall see, it agrees with a rather straightforward notion of commutativity for states on the algebra \(\mathbb {B}(\mathcal {H})\) which can be defined simply as the commutativity of their density matrices.
Suppose that a normal state \(\varphi \) commutes with a faithful normal state \(\omega \). Then according to Theorem 1, we have \(\varphi =\omega _A\) for some positive selfadjoint operator A affiliated with \(\mathscr {M}^{\omega }\). Thus A may be considered as a ‘density matrix’ of \(\varphi \) with respect to \(\omega \) in a way similar to the one suggested by the relation \(\rho ={\text {tr}}_{D_{\rho }}\) for arbitrary normal state \(\rho \), where \(D_{\rho }\) is the customary density matrix of \(\rho \), and \({\text {tr}}\) is the canonical trace on \(\mathbb {B}(\mathcal {H})\). Moreover, by [10, Section 4.8], we have
These considerations lead to the following definition of commutativity of states.
Definition 1
Let \(\Gamma \) be an arbitrary family of normal states on a von Neumann algebra \(\mathscr {M}\) containing a faithful state. The states in \(\Gamma \) are said to commute if for arbitrary faithful state \(\omega \in \Gamma \), the Connes cocycles \(\{[D\rho :D\omega ]_t:t\in \mathbb {R},\rho \in \Gamma \}\) form a commuting family, i.e. the von Neumann algebra \(W^*(\{[D\rho :D\omega ]_t: t\in \mathbb {R},\rho \in \Gamma \})\) is abelian.
Observe that this definition is consistent because if \(\varphi \) is another normal faithful state in \(\Gamma \) (thus, in particular, commuting with \(\omega \)), then we have
Indeed, for each \(\rho \in \Gamma \), the chain rule and the formula for the inverse of the Connes cocycles (cf. [10, Sections 3.4, 3.5]) yield
since, on account of Theorem 1, \(\{[D\varphi :D\omega ]_t:t\in \mathbb {R}\}\) is a unitary group. Consequently,
thus
and by the same token we obtain the reverse inclusion.
For the full algebra \(\mathbb {B}(\mathcal {H})\), we have
Theorem 3
Let \(\Gamma \) be an arbitrary subset of all normal states on \(\mathbb {B}(\mathcal {H})\) containing a faithful state. The following conditions are equivalent
-
(i)
the states in \(\Gamma \) commute,
-
(ii)
the density matrices of the states in \(\Gamma \) commute.
Proof
Before starting a proof of the equivalence \(\mathrm{(i)}\Longleftrightarrow \mathrm{(ii)}\) let us make some general remarks. For an arbitrary normal state \(\varphi \) on \(\mathbb {B}(\mathcal {H})\) with density matrix \(D_{\varphi }\), and the canonical trace \({\text {tr}}\), we have \(\varphi ={\text {tr}}_{D_{\varphi }}\), thus on account of [10, Section 4.8],
Consequently, if \(\omega \) is a faithful normal state, then we obtain the formula
\(\mathrm{(i)}\Longrightarrow \mathrm{(ii)}\). Pick a faithful state \(\omega \) in \(\Gamma \), and let \(\rho \in \Gamma \) be arbitrary. Since \(\rho \) commutes with \(\omega \), we infer, on account of Theorem 1, that \(\{[D\rho :D\omega ]_t:t\in \mathbb {R}\}\) forms a unitary group in \({\text {s}}(\rho )\mathscr {M}{\text {s}}(\rho )\). Consequently, using formula (3), we obtain for any \(s,t\in \mathbb {R}\)
yielding the equality
which shows that the density matrices \(D_{\rho }\) and \(D_{\omega }\) commute.
Take arbitrary \(\varphi \in \Gamma \). Proposition 2 says that the Connes cocycles \([D\rho :D\omega ]_t\) and \([D\varphi :D\omega ]_s\) commute, so taking into account the relation (3), we get
and since by virtue of the first part of the proof, \(D_{\omega }\) commutes with \(D_{\rho }\) and \(D_{\varphi }\), we obtain
hence \(D_{\rho }\) and \(D_{\varphi }\) commute.
\(\mathrm{(ii)}\Longrightarrow \mathrm{(i)}\). Let \(\omega \) be an arbitrary faithful state in \(\Gamma \). For arbitrary \(\rho ,\varphi \in \Gamma \), the density matrices \(D_{\rho },\,D_{\varphi }\) and \(D_{\omega }\) commute which, on account of the relation (3), clearly gives the commutativity of the Connes cocycles, thus by virtue of Proposition 2, the commutativity of the states in \(\Gamma \). \(\square \)
The theorem above can be generalised in the following way. Let \(\mathscr {M}\) be a semifinite von Neumann algebra, and let \(\tau \) be a normal semifinite faithful trace on \(\mathscr {M}\). Then we have an isometric isomorphism \(\mathscr {M}_*\simeq L^1(\mathscr {M},\tau )\) given by the formula \(\mathscr {M}_*\ni \varphi \mapsto h_{\varphi }\in L^1(\mathscr {M},\tau )\),
If \(\varphi \) is a state, then \(h_{\varphi }\) is positive, and on account of [10, Section 4.8], we have
where \(h_{\varphi }^{it}\) are unitaries in the algebra \({\text {s}}(\varphi )\mathscr {M}{\text {s}}(\varphi )\) (see [7, 11] or [12] for a more thorough account of the theory of noncommutative \(L^p\)-spaces). Now reasoning as in the proof of Theorem 3, we get
Theorem 4
Let \(\Gamma \) be an arbitrary set of normal states on a semifinite von Neumann algebra \(\mathscr {M}\), let \(\tau \) be a normal semifinite faithful trace on \(\mathscr {M}\), and assume that \(\Gamma \) contains a faithful state. Then the following conditions are equivalent
-
(i)
the states in \(\Gamma \) commute,
-
(ii)
the operators \(h_{\varphi }\), \(\varphi \in \Gamma \), commute, where by the commutativity of possibly unbounded operators \(h_{\varphi }\) and \(h_{\psi }\) we mean the commutativity of the families \(\{h_{\varphi }^{it}:t\in \mathbb {R}\}\) and \(\{h_{\psi }^{it}:t\in \mathbb {R}\}\).
For convex \(\Gamma \), we have the following equivalence of commutativity and pairwise commutativity of states.
Theorem 5
Let \(\Gamma \) be a convex set of normal states on a von Neumann algebra \(\mathscr {M}\) containing a faithful state. The following conditions are equivalent
-
(i)
the states in \(\Gamma \) commute,
-
(ii)
for arbitrary faithful state \(\omega \in \Gamma \) each state \(\rho \in \Gamma \) commutes with \(\omega \) (‘pairwise commutativity’).
Proof
\(\mathrm{(i)}\Longrightarrow \mathrm{(ii)}\). Obvious.
\(\mathrm{(ii)}\Longrightarrow \mathrm{(i)}\). Take arbitrary faithful state \(\omega \in \Gamma \) and arbitrary \(\rho \in \Gamma \). Since \(\rho \) and \(\omega \) commute, we have, on account of Theorem 1, that \(([D\rho :D\omega ]_t:t\in \mathbb {R})\) is a unitary group in the algebra \({\text {s}}(\rho )\mathscr {M}{\text {s}}(\rho )\), thus \([D\rho :D\omega ]_t\) and \([D\rho :D\omega ]_s\) commute for all \(s,t\in \mathbb {R}\).
Let \(\varphi \) be another state in \(\Gamma \). Then \(\rho =\omega _A\), and \(\varphi =\omega _B\) for some positive selfadjoint operators \(A,\,B\) affiliated with \(\mathscr {M}^{\omega }\). Put
Then \(a\in \mathscr {M}^{\omega }\). Consider the faithful state \(\frac{\rho +\omega }{2}\in \Gamma \). We have by virtue of the equality (1)
Thus
which, on account of [10, Section 4.8], yields the equality
Analogously, putting
we obtain
hence
By the chain rule and the formula for the inverse of the Connes cocycles, we get
Since the states \(\frac{\varphi +\omega }{2}\) and \(\frac{\rho +\omega }{2}\) commute, we infer, again by Theorem 1, that
is a unitary group, which yields for all \(s,t\in \mathbb {R}\) the equality
and thus
Consequently, the unitary groups \((a^{it}:t\in \mathbb {R})\) and \((b^{it}:t\in \mathbb {R})\) commute, which yields that a and b commute. It follows that \(A^{it}\) and \(B^{is}\) commute for all \(s,t\in \mathbb {R}\). Since by virtue of [10, Section 4.8], we have
the condition (i) follows. \(\square \)
For a family of faithful states pairwise commutativity is equivalent to joint commutativity.
Theorem 6
Let \(\Gamma \) be an arbitrary set of normal faithful states on a von Neumann algebra \(\mathscr {M}\). The following conditions are equivalent
-
(i)
the states in \(\Gamma \) commute,
-
(ii)
arbitrary states \(\rho ,\varphi \in \Gamma \) commute.
Proof
\(\mathrm{(i)}\Longrightarrow \mathrm{(ii)}\). Obvious.
\(\mathrm{(ii)}\Longrightarrow \mathrm{(i)}\). The proof is in principle a repetition of the proof in Theorem 5. Take arbitrary state \(\omega \in \Gamma \) and arbitrary \(\rho ,\varphi \in \Gamma \). Since \(\rho \) and \(\omega \) commute, we have, on account of Theorem 1, that \(\rho =\omega _A\) for some positive selfadjoint operator A affiliated with \(\mathscr {M}^{\omega }\), and \(([D\rho :D\omega ]_t:t\in \mathbb {R})\) is a unitary group, \(([D\rho :D\omega ]_t=A^{it})\), in \(\mathscr {M}\). Similarly, \(\varphi =\omega _B\) for some positive selfadjoint operator B affiliated with \(\mathscr {M}^{\omega }\), and \(([D\varphi :D\omega ]_t:t\in \mathbb {R})\) is a unitary group, \(([D\varphi :D\omega ]_t=B^{it})\), in \(\mathscr {M}\). The chain rule for the Connes cocycles gives
and \((A^{it}B^{-it})\) is a unitary group since \(\rho \) and \(\varphi \) commute. It follows, as in the proof of Theorem 5, that \((A^{it})\) and \((B^{it})\) commute. \(\square \)
Finally, let us say a few words about connections between commutativity and broadcastability of states. Recall that a family of normal states \(\Gamma \) on a von Neumann algebra \(\mathscr {M}\) is said to be broadcastable if there is a normal unital completely positive map \(K:\mathscr {M}\overline{\otimes }\mathscr {M}\rightarrow \mathscr {M}\) (called a channel) such that for each \(\rho \in \Gamma \) we have
Assume now that \(\Gamma \) contains a faithful state \(\omega \). Then from [5, Theorem 12], it follows that the states in \(\Gamma \) commute. If \(\mathscr {M}\) is atomic, then we have also the reverse implication. Namely, the von Neumann algebra \(\mathscr {R}=W^*(\{[D\rho :D\omega ]_t:t\in \mathbb {R},\rho \in \Gamma \})\) is abelian, and as was shown in the proof of Proposition 2, for the modular automorphism group \((\sigma _t^{\omega })\) we have
which yields the equality
(As a matter of fact this equality is valid in the general case irrespective of the abelianess of the algebra \(\mathscr {R}\).) Thus there exists a normal faithful conditional expectation from \(\mathscr {M}\) onto \(\mathscr {R}\) which implies that this algebra is atomic (since \(\mathscr {M}\) was such). Now from [5, Theorem 12], it follows that \(\Gamma \) is broadcastable.
References
Barnum, H., Barrett, J., Leifer, M., Wilce, A.: Cloning and broadcasting in generic probability models. Preprint arXiv:quant-ph/0611295
Barnum, H., Caves, C.M., Fuchs, C.A., Jozsa, R., Schumacher, B.: Noncommuting mixed states cannot be broadcast. Phys. Rev. Lett. 76(15), 2818–2821 (1996)
Barnum, H., Barrett, J., Leifer, M., Wilce, A.: Generalized no-broadcasting theorem. Phys. Rev. Lett. 99, 240501 (2007)
Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras, vol. II. Academic Press, New York (1986)
Kaniowski, K., Lubnauer, K., Łuczak, A.: Cloning and broadcasting in operator algebras. Q. J. Math. 66(1), 191–212 (2015)
Kaniowski, K., Lubnauer, K., Łuczak, A.: Cloning in C*-algebras. Proc. Edinb. Math. Soc. 60, 689–705 (2017)
Nelson, E.: Notes on non-commutative integration. J. Funct. Anal. 15, 103–116 (1974)
Ohya, M., Petz, D.: Quantum Theory and Its Use. Springer, Berlin (2004)
Strătilă, Ş, Zsidó, L.: Lectures on von Neumann Algebras. Bucureşti and Abacus Press, Editura Academiei, Tunbridge Wells, Kent (1979)
Strătilă, Ş: Modular Theory in Operator Algebras. Editura Academiei and Abacus Press, Bucureşti-Kent (1981)
Takesaki, M.: Theory of Operator Algebras II. Encyclopaedia of Mathematical Sciences, vol. 125. Springer, Berlin (2003)
Yeadon, F.J.: Non-commutative \(L_p\)-spaces. Math. Proc. Camb. Philos. Soc. 77, 91–102 (1975)
Acknowledgements
The author is indebted to the referees for their valuable comments on the previous version of the paper. In particular, the result in Theorem 6 was indicated by one of them.
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that no funds, grants or other support were received during the preparation of this manuscript. The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Łuczak, A. On the Commutativity of States in von Neumann Algebras. Results Math 78, 132 (2023). https://doi.org/10.1007/s00025-023-01903-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01903-9