Arxiv:Quant-Ph/0408115V2 16 Jun 2005 Admresult Random Operational the of Issues Theory[4]
Total Page：16
File Type：pdf, Size：1020Kb
Classical randomness in quantum measurements Giacomo Mauro D’Ariano,∗ Paoloplacido Lo Presti,† and Paolo Perinotti‡ QUIT – Quantum Information Theory Group, Dipartimento di Fisica “A. Volta”, via Bassi 6, I-27100 Pavia, Italy (Dated: October 23, 2018) Similarly to quantum states, also quantum measurements can be ”mixed”, corresponding to a random choice within an ensemble of measuring apparatuses. Such mixing is equivalent to a sort of hidden variable, which produces a noise of purely classical nature. It is then natural to ask which apparatuses are indecomposable, i. e. do not correspond to any random choice of apparatuses. This problem is interesting not only for foundations, but also for applications, since most optimization strategies give optimal apparatuses that are indecomposable. Mathematically the problem is posed describing each measuring apparatus by a positive operator- valued measure (POVM), which gives the statistics of the outcomes for any input state. The POVM’s form a convex set, and in this language the indecomposable apparatuses are represented by extremal points—the analogous of ”pure states” in the convex set of states. Diﬀerently from the case of states, however, indecomposable POVM’s are not necessarily rank-one, e. g. von Neumann measurements. In this paper we give a complete classiﬁcation of indecomposable apparatuses (for discrete spec- trum), by providing diﬀerent necessary and suﬃcient conditions for extremality of POVM’s, along with a simple general algorithm for the decomposition of a POVM into extremals. As an interesting application, ”informationally complete” measurements are analyzed in this respect. The convex set of POVM’s is fully characterized by determining its border in terms of simple algebraic properties of the corresponding POVM’s. PACS numbers: 03.65.Ta, 03.67.-a I. INTRODUCTION of the measuring apparatus according to the Born rule p(e|ρ) = Tr[ρPe]. (1) Measurements are the essence of any experimental sci- In Eq. (1) Pe denote positive operators on the Hilbert ence. At extreme sensitivities and precisions they become space H of the system, representing our knowledge of the true core of quantum mechanics. For any practical the measuring apparatus from which we infer informa- need, a measurement can be always regarded as the re- tion on the state ρ from the probability distribution trieval of information about the ”state” of the measured p(e|ρ). Positivity of Pe is needed for positivity of p(e|ρ), system. However, due to the no-cloning theorem[1, 2], whereas normalization is guaranteed by the completeness even for an elementary system—e.g. a single harmonic Pe∈E Pe = I. In the present paper we will only consider oscillator or a spin—it is impossible to recover a com- the simple case of ﬁnite discrete set E. More generally, plete knowledge of the state of the system from a single on has an inﬁnite probability space E (generally contin- measurement[3] without prior knowledge. Then, since uous), and in this context the set of positive operators in quantum mechanics diﬀerent incompatible measure- {Pe} becomes actually a positive operator valued mea- ments can be performed in principle, one is faced with sure (POVM). Every apparatus is described by a POVM, the problem of which measurement should be adopted and, reversely, every POVM can be realized in principle arXiv:quant-ph/0408115v2 16 Jun 2005 for accomplishing a speciﬁc task, and which strategy of by an apparatus [5, 6, 7, 8, 9, 10, 11]. repeated measurements would be the most statistically The linearity of the Born rule (1) in both arguments ρ eﬃcient. These are the basic issues of the operational and Pe is consistent with the intrinsically statistical na- viewpoint of Quantum Estimation Theory[4]. ture of the measurement, in which our partial knowledge of both the system and the apparatus reﬂects in ”con- A measurement on a quantum system [5] returns a vex” structures for both states and POVM’s. This means random result e from a set of possible outcomes E = {e = that not only states, but also POVM’s can be ”mixed”, 1,...N}, with probability distribution p(e|ρ) depending namely there are POVM’s that give probability distri- on the state ρ of the system in a way which is distinctive butions p(e|ρ) that are equivalent to randomly choosing among diﬀerent apparatuses. Notice that mixed POVM’s can also correspond to a single measuring apparatus, not only when the apparatus itself is prepared in a mixed ∗Electronic address: [email protected]; Also at Center for Pho- state, but also for pure preparation, as a result of discard- tonic Communication and Computing, Department of Electrical ing (tracing out) the apparatus after a unitary interaction and Computer Engineering, Northwestern University, Evanston, IL with the system. Clearly, such mixing is itself a source of 60208 †Electronic address: [email protected] ”classical” noise, which can be in principle removed by ‡Electronic address: perinotti@ﬁsicavolta.unipv.it; Also at Istituto adopting an indecomposable apparatus in the ensemble Nazionale di Fisica della Materia Unit`adi Pavia corresponding to the mixed POVM. It is then natural to 2 ask which apparatuses are indecomposable, i. e. ”pure” After summarizing the results in the concluding Section in the above sense, or, mathematically, which POVM’s VI, Appendix A reports the algorithm for decomposing correspond to extremal points of the convex set. The a POVM into extremals. classiﬁcation of such apparatuses is certainly very use- ful in applications, since most optimization strategies in quantum estimation theory[4, 5] correspond to minimize II. CONVEXITY AND EXTREMALITY OF a concave (actually linear) function on the POVM’s con- POVM’S vex set—so-called ”cost-function”—whence leading to an optimal POVM which is extremal. Let’s denote by PN the convex set of POVM’s on a Surprisingly, extremality for POVM’s generally doesn’t ﬁnite dimensional Hilbert space H, with a number N of mean to be rank-one, as for ”pure” states. In other outcomes E = {1,...,N}. We will represent a POVM words, indecomposable POVM’s are not necessarily re- in the set as the vector P ∈ PN P = {P1,...,PN } alized by von Neumann measurements. Indeed, as we of the N positive operators Pe. The fact that the set will see in this paper, there are rank-one POVM’s that PN is convex means that it is closed under convex lin- ′ ′′ are not extremal, whereas, on the opposite side, there ear combinations, namely for any P , P ∈ PN also ′ ′′ are higher-rank POVM’s which are extremal. Moreover, P = pP + (1 − p)P ∈ PN with 0 ≤ p ≤ 1 — i.e. p is whenever the optimization problems have additional lin- a probability. Then, P can be also equivalently achieved ear constraints—e. g. for covariant POVM’s, or for by randomly choosing between two diﬀerent apparatuses ﬁxed probability distribution on a given state—the cor- corresponding to P′ and P′′, respectively, with probabil- responding subset of POVM’s is a lower dimensional con- ity p and 1 − p, since, the overall statistical distribution vex set corresponding to a section by a hyperplane of the p(e|ρ) will be the convex combination of the statistics ′ ′′ complete POVM’s convex set, with boundary equal to coming from P and P . Notice that PN contains also the section of the original boundary, and whence with the set of POVM’s with a strictly smaller number of out- extremal points that belong to the boundary of the con- comes, i. e. with E′ ⊂ E. For such POVM’s the elements vex set of all POVM’s. For this reason, also the boundary corresponding to outcomes in E \ E′ will be zero, corre- of the POVM’s convex set is interesting in practice, since sponding to zero probability of occurrence for all states. POVM’s that are optimal (for a concave cost function) Clearly, for N ≤ M one has PN ⊆ PM ⊆ P, where by with an additional linear constraint generally are non ex- P we denote the convex set of all POVM’s with any (gen- tremal, but still belong to the boundary. One can also erally inﬁnite) discrete spectrum. The extremal points argue that POVM’s which lie inside faces of the convex, of PN represent the ”indecomposable” measurements, physically exhibit a diﬀerent degree of ”classical” noise which cannot be achieved by mixing diﬀerent measure- in relation with the dimensionality of the face. Notice ments. Obviously, a POVM which is extremal for PN is that one should not imagine the POVM’s set as a poly- also extremal for PM with M ≥ N, whence it is actu- tope, since, on the contrary the set is “strongly convex”, ally extremal for P, and we will simply name it extremal namely the extremal points are not isolated, but lie on without further speciﬁcations. continuous manifolds. Let’s start with a simple example. Consider the fol- In the present paper we address the problem of appa- lowing two-outcome POVM for a qubit ratus decomposability along three lines of attack: a) by 1 1 providing simple necessary and suﬃcient conditions for P = 2 |0ih0|, 2 |0ih0| + |1ih1| . (2) extremality of POVM’s; b) by establishing the complete 1 structure of the POVM’s convex set via the character- By deﬁning D = 2 (|0ih0|, −|0ih0|), the two vectors P± = ization of its border in terms of algebraic properties of P ± D correspond to the following diﬀerent POVM’s the POVM’s; c) by providing a simple general algorithm for the decomposition of POVM’s into extremals. For P+ = (|0ih0|, |1ih1|) , P− = (0, I) , (3) simplicity, the whole paper is restricted to the case of discrete spectrum.