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

$$\begin{aligned} \varphi \circ \sigma _t^{\omega }=\varphi \quad \text {for each}\quad t\in \mathbb {R}. \end{aligned}$$

The centralizer \(\mathscr {M}^{\omega }\) of \(\omega \) is defined as

$$\begin{aligned} \mathscr {M}^{\omega }&=\{x\in \mathscr {M}:\sigma _t^{\omega }(x)=x \;\text {for each}\; t\in \mathbb {R}\}\\&=\{x\in \mathscr {M}:\omega (xy) =\omega (yx)\;\text {for each}\;y\in \mathscr {M}\}. \end{aligned}$$

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

$$\begin{aligned} \omega _a(x)=\omega (a^{1/2}xa^{1/2}),\quad x\in \mathscr {M}. \end{aligned}$$

In particular, if \(a\in \mathscr {M}^{\omega }\), then \(a^{1/2}\in \mathscr {M}^{\omega }\) too, and we have

$$\begin{aligned} \omega _a(x)=\omega (a^{1/2}xa^{1/2})=\omega (ax)=\omega (xa), \quad x\in \mathscr {M}. \end{aligned}$$

If A is a positive selfadjoint operator affiliated with \(\mathscr {M}^{\omega }\), then we define \(\omega _A\) as

$$\begin{aligned} \omega _A(x)=\lim _{\varepsilon \rightarrow 0}\omega _{A(\mathbbm {1}+\varepsilon A)^{-1}}(x). \end{aligned}$$

(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

$$\begin{aligned}&\omega _A\big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\big )=\lim _{\varepsilon \rightarrow 0}\omega \big (A^{1/2}(\mathbbm {1}+\varepsilon A)^{-1/2}(\mathbbm {1}+A)^{-1/2}x \\&\qquad \times (\mathbbm {1}+A)^{-1/2}A^{1/2}(\mathbbm {1}+\varepsilon A)^{-1/2}\big )\\&\quad =\lim _{\varepsilon \rightarrow 0} \omega \big ((\mathbbm {1}+A)^{-1/2}A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1/2}x\big )\\&\quad =\lim _{\varepsilon \rightarrow 0}\omega \big (A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}x\big ). \end{aligned}$$

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

$$\begin{aligned} \Vert A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}\Vert \leqslant 1, \end{aligned}$$

we have also

$$\begin{aligned} A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}\rightarrow A(\mathbbm {1}+A)^{-1} \quad \sigma \text {-strongly}, \end{aligned}$$

consequently,

$$\begin{aligned} A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}x\rightarrow A(\mathbbm {1}+A)^{-1}x \quad \sigma \text {-strongly}, \end{aligned}$$

hence \(\sigma \)-weakly, so we have

$$\begin{aligned} \lim _{\varepsilon \rightarrow 0}\omega \big (A(\mathbbm {1}+\varepsilon A)^{-1}(\mathbbm {1}+A)^{-1}x\big )= \omega \big (A(\mathbbm {1}+A)^{-1}x\big ). \end{aligned}$$

Thus we have obtained the formula

$$\begin{aligned} \omega _A\big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\big )=\omega \big (A(\mathbbm {1}+A)^{-1}x\big ),\quad x\in \mathscr {M}. \end{aligned}$$
(1)

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

  1. (i)

    \(\varphi \circ \sigma _t^{\omega }=\varphi \) for all \(t\in \mathbb {R}\) (i.e. \(\varphi \) commutes with \(\omega \)),

  2. (ii)

    \([D\varphi :D\omega ]_t\in \mathscr {M}^{\omega }\) for all \(t\in \mathbb {R}\),

  3. (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 )\),

  4. (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

  1. (i)

    \(\varphi \) commutes with \(\omega \),

  2. (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}\)

$$\begin{aligned} \sigma _t^{\omega }({\text {s}}(\varphi ))=u_t^*u_t=u_tu_t^*={\text {s}}(\varphi ), \end{aligned}$$
(2)

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

$$\begin{aligned} u_{t+s}=u_t\sigma _t^{\omega }(u_s), \end{aligned}$$

we obtain, taking into account the equality (2),

$$\begin{aligned} u_t^*u_{t+s}=u_t^*u_t\sigma _t^{\omega }(u_s)= \sigma _t^{\omega }({\text {s}}(\varphi ))\sigma _t^{\omega }(u_s)=\sigma _t^{\omega }({\text {s}}(\varphi )u_s) =\sigma _t^{\omega }(u_s), \end{aligned}$$

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

