arxiv: v2 [quant-ph] 24 Aug 2012

Transcription

1 Quantum-correlaton breakng channels, broadcastng scenaros, and fnte Markov chans arv: v2 [quant-ph] 24 Aug 202 J. K. Korbcz,, P. Horodeck, 2,3 and R. Horodeck 4,3 ICFO-Insttut de Cènces Fotònques, Av. Carl Fredrch Gauss 3, Castelldefels, Barcelona, Span 2 Faculty of Appled Physcs and Mathematcs, Gdańsk Unversty of Technology, Gdańsk, Poland 3 Natonal Quantum Informaton Centre n Gdan sk, Sopot, Poland 4 Insttute of Theoretcal Physcs and Astrophyscs, Unversty of Gdańsk, Gdańsk, Poland (Dated: September, 208) One of the classcal results concernng quantum channels s the characterzaton of entanglementbreakng channels [M. Horodeck et al., Rev. Math. Phys 5, 629 (2003)]. We address the queston whether there exsts a smlar characterzaton on the level of quantum correlatons whch may go beyond entanglement. The answer s fully affrmatve n the case of breakng quantum correlatons down to the, so called, QC (Quantum-Classcal) type, whle t s no longer true n the CC (Classcal- Classcal) case. The correspondng channels turn out to be measurement maps. Our study also reveals an unexpected lnk between quantum state and local correlaton broadcastng and fnte Markov chans. We present a possblty of broadcastng va non von Neumann measurements, whch reles on the Perron-Frobenus Theorem. Surprsngly, ths s not the typcal generalzed C-NOT gate scenaro, appearng naturally n ths context. PACS numbers: Hk, Mn, Ta, Ga Keywords: quantum channels, quantum state and correlatons broadcastng, fnte Markov chans There s a well-known result concernng a characterzaton of entanglement-breakng channels [, 2]. The latter are defned as channels whch turn any bpartte state (when appled to one subsystem) nto a separable (nonentangled) one. The man result of Ref. [] states that a channel Λ s entanglement breakng f and only f ts Cho-Jamołkowsk state (.e. ts wtness) Λ(P + ) s a separable state (P + denotes the proector on the maxmally entangled state, see Eq. (2)). However, t s known that quantum correlatons are more general than entanglement (see e.g. Ref. [3] and references theren). To our knowledge, the characterzaton from Ref. [] has not yet been refned to a case when a channel breaks more general quantum correlatons,.e. transforms any state nto a state that does not possess some type of quantum correlatons (see however Ref. [4] where partal results were obtaned). Here we show that such a refnement s ndeed possble for channels mappng (when appled to one subsystem) any bpartte state nto a, so called, QC state. Such channels turn out to be quantumto-classcal measurement maps [5]. Moreover, we show that a smlar statement does not hold n the case of a stronger requrement of fully breakng quantum correlatons and transformng any bpartte state nto a CC form. In the latter case, whch s even more ntrgung than the QC one, the correspondng measurement maps are formed by commutng Postve Operator Valued Measures (POVMs). Our study of QC-type channels leads to an unntutve and surprsng connecton between broadcastng of quantum states [6] and correlatons [5, 7] on one sde, and fnte Markov chans (see e.g. Ref. [8]) on the other. Jaroslaw.Korbcz@cfo.es The exstence of a broadcastable state for a gven QCtype channel s guaranteed by the fact that each fnte Markov chan, descrbed by a stochastc transton matrx [9], possesses by the Perron-Frobenus Theorem a statonary dstrbuton. In fact, t happens that there are maps that may broadcast full rank states and stll have the broadcastng restrcted only to a convex subset of a full commutng famly. Smlar concluson works for the case of broadcastng of correlatons. Recall that a QC (or more precsely Q A C B ) state s a bpartte state of a form σ QC = p σ A e B e, () where σ s are states at Alce s sde, {e } s an orthonormal bass on Bob s sde (possbly dfferent from the computatonal bass { }), and p s are probabltes. In the analogous way one defnes a CQ (ore more precsely C A Q B ) state, where the classcal part (proectors on the orthonormal bass) s located at Alce s sde. Throughout the work we wll always assume that Λ s a trace-preservng, completely postve map,.e. a channel, and P + := ψ + ψ + = (2) d s the proector on the maxmally entangled state ψ + and { } s a fxed computatonal product bass. We prove the followng Theorem For any channel Λ ts Cho-Jamołkowsk state Λ(P + ) s a QC state f and only f Λ( AB ) s a QC state for any bpartte state AB. Proof. We propose to call the above type of channels QC-type channels. In order to setup the notaton and,

