arxiv: v4 [quant-ph] 28 Oct 2009

Size: px
Start display at page:

Download "arxiv: v4 [quant-ph] 28 Oct 2009"

Transcription

1 Max- Relative Entropy of Entanglement, alias Log Robustness arxiv: v4 [quant-ph] 28 Oct 2009 Nilanjana Datta, Statistical Laboratory, DPMMS, University of Cambridge, Cambridge CB3 0WB, UK (Dated: January 20, 204) Properties of the max- relative entropy of entanglement, defined in [0], are investigated, and its significance as an upper bound to the one-shot rate for perfect entanglement dilution, under a particular class of quantum operations, is discussed. It is shown that it is in fact equal to another known entanglement monotone, namely the log robustness, defined in [7]. It is known that the latter is not asymptotically continuous and it is not known whether it is weakly additive. However, by suitably modifying the max- relative entropy of entanglement we obtain a quantity which is seen to satisfy both these properties. In fact, the modified quantity is shown to be equal to the regularised relative entropy of entanglement. INTRODUCTION In [23], Renner introduced two important entropic quantities, called the min- and max- entropies. Recently, the operational meanings of these quantities, i.e., their relevance with regard to actual information-processing tasks, was elucidated in [5]. Further, two new relative entropy quantities, which act as parent quantities for these min- and max- entropies, were introduced in [0]. These were, namely, the max-relative entropy, D max (ρ σ), and the min-relative entropy, D min (ρ σ). Here ρ denotes a state and σ denotes a positive operator. Various properties of these quantities were proved in [0]. In particular, it was shown that D min (ρ σ) S(ρ σ) D max (ρ σ), where S(ρ σ) is the relative entropy of ρ and σ. In addition, it was shown in [0] that the minimum over all separable states, σ, of D max (ρ σ), defines a (full) entanglement monotone [33] for a bipartite state ρ. This quantity, referred to as the the max-relative entropy of entanglement and denoted by E max (ρ), was proven to be an upper bound to the relative entropy of entanglement, E R (ρ) [29]. In this paper we investigate further properties of E max (ρ) and discuss its significance. We prove that it is quasiconvex, i.e., for a mixture of states ρ = n i= p iρ i, E max (ρ) max i n E max (ρ i ). We also infer that it is not asymptotically continuous [2], and does not reduce to the entropy of entanglement for pure bipartite states (that is, to the entropy of the reduced state of either of the two parties). We do so by showing that E max (ρ) is in fact equal to another known entanglement monotone, namely, the log robustness [7]: LR g (ρ) := log(+r g (ρ)). Here R g (ρ) denotes the global robustness [3] of ρ, which is a measure of the amount of noise that can be added to an entangled state ρ before it becomes unentangled (separable). By suitably modifying E max (ρ), we arrive at a quantity, which we denote by E max (ρ), and which is asymptotically continuous and weakly additive [34]. Asymptotic continuity (24) is proved by showing that E max (ρ) is equal to the regularised relative entropy of entanglement ER (ρ) [], for which this property has been proved [9]. The necessary modifications involve (i) smoothing E max (ρ) to obtain the smooth max-relative entropy of entanglement Emax ε (ρ), for any fixed ε > 0. (This is similar to the smoothing introduced by Renner [23] to obtain the smooth Rényi entropies from the minand max- entropies mentioned above); (ii) regularising, and (iii) taking the limit ε 0 (see the following sections). It would be natural to proceed analogously with the min-relative entropy and define a quantity, E min (ρ), to be the minimum over all separable states, σ, of D min (ρ σ). However, it can be shown [35] that E min (ρ) is not a full entanglement monotone. It can increase on average under local operations and classical comunication (LOCC). Instead E min (ρ) satisfies a weaker condition of monotonicity under LOCC maps, that is, E min (ρ) E min (Λ(ρ)), for any LOCC operation Λ. Nevertheless, as for the case of E max (ρ), a smoothing of E min (ρ), followed by regularisation, yields a quantity which is equal to ER (ρ), in the limit of the smoothing parameter ε 0. This will be presented in a forthcoming paper [6]. In [7] it was shown that ER (ρ) is equal to both the entanglement cost and the distillable entanglement under the set of quantum operations which do not generate any entanglement asymptotically [for details, see [7]]. This gives an operational significance to the regularised version of the smooth max- and min- relative entropies of entanglement, in the limit ε 0. For a given ε > 0, the smoothed versions, Emax(ρ) ε and Emin ε (ρ), of the max- and min- relative entropies of entanglement, also have operational interpretations. They arise as optimal rates of entanglement manipulation protocols involving separability-preserving maps. A quantum operation Λ is said to be a separability-preserving map if Λ(σ) is separable for any separable state σ. These maps constitute the largest class of operations which cannot create entanglement and contains the class of separable operations [2, 20, 29]. [See [7] for details]. The quantities Emax ε (ρ) and Eε min (ρ) can be interpreted as one-shot rates of entanglement dilution and distillation protocols

2 2 involving separability-preserving maps, for a given bound on the corresponding probabilities of error, i.e., when the probability of error associated with the protocol is bounded above by the smoothing parameter ε. This is analogous to the interpretation of the ε-smooth Rényi entropies, as one-shot rates of various protocols [23, 25, 27], when the probability of error is at most ε. Evaluation of these one-shot rates for the entanglement manipulation protocols, will be presented in a forthcoming paper [6]. The max-relative entropy of entanglement (or log robustness), E max (ρ), provides an upper bound to the oneshot perfect entanglement cost, not under LOCC maps, but under quantum operations which generate an entanglement (as measured by the global robustness) of at most /R g (ρ). We shall refer to such maps as α ρ - separability preserving (or α ρ -SEPP) maps, with α ρ = /R g (ρ). This is elaborated below. We start the main body of our paper with some mathematical preliminaries. Next we recall the definitions of the relevant relative entropy quantities and entanglement monotones, and prove that E max (ρ) is quasiconvex. We then show that it is equal to the global log robustness, and that it does not in general reduce to the relative entropy of entanglement for pure states. Next we define the smooth max-relative entropy of entanglement and E max (ρ), and prove that the latter is weakly additive. Our main result is given in Theorem, which states that E max (ρ) = ER (ρ) [36]. MATHEMATICAL PRELIMINARIES Let B(H) denote the algebra of linear operators acting on a finite-dimensional Hilbert space H. The von Neumann entropy of a state ρ, i.e., a positive operator of unit trace in B(H), is given by S(ρ) = Trρ log ρ. Throughout this paper, we take the logarithm to base 2 and all Hilbert spaces considered are finite-dimensional. In fact, since in this paper we consider bipartite states, the underlying Hilbert space is given by H = H A H B. Let D denote the set of states in B(H), and let S D denote the set of separable states. Further, let S n denote the set of separable states in B(H n ). The trace distance between two operators A and B is given by A B := Tr [ {A B}(A B) ] Tr [ {A < B}(A B) ] The fidelity of states ρ and ρ is defined to be F(ρ, ρ ) := Tr ρ 2ρ ρ 2. () The trace distance between two states ρ and ρ is related to the fidelity F(ρ, ρ ) as follows (see (9.0) of [7]): 2 ρ ρ F(ρ, ρ ) 2 2( F(ρ, ρ )). (2) We also use the gentle measurement lemma [9, 32]: Lemma For a state ρ and operator 0 Λ I, if Tr(ρΛ) δ, then ρ Λρ Λ 2 δ. The same holds if ρ is only a subnormalized density operator. DEFINITIONS OF MIN- AND MAX- RELATIVE ENTROPIES Definition The max- relative entropy of a state ρ and a positive operator σ is given by D max (ρ σ) := log min{λ : ρ λσ} (3) Note that D max (ρ σ) is well-defined if suppρ suppσ. Definition 2 The min- relative entropy of a state ρ and a positive operator σ is given by D min (ρ σ) := logtr ( πσ ), (4) where π denotes the projector onto suppρ, the support of ρ. It is well-defined if supp ρ has non-zero intersection with suppσ. Various properties of D min (ρ σ) and D max (ρ σ) were proved in [0]. In this paper we shall use the following properties of the max- relative entropy, D max (ρ σ): The max- relative entropy is monotonic under completely positive trace-preserving (CPTP) maps, i.e., for a state ρ, a positive operator σ, and a CPTP map Λ: D max (Λ(ρ) Λ(σ)) D max (ρ σ) (5) The max- relative entropy is quasiconvex, i.e., for two mixtures of states, ρ := n i= p iρ i and ω := n i= p iω i, D max (ρ ω) max i n D max(ρ i ω i ). (6) D max (ρ ρ ω ω) = 2D max (ρ ω). This property follows directly from the definition (3). The min- and max- (unconditional and conditional) entropies, introduced by Renner in [23] are obtained from D min (ρ σ) and D max (ρ σ) by making suitable substitutions for the positive operator σ (see [0] for details).

