Two proofs of Strmers theorem Stanislaw Szarek Case Western - PowerPoint PPT Presentation

Two proofs of Størmer’s theorem Stanislaw Szarek Case Western Reserve/Paris 6 Paris, October 20, 2015 With G. Aubrun, to appear in the book: Alice and Bob Meet Banach, or the Interface of Asymptotic Geometric Analysis and Quantum Information Theory

Abstract The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the low dimensional cases settled by Størmer and Woronowicz, which are equivalent to the Peres-Horodecki positive partial transpose criterion being able to determine whether a state in a 2 × 2 or 2 × 3 quantum system is entangled or separable. However, even in these cases the existing arguments (known to the speaker) were based on seemingly ad hoc and long computations. We show a simple proof – based on Brouwer’s fixed point theorem – for the 2 × 2 case (Størmer’s theorem), and sketch another argument – following the classical outline, but highly streamlined – based on characterization of extreme self-maps of the Lorentz cone.

Terminology and notation M n : n × n complex matrices; M sa n : n × n Hermitian matrices PSD = PSD ( C n ) : the cone of positive semi-definite matrices P = P ( C n ) : the cone of positivity-preserving maps M sa n → M sa n Φ ∈ P ⇐ ⇒ Φ( PSD ) ⊂ PSD CP = CP ( C n ) : the cone of completely positive maps Official definition: Φ ∈ CP ⇐ ⇒ Φ ⊗ Id M sa m ∈ P for all m ∈ N j A j ρ A † For us, Φ ∈ CP ⇐ ⇒ Φ( ρ ) = � j for some { A j } ⊂ M n The cone of co-completely positive maps: Φ ∈ co - CP ⇐ ⇒ Φ ◦ T ∈ CP , where T is the transpose map k B k ρ T B † In other words, if Φ( ρ ) = � k for some { B k } ⊂ M n

Størmer’s theorem (1963) Φ ∈ P ( C 2 ) ⇐ ⇒ Φ = Φ 1 + Φ 2 ◦ T , where Φ 1 , Φ 2 ∈ CP ( C 2 ) j A j ρ A † k B k ρ T B † ⇐ ⇒ Φ( ρ ) = � j + � k for some { A j , B k } ⊂ M n In other words, P ( C 2 ) = CP ( C 2 ) + co - CP ( C 2 ) =: DEC ( C 2 ), the cone of decomposable maps. Woronowicz (1976): Same for Φ : M sa 2 → M sa 3 or M sa 3 → M sa 2 , but not for higher dimensions Corollary Let ρ ∈ PSD ( C 2 ⊗ C 2 ). Then ρ is separable if and only if its partial transpose is positive semi-definite. The same is true for ρ ∈ PSD ( C 3 ⊗ C 2 )

In search of compactness: bases of cones and sets of states D ( C n ) := PSD ( C n ) ∩ H 1 , where H 1 := { tr( · ) = 1 } ⊂ M sa n We say that D is a base of the cone PSD , or D = PSD b . Can similarly consider bases of cones of maps. It is (somewhat) important that all those cones are closed, convex, and nondegenerate , so that their bases – and those of the dual cones – are compact, and we have, for example, � b = conv C = R + C b , C b 1 ∪ C b � � � C 1 + C 2 . 2 In particular, no closures are needed anywhere.

Duality and composition rules n , can consider Φ ∗ : M sa If Φ : M sa m → M sa n → M sa m . This is the usual functional analytic adjoint, based on identifying M sa n with its dual via � ρ, σ � HS := tr( ρσ ). If B ∈ M n (or B ∈ M n × m , as appropriate), we set Φ B ( ρ ) := B ρ B † ⇒ Φ ∗ ∈ P , and similarly for CP , co - CP Easy : Φ ∈ P ⇐ ⇒ Φ ∗ is trace-preserving Φ is unital ⇐ Φ ∗ A = Φ A † If A is invertible, then so is Φ A and Φ − 1 = Φ A − 1 A Φ , Ψ ∈ CP or Φ , Ψ ∈ co - CP ⇒ Φ ◦ Ψ ∈ CP Φ ∈ CP , Ψ ∈ co - CP ⇒ Φ ◦ Ψ , Ψ ◦ Φ ∈ co - CP

Pecularity of (complex) dimension 2 D ( C 2 ) is (isometric to) a 3-dimensional Euclidean ball and PSD ( C 2 ) is isomorphic to the Lorentz cone L 4 , where � � L m = x = ( x 0 , x 1 , . . . , x m − 1 ) : x 0 ≥ 0 , q ( x ) ≥ 0 , 0 − � m − 1 where q ( x ) := x 2 k =1 x 2 k . The center of the ball is the maximally mixed state ρ ∗ := I 2 . This allows to nicely represent all unital trace-preserving maps Φ ∈ P ( C 2 ): every such Φ can be associated with a linear map S = S Φ : R 3 → R 3 with � S � op ≤ 1, and vice versa. Consequently, every such Φ can be written as a convex combination of maps corresponding to S ∈ O(3) (isometries).

The unital trace-preserving case and the spinor map If U ∈ U( n ), then Φ U ( ρ ) = U ρ U † is a unital, trace-preserving isometry of PSD ( C n ). If n = 2, more is true: SU(2) ∋ U �→ S Φ U ∈ SO(3) is a two-to-one surjection, and so is SU(2) ∋ U �→ S Φ U ◦ T ∈ O(3) \ SO(3) Since Φ U ∈ CP and Φ U ◦ T ∈ co - CP , this implies that every unital trace-preserving Φ ∈ P ( C 2 ) is decomposable: it can be written as a convex combination of Φ U j ’s and Φ V k ◦ T ’s. Now for the hard part.