$$\begin{aligned} \sigma _t^{\omega |\mathscr {R}}=\sigma _t^{\omega }|\mathscr {R} \end{aligned}$$

(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,

$$\begin{aligned} \sigma _t^{\omega }(u_s)=u_s, \end{aligned}$$

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

$$\begin{aligned}{}[D\varphi :D\omega ]_t=A^{it}. \end{aligned}$$

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

$$\begin{aligned} W^*(\{[D\rho :D\varphi ]_t: t\in \mathbb {R},\rho \in \Gamma \})=W^*(\{[D\rho :D\omega ]_t: t\in \mathbb {R},\rho \in \Gamma \}). \end{aligned}$$

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

$$\begin{aligned}{}[D\rho :D\varphi ]_t&=[D\rho :D\omega ]_t[D\omega :D\varphi ]_t\\&=[D\rho :D\omega ]_t[D\varphi :D\omega ]_t^{-1} =[D\rho :D\omega ]_t[D\varphi :D\omega ]_{-t}, \end{aligned}$$

since, on account of Theorem 1, \(\{[D\varphi :D\omega ]_t:t\in \mathbb {R}\}\) is a unitary group. Consequently,

$$\begin{aligned}{}[D\rho :D\varphi ]_t\in W^*(\{[D\rho :D\omega ]_t: t\in \mathbb {R},\rho \in \Gamma \}), \end{aligned}$$

thus

$$\begin{aligned} W^*(\{[D\rho :D\varphi ]_t: t\in \mathbb {R},\rho \in \Gamma \})\subset W^*(\{[D\rho :D\omega ]_t: t\in \mathbb {R},\rho \in \Gamma \}), \end{aligned}$$

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

  1. (i)

    the states in \(\Gamma \) commute,

  2. (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],

$$\begin{aligned}{}[D\varphi :D({\text {tr}})]_t=D_{\varphi }^{it}. \end{aligned}$$

Consequently, if \(\omega \) is a faithful normal state, then we obtain the formula

$$\begin{aligned} \left[ D\varphi :D\omega \right] _{t}&=[D\varphi :D({\text {tr}})]_t[D({\text {tr}}):D\omega ]_t\nonumber \\&=[D\varphi :D({\text {tr}})]_t[D\omega :D({\text {tr}})]_t^{-1}=D_{\varphi }^{it}D_{\omega }^{-it}. \end{aligned}$$
(3)

\(\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}\)

$$\begin{aligned} D_{\rho }^{it}D_{\rho }^{is}D_{\omega }^{-it}D_{\omega }^{-is} =D_{\rho }^{i(t+s)}D_{\omega }^{-i(t+s)}=D_{\rho }^{it}D_{\omega }^{-it} D_{\rho }^{is}D_{\omega }^{-is}, \end{aligned}$$

yielding the equality

$$\begin{aligned} D_{\rho }^{is}D_{\omega }^{-it}=D_{\omega }^{-it}D_{\rho }^{is}, \end{aligned}$$

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

$$\begin{aligned} D_{\rho }^{it}D_{\omega }^{-it}D_{\varphi }^{is}D_{\omega }^{-is} =D_{\varphi }^{is}D_{\omega }^{-is}D_{\rho }^{it}D_{\omega }^{-it}, \end{aligned}$$

and since by virtue of the first part of the proof, \(D_{\omega }\) commutes with \(D_{\rho }\) and \(D_{\varphi }\), we obtain

$$\begin{aligned} D_{\rho }^{it}D_{\varphi }^{is}=D_{\varphi }^{is}D_{\rho }^{it}, \end{aligned}$$

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 )\),

$$\begin{aligned} \varphi (x)=\tau (h_{\varphi }x),\quad x\in \mathscr {M}. \end{aligned}$$

If \(\varphi \) is a state, then \(h_{\varphi }\) is positive, and on account of [10, Section 4.8], we have