2 2 methods (cf. Ref. []), we present a detaled proof. In one drecton the mplcaton s obvous. To prove t n the other one, assume that the state Λ(P + ) s QC Λ(P + ) = p σ e e. (3) From the nverson formula for the Cho-Jamołkowsk somorphsm [0] Λ(A) = dtr A [ WΛ (A T ) ], (4) where W Λ = Λ(P + ) and the transposton s defned n the computatonal bass { }, t follows that (3) s equvalent to and hence Λ( ) = d Λ( AB ) = d k p Tr( σ T ) e e, (5) p k Tr B ( AB σ T k ) e k e k (6) for an arbtrary bpartte state AB. We defne unnormalzed resdual states and ther traces Ak := dp k Tr B ( AB σ T k), (7) p k := Tr Ak = dp ktr AB ( AB σk T ). (8) We show that k p k =. From the assumpton that Λ s trace-preservng, t follows that Tr B [ Λ(P + )] = TrΛ( ) d, = Tr = = d d d. (9), On the other hand, the QC assumpton (3) mples that and consequently Tr B [ Λ(P + )] = k p k σ k, (0) p k σ k = d. () k Hence, Eq. (6) may be rewrtten as Λ( AB ) = k p k Ak e k e k, (4) wth Ak := Ak /Tr Ak = Ak / p k, whch s a QC state. We remark that Thm. wll not n general be true f one changed the QC state to a CQ one, keepng the form of the Cho-Jamołkowsk somorphsm. Indeed, f Λ(P + ) = p e e σ, then from Eq. (4) t follows that Λ( ) = d p e e σ and Λ( AB ) = d p Tr B ( AB e e ) σ, whch s n general a separable state but not a CQ nor QC one. As an example, consder Λ CQ as a von Neumann measurement n the standard bass on a qubt. Obvously, Λ(P + ) s a CQ state, snce t s CC. Now consder a two-qubt state AB whch s an unbased mxture of the proectors correspondng to two vectors ψ + = / 2( 00 + ) and + 0 (here + := / 2( 0 + )). Then Λ( AB ) = /2 =0,, where 0 := /2( ) and :=. But [ 0, ] 0, breakng the necessary condton for Λ( AB ) to be a CQ state. As expected from the general results of Ref. [] on entanglement breakng channels, Eqs. (5), () and (2) mply that the acton of QC-type channel Λ QC consst of a POVM-measurement followed by a state preparaton, but the preparaton s always done n the same orthonormal bass {e } Λ( ) = Tr( E ) e e. (5) The later plays a role of a classcal regster, so that every QC-type channel s n fact a quantum-to-classcal measurement map [5]: Λ( ) gves the state of a measurng apparatus after the measurement of {E } on a system n the state. In the lght of ths observaton, Thm. states that a channel s a measurement map f and only f (ff) ts Cho-Jamołkowsk state s a QC state. A natural queston arses f one can refne Thm. even more to the so-called CC states,.e. states of a form σ CC =, p AB e e f f, (6) where now {e } and {f } are orthonormal bases on Alce s and Bob s sde correspondngly, and p s a classcal ont probablty dstrbuton. It turns out that as stated, Thm. does not specfy down to such a case, as even f Λ(P + ) s a CC state, Λ( AB ) s genercally a QC state. To see ths, assume that Thus, the collecton {dp σ }, or equvalently ts transposton Λ(P + ) =, p e e f f. (7) E := dp σ T, (2) forms a POVM, whch together wth Eq. (8) mples that p k = dtr AB ( AB p k σk T ) = Tr AB =. (3) k k From the nverson formula (4) one then obtans that Λ( ) = Tr( E ) f f, (8) Λ( AB ) = Tr B ( AB E ) f f, (9)

