Minimum error state discrimination between two mixed states \rho and \sigma
can be aided by the receipt of "classical side information" specifying which
states from some convex decompositions of \rho and \sigma apply in each run. We
quantify this phenomena by the average trace distance, and give lower and upper
bounds on this quantity as functions of \rho and \sigma. The lower bound is
simply the trace distance between \rho and \sigma, trivially seen to be tight.
The upper bound is \sqrt{1 - tr(\rho\sigma)}, and we conjecture that this is
also tight. We reformulate this conjecture in terms of the existence of a pair
of "unbiased decompositions", which may be of independent interest, and prove
it for a few special cases. Finally, we point towards a link with a notion of
non-classicality known as preparation contextuality.Comment: 3 pages, 1 figure. v2: Less typos in text and less punctuation in
  titl

M. A. Nielsen

Matthew F. Pusey

S. Boyd

Terry Rudolph

English

arXiv

Minimum-error state discrimination between two mixed states ρ and σ can be aided by the receipt of “classical side information” specifying which states from some convex decompositions of ρ and σ apply in each run. We quantify this phenomena by the average trace distance and give lower and upper bounds on this quantity as functions of ρ and σ. The lower bound is simply the trace distance between ρ and σ, trivially seen to be tight. The upper bound is √(1−tr(ρσ)), and we conjecture that this is also tight. We reformulate this conjecture in terms of the existence of a pair of “unbiased decompositions,” which may be of independent interest, and prove it for a few special cases. Finally, we point towards a link with a notion of nonclassicality known as preparation contextuality

Pusey, Matthew F.

Rudolph, Terry

White Rose Research Online

