Incompatibility of quantum measurements
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Stern-Gerlach_experiment_svg.svg/300px-Stern-Gerlach_experiment_svg.svg.png)
Part of a series of articles about |
Quantum mechanics |
---|
Incompatibility of quantum measurements is a crucial concept of quantum information, addressing whether two or more quantum measurements can be performed on a quantum system simultaneously.[1] It highlights the unique and non-classical behavior of quantum systems.[2] This concept is fundamental to the nature of quantum mechanics and has practical applications in various quantum information processing tasks like quantum key distribution and quantum metrology.[1][2]
History
[edit]Early ages
[edit]The concept of incompatibility of quantum measurements originated from Heisenberg's uncertainty principle,[2] which states that certain pairs of physical quantities, like position and momentum, cannot be simultaneously measured with arbitrary precision.[3] This principle laid the groundwork for understanding the limitations of measurements in quantum mechanics.[1]
Mid-20th century
[edit]In the mid-20th century, researchers began to formalize the idea of compatibility of quantum measurements, and to explore conditions under which a set of measurements can be performed together on a single quantum system without disturbing each other.[4] This was crucial for understanding how quantum systems behave under simultaneous observations.[1]
Late-20th century
[edit]The study of incompatibility of quantum measurements gained significant attention with the rise of quantum information theory. Researchers realized that measurement incompatibility is not just a limitation but also a resource for various quantum information processing tasks.[2] For example, it plays a crucial role in quantum cryptography, where the security of quantum key distribution protocols relies on the incompatibility of certain quantum measurements.[1]
21th century
[edit]Modern research focuses on quantifying measurement incompatibility using various measures. Quite a number of approaches involve robustness-based measures, which assess how much noise can be added to a set of quantum measurements before they become compatible.[2]
Definition
[edit]In quantum mechanics, two measurements, and , are called compatible if and only if there exists a third measurement of which can be obtained as margins, or equivalently, from which can be simulated via classical post-processings.[4] More precisely, let and be two positive operator-valued measures (POVMs), where are two measurable spaces, and is the set of bounded linear operators on a Hilbert space . Then are called compatible (jointly measurable) if and only if there is a POVM such that
for all and . Otherwise, are called incompatible. The definition of compatibility of a finite number of POVMs is similar.[4]
An example
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6e/Riemann_Spin2States.jpg/220px-Riemann_Spin2States.jpg)
For a two-outcome POVM on a qubit it is possible to write
where with are Pauli matrices.[2] Let and be two such POVMs with , , and , where .[2] Then for one can verify that the following POVM
is a compatiblizer of and , despite the fact that and are noncommutative for .[2] As for , it was shown that are incompatible.[5]
Criteria for compatibility
[edit]Analytical criteria
[edit]Let be two two-outcome POVMs on a qubit. It was shown that are compatible if and only if
where for .[6] Moreover, let be three two-outcome POVMs on a qubit with . Then it was proved that are compatible if and only if
where , and for .[7]
Numerical criteria
[edit]For a finite number of POVMs on a finite-dimensional quantum system, with a finite number of measurement outcomes (labeled by ), one can cast the following semidefinite program (SDP) to decide whether they are compatible or not:
where is a deterministic classical post-processing (i.e., or valued conditional probability density).[2] If for all the maximizer leads to a negative , then are incompatible. Otherwise, they are compatible.[2]
Quantifiers of incompatibility
[edit]Incompatibility noise robustness
[edit]Let be a finite number of POVMs. Incompatibility noise robustness of is defined by
where denotes the number of outcomes.[8] This quantity is a monotone under quantum channels since (i) it vanishes on that are compatible, (ii) it is symmetric under the exchange of POVMs, and (iii) it does not increase under the pre-processing by a quantum channel.[8]
Incompatibility weight
[edit]Incompatibility weight of POVMs is defined by
where is any set of POVMs.[9] This quantity is a monotone under compatibility nondecreasing operations that consist of pre-processing by a quantum instrument and classical post-processing.[9]
Incompatibility robustness
[edit]Incompatibility robustness of POVMs is defined by
where is any set of POVMs.[10] Similar to incompatibility weight, this quantity is a monotone under compatibility nondecreasing operations.[10]
All these quantifiers are based on the convex distance of incompatible POVMs to the set of compatible ones under the addition of different types of noise.[2] Specifically, all these quantifiers can be evaluated numerically, as they fall under the framework of SDPs.[2] For instance, it was shown that incompatibility robustness can be cast as the following SDP:
where is a deterministic classical post-processing, and is the dimension of the Hilbert space on which are performed.[10] If the minimizer is , then .[10]
Incompatibility and quantum information processing
[edit]Measurement incompatibility is intrinsically tied to the nonclassical features of quantum correlations.[2] In fact, in many scenarios, it becomes evident that incompatible measurements are necessary to exhibit nonclassical correlations.[2] Since such correlations are essential for tasks like quantum key distribution or quantum metrology, these connections underscore the resource aspect of measurement incompatibility.[2]
Bell nonlocality
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Bell-test-photon-analyer.png/450px-Bell-test-photon-analyer.png)
The source produces pairs of "photons", sent in opposite directions. Each photon encounters a two-channel polariser whose orientation can be set by the experimenter. Emerging signals from each channel are detected and coincidences of four types (++, −−, +− and −+) counted by the coincidence monitor.
Bell nonlocality is a phenomenon where the correlations between quantum measurements on entangled quantum states cannot be explained by any local hidden variable theory.[11] This was first demonstrated by Bell through Bell's Theorem, which showed that certain predictions of quantum mechanics are incompatible with the principle of locality (an idea that objects are only directly influenced by their immediate surroundings).[11]
If the POVMs on Alice's side are compatible, then they will never lead to Bell nonlocality.[12] However, the converse is not true. It was shown that there exist three binary measurements on a qubit, pairwise compatible but globally incompatible, yet not leading to any Bell nonlocality.[13]
Quantum steering
[edit]Quantum steering is a phenomenon where one party (Alice) can influence the state of a distant party's (Bob's) quantum system through local measurements on her own quantum system.[14] This was first introduced by Schrödinger and is a form of quantum nonlocality. It demonstrates that the state of Bob's quantum system can be "steered" into different states depending on the local measurements performed by Alice.[14]
For quantum steering to occur, the local measurements performed by Alice must be incompatible.[14] This is because steering relies on the ability to create different outcomes in Bob's system based on Alice's measurements, which is only possible if those measurements are not compatible. Further, it was shown that if the following POVMs are incompatible, then a state assemblage is steerable, where .[2]
Quantum contextuality
[edit]Quantum contextuality refers to the idea that the outcome of a quantum measurement cannot be explained by any pre-existing value that is independent of the measurement context.[15] In other words, the result of a quantum measurement depends on which other measurements are being performed simultaneously. This concept challenges classical notions of reality, where it is assumed that properties of a system exist independently of measurement.[15]
It was proved that any set of compatible POVMs leads to preparation noncontextual correlations for all input quantum states.[2] Conversely, the existence of a preparation noncontextual model for all input states implies compatibility of the involved POVMs.[2]
See also
[edit]References
[edit]- ^ a b c d e Heinosaari, Teiko; Miyadera, Takayuki; Ziman, Mario (February 2016). "An invitation to quantum incompatibility". Journal of Physics A: Mathematical and Theoretical. 49 (12): 123001. arXiv:1511.07548. Bibcode:2016JPhA...49l3001H. doi:10.1088/1751-8113/49/12/123001.
- ^ a b c d e f g h i j k l m n o p q r Guhne, Otfried; Haapasalo, Erkka; Kraft, Tristan; Pellonpaa, Juha-Peka; Uola, Roope (February 2023). "Colloquium: Incompatible measurements in quantum information science". Reviews of Modern Physics. 95 (1): 011003. arXiv:2112.06784. Bibcode:2023RvMP...95a1003G. doi:10.1103/RevModPhys.95.011003.
- ^ Heisenberg, W. (March 1927). "Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik". Zeitschrift für Physik. 43 (3): 172–198. Bibcode:1927ZPhy...43..172H. doi:10.1007/BF01397280.
- ^ a b c Busch, Paul; Lahti, Pekka; Pellonpää, Juha-Pekka; Ylinen, Kari (2016). Quantum measurement. Theoretical and Mathematical Physics. Vol. 23. Springer. pp. 261–262. Bibcode:2016qume.book.....B. doi:10.1007/978-3-319-43389-9. ISBN 978-3-319-43387-5.
- ^ Paul, Busch (April 1986). "Unsharp reality and joint measurements for spin observables". Physical Review D. 33 (8): 2253–2261. Bibcode:1986PhRvD..33.2253B. doi:10.1103/PhysRevD.33.2253. PMID 9956897.
- ^ Yu, Sixia; Liu, Nai-le; Li, Li; Oh, C. H. (June 2010). "Joint measurement of two unsharp observables of a qubit". Physical Review A. 81 (6): 062116. arXiv:0805.1538. Bibcode:2010PhRvA..81f2116Y. doi:10.1103/PhysRevA.81.062116.
- ^ Yu, Sixia; Oh, C. H. (December 2013). "Quantum contextuality and joint measurement of three observables of a qubit". arXiv:1312.6470 [quant-ph].
- ^ a b Heinosaari, Teiko; Kiukas, Jukka; Reitzner, Daniel (August 2015). "Noise robustness of the incompatibility of quantum measurements". Physical Review A. 92 (2): 022115. arXiv:1501.04554. Bibcode:2015PhRvA..92b2115H. doi:10.1103/PhysRevA.92.022115.
- ^ a b Pusey, M. F. (April 2015). "Verifying the quantumness of a channel with an untrusted device". Journal of the Optical Society of America B. 32 (4): A56–A63. arXiv:1502.03010. Bibcode:2015JOSAB..32A..56P. doi:10.1364/JOSAB.32.000A56.
- ^ a b c d Uola, Roope; Budroni, Costantino; Guhne, Otfried; Pellonpaa, Juha-Pekka (December 2015). "One-to-one mapping between steering and joint measurability problems". Physical Review Letters. 115 (23): 230402. arXiv:1507.08633. Bibcode:2015PhRvL.115w0402U. doi:10.1103/PhysRevLett.115.230402. PMID 26684101.
- ^ a b Loulidi, Faedi; Nechita, Ion (December 2022). "Measurement incompatibility versus Bell nonlocality: an approach via tensor norms". PRX Quantum. 3 (4): 040325. arXiv:2205.12668. Bibcode:2022PRXQ....3d0325L. doi:10.1103/PRXQuantum.3.040325.
- ^ Fine, Arthur (February 1982). "Hidden variables, joint probability, and the Bell inequalities". Physical Review Letters. 48 (5): 291–295. Bibcode:1982PhRvL..48..291F. doi:10.1103/PhysRevLett.48.291.
- ^ Bene, Erika; Vértesi, Tamás (January 2018). "Measurement incompatibility does not give rise to Bell violation in general". New Journal of Physics. 20 (1): 013021. arXiv:1705.10069. Bibcode:2018NJPh...20a3021B. doi:10.1088/1367-2630/aa9ca3.
- ^ a b c Uola, Roope; Costa, Ana C. S.; Nguyen, H. Chau; Guhne, Otfried (March 2020). "Quantum steering". Reviews of Modern Physics. 92 (1): 015001. arXiv:1903.06663. Bibcode:2020RvMP...92a5001U. doi:10.1103/RevModPhys.92.015001.
- ^ a b Tavakoli, Armin; Uola, Roope (January 2020). "Measurement incompatibility and steering are necessary and sufficient for operational contextuality". Physical Review Research. 2 (1): 013011. arXiv:1905.03614. Bibcode:2020PhRvR...2a3011T. doi:10.1103/PhysRevResearch.2.013011.
Further reading
[edit]- Alter, Orly; Yamamoto, Yoshihisa (2001). Quantum Measurement of a Single System. New York: Wiley. doi:10.1002/9783527617128. ISBN 9780471283089.
- Busch, Paul; Lahti, Pekka; Pellonpää, Juha-Pekka; Ylinen, Kari (2016). Quantum measurement. Vol. 23. Springer. pp. 261–262. Bibcode:2016qume.book.....B. doi:10.1007/978-3-319-43389-9. ISBN 978-3-319-43387-5.
- Braginsky, Vladimir B.; Khalili, Farid Ya. (1992). Quantum Measurement. Cambridge University Press. ISBN 978-0-521-41928-4.
- Greenstein, George S.; Zajonc, Arthur G. (2006). The Quantum Challenge: Modern Research On The Foundations Of Quantum Mechanics (2nd ed.). Jones & Bartlett Learning. ISBN 978-0763724702.
- Jordan, Andrew N.; Siddiqi, Irfan A. (2024). Quantum Measurement: Theory and Practice. Cambridge University Press. ISBN 978-1009100069.
- Wheeler, John A.; Zurek, Wojciech H., eds. (1983). Quantum Theory and Measurement. Princeton University Press. ISBN 978-0-691-08316-2.