3 3 where now E := d p e he, (20) and the complex conugaton e of the bass vectors e s defined n the computatonal bass { }. Smlarly to the QC case, trace-preservng property P of Λ mples that {E } form a POVM, E = (cf. Eqs. (9)-()). However, n ths case the POVM elements necessarly parwse commute [E, E ] = 0, (2) snce by Eq. (20) they correspond to a measurement n one fixed bass, but they need not form a von Neumann measurement, as n general E s may overlap (22) p p e he 6= δ E. E E = What s qute mportant s that the POVM condton P E =, puts some constrants on p :, p =, p := d d p e he = (23) FIG.. Graphcal representaton of the set generated by vectors (29) as a sold torus. The cross-secton represents convex sets K(e ), generated by mxngp all the states ψ(~c; e )hψ(~c; e ) wth a fixed Alce s bass {e }: ~c p(~c) ψ(~c; e )hψ(~c; e ). Each K(e ) further contans a herarchy of convex sets of states wth Schmdt number [] not greater than k, k =,..., d. The acton of UA connects dfferent K(e ) s and preserves the Schmdt number sets. whch n turn mples that the numbers pλ := dp (24) P are n fact condtonal probabltes: pλ = for any. Thus, the matrx P Λ := [pλ ] s a stochastc matrx [9] and (25) pλ e he. E = From a probablstc pont of vew, a stochastc matrx defines a finte Markov chan [8]: t provdes transton probabltes between the stes. Hence, wth every CCtype channel satsfyng (7) there s an assocated finte Markov chan and vce versa wth every d-ste Markov chan and orthonormal bases {e }, {f } one can assocate a CC-type channel through the formulas (8) and (25). In what follows we wll also assocate a finte Markov chan wth a general QC-type channel and nvestgate the consequences for broadcastng of states and correlatons. The state (9) s obvously a QC state. It wll be a CC state ff there exsts a common bass {e } such that p e he, TrB ( AB E ) = p (26) for every, where p := Tr( AB E ) and p := (/p )he TrB ( AB E ) e. Condton (26) means that all the Alce resdual states, to whch Bob steers va hs measurement A := TrB ( AB E ), p (27) are smultaneously dagonalzable, or equvalently A [ A, ] = 0 (28) for all, (cf. Eq. (9)). Let us nvestgate the set CC(Λ) of states AB whch solve the above condton,.e. lead to a CC state va (9) for a gven CC-type channel Λ. We are able to state what follows Obvously P+ CC(Λ), by the very assumpton (7), but t also contans mxtures of pure states wth the followng Schmdt decompostons: c e A e B, (29) ψab (~c; e ) := P 2 where ~c Rd+, c =, {e } s some arbtrary bass, and {e } s the fix bass from Eq. (25). Indeed, the (27) for ψ(~c; e )hψ(~c; e ) read: P states Λ 2 p c e p A = he, from whch there appears a stratfied structure of convex sets generated by (29): mxng s allowed only wthn the states wth the same, fixed {e }, thus generatng convex subsets K(e ). Partal untares UA transform between dfferent K(e ) s. Furthermore, nsde each K(e ) there s a herarchy of convex sets wth ncreasng Schmdt number []. Ths herarchy s preserved by UA. A schematc representaton of ths set s gven n Fg.. Note that both ψ+ and ts local orbt UA UB ψ+ are of the form (29), as UA UB ψ+ = (UA UBT )ψ+ and

