arxiv: v2 [quant-ph] 4 Nov 2017

Transcription

1 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS arxiv: v2 [quant-ph] 4 Nov 2017 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Abstract. We prove a generalization of the strong-subadditivity SSA inequality in the context of finite dimensional von Neumann algebras. Our generalized SSA inequality subsumes various entropic uncertainty relations, such as the Maassen-Uffink inequality in the presence of quantum memory. Motivated by the generalization of SSA, we introduce an analog of conditional mutual information and discuss superadditivity and monotonicity under certain operations. Our proof uses complex interpolation and noncommutative mixed L p spaces. 1. Introduction The strong subadditivity SSA of quantum entropy, proved by Lieb and Ruskai [19] in 1973, is one of most fundamental inequalities in Quantum Information Theory. It states that for any tripartite state ρ ABC, HAC ρ +HBC ρ HC ρ +HABC ρ. 1.1 Some other important theorems in the field, such as the data processing inequality of quantum relative entropy and non-negativity of conditional mutual information, are known to be equivalent to SSA. The aim of this paper is to unify the SSA inequality with entropic uncertainty relations, an equally historical topic that recently experienced an explosion of development see [8] for a survey. One remarkable recent advance is the uncertainty relations with quantum memory [3], HX B ρ +HZ B ρ log 1 c +HA B ρ, 1.2 in which X and Z are two complementary measurements of quantum system A, allowing non-classical correlations between A and a memory system B. To broaden this picture, we generalize to a setting with finite dimensional von Neumann algebras. Recall that a finite dimensional von Neumann algebra M is a -subalgebra Partially supported by NSF-DMS This material is based upon work supported by NSF Graduate Research Fellowship Program DGE The authors thank the Institut Henri Poincaré at Pierre and Marie Curie University for hosting them for research visits during September October

2 2 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE of a matrix space and always isomorphic to an orthogonal sum of matrix blocks. Given a faithful trace τ on M, a state of M is given by a density ρ ρ 0, τρ = 1, and its von Neumann entropy is given by H τ ρ = τρlogρ. For a subalgebra N M, the conditional expectation E N is a map that sends every state ρ to its restriction on N. Our first main result gives a complete characterization of SSA-type inequalities. Theorem A. Let R, S, T be subalgebras of M satisfying the quadrilateral of inclusions S M. Then the inequality H τ E S ρ+h τ E T ρ H τ ρ+h τ E R ρ 1.3 holds for all states ρ M if and only if E S E T = E T E S = E R. In von Neumann algebra theory, a quadrilateral satisfying the condition E S E T = E T E S = E R is called a commuting square [28]. Commuting squares are useful in the study of subfactors [29]. Petz [25] studied several examples of commuting squares in finite dimensions. To illustrate, the standard SSA 1.1 are given by overlapped subsystems AC and BC within ABC, which forms a natural commuting square C AC,BC ABC. On the other hand, two mutually unbiased bases X,Z in a d-dimensional system A also form a standard example of a commuting square. With quantum memory, Theorem A gives HXB ρ +HZB ρ HAB ρ +HB ρ +logd, 1.4 which translates to the uncertainty relation with memory 1.2 for mutually unbiased bases. In the tripartite case, we obtain the following uncertain relation. Theorem B. Let S A C T be a commuting square. Then for any state ρ ABC, HS C ρ +HT B ρ log A 1.5 where HT B ρ := HE T idρ AB Hρ B and ρ is the image of complementary channel of E S. The complementary channel of a conditional expectation E S is in general equivalent to the conditional expectation onto the commutant S see Section 2 for the details. When S = X is commutative, this conditional expectation is the same as the complementary channel of E S. So the commutant S is a noncommutative feature that is hidden when S is the algebra of a measurement basis. In our argument, we introduce for a subalgebra N the asymmetry measure of relative entropy D N ρ := HE N ρ Hρ. In particular, the inequality 1.3 can be rephrased

3 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 3 as an uncertainty relation of asymmetry D S ρ+d T ρ D R ρ. This notion D N is motivated by two related concepts asymmetry measures [22] and relative entropy of quantum coherence [1]. Quantum coherence is intuitively the nonclassicality in a given basis see [31] for a review. For an orthonormal basis { x }, the relative entropy of coherence is defined as C X r ρ = HE Xρ Hρ, E X ρ = x x ρ x x x, and proven to have the operational meaning of distillable coherence [35]. It has been noted in [30] that C r relates to uncertain relations and a special example of asymmetry measures. A general asymmetry measure is a real-valued function of states that is nonincreasing under quantum operations covariant with symmetry transformations see [23]. The asymmetry measure of relative entropy with respect to the invariant subalgebras of a group action was introduced in [14, 32]. Our notation D N is a generalization of both concepts to von Neumann subalgebras N and also a convex, non-negative, faithful asymmetry measure that is monotone under the covariant channels. Equation 1.3 hence demonstrates a connection between asymmetry, uncertainty and strong-subadditivity. In Section 4, we extend Theorem A and Theorem B to the case where S and T are not necessarily a commuting square, in which the inequality 1.3 holds up to a constant log 1. This correction term measures how close the setting is to a commuting square, and c it recovers the Maassen-Uffink inequality 1.5 for two complementary measurements. In the proof, we use complex interpolation and the connection between noncommutative L p - spaces and Rényi asymmetry measures. Our method is partially related to recent works on uncertainty principles in quantum groups and Kac algebras [9, 10, 20, 16]. Motivated by conditional mutual information, we define for a commuting square S M the quantity IS : T R ρ := H τ E S ρ+h τ E T ρ H τ E R ρ H τ ρ. 1.6 We show this quantity is monotone under a notation of alternating operations, which is a generalization of local operations for separated system A B. Moreover we prove its squashed version I sq S : T R ρ M := inf I sq SC : TC RC 1.7 tr C ρ MC =ρ M is superadditive and monotone under alternating operations with classical communication, an analog of LOCC local operation and classical communication. The physical