3 3 SMOOTH MIN- AND MAX- RELATIVE ENTROPIES Smooth min- and max- relative entropies are generalizations of the above-mentioned relative entropy measures, involving an additional smoothness parameter ε 0. For ε = 0, they reduce to the non-smooth quantities. Definition 3 For any ε 0, the ε-smooth min- and max-relative entropies of a bipartite state ρ relative to a state σ are defined by and Dmin ε (ρ σ) := max D min( ρ σ) ρ B ε (ρ) Dmax ε (ρ σ) := min D max( ρ σ) (7) ρ B ε (ρ) where B ε (ρ) := { ρ 0 : ρ ρ ε, Tr( ρ) Tr(ρ)}. The following two lemmas are used to prove our main result, Theorem. Lemma 2 Let ρ and σ be density operators, let be a positive operator, and let λ R such that ρ 2 λ σ +. Then D ε max(ρ σ ) λ for any ε 8Tr( ). Lemma 3 Let ρ and σ be density operators. Then D ε max (ρ σ B ) λ for any λ R and ε = 8Tr [ ] {ρ > 2 λ σ }ρ. The proofs of these lemmas are analogous to the proofs of Lemmas 5 and 6 of [] and are given in the Appendix for completeness. THE MAX-RELATIVE ENTROPY OF ENTANGLEMENT For a bipartite state ρ, the max-relative entropy of entanglement [0] is given by E max (ρ) := min σ S D max(ρ σ), (8) where the minimum is taken over the set S of all separable states. It was proved in [0] that E max (ρ) E R (ρ), (9) where E R (ρ) := min σ S S(ρ σ), the relative entropy of entanglement of the state ρ. That E max (ρ) is a full entanglement monotone follows from the fact that D max (ρ σ) satisfies a set of sufficient criteria [29] which ensure that E max (ρ) has the following properties: (a) it vanishes if and only if ρ is separable, (b) it is left invariant by local unitary operations and (c) it does not increase on average under LOCC. This was proved in [0]. Lemma 4 The max-relative entropy of entanglement E max (ρ) is quasiconvex, i.e., for a mixture of states ρ = n i= p iρ i, E max (ρ) max i n E max(ρ i ). (0) Proof For each state ρ, let σ ρ be a separable state for which E max (ρ) = D max (ρ σ ρ ). Since the set of separable states is convex, and the maxrelative entropy is quasiconvex (6), we have ( ) ( E max p i ρ i D max p i ρ i ) p i σ ρi i i i ( ) maxd max ρ i σ ρi i = maxe max (ρ i ) () i Since E max (ρ) is given by a minimisation over separable states, it is subadditive. Let σ be a separable state for which E max (ρ) = D max (ρ σ). Then, E max (ρ ρ) = min ω S 2 D max (ρ ρ ω) D max (ρ ρ σ σ) = 2D max (ρ σ) = 2E max (ρ). (2) Lemma 5 The max-relative entropy of entanglement E max (ρ) of a bipartite state ρ is equal to its global log robustness of entanglement [7], which is defined as follows: LR g (ρ) := log ( + R g (ρ) ), (3) where R g (ρ) is the global robustness of entanglement[3], given by { R g (ρ) = min s 0 : ω D s.t. s R + s ρ + s + s ω S } Proof We can equivalently write R g (ρ) as follows: { } R g (ρ) = min s 0 : ω D s.t. ρ + sω = ( + s)σ, σ S s R { } = min s 0 : σ S s.t. ρ ( + s)σ, (4) s R

4 4 since, defining ω := ( + s)σ ρ, we see that Tr ω = +s = s, hence allowing us to write ω = sω for some ω D. Hence, log( + R g (ρ)) = min σ S D max(ρ σ). Definition 4 A state π for which ρ + R g (ρ)π = ( + R g (ρ))σ, for some separable state σ, is referred to as an optimal state for ρ in the global robustness of entanglement. It was shown in [3] that for a pure bipartite state ρ = ψ ψ B(H A H B ), ( m ) 2 R g (ρ) = λ i, i= where the λ i. i =,...,m, denote the Schmidt coefficients of ψ. This implies that for the pure state ρ = ψ ψ, the max-relative entropy of entanglement is given by ( m E max (ρ) = log( + R g (ρ)) = 2 log λ i ), (5) i.e., twice the logarithm of the sum of the square roots of the eigenvalues of the reduced density matrix ρ A ψ := Tr B ψ ψ. Hence for a pure state ρ, E max (ρ) does not in general reduce to its entropy of entanglement (i.e., the von Neumann entropy of ρ A ψ ), even though it does so for a maximally entangled state. Let Ψ M B(H A H B ) denote a maximally entangled state (MES) of rank M, i.e., Ψ M = Ψ M Ψ M, with Then, Ψ M = M i i. M i= i= E max (Ψ M ) = log M = S(Tr A Ψ M ). Moreover, R g (Ψ M ) = M. Note that the right hand side of (5) is equal to the expression for another known entanglement monotone, namely the logarithmic negativity [2] LN(ρ) := log ρ Γ, for the pure state ρ = ψ ψ. Here ρ Γ denotes the partial transpose with respect to the subsystem A, and ω = Tr w ω. It is known that LN(ρ) is additive [2] for pure states, and we therefore have E max ( ψ ψ φ φ ) = E max ( ψ ψ ) + E max ( φ φ ). (6) This additivity relation does not extend to mixed states in general. However, the following relation can be proved to hold [6]: E max (ρ Ψ M ) = E max (ρ) + E max (Ψ M ) = E max (ρ) + log M. (7) As mentioned in the Introduction E max (ρ) provides an upper bound to the one-shot perfect entanglement cost, under quantum operations which generate an entanglement of at most R g (ρ). This is elaborated below. In entanglement dilution the aim is to obtain a state ρ from a maximally entangled state. This cannot necessarily be done by using a single copy of the maximally entangled state and acting on it by a LOCC map. However, a single perfect copy of ρ can be obtained from a single copy of a maximally entangled state if one does not restrict the quantum operation employed to be a LOCC map but instead allows quantum operations which generate an entanglement of at most /R g (ρ). Before proving this, let us state the definition of one-shot perfect entanglement cost of a state under a quantum operation Λ. Definition 5 A real number R is said to be an achievable one-shot perfect dilution rate, for a state ρ, under a quantum operation Λ, if Λ(Ψ M ) = ρ and log M R. Definition 6 The one-shot perfect entanglement cost of a state under a quantum operation Λ is given by E () c,λ = inf R, where the infimum is taken over all achievable rates. Consider the quantum operation Λ which acts on any state ω as follows: Λ M (ω) = Tr(Ψ M ω)ρ + ( Tr(Ψ M ω))π, (8) where π is an optimal state for ρ in the global robustness of entanglement. It was shown in [7] that for M = + s, where s = R g (ρ), the quantum operation Λ M is an (/s)-separability preserving map (SEPP), i.e., for any separable state σ: R g (Λ(σ)) /s. In other words, the map Λ as defined by (8), is a quantum operation which generates an entanglement corresponding to a global robustness of at most /R g (ρ). Now if ω = Ψ M, then Λ(ω) = ρ, and hence a perfect copy of ρ is obtained from a single copy of the maximally entangled state Ψ M. The associated rate, R, of the oneshot entanglement dilution protocol corresponding to the map Λ M satisfies the bound [37]: R log M = log( + s) = E max (ρ). (9) The log robustness, LR g (ρ), is not asymptotically continuous [7] and it is not known whether it is weakly additive. However, as mentioned in the Introduction, by