4 4 U A UB T s untary. For a general QC-type channel, the states (29) (for an arbtrary {e }) wll not be n ts CC(Λ QC ), snce the resdual states p A =,k c c k e EQC e k ẽ k ẽ wll not n general commute as E QC s do not. All CQ (C A Q B ) states belong to CC(Λ). Indeed, substtutng nto Eq. (9) an arbtrary C A Q B state AB = p ẽ A ẽ σ B, (30) we obtan from Eq. (27) that A = (p /p )Tr(σ B E ) ẽ ẽ. Snce Tr(σ B E ) = p s the condtonal probablty of obtanng result when measurng POVM {E } n the state σ B, from Bayes Theorem (p /p )Tr(σ B E ) = p s the needed condtonal probablty (cf. Eq. (26)). A schematc representaton of the set of CQ states s gven n Fg. 2. For a general QC-type channel, CQ states are also n ts CC(Λ QC ). Smlarly to the set of all CC states, CC(Λ) s not convex, whch s easly seen from the b-lnearty of the condton (28), but s star-shaped wth respect to the maxmally mxed state/d 2 : f AB CC(Λ), then AB := λ AB +( λ) A B d 2 CC(Λ). (3) Ths follows mmedately form (27), as p A = λp A +( λ)(tre )/d 2 and A parwse commute ff A do so. The same s true for CC(Λ QC ) for a general CQ-type channel. We do not know at ths stage f the above condtons fully characterze CC(Λ) for a gven Λ CC and we postpone the queston of ts full characterzaton for a future research. Obvously, one can defne the set CC(Λ) for any channel Λ, however n the lght of Thm. for QC- and CC-type channels t possesses an nterestng nterpretaton: If we thnk of Alce and Bob as of Envronment and System respectvely, then CC(Λ) s the set of those ntal System-Envronment states AB that after the measurement, descrbed by Thm. by everyλ QC, and tracng out the System lead to Apparatus-Envronment states wth no quantum correlatons,.e. the Apparatus becomes quantumly de-correlated from the Envronment. We now nvestgate f a QC-type channel Λ QC can be used (after a modfcaton) for state broadcastng [6]. We frst study a relaxed scenaro where we broadcast only egenvalues, or n other words a classcal probablty dstrbuton: For a gven state we are lookng for a broadcast state σ AB such that U A Tr B σ AB U A = = U B Tr A σ AB U B for some untares U A,U B. We wll call such a relax broadcastng spectrum broadcastng and the usual state broadcastng n the sense of Ref. [6] full broadcastng. In what follows we prove FIG. 2. Graphcal representaton of the set of CQ states as a concal surface. The generators of the cone represent convex subsets C(ẽ), obtaned by mxng all the states of the form p ẽ ẽ σ wth a fxed Alce s bass {ẽ}. The local group U B acts along each such a subset. Dfferent subsets are connected by the acton of [U A], where [U A] denotes the class of U A modulo a permutaton matrx (evdently the acton of Alce s permutatons conserve each C(ẽ)). The whole set s star-shaped wth respect to ( )/d 2. Theorem 2 For any QC-type channel Λ QC and any orthonormal bass {φ } there exsts at least one state (φ), dagonal n {φ }, whch s N-copy spectrum-broadcastable usng Λ QC. The state (e), dagonal n the channel s bass {e } (cf. Eq. (3)), s also N-copy fully broadcastable. Proof. By Thm. and Eq. (5) every QC-type channel s a quantum-to-classcal measurement map. A suffcent condton for spectrum-broadcastablty of a state (φ) := λ (φ) φ φ (32) s then that ts egenvalues λ(φ) are preserved by the measurement,.e. Tr ( (φ)e ) = λ (φ) (33) for every. Ths s equvalent to the followng egenvalue problem p (φ)λ (φ) = λ (φ) (34) for a d d stochastc matrx P(φ) := [p (φ)], p (φ) := φ E φ. (35) That ths s a stochastc matrx, or equvalently a matrx of condtonal probabltes, follows from the fact that E s form a POVM by Eqs. () and (2): ( p (φ) = φ E )φ = φ φ = (36)