4 4 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE interpretation of how this quantity reflects the correlations between S and T is an open question. The paper is organized as follows: in Section 2 we prove Theorem A and B using purely information-theoretic tools. Section 3 introduces Rényi asymmetry measures and explains the connection to noncommutative L p -spaces. Section 4 is devoted to the SSA inequality with correction terms. Section 5 discusses the quantity IS : T R. Finally we end with some concluding remarks. 2. Asymmetry measure and generalized SSA inquality 2.1. Notations and definitions. We denote by BH the bounded operators on a Hilbert spaceh. WeusethecapitallettersA,B,C, asshortnotationsforthequantum systems BH A,BH B,BH C, and denote A = dimh A. Recall that a von Neumann algebra M is a weak -closed -subalgebra of some BH. For simplicity, we restrict ourselves to finite dimensional Hilbert spaces and finite dimensional von Neumann algebras. A faithful trace τ is positive linear functional τ : M C satisfying i traciality: τxy = τyx for all x,y M. ii faithfulness: for x 0, τx = 0 if and only if x = 0. A state of M is given by a density operator ρ τρ = 1,ρ 0 and we denote by SM the state space of M. The von Neumann entropy and relative entropy for states of M are defined as { τρlogρ ρlogσ if suppρ suppσ H τ ρ = τρlogρ, Dρ σ =. + otherwise The standard case isbh with thematrix tracetr. We will oftenomit τ inh τ if it is clear from the text. Let N M be a von Neumann subalgebra. The conditional expectation is the unique completely positive trace preserving cptp and unital map such that for any ρ M τaρ = τae N ρ, a N Asymmetry measure of a subalgebra. Viewing N as a symmetric subalgebra, we define the asymmetry measure of relative entropy with respect to N. Definition 2.1. For a state ρ of M, the asymmetry measure of relative entropy with respect to N is defined as D N ρ := inf Dρ σ = HE N ρ Hρ, σ SN where the infimum runs over all state σ N.

5 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 5 The optimal value is always attained by condition expectation because for any σ SN, Dρ σ = τρlogρ ρlogσ = τρlogρ τe N ρlogσ = τρlogρ E N ρloge N ρ τe N ρlogσ E N ρloge N ρ = Dρ E N ρ+dσ E N ρ Dρ E N ρ, where in the last step we use the non-negativity of D. Example 2.2. a Let B AB be a subsystem. In terms of subalgebras, this means the inclusion C1 BH B BH A H B. Then the conditional expectation is completely depolarization on A, E A ρ AB = 1 A ρb, where ρ B = tr A ρ AB is the reduced density. Then, D B ρ AB = H 1 A ρb Hρ AB = log A +HB HAB, which is the coherent information up to a normalization constant. This constant comes from the fact the embedding ρ B 1 A ρ B is trace preserving up to a constant A. b Let{ x } be an orthonormal basis of H. The projection measurements { x x } generate the commutative subalgebra X = span{ x x }. The condition expectation onto X is the completely dephasing map E x ρ = x ρ x x x. Then x D X ρ = HE X ρ Hρ = H{ x ρ x } Hρ. This is called relative entropy of coherence introduced in [1] see [35] for operational meanings. c LetGbeafiniteorcompact group. Suppose GactsontheHilbert spaceh assymmetry transformations via a unitary representation u : G BH,u g1 u g2 = u g1 g 2. The invariant subalgebra is BH G := {x BH uxu = x}. The conditional expectation onto BH G is given by E G ρ = u g ρu gdg. 2.2 where dg is the Haar measure on G. Then G D BH G ρ := HE G ρ Hρ is the G-asymmetry measure of relative entropy introduced in [32]. Actually the part b is also a special cases of this category.

6 6 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE From the above example, one sees that D N is a generalization of relative entropy of coherence to noncommutative algebra N and relative entropy of asymmetry by viewing N = BH G as the symmetric algebra. We show that D N satisfies the properties related to a resource theory framework see [6]. Proposition 2.3. D N satisfies the following properties. i Non-negativity: D N ρ 0 for any state ρ M. ii Faithfulness: D N ρ = 0 if and only if ρ N. iii Monotonicity: Let Φ : M M be a completely positive trace preserving map. If ΦN N, then D N Φρ D N ρ. Proof. The properties i and ii follow easily from the parallel properties of relative entropy D see e.g. [33]. For iv, D N ρ = inf σ Dρ σ inf σ DΦρ Φσ inf σ DΦρ σ = DN Φρ. The first inequality above is the data processing inequality and the second inequality follows from the fact Φ sends states of N to states of N. Let us introduce a short notation for subalgebra entropy that HN ρ = HE N ρ. This notation works well for subalgebras but please note the difference with subsystem entropy HC1 B ρ = HE C1 B ρ AB = H 1 A ρb = HB ρ +log A. The difference is the normalization constant of subalgebra inclusions as mentioned in Example 2.2 a. We will make it clear whenever there is a possible confusion A characterization of SSA inquality. For a general setting of the SSA inequality, we consider a quadrilateral of inclusions S M. Such a quadrilateral is called a commuting square if the conditional expectations commute, E S E T = E T E S = E R. In this situation, R = S T always. We find the following correspondence between commuting squares and SSA-type inequalities. Theorem 2.4. Let M,τ be a finite von Neumann algebra with a faithful trace τ. A quadrilateral of inclusions state ρ M, S M is a commuting square if and only if for any HS ρ +HT ρ HM ρ +HR ρ. 2.3 Proof. Suppose E S E T = E T E S = E R. We have HS ρ +HT ρ HR ρ HM ρ

7 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 7 = HE S ρ Hρ =D S ρ D S E R ρ 0, HE S E T ρ HE T ρ The last step follows from E T S = R S and the monotonicity of D S in Proposition 2.3. This proves the necessity. On the other hand, for any state σ S, the inequality 2.3 implies that D R E T σ = HE R σ HE T σ = 0, which implies E T σ = E R σ. Thus for arbitrary ρ M, The other equality follows similarly. E T E S ρ = E R E S ρ = E R ρ. Remark 2.5. The inequality 2.3 can be rephrased as an uncertainty relation of asymmetry measure D S ρ+d T ρ D R ρ. 2.4 Moreover, the inequality is saturated if and only if there exists a recovery cptp map Φ : M M satisfying ΦE S ρ = ρ, ΦE R ρ = E T ρ; or equivalently ii there exists a recovery map ΦE T ρ = ρ, ΦE R ρ = E S ρ. Remark 2.6. When R = C is the trivial subalgebra, the commuting square condition means that S and T are independent, i.e. τab = τaτb for all a S,b T. Then for any state ρ M, Here logτ1 is a dimension constant of M,τ. HS ρ +HT ρ HM ρ +logτ The SSA inequality and entropic uncertainty principle of mutually unbiased measurement are special cases of Theorem 2.4. Example 2.7 SSA inequality. Two overlapped subsystems form the commuting square A C1 C ABC C C1 BC. Then Theorem 2.4 gives Hρ AC 1 B +HρBC 1 A HρC 1 A 1 B +HρABC

8 8 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Canceling the dimension constants, this is equivalent to the SSA inequality Hρ AC +Hρ BC Hρ C +Hρ ABC. 2.6 Example 2.8 Entropicuncertainty principle. LetH A = C d bethed-dimensional Hilbert space. Two orthonormal bases { x 1,..., x d } and { z 1,..., z d } are mutually unbiased if x j z k = 1 d, for allj,k = 1,,d. 2.7 Denote X as the subalgebra generated by { x j x j } and Z the algebra generated by { z j z j }. The condition 2.7 is equivalent to that X A C Z square. In this situation Theorem 2.4 recovers the uncertainty relation Moreover if B is an auxillary system, which yields HX+HZ Hρ+logd. XB AB C1 B ZB HXB+HZB HAB+H 1 A ρb. forms a commuting is also a commuting square, By subtracting 2HB from both sides, we have the uncertainty principle with memory in [3] HX B+HZ B HA B+logd. 2.8 Let B = BH B be an auxillary system. We introduce the notation HM B := H τ tr MB H tr B = H τ tr ρ MB Hρ B. Here τ tr is the product trace and HB = H tr ρ B is the subsystem entropy not the subalgebra entropy HC1 B = H τ tr 1 τ1 ρb = HB+logτ1. It has been note that the uncertainty relation with memory 2.8 is equivalent to the tripartite uncertainty relation HX B ρ +HZ C ρ logd 2.9 via a purification argument [3]. We extend this to a commuting square S A von Neumann subalgebra N BH A is isomorphic to a diagonal sum of matrix blocks with multiplicity, i.e. N = k M nk C1 mk,. A

9 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 9 where 1 mk stands the m k m k identity matrix. Let P k be the projections onto k-th diagonal block M nk C1 mk. The conditional expectation E N is given by a diagonal sum of partial trace with multiplicity E N ρ = k tr mk P k ρp k 1. m k The complementary channel EN c is cptp map from M d to k C1 mk M mk. Note that the range of EN c -isomorphic to the commutant of N. We denote E N :=E c N : M d k C1 mk M mk 1 E N ρ = k tr nk P k ρp k. m k Note that we regard the commutant N as a subalgebra in the environment not in the system A. Theorem 2.9. Let S A be a commuting square and B,C be two auxillary systems. Then for any tripartite state ρ ABC, HS B ρ +HT C ρ HR C ρ, 2.10 where ρ S B = E S idρ AB. In particular, if R = C, then HR C ρ = log A always. Proof. We first consider ρ ABC is pure. Let E S = id A tr F V V be a Stinespring dilationofe S suchthatf istheenvironment systemande c S = E S = tr A id F V V is the complementary channel. Denote ρ FABC = V 1 BC ρ ABC V 1 BC. Since ρ is also pure, we have HF B ρ = HF AC = HFAC ρ +HAC ρ = HAC ρ +HSC ρ HTC ρ +HRC ρ. The third inequality is because ρ FAC = V 1 C ρ AC V 1 C and ρ AC = tr F V 1 C ρ AC V 1 C = E S id C ρ AC. The last inequality is the SSA inequality for the commuting square inequality SC AC RC T C. This HF B ρ HTC ρ +HRC ρ extends to all states ρ because the LHS is concave and RHS is convex of ρ. Rewriting it we obtained 2.10.

10 10 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Remark Let X be the subalgebra generated measurement of orthonormal basis { x }. We have discussed that the conditional expectation E X is the completely dephasing map E X ρ = x ρ x x x. x In this particular case, X = X and F = A and the condition expectation E X equals to its complementary channel. Thus HX B ρ = HX B ρ which recovers the standard tripartite uncertainty relation. This indicated the commutant S in 2.10 is a noncommutative feature hidden in the measurement case. The above cases are standard examples of commuting squares in which two intermediate subalgebras S, T are given by subsystems or mutually unbiased bases. We provide several more examples with noncommutative features. Example 2.11 Regular representations of groups. Let G be a finite group and { g } g G forms an orthonormal basis of the Hilbert space l 2 G. The left regular representation is λg s = gs and the right regular representation is rg s = sg 1. Denote LG Bl 2 Gresp. RGthealgebrageneratedbyleftresp. rightregularrepresentationand l G the diagonal operator with respect to g basis. Then LG = RG and RG = LG. We have two commuting squares LG Bl2G C l G and RG Bl2G C l G This fact is actually the origin of the work on quantum group channels in [13], and we leave the verification to the reader. In this setting and the generalization of quantum groups [9], we find two uncertainty relations HLG B+Hl G C log G, HRG B+Hl G C log G. Indeed, the Peter-Weyl theorem for finite groups show that the complementary channel E c LG is exactly E RG, and vice versa. These uncertainty relations have been discovered in [9], but without realizing that for quantum groups two possible formulations exists. In the case of an abelian group where LG = RG is commutative, this phenomenon is easy to overlook. Example 2.12 Subgroups algebras. Let J,K G be subgroups. The conditional expectations from LG to subgroup algebra λk are simply the Fourier multiplier of indicator function E K λg = ½ g K λg. Then we have a natural commuting square by inclusions of subgroups relations λj LG λj K λk HλJ+HλK HLG+HλJ K.. We have the following uncertainty.

11 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS Rényi asymmetry measure and Noncommutative L p -spaces 3.1. Rényi asymmetry measure. In this section we introduce the asymmetry measure of Rényi relative entropy and explain the connection to augmented L p spaces introduced in [18]. Recall that for 1 p noncommutative L p -spaces L p M,τ of a tracial von Neumann algebra M,τ is the Banach space equipped with the norm a LpM,τ:= τa a p 2 1/p. If there is no ambiguity, we simply write L p M and p and assume all subalgebra L p - norms coincide with the large algebra with induced trace. For 1 < p and 1+ 2 = 1, p r the sandwiched p-rényi relative entropy introduced in [24, 34] is defined as D p ρ σ = { p log rρσ σ 1 1 r p + otherwise if suppρ suppσ. where the inverse σ 1 r always means the inverse on its support suppσ. By Rényi relative entropy we always means the sandwiched ones see e.g. [15] for other Rényi relative entropy. Let N M be a subalgebra. We define the asymmetry measure of Rényi relative entropy with respect to N as follows, Dp N ρ := inf D p ρ σ = p σ SN log inf σ N σ 1 r ρσ 1 r p, where the infimum runs over all states σ N. Proposition 3.1. Dp N satisfies all the properties in Proposition 2.3. Moreover, for any state ρ, Dp N ρ is monotonically increasing with p and lim p 1 +DN p ρ = DN ρ. All the properties are direct consequences of the standard properties of D p proved in [24] see also [4]. Later in this section we provide a short proof use noncommutative L p spaces Augmented L p spaces. The vector-valued noncommuative L p -spaces was first introduced by Pisier in [26] and later found its connection to Rényi information measures see e.g. [11, 13]. Our asymmetry measure of Rényi relative entropy corresponds to the augmented L p -space studied in [18]. Definition 3.2. Let 1 p and 1 p + 2 r = 1. The augmented L 1,p norm of the inclusion N M is defined as x L1,p N M:= inf{ a r y p β r x = ayb}, 3.1

12 12 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE where the infimum runs over all factorizations x = ayb. We denote by L 1,p N M for the Banach space with respect to this norm. When x is an positive, the above expression can be simplified to x L1,p N M= inf σ 1 r xσ 1 r p, 3.2 σ SN which gives the our R enyi asymmetry measure up to a logarithm and a normalization constant. In particular, for p =, x L1, N M= inf{λ x λσ for someσ SN}. 3.3 It is a special case of [18, Theorem] that L 1,p N M is indeed a Banach space and satisfies the following interpolation relations: for 1 p = 1 θ p 0 [L 1,p0 N M,L 1,p1 N M] θ = L 1,p N M, θ p 1. We refer to [2] for detailed information of complex interpolation. Example 3.3. a When p = 1, L 1,1 N M = L 1 M with equal norms. b Let M = BH A H B and N = C1 BH B. For a bipartite state ρ AB, ρ L1,p N M = inf{ 1 σ 1 r ρ1 σ 1 r p σ 0,tr1 A σ = 1} p = exp log A H pa B, where H p A B ρ is the sandwiched Rényi conditional entropy see [24] given by H p A B ρ = p log inf 1 p 1 A σ 1 r ρ1a σ 1 r p. σ B Now we give a proof of Proposition 3.1 using noncommutative L p -norms and complex interpolation. Proposition 2.3 also follows from Proposition 3.1. Proof Proposition 3.1. Let ρ be a state of M and σ be an arbitrary state of N. Note that σ 1 r r = 1. By Hölder inequality, Then σ 1 r ρσ 1 r p = σ 1 r r σ 1 r ρσ 1 r p σ 1 r r ρ 1 = τρ = 1. D N p ρ = p log inf σ SN σ 1 r ρσ 1 r p 0. Because the statespace SNisacompact set, theinfimum isalways attained. D N p ρ = 0 implies that for some σ SN the above Hölder inequality is saturated and hence ρ = σ N.

13 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 13 Formonotonicity, weuseaninterpolationargument. Forp = 1,L 1, N M = L 1 M and any cptp map Φ : M M is complete contractive on L 1 M. For p =, the augmented L 1, N M norm is given by x L1, N M = inf{ a 1 2 xb 1 2 a,b SN} [ ] λa x = inf{λ x 0, a,b SN}. λb Note that Φ is cptp and ΦN N. Then [ ] [ λa x λφa Φx x 0 λb Φx λφb ] 0, and Φa,Φb are states in SN. Thus, Φx L1, N M x L1, N M and Φ is a contraction on L 1, N M. Then the case 1 < p < follows from interpolation 3.4. To show that Dp N ρ is monotone increasing for p, we use the interpolation inequality that for 1/p = 1 θ/p 0 +θ/p 1,p 1 p p 0, Choosing p 1 = 1, we have ρ L1,p N M ρ 1 θ L 1,p0 N M ρ θ L 1,p1 N M. D N p ρ = p log ρ L 1,p N M 1 θp log ρ L 1,p0 N M + θp log ρ L 1,p1 M Finally the limit p 1 + follows from lim p 1 +DN p ρ = inf = p 0 p 0 1 log ρ L 1,p0 N M= D N p 0 ρ. p inf p τρlogρ ρlogσ p>1 σ SN = inf σ inf p>1 = inf σ 1 log σ r ρσ 1 r p 1 log σ r ρσ 1 r p = inf Dρ σ = D N ρ σ. σ SN Remark 3.4. It has been pointed out in [23] that asymmetry measure can be constructed frominformationmeasures. The asymmetry measure ofrelative entropy D N ρ = Dρ E N ρ arise from the relative entropy D and the conditional expectation. Using the same idea, one can define another Rényi asymmetry measure D N p ρ = D pρ E N ρ.

14 14 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Forgeneral ρ, D N p isdifferent with DN p. AsintheExample3.3b, DN p ismoreanalogousto sandwiched Rényi conditional entropy. It is clear from the definition that D N p ρ D N p ρ and the limits p 1 + coincides, lim p 1 DN p ρ = lim p 1 D N p ρ = D Nρ. 4. SSA inequality with correction terms In this section, we prove a general SSA inquality without commuting square condition. We consider the situation T M R S as inclusions of subalgebra in a finite dimensional von Neumann algebra M,τ. We always use the induced trace for p-norms and entropy on the algebra. Theorem 4.1. Let M,τ be a finite dimensional von Neumann algebra with a finite trace τ. Let T M R S be inclusions of subalgebras. Then for any state ρ M, HS ρ +HT ρ HM ρ +HR ρ +log 1 c, 4.1 where c is a constant only depending on R,S,T,M given by c = sup inf{λ E S σ λω for someω SR}, logc = sup D E R S σ. σ ST σ ST Proof. Wefirst estimate thenormof E S : L 1, T M L 1, R S. Foranyx M, [ ] λa E E S x L1, R S = inf{λ S x E S x 0, a,b SR} λb [ ] λes a c inf{λ E S x E S x λe S b 0 for some a,b ST } [ ] λa x c inf{λ x λb 0 for some a,b ST} = c x L1, T M, where the constant c is given by Thus we know c = sup inf{λ E S σ λω for someω SR}. σ ST E S : L 1, T M L 1, R S = E S : L 1 T L 1, R S

15 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 15 and it is further attained by positive elements of T. On the other hand, for p = 1, E S : L 1 M L 1 S is a contraction because it is cptp. Using complex interpolation, we have for all 1 < p, This implies for any state ρ M, E S : L 1,p T M L 1,p R S c 1 1 p. c 1 1 p ρ L1,p T M E S ρ L1,p R S = logc+d T p ρ DR p E Sρ 1 < p Rearranging the terms we complete the proof. = logc+d T ρ D R E S ρ = logc+ht ρ HM ρ HR ρ HS ρ. Remark 4.2. It is clear from Theorem 2.3 that for a commuting square the constant c = E S : L 1 T L 1, R S = E R : L 1 T L 1 R = 1. Conversely, suppose that for T M R S T M R S the best constant in 4.1 is c = 1. Then for any state σ SR, HE T ρ = Hρ and hence E T σ = σ. Thus, we can complete the quadrilateral and have T M R S as a commuting square. When R = C, HR ρ = logτ1 is a constant for all ρ. In this situation, we have the following variant of inequality. Corollary 4.3. Let state ρ M, T M C S be inclusions of subalgebras in M,τ. Then for any HS ρ +HT ρ Hρ+log 1 c, 4.2 where c is a constant only depending on S,T,M given by c =min{ E S : L 1 T S, E S : L 1 S T } =min{ sup E S σ, sup E T σ }. σ ST σ SS Proof. Apply Theorem 4.1 for the inclusions T M C S and T M C S.

16 16 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Example 4.4 Maassen-Uffink inequality. Let { x } and{ z } be two arbitrary orthonormal bases of H A = C d. Denote X,Z as the subalgebra generated by the measurement operators of each basis. We have the inclusions X M C Z. In this setting, the constant in Corollary 4.3 is either of the terms in the maximum, c = sup E X σ = max σ SZ x,z x z 2, which is exactly the maximum overlap of two measurements. Therefore, we recover Maassen-Uffink inequality [21] as a special case, HX+HZ Hρ+log 1 c. Recall the operator-valued trace class space S 1 B,M introduced in [26] is given by x = and S 1 B,L 1 M = L 1 MB,τ tr. Corollary 4.5. Let T M C S system. Then for any state ρ MB, inf a 2 x b 2, x=1 ay1 b be inclusions of subalgebras and let B be a quantum HS B ρ +HT B ρ HM B ρ +log 1 c B, where c B is a constant depending on T,S,M,B given by c B = min{ id B E S : S 1 B,L 1 T S 1 B,S, id B E T : S 1 B,L 1 S S 1 B,T }. Proof. We have a quadrilateral of inclusions. By argument of Theorem 4.1, T B MB C1 B SB HSB ρ +HTB ρ +logc HMB ρ +HC1 B ρ = HMB ρ +HB ρ +logτ1, where c = min{ E S id B : L 1 TB L 1, C1 B SB, It can be easily verified that for any x MB, E S id B : L 1 SB L 1, C1 B TB,}. x L1, C1 B SB= τ1 x S1 B,S. Therefore, by cancelling the dimension constant log τ1 we have c τ1 = c B is exactly the constant given in the statement.

17 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 17 Remark 4.6. When the subalgebra S is commutative, we know see [27] E S : L 1 T S = id B E S : S 1 B,L 1 T S 1 B,S. For noncommutative S, this fails dramatically. Take a very non-commuting square example that S = T = M n are n n matrix algebras, we have id B E S : S 1 B,L 1 T S 1 B,S = id B id : S 1 B,S n 1 S 1B,M n = min{ B,n}. In general, if the dimension B = d, we know c B d c where c is the constant in Corollary 4.3. For arbitrary B, c B is bounded by the completely bounded norm E S : L 1 T S cb := sup B id B E S : S 1 B,L 1 T S 1 B,S. Example 4.7 Uncertainty principles with quantum memory. Let us revisit the Maassen- Uffink in the presence of quantum memory. Let { x } and { z } be two arbitrary orthonormal bases of H A = C d and B is the memory system. Note that the measurment subalgebras X,Z are both commutative. By the Remark 4.6, the correction term with memory remains the same, HX B ρ +HZ B ρ HA B ρ +log 1 c, 4.3 which recovers the uncertainty principle proved in [3]. For the tripartite uncertainty relations, we have an analog of Theorem 2.9. Corollary 4.8. Let S A C T be a quadrilateral of inclusions and B,C be two auxillary systems. Then for any tripartite state ρ ABC, where ρ S B = E S idρ AB and HS B ρ +HT C ρ log 1 c, 4.4 c = min{ E S : S 1 C,L 1 T S 1 C,S, E T : S 1 C,L 1 S S 1 C,T }. Proof. Combine the argument of Theorem 2.9 with Theorem 4.1 Remark 4.9. We have seen in above discussion that our constant hence also the constant in Maassen-Uffink are from the estimate at L -norms. The similar argument at L p -level can provide potentially better constant. Consider the setting T M C S 4.3 for example. We know by complex interpolation p c p := E S : L 1 T L p S E S : L 1 T S = c, of Corollary

18 18 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE and the inequality satisfies with constant c p, HS ρ +HT ρ Hρ+log c p However, in general the L p constants are hard to compute. 5. Commuting square and alternating operations In this section we investigate an analogue of conditional mutual information for a commuting square I τ S : T R = H τ S ρ +H τ T ρ H τ R ρ H τ M ρ S M. We will always assume that the trace on R,S,T are the induced trace and τ will be often omitted. It is clear from Theorem 2.4 that IS : T R is always positive. In the following, we assume 1 p and fixed the relation 1 p + 1 p = 1. Lemma 5.1. Let ρ be a state of M. Define the function f : [1, ] R + as fp = sup inf ω σ S,ω T σ 1/2p 1/2p γ 1/2p ργ 1/2p ω 1/2p σ 1/2p p γ R where the infimum and supremum are taken over states γ, σ, ω of corresponding subalgebras. Then f f1 = 1, lim = IT : S R. p 1 + Proof. Theprooffollowsbyastandardargumentsee[17], [13]. Notethatf1 = τρ = 1 and hence f fp p 1 lim = lim. p 1 + p 1 + For states ρ M,σ S, σ 1/2p ρσ 1/2p p p 1 τ σ 1/2p ρσ 1/2p p τσ 1/2p ρσ 1/2p = By Hölder inequality, the second term τσ 1/2p ρσ 1/2p 1 E Sρ q 1 + τσ 1/2p ρσ 1/2p 1 p 1 + HE S ρ.

19 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 19 The mean value theorem for function p τx p implies that for some p 1 [1,p], τ σ 1/2p ρσ 1/2p p τσ 1/2p ρσ 1/2p = τσ 1/2p ρσ 1/2p p 1 logσ 1/2p ρσ 1/2p p 1 which converges to Hρ as p 1 +. In our triple situation, we set ρ p 1 = γ 1/2p ργ 1/2p, ρ p 2 = ω 1/2p ρ p 1ω 1/2p, ρ p 3 = σ 1/2p ρ2σ 1/2p. Then by repeating the previous argument, τρ3 p 1 = τρ3p τρ3 τρ3p τρ3 sup γ R + τρ3 τρ2 + E Sρ2 q τρ2 + τρ2 τρ1 + τρ1 1 + E Tρ1 q τρ1 + τρ1 1 The last term is independent of σ and ω, and the supremum over γ R can be actually performed τγ 1 2p ργ 1 2p 1 = E Rρ p 1 p 1 + HE R ρ Moreover ρ1,ρ2 and ρ3 converge to ρ when p 1 +, we have f lim Hρ+HE S ρ+he T ρ HE R ρ = IS : T R ρ. 5.1 p 1 For the upper bound, we choose ω p = E T ρ p 1, σ p = E S ρ p 2. Then we achieve equalities in all Hölder inequalities we have used and attain the lower bound of 5.1. The quantity fp above is analogous to the Rényi conditional mutual information discussed in [5]. In the following we discuss the monotonicity of I under completely positive trace preserving CPTP maps. S M S M Theorem 5.2. Let, be two commuting squares and Φ : M,τ M, τ be a CPTP map. Suppose that ΦS S and Then for any ρ M Φaxb = aφxb, a,b T,x M. 5.2 I τ S : T R Φρ I τ S : T R ρ.

20 20 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Proof. Fix states ω T,γ R and set the density ρ ω,γ = ω 1/2p γ 1/2p ργ 1/2p ω 1/2p. Using data processing inequality of p-rényi relative entropy and the assumption of Φ, we have inf σ σ 1/2p ρ ω,γ σ 1/2p p inf σ Φσ 1/2p Φρ ω,γ Φσ 1/2p p inf σ σ 1/2p Φρ ω,γ σ 1/2p p =inf σ σ 1/2p ω 1/2p γ 1/2p Φργ 1/2p ω 1/2p σ 1/2p p. Taking infimum over ω T and supremum over γ R, we obtain f Φρ p f ρ p for all p > 1. Then Lemma 5.1 implies f ρ f Φρ I τ S : T R ρ = lim lim = I τ S : p 1 + p 1 + T R Φρ, which completes the proof. Oneway tointerpret theorem5.2wouldbeasfollows: The largealgebramisasystem controlled by a referee and can be observed/measured by both Alice and Bob. Alice can measure the observables from the subalgebra S, and Bob can measure the observables from T. In particular, they share knowledge and control of the intersection subalgebra R = S T. The map Φ discussed in the above theorem is a quantum operation that changes the reduced density for Alice, but the change can not be observed by Bob. Indeed, the condition 5.2, which is called T-bimodule property, implies that E T ρ = E T Φρ, τ ae T Φρ = τaφρ = τφaρ = τaρ = τae T ρ. In view of Theorem 5.2, we introduce the notation of alternating operations. Definition 5.3. Let S M be a commuting square. We define alternating operations AO as compositions of the following two kinds of quantum operations i a CPTP map Φ : M M with commuting square ΦS S and S M such that Φaxb = aφxb for alla,b T,x M. 5.3 ii a CPTP map Φ : M M with commuting square ΦT T and S M R T such that Φaxb = aφxb for alla,b S,x M. 5.4

21 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 21 We call the first kind 5.3 S-operations which are T-bimodules, hence leaving T invariant, and the second T -operations 5.4. Basically, each one is a bi-module map for one intermediate subalgebra S or T and transforms the other subalgebra. On separated systems AC ABC C BC, alternating operations are the local operations as Φ A id BC and Ψ B id AC. Theorem 5.2 implies the following monotonicity of our generalized quantity IS : T R. Corollary 5.4. I is non-increasing under alternating operations. Remark 5.5. In above definition 5.4 and 5.3, one of the intermediate subalgebras, say S, is fixed during the operation. Actually we can allow the subalgebra S enlarge into a larger S. We say Φ : M M is a CPTP map into the commuting square S M R T with S S. It is clear from Theorem 5.2 that the monotonicity remains valid under the assumption of alternating operations. For simplicity of notation, in the following we consider the alternating operations φ : M M that remain in the the same commuting square S M. Nevertheless, all discussion holds for operations that change the subalgebras S,T to S, T. We define the squashed version in analogy to the squashed entanglement defined in [7] I sq T : S R ρ M = inf tr C ρ MC =ρ M IT C : SC RC ρ MC, where C = BH C is an auxiliary system, and the infimum runs over all extensions tr C ρ MC = ρ M. Note that here, adding an environment C to each subalgebras stays in the framework of the commuting square T C MC RC SC. In this sense our notation but not the quantity denoted differs from the usual notation of mutual information. Note that the squashed version is automatically convex, because ˆρ = 1 λρ λρ is an extension of the convex combination 1 λρ 1 + λρ 2. Furthermore, on physically separated systems A and B with commuting square the usual squashed entanglement between A and B. A AB C B, I sq reduces to twice

22 22 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE Let X be a classical system. We consider a one round alternating operation assisted classical communication described by the following 4 steps. S M I III S MX X SX MX RX T X Here at every step we have a commuting square. II SX MX RX T X S M IV. 5.5 i The first operation I is a quantum instrument Φ x x X i.e. x Φ x is CPTP ρ M x Φ x ρ x x MX, such that for each x, Φ x is a S-bimodule map and Φ x T T. This is a T - alternating operation from S M to S MX X where S is identified with S 1 MX. ii The classical information X obtained from quantum instrument is sent to S system. The state ρ MX is not changing at step II. iii The third step III x ρ x x x x Ψ x ρ x x x, is SX-alternating operation Ψ x with respect to the enlarged commuting square SX MX RX T X. Here each Ψ x : M M is an S-alternating operation that is T-bimodule and transform S. iv The last step IV is the expectation over the classical system X, The total operation is given by x ρ M x x x MX x ρ x M. ρ x Ψ x Φ x ρ. 5.6 For subsystems BH A,BH B BH A H B, this corresponds to a LOCC operation x Ψ x Φ x where Ψ x : BH A BH A are CPTP maps and Ψ x : BH B BH B forms a quantum instrument. In 5.6, Ψ x and Φ x are not necessarily commuting or in a tensor product form Ψ x Φ x.

23 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 23 Definition 5.6. We say a CPTP map Φ is alternating operation and classical communication AOCC if it is a composition of the operations defined in 5.5. To discuss the monotonicity and super-additivity of I sq, we first prove the following lemma. Lemma 5.7. Let SS MM RR T T Proof. Note that S M C and S M R T is a commuting square, and we have the chain rule be two commuting squares. Then ISS : T T RR = ISS : T M RS +IRS : TT RR. and S M S M are trivial commuting squares. Then ISS : TT RR =HSS +HTT HRR HMM =HSS +HTM HRS HM M +HRS +HTT HRR HTM =ISS : TM RS +IRS : T T RR. Theorem 5.8. I sq is monotone non-increasingunder AOCC operations and superadditive. Proof. Let Φ : M M be an alternating operation. Then Φ id C is an alternating operation from SC MC RC T C to SC MC RC T C. Then for monotonicity, it suffices to consider the step II and IV above. For II, it is clear that for any extension ρ MXC of ρ MX, ISC : T XC RC =ISXC : TXC RXC+ISC : RXC RC HerewehaveusedLemma5.7for is because SC SXC RC RXC ISXC : TXC RXC. SC MC RC T C and X X C C. The last inequality forms a commuting square and hence ISC : RXC RC is non-negative. The step IV follows from the definition of squashed version I sq SX : T X RX ρ M X = inf C ISXC : TXC RXC ρ M XC inf C ISC : TC RC ρ M C

24 24 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE = I sq S : T R. For super-additivity, we use Lemma 5.7 repeatedly. First, observe that ISS C : TT C RR C = ISS C : T M C RS C+IRS C : TT C RR C, for two commuting squares each one we obtain SS C MM C RS T M C and RS C T M C RR C T T C. Then for ISS C : T M C RS C = ISM C : T M C RM C+ISS C : RM C RS C I sq S : T R, IRS C : TT C RR C = IS T E : T T E R T E+IRS C : T R C RR C I sq S : T R. Therefore the super-additivity follows from the infimum over all systems C. We consider the classically squashed version analogous to [36], I cl S : T R ρ M = inf ρ MX ISX : T X RX ρ MX, where the infimum runs over all quantum-classical states ρ MX = x ρm x x x such that x ρm x = ρ M. I cl is the biggest convex functional dominated by I. It is clear from the argument above that I cl is also monotone under AOCC. Corollary 5.9. I cl is non-incearsing under AOCC. We proved that for a quadrilateral 6. Concluding discussion T M C S of finite dimensional von Neumann algebras, the SSA inequality exists if and if only it forms a commuting square. Using complex interpolation and augmented L p spaces, we obtained for two arbitrary subalgebras the SSA inquality with correction term. We use this as a universal approach to various entropic uncertainty relations. In the tripartite case, we found new noncommutative features hidden in the measurement situations. Beyond the scope of this paper, there are infinite-dimensional entropic uncertain relations for contiuous momentum and position operators [12]. We believe that our approach, with additional assumptions providing finite entropy, generalize to semifinite von Neumann algebras. This is also related to recent work on uncertainty principles for quantum groups [9, 16]. Finally, IT : S R retains many properties of and generalizes conditional mutual information. I sq bears a similar analogy to squashed entanglement. We conjecture

25 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 25 that I sq has a physical interpretation in terms of non-classical correlations between subalgebras, but the complete physical and operational interpretation of both these quantities is now an open problem. Acknowledgements The authors thank Reinhard F. Werner for helpful discussions and comments. References [1] T. Baumgratz, M. Cramer, and M. Plenio. Quantifying coherence. Physical review letters, 11314:140401, [2] J. Bergh and J. Lofstrom. Interpolation spaces: an introduction, volume 223. Springer Science & Business Media, [3] M. Berta, M. Christandl, R. Colbeck, J. M. Renes, and R. Renner. The uncertainty principle in the presence of quantum memory. Nature Physics, 6: , [4] M. Berta, V. B. Scholz, and M. Tomamichel. Rényi divergences as weighted non-commutative vector valued l p -spaces. arxiv preprint arxiv: , [5] M. Berta, K. P. Seshadreesan, and M. M. Wilde. Rényi generalizations of the conditional quantum mutual information. Journal of Mathematical Physics, 562:022205, [6] F. G. Brandão and G. Gour. Reversible framework for quantum resource theories. Physical review letters, 1157:070503, [7] M. Christandl and A. Winter. Squashed entanglement: An additive entanglement measure. Journal of Mathematical Physics, 453: , Mar [8] P. J. Coles, M. Berta, M. Tomamichel, and S. Wehner. Entropic uncertainty relations and their applications. Reviews of Modern Physics, 891:015002, [9] J. Crann and M. Kalantar. An uncertainty principle for unimodular quantum groups. Journal of Mathematical Physics, 558:081704, [10] J. Crann, D. W. Kribs, R. H. Levene, and I. G. Todorov. Private algebras in quantum information and infinite-dimensional complementarity. Journal of Mathematical Physics, 571:015208, [11] I. Devetak, M. Junge, C. King, and M. B. Ruskai. Multiplicativity of completely bounded p-norms implies a new additivity result. Communications in mathematical physics, 2661:37 63, [12] R. L. Frank and E. H. Lieb. Entropy and the uncertainty principle. In Annales Henri Poincaré, volume 13, pages Springer, [13] L. Gao, M. Junge, and N. LaRacuente. Capacity bounds via operator space methods. arxiv preprint arxiv: , [14] G. Gour, I. Marvian, and R. W. Spekkens. Measuring the quality of a quantum reference frame: The relative entropy of frameness. Physical Review A, 801:012307, [15] F. Hiai and D. Petz. The proper formula for relative entropy and its asymptotics in quantum probability. Communications in mathematical physics, 1431:99 114, [16] C. Jiang, Z. Liu, and J. Wu. Noncommutative uncertainty principles. Journal of Functional Analysis, 2701: , [17] M. Junge and C. Palazuelos. Channel capacities via p-summing norms. Advances in Mathematics, 272: , 2015.

26 26 LI GAO, MARIUS JUNGE, AND NICHOLAS LARACUENTE [18] M. Junge and J. Parcet. Mixed-norm inequalities and operator space L p embedding theory. Number American Mathematical Soc., [19] E. H. Lieb and M. B. Ruskai. Proof of the strong subadditivity of quantum-mechanical entropy. Journal of Mathematical Physics, 1412: , [20] Z. Liu and J. Wu. Uncertainty principles for kac algebras. Journal of Mathematical Physics, 585:052102, [21] H. Maassen and J. B. Uffink. Generalized entropic uncertainty relations. Physical Review Letters, 6012:1103, [22] I. Marvian and R. W. Spekkens. Extending Noether s theorem by quantifying the asymmetry of quantum states. Nature Communications, 5:3821, May [23] I. Marvian Mashhad. Symmetry, asymmetry and quantum information. PhD thesis, University of Waterloo, [24] M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel. On quantum rényi entropies: A new generalization and some properties. Journal of Mathematical Physics, 5412:122203, [25] D. Petz. Complementarity in quantum systems. Reports on Mathematical Physics, 592: , [26] G. Pisier. Non-commutative vector valued L p -spaces and completely p-summing maps. Asterisque- Societe Mathematique de France, 247, [27] G. Pisier. Introduction to operator space theory, volume 294. Cambridge University Press, [28] S. Popa. Orthogonal pairs of -subalgebras in finite von Neumann algebras. Journal of Operator Theory, pages , [29] S. Popa. Subfactors and classification in von neumann algebras. In Proceedings of the International Congress of Mathematicians, volume 1, pages , [30] U. Singh, A. K. Pati, and M. N. Bera. Uncertainty relations for quantum coherence. Mathematics, 43:47, [31] A. Streltsov, G. Adesso, and M. B. Plenio. Quantum coherence as a resource. arxiv preprint arxiv: , [32] J. A. Vaccaro, F. Anselmi, H. M. Wiseman, and K. Jacobs. Tradeoff between extractable mechanical work, accessible entanglement, and ability to act as a reference system, under arbitrary superselection rules. Physical Review A, 773:032114, [33] M. M. Wilde. Quantum information theory. Cambridge University Press, [34] M. M. Wilde, A. Winter, and D. Yang. Strong converse for the classical capacity of entanglementbreaking and hadamard channels via a sandwiched rényi relative entropy. Communications in Mathematical Physics, 3312: , [35] A. Winter and D. Yang. Operational resource theory of coherence. Physical review letters, 11612:120404, [36] D. Yang, K. Horodecki, M. Horodecki, P. Horodecki, J. Oppenheim, and W. Song. Squashed entanglement for multipartite states and entanglement measures based on the mixed convex roof. IEEE Transactions on Information Theory, 557: , 2009.

27 STRONG SUBADDITIVITY INEQUALITY AND ENTROPIC UNCERTAINTY RELATIONS 27 Department of Mathematics, University of Illinois, Urbana, IL 61801, USA address, Li Gao: Department of Mathematics, University of Illinois, Urbana, IL 61801, USA address, Marius Junge: Department of Physics, University of Illinois, Urbana, IL 61801, USA address, Nicholas LaRacuente: