arxiv: v3 [quant-ph] 11 Jan 2019

Transcription

1 COMPATIBILITY OF QUANTUM MEASUREMENTS AND INCLUSION CONSTANTS FOR THE MATRIX JEWEL ANDREAS BLUHM AND ION NECHITA arxv: v3 [quant-ph] Jan 209 Abstract. In ths work, we establsh the connecton between the stuy of free spectrahera an the compatblty of quantum measurements wth an arbtrary number of outcomes. Ths generalzes prevous results by the authors for measurements wth two outcomes. Free spectrahera arse from matrcal relaxatons of lnear matrx nequaltes. A partcular free spectraheron whch we efne n ths work s the matrx ewel. We fn that compatblty of arbtrary measurements correspons to ncluson of the matrx ewel nto a free spectraheron efne by the effect operators of the measurements uner stuy. We subsequently use ths connecton to boun the set of asymmetrc) ncluson constants for the matrx ewel usng results from quantum nformaton theory an symmetrzaton. The latter translate to new lower bouns on the compatblty of quantum measurements. Among the technques we employ are approxmate quantum clonng an mutually unbase bases. Contents. Introucton 2. Man results 2 3. Prelmnares Convex analyss Free spectrahera The rect sum of free spectrahera Quantum nformaton theory 9 4. The matrx ewel 5. The matrx ewel an ont measurablty of POVMs 3 6. Compatblty results from quantum nformaton theory Upper bouns from MUBs Lower bouns from clonng Lower bouns from symmetrzaton Incompatblty wtnesses an the matrx cube 2 8. Incompatblty wtnesses the general case Dscusson 27 References 29. Introucton Gven the soluton set of a lnear matrx nequalty, the queston often arses whether the unt cube s contane n ths set see Secton.5 of [HKMS4] an references theren). However, ths problem, whch s known as the matrx cube problem, s known to be NP-har [BTN02]. Fortunately, there exsts a tractable relaxaton of ths problem whch checks ncluson of corresponng free spectrahera, whch are matrcal relaxatons of the orgnal sets [BTN02, HKM3]. To gve error bouns for ths relaxaton, t s necessary to know the followng: f ncluson for the orgnal Date: January 4, 209.

2 2 ANDREAS BLUHM AND ION NECHITA spectrahera hols, how much o we have to shrnk the smaller free spectraheron such that ncluson also hols at the level of free spectrahera? For the matrx cube, as well as for unt balls of l p spaces an other hghly symmetrc convex sets, these ncluson constants have been recently stue [HKMS4, DDOSS7, PSS8]. Recently, the authors have foun that the ncluson constants for the free spectraheral relaxaton of the l -ball, the matrx amon [DDOSS7], are relevant for ont measurablty of bnary quantum measurements [BN8]. The fact that not all observables can be measure at the same tme s one of the most remarkable propertes of quantum mechancs, the observables of poston an momentum provng the best-known example of ths behavor [He27, Boh28]. The noton of ont measurablty or compatblty) has been ntrouce to capture ths property of non-classcal theores see [HMZ6] for a revew). In ths work, we moel quantum measurements by Postve Operator Value Measures POVMs), see [HZ, Secton 3.]. POVMs are ontly measurable f they arse as margnals from a common measurement. Ths property s of practcal nterest, snce only POVMs whch are not ontly measurable can volate Bell nequaltes [Fn82] or can be use for some quantum nformaton tasks [BCP + 4]. The present work contnues the lne of research starte n [BN8]. Whle the prevous work focuse on measurements wth only two outcomes, we establsh here the connecton between ont measurablty of POVMs wth an arbtrary number of outcomes an the ncluson of the matrx ewel. The matrx ewel s a free spectraheron whch generalzes the matrx amon an s ntrouce n ths work. We can subsequently use ths connecton to translate results on ont measurablty nto bouns on the ncluson constants for the matrx ewel. Some of the technques use nvolve approxmate clonng of quantum states an mutually unbase bases. Moreover, we compare the matrx ewel to more symmetrc free spectrahera such as the matrx amon to obtan lower bouns on the ncluson constants of the matrx ewel. These translate to new bouns on the compatblty of quantum measurements. We also ntrouce the noton of ncompatblty wtnesses, whch are tuples of self-aont matrces that allow, n a smple way, to show that some POVMs are not compatble the termnology s borrowe from entanglement theory). The paper s organze as follows. After presentng nformally our man results n Secton 2, we recall n Secton 3 some facts from matrcal) convexty theory an quantum nformaton theory; we also ntrouce at that pont two new operatons on free spectrahera, the Cartesan prouct an the rect sum. Sectons 4 an 5 are the core of the paper: we ntrouce the matrx ewel an we relate ts ncluson propertes to compatblty of POVMs. In Secton 6, we use several results from quantum nformaton theory an symmetrzaton to gve lower an upper bouns on the ncluson sets of the matrx ewel. In Sectons 7 an 8 we evelop the theory of ncompatblty wtnesses. The fnal secton contans a revew of our man contrbutons, as well as some open questons an future research rectons. 2. Man results In ths secton, we wll revew the man results of the present work. It s a follow-up paper on the work unertaken n [BN8]. We contnue nvestgatng the connecton between free spectraheral ncluson problems an ont measurablty of quantum effects. Quantum measurements are entfe wth postve operator value measures POVMs). Those are k-tuples of postve semefnte matrces of fxe menson whch sum to the entty. Here, k s the number of measurement outcomes the quantum measurement has. Gven a g-tuple of POVMs E ),..., E g), where the -th POVM has k outcomes, we can ask the queston whether these POVMs are ontly measurable. Jont measurablty means that there s a ont POVM G,..., g wth [k ] from whch the POVMs E ) arse as margnals. Although not all measurements n quantum theory are compatble, they can be mae compatble f we a a suffcent amount of

3 COMPATIBILITY AND THE MATRIX JEWEL 3 nose. In ths work, we focus on balance nose,.e. the elements of the -th POVM become ) Ẽ ) = s E ) + s ) k I, where s [0, ]. Ths means, that wth probablty s we measure the orgnal POVM E ) whereas wth probablty s, we output a measurement outcome unformly at ranom, nepenent of the system uner stuy. The set of g-tuples s wth the property that, for any g-tuple of -mensonal POVMs E ) wth k outcomes, the nosy POVMs Ẽ) from ) are compatble, wll be wrtten as Γg,, k,..., k g )), an wll be calle the balance compatblty regon. A free spectraheron s a specal type of matrx convex set whch arses as matrcal relaxaton of an ornary lnear matrx nequalty. The free spectraheron D A for the self-aont matrx g- tuple A s the set of self-aont matrx g-tuples X of arbtrary menson whch fulfll the matrx nequalty A X I. = For scalar X, we recover the soluton set D A ) of the lnear matrx nequalty efne by A. The free spectraheral ncluson problem s to etermne for whch s R g + the mplcaton 2) D A ) D B ) = s D A D B s true. We wll be ntereste n the case where the obect on the left han se s the matrx ewel. Conser the free spectraheron gven by the agonal matrces ag[v ], [k ], where v ε) = 2 k + 2δ ε, ε [k]. We call ths spectraheron the matrx ewel base D,k. The matrx ewel D,k,...,k g) s then the rect sum of the D,k. We efne the rect sum of free spectrahera arsng from polytopes as the maxmal spectraheron whch has the rect sum of these polytopes at the scalar level. The matrx ewel s a generalzaton of the matrx amon ntrouce n [DDOSS7] an consere n relaton to quantum effect compatblty n [BN8]. We are ntereste n the vectors of the form s = s k ),..., s kg ) g ) for whch the mplcaton n Equaton 2) s true for D A = D,k,...,k g) an any self-aont tuple B on the rght han se; we are usng the notaton s k ),..., s kg ) g ) := s,..., s,..., s g,..., s g ). k tmes k g tmes We call the set of these vectors the ncluson set for the matrx ewel g,, k,..., k g )) The man contrbuton of ths work s then the connecton of the free spectraheral ncluson problem to the problem of ont measurablty. In Theorem 5.2 we fn Theorem. For a fxe matrx menson, conser g tuples of self-aont matrces E ) M sa )k, k N, [g]. Defne E ) k := I E )... E) k, set k = k,..., k g ), an wrte D E := D 2E ) 2 I,...,2E k g) 2 kg I) = X Msa n ) g = k ) : n= = k = 2E ) 2 ) I k X, I n. Then ) D,k ) D E ) f an only f E ),..., E) k, [g] are POVMs. 2) D,k D E f an only f E ),..., E) k, [g] are ontly measurable POVMs.

4 4 ANDREAS BLUHM AND ION NECHITA 3) D,k l) D E l) for l [] f an only f for any sometry V : C l C, the tuples V E ) V,..., V E ) k V, [g] are ontly measurable POVMs. Ths extens [BN8, Theorem 5.3] from bnary measurements to measurements wth k outcomes each. We fn that the fferent levels of spectraheral ncluson correspon to fferent egrees of ont measurablty. Further, we show n Theorem 5.3 that the balance compatblty regon an the ncluson set for the matrx ewel can be entfe; agan, ths s a generalzaton of [BN8, Theorem 5.7] for an arbtrary number of outcomes. Theorem. Let, g N an k,..., k g ) N g. Then, Γg,, k,..., k g )) = g,, k,..., k g )). Ths entfcaton allows to use results on one set to characterze the other. In [BN8], we mostly aapte results from the stuy of free spectraheral ncluson to characterze the balance compatblty regon n quantum nformaton theory. Ths was possble, snce the matrx amon the matrx ewel for k = 2 for all ) s a hghly symmetrc obect an has alreay been stue n the lterature. The matrx ewel oes not have these symmetres an has not been stue n the algebrac convexty lterature. Therefore, we aapt results from quantum nformaton theory n Secton 6, whch we subsequently use n Secton 9 to gve upper an lower bouns on g,, k,..., k g )). The lower bouns come from asymmetrc approxmate clonng of quantum states an from two fferent symmetrzaton proceures. The latter yel new lower bouns on the balance compatblty regon of quantum measurements. General upper bouns can be mporte from the case of bnary POVMs, snce more outcomes shrnk the compatblty regons an therefore also the corresponng ncluson sets. For the case of k = an g not too large, we get better bouns from the stuy of measurements arsng from mutually unbase bases MUBs). We also ntrouce n ths paper the noton of ncompatblty wtnesses, both n the case of bnary POVMs Secton 7) an general POVMs Secton 8). As n the case of compatblty contons, the theory n the bnary case s smpler an the corresponng free spectrahera have alreay been stue extensvely n the mathematcal lterature. For these reasons, let us focus here on bnary POVMs. A g-tuple of self-aont matrces X M sa n ) g s calle an ncompatblty wtness f X s an element of the matrx amon D,g,.e. f g = ε X I n for all sgn vectors ε ± g. An ncompatblty wtness X can certfy that g gven effects are ncompatble: f the matrx nequalty 2E I ) X I n = oes not hol, the effects E,..., E g are ncompatble. There s a strong connecton between ncompatblty wtnesses an the matrx cube arguably the most stue class of free spectrahera): X s an ncompatblty wtness f an only f D,g ) D X ). Usng the ncluson constants for the complex) matrx cube, one can obtan tractable relaxatons for the two equvalent contons above whch otherwse requre checkng an exponental number of matrx nequaltes). 3. Prelmnares Ths secton contans some facts from algebrac) convexty an quantum nformaton theory whch wll be neee n the followng sectons. The materal here s for the most part well known, wth the excepton of Secton Convex analyss. Before we move on to the man topc of ths secton, let us fx some basc notaton. We wll often wrte [n] :=,..., n for brevty, where n N. Further, we wll use R g + := x Rg : x 0 [g], where g N. Let n, m N. Then, M n,m s the set of complex n m matrces an we wll wrte ust M n f m = n. For the self-aont matrces, we wll wrte

5 COMPATIBILITY AND THE MATRIX JEWEL 5 M sa n. By U) we wll enote the untary matrces. Moreover, we wll wrte I n M n for the entty matrx, where we wll often omt the subscrpt f the menson s clear from the context. The operator system generate by the g-tuple A M sa )g s efne as OS A := span I, A : [g]. Furthermore, we wll often wrte for such g-tuples 2A I := 2A I,..., 2A g I ) an V AV := V A V,..., V A g V ) wth V M,k, k N. We start wth two stanar obects n convex analyss, polytopes an polyhera c.f. [Bar02, Defnton I.2.2]). Defnton 3.. The convex hull of a fnte set of ponts n R, N, s calle a polytope. Let c,..., c m be vectors n R an let α,..., α m R. The set P := x R : c, x α [m] s calle a polyheron. By the Weyl-Mnkowsk theorem, a convex subset of R s a polytope f an only f t s a boune polyheron [Bar02, Corollary II.4.3]. We wll nee the followng lemma, whch follows easly from convexty: Lemma 3.2 [Bar02, Secton IV.]). Let P = conv v,... v m ) R, m N. Then, ts polar ual can be wrtten as P = x R : v, x [m]. There are several ways of constructng new convex sets from a collecton of gven ones. One way s the Cartesan prouct: Defnton 3.3. Let P R k, P 2 R k 2 be two convex sets. Then, ther Cartesan prouct s P P 2 := x, y) R k +k 2 : x P, y P 2. Another one s the rect sum: Defnton 3.4. Let P R k, P 2 R k 2 be two convex sets. Then, ther rect sum s ) P P 2 := conv x, 0) R k +k 2 : x P 0, y) R k +k 2 : y P 2. Remark 3.5. In partcular, the above efnton shows that the rect sum of two polytopes s agan a polytope, because t s the convex hull of ther respectve extreme ponts embee nto a hgher mensonal space. We can fn a useful expresson for the rect sum of two polytopes n terms of the Cartesan prouct an takng polars. We nclue a short proof for convenence. Lemma 3.6 [Bre97, Lemma 2.4]). Let P R k, P 2 R k 2 be two polytopes an such that 0 P, P 2. Then, P P 2 = P P 2 ). Proof. Usng Lemma 3.2, we may wrte P P 2 ) = x, x 2 ) R k R k 2 : p, x p P, [2] Comparng ths wth the efnton of P, we fn that P P 2 ) = P P 2. As the P are polytopes, they are compact an thus also P P 2 s compact. As ths set furthermore contans 0 by assumpton, an applcaton of the Bpolar Theorem [Bar02, Theorem IV..2] yels the clam. Later, we shall nee the followng result on the faces of the Cartesan prouct. Lemma 3.7 [Bre97, Lemma 2.3]). Let P R k, P 2 R k 2 be two polytopes. Then, the l- mensonal faces of P P 2, for 0 l k + k 2 are the F F 2, where F s a -mensonal face of P an + 2 = l..

6 6 ANDREAS BLUHM AND ION NECHITA 3.2. Free spectrahera. In ths secton, we wll revew some basc results from the theory of free spectrahera. The theory we wll nee for ths work can be foun n [HKM3, HKMS4, DDOSS7]. Let A M sa )g be a g-tuple of self-aont matrces. The free spectraheron at level n efne by A s the set D A n) := X M sa n ) g : A X I n. The free spectraheron corresponng to A s then the unon of all these levels,.e. = D A := n N D A n). Let C R g be a convex set. In general, there are many free spectrahera D A wth D A ) = C. If C s a polyheron, we can fn a maxmal such free spectraheron [DDOSS7, Defnton 4.] 3) W max C)n) := X M sa n ) g : c X αi, c R g, α R s.t. C x R g : c, x α. = Note that W max C)) = C, as clame above. Remark 3.8. It s clear that the above s nee a free spectraheron, snce polyhera are efne as the ntersecton of fntely many hyperplanes see Defnton 3.). The efnng matrces can thus be chosen agonal an of fnte menson. Remark 3.9. The efnton above can be use to efne matrx convex sets for any convex set C. If C s not a polyheron, however, the corresponng W max C) s not necessarly a free spectraheron. See [DDOSS7] for etals. In ths work, we wll be concerne wth ncluson constants,.e. constants for whch the mplcaton D A ) D B ) = s D A D B hols, where A, B are both g-tuples of self-aont matrces. Here, the asymmetrcally) scale free spectraheron s s D A := s X,..., s g X g ) : X D A. Defnton 3.0. Let D N an D A be the free spectraheron efne by A := A ),..., A g) ), where A ) M sa D )k, k N, [g]. Let k = k,..., k g ). The ncluson set s efne as DA g,, k) := s R g g + : B Msa ) = k ), D A ) D B ) = s k ),..., s kg ) g ) D A D B. If D A s the matrx ewel D,k n Defnton 4., we wll wrte nstea of DA. Ths efnton generalzes [BN8, Defnton 4.], whch s recovere for k = 2,..., 2). Note that the k )-tuples n the ncluson sets are scale n the same way nse each group, where the sze of the groups are etermne by the vector k. By the same argument as n [BN8, Proposton 4.3], these sets are convex. The ncluson of free spectrahera can be relate to postvty propertes of the map between the matrces efnng them. Let A M sa D )g an B M sa )g. Let Φ : OS A M be the untal map efne by Φ : A B [g]. The followng theorem has been proven n [HKM3, Theorem 3.5] for real matrces. See [BN8, Lemma 4.4] for a very smlar proof n the complex case.

7 COMPATIBILITY AND THE MATRIX JEWEL 7 Lemma 3.. Let A M sa D )g an B M sa )g. Further, let D A ) be boune. Then, D A n) D B n) hols f an only f Φ as gven above s n-postve. In partcular, D A D B f an only f Φ s completely postve The rect sum of free spectrahera. In ths secton we ntrouce the operaton of rect sum for free spectrahera an relate t to the rect sum of polytopes. We erve some smple propertes of ths constructon whch wll be use later n the paper. Here, we wll entfy R wth the agonal matrces wth real entres. Defnton 3.2. Let A M sa ) k, B M sa 2 ) k 2 be tuples of self-aont matrces.the rect sum of the corresponng free spectrahera s efne as follows: k k 2 D A ˆ D B n) := X Msa n ) k +k 2 : = A I 2 ) X + = I B ) X k + I 2 n The followng proposton shows that the above operaton s nee efne on free spectrahera an not on tuples of self-aont matrces. Proposton 3.3. Let A M sa ) k, B M sa 2 ) k 2, à M sa ) k an B M sa ) k 2 be tuples of 2 self-aont matrces such that D A = Dà an D B = D B. Further, let D A ) an D B ) be boune. Then, D A ˆ D B = Dà ˆ D B. Proof. By Lemma 3., there exsts a bectve map Φ : OS A OSà such that ΦA ) = à for all [k ] whch s untal an completely postve. In the same ven, there exsts a bectve map Ψ : OS B OS B wth ΨB ) = B for all [k 2 ] whch s also untal an completely postve. Let A = span I 2, A I 2, I B : [k ], [k 2 ] be the operator system corresponng to D A ˆ D B an à the same set wth Ã, B, an 2. Then, Φ Ψ : A à s a untal completely postve map ths can be seen by extenng Φ an Ψ to the full matrx algebras by Arveson s extenson theorem, takng the tensor prouct an restrctng agan) whch s bectve. Thus, another applcaton of Lemma 3. yels the asserton. Remark 3.4. It s not clear whether the above proposton s stll true wthout the assumpton that D A ) an D B ) are boune. So n ths case, strctly speakng, we efne the operaton on tuples of self-aont matrces. However, n ths work, all relevant spectrahera wll be boune. The followng result connects the efnton of the rect sum at the level of free spectrahera wth the usual efnton for convex sets, Defnton 3.4. Lemma 3.5. Let P, P 2 be two polytopes such that 0 ntp ), [2]. Then W max P P 2 ) = W max P ) ˆ W max P 2 ). Proof. By a refne verson of the Weyl-Mnkowsk theorem, [Bar02, Lemma VI..5], there exst c ) s R k, α s ) R such that P = x R k : c ) s, x α s ) s [m ], where m N. Furthermore, F s ) = p P : c ) s, p = α s ) are the facets of P. By assumpton, 0 ntp ), an thus α s ) > 0. Therefore, we can wrte P = x k Rk : x P ) I m = x R k : h ) s, x s [m ], =.

8 8 ANDREAS BLUHM AND ION NECHITA where h ) s = c ) s /α s ) an P ) R m such that P ) s) = h ) s ). Combnng Lemma 3.7 an the fact that facets of a polytope correspon to extreme ponts of ts polar [Bar02, Theorem VI..3], we fn that the extreme ponts of P P 2 are h) s, h 2) s 2 ), s [m ], [2]. Usng Lemma 3.6 an Lemma 3.2, we obtan P P 2 = x, x 2 ) R k R k 2 : h ) s, h 2) s 2 ), x, x 2 ) s [m ], =, 2 Thus, we fn that the h ) s, h 2) s 2 ) are the hyperplanes efnng P P 2. Moreover, we can agan wrte ths n spectraheral form, P P 2 = x Rk +k 2 : k +k 2 = Here, Q R m m 2, where Q s, s 2 ) := h ) s, h 2) s 2 ). spectraheron, W max P P 2 )n) = X Msa n ) k +k 2 : x Q I m m 2.. Hence, by the efnton of the maxmal k +k 2 = Q X I nm m 2 Evaluatng the expresson for the Q further, we nfer h ) s Q s, s 2 ) = ) = P ) s ) k h 2) s 2 k ) = P 2) k s 2 ) k + k + k 2 P ) I k2 )s, s 2 ) k = I k P 2). k )s, s 2 ) k + k + k 2 Ths proves the asserton. Remark 3.6. The assumpton 0 ntp) s neee to ensure that the polytope P can be wrtten as a lnear matrx nequalty. The next result shows that level- ncluson of the rect sum of two polytopes nto a spectraheron amounts to nvual ncluson of each polytope nto the corresponng part of the spectraheron. Lemma 3.7. Let A ) M sa )k, k N, =, 2 be two tuples of matrces an P R k, =, 2 two polytopes. Then, P P 2 D A ),A 2) ) ) P D A )) =, 2. Proof. Let w ) m = Rk be the set of extreme ponts of P wth m N. Then, the set of extreme ponts of P P 2 s w ), 0), 0, w 2) 2 ) : [m ], =, 2. Ths can easly be seen from the efnton. Snce the ncluson of polytopes can be checke at the extreme ponts, the asserton follows. In a smlar fashon, one can efne the Cartesan prouct of two free spectrahera as 4) D A ˆ D B )n) := X k k 2 Msa n ) k +k 2 : A 0 2 ) X + 0 B ) X k + I + 2 )n. It s easy to check that, at level n =, = = D A ˆ D B )) = D A ) D B )..

9 COMPATIBILITY AND THE MATRIX JEWEL Quantum nformaton theory. We wll conclue ths secton wth a short revew of some concepts from quantum nformaton theory whch we wll use. For an ntroucton to the mathematcs of quantum mechancs, see e.g. [HZ] or [Wat8]. A quantum mechancal system s gven as a state ρ SH). Here, H s the Hlbert space of the system an SH) := ρ BH) : ρ 0, tr[ρ] =. In the present work, we wll only eal wth fnte-mensonal Hlbert spaces. A state s pure f t has rank one. Val transformatons between quantum systems are gven n terms of completely postve maps. Let H, K be two Hlbert spaces an T : BH) BK) be a lnear map. Ths map s k-postve f the map T I k : BH) M k BK) M k s postve for k N. It s completely postve f T s k-postve for all k N. For T to be a quantum channel, we requre atonally that the map s trace preservng. Quantum mechancal measurements are escrbe usng effect operators,.e. Eff := E M sa : 0 E I. A measurement then correspons to a postve operator value measure POVM). Let Σ be the set of measurement outcomes, whch we assume to be fnte for smplcty. The corresponng POVM s then a set of effects E Σ, E Eff for all Σ, such that E = I. Σ Snce the actual measurement outcomes are not mportant for us, we wll wrte Σ = [m] for some m N. The man concept for the rest of ths work s the noton of ont measurablty. A collecton of POVMs s ontly measurable f they arse as margnals from a ont POVM see [HMZ6] for an ntroucton). Defnton 3.8 Jontly measurable POVMs). Let E ) be a collecton of -mensonal [m ] POVMs, where m N for all [g], g N. The POVMs are ontly measurable often also calle compatble) f there s a -mensonal ont POVM R,..., g wth [m ] such that for all u [g] an v [m u ], E u) v = [m ] [g]\ u R,..., u,v, u+,... g. There s an equvalent efnton of ont measurablty [HMZ6, Equaton 6], formulate n terms of post-processng, whch wll sometmes be useful. Measurements are compatble f an only f they arse through post-processng from a common measurement. Lemma 3.9. Let E ) M sa)k, [g], be a collecton of POVMs. These POVMs are ontly measurable f an only f there s some m N an a POVM M M sa)m such that m E ) = p x)m x x= for all [k ], [g] an some contonal probabltes p x). Not all measurements n quantum mechancs are compatble, but they can be mae compatble f we a enough nose. By ang nose we mean takng the convex combnaton of a POVM an a trval measurement,.e a POVM n whch all effects are proportonal to the entty. These are calle trval, because they o not epen on the state of the system. Wth ths ea, we can efne several compatblty regons,.e. sets of nose parameters for whch any collecton of a fxe

10 0 ANDREAS BLUHM AND ION NECHITA number of measurements n fxe menson an wth a fxe number outcomes s compatble. For the frst such set, we restrct to balance nose. Defnton Let k N g,, g N. Then, we call Γg,, k) := s [0, ] g : s E ) + s )I/k compatble POVMs E ) M sa )k the balance compatblty regon for g POVMs n mensons wth k outcomes, [g]. Sometmes t s esrable that the nose s lnear n the effect operators. Such nose arses n the framework of quantum steerng [UMG4, HKR5]. Defnton 3.2. Let k N g,, g N. Then, we call Γ ln g,, k) := s [0, ] g : s E ) + s ) tr[ E )] I compatble POVMs E ) M sa )k the lnear compatblty regon for g POVMs n mensons wth k outcomes, [g]. Let us prove a lemma whch shows that coarse granng,.e. groupng several outcomes together, oes not estroy ont measurablty. Lemma Let E ) M sa, )k k N, [g], be a collecton of ontly measurable POVMs. Then, also E ), [g] \ l an Ẽl) are ontly measurable, where an l [g], k l N, k l k l. Ẽ l) = E l),..., El) k l, E l) k l El) ) Proof. Let G,..., g, k, [g] be a ont POVM for the E). Then, we can efne a new POVM as G,..., g l k l G,..., g = k l =k l + G,..., l,, l+,..., g l = k l +. Note that on the left han se, k for [g] \ l an l [k l + ]. It can easly be verfe that ths POVM s a ont POVM for the E ) wth l) an Ẽl). Proposton Conser two g-tuples of ntegers k, k such that k k coornatewse,.e. k k, [g]). Let #, ln. Then, Γ # g,, k ) Γ # g,, k). Proof. Fx s Γg,, k ). Let further E ) M sa)k, [g] be a collecton of POVMs. Let Ẽ ) M sa)k be the POVM whch s equal to E ) n the frst k entres an 0 for the rest. Then, the s Ẽ ) + s )I/k are ontly measurable. Let F ) = s Ẽ ) + s )I/k,..., s Ẽ ) k + s )I/k, s ) k k ) k I. k l An teratve applcaton of Lemma 3.22 shows that also the F ) are ontly measurable. =,..., g ) [k + ]... [k g + ]. Defne = l an l k p l ) = k = k + an l k. 0 l > k Let

11 COMPATIBILITY AND THE MATRIX JEWEL These are contonal probabltes an t hols that p l )G = G + k g = [k +] g = [k +] =l g = [k +] =k + G = s E ) l + s ) I k + k k k k s )I = s E ) l + s ) I k. From Lemma 3.9, t follows that s Γg,, k). extenng the POVMs by zeroes. The asserton for Γ ln follows rectly from The followng proposton generalzes [BN8, Proposton 3.46)]. Proposton Let k N g. Further, let k max = max [g] k. Then, Proof. From Proposton 3.23, t follows that so t s enough to prove Γ ln g, k max, k g max) Γg,, k). Γg,, k g max) Γg,, k), Γ ln g, k max, k g max) Γg,, k g max). Pck g POVMs E ) of menson an wth k max outcomes each, [g]. Let F ) = E ) E ) +... E) +k max ) [k max ], [g]. Above, we are conserng the aton operaton moulo k max. Clearly, F ) 0 an k max = F ) = I kmax for any [g], so the F ) agan are POVMs. Let s Γ ln g, k max, k max). g Then, the s F ) + [ s )I kmax/k max are ontly measurable POVMs, because tr F ) ] /k max ) = /k max. Applyng an sometry onto the frst block of the rect sum ascertans that the s E ) + s )I /k max are ontly measurable as well. Snce the POVMs we pcke were arbtrary, the asserton follows. 4. The matrx ewel In the followng, we entfy the subalgebra of agonal matrces wth C. Defnton 4. Matrx ewel). Conser the vectors v k),..., vk) k Ck efne as The free spectraheron efne by v k) ε) := 2 k + 2δ ε,, [k ], ε [k]. D,k n) := X Msa n ) k : k = v k) X I kn s calle the matrx ewel base. For a g-tuple of non-negatve ntegers k = k,..., k g ), we efne the matrx ewel D,k to be the free spectraheron D,k := D,k ˆ D,k2 ˆ ˆ D,kg,.