5 5 for every. By the celebrated Perron-Frobenus Theorem [9] the above egenvalue problem (34) has at least one non-negatve, normalzed soluton λ (φ), from whch we construct through Eq. (32) the desred state (φ). Moreover, ths soluton s unque ff the matrxp(φ) = [p (φ)] s prmtve,.e. s rreducble and possesses exactly one egenvector of the maxmum modulus (equal to n our case), whch n turn s equvalent to that all the entres of the (d 2 2d+2)-th power of P(φ) are non-zero [9]. We now construct from Λ QC a new channel (cf. Eq. (5)) Λ (N) ( ) := Tr( E ) e e e e, (37) whch by condton (33) N-copy spectrum-broadcasts the state (φ) (or equvalently N-copy broadcast ts egenvalues). Snce the bass {φ } above was arbtrary, we obtan from the Perron-Frobenus Theorem that there exsts a spectrum-broadcastable state n any bass (the states n dfferent bases can be equal though, e.g. when the bases dffer only by a permutaton). For the bass {e }, assocated wth Λ QC by the QC-condton (3), the correspondng state (e) wll be a fxed pont of Λ QC : Λ QC ( (e)) = (e) by Eqs. (5) and (33). Thus Λ (N) ( (e)) = λ (e) e e e e s a full N-copy broadcast state of (e). All the above obvously apples to CC-type channels, as a subclass of QC-type ones. However, as already mentoned, wth any CC-type channel Λ there s a naturally assocated stochastc matrx p Λ through Eqs. (7,24), wthout a need of an addtonal bass ({e } of Eq. (25) plays ts role). The correspondng soluton λ Λ λ (e ) of (34), pλ λλ = λλ, and the state Λ (e ) are now ntrnsc characterstcs of the channel. Note that for an arbtrary bass {φ }, Eq. (34) reads p Λ U k 2 λ k (φ) = λ (φ), (38),k where φ =: Ue and U k 2 := e Ue k 2 s a doublystochastc matrx. By the Brkhoff Theorem every such a matrx s a convex combnaton of at most d 2 2d+2 dstnct permutaton matrces P σ, σ S d [9] and hence p (φ) = p σ p Λ k (P σ) k = p σ p Λ σ (), σ S d k σ S d (39) whle for a general QC-type channel there wll also be a coherent part: p (Uφ) = p σ p σ ()(φ)+ Uk U l k E l. σ S d k l (40) The exstence of fully broadcastable state(s) (e) for any QC-type channel s n some way surprsng, as the measurements descrbed by such channels are n general not von Neumann measurements, but POVMs (cf. Eq. (5)). The exstence of a whole famly of spectrumbroadcastable states s perhaps even more surprsng. Note, however, that spectrum-broadcastablty s a far weaker condton than full state broadcastng. By the same reason, although the broadcastng channel Λ (N) s the same for every bass t depends only on Λ, we do not contradct the no-go theorem for state broadcastng from Ref. [6]. From a probablstc pont of vew, the exstence of (spectrum-)broadcastable states follows form the fact that one can assocate a fnte Markov process wth the problem through Eq. (35), and by the Perron-Frobenus Theorem each such a process possesses a statonary dstrbuton. The (spectrum-)broadcastable states are constructed precsely from ths dstrbuton. Let us contnue the above analyss and study the mplcatons of the Ergodc Theorem for fnte Markov chans [9]: For a stochastc matrx P, there exsts a lmt P := lm r P r ff P s prmtve. The lmt s gven by P = λ, (4) where λ s the statonary dstrbuton (Perron vector) of P (cf. Eq. (34)) and := (,...,). Note that the lmtng matrx elements are the same for each column ndex : Asymptotcally the probablty for the process to be at ste does not depend on the ntal ste. As a consequence, the lmtng dstrbuton of the process p := P p wll not depend on the ntal dstrbuton p : P p = λ. (42) Consder now the r-th power of a QC-type channel Λ: Λ r ( ) =, P(e) r Tr( E ) e e, (43) where P(e) s defned through Eq. (35). By the Ergodc Theorem, the lmt lm r Λ r =: Λ exsts ff the matrx P(e) s prmtve. By Eqs. (4) and (43), Λ s then a constant channel, analogously to (42) Λ ( ) = (e) (44) for any state. Indeed, Λ ( ) =, P(e) Tr( E ) e e = (Tr ) λ e e = (e) (cf. Eq. (32)). As a consequence, Λ breaks all correlatons: Λ ( AB ) = B, B := Tr B AB. An nterestng stuaton arses when Eq. (34) has more than one soluton,.e. when a QC-type channel Λ QC (spectrum-)broadcasts [2] more than one state. Probablstcally, ths means that the Markov process, correspondng to Λ QC and a context {φ } through Eq. (35), possesses more than one statonary dstrbuton. Ths happens when the process splts nto two or more dsconnected processes. Algebracally ths means that the tran-

6 6 ston matrx P(φ) = [p (φ)] s, modulo a column permutaton, a drect sum of two or more prmtve stochastc matrces P d d (φ) = P () k k (φ) P(2) (d k) (d k)(φ). (45) Accordng to the Perron-Frobenus Theorem, each of the blocks has a unque Perron vector λ () (φ), λ (2) (φ) correspondngly (each of them s normalzed). Clearly, any d-dmensonal vector of the form λ = p λ () ( p) λ (2) s agan an egenvalue- egenvector of P(φ) for any p [0, ]. We shall denote the correspondng states by () (φ) := dag[λ (),..,λ() k,0,..,0], (2) (φ) := dag[0,..,0,λ (2) k+,..,λ(2) d ]. Ths s an example of the case where any state from the convex combnaton p () + ( p) (2) can be (spectrum-)broadcasted. Clearly, ths example generalzes to more than a bnary combnaton of states f the matrx P(φ) decomposes nto more than two components: f the number of terms (degeneracy) n Eq. (45) s D, there exsts a D-dmensonal smplex of states (spectrum-)broadcastable by Λ QC (cf. Eq. (37)). The most degenerate case s of course when D = d,.e. when the transton matrxp(φ) =, so that the Markov process s trval there are no transtons between the stes, whch happens when the POVM s n fact a von Neumann measurement n {φ }: E = φ φ. One can contnue the above analyss and consder local broadcastng of correlatons. From the general No-Local- Broadcastng Theorem from Ref. [5], we know that the only locally broadcastable states are the CC ones. Let us thus consder a famly of CC states, buld from the statonary solutons (m) (φ) correspondng to a degenerate transton matrx P(φ): AB (π;φ) := = d D,=m,n= D m,n= π mn (m) (φ) (n) (φ) π mn λ (m) λ (n) φ φ φ φ. (46) Applyng to AB (π;φ) the product channel Λ (N) Λ (N), where Λ (N) s defned n (37), one acheves a local N- copy (spectrum-)broadcastng [2] of the classcal correlatons: [Λ (N) Λ (N) ] AB (π;φ) = σ A...A NB...B N (π;φ) and all the bpartte reductons σ ArB r (π;φ) are (untary equvalent/)equal to AB (π;φ). We present a concrete example of ths broadcastng scheme n the Appendx, Eqs. (A.,A.2), whle a verson wth two dfferent channels wll be studed n what follows. Let us now assume that two dfferent channels Λ A,Λ B satsfy the assumptons of Thm. on Alce s and Bob s sde respectvely,.e. Λ A (P + ) = Λ B (P + ) = p A e A e σ B, (47) p B σ A f B f. (48) Then one easly proves Corollary 3 If Λ A (P + ) and Λ B (P + ) are C A Q B and Q A C B states respectvely, then Λ A Λ B ( AB ) s a CC state for any state AB. Proof. Indeed, from the proof of Thm. t follows that Λ A andλ B are measurement maps (cf. Eq. (5)) on Alce and Bob sdes respectvely, defned by POVM elements Thus E A := dp A (σb )T, E B := dp B (σa )T. (49) Λ A Λ B ( AB ) = (Λ A )( Λ B ) AB =, =, Tr A [ E A Tr B ( AB E B )] e e f f Tr( AB E A E B ) e e f f. (50) The analyss of state broadcastng may be repeated n the present scenaro as well. Snce AB Λ CQ A ΛQC B B (PABA + ) = [ A Λ CQ A (PAA + )] [ B Λ QC B (PBB + )], the channel Λ CQ A ΛQC B s of a Q A BC AB - type. From Thm. 2 t then mmedately follows that for any bass {φ AB α }, α =,...,d Ad B, of H A H B (the spaces H A, H B need not be the same now) there exsts a state AB (φ AB ), buld from a statonary dstrbuton of the stochastc matrx (35) P AB (φ AB ) αβ := φ AB β EA E B φab β, (5) α := (), and locally (spectrum-)broadcastable through Λ (N) A Λ(N) B (cf. Eq. (37)). Note that the bass {φab α } need not be a product one n general. However, for a product bass φ AB α φ A φ B one can say more. The matrx P AB (φ AB ) s then a product as well: P AB (φ AB ) = P A (φ A ) P B (φ B ) and P AB (φ AB ) s prmtve ff both P A (φ A ) and P B (φ B ) are,.e. Λ (N) Λ (N) B A, spectrum-broadcast only one state each. In such a case, the product state AB (φ AB ) = A (φ A ) B (φ B ) s the only state that can be spectrum-broadcasted and there s no local broadcastng of classcal correlatons the spectrum of AB (φ AB ) s a product, λ (φ AB ) = λ (φ A )λ (φ B ). If, however, at least one channel spectrum-broadcasts more than one state, then there exsts a famly of locally spectrum-broadcastable correlated CC states, bult analogously as n Eq. (46): AB (π;φ A,φ B ) := D A,D B m,n= πmn (m) A (φa ) (n) B (φb ). A concrete example of such a stuaton s presented n the Appendx, Eqs. (A.3,A.4). When t comes to local full state broadcastng, by Thm. 2 t s guaranteed for AB (e,f), whch s a CC state n the bases {e }, {f } (cf. Eqs. (47,48)), n accordance wth the general results of Ref. [5]. Agan, f both matrces P A (e) and P B (f) are prmtve, AB (e,f) s a product state wth no correlatons. However, f at least one P A (e) or P B (f) s