5 5 suitable modifying E max (ρ) one can arrive at a quantity which is both asymptotically continuous and weakly additive. The necessary modifications involve (i) smoothing E max (ρ) to obtain the smooth max-relative entropy of entanglement Emax ε (ρ), for any fixed ε > 0; (ii) regularising, and (iii) taking the limit ε 0, as described below. SMOOTH MAX-RELATIVE ENTROPY OF ENTANGLEMENT AND E max(ρ) For any ε > 0, we define the smooth max-relative entropy of entanglement of a bipartite state ρ, as follows: Emax ε (ρ) := min E max( ρ) ρ B ε (ρ) = min ρ B ε (ρ) min σ S D max( ρ σ), = min σ S Dε max(ρ σ), (20) where Dmax ε (ρ σ) is the smooth max-relative entropy defined by (7). Further, we define its regularised version and the quantity Emax ε (ρ) := limsup n Eε max (ρ n ), (2) E max (ρ) := lim Emax ε (ρ) (22) ε 0 Lemma 6 The quantity E max (ρ) characterizing a bipartite state ρ B(H) and defined by (22), satisfies the following properties:. It is weakly additive, i.e., for any positive integer m, E max (ρ m ) = m E max (ρ). (23) 2. It is asymptotically continuous, i.e., for a given ε > 0, if ρ m B(H m ) is an operator for which ρ m ρ m ε, then E max(ρ m ) E max (ρ m ) f(ε), (24) m where f(ε) is a real function of ε such that f(ε) 0 as ε 0. Proof Here we give the proof of, by showing that E max (ρ ρ) = 2E max (ρ). The proof of 2 follows from Theorem below since the regularized relative entropy of entanglement ER (ρ), (defined by (37)), is known to be asymptotically continuous [9]. We first prove that E max (ρ ρ) 2E max (ρ) (25) Fix ε > 0. Then, Emax ε (ρ n ) = min Dmax ε σ (ρ n σ n ), n S n = min min D max(ρ n σ n ) (26) ρ n B ε (ρ n ) σ n S n = D max (ρ ε n σε n ), (27) where ρ ε n B ε (ρ n ) and σ ε n S n are operators for which the minima in (26) are achieved. Since ρ ε n Bε (ρ n ), we have that ρ ε n ρ n ε, which in turn implies that ρ ε n ρε n ρ 2n 2ε. Therefore, ρ ε n ρ ε n B ε (ρ 2n ). Further, since σ ε n σ ε n S 2n, we have E 2ε max(ρ 2n ) = Hence, min ρ 2n B ε (ρ 2n ) min D max (ρ 2n σ 2n ) σ 2n S 2n D max (ρ ε n ρ ε n σ ε n σ ε n) = 2D max (ρ ε n σε n ) = 2E ε max (ρ n ). (28) n max( E2ε (ρ ρ) n ) 2 limsup n Eε max (ρ n ), (29) that is, Emax(ρ 2ε ρ) 2Emax(ρ). ε Taking the limit ε 0 on either side of this inequality yields the desired bound (25). In fact, the identity holds in (25). This is simply because Emax ε (ρ ρ) = limsup n Eε max ((ρ ρ) n ), 2n Eε max ((ρ) 2n ), = 2 limsup = 2 Emax(ρ) ε (30) The last line of (30) is proved [8] by employing the monotonicity (5) of the max- relative entropy under partial trace. We know that Emax ε (ρ) := limsup n Eε max ((ρ) n ), 2n Eε max((ρ) 2n ), (3) However, it can be proven that the identity always holds in (3). This is done by assuming that E ε max(ρ) > limsup 2n Eε max((ρ) 2n ), (32) and showing that this leads to a contradiction. The assumption (32) implies that there exists a sequence of odd integers n i for which n i E ε max(ρ ni ) > limsup n i + Eε max(ρ ni+ ). (33)