12 2 ANDREAS BLUHM AND ION NECHITA where the rect sum operaton ˆ for free spectrahera was ntrouce n Secton 3.3. In other wors, we have 5) D,k n) = X Msa n ) g k [ = k ) : I ) v k ) I g )] X, I g s= k )n. = = Remark 4.2. The matrx ewel s the maxmal matrx convex set n the sense of [DDOSS7, Secton 4], see also eq. 3)) bult on top of the rect sum of smplces D,k ) D,k2 ) D,kg ). At level one, the matrx ewel base s somorphc to a smplex, for whch we can entfy the extremal ponts. Lemma 4.3. The extremal ponts of the ewel base D,k ) R k are x k) := k/2e, for [k ] k := k/2,..., ), k tmes x k) where e are the elements of the stanar orthonormal bass n R k. Proof. Snce D,k ) s a polyheron an snce the hyperplanes v ε),... v k ε)) k ε= are such that each k of them lnearly span R k, [Bar02, Theorem II.4.2] mples that t s enough to check whether each pont as above fulflls k of the above constrants wth equalty there s no pont whch fulflls all constrants wth equalty). We verfy for fxe ε [k]: an whch proves the clam. k v ε) k/2e ) = kδ ε,, [k ], = k v ε)k/2,..., ) = kδ ε,k, = At level, the matrx ewel base s, for k = 2, the segment [, ] R. We splay n Fgure the sets D,k ), for k = 3, 4. The noton of matrx ewel generalzes the matrx amon ntrouce Fgure. The spectraheron level of the matrx ewel base D,k ), for k = 3, 4.

13 COMPATIBILITY AND THE MATRIX JEWEL 3 n [DDOSS7]; nee, wth the notaton of [BN8], the matrx amon of sze g s gven by g D,g = D,2,..., 2) = g tmes = D,2. In Fgure 2, we prnt the frst level of the matrx ewel, for vectors k equal to, respectvely, 2, 2), 2, 2, 2), an 2, 3) Fgure 2. The spectraheron level of the matrx ewels D,2,2) ), D,2,2,2) ), an D,2,3) ). The frst two are n fact the matrx amons D,2 ) an D,3 ) from [BN8] a square an an octaheron), whle the last polyheron s new. 5. The matrx ewel an ont measurablty of POVMs In ths secton, we establsh an equvalence between the ncluson of the matrx ewel n a spectraheron efne by a tuple of POVMs an the ont measurablty of the POVMs. The ncluson at fferent levels wll correspon to fferent notons of ont measurablty. Our frst result relates the ncluson of the matrx ewel base, at level, to the efnton of a POVM. Proposton 5.. Let E M sa )k. Then, E,..., E k, I E... E k s a POVM f an only f D,k ) D 2E 2 k I). Proof. Snce the left han se s a polytope, we only nee to check the asserton on the extremal ponts x k) from Lemma 4.3. We have an Ths proves the asserton. k 2 e D 2E 2 k I) k 2 2E 2 k I) I E 0 k 2,..., ) D 2E 2 I) k k 2E 2 k k 2 k I) I E I. = = The followng theorem s one of our man results, connectng ont measurablty of arbtrary POVMs to the ncluson of the matrx ewel. It s a generalzaton of [BN8, Theorem 5.3] from the case of g bnary.e. 2-outcome) POVMs to general POVMs wth an arbtrary number of outcomes).

14 4 ANDREAS BLUHM AND ION NECHITA Theorem 5.2. For a fxe matrx menson, conser g tuples of self-aont matrces E ) M sa )k, k N, [g]. Defne E ) k := I E )... E) k, set k = k,..., k g ), an wrte D E := D 2E ) 2 I,...,2E k g) 2 kg I) = X Msa n ) g = k ) : n= = k = 2E ) 2 ) I k X, I n. Then ) D,k ) D E ) f an only f E ),..., E) k, [g] are POVMs. 2) D,k D E f an only f E ),..., E) k, [g] are ontly measurable POVMs. 3) D,k l) D E l) for l [] f an only f for any sometry V : C l C, the tuples V E ) V,..., V E ) k V, [g] are ontly measurable POVMs. Proof. Snce D,k ) s a polytope for all [g] an D,k = W max D,k )), the frst asserton follows from Lemmas 3.5 an 3.7 together wth Proposton 5.. For the secon asserton, let us efne, for [g] an [k ], w ) := I I tmes v k ) I I. g tmes Here, the v k ) are entfe wth) the agonal matrces appearng n Defnton 4., wth the approprate matrx menson k n the formula above). The free spectraheral ncluson hols f an only f the untal map Φ : OS M w ), efne as Φ : w ) [g], [k ] 2E ) 2 k I [g], [k ], s completely postve, snce D,k ) s a polytope an therefore boune. By Arveson s extenson theorem Φ s completely postve f an only f there s a completely postve extenson Φ : C k k g M of Φ. As C k k g s a commutatve matrx subalgebra, Φ s completely postve f an only f t s postve. Thus, t suffces to check the exstence of a postve extenson Φ, whch we wll o now. Let ε [k] := g = [k ]. Then, 6) w ) ε) = 2 k + 2δ ε),. Let g η C k k g, η [k] such that g η ε) = δ ε,η. These vectors form a bass of C k k g. Hence, we can rewrte eq. 6) as w ) ε) = 2 g η ε) + 2 g η ε). k η [k] η [k] η)= Let G η := Φg η ). The map Φ s postve f an only f G η 0 for all η [k]. By the efnton of Φ an ts untalty, we obtan 2 k I + 2 η [k] η)= G η = 2E ) 2 k I [g], [k ].

15 COMPATIBILITY AND THE MATRIX JEWEL 5 Thus, there exst a postve extenson Φ f an only f there exst G η η [k] such that G η 0 I = E ) η [k] = η [k] η)= G η η [k] G η [g], [k ]. Ths s equvalent to the G η beng a ont POVM for the also mply E )... E) k, snce the above contons E ) k k = I = E ) = η [k] k G η = η [k] η)= G η = η [k] η)=k G η [g]. Fnally, the thr clam follows from the secon one, usng the stanar argument n [BN8, Lemma 5.2 an Corollary 4.6]. The corresponence n the theorem above also extens to the level of balance compatblty regons / ncluson sets. The theorem below correspons to [BN8, Theorem 5.7] an s a generalzaton of the latter from bnary POVMs to POVMs wth an arbtrary number of outcomes. Theorem 5.3. Let, g N an k N g. Then, Γg,, k) = g,, k). Proof. Let s R g. It hols that s Γg,, k) f an only f s E ) + s )I /k, [g] are ontly measurable for any -mensonal POVMs wth k outcomes for the -th POVM. Let D E be as n Theorem 5.2. We fn that s k ),..., s kg ) g ) D,k D E D,k D 2s E ) 2s k I,...,2s ge g) 2sg kg I) D,k D 2F ) 2 k I,...,2F g) 2 kg I), where F ) = s E ) + s ) k I an [k ], [g]. Hence, t follows from Theorem 5.2 that s Γg,, k) f an only f the mplcaton ) D,k ) D E ) = s k ),..., s kg ) g D,k D E s true for all E = 2E ) 2 k I,..., 2E g) 2 k g I). Moreover, A 2A 2/k)I s a bectve map on M sa for fxe k N. Thus, s Γg,, k) s equvalent to s g,, k). 6. Compatblty results from quantum nformaton theory Havng establshe n the prevous secton the close relaton between the compatblty an ncluson sets, we gather next results from quantum nformaton theory whch prove upper an lower bouns on the sets Γ. Such bouns translate mmeately, va Theorem 5.3, to the corresponng bouns for the sets ; we postpone ths analyss untl Secton 9.

