Abstract
We generalize our results in paper I in this series to quantum channels between general von Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two von Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The relative entropy between two density operators \(\rho , \sigma \), defined as
is an asymptotic measure of their distinguishability. Classically, \(e^{-NS(\{p_i\} | \{q_i\})}\) approaches for large N the probability for a sample of size N of letters, distributed according to the true distribution \(\{p_i\}\), when calculated according to an incorrect guess \(\{q_i\}\). In the non-commutative setting, the relative entropy was later generalized to pairs \(\omega _\psi , \omega _\eta \) of normal, positive functionals on a general von Neumann algebra by Araki [2,3,4] using relative modular Hamiltonians.
By far the most fundamental property of the relative entropy—from which in fact essentially all others follow—is its monotonicity under a channel. A channel, as defined in this paper, is a normal, unital, 2-positive Schwarz map between von Neumann algebras. By well-known theorems of the Stinespring-type, this includes in the case of finite-dimensional type I von Neumann algebras the familiar operations of a (i) a unitary time evolution of the density matrix, (ii) a von Neumann measurement followed by post-selection, (iii) forgetting part of the system (partial trace). The fundamental property is that if \(T: {\mathcal {B}} \rightarrow {\mathcal {A}}\) is such a channel and its application to a state functional \(\omega \) on \({\mathcal {A}}\) is given by pull-back \(\omega \circ T\), then always
where \(\omega _\psi , \omega _\eta \) are any two positive, normal, unital functionalsFootnote 1 on the von Neumann algebra \({\mathcal {A}}\). In quantum information theory, T is related to data processing, so (2) is sometimes called the data processing inequality (DPI). It implies, for instance, the strong subadditivity property of the von Neumann entropy [33]. After important special cases were proven by [2, 34], the data processing inequality was demonstrated in the setting of general von Neumann algebras by Uhlmann [50]. It can be interpreted as saying that the distinguishability between \(\omega _\eta , \omega _\psi \) cannot increase under the channel T.
Suppose the distinguishability decreases only by a small amount under T. Then, one would like to say that, given \(\omega _\eta , T\), the state \(\omega _\psi \) can be recovered “with correspondingly high fidelity” from \(\omega _\psi \circ T\). For this, one should establish an improved lower bound on the quantity \(S(\omega _\psi | \omega _\eta ) - S( \omega _\psi \circ T | \omega _\eta \circ T)\) in terms of the fidelity between the original state \(\omega _\psi \), and a recovered version of \(\omega _\psi \circ T\). Starting with the pioneering work by [17], this issue has been considered by several authors such as [7, 12, 26, 29, 46, 47, 52], partly based on earlier characterizations of the case of equality in (2) [25, 41,42,43].
A particularly attractive lower bound in the DPI has recently been given by Junge et al. [29] for von Neumann algebras of type I. They consider a certain recovery channel \(\alpha \) that is closely related to the Petz map (see, e.g., [40], prop. 8.3 and Sect. 4) which is constructed in a canonical way out of T and \(\omega _\eta \) alone, and which hence does not depend on \(\omega _\psi \). They then show that there is a lower bound in the DPI involving the log-fidelity,
where F is the “square root” fidelity between two states (20).
It is interesting to note that while [29] prove it only for type I von Neumann algebrasFootnote 2, the ingredients of this inequality formally make sense for channels between arbitrary von Neumann algebras. Thus, it is a natural question whether the inequality generalizes to that setting. We are motivated in particular by recent applications of the improved form of the DPI in high energy physics [14, 15], where such questions are natural in the algebraic approach to quantum field theory [20]. In this context, the von Neumann algebras under consideration are of type III\(_1\) [11] and in many cases a distinguished reference state \(\omega _\eta \) exists, namely the vacuum. On the other hand, the proof by [29] strongly uses the special properties of type I von Neumann algebras. In this paper, we give a proof of (3) for general \(\sigma \)-finite von Neumann algebras, see Theorem 2. While we were finishing this manuscript [30] appeared which reported results that have some overlap with ours, albeit with different methods. Our result generalizes paper I [18], where the case of an embedding T of general \(\sigma \)-finite von Neumann algebras was considered—corresponding to a “partial trace” of density operators in the type I context; see also [24] for a variant of the inequality (3) for general von Neumann algebras.
This paper is organized as follows. In Sect. 2, we recall how the ingredients in our inequality (3) are defined in the setting of general von Neumann algebras. Then, in Sect. 3 we state the main results indicating also some generalizations. In Sect. 4, we consider some basic examples, and in Sect. 5, we give the proof of our main theorems.
Notations and conventions Calligraphic letters \({\mathcal {A}}, {\mathcal {M}}, \dots \) denote von Neumann algebras. Calligraphic letters \(\mathscr {H}, \mathscr {K}, \dots \) denote linear spaces. A frequently used notation is \({\mathbb {S}}_a=\{z \in {\mathbb {C}}\mid 0< \mathrm{Re}(z) < a\}\). For vectors in a Hilbert space, we prefer to use the physicist’s “ket”-notation \(|\psi \rangle \) and we write the scalar product as
It is by assumption anti-linear in the first entry. For norms of vectors in a Hilbert space, we do not use the ket notation but write \(\Vert |\psi \rangle \Vert =: \Vert \psi \Vert \). The norm of a bounded linear operator T on \(\mathscr {H}\) is defined as \(\Vert T\Vert = \sup _{|\psi \rangle : \Vert \psi \Vert =1} \Vert T\psi \Vert \) in this notation. Our von Neumann algebras are assumed to be \(\sigma \)-finite, i.e., the existence of a faithful normal state is required.
2 Relative entropy, data processing inequality and Petz map
2.1 Relative entropy
Let \(({\mathcal {M}}, J, \mathscr {P}_{\mathcal {M}}^\natural , \mathscr {H})\) be a von Neumann algebra in standard form acting on a Hilbert space \(\mathscr {H}\), with natural cone \(\mathscr {P}^\natural _{\mathcal {M}}\) and modular conjugation J. See paper I [18] for our notations and [9, 10, 48] as general references for explanations of these terms . As in paper I [18], we use relative modular operators \(\Delta _{\eta , \psi }\) in our constructions. The relative modular operator depends on a vector \(|\psi \rangle \in \mathscr {P}^\natural _{\mathcal {M}}\) and a state (i.e., positive, linear, normalized, ultraweakly continuous map) \(\omega _\eta : {\mathcal {M}}\rightarrow {\mathbb {C}}\). A vector \(|\eta \rangle \in \mathscr {H}\) may be picked representing this state as in \(\omega _\eta (m) = \langle \eta | m \eta \rangle \), but \(\Delta _{\eta , \psi }\) does not depend on the highly non-unique choice of vector representative \(|\eta \rangle \).
According to [2,3,4], if \(\pi ^{\mathcal {M}}(\eta ) \ge \pi ^{\mathcal {M}}(\psi )\), the relative entropy between two state functionals \(\omega _\psi , \omega _\eta \) on \({\mathcal {M}}\) may be defined by
(where the vector representative \(|\psi \rangle \) is chosen in the natural cone \(\mathscr {P}^\natural _{\mathcal {M}}\)); otherwise, it is by definition infinite. For a thorough discussion of quantum divergences such as S in the context of general von Neumann algebras, see, e.g., [22, 40] as general references.
For \(t \in {\mathbb {R}}\), the Connes cocycle is a partial isometry from \(\pi ^{\mathcal {M}}(\eta ){\mathcal {M}}\pi ^{\mathcal {M}}(\psi )\) satisfying [see, e.g., [5], Theorem C.1 (\(\beta \)2)]
Like the relative entropy, the Connes cocycle does not depend on the choice of natural cone. In fact, in terms of the Connes cocycle, the relative entropy may also be defined as
The derivative exists whenever \(S(\omega _\psi | \omega _\eta )<\infty \) [40], theorem 5.7. In the case of the matrix algebra \(M_n({\mathbb {C}})\), where \(\omega _\eta \) and \(\omega _\psi \) are identified with density matrices, the relative entropy as defined here is equivalent to the usual expression (1).
2.2 Data processing inequality
The basic situation studied in this paper is the following. \({\mathcal {B}}, {\mathcal {A}}\) are two von Neumann algebras, assumed to be in standard form. They act on Hilbert spaces \(\mathscr {K}, \mathscr {H}\), with corresponding natural cones \(\mathscr {P}^\natural _{\mathcal {A}}, \mathscr {P}^\natural _{\mathcal {B}}\) and associated anti-linear unitary maps \(J_{\mathcal {A}}, J_{\mathcal {B}}\) (so that \(J_{\mathcal {A}}|\xi \rangle = |\xi \rangle \) for \(|\xi \rangle \in \mathscr {P}^\natural _{\mathcal {A}}\), and similarly for \({\mathcal {B}}\)) . A channel is a normal, i.e., ultraweakly continuous, linear mapping
such that \(T(1)=1\) and such that any nonnegative self-adjoint element of \({\mathcal {B}}\) gets mapped to such an element of \({\mathcal {A}}\), i.e., \(T(b^*b) \ge 0\). T is not required to be a homomorphism (but could be). We will use the following standard terminology.
Definition 1
-
1.
A channel T is called a Schwarz map if for any \(a \in {\mathcal {B}}\) we have Kadison’s property
$$\begin{aligned} T(a^*)T(a) \le T(a^*a). \end{aligned}$$(9) -
2.
A channel T is called 2-positive if any nonnegative element from the \(2\times 2\) matrix algebra \({\mathcal {B}}\otimes M_2({\mathbb {C}})\) with entries in \({\mathcal {B}}\) gets mapped under \(T \otimes 1_{M_2}\) to a nonnegative element of \({\mathcal {A}}\otimes M_2({\mathbb {C}})\).
A 2-positive map is also a Schwarz map, see, e.g., [44], Theorem E. In particular, both properties follow if \(T=\iota \) is an embedding of von Neumann algebras, i.e., if \({\mathcal {B}}\) is a von Neumann subalgebra of \({\mathcal {A}}\) under a \(*\)-homomorphism \(\iota \). That case was treated in paper I [18].
If T is a linear, normal mapping \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\), then we define its adjoint \({{\mathcal {A}}}_* \rightarrow {{\mathcal {B}}}_*\), operating between the corresponding spaces of normal linear functionals by duality. Let us assume that we have two normal state functionals \(\omega _\eta , \omega _\psi \) on \({\mathcal {A}}\) induced by vectors from \(\mathscr {H}\). Then, the pull-backs \( \omega _\eta \circ T, \omega _\psi \circ T\) give normal state functionals on \({\mathcal {B}}\). We shall write \(|\eta _{\mathcal {A}}\rangle \in \mathscr {H}, |\eta _{\mathcal {B}}\rangle \in \mathscr {K}\) for the unique vector representatives in the natural cones \(\mathscr {P}^\natural _{\mathcal {A}}, \mathscr {P}^\natural _{\mathcal {B}}\), respectively, so that
A similar notation is adopted when \(|\eta \rangle \) is replaced by \(|\psi \rangle \).
The quantum data processing inequality (DPI) [50] states that
One of our main results, Theorem 1, will be an improved, explicit, lower bound on this inequality in the spirit of [29], generalizing our earlier paper I [18] where the special case of inclusions T was treated.
2.3 Petz recovery map
We now recall the definition of the Petz map in the case of general von Neumann algebras, discussed in more detail in [40], Sect. 8. Let \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\) be a unital, normal, and 2-positive (or Schwarz) map between two von Neumann algebras. Let \(\omega _\eta \) be a normal state functional on \({\mathcal {A}}\) whose vector representative in the natural cone is \(|\eta _{\mathcal {A}}\rangle \), with pull-back \( \omega _\eta \circ T\) to \({\mathcal {B}}\), whose vector representative in the natural cone is \(|\eta _{\mathcal {B}}\rangle \). In the rest of this work, we will restrict our statements and proofs for simplicity to the case that both \(\omega _\eta \) and \(\omega _\eta \circ T\) are faithful, meaning that \(|\eta _{\mathcal {A}}\rangle , |\eta _{\mathcal {B}}\rangle \) are cyclic and separating for \({\mathcal {A}}, {\mathcal {B}}\), respectively.
However, we note from the beginning that all of our results can be generalized to non-faithful \(\omega _\eta \) and \(\omega _\eta \circ T\) by the following argument from paper I [18]: If \(\omega _\eta \) is not faithful, we consider instead the von Neumann subalgebra \({\mathcal {A}}_\pi = \pi ^{\mathcal {A}}(\eta ) {\mathcal {A}}\pi ^{\mathcal {A}}(\eta ) \pi ^{{\mathcal {A}}'}(\eta )\), noting that this does not change the relative entropy \(S(\omega _\psi | \omega _\eta )\) since by definition \(\pi ^{\mathcal {A}}(\psi ) \le \pi ^{\mathcal {A}}(\eta )\) unless the entropy is infinite (in which case all of our inequalities are trivial). Likewise, letting \(\pi ^{\mathcal {B}}(\eta )\) be the support projection of \(\omega _\eta \circ T\) in \({\mathcal {B}}\), if \(\omega _\eta \circ T\) is not faithful, we pass to \({\mathcal {B}}_\pi = \pi ^{\mathcal {B}}(\eta ) {\mathcal {B}}\pi ^{\mathcal {B}}(\eta )\pi ^{{\mathcal {B}}'}(\eta )\). Finally, we pass from \(T:{\mathcal {B}}\rightarrow {\mathcal {A}}\) to \(T_\pi ( \, . \, ) = \pi ^{\mathcal {A}}(\eta ) T( \, . \, ) \pi ^{\mathcal {A}}(\eta )\pi ^{{\mathcal {A}}'}(\eta )\) which is again a normal, unital 2-positive (or Schwarz) map \(T_\pi : {\mathcal {B}}_\pi \rightarrow {\mathcal {A}}_\pi \). By such kinds of constructions, we can and will restrict ourselves from now on to states such that both \( \omega _\eta \circ T, \omega _\eta \) are faithful.
Now we recall the definition of the Petz map. The “KMS”-scalar product on \({\mathcal {A}}\) regarded as a vector space is defined as
We can likewise use \(|\eta _{\mathcal {B}}\rangle \) to define a KMS scalar product for \({\mathcal {B}}\). Then the KMS scalar products on \({\mathcal {A}}, {\mathcal {B}}\) allow us to define the adjoint \(T^+:{\mathcal {A}}\rightarrow {\mathcal {B}}\) of a normal, unital and 2-positive channel \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\) by results of Petz, see [40] prop. 8.3, who shows that \(T^+\) is well defined, normal, unital, and 2-positive. The rotated Petz map, which we call \(\alpha _{\eta ,T}^t: {\mathcal {A}}\rightarrow {\mathcal {B}}\), is defined by conjugating this with the respective modular flows, i.e.,
where \(\varsigma _{\eta ,{\mathcal {A}}}^t = \mathrm{Ad} \Delta _{\eta , {\mathcal {A}}}^{it}\) is the modular flow for \({\mathcal {A}}, |\eta _{\mathcal {A}}\rangle \) etc. An equivalent definition is:
Definition 2
For \(b \in {\mathcal {B}}, a \in {\mathcal {A}}\), and T is unital, normal, and 2-positive, the rotated Petz map \(\alpha _{\eta ,T}^t: {\mathcal {A}}\rightarrow {\mathcal {B}}\) is defined implicitly by the identity:
The following is then a trivial consequence of [40], prop. 8.3:
Lemma 1
The map \(\alpha _{\eta ,T}^t: {\mathcal {A}}\rightarrow {\mathcal {B}}\) is well defined, normal, unital, and 2-positive for all \(t \in {\mathbb {R}}\).
For the case of finite-dimensional type I factors, the definition of the rotated Petz map is easily seen to coincide with that given by [29].
3 Main theorems
In this section we state our main theorems. Let \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\) be a normal, unital Schwarz map between two von Neumann algebras in a standard form and let \(\omega _\psi , \omega _\eta \) be normal state functionals on \({\mathcal {A}}\). Let \(|\psi _{\mathcal {A}}\rangle \) be the vector representative in the natural cone of \(\omega _\psi \) and \(|\psi _{\mathcal {B}}\rangle \) that of \(\omega _\psi \circ T\). We introduce following [42, 44] a linear map \(V_{\psi }: \mathscr {K}\rightarrow \mathscr {H}\) by
As it stands, the definition is actually consistent only when \(\omega _\psi \circ T\) is faithful (i.e., that \(|\psi _{\mathcal {B}}\rangle \) is cyclic and separating). In the general case, one can define [44] instead
In either case, it easily follows from Kadison’s property (9) that \(V_{\psi }\) is a contraction \(\Vert V_{\psi }\Vert \le 1\), see, e.g., [44], proof of theorem 4.
The first main result is a strengthened version of the DPI. To this end, we introduce a vector-valued function
the existence and properties of which are established in lemma 3 and lemma 4. Here \(\Delta _{\eta ,\psi ;{\mathcal {A}}}\) is the relative operator associated with \(|\psi _{\mathcal {A}}\rangle , |\eta _{\mathcal {A}}\rangle \), and similarly for \({\mathcal {A}}\) replaced by \({\mathcal {B}}\). In particular, the representation (24) shows in conjunction with Stone’s theorem (see, e.g., [16], Sect. 5.3) applied to the exponential factors \(\Delta _{\eta ,\psi ;{\mathcal {A}}}^{it}, \Delta _{\eta ,\psi ;{\mathcal {B}}}^{-it}\) that this function is strongly continuous.
Theorem 1
Let \(\omega _\eta , \omega _\psi \) be normal states on the von Neumann algebra \({\mathcal {A}}\), \(\omega _\eta \) faithful, and let \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\) be a normal, unital Schwarz map such that \(\omega _\eta \circ T\) is a faithful state on the von Neumann algebra \({\mathcal {B}}\). Then for \(q \in [1,2]\) we have
Here, \(\Vert \zeta \Vert _{q,\psi }\) denotes the Araki–Masuda–Hölder \(L_q({\mathcal {A}}', \psi )\)-norm relative to \(|\psi \rangle ,{\mathcal {A}}'\), and \(p(t) :=\pi \left[ 1+\cosh (2\pi t) \right] ^{-1}\), which is a probability density.
The proof is given in Sect. 5 and is similar to that of theorem 1, paper I [18]. We will therefore only provide complete details where the proof deviates significantly or where we would like to make shortcuts.
Remark
-
(1)
The non-commutative Hölder spaces on a von Neumann algebra \({\mathcal {M}}\) in standard form, weighted by a vector \(|\psi \rangle \) in the natural cone, called \(L_p({\mathcal {M}}, \psi )\), were defined and analyzed in [5] (for \(p \in [1,\infty ]\)). Their definition is recalled for convenience in app. B.
-
(2)
In paper I [18], this result was established in the case when \(T=\iota : {\mathcal {B}}\subset {\mathcal {A}}\) is an inclusion of von Neumann algebras.
-
(3)
The integrand of (18) is pointwise non-positive, as can be seen from lemma 3, and \(\Vert \Gamma _\psi (1/2+it)\Vert _{q,\psi }\) is continuous in t, because the vector \(|\Gamma _\psi (1/2+it)\rangle \) is strongly continuous and the \(L_q\)-norm is continuous with respect to the norm topology in \(\mathscr {H}\), see, e.g., Appendix B. This implies that the integral in (18) is definite in the Lebesgue sense, but might be \(-\infty \).
To state our second main theorem, we define
where \(\alpha _{\eta ,T}^t\) is the rotated Petz map associated with T and \(|\eta \rangle \) as discussed in Sect. 2.3. This map is a 2-positive channel—called “recovery channel”—provided that T has these properties. We also define the “square root” fidelity \(F=F_{\mathcal {A}}\) [1, 50] between two normal states on \({\mathcal {A}}\) as usual by
where the characterization of F as an \(L_1\)-norm is well known and demonstrated in the required generality, e.g., in paper I [18], lemma 3 (1).
Theorem 2
Let \(T: {\mathcal {B}}\rightarrow {\mathcal {A}}\) be a unital, normal, and 2-positive map between two von Neumann algebras. Let \(\omega _\eta ,\omega _\psi \) be normal states functionals on \({\mathcal {A}}\) such that both \(\omega _\eta , \omega _\eta \circ T\) are faithful. Then,
Remark
-
(1)
In the case of von Neumann algebras of type I, our result reduces to that by Junge et al. [29].
-
(2)
The case of an inclusion \(T=\iota :{\mathcal {B}}\subset {\mathcal {A}}\) was treated separately already in paper I.
-
(3)
By one of the Fuchs–van der Graaf inequalities, see, e.g., paper I [18], lem. 3 (3) for the case of general von Neumann algebras, and the elementary bound \(-\mathrm{ln}\,x \ge 1-x, x \in (0,1]\), we obtain an upper bound on the norm distance between the original and recovered state:
$$\begin{aligned} S(\omega _\psi | \omega _\eta ) - S(\omega _\psi \circ T | \omega _\eta \circ T) \ge \tfrac{1}{4} \Vert \omega _\psi \circ T \circ \alpha - \omega _\psi \Vert ^2. \end{aligned}$$(22)
Proof
Consider the linear operator \(V_\eta : \mathscr {K}\rightarrow \mathscr {H}\) defined by
Here, \(b \in {\mathcal {B}}, |\zeta \rangle \in [\pi ^{\mathcal {B}}(\psi ) {\mathcal {B}}\eta _{{\mathcal {B}}}]^\perp \). It has been shown in [44], proof of Theorem 4 that \(\Vert V_\eta \Vert \le 1\), which uses the 2-positivity of T, and that \(V_\eta \bar{S}_{\eta , \psi ; {\mathcal {B}}} \subset \bar{S}_{\eta , \psi ;{\mathcal {A}}} V_\psi \), where we mean the closures of the Tomita operators. We find:
Let \(\gamma _t\) be the non-normalized linear functional on \({\mathcal {A}}\) corresponding to \(|\Gamma _\psi (1/2+it)\rangle \). We claim, compare paper I [18], theorem 4 (2):
Lemma 2
We have \(\gamma _t(a_+) \le \omega _\psi \circ T \circ \alpha ^t_{\eta ,T}(a_+)\) for \(t \in {\mathbb {R}}, a_+\in {\mathcal {A}}_+\).
Proof
In (14), set \(b=B^* B, a\equiv a_+=A^*A\). We get:
Now, let \(b' \in {\mathcal {B}}'\), and let \(|\psi _{\mathcal {B}}\rangle \) be the vector representative in the natural cone of the state \(\omega _\psi \circ T\) on \({\mathcal {B}}\). Then, define
We have \(B \in {\mathcal {B}}\) because \(\Delta ^{it}_{\eta ,\psi ;{\mathcal {B}}} \Delta ^{-it}_{\eta ,{\mathcal {B}}}\) is a partial isometry in \({\mathcal {B}}'\) and \(\Delta ^{it}_{\eta ,{\mathcal {B}}} b' \Delta ^{-it}_{\eta ,{\mathcal {B}}} \in {\mathcal {B}}', J_{\mathcal {B}}{\mathcal {B}}' J_{\mathcal {B}}= {\mathcal {B}}\), by Tomita–Takesaki theory. Then, (25) yields, using that \(v'=\Delta ^{-it}_{\eta ,{\mathcal {B}}} \Delta ^{it}_{\eta ,\psi ;{\mathcal {B}}}\) is a partial isometry in \({\mathcal {B}}'\) such that \((v')^* v' = \pi ^{{\mathcal {B}}'}(\psi )\), and using Kadison’s property (9):
The set of vectors \(\{ b' |{\eta }_{{\mathcal {B}}} \rangle \ : \ b' \in {\mathcal {B}}'\}\) is dense because \(|\eta _{{\mathcal {B}}} \rangle \) is the vector representative of \(\omega _\eta \circ T\) in the natural cone of \({\mathcal {B}}\) which is cyclic and separating as \(\omega _\eta \circ T\) is assumed faithful. Hence, the set of vectors \(b' |{\eta }_{{\mathcal {B}}} \rangle \) can be used to approximate \(|{\psi }_{{\mathcal {B}}} \rangle \) in norm. Then, since all operators in this inequality are bounded (in particular \(V_\eta \), which is a contraction), (27) gives under this approximation
which is equivalent to the desired bound. \(\square \)
By this lemma, together with paper I [18], lemma 3 (1), and the monotonicity of the fidelity [1, 50] we have \(\Vert \Gamma _\psi (1/2+it)\Vert _{1,\psi } =F(\gamma _t|\omega _\psi ) \le F(\omega _\psi \circ T \circ \alpha _{\eta ,T}^t | \omega _\psi )\), with \(L_1\)-norm relative to \({\mathcal {A}}'\) and \(|\psi \rangle \). Theorem 1 for the case \(q=1\) therefore gives us
Since ln and F are concave, we can further use the Jensen inequality to pull the integral inside the fidelity, see paper I [18], lemma 10 and proof of theorem 2 for the identical details of these arguments. This completes the proof. \(\square \)
Remark
The attentive reader will have noticed that Theorem 1 can evidently be combined with lemma 2 also for \(q \in (1,2)\). Firstly, it has been shown by [22], Theorem 3.16 (7) that
Indeed, the first condition gives \(|\zeta _2\rangle = a'|\zeta _1\rangle \) with \(a' \in {\mathcal {A}}'\) such that \(\Vert a'\Vert \le 1\). The second relation then follows from invariance of the \(L_q({\mathcal {A}}',\psi )\)-norm [5, 8], \(\Vert \zeta _2 \Vert _{q,\psi ,{\mathcal {A}}'} = \Vert a' \zeta _1 \Vert _{q,\psi ,{\mathcal {A}}'} \le \Vert a' \Vert \, \Vert \zeta _1 \Vert _{q,\psi ,{\mathcal {A}}'}\). Therefore, Lemma 2 and Theorem 1 with \(q=2s\) give
Here, \(D_s, s \in (1/2,1)\) are the “sandwiched Renyi divergences” [39, 53], defined by
(norm relative to \({\mathcal {A}}'\)). \(D_s\) is known to be jointly convex [22], Theorem 3.6 (5)
where the sum is finite and \(\lambda _i \ge 0, \sum \lambda _i=1\). This suggests that we can use again the Jensen inequality to pull the integral inside \(D_s\) in (31). We would get, for \(s \in (1/2,1)\)
To assess the potential use of this inequality, it would be interesting to know whether the right side has an operational meaning in terms of hypothesis testing, as has been established for the sandwiched Renyi divergence of index \(s>1\), see [38].
4 Examples
4.1 Relation with conditional expectation
Let \({\mathcal {B}}\subset {\mathcal {A}}\) be an inclusion of von Neumann factors. Consider the reference state \(\sigma \) fixed by a conditional expectation \(E: {\mathcal {A}}\rightarrow {\mathcal {B}}\). We work out the estimate in Theorem 2 in this case. The rotated Petz map reads (see [18] and also [6, 40])
Here, \(j_{\mathcal {A}}= \mathrm{Ad} J_{\mathcal {A}}\) and \(\varsigma _{\sigma ,{\mathcal {A}}}^t\) is the modular flow of \(\sigma \) on \({\mathcal {A}}\) etc. In the above expression, \({\mathcal {B}}\) is represented on a different Hilbert space since we do not always have a common cyclic and separating vector for \({\mathcal {A}},{\mathcal {B}}\). In particular in the case where \(\sigma \) is fixed by a conditional expectation, we do not have such a vector. V is the isometry that relates the two Hilbert spaces and is defined via \(V(b | \eta _{{\mathcal {B}}} \rangle ) = \iota (b) | \eta _{{\mathcal {A}}} \rangle \) (following [18] we distinguish these representations by writing explicitly the inclusion \(\iota ({\mathcal {B}}) \subset {\mathcal {A}}\).) If \(\sigma \) is fixed by E, then we can dramatically simplify the recovery map using Takesaki’s theorem [49] to cancel all the modular operators. In particular one finds:
See, for example, Eqs. 3.3–3.5 of [19] for more details on this case (to compare to this paper send \(\iota \rightarrow \beta \) and \({\mathcal {A}}, {\mathcal {B}} \rightarrow {\mathcal {M}} , {\mathcal {N}}\)). The integral in the recovery channel (19) is now trivial. It is well known that the Petz map for an inclusion reduces to a conditional expectation if the defining state is fixed by a conditional expectation [41]. This remains true for the rotated Petz map, Definition 2. So the estimate becomes:
Notice, however, that this estimate can be derived in a more elementary manner. We have the well-known equality (see [40]):
So (37) simply follows from the monotonicity of the “sandwiched Renyi divergence” as a function of the Renyi parameter s [8].
4.2 Markov semigroups
Let \(\{T_t\}_{t\ge 0}: {\mathcal {A}}\rightarrow {\mathcal {A}}\) be a weakly \(^*\)-continuous semigroup of 2-positive unital maps such that \(T_0=id\), leaving invariant a reference state \(\sigma \). On physical grounds, further conditions are often imposed on such a “Markov semi-group” expressing a kind of detailed balance condition, see [32, 35, 36]. One such condition that is natural from a physical viewpoint in many cases is that
where \(\Theta \) is some anti-linear anti-automorphismFootnote 3 of \({\mathcal {A}}\) leaving \(\sigma \) invariant, such that \(\Theta ^2 = id\), often having the interpretation of a parity or PCT map. This can be seen to imply that \(T_t\) commutes with the modular group \(\varsigma ^s_\eta \) of \(({\mathcal {A}},\sigma )\), see [37], lemma 4.8. This further gives (by analytic continuation and the KMS property)
showing in view of (14) that the rotated Petz map of \(T_t\) is given by \(\Theta \circ T_t \circ \Theta \).
Thus, in the present case, the recovery channel (19) for \(T_t\) is (for given \(t \ge 0\)) \(\alpha = \Theta \circ T_t \circ \Theta .\) Then, theorem 2 gives a formula for the entropy production by the Markov process up to time t expressed by the following proposition:
Proposition 1
Let \(\{T_t\}_{t\ge 0}: {\mathcal {A}}\rightarrow {\mathcal {A}}\) be a Markov semigroup leaving invariant a normal state \(\sigma \) of the von Neumann algebra \({\mathcal {A}}\) fulfilling the above detailed balance condition. Then, for all \(t \ge 0\),
5 Proof of theorem 1
The proof is along similar lines as that of paper I [18], Theorem 1, but we take the opportunity to present alternative proofs in some cases to obtain simplifications. The argument is divided into several steps. First, we consider a special case involving an additional assumption. This is then removed in a second step.
We shall first assume that there exists \(c>0\) such that
By definition, since T is positivity-preserving, we then also have \(\omega _\psi \circ T \le c\omega _\eta \circ T\). Following the conventions introduced above around (10), we use notations such as \(|\eta _{\mathcal {B}}\rangle , |\eta _{\mathcal {A}}\rangle \), in this proof, and similarly for \(|\psi \rangle \). In the same spirit, we will write \(\Delta _{\eta ,\psi ;{\mathcal {B}}}=\Delta _{\eta ,\psi ;{\mathcal {B}}}, \Delta _{\eta ,\psi ;{\mathcal {A}}}=\Delta _{\eta _{\mathcal {A}},\psi _{\mathcal {A}}}\) etc.
Throughout this proof, we will repeatedly make use of the following well-known notations and facts related to nonnegative, self-adjoint operators.
-
1.
If A is a nonnegative, self-adjoint operator with domain \(\mathscr {D}(A)\) on a Hilbert space \(\mathscr {H}\), then complex powers \(A^z\) are defined via the spectral theorem on \(s(A)\mathscr {H}\) and by 0 on \((1-s(A))\mathscr {H}\). Here, s(A) is the support projection of A.
-
2.
If A, B are two nonnegative self-adjoint operators on \(\mathscr {H}\), we write \(A \le B\) if \(\mathscr {D}(B^{1/2}) \subset \mathscr {D}(A^{1/2})\) and \(\langle \zeta | A \zeta \rangle \le \langle \zeta | B \zeta \rangle \) for \(|\zeta \rangle \in \mathscr {D}(B^{1/2})\).
-
3.
In this situation, we have \(\mathscr {R}(A^{1/2}) \subset \mathscr {D}(B^{-1/2})\) and \(\Vert B^{-1/2} A^{1/2} \zeta \Vert \le \Vert \zeta \Vert \) for all \(|\zeta \rangle \in \mathscr {D}(A^{1/2})\).
-
4.
Let \({\mathbb {S}}_{1/2}=\{z \in {\mathbb {C}}\mid 0< \mathrm{Re}(z) < 1/2\}\). Suppose \(|F(z)\rangle \) is an \(\mathscr {H}\)-valued function on \(\bar{{\mathbb {S}}}_{1/2}\) (overline denoting the closure) which is holomorphic on \({\mathbb {S}}_{1/2}\) and bounded and weakly continuous on \(\bar{{\mathbb {S}}}_{1/2}\). Let A be a nonnegative, self-adjoint operator on \(\mathscr {H}\) such that \(\sup _{t \in {\mathbb {R}}} \Vert A^{1/2+it} F(1/2+it) \Vert = C_1< \infty , \sup _{t \in {\mathbb {R}}} \Vert A^{it} F(it) \Vert = C_0 < \infty \). Then, \(A^z|F(z)\rangle \) is an \(\mathscr {H}\)-valued function on the strip \(\bar{{\mathbb {S}}}_{1/2}\) which is holomorphic on \({\mathbb {S}}_{1/2}\), bounded in norm (by \(\mathrm{max}\{C_0,C_1\}\)) and weakly continuous on \(\bar{{\mathbb {S}}}_{1/2}\).
Item (3) follows straightforwardly from the definitions and item (4) is shown in [13], lemma 2.1.
Step 1 First, we analyze some properties of the family of operators appearing in (17). The following lemma does not use the majorization condition (42) yet.
Lemma 3
The operator \(\Delta _{\eta ,\psi ;{\mathcal {A}}}^{z} V_\psi \Delta _{\eta ,\psi ;{\mathcal {B}}}^{-z}\) satisfies \(\Vert \Delta _{\eta ,\psi ;{\mathcal {A}}}^{z} V_\psi \Delta _{\eta ,\psi ;{\mathcal {B}}}^{-z}\Vert \le 1\) for \(z \in \bar{{\mathbb {S}}}_{1/2}\).
Proof
It follows from the Schwarz inequality (9) that \(V_\psi ^* \Delta _{\eta ,\psi ;{\mathcal {A}}} V_\psi \le \Delta _{\eta ,\psi ;{\mathcal {B}}}\), see [44], proof of theorem 4. Let \(\alpha \in [0,1]\). By the operator monotonicity of the function \({\mathbb {R}}_+ \ni x \mapsto x^\alpha \in {\mathbb {R}}_+\), it follows \((V_\psi ^* \Delta _{\eta ,\psi ;{\mathcal {A}}} V_\psi )^\alpha \le \Delta _{\eta ,\psi ;{\mathcal {B}}}^\alpha \), see, e.g., [45], Ex. 24, p. 315. Furthermore, since \(V_\psi \) is a contraction it follows from Jensen’s operator inequality (see, e.g., [40], lemma 1.2, or [44], Theorem C) \(V_\psi ^* \Delta _{\eta ,\psi ;{\mathcal {A}}}^\alpha V_\psi \le (V_\psi ^* \Delta _{\eta ,\psi ;{\mathcal {A}}} V_\psi )^\alpha \), so \(V_\psi ^* \Delta _{\eta ,\psi ;{\mathcal {A}}}^\alpha V_\psi \le \Delta _{\eta ,\psi ;{\mathcal {B}}}^\alpha \). This is the same as saying that \(\Vert \Delta _{\eta ,\psi ;{\mathcal {A}}}^{\alpha /2} V_\psi \Delta _{\eta ,\psi ; {\mathcal {B}}}^{-\alpha /2} \zeta \Vert \le \Vert \zeta \Vert \) for \(|\zeta \rangle \in \mathscr {R}(\Delta _{\eta ,\psi ;{\mathcal {B}}}^{\alpha /2}) \oplus (1-\pi ^{{\mathcal {B}}'} (\psi _{\mathcal {B}}) \pi ^{{\mathcal {B}}}(\eta _{\mathcal {B}}))\mathscr {H}\) which is dense. The statement follows because \(\Delta _{\eta ,\psi ;{\mathcal {A}}}^{it}, \Delta _{\eta ,\psi ; {\mathcal {B}}}^{it}\) are isometric when t is real. \(\square \)
Similarly as in paper I, we introduce a vector-valued function by
This vector-valued function is well defined by the preceding lemma at first for any \(z \in \bar{{\mathbb {S}}}_{1/2}\). In fact, it is analytic in \({\mathbb {S}}_{1/2}\) and weakly continuous and bounded on \(\bar{{\mathbb {S}}}_{1/2}\), by the same arguments as in paper I [18], theorem 4 (1), or the next lemma. With the goal of extending the domain of analyticity of this vector, we let \(\Pi _\Lambda \) be the projector onto the spectral subspace of the modular operator \(\mathrm{ln}\,\Delta _{\psi _{\mathcal {A}}}\), associated with the interval \((-\Lambda ,\Lambda )\), for some large “cutoff” \(\Lambda \) which we will let got to infinity. Then, we define the new vector-valued function \(\Pi _\Lambda |\Gamma _\psi (z)\rangle \), at first on the one-sided strip \(\bar{{\mathbb {S}}}_{1/2}\). The following two lemmas, which also rely on the majorization condition (42), give an analytic continuation to the two-sided strip \(\{z: -1/2<\mathrm{Re}z<1/2\}\). They express the same as paper I, lem. 6 (1,2) but we give a somewhat different proof.
Lemma 4
The function \(\Pi _\Lambda |\Gamma _{\psi }(z)\rangle \) has a unique extension to \(\{z: -1/2 \le \mathrm{Re}z \le 1/2\}\) which is weakly continuous and bounded and which is holomorphic in the interior \(\{z: -1/2< \mathrm{Re}z < 1/2\}\).
Proof
We consider separately the following cases:
(1) \(1/2 \ge \mathrm{Re}z \ge 0\): Then, by Lemma 5, \((D\eta _{\mathcal {B}}:D\psi _{\mathcal {B}})_{iz} \in {\mathcal {B}}\), and we may write, at first formally,
using the definition of \(V_\psi \) and of the (formally analytically extended) Connes cocycle (6), \((D\eta _{\mathcal {B}}:D\psi _{\mathcal {B}})_{iz} \pi ^{{\mathcal {B}}'}(\psi ) = \Delta _{\eta ,\psi ;{\mathcal {B}}}^{-z}\Delta _{\psi , {\mathcal {B}}}^{z}\). We analyze the three factors on the right side as follows. \(\Pi _\Lambda \) is simply a bounded, z-independent operator. By Lemma 5, \(|F(z) \rangle =T[(D\eta _{\mathcal {B}}:D\psi _{\mathcal {B}})_{iz}] |\psi \rangle \) is bounded and weakly continuous for \(z \in \bar{{\mathbb {S}}}_{1/2}\) and holomorphic for \(z \in {\mathbb {S}}_{1/2}\). By Lemma 3 (or alternatively Tomita–Takesaki theory, since \(T[(D\eta _{\mathcal {B}}:D\psi _{\mathcal {B}})_{iz}] \in {\mathcal {A}}\)), \(\Vert \Delta _{\eta ,\psi ;{\mathcal {A}}}^{z} F(z) \Vert \) is bounded for \(z \in \bar{{\mathbb {S}}}_{1/2}\). Thus, item (4) (which is [13], lemma 2.1) shows that \(\Pi _\Lambda |\Gamma _{\psi }(z)\rangle \) is holomorphic for \(z \in {\mathbb {S}}_{1/2}\) as well as weakly continuous and bounded for \(z \in \bar{{\mathbb {S}}}_{1/2}\).
(2) \(-1/2\le \mathrm{Re}z\le 0\): We may write, at first formally,
We analyze the three factors on the right side as follows. By construction, \(\Pi _\Lambda \Delta _{\psi _{\mathcal {A}}}^{z}\) is a holomorphic family of operators for \(z \in -{\mathbb {S}}_{1/2}\), as well as strongly continuous and norm bounded, with operator norm not exceeding \(e^{2\Lambda |\mathrm{Re}z|}\). \((D\eta _{\mathcal {A}}:D\psi _{\mathcal {A}})_{-i\bar{z}}^*\) is holomorphic for \(z \in -{\mathbb {S}}_{1/2}\), as well as weakly continuous and norm bounded for \(z \in -\bar{{\mathbb {S}}}_{1/2}\) by Lemma 5. \(\Delta _{\eta , \psi ; {\mathcal {B}}}^{-z} |\psi _{{\mathcal {B}}}\rangle \) is holomorphic for \(z \in -{\mathbb {S}}_{1/2}\), as well as strongly continuous and norm bounded for \(z \in -\bar{{\mathbb {S}}}_{1/2}\), by Tomita–Takesaki theory. This shows that \(\Pi _\Lambda |\Gamma _{\psi }(z)\rangle \) is holomorphic for \(z \in -{\mathbb {S}}_{1/2}\) as well as weakly continuous and bounded for \(z \in -\bar{{\mathbb {S}}}_{1/2}\).
Cases (1) and (2) together give the statement by an application of the operator-valued edge-of-the-wedge theorem because the weakly continuous functions defined in cases (1) and (2) clearly match for \(z=it, t \in {\mathbb {R}}\). \(\square \)
Lemma 5
Suppose \({\mathcal {A}}\) is a von Neumann algebra in standard form and \(|\eta \rangle , |\psi \rangle \) are vectors in the natural cone such that \(\omega _\psi \le c \omega _\eta \) for some \(c<\infty \). Then, \(z \mapsto \Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z}\) is holomorphic for \(z \in {\mathbb {S}}_{1/2}\) as well as weakly continuous and norm bounded in \(\bar{{\mathbb {S}}}_{1/2}\), which defines an analytic extension \((D\eta :D\psi )_{iz}\) of the Connes cocycle (6). For \(z \in \bar{{\mathbb {S}}}_{1/2}\), one has \((D\eta :D\psi )_{iz} \in \pi ^{\mathcal {A}}(\eta ){\mathcal {A}}\pi ^{\mathcal {A}}(\psi )\).
Proof
This fact is well known, and we include the proof in Appendix C only for completeness taking into account that the support projection of \(|\psi \rangle \) may be non-trivial.
\(\square \)
Step 2 Let \(1/p_\theta =(1-2\theta )/2+2\theta /q\) for \(\theta \in [0,1/2]\), which interpolates between \(p_0=2,p_{1/2}=q \in [1,2]\). Very similarly as in paper I, the relationship between the function (43) and the quantum data processing inequality is that
Here and in the following, \( S(\psi _{\mathcal {A}}| \eta _{\mathcal {A}})\equiv S_{\mathcal {A}}(\omega _\psi | \omega _\eta )\) and \( S(\psi _{\mathcal {B}}| \eta _{\mathcal {B}})\equiv S_{\mathcal {B}}(\omega _\psi \circ T| \omega _\eta \circ T)\) are used as a shorthand. Furthermore, on the left side of (46), we mean the Araki–Masuda \(L_{p_\theta }({\mathcal {A}}',\psi )\)-norm, i.e., that relative to the commutant algebra \({\mathcal {A}}'\) and the vector \(|\psi \rangle \) in the natural cone. In the following, we will often drop the subscript \({\mathcal {A}}'\) to simplify the notation.
For finite-dimensional quantum systems, (46) is a straightforward consequence of the definitions. In the general von Neumann context, we could prove (46) in basically the same way as in paper I, but here we can take certain shortcuts since we are not interested in reproving paper I, theorem 3: Setting first \(|\zeta _\theta \rangle = \Pi _\Lambda |\Gamma _\psi (\theta )\rangle /\Vert \Pi _\Lambda \Gamma _\psi (\theta )\Vert \), the homogeneity of the \(L_p\)-norm gives
Note that \(\lim _{\theta \rightarrow 0} \Vert \zeta _\theta - \psi \Vert ^2/\theta = 0\) by construction as \(\Pi _\Lambda |\Gamma _\psi (z)\rangle \) is strongly holomorphic at \(z=0\) (by Lemma 4) and \(\Pi _\Lambda |\Gamma _\psi (0)\rangle =|\psi \rangle \) by definition. The term B is treated with the next two lemmas playing the same role as paper I, Lemma 4 and Theorem 3 (2).
Lemma 6
Let \({\mathcal {M}}\) be a von Neumann algebra in standard form acting on \({\mathscr {H}}\). For two vectors \(|\zeta \rangle ,|\psi \rangle \in {\mathscr {H}}\) such that \(|\psi \rangle \) is in the natural cone, \(\Vert \psi \Vert =1\), and \(p \in [1,2]\), we have
where the \(L_p\)-norm is relative to \({\mathcal {M}}\).
Proof
(1) First inequality. The statement holds trivially for \(p=2\), because \( \Vert \zeta \Vert _{2,\psi } = \Vert \pi ^{{\mathcal {M}}'}(\psi ) \zeta \Vert \), so
For \(p=1\), the inequality follows by the “sup” variational definition of the fidelity (20) (relative to \({\mathcal {M}}'\)), which is equal to the \(L_1\)-norm, as proven in the generality needed here in paper I, lemma 3 (1). So we can assume \(p \in (1,2)\) in the rest of the proof.
Let \(1/p'=1-1/p\) be the dual Hölder index, so \(p' \in (2, \infty )\), \(1/p-1/2=:\alpha \in (0,1/2)\), \(1/2-1/p'=:\alpha ' \in (0,1/2)\). For any fixed \(\varepsilon >0\), we can chose a unit vector \(|\phi \rangle \) so that \(\pi ^{\mathcal {M}}(\phi ) \ge \pi ^{\mathcal {M}}(\zeta )\) and \(\Vert \Delta ^{-\alpha }_{\phi ,\psi }\zeta \Vert \le \Vert \zeta \Vert _{p,\psi } +\varepsilon \) by the variational definition of the \(L_p\) norm. Then, we have
using [13], lemma 2.1 to go to the third line (basically the Hadamard three lines theorem). This proves (2) in the remaining cases since \(\varepsilon >0\) is arbitrary.
(2) Second inequality. See, e.g., [8], lem. 8, or the following explicit and simple argument. For \(p=1\) or \(p=2\), the inequality is trivial, by the similar arguments as in step (1). We can assume that \(|\zeta \rangle \) is in the natural cone because the \(L_p\)-norm and the Hilbert space norm are unchanged if we replace \(|\zeta \rangle \) by its unique representer in the natural cone, see, e.g., app. B, and by rescaling and homogeneity of the \(L_p\) norm we can assume \(\Vert \zeta \Vert =1\). Then, \(J \Delta _{\zeta ,\psi }^{-\alpha } J = \Delta _{\psi ,\zeta }^\alpha \) see [5], theorem C.1, and we get from the “inf” variational definition of the \(L_p\)-norm that
We have \(\Vert \Delta _{\psi ,\zeta }^{it}\zeta \Vert \le \Vert \zeta \Vert = 1\) and \(\Vert \Delta _{\psi ,\zeta '}^{1/2+it} \zeta \Vert = \Vert J\Delta _{\psi ,\zeta }^{1/2} \zeta \Vert = \Vert \psi \Vert =1\) for \(t \in {\mathbb {R}}\). Therefore, by [13], Lemma 2.1, \(\Vert \Delta _{\psi ,\zeta }^{\alpha } \zeta \Vert \le 1\) and the proof is complete. \(\square \)
In view of \(\mathrm{Re} \langle \zeta | \psi \rangle \le | \langle \zeta | \psi \rangle |\), the inequalities of Lemma 6 give for \(p \in [1,2]\), \(\Vert \zeta \Vert = \Vert \psi \Vert = 1\)
This immediately implies the following Lemma
Lemma 7
Let \({\mathcal {M}}\) be a von Neumann algebra in standard form acting on \(\mathscr {H}\), let \(|\psi \rangle \) be a unit vector in the natural cone, and let \(|\zeta _\theta \rangle \in \mathscr {H}\) be a 1-parameter family of unit vectors such that
Then, we have
for any 1-parameter family \(p_\theta \in [1,2]\), where the \(L_{p_\theta }\)-norm is relative to \({\mathcal {M}}\).
Proof
This follows from (52) because if we substitute \(|\zeta \rangle \rightarrow |\zeta _\theta \rangle , p \rightarrow p_\theta \), divide by \(\theta \), then we see that \(\lim _{\theta \rightarrow 0} \theta ^{-1 }| \ \Vert \zeta _\theta \Vert _{p_\theta ,\psi } - 1 \ | = 0\). \(\square \)
Lemma 7 applied to \(|\zeta _\theta \rangle \) and \({\mathcal {M}}={\mathcal {A}}'\) implies that \(B=0\) in (47). Now we study the term A in that equation. By the chain rule—noting that the derivative exists in view of Lemma 4—
Here, we use the Connes cocycle (6) for \(t \in {\mathbb {R}}\), and we used that the derivative can be also calculated by analytic continuation \(\theta \rightarrow it\) by analyticity in view of Lemma 4. (Here and below, the inverse Connes cocycle is defined in view of [5], Theorem C.1 \((\gamma 1, \gamma 3)\), as \((D\eta _{\mathcal {A}}:D\psi _{\mathcal {A}})_{t}^{-1} = (D\eta _{\mathcal {A}}:D\psi _{\mathcal {A}})_{t}^* \in \pi ^{\mathcal {A}}(\psi ){\mathcal {A}}\), considering \((D\eta _{\mathcal {A}}:D\psi _{\mathcal {A}})_{t}\) as an operator with domain \(\pi ^{\mathcal {A}}(\psi ) \mathscr {H}\).)
The Connes cocycles \((D\eta _{\mathcal {A}}:D\psi _{\mathcal {A}})_{t}^{-1}, (D\eta _{\mathcal {B}}:D\psi _{\mathcal {B}})_{t}\) (\(t \in {\mathbb {R}}\)) are elements of \({\mathcal {A}}, {\mathcal {B}}\). We are in particular allowed to use the definition of \(V_\psi \), Eq. (15), and \( \Delta _{\psi ,{\mathcal {A}}}^{\theta }|{\psi }_{{\mathcal {A}}} \rangle = |{\psi }_{{\mathcal {A}}} \rangle \). We obtain:
Finally, we distribute the derivatives on the right side and apply the definition of the relative entropy in terms of the Connes cocycle (7), showing in view of (47) and \(B=0\) that (46) holds.
Step 3 In view of step (2), we should next look for an upper bound on \( \Vert \Pi _\Lambda \Gamma _\psi (\theta ) \Vert _{p_\theta ,\psi }\) (with \(L_p\)-norm relative to \({\mathcal {A}}'\) and the vector \(|\psi \rangle \) in the natural cone of \({\mathcal {A}}\)). The basic tool is the following lemma.
Lemma 8
Let \({\mathcal {M}}\) be a von Neumann algebra in standard form acting on \(\mathscr {H}\), \(|\psi \rangle \) a not necessarily cyclic and separating vector in the natural cone. Let \(|G(z)\rangle \) be a \(\mathscr {H}\)-valued holomorphic function on the strip \({\mathbb {S}}_{1/2}=\{0<\mathrm{Re}z<1/2\}\) that is uniformly bounded and weakly continuous in the closure \(\bar{{\mathbb {S}}}_{1/2}\). For \(0<\theta <1/2\) with \(p_0,p_{1/2} \in [1,2]\), put
Then, we have
where
A proof of this lemma has been given in paper I, Lemma 9 in the case when \(|\psi \rangle \) is cyclic and separating. This condition has been removed in [24].
In view of lemma 4, we can apply lemma 8 to \(|G(z)\rangle = \Pi _\Lambda |\Gamma _\psi (z)\rangle \), \(p_0=2, p_{1/2}=q\) and \({\mathcal {M}}={\mathcal {A}}'\). We can furthermore use that
since \(V_\psi \) is a contraction. Then, we find using (46) that
We can let \(\Lambda \rightarrow \infty \), using the continuity of the \(L_q\)-norm in the norm topology on the Hilbert space \(\mathscr {H}\), for \(1 \le q \le 2\), [5], lemma 6.1 (2), thus allowing us to replace \(\Pi _\Lambda \) with 1. This completes the proof of the theorem under the majorization hypothesis (42).
Step 4 We shall now remove the majorization hypothesis (42) by the same method as in paper I. This hypothesis was crucially used only in Lemma 5, which in turn was used in order to show that the regularized vector \(\Pi _\Lambda |\Gamma _\psi (z)\rangle \) is holomorphic near \(z=0\) as proven in Lemma 4. Since we now no longer want to assume the majorization hypothesis, we shall introduce a “Gaussian” regularization. For \(P>0\), we consider the scaled Gaussians
Then, we define a (not necessarily normalized) vector \(|\psi _{P {\mathcal {A}}} \rangle \) in the natural cone of \({\mathcal {A}}\) by its associated state functional (\(a \in {\mathcal {A}}\))
Likewise, we define a vector \(|\psi _{P {\mathcal {B}}} \rangle \) in the natural cone of \({\mathcal {B}}\) by its associated state functional (\(b \in {\mathcal {B}}\)) \(\omega _{\psi _{P {\mathcal {B}}}}(b) = \omega _{\psi _{P {\mathcal {A}}}}(T(b))\). It follows from the spectral theorem that \(\hat{g}_P(\mathrm{ln}\,\Delta _{\eta ,\psi ; {\mathcal {A}}}) |\psi _{\mathcal {A}}\rangle \rightarrow |\psi _{\mathcal {A}}\rangle \), so \(\omega _{\psi _{P {\mathcal {A}}}} \rightarrow \omega _{\psi _{\mathcal {A}}}\) as \(P \rightarrow \infty \) in norm. The corresponding vectors in the natural cone then satisfy \(\Vert \psi _{\mathcal {A}}- {\psi _{P {\mathcal {A}}}}\Vert \rightarrow 0\), in view of the well-known inequality \(\Vert \zeta - \eta \Vert \Vert \zeta + \eta \Vert \ge \Vert \omega _{\zeta } - \omega _\eta \Vert \ge \Vert \zeta - \eta \Vert ^2\) for vectors \(|\zeta \rangle , |\eta \rangle \) in the natural cone. By the same argument then also \(\omega _{\psi _{P {\mathcal {B}}}} \rightarrow \omega _{\psi _{\mathcal {B}}}\) in norm, hence also \(\Vert \psi _{\mathcal {B}}- {\psi _{P {\mathcal {B}}}}\Vert \rightarrow 0\).
By Lemma 9 in Appendix A, the analysis of the previous steps (1–3) is applicable and the Theorem (i.e., (61)) holds for \(\omega _{\psi _P}\) in place of \(\omega _\psi \). Furthermore, Lemma 9 5) shows that \(\limsup _{P \rightarrow \infty } S(\psi _{P{\mathcal {A}}} | \eta _{{\mathcal {A}}}) = S( \psi _{{\mathcal {A}}} | \eta _{{\mathcal {A}}}). \) On the other hand, the usual lower semi-continuity of the relative entropy [3, 4], Theorem 3.7 (1) gives us \(S(\psi _{\mathcal {B}}| \eta _{\mathcal {B}}) \le \liminf _{P \rightarrow \infty } S(\psi _{P{\mathcal {B}}} | \eta _{{\mathcal {B}}}), \) and we see that
In the second line, we used the Fatou lemma and the fact \(\mathrm{ln}\,\Vert \Gamma _{\psi _P}(1/2+it) \Vert _{q,\psi _P,{\mathcal {A}}'} \le \mathrm{ln}\,\Vert \Gamma _{\psi _P}(1/2+it) \Vert \le 0\) which follows from (17), \(\Vert V_{\eta ,P}\Vert \le 1\) [cf. (23) with the replacement \(\psi \rightarrow \psi _P\)], \(\Vert \psi _P \Vert \le \Vert \psi \Vert = 1\) [cf. Lemma 9 1) in app. A] and the fact that the Hilbert space norm dominates the \(L_q\)-norm [cf. Lemma 6].
Step 5 We now analyze the lim-sup on the right side of (64). What must be shown is that the lower bound in (64) is not smaller than the lower bound (18) in the statement of the theorem. There are two sub-steps: (i) showing that \(\lim _P |\Gamma _{\psi _P}(1/2+it)\rangle = |\Gamma _{\psi }(1/2+it)\rangle \) in the strong sense for any \(t \in {\mathbb {R}}\), and (ii) showing that \(\limsup _P \Vert \zeta \Vert _{q,\psi _P,{\mathcal {A}}'} \le \Vert \zeta \Vert _{q,\psi ,{\mathcal {A}}'}\) for any \(|\zeta \rangle \in \mathscr {H}\). Using these two sub-steps and the shorthands \(|\Gamma _{\psi _P}(1/2+it)\rangle \equiv |\zeta _P \rangle , |\Gamma _\psi (1/2+it)\rangle \equiv |\zeta \rangle \), we conclude
Here, we used the triangle inequality for the \(L_p\)-norm in the range \(p \in [1,2]\) [cf. app. B] and \(\Vert \zeta -\zeta _P\Vert _{q,\psi _P,{\mathcal {A}}'} \rightarrow 0\) because the \(L_p\)-norm is dominated by the Hilbert space norm [cf. Lemma 6]—together with (i) and (ii). (65) and (64) together give the statement (18) of the theorem. Thus, to conclude the proof, we must demonstrate sub-steps (i) and (ii).
Sub-step (i) [3, 4], lemma 4.1 shows that \(\Delta _{\psi _P,\eta ;{\mathcal {A}}}^{1/2} \rightarrow \Delta _{\psi ,\eta ;{\mathcal {A}}}^{1/2}\) in the strong resolvent sense, using also that \(\pi ^{{\mathcal {B}}'}(\eta ) =\pi ^{{\mathcal {A}}'}(\eta )=1\) since \(|\eta _{\mathcal {A}}\rangle , |\eta _{\mathcal {B}}\rangle \) are cyclic and separating by assumption. Therefore, for any bounded continuous function \(f: {\mathbb {R}}_+ \rightarrow {\mathbb {C}}\), \(f(\Delta _{\psi _P, \eta ;{\mathcal {A}}}) \rightarrow f(\Delta _{\psi ,\eta ;{\mathcal {A}}})\) strongly by [16], prop. 10.1.9, and therefore, for example, \((i+\mathrm{ln}\,\Delta _{\psi _P,\eta ; {\mathcal {A}}})^{-1} \rightarrow (i+\mathrm{ln}\,\Delta _{\psi ,\eta ; {\mathcal {A}}})^{-1}\) in the strong sense. By [16], prop. 10.1.8, \(\Delta _{\psi _P,\eta ; {\mathcal {A}}}^{it} \rightarrow \Delta _{\psi ,\eta ;{\mathcal {A}}}^{it}\) strongly, and likewise for the expressions with \({\mathcal {B}}\) in place of \({\mathcal {A}}\). The representation (24) can be stated using results of [5], Theorem C.1 and the support properties of the modular operators as
with \(W_\eta (b|\eta _{\mathcal {B}}\rangle ):= T(b)|\eta _{\mathcal {A}}\rangle \), which is a well-defined contraction that does not depend on P. We therefore have \(|\Gamma _{\psi _P}(1/2+it)\rangle \rightarrow |\Gamma _{\psi }(1/2+it)\rangle \) strongly because each factor in this expression converges strongly.
Sub-step (ii) This is Lemma 9 (4) in Appendix A. \(\square \)
Notes
In the case of finite-dimensional type I von Neumann algebras, these would correspond to density matrices as in \(\omega _\psi (a) = \mathrm{Tr}(a \omega _\psi )\).
i.e., direct sums of matrix algebras or the algebra of all bounded operators on a separable Hilbert space.
This means \(\Theta (\lambda a)=\bar{\lambda } \Theta (a), \Theta (a)\Theta (b)=\Theta (ba)\) for \(a,b \in {\mathcal {A}}.\) It actually suffices that \(\Theta \) is a Jordan map, see [37] for details.
References
Alberti, P.M.: A note on the transition probability over \(C^*\) algebras. J. Math. Phys. 7, 25–32 (1983)
Araki, H.: Relative Hamiltonian for faithful normal states of a von Neumann algebra. Publ. RIMS Kyoto Univ. 9, 165–209 (1973)
Araki, H.: Relative entropy of states of von Neumann algebras. I. Publ. RIMS Kyoto Univ. 11, 809–833 (1976)
Araki, H.: Relative entropy of states of von Neumann algebras. II. Publ. RIMS Kyoto Univ. 13, 173–192 (1977)
Araki, H., Masuda, T.: Positive cones and \(L_p\)-spaces for von Neumann algebras. Publ. RIMS Kyoto Univ. 18, 339–411 (1982)
Accardi, L., Cecchini, C.: Conditional Expectations in von Neumann Algebras and a Theorem of Takesaki. J. Funct. Anal. 45, 245–273 (1982)
Berta, M., Lemm, M., Wilde, M.M.: Monotonicity of quantum relative entropy and recoverability. Quant. Inf. Comp. 15, 1333–1354 (2015)
Berta, M., Scholz, V.B., Tomamichel, M.: Renyi Divergences as Weighted Non-commutative Vector-Valued \(L_p\) -Spaces. Annales Henri Poincare 19(6), 1843 (2018)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics I. Springer, New York (1987)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics II. Springer, New York (1997)
Buchholz, D., Fredenhagen, K., D’Antoni, C.: The universal structure of local algebras. Commun. Math. Phys. 111, 123 (1987)
Carlen, E.A., Vershynina, A.: “Recovery map stability for the Data Processing Inequality,” arXiv:1710.02409
Cecchini, C., Petz, D.: “State extensions, and a Radon-Nikodym theorem for conditional expectations on von Neumann algebras,” Pac. J. Math 138, (1989)
Ceyhan, F., Faulkner, T.: Recovering the QNEC from the ANEC. Commun. Math. Phys. 377(2), 999–1045 (2020)
Cotler, J., Hayden, P., Penington, G., Salton, G., Swingle, B., Walter, M.: Entanglement wedge reconstruction via universal recovery channels. Phys. Rev. X 9(3), 031011 (2019)
de Oliveira, C.R.: Intermediate spectral theory and quantum dynamics. Progress in Mathematical Physics, vol 54. Birkhäuser Basel (2009)
Fawzi, O., Renner, R.: Quantum conditional mutual information and approximate Markov chains. Comm. Math. Phys. 340(2), 575–611 (2015)
Faulkner, T., Hollands, S., Swingle, B., Wang, Y.: “Approximate recovery and relative entropy I. general von Neumann subalgebras,” arXiv:2006.08002 [quant-ph]
Faulkner, T.: “The holographic map as a conditional expectation,” arXiv:2008.04810 [hep-th]
Haag, R.: Local Quantum Physics: Fields, Particles, Algebras. Springer, Berlin (1992)
Hansen, F.: The fast track to Löwner’s theorem. Lin. Alg. Appl. 438, 4557–4571 (2013)
Hiai, F.: Quantum \(f\)-divergences in von Neumann algebras. Reversibility of quantum operations. Mathematical Physics Studies, Springer (2021)
Hirschman, I.I.: A convexity theorem for certain groups of transformations. J. d’Anal. Math. 2(2), 209–218 (1952)
Hollands, S.: “Trace- and improved data processing inequalities for von Neumann algebras,” [arXiv:2102.07479 [math-ph]], accepted for publication in Publications of RIMS, Kyoto
Jencova, A., Petz, D.: Sufficiency in quantum statistical inference: a survey with examples. Infinite Dimens. Anal. Quantum Prob. Related Topics 09(03), 331–351 (2006)
Jencova, A.: Preservation of a quantum renyi relative entropy implies existence of a recovery map. J. Phys. A 50(8), 085303 (2017)
Jencova, A.: Renyi Relative Entropies and Noncommutative \(L_p\)-Spaces. Ann. H. Poincare 19(8), 2513–2542 (2018)
Jencova, A.: “Renyi Relative Entropies and Noncommutative \(L_p\)-Spaces II,” Ann. H. Poincare, 2021, Online First (arXiv:1707.00047 [quant-ph])
Junge, M., Renner, R., Sutter, D., Wilde, M.M., Winter, A.: Universal recovery maps and approximate sufficiency of quantum relative entropy. Annal. Henri Poincare 19(10), 2955 (2018)
Junge, M., LaRacuente, N.: “Multivariate trace inequalities, p-fidelity, and universal recovery beyond tracial settings,” [arXiv:2009.11866 [quant-ph]] (version 2)
Kosaki, H.: Extension of Jones theory on index to arbitrary factors. J. Func. Anal. 66, 123–140 (1986)
Kossakowski, A., Frigerio, A., Gorini, V., Verri, M.: Quantum detailed balance and KMS condition. Comm. Math. Phys. 57, 97–110 (1977)
Lieb, E.H., Ruskai, M.B.: A fundamental property of quantum-mechanical entropy. Phys. Rev. Lett. 30, 434–436 (1973)
Lindblad, G.: Completely positive maps and entropy inequalities. Commun. Math. Phys. 40(2), 147–151 (1975)
Majewski, W.A.: The detailed balance condition in quantum statistical mechanics. J. Math. Phys. 25, 614 (1984)
Majewski, W.A.: Dynamical semigroups in the algebraic formulation of statistical mechanics. Fort. Phys. 32, 89 (1984)
Majewski, W.A., Streater, R.F.: Detailed balance and quantum dynamical maps. J. Phys. A Math. Gen. 31, 7981–7995 (1998)
Mosonyi, M., Ogawa, T.: Quantum hypothesis testing and the operation meaning of quantum relative renyi entropies. Commun. Math. Phys. 334(3), 1617–1648 (2015)
Muller-Lennert, M., Dupuis, F., Szehr, O., Fehr, S., Tomamichel, M.: On quantum relative Renyi entropies: a new generalization. J. Math. Phys 54(12), 122203 (2013)
Ohya, M., Petz, D.: Quantum entropy and its use, Theoretical and Mathematical Physics, Springer (1993)
Petz, D.: Sufficient subalgebras and the relative entropy of states of a von Neumann algebra. Commun. Math. Phys. 105(1), 123–131 (1986)
Petz, D.: Sufficiency of channels over von Neumann algebras. Quart. J. Math. 39(1), 97–108 (1988)
Petz, D.: Monotonicity of quantum relative entropy revisited. Rev. Math. Phys. 15(01), 79–91 (2003)
Petz, D.: Quasi-entropies for States of a von Neumann Algebra. RIMS, Kyoto Univ. 21, 787–800 (1985)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics I. Functional Analysis. Academic Press, USA (1980)
Sutter, D., Tomamichel, M., Harrow, A.W.: Strengthened monotonicity of relative entropy via pinched Petz recovery map. IEEE Transactions Information Theory 62(5), 2907–2913 (2016)
Sutter, D., Berta, M., Tomamichel, M.: Multivariate trace inequalities. Commun. Math. Phys. 352(1), 37–58 (2017)
Takesaki, M.: Theory of operator algebras, I-III. Springer, New York (2003)
Takesaki, M.: Conditional expectations in von Neumann algebras. J. Funct. Anal. 9(3), 306–321 (1972)
Uhlmann, A.: Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolation theory. Commun. Math. Phys. 54(1), 21–32 (1977)
Uhlmann, A.: The transition probability in the state space of a \(^*\)-algebra. Rep. Math. Phys. 9(2), 273–279 (1976)
Wilde, M.M.: Recoverability in quantum information theory. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 471(2182), 20150338 (2015)
Wilde, M.M., Winter, A., Yang, D.: Strong converse for the classical capacity of entanglement-breaking and hadamard channels via a sandwiched renyi relative entropy. Commun. Math. Phys. 331(2), 593–622 (2014)
Acknowledgements
SH is grateful to the Max-Planck Society for supporting the collaboration between MPI-MiS and Leipzig U., grant Proj. Bez. M.FE.A.MATN0003. He thanks Felix Otto for discussion and R. Longo for suggesting a connection with the index. TF and SH benefited from the KITP program “Gravitational Holography” which was supported in part by the National Science Foundation under Grant No. NSF PHY-1748958. TF acknowledges part of the work presented here is supported by the DOE under grant DE-SC0019517 as well as the Air Force Office of Scientific Research under award number FA9550-19-1-0360.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Properties of \(|\psi _P\rangle \)
The following lemma summarizes key properties of \(|\psi _P\rangle \) which was defined by \(v'_P\hat{g}_P(\mathrm{ln}\,\Delta _{\eta ,\psi }) |\psi \rangle = |\psi _P\rangle \), where \(v_P' \in {\mathcal {A}}'\) is the partial isometry which puts \(|\psi _P\rangle \) into the natural cone.
We have already noted that \(\omega _{\psi _{P}} \rightarrow \omega _{\psi }\) as \(P \rightarrow \infty \) in norm. Further properties are (here \(\Delta _{\eta ,\psi }\) refers to the algebra \({\mathcal {A}}\)):
Lemma 9
-
1.
There is \(a_P \in {\mathcal {A}}\) such that \(|\psi _P\rangle = v'_P a_P |\psi \rangle \) and \(\Vert a_P\Vert \le 1\) for all P.
-
2.
For \(0 \le \alpha \le 1\) and any \(|\eta \rangle \) in the natural cone of \({\mathcal {A}}\), we have
$$\begin{aligned} \Delta _{\psi _P,\eta }^{\alpha } \ge a_P \Delta _{\psi ,\eta }^{\alpha } a_P^* \end{aligned}$$(67) -
3.
For some \(c_P<\infty \), we have \(\omega _{\psi _P} \le c_P\omega _\eta \).
-
4.
\(\lim _{P \rightarrow \infty } \Vert \zeta \Vert _{p,\psi _P,{\mathcal {A}}'} \le \Vert \zeta \Vert _{p,\psi ,{\mathcal {A}}'}\) for any \(|\zeta \rangle \in \mathscr {H}\) and \(p \in [1,2]\).
-
5.
For \(|\eta \rangle \) in the natural cone, we have \(\lim _{P \rightarrow \infty } S_{\mathcal {A}}(\psi _{P} | \eta ) = S_{\mathcal {A}}( \psi | \eta ).\)
Proof
-
(1)
This follows from paper I [18], lemma 5 (1).
-
(2)
An easy calculation gives that \(\Delta _{\psi _P,\eta } = a_P \Delta _{\psi ,\eta } a_P^*\). Then, since \(\Vert a_P\Vert \le 1\) by 1), it is legitimate to use Jensen’s inequality (see, e.g., [40], lem. 1.2, or [44], theorem (C) applied to the operator monotone function \(x^\alpha \). This gives the desired inequality.
-
(3)
This follows from paper I [18], lemma 5 (4,5).
-
(4)
This follows from the continuity property of the \(L_p\)-norms in the range \(p \in [1,2]\), see Appendix B and the fact that \(\Vert \psi - \psi _P \Vert \rightarrow 0\).
-
(5)
This follows from paper I [18], theorem 5. Alternatively, we can argue using (2) starting with the following representation of the relative entropy:
$$\begin{aligned} S_{\mathcal {A}}(\psi _P | \eta ) = \lim _{\alpha \rightarrow 1^-} \frac{1}{\alpha -1} \{\mathrm{ln}\,\langle \eta | \Delta ^{\alpha }_{\psi _P,\eta } \eta \rangle -\mathrm{ln}\,\langle \eta | \Delta _{\psi _P,\eta } \eta \rangle \}. \end{aligned}$$(68)Now, we use (2), and \(\bar{S}_{\psi ,\eta } = J \Delta _{\psi ,\eta }^{1/2}\):
$$\begin{aligned} S(\psi _P | \eta )\le & {} \lim _{\alpha \rightarrow 1^-} \frac{1}{\alpha -1} \mathrm{ln}\,\frac{ \langle a_P^* \eta | \Delta ^{\alpha }_{\psi ,\eta } a_P^* \eta \rangle }{\Vert a_{P} \psi \Vert ^2} \nonumber \\= & {} \lim _{\alpha \rightarrow 1^-} \frac{1}{\alpha -1} \mathrm{ln}\,\frac{ \langle a_P \psi | J \Delta ^{\alpha -1}_{\psi ,\eta } J a_P \psi \rangle }{\Vert a_{P} \psi \Vert ^2} \nonumber \\= & {} \lim _{\alpha \rightarrow 1^-} \frac{1}{\alpha -1} \mathrm{ln}\,\frac{ \langle a_P \psi | \Delta ^{1-\alpha }_{\eta ,\psi } a_P \psi \rangle }{\Vert a_{P} \psi \Vert ^2} . \end{aligned}$$(69)We write out again the definition of \(a_P\) in this expression, paper I [18], proof of lemma 5 (1), obtaining
$$\begin{aligned} S(\psi _P | \eta )&\le -\lim _{\theta \rightarrow 0^+} \frac{1}{\theta } \mathrm{ln}\,\frac{ \langle \hat{g}_P(\Delta _{\eta ,\psi }) {\psi } | \Delta _{\eta ,\psi }^{\theta } \hat{g}_P(\Delta _{\eta ,\psi }) {\psi } \rangle }{\Vert \hat{g}_P(\Delta _{\eta ,\psi }) {\psi }\Vert ^2} \nonumber \\&= -\langle \hat{g}_P(\Delta _{\eta ,\psi }) {\psi } | (\mathrm{ln}\,\Delta _{\eta ,\psi }) \hat{g}_P(\Delta _{\eta ,\psi }) {\psi } \rangle . \end{aligned}$$(70)The term in the second line can be written in terms of the spectral measure \(E_{\eta ,\psi }(k) \mathrm{d}k\) of \(\mathrm{ln}\,\Delta _{\eta ,\psi }\), and then, we can argue just as in paper I [18], Theorem 5 (2) to show that \(\limsup _{P \rightarrow \infty } S(\psi _P | \eta ) \le S(\psi | \eta )\). The opposite relation \(\liminf _{P \rightarrow \infty } S(\psi _P | \eta ) \ge S(\psi | \eta )\) follows from the usual lower-semi-continuity of the relative entropy [3, 4].
\(\square \)
B Weighted \(L_p\)-norms [5, 8]
The weighted \(L_p\)-norms and -spaces were defined and investigated by [5] relative to a fixed cyclic and separating vector \(|\psi \rangle \in \mathscr {H}\) in the a natural cone of a standard representation of a von Neumann algebra \({\mathcal {M}}\). The generalization to arbitrary \(|\psi \rangle \in \mathscr {H}\) in the a natural cone is given in [8], who also prove several further results.
Here, we need the \(L_p\) spaces in the range \(1 \le p < 2\). Then, \(L_p({\mathcal {M}}, \psi )\) is defined as the completion of \(\mathscr {H}\) with respect to the following \(L_p\)-norm:
As in the main text, we use the general notation \(\omega _\psi \) (resp. \(\omega '_\psi \)) for the normal state functional on \({\mathcal {M}}\) (resp. \({\mathcal {M}}'\)) induced by a normalized state \(|\psi \rangle \in \mathscr {H}\), but the \(L_p\) norms \(\Vert \zeta \Vert _{p,\psi }\) are always defined using the unique [5], theorem C.1, vector representative in the natural cone.
The \(L_p\)-norms satisfy \(\Vert m \zeta \Vert _{p,\psi } \le \Vert m \Vert \Vert \zeta \Vert _{p,\psi }\) for all \(m \in {\mathcal {M}}\). There exists \(u \in {\mathcal {M}}\) and \(|\zeta '\rangle \) in the natural cone such that \(u^* u = \pi ^{\mathcal {M}}(\zeta '), uu^* = \pi ^{\mathcal {M}}(\zeta )\) by [5], theorem C.1, and this implies that \(\Vert \zeta \Vert _{p,\psi } = \Vert \zeta '\Vert _{p,\psi }\) and that the \(L_p({\mathcal {M}},\psi )\)-norms can be viewed as functionals of \(\omega '_\zeta \in \mathscr {S}({\mathcal {M}}')\), the normal state functional on \({\mathcal {M}}'\) induced by the vector \(|\zeta \rangle \in \mathscr {H}\). By composition with the map \(\mathscr {S}({\mathcal {M}}') \ni \omega '_\psi \mapsto |\psi \rangle \in \mathscr {P}^\natural _{\mathcal {M}}\) sending a functional on \({\mathcal {M}}'\) to its unique representer in the natural cone, the \(L_p\) norms may thus be viewed as functionals \(\mathscr {S}({\mathcal {M}}') \times \mathscr {S}({\mathcal {M}}') \ni (\omega _\zeta ' , \omega _\psi ') \mapsto \Vert \zeta \Vert _{p,\psi }\).
It is known ([22], theorem 3.16 (3) and [27], prop. 3.10) that for \(p \in [1,2]\) the map \((\omega _\psi ', \omega _\zeta ') \mapsto \Vert \zeta \Vert _{p,\psi }^p\) is continuous in norm. These references work with a different approach to \(L_p\)-norms developed in [27, 28] and in [22]. But these definitions can be shown to be equivalent to those used by [5, 8], see [27], theorem 3.3 and [28], prop 2.4 and theorem. 3.1. Thus, we may use results on the \(L_p\)-norms in their setting in the setting of [5, 8], too.
The mentioned continuity property allows one to obtain to a certain extent properties of the \(L_p\)-norms for general vectors \(|\psi \rangle \) in the natural cone from the case when \(|\psi \rangle \) is cyclic and separating, treated mostly in [5]: Since we assume \(\sigma \)-finite von Neumann algebras, there exists a cyclic and separating vector \(|\eta \rangle \) in the natural cone, and we can use this to define \(\omega _{\psi _\varepsilon } = \omega _\psi + \varepsilon \omega _\eta \), where \(\varepsilon \ge 0\), and where \(|\psi _\varepsilon \rangle \) is the unique vector representative in the natural cone, which is hence cyclic and separating for \(\varepsilon >0\). By well-known properties of the natural cone, we have \(\lim _{\varepsilon \rightarrow 0} \Vert \psi -\psi _\varepsilon \Vert =0\), so the continuity property may be applied.
For example, the triangle inequality for the \(L_p\)-norms, proven in [5], Theorem 1 (1)
extends to the case when \(|\psi \rangle \) is not cyclic and separating.
C Proof of lemma 5
The condition \(\omega _\psi \le c \omega _\eta \) implies that
where \(a \in {\mathcal {A}}\). Since the support of \(\Delta _\psi \) is \(\pi ^{\mathcal {A}}(\psi ) \pi ^{{\mathcal {A}}'}(\psi )\) and that of \(\Delta _{\eta ,\psi }\) is \(\pi ^{\mathcal {A}}(\eta ) \pi ^{{\mathcal {A}}'}(\psi )\), we get \(\langle \zeta | \Delta _\psi \zeta \rangle \le c\langle \zeta | \Delta _{\eta ,\psi } \zeta \rangle \) also for any \(|\zeta \rangle \) from \({\mathcal {A}}|\psi \rangle \oplus (1-\pi ^{{\mathcal {A}}'}(\psi ))\mathscr {H}\). But \({\mathcal {A}}|\psi \rangle \oplus (1-\pi ^{{\mathcal {A}}'}(\psi ))\mathscr {H}\) is a core for the self-adjoint operator \(\Delta _{\eta ,\psi }^{1/2}\), so we have \(c\Delta _{\eta ,\psi } \ge \Delta _\psi \).
Next, by operator monotonicity of the function \(x^\alpha , \alpha \in [0,1]\) (see, e.g., [45], Ex. 24, p. 315), we get \(\Delta _\psi ^\alpha \le c^\alpha \Delta _{\eta ,\psi }^\alpha \), and thereby \(\Vert \Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z} \Vert \le c^{2\mathrm{Re}(z)}\) when \(z \in \bar{{\mathbb {S}}}_{1/2}\) by item 3). If \(a \in {\mathcal {A}}\), standard Tomita–Takesaki theory tells us that \(\Delta _{\psi }^{z} a |\psi \rangle \) is holomorphic inside \({\mathbb {S}}_{1/2}\) and strongly continuous and bounded on \(\bar{{\mathbb {S}}}_{1/2}\). Item (4) in Sect. 5 [which is [13], lem. 2.1] tells us that \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z} a |\psi \rangle \) is holomorphic in \({\mathbb {S}}_{1/2}\) and weakly continuous and bounded in norm on \(\bar{{\mathbb {S}}}_{1/2}\).
Since the supports satisfy \(s(\Delta _\psi ) = \pi ^{\mathcal {A}}(\psi ) \pi ^{{\mathcal {A}}'}(\psi ) \le \pi ^{\mathcal {A}}(\eta ) \pi ^{{\mathcal {A}}'}(\psi ) =s(\Delta _{\eta ,\psi })\), we have the same statements for \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z} |\zeta \rangle \) when \(|\zeta \rangle \in {\mathcal {A}}|\psi \rangle \oplus (1-\pi ^{{\mathcal {A}}'}(\psi ))\mathscr {H}\) which is dense in \(\mathscr {H}\). By approximating a general vector in \(\mathscr {H}\) with such \(|\zeta \rangle \) and using that \(\Vert \Delta _{\phi ,\psi }^{-z} \Delta _{\psi }^{z} \Vert \le c^{2\mathrm{Re}(z)}\) when \(z \in \bar{{\mathbb {S}}}_{1/2}\), one can see \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z} |\zeta \rangle \) is weakly continuous and norm bounded in \(\bar{{\mathbb {S}}}_{1/2}\) and analytic in \({\mathbb {S}}_{1/2}\). For example, to prove analyticity, let \(|\zeta \rangle \in \mathscr {H}\) and \(|\chi \rangle \in {\mathcal {A}}|\psi \rangle \oplus (1-\pi ^{{\mathcal {A}}'}(\psi ))\mathscr {H}\) such that \(\Vert \zeta -\chi \Vert <\varepsilon \). For \(z_0 \in {\mathbb {S}}_{1/2}\) we first have for sufficiently small \(r>0\),
where we have written \(|\zeta \rangle = |\chi \rangle + (|\zeta \rangle -|\chi \rangle )\) and used that \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z} |\chi \rangle \) is already known to satisfy the Cauchy formula. Then, the violation of the Cauchy formula is \(<2c\varepsilon \), and since \(\varepsilon >0\) can be arbitrarily small, it is zero; hence, \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z}|\zeta \rangle \) is analytic for \(z \in {\mathbb {S}}_{1/2}\). By an application of the Banach–Steinhaus principle combined with the Cauchy formula, \(\Delta _{\eta ,\psi }^{-z} \Delta _{\psi }^{z}\) is analytic for \(z \in {\mathbb {S}}_{1/2}\) as an operator-valued function.
We use this operator-valued function to define an analytic extension \((D\eta :D\psi )_{iz}\) of the Connes cocycle (6), e.g., by analytic continuation of [5], Eq. (C.30). Then, by [5], Theorem C.1 (\(\beta \)2), we know that \((D\eta :D\psi )_{iz} \in \pi ^{\mathcal {A}}(\eta ){\mathcal {A}}\pi ^{\mathcal {A}}(\psi )\), for \(z \in i{\mathbb {R}}\), so for any \(a' \in {\mathcal {A}}'\), \(z \mapsto [a', (D\eta :D\psi )_{iz}]\) is a holomorphic function in \({\mathbb {S}}_{1/2}\) taking values in the bounded operators with a bounded, vanishing limit as \(\mathrm{Re}z \rightarrow 0^+\). Then, by the by the operator-valued edge of the wedge theorem, the function vanishes identically and we get \((D\eta :D\psi )_{iz} \in {\mathcal {A}}''={\mathcal {A}}\) when z is in the closure of \({\mathbb {S}}_{1/2}\). By a similar argument, we find in fact that \((D\eta :D\psi )_{iz} \in \pi ^{\mathcal {A}}(\eta ){\mathcal {A}}\pi ^{\mathcal {A}}(\psi )\) for \(z \in \bar{{\mathbb {S}}}_{1/2}\).
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
Faulkner, T., Hollands, S. Approximate recoverability and relative entropy II: 2-positive channels of general von Neumann algebras. Lett Math Phys 112, 26 (2022). https://doi.org/10.1007/s11005-022-01510-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01510-9