7 7 not prmtve, by the above constructon there wll be a famly of locally broadcastable correlated CC states AB (π;e,f). Before we conclude, let us dgress on a nature of some multpartte QC states. We assume that e.g. Bob holds two (possbly dfferent) subsystems and that the ont state s Q A C BB, that s ABB = α p α σ A α e α BB e α, (52) where {e α } s a bass n H B H B, labeled by α. It s not necessarly a product bass for the defnton of a Q A C BB state t s enough that t s orthonormal. What s nterestng s that smultaneously forcng both reductons AB := Tr B ABB and AB := Tr B ABB to be Q A C B and Q A C B respectvely: AB = λ A e B e, (53) AB = π τ A f B f (54) does not force ABB to be Q AB C B and Q AB C B smultaneously (we may label such a class by Q A C B C B ),.e. {e α } n (52) stll need not be a product bass. As a smple example consder H B = H B = C 2, and {e α } α=,...,4 the Bell bass. Then obvously both reductons AB, AB are product, /2 ( α p ασ α ), and hence trvally QA C B and Q A C B, but the whole state ABB s not Q A C B C B. In some sense a converse of the above observaton s also true: there exst Q A C BB states wth a product bass on BB, whch are nevertheless not Q A C B C B, or, equvalently, both reductons Tr B ABB and Tr B ABB are not Q A C B and Q A C B respectvely. As an example of such a state consder H B = H B = C 3, and choose as {e α } α=,...,9 n (52) the nonlocalty wthout entanglement 3 3 bass from Ref. [3]. Then both Tr B ABB and Tr B ABB wll contan an overcomplete set on B and B sde respectvely. In concluson, we have provded a refnement of the characterzaton of entanglement breakng channels from Ref. [] to more general quantum correlatons and connected t to measurement maps, quantum state/correlatons broadcastng, and fnte Markov chans. We have consdered two classes of channels the ones that () break quantum correlatons by turnng them nto the QC form and () that fully break quantum correlatons by turnng them nto CC ones. We have shown that a channel belongs to the frst class ff t turns a maxmally entangled state nto a QC state or equvalently t s represented by a measure-and-prepare scheme, where the outcomes of a POVM measurement are followed by a preparaton of states from some specfc orthonormal bass. In other words, t s a quantum-to-classcal measurement map (.e. t gves the state of the Apparatus after tracng the System). Surprsngly, a smlar queston n the case of the second class of channels becomes even more nterestng: the analogy to entanglement-breakng channels now fals and one cannot characterze the channels from the second class only by ther actons on the maxmally entangled state. However, a characterzaton from a dfferent perspectve seems possble. Frst of all, t turns out that the POVMs, consttutng the channels, are mutually commutng and arse from a stochastc matrx, thus makng a connecton to fnte Markov chans. Second, the set of bpartte states that are mapped nto the CC form s more complcated. Our analyss of the ablty to broadcast quantum states and correlatons by QC-type channels reveals an nterestng applcaton of the Perron-Frobenus Theorem. The exstence of a famly of spectrum-broadcastable states and at least one fully broadcastable state, even f the POVM measurement s not of the von Neumann type, follows from the fact that each fnte Markov process possesses a statonary dstrbuton. Ths broadcastng scheme, albet n general substantally weaker than the standard broadcastng of e.g. Refs. [5, 6], surprsngly goes beyond the smple C-NOT scenaro. The connecton between broadcastng and fnte Markov chans s, to our knowledge, qute unexpected and wll be a subect of a further research. In fact, perfect broadcastng operatons appled so far corresponded to a scenaro where to a gven nput CC state AB =, p one locally apples the generalzed C-NOT gates U :=. Applcaton of the Perron-Frobenus Theorem presented n ths work goes beyond ths smple scenaro. We beleve that the current work opens new perspectves for an analyss of the measurement problem and state/correlatons broadcastng. Especally nterestng seems possblty to study quantum decoherence n terms of broadcastng. We thank D. Chruścńsk, A. Grudka, M. Horodeck, M. Kuś, A. Rutkowsk, K. Życzkowsk for dscussons and remarks, F. G. S. L. Brandão for a queston on the CQ lmtaton of Thm., and J. Wehr for provdng useful nformaton on Markov chans. Ths work s supported by the ERC Advanced Grant QOLAPS and Natonal Scence Centre proect Maestro DEC- 20/02/A/ST2/ JKK acknowledges the fnancal support of the QCS and TOQUATA Proects and would lke to thank Natonal Quantum Informaton Centre (KCIK) n Gdańsk and Center for Theoretcal Physcs of The Polsh Academy of Scences for hosptalty. Appendx Consder the followng example. Let P () := (A.)