16 6 ANDREAS BLUHM AND ION NECHITA 6.. Upper bouns from MUBs. Mutually unbase bases MUBs) yel natural examples of POVMs whch are very far from beng compatble [WF89]. Recall that, n C, a collecton of g orthonormal bases ψ ), [g], s calle mutually unbase f = ψ ), ψ u v) 2 = for v an any, u []. Let E ) = ψ ) ψ ) ) be the corresponng effect operators. In the case where we construct one MUB from another one by applyng a Fourer transform,.e. ψ 2) k = e 2π lk ) ψ l l= we wll call these two MUBs canoncally conugate. The maxmal number of MUBs n menson s + an t s known that ths boun s attane f = p r for a prme number p an r N [WF89]. Apart from that, very few examples are known, see [DEBŻ0] for a revew. From [CHT2], we have the followng results on two canoncally conugate MUBs: Proposton 6. [CHT2, Proposton 5, Example an Proposton 6]). Let E ) an E 2) be the effect operators corresponng to two canoncally conugate MUBs. Then, λe ) + λ)i/ an µe 2) + µ)i/ are ontly measurable f an only f µ [ 2) λ) + 2 )λ 2 + 2)λ + ] equvalently, we can exchange λ an µ). Another equvalent form s that the above POVMs are ontly measurable f an only f µ + λ or λ 2 + µ 2 + In partcular, for µ = λ, ths smplfes to λ ) µ) λ). + For more than two MUBs, there s a necessary crteron whch generalzes the above n the symmetrc case. Proposton 6.2 [DSFB8, Equaton 0]). Let λe ) + λ)i/, [g] be ontly measurable. Then, t hols that + g λ g + ). There s a fferent approach to fnng necessary contons for ont measurablty evelope by H. Zhu. Whle t s not restrcte to MUBs, n seems to work best for these obects. We recall Zhu s ncompatblty crteron [Zhu5, ZHC6]. Defne, for any matrx A wth tr[a] 0, GA) := A A tr[a] ). M sa 2, where A = A tr[a]i/ an A s a vectorzaton of A. For a POVM E, we efne G E [k] ) = k GE ). =

17 COMPATIBILITY AND THE MATRIX JEWEL 7 Proposton 6.3 [Zhu5, Equatons 0,)]). Let E ), [g] be a collecton of compatble POVMs n M. Then, + mn tr[h] : H GE ) ), [g]. If we are ntereste n the case of g MUBs, we obtan the followng necessary crteron, whch appears n [ZHC6]. We wll prove a proof for convenence. Proposton 6.4. Let ψ ), [g] be a collecton of MUBs wth corresponng POVMs = E ). If λ E ) + λ )I/ are compatble for λ [0, ], then λ 2. = [ Proof. A straghtforwar calculaton shows that tr [ tr E ) E u v) ] = [ tr E ) E ) ] ) E u v) ) = 0 f an only f ] [ ] tr The latter conton s fulflle by the MUBs for v. Hence, the GE ) ) are parwse orthogonal an the same hols for GẼ) ), where Ẽ) = λ E ) + λ )I/, λ [0, ]. Ths mples that H GẼ) ) n Proposton 6.3. Therefore, Ths proves the clam. = = = = = = = E v) u [ ] tr GẼ) ) [ ] λ 2 tr GE ) ) λ Lower bouns from clonng. In ths secton, we wll revew some results on asymmetrc clonng, whch wll then translate nto lower bouns on the ncluson sets for the matrx ewel. See [BN8, Secton 6] for a more etale scusson. Let us efne the set of allowe parameters arsng from clonng: 7) Γ clone g, ) := s [0, ] g : T : M g X M, [g], T =. M untal an completely postve lnear map s.t. I ) X I n )) = s X + s ) tr[x] A clonng map C s a quantum channel from M to M g whch maps all pure states σ as close as possble to σ g. Often, the worst case sngle copy felty F s use to quantfy the error wth I.

18 8 ANDREAS BLUHM AND ION NECHITA respect to a perfect clonng evce whch s mpossble to mplement). Here, [ F C) := nf tr Cψ)I ) ψ I g )], [g]. ψ SH) pure The followng proposton clarfes the connecton between asymmetrc clonng an our efnton of Γ clone g, ), by showng that, wthout any loss n sngle copy feltes, any clonng map can be assume to have epolarzng margnals. It uses eas whch can be foun n [Wer98] see also [Has7]). Proposton 6.5. Let C : M M g s a channel C : M M g such that be a quantum channel wth F C) = η [g]. Then, there tr[ Cψ)I ) ψ I n )] = ν η ψ SC ) pure, [g]. Moreover, C can be chosen such that C A) = tr c[ca)] = λ A + λ ) tr[a] I A M. Here, λ = ν )/ ) [0, ] [g] an tr c[ ] enotes the partal trace over all systems but the -th one. Proof. We clam that we can choose C as a symmetrze verson of C,.e. CA) = U g )CU AU)U g ) µu) A M. U) Here, µ s the normalze Haar measure on the untary group. The margnals of ths map are C A) = tr c[u g )CU AU)U g ) ]µu) = U) U) UC U AU)U µu) A M, where we have wrtten C A) := tr c[ca)]. We observe further that for any V U) an A M, V C A)V = V UC U AU)U µu)v = U) U) = C V AV ), W C W V AV W )W µw ) where we have use left-nvarance of the Haar measure n the secon lne. Thus, 8) V C )V = C V V ). Let us compute the sngle copy feltes. tr[ Cψ)I ) ψ I n )] = U) U) [ tr CU ψu)i ) U ψu I n )] µu) η µu) = η. Here, we have use that U ψu s a pure state an that the Haar measure s postve. Ths shows the frst asserton. Let us now prove the thr asserton. Let τ 0 be the Cho matrx of C,.e.

19 COMPATIBILITY AND THE MATRIX JEWEL 9 τ 0 = I C )Ω), where Ω s the maxmally entangle state Ω := e e )e e ),= an e = s an orthonormal bass of C. Let V U). Then, V V )τ 0 V V ) = I C )V V )ΩV V ) ) = I C )Ω) = τ 0 where we have use Equaton 8) an the well-known trck A I )Ω = I A T )Ω for any A M. The above nvarance mples that τ 0 s an sotropc state an s therefore of the form [Key02, Secton 3..3] τ 0 λ ) 2 I 2 + λ Ω. By the Cho-Jamo lkowsk somorphsm, ths s equvalent to C A) = λ A + λ ) tr[a] I A M. Wth ths expresson, we can explctly compute the sngle copy feltes tr[ Cψ)I ) ψ I n )] ] = tr[ C ψ)ψ = λ + λ. Ths proves the secon asserton as well as the expresson for λ n terms of ν. Therefore, we can now use T = C n Equaton 7), whch shows that Γ clone g, ) nee arses from optmal asymmetrc clonng. The exact form of Γ clone g, ) has been compute n [Kay6, SĆHM4], usng fferent methos. To obtan the theorem below from [Kay6], one nees to perform the necessary transform from ν to λ. Theorem 6.6 [Kay6, Theorem, Secton 2.3]). For any g, 2 [ Γ clone g, ) = s [0, ] g : g + ) = s 2 ) + ) 2. In partcular, for s =... = s g, the maxmal value s s max = g + g + ). g ) ] s In the symmetrc case, the optmal clonng map s unque [Wer98, Key02]. The followng proposton shows that clonng gves nee a lower boun on the balance compatblty regon. Proposton 6.7. Let g, N an k N g an k max = max [g] k. Then, t hols that Γ clone g, k max ) Γg,, k). Proof. Usng ) G,..., g = T E )... E g) g as a ont POVM, where T s the map from Equaton 7), t s clear that 9) Γ clone g, D) Γ ln g, D, k), k N g, D N. The asserton follows then by Proposton =