The general case: two possible strategies 1. Focus on maps Φ generating extreme rays of P ( C 2 ), and conclude via the Krein-Milman theorem. 2. Focus on maps Φ belonging to the interior of P ( C 2 ), and conclude by passing to the closure (remember we have enough compactness). The usual approach, starting with Størmer’s proof, was to use the first strategy. We will try the second one.

A reduction to the unital trace-preserving case Proposition Let Φ : M sa n → M sa n be a linear map which belongs to the interior of P ( C n ). Then there exist positive-definite operators A , B ∈ PSD ( C n ) such that ˜ Φ( ρ ) = A Φ( B ρ B ) A is simultaneously unital and trace-preserving (and necessarily positivity-preserving). In other words, Φ = Φ A ◦ Φ ◦ Φ B and Φ = Φ A − 1 ◦ ˜ ˜ Φ ◦ Φ B − 1 Once we prove the Proposition, Størmer’s theorem follows immediately from the composition rules and the already solved unital trace-preserving case.

Proof of the Proposition We need to find A , B so that the maps ˜ Φ( ρ ) = A Φ( B ρ B ) A and ˜ Φ ∗ ( σ ) = B Φ ∗ ( B σ B ) A are unital, i.e., Φ( I ) = A Φ( B 2 ) A = I and ˜ ˜ Φ ∗ ( I ) = B Φ ∗ ( A 2 ) B = I . Since the hypotheses on Φ ensure invertibility, this resolves to A 2 = Φ( B 2 ) − 1 and B 2 = Φ ∗ ( A 2 ) − 1 ⇒ Φ(Φ ∗ ( A 2 ) − 1 ) − 1 = A 2 . In other words, X = A 2 is to be a fixed point of the nonlinear map f ( X ) = Φ(Φ ∗ ( X ) − 1 ) − 1 , and letting A = X 1 / 2 and B = Φ ∗ ( X ) − 1 / 2 will yield what we need.

Now, f acts on PSD \ { 0 } , which is convex, but not compact. To be able to use Brouwer’s fixed-point theorem we consider instead f ( X ) f 1 : D ( C n ) → D ( C n ) given by f 1 ( X ) = tr f ( X ) . If X 0 ∈ D ( C n ) is such that f 1 ( X 0 ) = X 0 , then f ( X 0 ) = tX 0 , where t = tr f ( X 0 ) > 0. However, if we choose – as before – A = X 1 / 2 0 and B = Φ ∗ ( A 2 ) − 1 / 2 , then the resulting ˜ Φ is trace-preserving and Φ(Id) = t − 1 Id, which is only possible if t = 1, as needed. satisfies ˜ Similar fixed point argument was used in a similar context by L. Gurvits, and likely others.

The other strategy Since PSD ( C 2 ) is isomorphic to the Lorentz cone L 4 , it is enough to put our hands on extreme rays of the cone of maps preserving the latter. We will call such maps Lorentz-positive and denote the cone by P ( L m ) (for general m ≥ 2, not just for m = 4). We have Proposition (R. Loewy, H. Schneider 1975) Let Φ : R m → R m be a linear map which generates an extreme ray of P ( L m ). Then either Φ is an automorphism of L m or Φ is of rank one , in which case Φ = | u �� v | for some u , v ∈ ∂ L m \ { 0 } . If n > 2, the converse implication also holds. To conclude the argument is again standard: automorphisms Φ of L m are (roughly) given by the Lorentz group O + (1 , m − 1). For m = 4, this translates to Φ = Φ V or Φ = Φ V ◦ T for V ∈ SL(2 , C ). If rank Φ = 1, the argument is completely straightforward. This line of proof seems to have been folklore, arXiv:1503.04283

The S-lemma The trick – found by R. Hildebrand – is to use the S -lemma, a well-known fact from control theory and quadratic/semi-definite programming. S-lemma : (V. A. Yakubovich 1971) Let M , N be m × m symmetric real matrices. The following two properties are equivalent: (i) { x ∈ R m : � Mx , x � ≥ 0 } ∪ { x ∈ R m : � Nx , x � ≥ 0 } = R m (ii) there exists t ∈ [0 , 1] such that the matrix (1 − t ) M + tN is positive semi-definite. Proof of the S-lemma : about half a page, see I. P´ olik, T. Terlaky, A Survey of the S-Lemma. SIAM Rev. 49 (2007), 371-418. Proof of “S-lemma ⇒ Proposition” : again about half a page. Our contribution, if any, consists of streamlining Hildebrand’s argument.

S-lemma ⇒ Proposition Let J be the m × m diagonal matrix with entries 1 , − 1 , . . . , − 1, then q ( x ) = � Jx , x � and so Φ ∈ P ( L m ) translates to � Jx , x � ≥ 0 ⇒ � J Φ x , Φ x � ≥ 0 . So the hypotheses of the S-lemma hold with M = Φ ∗ J Φ , N = − J and hence there is µ ≥ 0 and Q ∈ PSD such that Φ ∗ J Φ = µ J + Q . Now, µ = 0 is possible only if rank Φ = 1, while µ > 0 and Q = 0 ⇒ µ 1 / 2 Φ ∈ O(1 , n − 1). So it is enough to show that if µ > 0 and Q � = 0, then there is ∆ with rank ∆ = 1 such that Φ ± ∆ ∈ P ( L m ).