8 8 for some fxed bass {φ } and P (2) be an arbtrary rreducble bstochastc matrx on R 3, say: P (2) := (A.2) for the same bass. Snce we know that any matrx A M d d (R) wth non-negatve elements s rreducble ff (+A) d has all elements non-negatve, we may easly check that both matrces are rreducble. The unque Perron vector of P () s ust λ () = [ 3, 6, 2 ]T. The unque egenvector of the rreducble bstochastc matrx s of course λ (2) = [ 3, 3, 3 ]T. Consder now the stochastc matrx P := P () P (2) on R 6 Then any state of the form AB (π) = 2 m,n= πmn (m) (n) wth () := dag[ 3, 6, 2 ] can be spectrum/full broadcasted by the product of the channels Λ (N), defned n Eq. (37). Even smpler example wth two dfferent channels can be constructed to llustrate spectrum/full broadcastng of ] and (2) := dag[ 3, 3, 3 correlatons. Namely, consder two bstochastc matrces of the form: and P A := P B 3 := (A.3) (A.4) for some bass {φ }. They are clearly reducble. Fndng ther Perron vectors and defnng AB (π) := 2 m,n= πmn (m) () B as () A := dag[0, 2, 2 ], (2) A := [,0,0] and () B := dag[ 2,0, 2 ], (2) B := [0,,0], we see that AB (π) s locally broadcastable by the map Λ (N) A (37). Λ(N) B where Λ A, Λ B are defned agan through [] M. Horodeck, P. W. Shor, and M. B. Ruska, Rev. Math. Phys 5, 629 (2003). [2] A. S. Holevo, Problems of Informaton Transmsson 44, 3 (2008). [3] K. Mod, A. Brodutch, H. Cable, T. Paterek, and V. Vedral, arv: (20). [4] Y. Hrota, D. Chruścńsk, T. Matsuoka, and M. Ohya, arv: v (20). [5] M. Pan, P. Horodeck, and R. Horodeck, Phys. Rev. Lett. 00, (2008). [6] H. Barnum, C. M. Caves, C. A. Fuchs, R. Jozsa, and B. Schumacher, Phys. Rev. Lett. 76, 288 (996). [7] S. Luo and W. Sun, Phys. Rev. A 82, (200). [8] J. G. Kemeny and J. L. Snell, Fnte Markov Chans, Sprnger-Verlag, New York (976). [9] R. A. Horn and C. R. Johnson, Matrx Analyss, Cambrdge Unversty Press, Cambrdge (985). [0] A. Jamołkowsk, Rep. Math. Phys. 3, 275 (972); M.-D. Cho, Lnear Algebra Appl. 0, 285 (975). [] A. Sanpera, D. Bruß, and M. Lewensten, Phys. Rev. A 63, (200). [2] Obvously, by Thm. 2 whether we consder spectrum broadcastng or full broadcastng depends on the consdered bass: spectrum-broadcastng s grated for any bass, whle full broadcastng s warranted for (at least) the bass {e } assocated wth the channel by the condton (3). [3] Ch. H. Bennett, D. P. DVncenzo, Ch. A. Fuchs, T. Mor, E. Rans, P. W. Shor, J. A. Smoln, and W. K. Wooters, Phys. Rev. A 59, 070 (999).