20 20 ANDREAS BLUHM AND ION NECHITA Remark 6.8. Note that the left han se of Equaton 9) s nepenent of k, snce the clonng map s esgne to clone states, not measurements, such that we can perform any kn of measurement on the approxmate clones Lower bouns from symmetrzaton. In ths secton, we gve lower bouns on g,, k) by conserng ts ncluson nse more symmetrc spectrahera. We start wth a sngle pont. Theorem 6.9. Let g, N, k N, k = k,..., k g ). Then, ) 2 k,..., g,, k). k g Proof. We conser a symmetrzaton of the matrx ewel, whch we enote as D S,k := W max conv D,k ) D,k )). Snce the matrx ewel s a polytope on the frst level, D S,k s nee a free spectraheron. It hols that D,k D S,k, snce the ncluson hols at level an D S,k s a maxmal spectraheron see also [DDOSS7, Remark 4.2]). Let λ [0, ] g be such that λ D S,k ) D,k ). Then, for any B M sa ) g = k ), the mplcaton D,k ) D B ) = 2 λ D S,k D B hols by [BN8, Lemma 7.], whch generalzes [HKMS4, Lemma 8.2] to the complex settng. We can apply ths result to the asymmetrcally scale spectraheron, snce λ D A n) D B n) f an only f D A n) D λ B n) for any free spectrahera D A, D B an any n N. Therefore, λ/2) g,, k). We only nee to fn the largest val λ. As can be seen from comparng the extreme ponts, the symmetrzaton carres through the rect sum constructon of the matrx ewel, g D S,k ) = conv D,k ) D,k ). = We note that X D A f an only f X D A I, whch are the elements appearng as summans n the rect sum of free spectrahera. By Lemma 3.7, the contons on λ reuce to λ conv D,k ) D,k ) D,k ) for each [k]. We see that λ = /k ) s a val choce, snce D,k ) has extreme ponts k /2e, [k ] an k /2,..., ) by Lemma 4.3. Therefore, k /2,..., ) an k /2e k )D,k ) for all [k ]. Furthermore, we can approxmate the matrx ewel by sets for whch we know the ncluson constants. A convenent choce for such a set s the matrx amon. A smlar ea has been use n [Pas8, Secton 2]. Theorem 6.0. Let g, N, k N, k = k,..., k g ). Then, ) k ) 2,..., k g ) 2 g,, 2 ) g = k ) g,, k). In partcular, ) k ) 2,..., k g ) 2 QC g = k ) g,, k).

21 Proof. We observe that COMPATIBILITY AND THE MATRIX JEWEL 2 D,k ) k k ) D,k ). 2 Ths follows from the computaton of the l norms of the extremal ponts of the ewel base foun n Lemma 4.3. Moreover, the matrx amon s the maxmal spectraheron for the l -ball. Thus, together wth Lemma 3.7, k k ) D,k,..., k ) gk g ) D 2 2, g = k ) see agan [DDOSS7, Remark 4.2]). Furthermore, we nee to fn the largest λ 0 for [g] such that λ D,k ) D,k ). The extreme pont of the matrx amon are ±e for [k ]. It hols that ±λ e D,k ) f an only f [ ±λ e k ] 2, k. k 2 Ths follows rectly from Lemma 4.3. Thus, λ k /2k )). From Lemma 3.7, we nfer that ) k 2k ),..., k g D 2k g ), g = k )) D,k ). Let B M sa ) g = k ). Now, by the prevous reasonng, the mplcaton ) k 2k ),..., k g D 2k g ), g = k )) D,k ) D B ) = ) ) s k ) 2,..., s k g k g ) 2 D,k s 2k ),..., s k g g D 2k g ), g = k ) D B hols for all s g,, 2 g = k ) ). As B was arbtrary, ths proves the frst asserton. The secon follows from [BN8, Theorem 7.7], whch aapts results from [PSS8]. 7. Incompatblty wtnesses an the matrx cube In ths secton we ntrouce the noton of ncompatblty wtnesses n the case of tuples of bnary POVMs. The case of general POVMs wll be treate n the next secton. We woul lke to pont out that a relate noton was recently ntrouce by A. Jenčová n [Jen8]; see also [CHT8] for yet another noton of ncompatblty wtness. Let us start wth a smple calculaton motvatng the new efnton. Recall from [BN8, Theorem 5.3] or from Theorem 5.2) that a g quantum effects E,..., E g M are compatble f an only f for all elements of the matrx amon X D,g, t hols that 0) 2E I ) X I n. = Recall that for a g-tuple X,..., X g ) M sa n to be an element of the matrx amon, t nees to satsfy the followng contons: ε ± g, ε X I n. =

22 22 ANDREAS BLUHM AND ION NECHITA Let us now show, by a smple an rect computaton, why compatble effects E,..., E g must satsfy conton 0), for any choce of X as above. We wrte, for a ont POVM G, 2E I ) X = G η G η X = = η 0, g η =0 η 0, g η = = ) η G η X = η 0, g = [ ] G η ) η X η 0, g = G η I n η 0, g = I n. The computaton above ustfes the followng efnton. Defnton 7.. A g-tuple of self-aont matrces X M sa n ) g s calle an ncompatblty wtness f one of the followng equvalent contons hols: ) X s an element of the matrx amon D,g 2) for all sgn vectors ε ± g, g = ε X I n 3) for all sgn vectors ε ± g, g = ε X. We can now restate the secon clams n [BN8, Theorem 5.3] an Theorem 5.2 apple to bnary POVMs) as follows. Proposton 7.2. A set of -mensonal quantum effects E,..., E g ) s ontly measurable f an only f, for any ncompatblty wtness X, conton 0) hols. Moreover, one can restrct the sze of the ncompatblty wtness to be. Decng whether a g-tuple of operators s an ncompatblty wtness requres to check 2 g matrx nequaltes of sze n, a task whch s computatonally ntractable for large g. We relate ths queston to another free spectraheral ncluson problem, that of the complex matrx cube. Recall from [HKMS4] that the matrx cube s the free spectraheron D,g := X M sa n ) g : X, [g] = n= X M sa n ) g : n= where the vectors c,... c g C 2g are gven by We have the followng result. c X I 2gn, = c = e, e ). Proposton 7.3. A g-tuple X M sa )g s an ncompatblty wtness f an only f D,g ) D X ). Moreover, we have ) D,g D X = D,g ) D X ) = ϑ C g, D,g D X, where ϑ C g, are the symmetrc ncluson constants for the complex matrx cube.

23 COMPATIBILITY AND THE MATRIX JEWEL 23 Proof. The convex set ncluson D,g ) D X ) can be checke at the level of extremal ponts of the cube D,g ), whch are the 2 g sgn vectors ε ± g. The resultng contons are precsely the ones from Defnton 7.. Equaton ) follows from the efnton of the ncluson constants. Remark 7.4. The ncluson constants ϑ C g, above are the maxmal elements s D,g g,, 2 g ) such that s =... = s g. They are known to possess a menson nepenent lower boun, g /2 ϑ C g, [PSS8, Secton 6], whch s known to be tght for large enough. Remark 7.5. The chan of mplcatons ) suggests an effcent numercal proceure to etermne, up to some precson, whether a gven g-tuple of self-aont operators s an ncompatblty wtness. Ths s because the frst an the last free spectraheral nclusons can be formulate as an SDP, as follows: maxmze subect to s Φ : C 2g M untal, completely postve sφc ) = X [g]. If the value s of the SDP above s such that s, we conclue that the frst ncluson n ) hols, so X s an ncompatblty wtness. On the other han, f the optmal value s such that s < ϑ C g,, we conclue that X s not an ncompatblty wtness. However, f s [ϑ C g,, ), we cannot conclue anythng. Fnally, let us pont out that the SDP above has 3g + constrants of sze, hence t s more tractable than the orgnal brute-force conton, requrng 2 g matrx nequaltes. We en ths secton wth an example of an applcaton of the theory of ncompatblty wtnesses. We shall prove that the upper boun erve n [ULMH6] for the amount of nose neee to make a g-tuple of planar qubt POVMs ontly measurable can also be unerstoo n the framework of ncompatblty wtnesses. Recall that a planar qubt POVM s a bnary qubt POVM wth effects whch epen on only two Paul operators we choose σ X an σ Y below). In the case of planar qubt POVMs efne by vectors n the complex plane wth angles n arthmetc progresson, we have the followng result. Lemma 7.6. Let X = X,..., X g ) where X are planar qubt observables 2) X = cosπ/g)σ X + snπ/g)σ Y, [g]. Then, λx s a ncompatblty wtness f an only f λ snπ/2g)). Proof. Let ε ± g. The conton ε λx reuces n ths case, usng the Bloch ball pcture, to λ ε cosπ/g), ε snπ/g) λ ε ω, 2 = = where ω = exp2π/2g)) s a 2g-th root of unty. Note that choosng ε gves λ ω = 2 λ ω = λ snπ/2g)), = provng one recton of the concluson. For the other recton, note that ω = ω g+, hence the sgne sum of roots of unty correspons to a sum of a subset of sze g of 2g-roots of unty. The concluson wll follow from the followng clam, provng that any optmzer must be a rotaton of the ε case. =