$$\begin{aligned}{}[D\varphi :D\tau ]_t=h_{\varphi }^{it},\quad t\in \mathbb {R}, \end{aligned}$$

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

  1. (i)

    the states in \(\Gamma \) commute,

  2. (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

  1. (i)

    the states in \(\Gamma \) commute,

  2. (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

$$\begin{aligned}{} & {} a=\left( \frac{\mathbbm {1}+A}{2}\right) ^{-1}. \end{aligned}$$

Then \(a\in \mathscr {M}^{\omega }\). Consider the faithful state \(\frac{\rho +\omega }{2}\in \Gamma \). We have by virtue of the equality (1)

$$\begin{aligned}&\left( \frac{\rho +\omega }{2}\right) _a(x)=\frac{\rho +\omega }{2} \left( \left( \frac{\mathbbm {1}+A}{2}\right) ^{-1/2}x\left( \frac{\mathbbm {1}+A}{2}\right) ^{-1/2}\right) \\&\qquad \quad =(\rho +\omega )\Big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\Big )\\&\qquad \quad =\rho \Big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\Big ) +\omega \Big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\Big )\\&\qquad \quad =\omega _A\Big ((\mathbbm {1}+A)^{-1/2}x(\mathbbm {1}+A)^{-1/2}\Big ) +\omega \Big ((\mathbbm {1}+A)^{-1}x\Big )\\&\qquad \quad =\omega \Big (A(\mathbbm {1}+A)^{-1}x\Big )+\omega \Big ((\mathbbm {1}+A)^{-1}x\Big )\\&\qquad \quad = \omega \Big (\Big (A(\mathbbm {1}+A)^{-1}+(\mathbbm {1}+A)^{-1}\Big )x\Big )=\omega (x). \end{aligned}$$

Thus

$$\begin{aligned} \omega =\left( \frac{\rho +\omega }{2}\right) _a, \end{aligned}$$

which, on account of [10, Section 4.8], yields the equality

$$\begin{aligned} \left[ D\omega :D\frac{\rho +\omega }{2}\right] _t=a^{it}. \end{aligned}$$

Analogously, putting

$$\begin{aligned} b=\left( \frac{\mathbbm {1}+B}{2}\right) ^{-1}, \end{aligned}$$

we obtain

$$\begin{aligned} \omega =\left( \frac{\varphi +\omega }{2}\right) _b, \end{aligned}$$

hence

$$\begin{aligned} \left[ D\omega :D\frac{\varphi +\omega }{2}\right] _t=b^{it}. \end{aligned}$$

By the chain rule and the formula for the inverse of the Connes cocycles, we get

$$\begin{aligned} \left[ D\frac{\varphi +\omega }{2}:D\frac{\rho +\omega }{2}\right] _t&= \left[ D\frac{\varphi +\omega }{2}:D\omega \right] _t\left[ D\omega :D\frac{\rho +\omega }{2}\right] _t\\&=\left[ D\omega :D\frac{\varphi +\omega }{2}\right] _t^{-1}\left[ D\omega :D\frac{\rho +\omega }{2}\right] _t\\&=b^{-it}a^{it}. \end{aligned}$$

Since the states \(\frac{\varphi +\omega }{2}\) and \(\frac{\rho +\omega }{2}\) commute, we infer, again by Theorem 1, that

$$\begin{aligned} \left( \left[ D\frac{\varphi +\omega }{2}:D\frac{\rho +\omega }{2}\right] _t =b^{-it}a^{it}:t\in \mathbb {R}\right) \end{aligned}$$

is a unitary group, which yields for all \(s,t\in \mathbb {R}\) the equality

$$\begin{aligned} b^{-is}b^{-it}a^{is}a^{it}=b^{-i(s+t)}a^{i(s+t)}=b^{-is}a^{is}b^{-it}a^{it}, \end{aligned}$$

and thus

$$\begin{aligned} b^{-it}a^{is}=a^{is}b^{-it}. \end{aligned}$$

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

$$\begin{aligned}{}[D\rho :D\omega ]_t=A^{it},\quad [D\varphi :D\omega ]_s=B^{is}, \end{aligned}$$

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

  1. (i)

    the states in \(\Gamma \) commute,

  2. (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

$$\begin{aligned}{}[D\rho :D\varphi ]_t=[D\rho :D\omega ]_t[D\omega :D\varphi ]_t=A^{it}B^{-it}, \end{aligned}$$

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

$$\begin{aligned} \rho (K(x\otimes \mathbbm {1}))=\rho (K(\mathbbm {1}\otimes x))=\rho (x),\quad x\in \mathscr {M}. \end{aligned}$$

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

$$\begin{aligned} \sigma _t^{\omega }([D\rho :D\omega ]_s)=[D\rho :D\omega ]_s, \end{aligned}$$

which yields the equality

$$\begin{aligned} \sigma _t^{\omega }(\mathscr {R})=\mathscr {R}. \end{aligned}$$

(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.