Properties of Segal’s Entropy for Quantum Systems

Properties of Segal’s entropy for semifinite and finite von Neumann algebras are investigated. In particular, its invariance with respect to a trace-preserving normal *-homomorphism is studied, as well as norm-continuity in the trace norm on the set of bounded in the operator norm density matrices.


Introduction
In the paper, we want to address some questions concerning Segal's entropy for normal states, or, more generally, positive operators, in semifinite von Neumann algebras. A particular instance of this entropy is the celebrated von Neumann entropy defined for density matrices in the algebra B(H) of all bounded linear operators on a Hilbert space. However, in the case of an arbitrary semifinite von Neumann algebra, where instead of the canonical trace we have a normal semifinite faithful trace, substantial differences between these two entropies show up. These differences become still larger when we deal with a finite trace. The problems investigated are as follows: subinvariance and invariance of Segal's entropy with respect to a unital normal positive linear map, and continuity properties of this entropy with respect to the trace norm.

Preliminaries and Notation
Let M be a semifinite von Neumann algebra of operators acting on a Hilbert spaced H with a normal semifinite faithful trace τ , identity 1, and predual M * . By M + we shall denote the set of positive operators in M, and by M + * -the set of positive functionals in M * . These functionals will be sometimes referred to as (non-normalised) states. The set of normalised states, i.e. the elements ρ ∈ M + * such that ρ(1) = ρ = 1 will be denoted by S.
The algebra of measurable operators M is defined as a topological * -algebra of densely defined closed operators on H affiliated with M with strong addition + and strong multiplication ·, i.e.
where a + b and ab are the closures of the corresponding operators defined by addition and composition respectively on the natural domains given by the intersections of the domains of the a and b and of the range of b and the domain of a respectively. The translationinvariant measure topology is defined by a fundamental system of neighbourhoods of 0, {N(ε, δ) : ε, δ > 0}, given by Thus for operators a n , a ∈ M, the sequence (a n ) converges to a in measure if for any ε, δ > 0 there exists n 0 such that for each n n 0 there exists a projection p ∈ M such that τ (1 − p) δ, (a n − a)p ∈ M, and (a n − a)p ε.
The following "technical" form of convergence in measure proved in [12,Proposition 2.7] is useful. Let be the spectral decomposition of |a n − a| with spectral measure e n taking values in M since a n − a, and thus |a n − a|, are affiliated with M. Then a n → a in measure if and only if for each ε > 0 τ (e n ([ε, ∞])) → 0.
For each ρ ∈ M * , there is a measurable operator h such that The space of all such operators is denoted by L 1 (M, τ ), and the correspondence above is one-to-one and isometric, where the norm on L 1 (M, τ ), denoted by · 1 , is defined as The space of all measurable operators h such that τ (|h| p ) < +∞, p 1, constitutes a Banach space L p (M, τ ) with the norm h p = τ (|h| p ) 1 p (In the theory of noncommutative L p -spaces for semifinite von Neumann algebras, it it shown that τ can be extended to the h's as above; see e.g. [4,10,12] for a detailed account of this theory.) Moreover, to hermitian functionals in M * correspond selfadjoint operators in L 1 (M, τ ), and to states in M * -positive operators in L 1 (M, τ ). For a state ρ the corresponding element in L 1 (M, τ ) will be denoted by h ρ and called the density matrix of ρ, thus ρ(x) = τ (xh ρ ) = τ (h ρ x), x ∈ M. In particular, τ (h ρ ) = ρ(1), so for normalised states, we have for their density matrices the equality τ (h ρ ) = 1.
Observe that for a finite (normalised) τ , we have M ⊂ L 1 (M, τ ) while this is not the case for τ infinite since then τ (1) = +∞.
Below we present some simple facts which can be regarded as part of the folklore of noncommutative probability theory.
For an arbitrary a ∈ L 1 (M, τ ) we have the spectral decomposition Thus for any ε > 0, we get Consequently, we obtain the Chebyschev inequality (cf. Taking into account the above-mentioned "technical" form of convergence in measure we have Lemma 1 If a sequence (a n ) of operators in L 1 (M, τ ) converges in · 1 -norm, then it converges in measure.
For x ∈ L 1 (M, τ ), define a functional xτ on M by the formula The Segal entropy of ρ, denoted by H (ρ), is defined as i.e. for the spectral representation of h ρ we have Following Segal [8], we shall be interested only in the case when h ρ ∈ M + . Accordingly, we define Segal's entropy for h ∈ M + by the formula where h has the spectral representation as in (1). Let us note that the existence of Segal's entropy is by no means guaranteed, however, for finite τ and normalised state ρ, we have, on account of the inequality λ log λ λ − 1, the relation showing that, at least in this case, Segal's entropy is well defined and nonnegative.

Remark 1
It should be noted that the original Segal definition of entropy differs from ours by a minus sign before the trace. However, for the sake of having nonnegative entropy for states on a finite von Neumann algebra we have adopted the definition as above.

Subinvariance and Invariance of Segal's Entropy
Let α : M → M be a normal positive unital linear map such that Our aim is to establish the form of the density matrix of α * (ρ). To this end the following construction is employed. Fix an element z ∈ M h , and consider a linear map The function R t → |t| is convex, thus the Jensen inequality for positive unital maps yields for each x ∈ M h . Consequently, we get from the properties of trace which means that f is bounded and f z ∞ . Hence f can be extended to a bounded linear functional on {xτ : Relations (3) and (4) yield which by virtue of [1, Corollary 3.2.6] shows the positivity of α (the reasoning in [1, Corollary 3.2.6] is performed for a map between C*-algebras while in our case we deal with a map from the hermitian part of M into itself but the proof of positivity remains exactly the same also in this restricted situation). Now α, being a bounded map, can be extended to a bounded linear map on the whole of M, denoted by the same symbol, and this extended map is obviously positive and satisfies relations (4) and (5). Moreover, since each element in M is a linear combination of two elements from M h , we have For the dual map α * defined on M * by the formula which implies, on account of the normality of τ , On the other hand, we have, since α(x i ) ↑ α(1) = 1, showing that τ ( α(z)) = τ (z), and thus τ • α = τ . The results of our considerations may by summarised as follows. Let M be a von Neumann algebra with a normal faithful semifinite trace τ , and let α be a normal positive unital linear map on M such that τ • α = τ . Then there is a normal positive unital linear map α on M such that τ • α = τ , and The map α will be called conjugate to α.
Proof For each x ∈ M, we have and the conclusion follows.

Remark 2
The same result can be obtained in a stronger form without the assumption h ρ ∈ M. However, this would require extension of α from M to L 1 (M, τ ), which is not needed for our present purposes.
Proof Taking into account Lemma 2, we obtain The function [0, +∞) t → t log t is operator convex, and the map α is positive and unital, so from Jensen's inequality we get showing the claim.

Remark 3
It should be noted that the result above, in a slightly stronger form, was obtained in [6, Proposition 7.3]. However, the existence of the conjugate map α satisfying the basic relation (6) was simply taken for granted without showing its properties. Since these properties will be important in our further considerations, we have decided to present in detail the whole construction of this map. Proof Let us start with some preliminary analysis. For arbitrary x, y ∈ M, we have τ ( α(α(x))y) = τ (α(x)α(y)) = τ (α(xy)) = τ (xy), which shows that α(α(x)) = x.
Let α(x i ) → yσ -weakly. Then, as α is normal, and the normality of α yields which shows that N is σ -weakly closed, consequently, N is a von Neumann algebra. The map E = α • α is a projection onto N , so it is a conditional expectation, moreover, E is normal and τ • E = τ .
Consequently, we get τ (E(h ρ log h ρ ) − Eh ρ log Eh ρ ) = 0, and the inequality (9) and the faithfulness of τ yield i.e. we have equality in Jensen's inequality. From [5,Appendix B.5], it follows that which means that h ρ ∈ N .

Continuity Properties of Segal's Entropy
In this section we want to investigate the continuity of Segal's entropy.
Proof We have and the conclusion follows from Lemma 6.
Assume that the state ρ ∈ S, with the density matrix h ρ ∈ M + , has finite Segal's entropy, and take a closer look at the function α → τ (h α ρ ). Its difference quotient at point 1 equals is the spectral representation of h ρ . For the net of functions {f α : α > 1} defined as a little of calculus shows that for each fixed λ we have f α (λ) f β (λ), for α < β, so this net is increasing. Moreover, we have (To be more precise, for passing to the limit we should divide the integral into two parts Observe now that for the Rényi entropy we have consequently, Segal's entropy H is a limit of a decreasing net of functions {−S α : α > 1} (note that we consider the limit at 1, so for α < β we have −S α −S β ). Now fix α > 1, and consider the function S ρ → S α (ρ). For ρ, ϕ ∈ S we have the following estimate From this estimate we obtain so if ρ n − ρ = h ρ n − h ρ 1 → 0, then τ (h α ρ n ) → τ (h α ρ ), and thus S α (ρ n ) → S α (ρ), which proves the continuity of the Rényi entropy on the set {ρ ∈ S : h ρ ∞ c} in the general case.
In the case M = B(H) and the canonical trace, we have for every h ∈ M + , h ∞ = max{λ : λ ∈ sph} tr h = h 1 , and thus Consequently, if ρ n − ρ = h ρ n − h ρ 1 → 0, then for the density matrices we have h ρ n 1 c, and hence h ρ 1 c for some c, so the estimate (10) holds, proving, as before, the continuity of the Rényi entropy on S.
The results obtained so far lead to the following theorem on semicontinuity of Segal's entropy. Remark 4 Lower semicontinuity of von Neumann's entropy was proved in [11], while the result as above for Segal's entropy was obtained in [6, Proposition II.7.6] by using a technique of rearrangements. A simple proof above unifies these two results.
Our last result concerns continuity of Segal's entropy in finite von Neumann algebras for not necessarily normalised states.