24 24 ANDREAS BLUHM AND ION NECHITA Clam. The maxmzaton problem max J [2g] J s attane for a subset J 0 wth carnalty g an such that the set ω J0 s contane n some half-plane of C = R 2. Further, f J 0, then + g J 0 the sums are consere moulo 2g). Inee, let J be any maxmzer, an let s := J ω. We show that ω J les n the halfplane z R 2 : s, z 0. We wll use the followng fact: For two non-zero vectors a, b n a real Hlbert space, a, b 0 mples a + b > a. Assume that there s some J wth s, ω < 0. If g + / J, replacng wth g + taken cyclcally) woul ncrease the moulus of the sum, contractng maxmalty. Ths s true, because the sum s after replacement can be wrtten s = s 2ω an s, ω > 0. Then s > s by the fact above. If g + J, the two contrbutons cancel, an we can conser J = J \, g + an terate. So, there s no J such that s, ω < 0. Conversely, f [2g] such that s, ω 0, then J. If ths was not the case, we woul have s + ω > s whch contracts maxmalty. Hence, J g. Assume J > g. Then, there s an l J such that also g + l J. By the above, ths mples s, ω l 0 an thus s ω l > s. Removng l from J woul thus ncrease the moulus, contractng maxmalty. The above clam mples that J 0 ω = ω k [g] ω for some k [2g], as there are no more than g + consecutve ω n a half-space. Ths proves the asserton snce ω k =. Proposton 7.7. Let g be a fxe postve nteger, an conser the quantum effects ω E = 2 I 2 + t X ), [g], for some t [0, ], where X have been efne n 2). If the above effects are ontly measurable, then t snπ/2g)). = Proof. From the prevous lemma, we know that snπ/2g))x s an ncompatblty wtness, hence so s snπ/2g))x snπ/2g)) t X X I 4. = Let ω = /2 2,= e e )e e ) be the maxmally entangle state, where e, e 2 s the bass of C 2 wth respect to whch we transpose. By takng the Hlbert-Schmt nner prouct of the prevous nequalty wth ω, we obtan snπ/2g)) t, provng the clam. Here, we have use tr[ωa B] = /2 tr [ B T A ] [ ] an tr[σ X σ Y ] = 0, σx 2 = I 2 = σy 2, by whch tr = 2 [g]. X 2 Corollary 7.8. The proposton above mples the followng upper boun for the balance compatblty regons Γ ntrouce n [BN8] for bnary POVMs: for all g 2, Γg, 2, 2 g ) s [0, ]g : s snπ/2g)). = =

25 COMPATIBILITY AND THE MATRIX JEWEL 25 Remark 7.9. Very smlar eas were use n the proof of [BN8, Theorem 8.8]. There, t was shown that f F,..., F g are ant-commutng, self-aont, untary matrces, then the g-tuple s F,..., s g F g ) s an ncompatblty wtness for any unt norm vector s. As above, ths observaton, together wth the maxmally entangle state trck yels upper bouns on the sets Γg,, 2 g ). 8. Incompatblty wtnesses the general case We generalze here the noton of ncompatblty wtnesses ntrouce n the prevous secton for bnary POVMs to the case of POVMs wth arbtrary number of outcomes. Defnton 8.. Gven a g-tuple of ntegers k, we call the elements of the matrx ewel D,k ncompatblty wtnesses. An ncompatblty wtness X D,k n) has the property that for all compatble POVMs E ),..., E g) havng k outcomes, respectvely, the followng nequalty s satsfe = k = 2E ) 2 ) I X I n. k In orer to ece whether a gven g = k )-tuple X s an ncompatblty wtness, one has to check g = k ) matrx nequaltes see Defntons 4. an 3.2). When g s large, ths task becomes computatonally ffcult, so t useful to formulate the above membershp queston as a spectraheral ncluson problem whch can beneft from tractable relaxatons. To o so, we nee to conser the ual obect to the matrx ewel base), whch we ntrouce next. Defnton 8.2. Conser the vectors x k),..., xk) k C k from Lemma 4.3 an efne the vectors y k),..., yk) k Ck by y ) = x ), for all [k] an [k ]: The free spectraheron efne by D,k n) := y k) = k 2 e k e ), [k ]. X Msa n ) k : k = y k) X I kn s calle the matrx cubo base. For a g-tuple of non-negatve ntegers k = k,..., k g ), we efne the matrx cubo D,k to be the free spectraheron D,k := D,k ˆ D,k2 ˆ ˆ D,kg, where the Cartesan prouct operaton ˆ for free spectrahera was ntrouce n eq. 4). The efnton above generalzes the noton of ncompatblty wtness from Defnton 7. to the settng of g POVMs wth arbtrary number of outcomes: D,g = D,2 g. Note also that, at level n =, the matrx ewel base an the matrx cubo base are ual sets; n partcular, D,k ) s a smplex. Remark 8.3. The matrx cubo s the maxmal matrx convex set n the sense of [DDOSS7, Secton 4], see also eq. 3)) bult on top of the Cartesan prouct of smplces D,k ) D,k2 ) D,kg ). We splay n Fgure 3 some examples of the n = of matrx cubos. The relaton between the noton of ncompatblty wtness an the matrx cubo s gven n the followng result, whch generalzes Proposton 7.3. Proposton 8.4. A g-tuple X M sa D,k ) D X ). ) g. = k ) s an ncompatblty wtness f an only f

26 26 ANDREAS BLUHM AND ION NECHITA Fgure 3. Top row: the spectraheron level of the matrx cubo base D,k ), for k = 3, 4. Bottom row: the spectraheron level of the matrx cubos D,2,2) ), D,2,2,2) ), an D,2,3) ). The frst two are n fact the matrx cubes D,2 ) an D,3 ) from [HKMS4] a square an a cube), whle the last polyheron a trangular prsm, the Cartesan prouct of the trangle an the square) s new. Proof. The conton n the statement can be checke at the level of the extreme ponts of D,k ), whch are Cartesan proucts of the extreme ponts where w k) C k are gven by ext D,k ) ) = w,..., w k, w k) ) := 2 k + 2δ,, [k], [k ]. Note that the vectors w k) ntrouce above an the vectors v k) from Defnton 4. are relate by w k) ) = v k) ), for all [k] an [k ]. From the efnton of the Cartesan prouct, t follows that the extremal ponts of the matrx ewel base are ext D,k ) ) = w [k], where w s, ) = w ks) s ), [k s ], s [g]. The conton n the statement reas [k], s= k s = w s, )X s, I s= k s = v s, X s, I,