6 6 Let ρ ni+ H ni+ be an operator in B ε (ρ ni+ ) for which E ε max(ρ ni+ ) = E max (ρ ni+). Then, using the monotonicity (5) of the max-relative entropy under partial trace, we have E ε max (ρ ni+ ) = E max (ρ ni+) E max (Tr H (ρ ni+)) E ε max (ρ ni ), (34) since Tr H (ρ ni+) B ε (ρ ni ). Therefore, n i E ε max (ρ ni ) > limsup which is a contradiction. = limsup MAIN RESULT n i + Eε max (ρ ni+ ) n i + Eε max(ρ ni ) Emax ε ), (35) n (ρ ni i Our main result is given by the following theorem. Theorem E max (ρ) = ER (ρ), (36) where, ER (ρ) denotes the regularized relative entropy of entanglement: E R (ρ) := lim n E R(ρ n ), (37) where, E R (ρ) = min σ S S(ρ σ) is the relative entropy of entanglement of ρ. Proof We first prove that E R (ρ) E max(ρ). Fix ε > 0. E ε max (ρ n ) = min σ n S n D ε max (ρ n σ n ), (38) where S n denotes the set of separable states in B(H n ). In the above, D ε max(ρ n σ n ) = min ρ n B ε (ρ n ) D max(ρ n σ n ) (39) Let ρ ε n B ε (ρ n ) be the operator for which the minimum is achieved in (39). Hence, E ε max(ρ n ) = min σ n S n D max (ρ ε n σ n ) (40) Further, let σ n be the separable state for which the minimum is achieved in (40). Hence, E ε max (ρ n ) = D max (ρ ε n σ n) (4) Since, we have, D max (ρ ε n σ n) = min{α : ρ ε n 2α σ n }, ρ ε n 2Eε max (ρ n) σ n. (42) Using (42) and the operator monotonicity of the logarithm, we infer that since Trρ ε n Trρ n =. From (43) it follows that and hence, S(ρ ε n σ n ) E ε max(ρ n ), (43) n S(ρε n σ n) Emax ε (ρ), (44) n E R(ρ ε n ) Eε max (ρ), (45) where E R (ρ ε n) := min σn S n S(ρ ε n σ n ). It is known that E R (ρ) is asymptotically continuous. Hence, E R (ρ ε n ) n E R(ρ n ) n f(ε), (46) where f(ε) is a real function of ε satisfying f(ε) 0 as ε 0. From (45) and (46) we obtain n E R(ρ n ) f(ε) E ε max (ρ). Taking the limit ε 0 on both sides of the above inequality yields the desired bound: E R (ρ) E max(ρ). We next prove the inequality ER (ρ) E max(ρ). Consider the sequences ρ = {ρ n } n= and σ = } n=, where σ ρ is the separable state for which {σ n ρ E R (ρ) = S(ρ σ ρ ) min S(ρ σ ). (47) σ For these two sequences, one can define the following quantity { D( ρ σ) := inf γ : limsup Tr [ {ρ n 2 nγ σρ n }ρ n] } = 0 It s referred to as the sup-spectral divergence rate and arises in the so-called Information Spectrum Approach [4, 6]. The Quantum Stein s Lemma ([8] or equivalently Theorem 2 of [6]) tells us that D( ρ σ) = S(ρ σ ρ ) (48)

7 7 Let us choose Note that λ = D( ρ σ) + δ = E R (ρ) + δ, (49) for some arbitrary δ > 0. It then follows from the definition (48) that Tr [ {ρ n 2 nλ σρ n }ρ n] = 0 In particular, for any ε > 0 there exists n 0 N, such that for all n n 0. Tr [ {ρ n > 2 nλ σρ n }ρ n] < ε2 8. (50) Using Lemma 3 we infer that for all n n 0, Dmax(ρ ε n σρ n ) nλ = ne R (ρ) + nδ Hence, E ε max (ρ n ) ne R (ρ) + nδ, and E ε max (ρ) E R(ρ) + δ. Moreover, since the above bound holds for any arbitrary δ > 0, we deduce that E ε max (ρ) E R(ρ). Finally, taking the limit ε 0 on both sides of this inequality yields E max (ρ) E R (ρ). (5) Using the weak additivity (23) of E max (ρ), we obtain n E R(ρ n ) n E max(ρ n ) = E max (ρ). (52) Taking the limit n, on both sides of (52), yields the desired bound E R (ρ) E max (ρ). ρ = T ρ T T β T = α = 2 λ σ, which implies D max (ρ σ ) λ. It thus remains to be shown that ρ ρ 8Tr( ). (53) We first show that the Hermitian operator satisfies For any vector φ = φ, T := 2 (T + T ). T I. (54) T φ 2 = φ T T φ = φ β 2 α β 2 φ φ β 2 β β 2 φ = φ 2 where the inequality follows from α β. Similarly, T φ 2 = φ T T φ = φ α 2 β α 2 φ φ α 2 α α 2 φ = φ 2 where the inequality follows from the fact that β α which holds because the function τ τ is operator monotone on (0, ) (see Proposition V..6 of [3]). We conclude that for any vector φ, T φ 2 T φ + T φ 2 T φ + 2 T φ φ, which implies (54). We now determine the overlap between Ψ and Ψ, Proof of Lemma 2 Proof Define and APPENDIX α := 2 λ σ β := 2 λ σ +. T := α 2 β 2. Let Ψ = Ψ R be a purification of ρ and let Ψ := T I R Ψ and ρ := Tr R( Ψ Ψ ). Ψ Ψ = Ψ T I R Ψ = Tr( Ψ Ψ T I R ) = Tr(ρ T ). Because ρ has trace one, we have Ψ Ψ R Ψ Ψ = Tr ( ρ (I T ) ) Tr ( β (I T ) ) = Tr(β ) Tr(α 2 β 2 ) Tr(β ) Tr(α ) = Tr( ). Here, the second inequality follows from the fact that, because of (54), the operator I T is positive, and ρ β. The last inequality holds because α 2

8 8 β 2, which is a consequence of the operator monotonicity of the square root (Proposition V..8 of [3]). Using (2) and the fact that the fidelity between two pure states is given by their overlap, we find Ψ Ψ Ψ Ψ 2 2( Ψ Ψ ) 2 2Tr( ) ε. Inequality (53) then follows because the trace distance can only decrease when taking the partial trace. Proof of Lemma 3 Proof Let + and be mutually orthogonal positive operators such that + = ρ 2 λ σ. Furthermore, let P be the projector onto the support of +, i.e., We then have P = {ρ > 2 λ σ }. P ρ P = P ( + + 2λ σ )P and, hence, + 8Tr( + ) 8Tr(P ρ ) ) = ε. The assertion now follows from Lemma 2 because ρ 2 λ σ + +. Acknowledgements The author is very grateful to Fernando Brandao for invaluable discussions. She would also like to thank Milan Mosonyi and Yurii Suhov for helpful comments and Ismail Akhalwaya for carefully reading the paper. Electronic address: N.Datta@statslab.cam.ac.uk [] K. Audenaert, J.Eisert, E. Jané, M.B. Plenio, S. Virmani and B. De Moor, The asymptotic relative entropy of entanglement, Phys. Rev. Lett. 87, 27902, 200. [2] C.H. Bennett, D.P. DiVincenzo, C. Fuchs, P. Hoyer, T. Mor, E.M. Rains, P.W. Shor and J. Smolin, Quantum nonlocality without entanglement, Phys. Rev. A. 59, 070, 999. [3] R. Bhatia, Matrix Analysis, Springer. [4] G. Bowen and N. Datta, Beyond i.i.d. in quantum information theory, arxiv:quant-ph/060403, Proceedings of the 2006 IEEE International Symposium on Information Theory, [5] F.G.S.L. Brandao, Entanglement activation and the robustness of quantum correlations, Phys. Rev. A. 76, 03030, [6] F.G.S.L. Brandao and N. Datta, One-shot rate of entanglement manipulation under separability-preserving maps, in preparation. [7] F.G.S.L. Brandao and M.B. Plenio, A reversible theory of entanglement and its relation to the second law, arxiv: , [8] F.G.S.L. Brandao, private communications. [9] M. Christandl, The Structure of Bipartite Quantum States - Insights from Group Theory and Cryptography, arxiv:quant-ph/060483, [0] N. Datta, Min- and Max- Relative Entropies and a New Entanglement Measure, arxiv: , [] N. Datta and R. Renner, Smooth Rényi Entropies and the Quantum Information Spectrum, arxiv: , [2] M.J. Donald, M. Horodecki and O. Rudolph, The uniqueness theorem for entanglement measures, J.Math.Phys, vol. 43, 4252, [3] A. Harrow and M. A.Nielsen, How robust is a quantum gate in the presence of noise?, Phys. Rev. A, vol. 68, 02308, [4] M. Hayashi, Quantum Information An Introduction, Springer, [5] R. König, R. Renner and C. Schaffner, The operational meaning of min- and max- entropy, arxiv: , [6] H. Nagaoka and M. Hayashi, An information-spectrum approach to classical and quantum hypothesis testing for simple hypotheses, IEEE Trans. Inform. Theory, vol. 53, pp , [7] M. A.Nielsen and I. L.Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, [8] T. Ogawa and H. Nagaoka, Strong converse and Stein s lemma in quantum hypothesis testing, IEEE Trans. Inform. Theory, vol. 46, pp , [9] T. Ogawa and H. Nagaoka, New proof of the channel coding theorem via hypothesis testing in quantum information theory,, Proc IEEE Int. Symp. on Inf. Theory, p. 73, 2002.; arxiv:quant-ph/ [20] E.M. Rains, Entanglement purification via separable superoperators, quant-ph/ , 997. [2] M.B. Plenio, The logarithmic negativity: A full entanglement monotone that is not convex, Phys. Rev. Lett., vol. 95, p , [22] E.M. Rains, An improved bound on distillable entanglement, quant-ph/ , 998. [23] R. Renner, Security of quantum key distribution, PhD thesis, ETH Zurich, arxiv:quant-ph/052258, [24] R. Renner and S. Wolf, Smooth Rényi entropy and applications, in Proc. International Symposium on Information Theory, p IEEE, [25] R. Renner, S. Wolf and Jürg Wullschleger, The singleserving channel capacity, in Proc. International Symposium on Information Theory (ISIT), IEEE, [26] R. Renner and S. Wolf, Simple and tight bounds for information reconciliation and privacy amplification, in

9 9 Advances in Cryptology ASIACRYPT 2005, LNCS, vol. 3788, pp Springer, [27] R. Renner and S. Wolf, Smooth Rényi entropy and applications, in Proc. International Symposium on Information Theory, p IEEE, [28] R. Renner, S. Wolf, and J. Wullschleger, Trade-offs in information-theoretic multi-party one-way key agreement, to appear in Proc. of ICITS 2007, [29] V. Vedral and M.B. Plenio, Entanglement measures and purification procedures, Phys. Rev. A, vol. 57, pp , 998. [30] G. Vidal and R. Tarrach, Robustness of entanglement, Phys. Rev. A, vol. 59, 4, 999. [3] G. Vidal, Entanglement monotones, J. Mod. Opt., vol. 47, 355, [32] A. Winter, Coding theorem and strong converse for quantum channels,, IEEE Trans. Inf. Theory, vol. 45, 999. [33] A full entanglement monotone or an LOCC monotone, is one which does not increase on average under local operations and classical communications (LOCC), i.e., if an LOCC map on a quantum state ρ results in a state ρ i with probability p i, then E max(ρ) P i piemax(ρi). [34] An entanglement monotone E(ρ) is weakly additive if E(ρ n ) = ne(ρ) for any positive integer n. [35] This can be proved by showing that E min(ρ) violates the requirement (Lemma of [3]) that any entanglement monotone, when evaluated on a pure state, should be a concave function of its partial trace. For a pure state ρ = ψ ψ B(H A H B), E min(ρ) = log λ max(ρ A ψ), where ρ A ψ = Tr B ψ ψ, and λ max denotes its maximum eigenvalue. Since the maximum eigenvalue of a density matrix is a convex function, as is the negative of the logarithm, E min(ρ) is a convex function of ρ A ψ. [36] We would like to point out that in [7] a different modification of the log robustness was shown to equal E R (ρ), by a method different to the one employed in this paper. The main difference in the modification was that in [7], the smoothing parameter depended on the number n of copies of the given state ρ. [37] Note, however, that this bound is loose for bipartite states which are close to separable states. For an operational significance of the robustness in relation to entanglement activation see [5].