This is a repository copy of Quantum lost property : a possible operational meaning for theHilbert-Schmidt product.White Rose Research Online URL for this paper:http://eprints.whiterose.ac.uk/151707/Version: Published VersionArticle:Pusey, Matthew F. orcid.org/0000-0002-6189-7144 and Rudolph, Terry (2012) Quantum lost property : a possible operational meaning for the Hilbert-Schmidt product. Physical Review A. 044301. ISSN 1094-1622 https://doi.org/10.1103/PhysRevA.86.044301eprints@whiterose.ac.ukhttps://eprints.whiterose.ac.uk/Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request. PHYSICAL REVIEW A 86, 044301 (2012)Quantum lost property: A possible operational meaning for the Hilbert-Schmidt productMatthew F. Pusey* and Terry RudolphDepartment of Physics, Imperial College London, Prince Consort Road, London SW7 2AZ, United Kingdom(Received 6 September 2012; published 18 October 2012)Minimum-error state discrimination between two mixed states ρ and σ can be aided by the receipt of “classicalside information” specifying which states from some convex decompositions of ρ and σ apply in each run. Wequantify this phenomena by the average trace distance and give lower and upper bounds on this quantity asfunctions of ρ and σ . The lower bound is simply the trace distance between ρ and σ , trivially seen to be tight.The upper bound is√1 − tr(ρσ ), and we conjecture that this is also tight. We reformulate this conjecture interms of the existence of a pair of “unbiased decompositions,” which may be of independent interest, and proveit for a few special cases. Finally, we point towards a link with a notion of nonclassicality known as preparationcontextuality.DOI: 10.1103/PhysRevA.86.044301 PACS number(s): 03.67.−a, 03.65.TaSuppose a system has been prepared in one of twononorthogonal quantum states. The task of measuring thesystem in order to estimate which state was used is known asstate discrimination [1,2], an important concept in quantuminformation theory. The impossibly of succeeding at thistask with certainty enables quantum cryptography [3]. Herewe investigate a version of state discrimination where, ineach run, additional classical information about each of thepossible preparations is provided to the agent attempting thediscrimination.Classical analogy. Charlie spots the dim outline of a pencilcase under his desk. He knows Alice and Bob have bothrecently lost theirs and judges the case equally likely to belongto either of them. All the pencil cases at his school are eitherpink or blue. Charlie believes that girls buy pink pencil caseswith probability 1/2 while boys buy them with probability1/4. He therefore resolves to return the pencil case to Alice ifit is pink and to Bob if it is blue. He calculates the probabilityof returning the case to its true owner as (1 + δC)/2, whereδC({pi},{qi}) =12∑i|pi − qi | (1)is here equal to 1/4. Unsatisfied, he devises a better plan: hewill ask Alice and Bob what color their pencil cases actuallyare and will return the missing pencil case to whoever statesthe correct color. The only way this strategy can fail is if Aliceand Bob happen to have bought the same color, in which caseCharlie is forced to toss a coin. Hence his probability of successis slightly better, (1 + Pdiff)/2, wherePdiff({pi},{qi}) = 1 −∑ipiqi (2)is 1/2 in this case.Definitions. Fix a finite-dimensional Hilbert space H. Theoptimum probability of discriminating two states ρ,σ ∈ L(H)(with equal priors) is (1 + δ)/2, where the quantum tracedistance δ is given by [4]δ(ρ,σ ) = 12tr |ρ − σ |. (3)*m@physics.orgDecomposing ρ = ∑i piρi and σ =∑j qjσj (pi,qj > 0,ρi,σj states), we can define the average trace distance as({pi},{ρi},{qj },{σj }) =∑i,jpiqjδ(ρi,σj ). (4)If, when attempting to distinguish two states ρ and σ , we aretold in each run which (independently sampled) ρi and σjapplies, the best strategy is clearly to optimally distinguishρi from σj . The overall probability of success will then be(1 + )/2.  was briefly mentioned in Ref. [5], but a differentquantity DK where the product distribution piqj is replacedby an adversely correlated distribution was deemed preferablein that setting.Lower bound. By the joint convexity [4] of δ, we have({pi},{ρi},{qj },{σj })  δ(ρ,σ ). (5)This bound is saturated by the trivial decomposition p1 = q1 =1, ρ1 = ρ, and σ1 = σ .Upper bound. By Eq. (5) a decomposition that maximizes can always be taken to consist of pure states ρi = |ψi〉〈ψi |and σj = |φj 〉〈φj |, and so we consider only this case from nowon. Hence [4] δ(ρi,ρj ) =√1 − |〈ψi | φj 〉|2 =√1 − tr(ρiσj ).Noting that√1 − x is concave [6] on its domain x  1, thetrace is linear, and∑i,j piqjρiσj = ρσ , we have =∑i,jpiqj√1 − tr(ρiσj ) √1 − tr(ρσ ). (6)Saturating the upper bound. Since√1 − x is in fact strictlyconcave, equality in Eq. (6) can only be achieved if thearguments x in each term of sum (except those with zeroprobability, which we can remove from the decompositions)are equal. Hence the upper bound is tight for a particularρ and σ if and only if there exist decompositions ρ =∑i pi |ψi〉〈ψi | and σ =∑j qj |φj 〉〈φj | which are “unbiased”in that |〈ψi | φj 〉|2 = tr ρσ . [Note that by the linearity ofthe trace, any decompositions satisfy the weaker condition∑i,j piqj |〈ψi | φj 〉|2 = tr(ρσ ).]Since numerics indicate that Eq. (6) is tight, we conjecturethat a pair of unbiased decompositions exists for any pair ofstates ρ and σ . We also make the stronger conjecture that044301-11050-2947/2012/86(4)/044301(3) ©2012 American Physical SocietyBRIEF REPORTS PHYSICAL REVIEW A 86, 044301 (2012)FIG. 1. (Color online) A pair of unbiased decompositions.such a pair exists with both decompositions being minimal,i.e., i ∈ {1, . . . , rank(ρ)} and j ∈ {1, . . . , rank(σ )}. We nowprove some special cases of this conjecture.Qubits. Suppose dimH = 2. Choose a basis so that theBloch vectors for ρ and σ are ρ = (0,0,r) and σ = (sx,0,sz),respectively. Then ρ is clearly on the line between the two purestates at ρ1,2 = (0, ±√1 − r2,r), giving rise to a valid decom-position, and similarly for σ1,2 = (±√1 − s2z ,0,sz). Finallyρi · σj = rsz = ρ · σ and so tr(ρiσj ) = tr(ρσ ) as required.These decompositions are illustrated in Fig. 1.Maximally mixed σ . Suppose dimH = d and σ = I/d.Choose a basis {|ψi〉} in which ρ is diagonal. Clearly thereexists a decomposition using these states. Let {|φj 〉} form abasis that is mutually unbiased with respect to the {|ψi〉} basis,for example, by using the quantum Fourier transform unitary[4]. We have that σ = ∑j qj |φj 〉〈φj | with qj = 1/d and thedecompositions are, by construction, unbiased.A useful lemma. Let f be a convex-linear map from theset of states on H to the real numbers. Then any state ρ hasa decomposition into rank(ρ) pure states ρi which all satisfyf (ρi) = f (ρ).The proof is as follows. For an arbitrary minimal decom-position {ρi}, consider the figure of merit,F =∑i|f (ρi) − f (ρ)|. (7)If F > 0 we can construct a new decomposition with smaller Fas follows. Take k so that f (ρk) is maximal and l so that f (ρl)is minimal. Notice that we can “continuously swap” ρk andρl . More formally, there exist continuous functions ρk(θ ) andρl(θ ) with ρk(0) = ρl(π ) = ρk and ρk(π ) = ρl(0) = ρl suchthat ρ can be decomposed into ρk(θ ) and ρl(θ ) and the ρi withi = k,l for any θ ∈ [0,π ]. To see this, consider the continu-ous family of unitaries U (θ ) with U (θ ) |k〉 = cos(θ/2) |k〉 −sin(θ/2) |l〉 and U (θ ) |l〉 = sin(θ/2) |k〉 + cos(θ/2) |l〉, and allother |i〉 unaffected, and apply Schrödinger’s mixture theorem[7,8]. Now by the intermediate value theorem there existsa θ∗ ∈ (0,π ) with f (ρk(θ∗)) = f (ρl(θ∗)). Since by convex-linearity the average value of f of this new decomposition muststill equal f (ρ), this procedure must have reduced F . Finally,since the unitary group is compact, the set of decompositionsof ρ into pure states is compact and hence F = 0 must beachieved for some decomposition.Corollary: Unbiased decomposition of ρ. If ρi and σj areunbiased decompositions, then by linearitytr(ρiσ ) =∑jqj tr(ρiσj ) =∑jqj tr(ρσ ) = tr(ρσ ). (8)Conversely, setting f (·) = tr(·σ ) in the above lemma impliesthat there always exists a minimal decomposition of ρsatisfying tr(ρiσ ) = tr(ρσ ). Notice that the proof of the lemmasuggests a numerical method for finding such decompositionsusing a series of one-dimensional search problems, whichmay sometimes be faster than solving the direct (d2 − 1)-dimensional search problem.Pure σ . Suppose that rank(σ ) = 1. By the above corollarywe can decompose ρ into pure states ρi such that tr(ρiσ ) =tr(ρσ ). Since σ is already pure we can take σ1 = σ and wehave a pair of unbiased decompositions.Rank two σ . Suppose rank(σ ) = 2. If rank(ρ) = 1 thenwe are in the previous case, so assume rank(ρ)  2. Bythe above corollary we can decompose σ into two statesσj = |φj 〉〈φj | satisfying tr(ρσj ) = tr(ρσ ). Apply the corollaryagain to obtain a decomposition ρ ′i = |ψ ′i 〉〈ψ ′i | of ρ satisfying|〈ψ ′i | φ1〉|2 = tr(ρ ′iσ1) = tr(ρσ1) = tr(ρσ ).Choose a basis |1〉 , . . . , |n〉 (n = rank(ρ)  2) for thesupport of ρ such that |2〉 , . . . , |n〉 are orthogonal to |φ1〉.Then |ψ ′i 〉 must be of the form∑k ck |k〉, where |c1| =√tr(ρσ )/|〈1 | φ1〉|. Furthermore any state |ψ〉 of this form alsosatisfies |〈ψ |φ1〉| = tr(ρσ ) and such states form a connectedset. Since∑i pi tr(ρ′iσ2) = tr(ρσ2) = tr(ρσ ) there must be a kwith tr(ρ ′kσ2)  tr(ρσ ) and an l with tr(ρ′lσ2)  tr(ρσ ). By theabove observations and the intermediate value theorem, thereis a state |ψ1〉 in support of ρ with |〈ψ1 | φ2〉|2 = tr(ρσ ).Let p1 be maximal, i.e., p1 = 1/〈ψ1 | ρ−1 | ψ1〉 [4]; ρ ′ =(ρ − p1|ψ1〉〈ψ1|)/(1 − p1) then has rank(ρ ′) = n − 1 andalso satisfies tr(ρ ′σj ) = tr(ρσ ). If ρ ′ is pure then take it asρ2 and we are done, otherwise iterate the above procedure toobtain |ψ2〉, and so on.Numerics (using [9]) indicate that, when rank(σ ) > 2, ifone simply takes any decomposition σj with tr(ρσj ) = tr(ρσ )then it is not always possible to find a decomposition of ρwhich is unbiased with respect to σj . This would prevent theabove being extended to general σ .Preparation contextuality. Consider the special case ρ =σ = I/d. We have shown that one can find two minimaldecompositions of ρ with  =√1 − tr(ρ2) = √1 − 1/d .If, as suggested by the fact they give rise to the samemixed state, there is no actual difference between thesetwo decompositions, it is somewhat surprising that this islarger than the value we obtain if we instead use twoidentical minimal decompositions of ρ, easily seen to be  =1 − 1/d.This can be made precise by supposing that the two de-compositions were represented by a preparation noncontextualontological model [10]. Briefly, this associates each state ρwith a probability distribution μρ(λ) over “ontic states” λ(representing the physical state of affairs). Preparation non-contextuality is the assumption that this distribution depends044301-2BRIEF REPORTS PHYSICAL REVIEW A 86, 044301 (2012)only on ρ. Each ontic state λ and measurement procedureM gives rise to a probability distribution p(k|M,λ) overoutcomes k, and the quantum statistics are recovered asp(k|M,ρ) =∫p(k|M,λ)μρ(λ)dλ. It is not difficult to see thatif some measurement procedure M distinguishes ρ and σ withprobability (1 + δ)/2 then μρ and μσ must be distinguishablewith probability at least (1 + δC)/2, and so for every ρ and σ ,δC(μρ,μσ )  δ(ρ,σ ).If∑i piρi and∑j qjσj are minimal decompositionsof I/d then we must have pi = qj = 1/d and in themodelμI/d =1d∑iμρi =1d∑jμσj . (9)Since, as argued above, δ  δC , we must have  C =1d2∑i,jδC(μρi ,μσj). (10)By considering the regions where μ0 < μ1 and μ0  μ1separately and using normalization it can be shown thatδC(μ0,μ1) = 1 −∫min (μ0(λ),μ1(λ))dλ. Hence  1 − 1d2∫∑i,jmin(μρi (λ),μσj (λ))dλ. (11)Notice that for any j and λ,∑i min (μρi (λ),μσj (λ)) eithercontains at least one μσj or is equal to∑i μρi which is equalto∑k μσk by Eq. (9). Either way, it is greater than or equal toμσj and so  1 − 1d2∫∑jμσj dλ = 1 −1d, (12)where the equality is by the normalization of μσj . Thisis indeed exactly the value we get by using two identicaldecompositions ρi = σi , and so any protocol that has a higherprobability of success (for example our optimal one) is a proofof preparation contextuality.Conclusions. The fact that mixed states have many decom-positions into pure states is a key feature of quantum mechan-ics, sometimes considered the definition of nonclassicality[11]. We have discussed a task that puts this feature centerstage. Our upper bound on the probability of success providesa fairly direct operational meaning for the Hilbert-Schmidtinner product tr(ρσ ).The main open problem is to prove our conjecture thatevery pair of states has a pair of unbiased decompositions. Anotable special case of that conjecture would be when the statescommute. In the other direction, a lower bound on  whenrestricted to decompositions into pure states would be moreinteresting than the trivial lower bound we give for the generalcase. Finally, it is likely that the connection with preparationcontextuality can be extended beyond the very special case weconsider.Acknowledgments. We thank K. Audenaert, J. Barrett, F. G.S. L. Brandão, S. Castiglione, G. McConnell, and A. Scott fordiscussions. Both authors are supported by the EPSRC.[1] A. Chefles, Contemp. Phys. 41, 401 (2000).[2] S. M. Barnett and S. Croke, Adv. Opt. Photon. 1, 238 (2009).[3] N. Gisin, G. Ribordy, W. Tittel, and H. Zbinden, Rev. Mod.Phys. 74, 145 (2002).[4] M. A. Nielsen and I. L. Chuang, Quantum Computation andQuantum Information (Cambridge University Press, Cambridge,UK, 2000).[5] O. Oreshkov and J. Calsamiglia, Phys. Rev. A 79, 032336(2009).[6] S. Boyd and L. Vandenberghe, Convex Optimization(Cambridge University Press, Cambridge, UK, 2004).[7] E. Schrödinger, Proc. Cambridge Philos. Soc. 32, 446 (1936).[8] L. P. Hughston, R. Jozsa, and W. K. Wootters, Phys. Lett. A 183,14 (1993).[9] C. Spengler, M. Huber, and B. C. Hiesmayr, J. Math. Phys. 53,013501 (2012), .[10] R. W. Spekkens, Phys. Rev. A 71, 052108 (2005).[11] J. Barrett, Phys. Rev. A 75, 032304 (2007).044301-3

Quantum lost property:a possible operational meaning for the Hilbert-Schmidt product

Crossref

Physical Review A

Quantum lost property: A possible operational meaning for the Hilbert-Schmidt product

https://eprints.whiterose.ac.uk/151707/1/PhysRevA.86.044301.pdf

Quantum lost property: a possible operational meaning for the Hilbert-Schmidt product

Abstract

Similar works

Full text

Available Versions

White Rose Research Online

Crossref