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. It highlights the unique and non-classical behavior of quantum systems. 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.
History
Early ages The concept of incompatibility of quantum measurements originated from Heisenberg's uncertainty principle, which states that certain pairs of physical quantities, like position and momentum, cannot be simultaneously measured with arbitrary precision. This principle laid the groundwork for understanding the limitations of measurements in quantum mechanics.
Mid-20th century 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. This was crucial for understanding how quantum systems behave under simultaneous observations.
Late-20th century 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. 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.
21st century 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.
Definition In quantum mechanics, two measurements, M 1 {\displaystyle M_{1}} and M 2 {\displaystyle M_{2}} , are called compatible if and only if there exists a third measurement M {\displaystyle M} of which M 1 , M 2 {\displaystyle M_{1},M_{2}} can be obtained as margins, or equivalently, from which M 1 , M 2 {\displaystyle M_{1},M_{2}} can be simulated via classical post-processings. More precisely, let M 1 : A 1 → B ( H ) {\displaystyle M_{1}:{\mathcal {A}}_{1}\to {\mathcal {B}}(\mathbb {H} )} and M 2 : A 2 → B ( H ) {\displaystyle M_{2}:{\mathcal {A}}_{2}\to {\mathcal {B}}(\mathbb {H} )} be two positive operator-valued measures (POVMs), where ( X 1 , A 1 ) , ( X 2 , A 2 ) {\displaystyle (X_{1},{\mathcal {A}}_{1}),(X_{2},{\mathcal {A}}_{2})} are two measurable spaces, and
B ( H ) {\displaystyle {\mathcal {B}}(\mathbb {H} )} is the set of bounded linear operators on a Hilbert space H {\displaystyle \mathbb {H} } . Then M 1 , M 2 {\displaystyle M_{1},M_{2}} are called compatible (jointly measurable) if and only if there is a POVM
M : A 1 ⊗ A 2 → B ( H ) {\displaystyle M:{\mathcal {A}}_{1}\otimes {\mathcal {A}}_{2}\to {\mathcal {B}}(\mathbb {H} )} such that
M ( A 1 × X 2 ) = M 1 ( A 1 ) , {\displaystyle M(A_{1}\times X_{2})=M_{1}(A_{1}),}
M ( X 1 × A 2 ) = M 2 ( A 2 ) , {\displaystyle M(X_{1}\times A_{2})=M_{2}(A_{2}),}
… excerpt ends here. Continue reading the full article.