Single-shot Quantum State Merging

Single-shot Quantum State Merging ETH ZICH arxiv:0912.4495v1 [quant-ph] 22 Dec 2009 Single-shot Quantum State Merging by Mario Berta A Diploma thesis submitted to the Institute for Theorectical Physics Department of Physics Supervisor

More information

Strong converse theorems using Rényi entropies

Strong converse theorems using Rényi entropies Strong converse theorems using Rényi entropies Felix Leditzky joint work with Mark M. Wilde and Nilanjana Datta arxiv:1506.02635 5 January 2016 Table of Contents 1 Weak vs. strong converse 2 Rényi entropies

More information

Asymptotic Pure State Transformations

Asymptotic Pure State Transformations Asymptotic Pure State Transformations PHYS 500 - Southern Illinois University April 18, 2017 PHYS 500 - Southern Illinois University Asymptotic Pure State Transformations April 18, 2017 1 / 15 Entanglement

More information

The Quantum Reverse Shannon Theorem Based on One-Shot Information Theory

The Quantum Reverse Shannon Theorem Based on One-Shot Information Theory Commun. Math. Phys. 306, 579 65 (0) Digital Object Identifier (DOI) 0.007/s000-0-309-7 Communications in Mathematical Physics The Quantum Reverse Shannon Theorem Based on One-Shot Information Theory Mario

More information

A Holevo-type bound for a Hilbert Schmidt distance measure

A Holevo-type bound for a Hilbert Schmidt distance measure Journal of Quantum Information Science, 205, *,** Published Online **** 204 in SciRes. http://www.scirp.org/journal/**** http://dx.doi.org/0.4236/****.204.***** A Holevo-type bound for a Hilbert Schmidt

More information

Entanglement: concept, measures and open problems

Entanglement: concept, measures and open problems Entanglement: concept, measures and open problems Division of Mathematical Physics Lund University June 2013 Project in Quantum information. Supervisor: Peter Samuelsson Outline 1 Motivation for study

More information

Strong converse theorems using Rényi entropies

Strong converse theorems using Rényi entropies Strong converse theorems using Rényi entropies Felix Leditzky a, Mark M. Wilde b, and Nilanjana Datta a a Statistical Laboratory, Centre for Mathematical Sciences, University of Cambridge, Cambridge C3

More information

arxiv: v1 [quant-ph] 3 Jan 2008

arxiv: v1 [quant-ph] 3 Jan 2008 A paradigm for entanglement theory based on quantum communication Jonathan Oppenheim 1 1 Department of Applied Mathematics and Theoretical Physics, University of Cambridge U.K. arxiv:0801.0458v1 [quant-ph]

More information

Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2

Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2 Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2 arxiv:quant-ph/0410063v1 8 Oct 2004 Nilanjana Datta Statistical Laboratory Centre for Mathematical Sciences University of Cambridge

More information

Squashed entanglement

Squashed entanglement Squashed Entanglement based on Squashed Entanglement - An Additive Entanglement Measure (M. Christandl, A. Winter, quant-ph/0308088), and A paradigm for entanglement theory based on quantum communication

More information

A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks

A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks A Hierarchy of Information Quantities for Finite Block Length Analysis of Quantum Tasks Marco Tomamichel, Masahito Hayashi arxiv: 1208.1478 Also discussing results of: Second Order Asymptotics for Quantum

More information

Some Bipartite States Do Not Arise from Channels

Some Bipartite States Do Not Arise from Channels Some Bipartite States Do Not Arise from Channels arxiv:quant-ph/0303141v3 16 Apr 003 Mary Beth Ruskai Department of Mathematics, Tufts University Medford, Massachusetts 0155 USA marybeth.ruskai@tufts.edu

More information

Entropy in Classical and Quantum Information Theory

Entropy in Classical and Quantum Information Theory Entropy in Classical and Quantum Information Theory William Fedus Physics Department, University of California, San Diego. Entropy is a central concept in both classical and quantum information theory,

More information

Compression and entanglement, entanglement transformations

Compression and entanglement, entanglement transformations PHYSICS 491: Symmetry and Quantum Information April 27, 2017 Compression and entanglement, entanglement transformations Lecture 8 Michael Walter, Stanford University These lecture notes are not proof-read

More information

ACENTRAL goal of information theory is the (quantitative)

ACENTRAL goal of information theory is the (quantitative) IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 55, NO. 9, SEPTEMBER 2009 4337 The Operational Meaning of Min- and Max-Entropy Robert König, Renato Renner, and Christian Schaffner Abstract In this paper,

More information

Classical and Quantum Channel Simulations

Classical and Quantum Channel Simulations Classical and Quantum Channel Simulations Mario Berta (based on joint work with Fernando Brandão, Matthias Christandl, Renato Renner, Joseph Renes, Stephanie Wehner, Mark Wilde) Outline Classical Shannon

More information

Efficient achievability for quantum protocols using decoupling theorems

Efficient achievability for quantum protocols using decoupling theorems Efficient achievability for quantum protocols using decoupling theorems Christoph Hirche and Ciara Morgan Institut für Theoretische Physik Leibniz Universität Hannover Appelstraße, D-3067 Hannover, Germany

More information

Entanglement Measures and Monotones

Entanglement Measures and Monotones Entanglement Measures and Monotones PHYS 500 - Southern Illinois University March 30, 2017 PHYS 500 - Southern Illinois University Entanglement Measures and Monotones March 30, 2017 1 / 11 Quantifying

More information

Lecture 19 October 28, 2015

Lecture 19 October 28, 2015 PHYS 7895: Quantum Information Theory Fall 2015 Prof. Mark M. Wilde Lecture 19 October 28, 2015 Scribe: Mark M. Wilde This document is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike

More information

Entanglement: Definition, Purification and measures

Entanglement: Definition, Purification and measures Entanglement: Definition, Purification and measures Seminar in Quantum Information processing 3683 Gili Bisker Physics Department Technion Spring 006 Gili Bisker Physics Department, Technion Introduction

More information

Capacity Estimates of TRO Channels

Capacity Estimates of TRO Channels Capacity Estimates of TRO Channels arxiv: 1509.07294 and arxiv: 1609.08594 Li Gao University of Illinois at Urbana-Champaign QIP 2017, Microsoft Research, Seattle Joint work with Marius Junge and Nicholas

More information

Boundary of the Set of Separable States

Boundary of the Set of Separable States Boundary of the Set of Separale States Mingjun Shi, Jiangfeng Du Laoratory of Quantum Communication and Quantum Computation, Department of Modern Physics, University of Science and Technology of China,

More information

Quantum Entanglement- Fundamental Aspects

Quantum Entanglement- Fundamental Aspects Quantum Entanglement- Fundamental Aspects Debasis Sarkar Department of Applied Mathematics, University of Calcutta, 92, A.P.C. Road, Kolkata- 700009, India Abstract Entanglement is one of the most useful

More information

Entanglement Measures and Monotones Pt. 2

Entanglement Measures and Monotones Pt. 2 Entanglement Measures and Monotones Pt. 2 PHYS 500 - Southern Illinois University April 8, 2017 PHYS 500 - Southern Illinois University Entanglement Measures and Monotones Pt. 2 April 8, 2017 1 / 13 Entanglement

More information

SUPPLEMENTARY INFORMATION

SUPPLEMENTARY INFORMATION SUPPLEMENTARY INFORMATION doi: 0.038/nPHYS734 Supplementary Information The Uncertainty Principle in the Presence of Quantum Memory Mario Berta,, 2 Matthias Christandl,, 2 Roger Colbeck, 3,, 4 Joseph M.

More information

Nullity of Measurement-induced Nonlocality. Yu Guo

Nullity of Measurement-induced Nonlocality. Yu Guo Jul. 18-22, 2011, at Taiyuan. Nullity of Measurement-induced Nonlocality Yu Guo (Joint work with Pro. Jinchuan Hou) 1 1 27 Department of Mathematics Shanxi Datong University Datong, China guoyu3@yahoo.com.cn

More information

Theory of Quantum Entanglement

Theory of Quantum Entanglement Theory of Quantum Entanglement Shao-Ming Fei Capital Normal University, Beijing Universität Bonn, Bonn Richard Feynman 1980 Certain quantum mechanical effects cannot be simulated efficiently on a classical

More information

arxiv: v3 [quant-ph] 5 Jun 2015

arxiv: v3 [quant-ph] 5 Jun 2015 Entanglement and swap of quantum states in two qubits Takaya Ikuto and Satoshi Ishizaka Graduate School of Integrated Arts and Sciences, Hiroshima University, Higashihiroshima, 739-8521, Japan (Dated:

More information

Majorization-preserving quantum channels

Majorization-preserving quantum channels Majorization-preserving quantum channels arxiv:1209.5233v2 [quant-ph] 15 Dec 2012 Lin Zhang Institute of Mathematics, Hangzhou Dianzi University, Hangzhou 310018, PR China Abstract In this report, we give

More information

Telescopic Relative Entropy

Telescopic Relative Entropy Telescopic Relative Entropy Koenraad M.R. Audenaert Department of Mathematics, Royal Holloway, University of London, Egham TW2 EX, United Kingdom Abstract. We introduce the telescopic relative entropy

More information

The first law of general quantum resource theories

The first law of general quantum resource theories The first law of general quantum resource theories Carlo Sparaciari 1, Lídia del Rio 2, Carlo Maria Scandolo 3, Philippe Faist 4, and Jonathan Oppenheim 1 1 Department of Physics and Astronomy, University

More information

Distinguishing multi-partite states by local measurements

Distinguishing multi-partite states by local measurements Distinguishing multi-partite states by local measurements arxiv[quant-ph]:1206.2884 Ecole Polytechnique Paris / University of Bristol Cécilia Lancien / Andreas Winter AQIS 12 August 24 th 2012 Cécilia

More information

Distinguishing multi-partite states by local measurements

Distinguishing multi-partite states by local measurements Distinguishing multi-partite states by local measurements Guillaume Aubrun / Andreas Winter Université Claude Bernard Lyon 1 / Universitat Autònoma de Barcelona Cécilia Lancien UCBL1 / UAB Madrid OA and

More information

arxiv:quant-ph/ v2 17 Jun 1996

arxiv:quant-ph/ v2 17 Jun 1996 Separability Criterion for Density Matrices arxiv:quant-ph/9604005v2 17 Jun 1996 Asher Peres Department of Physics, Technion Israel Institute of Technology, 32000 Haifa, Israel Abstract A quantum system

More information

Recoverability in quantum information theory

Recoverability in quantum information theory Recoverability in quantum information theory Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State University,

More information

arxiv: v1 [quant-ph] 28 May 2011

arxiv: v1 [quant-ph] 28 May 2011 Detection of Multiparticle Entanglement: Quantifying the Search for Symmetric Extensions Fernando G.S.L. Brandão 1 and Matthias Christandl 2 1 Departamento de Física, Universidade Federal de Minas Gerais,

More information

A complete criterion for convex-gaussian states detection

A complete criterion for convex-gaussian states detection A complete criterion for convex-gaussian states detection Anna Vershynina Institute for Quantum Information, RWTH Aachen, Germany joint work with B. Terhal NSF/CBMS conference Quantum Spin Systems The

More information

Semidefinite programming strong converse bounds for quantum channel capacities

Semidefinite programming strong converse bounds for quantum channel capacities Semidefinite programming strong converse bounds for quantum channel capacities Xin Wang UTS: Centre for Quantum Software and Information Joint work with Runyao Duan and Wei Xie arxiv:1610.06381 & 1601.06888

More information

arxiv: v2 [quant-ph] 7 Apr 2014

arxiv: v2 [quant-ph] 7 Apr 2014 Quantum Chernoff bound as a measure of efficiency of quantum cloning for mixed states arxiv:1404.0915v [quant-ph] 7 Apr 014 Iulia Ghiu Centre for Advanced Quantum Physics, Department of Physics, University

More information

CLASSIFICATION OF MAXIMALLY ENTANGLED STATES OF SPIN 1/2 PARTICLES

CLASSIFICATION OF MAXIMALLY ENTANGLED STATES OF SPIN 1/2 PARTICLES CLASSIFICATION OF MAXIMALLY ENTANGLED STATES OF SPIN 1/ PARTICLES S. Ghosh, G. Kar, and A. Roy Physics and Applied Mathematics Unit Indian Statistical Institute 03, B. T. Road Calcutta 700 035 India. E

More information

Simulation of n-qubit quantum systems. II. Separability and entanglement

Simulation of n-qubit quantum systems. II. Separability and entanglement Computer Physics Communications 175 (2006 145 166 www.elsevier.com/locate/cpc Simulation of n-qubit quantum systems. II. Separability and entanglement T. Radtke,S.Fritzsche Institut für Physik, Universität

More information

Chapter 5. Density matrix formalism

Chapter 5. Density matrix formalism Chapter 5 Density matrix formalism In chap we formulated quantum mechanics for isolated systems. In practice systems interect with their environnement and we need a description that takes this feature

More information

Ensembles and incomplete information

Ensembles and incomplete information p. 1/32 Ensembles and incomplete information So far in this course, we have described quantum systems by states that are normalized vectors in a complex Hilbert space. This works so long as (a) the system

More information

arxiv: v1 [quant-ph] 3 Feb 2009

arxiv: v1 [quant-ph] 3 Feb 2009 arxiv:0902.0395v1 [quant-ph] 3 Feb 2009 Simplified and robust conditions for optimum testing of multiple hypotheses in quantum detection theory Jon Tyson Harvard University Feb 2, 2009 Abstract Strengthening

More information

The Minimax Fidelity for Quantum Channels: Theory and Some Applications

The Minimax Fidelity for Quantum Channels: Theory and Some Applications The Minimax Fidelity for Quantum Channels: Theory and Some Applications Maxim Raginsky University of I!inois V.P. Belavkin, G.M. D Ariano and M. Raginsky Operational distance and fidelity for quantum channels

More information

Unambiguous Discrimination Between Linearly Dependent States With Multiple Copies

Unambiguous Discrimination Between Linearly Dependent States With Multiple Copies Unambiguous Discrimination Between Linearly Dependent States With Multiple Copies Anthony Chefles Department of Physical Sciences, University of Hertfordshire, Hatfield AL10 9AB, Herts, UK arxiv:quant-ph/0105016v3

More information

Bound entangled states with secret key and their classical counterpart

Bound entangled states with secret key and their classical counterpart Bound entangled states with secret key and their classical counterpart Māris Ozols Graeme Smith John Smolin February 6, 2014 A brief summary Main result A new construction of bound entangled states with

More information

Universal recoverability in quantum information theory

Universal recoverability in quantum information theory Universal recoverability in quantum information theory Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State

More information

Characterization of Bipartite Entanglement

Characterization of Bipartite Entanglement Characterization of Bipartite Entanglement Werner Vogel and Jan Sperling University of Rostock Germany Paraty, September 2009 Paraty, September 2009 UNIVERSITÄT ROSTOCK INSTITUT FÜR PHYSIK 1 Table of Contents

More information

On PPT States in C K C M C N Composite Quantum Systems

On PPT States in C K C M C N Composite Quantum Systems Commun. Theor. Phys. (Beijing, China) 42 (2004) pp. 25 222 c International Academic Publishers Vol. 42, No. 2, August 5, 2004 On PPT States in C K C M C N Composite Quantum Systems WANG Xiao-Hong, FEI

More information

On Composite Quantum Hypothesis Testing

On Composite Quantum Hypothesis Testing University of York 7 November 207 On Composite Quantum Hypothesis Testing Mario Berta Department of Computing with Fernando Brandão and Christoph Hirche arxiv:709.07268 Overview Introduction 2 Composite

More information

Different quantum f-divergences and the reversibility of quantum operations

Different quantum f-divergences and the reversibility of quantum operations Different quantum f-divergences and the reversibility of quantum operations Fumio Hiai Tohoku University 2016, September (at Budapest) Joint work with Milán Mosonyi 1 1 F.H. and M. Mosonyi, Different quantum

More information

Converse bounds for private communication over quantum channels

Converse bounds for private communication over quantum channels Converse bounds for private communication over quantum channels Mark M. Wilde (LSU) joint work with Mario Berta (Caltech) and Marco Tomamichel ( Univ. Sydney + Univ. of Technology, Sydney ) arxiv:1602.08898

More information

Application of Structural Physical Approximation to Partial Transpose in Teleportation. Satyabrata Adhikari Delhi Technological University (DTU)

Application of Structural Physical Approximation to Partial Transpose in Teleportation. Satyabrata Adhikari Delhi Technological University (DTU) Application of Structural Physical Approximation to Partial Transpose in Teleportation Satyabrata Adhikari Delhi Technological University (DTU) Singlet fraction and its usefulness in Teleportation Singlet

More information

Semidefinite programming strong converse bounds for quantum channel capacities

Semidefinite programming strong converse bounds for quantum channel capacities Semidefinite programming strong converse bounds for quantum channel capacities Xin Wang UTS: Centre for Quantum Software and Information Joint work with Wei Xie, Runyao Duan (UTS:QSI) QIP 2017, Microsoft

More information

Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig

Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig Coherence of Assistance and Regularized Coherence of Assistance by Ming-Jing Zhao, Teng Ma, and Shao-Ming Fei Preprint no.: 14 2018

More information

Quantum Information Types

Quantum Information Types qitd181 Quantum Information Types Robert B. Griffiths Version of 6 February 2012 References: R. B. Griffiths, Types of Quantum Information, Phys. Rev. A 76 (2007) 062320; arxiv:0707.3752 Contents 1 Introduction

More information

Maximal Entanglement A New Measure of Entanglement

Maximal Entanglement A New Measure of Entanglement 1 Maximal Entanglement A New Measure of Entanglement Salman Beigi School of Mathematics, Institute for Research in Fundamental Sciences IPM, Tehran, Iran arxiv:1405.50v1 [quant-ph] 11 May 014 Abstract

More information

An Introduction To Resource Theories (Example: Nonuniformity Theory)

An Introduction To Resource Theories (Example: Nonuniformity Theory) An Introduction To Resource Theories (Example: Nonuniformity Theory) Marius Krumm University of Heidelberg Seminar: Selected topics in Mathematical Physics: Quantum Information Theory Abstract This document

More information

arxiv: v3 [quant-ph] 17 Nov 2014

arxiv: v3 [quant-ph] 17 Nov 2014 REE From EOF Eylee Jung 1 and DaeKil Park 1, 1 Department of Electronic Engineering, Kyungnam University, Changwon 631-701, Korea Department of Physics, Kyungnam University, Changwon 631-701, Korea arxiv:1404.7708v3

More information

Permutations and quantum entanglement

Permutations and quantum entanglement Journal of Physics: Conference Series Permutations and quantum entanglement To cite this article: D Chruciski and A Kossakowski 2008 J. Phys.: Conf. Ser. 104 012002 View the article online for updates

More information

Lecture: Quantum Information

Lecture: Quantum Information Lecture: Quantum Information Transcribed by: Crystal Noel and Da An (Chi Chi) November 10, 016 1 Final Proect Information Find an issue related to class you are interested in and either: read some papers

More information

Degradable Quantum Channels

Degradable Quantum Channels Degradable Quantum Channels Li Yu Department of Physics, Carnegie-Mellon University, Pittsburgh, PA May 27, 2010 References The capacity of a quantum channel for simultaneous transmission of classical

More information

Quantum Fisher information and entanglement

Quantum Fisher information and entanglement 1 / 70 Quantum Fisher information and entanglement G. Tóth 1,2,3 1 Theoretical Physics, University of the Basque Country (UPV/EHU), Bilbao, Spain 2 IKERBASQUE, Basque Foundation for Science, Bilbao, Spain

More information

Quantum Entanglement: Detection, Classification, and Quantification

Quantum Entanglement: Detection, Classification, and Quantification Quantum Entanglement: Detection, Classification, and Quantification Diplomarbeit zur Erlangung des akademischen Grades,,Magister der Naturwissenschaften an der Universität Wien eingereicht von Philipp

More information

Strong Converse and Stein s Lemma in the Quantum Hypothesis Testing

Strong Converse and Stein s Lemma in the Quantum Hypothesis Testing Strong Converse and Stein s Lemma in the Quantum Hypothesis Testing arxiv:uant-ph/9906090 v 24 Jun 999 Tomohiro Ogawa and Hiroshi Nagaoka Abstract The hypothesis testing problem of two uantum states is

More information

arxiv:quant-ph/ v1 13 Mar 2007

arxiv:quant-ph/ v1 13 Mar 2007 Quantumness versus Classicality of Quantum States Berry Groisman 1, Dan Kenigsberg 2 and Tal Mor 2 1. Centre for Quantum Computation, DAMTP, Centre for Mathematical Sciences, University of Cambridge, Wilberforce

More information

Fundamental work cost of quantum processes

Fundamental work cost of quantum processes 1607.03104 1709.00506 Fundamental work cost of quantum processes Philippe Faist 1,2, Renato Renner 1 1 Institute for Theoretical Physics, ETH Zurich 2 Institute for Quantum Information and Matter, Caltech

More information

Schur-Weyl duality, quantum data compression, tomography

Schur-Weyl duality, quantum data compression, tomography PHYSICS 491: Symmetry and Quantum Information April 25, 2017 Schur-Weyl duality, quantum data compression, tomography Lecture 7 Michael Walter, Stanford University These lecture notes are not proof-read

More information

Entanglement Manipulation

Entanglement Manipulation Entanglement Manipulation Steven T. Flammia 1 1 Perimeter Institute for Theoretical Physics, Waterloo, Ontario, N2L 2Y5 Canada (Dated: 22 March 2010) These are notes for my RIT tutorial lecture at the

More information

Quantum Entanglement and Measurement

Quantum Entanglement and Measurement Quantum Entanglement and Measurement Haye Hinrichsen in collaboration with Theresa Christ University of Würzburg, Germany 2nd Workhop on Quantum Information and Thermodynamics Korea Institute for Advanced

More information

Remarks on the Additivity Conjectures for Quantum Channels

Remarks on the Additivity Conjectures for Quantum Channels Contemporary Mathematics Remarks on the Additivity Conjectures for Quantum Channels Christopher King Abstract. In this article we present the statements of the additivity conjectures for quantum channels,

More information

arxiv: v2 [quant-ph] 21 Oct 2013

arxiv: v2 [quant-ph] 21 Oct 2013 Genuine hidden quantum nonlocality Flavien Hirsch, 1 Marco Túlio Quintino, 1 Joseph Bowles, 1 and Nicolas Brunner 1, 1 Département de Physique Théorique, Université de Genève, 111 Genève, Switzerland H.H.

More information

Limitations on separable measurements by convex optimization

Limitations on separable measurements by convex optimization Limitations on separable measurements by convex optimization (Full paper available at arxiv:1408.6981) Somshubhro Bandyopadhyay 1 Alessandro Cosentino 2,3 Nathaniel Johnston 2,4 Vincent Russo 2,3 John

More information

Fundamental rate-loss tradeoff for optical quantum key distribution

Fundamental rate-loss tradeoff for optical quantum key distribution Fundamental rate-loss tradeoff for optical quantum key distribution Masahiro Takeoka (NICT) Saikat Guha (BBN) Mark M. Wilde (LSU) Quantum Krispy Kreme Seminar @LSU January 30, 2015 Outline Motivation Main

More information

Quantum entanglement and symmetry

Quantum entanglement and symmetry Journal of Physics: Conference Series Quantum entanglement and symmetry To cite this article: D Chrucisi and A Kossaowsi 2007 J. Phys.: Conf. Ser. 87 012008 View the article online for updates and enhancements.

More information

Some applications of matrix inequalities in Rényi entropy

Some applications of matrix inequalities in Rényi entropy Some applications of matrix inequalities in Rényi entropy arxiv:608.03362v [math-ph] Aug 206 Hadi Reisizadeh, and S. Mahmoud Manjegani 2, Department of Electrical and Computer Engineering, 2 Department

More information

Entanglement May Enhance Channel Capacity in Arbitrary Dimensions

Entanglement May Enhance Channel Capacity in Arbitrary Dimensions Open Sys. & Information Dyn. (2006) 3: 363 372 DOI: 0.007/s080-006-908-y c Springer 2006 Entanglement May Enhance Channel Capacity in Arbitrary Dimensions E. Karpov, D. Daems, and N. J. Cerf Quantum Information

More information

On the Relation between Quantum Discord and Purified Entanglement

On the Relation between Quantum Discord and Purified Entanglement On the Relation between Quantum Discord and Purified Entanglement by Eric Webster A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics

More information

On the power of unentangled measurements on two antiparallel spins

On the power of unentangled measurements on two antiparallel spins On the power of unentangled measurements on two antiparallel spins arxiv:quant-ph/0611201v1 19 Nov 2006 T. Vértesi Institute of Nuclear Research of the Hungarian Academy of Sciences, H-4001 Debrecen, P.O.

More information

Estimation of Optimal Singlet Fraction (OSF) and Entanglement Negativity (EN)

Estimation of Optimal Singlet Fraction (OSF) and Entanglement Negativity (EN) Estimation of Optimal Singlet Fraction (OSF) and Entanglement Negativity (EN) Satyabrata Adhikari Delhi Technological University satyabrata@dtu.ac.in December 4, 2018 Satyabrata Adhikari (DTU) Estimation

More information

Quantum Hadamard channels (II)

Quantum Hadamard channels (II) Quantum Hadamard channels (II) Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, USA August 5, 2010 Vlad Gheorghiu (CMU) Quantum Hadamard channels (II) August 5, 2010

More information

On the structure of a reversible entanglement generating set for three partite states

On the structure of a reversible entanglement generating set for three partite states On the structure of a reversile entanglement generating set for three partite states A. Acín 1, G. Vidal and J. I. Cirac 3 1 GAP-Optique, University of Geneva, 0, Rue de l École de Médecine, CH-111 Geneva

More information

Multipartite Monogamy of the Entanglement of Formation. Abstract

Multipartite Monogamy of the Entanglement of Formation. Abstract Multipartite Monogamy of the Entanglement of Formation Xian Shi Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China University of Chinese

More information

The Uncertainty Principle in the Presence of Quantum Memory

The Uncertainty Principle in the Presence of Quantum Memory The Uncertainty Principle in the Presence of Quantum Memory Mario Berta,, 2 Matthias Christandl,, 2 Roger Colbeck, 3,, 4 Joseph M. Renes, 5 and Renato Renner Institute for Theoretical Physics, ETH Zurich,

More information

Detecting pure entanglement is easy, so detecting mixed entanglement is hard

Detecting pure entanglement is easy, so detecting mixed entanglement is hard A quantum e-meter Detecting pure entanglement is easy, so detecting mixed entanglement is hard Aram Harrow (University of Washington) and Ashley Montanaro (University of Cambridge) arxiv:1001.0017 Waterloo

More information

Quantum Entanglement and the Bell Matrix

Quantum Entanglement and the Bell Matrix Quantum Entanglement and the Bell Matrix Marco Pedicini (Roma Tre University) in collaboration with Anna Chiara Lai and Silvia Rognone (La Sapienza University of Rome) SIMAI2018 - MS27: Discrete Mathematics,

More information

1. Basic rules of quantum mechanics

1. Basic rules of quantum mechanics 1. Basic rules of quantum mechanics How to describe the states of an ideally controlled system? How to describe changes in an ideally controlled system? How to describe measurements on an ideally controlled

More information

Volume of the set of separable states

Volume of the set of separable states PHYSICAL REVIEW A VOLUME 58, NUMBER 2 AUGUST 998 Volume of the set of separable states Karol Życzkowski* Institute for Plasma Research, University of Maryland, College Park, Maryland 2742 Paweł Horodecki

More information

Quantum Sphere-Packing Bounds and Moderate Deviation Analysis for Classical-Quantum Channels

Quantum Sphere-Packing Bounds and Moderate Deviation Analysis for Classical-Quantum Channels Quantum Sphere-Packing Bounds and Moderate Deviation Analysis for Classical-Quantum Channels (, ) Joint work with Min-Hsiu Hsieh and Marco Tomamichel Hao-Chung Cheng University of Technology Sydney National

More information

BOGOLIUBOV TRANSFORMATIONS AND ENTANGLEMENT OF TWO FERMIONS

BOGOLIUBOV TRANSFORMATIONS AND ENTANGLEMENT OF TWO FERMIONS BOGOLIUBOV TRANSFORMATIONS AND ENTANGLEMENT OF TWO FERMIONS P. Caban, K. Podlaski, J. Rembieliński, K. A. Smoliński and Z. Walczak Department of Theoretical Physics, University of Lodz Pomorska 149/153,

More information

Characterization of Multipartite Entanglement

Characterization of Multipartite Entanglement Characterization of Multipartite Entanglement Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften des Fachbereichs Physik der Universität Dortmund vorgelegt von Bo Chong Juni 2006

More information

MP 472 Quantum Information and Computation

MP 472 Quantum Information and Computation MP 472 Quantum Information and Computation http://www.thphys.may.ie/staff/jvala/mp472.htm Outline Open quantum systems The density operator ensemble of quantum states general properties the reduced density

More information

Attempting to reverse the irreversible in quantum physics

Attempting to reverse the irreversible in quantum physics Attempting to reverse the irreversible in quantum physics Mark M. Wilde Hearne Institute for Theoretical Physics, Department of Physics and Astronomy, Center for Computation and Technology, Louisiana State

More information

Entanglement, mixedness, and spin-flip symmetry in multiple-qubit systems

Entanglement, mixedness, and spin-flip symmetry in multiple-qubit systems Boston University OpenBU College of General Studies http://open.bu.edu BU Open Access Articles 2003-08-01 Entanglement, mixedness, and spin-flip symmetry in multiple-qubit systems Jaeger, Gregg AMER PHYSICAL

More information

arxiv: v2 [quant-ph] 17 Nov 2016

arxiv: v2 [quant-ph] 17 Nov 2016 Improved Uncertainty Relation in the Presence of Quantum Memory Yunlong Xiao, 1, Naihuan Jing, 3,4 Shao-Ming Fei, 5, and Xianqing Li-Jost 1 School of Mathematics, South China University of Technology,

More information

Randomness extraction via a quantum

Randomness extraction via a quantum 1 Randomness extraction via a quantum generalization of the conditional collision entropy Yodai Watanabe, Member, IEEE arxiv:1703.1036v3 [cs.it 4 Dec 018 Abstract Randomness extraction against side information

More information

Quantum Achievability Proof via Collision Relative Entropy

Quantum Achievability Proof via Collision Relative Entropy Quantum Achievability Proof via Collision Relative Entropy Salman Beigi Institute for Research in Fundamental Sciences (IPM) Tehran, Iran Setemper 8, 2014 Based on a joint work with Amin Gohari arxiv:1312.3822

More information

THE fundamental physical resource for performing various

THE fundamental physical resource for performing various IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 49, NO 8, AUGUST 2003 1895 On the Capacities of Bipartite Hamiltonians Unitary Gates Charles H Bennett, Aram W Harrow, Debbie W Leung, John A Smolin Abstract

More information

Entropic security using conditional min-entropy

Entropic security using conditional min-entropy Entropic security using conditional min-entropy Frédéric Dupuis and Simon Pierre Desrosiers March 4, 007 1 Preliminary We will use the usual bra and ket notation for pure states where a unit length complex

More information