Heisenberg-type measurement uncertainty relations (MURs) of two quantum observables are essential for contemporary research in quantum foundations and quantum information science. Going beyond, here we report the first experimental study of MUR of three quantum observables. We establish rigorously MURs for triplets of unbiased qubit observables as combined approximation errors lower bounded by an incompatibility measure, inspired by the proposal of Busch et al. [Phys. Rev. A 89, 012129 (2014)PLRAAN1050-294710.1103/PhysRevA.89.012129]. We develop a convex programming protocol to numerically find the exact value of the incompatibility measure and the optimal measurements. We propose a novel implementation of the optimal joint measurements and present several experimental demonstrations with a single-photon qubit. We stress that our method is universally applicable to the study of many qubit observables. Besides, we theoretically show that MURs for joint measurement can be attained by sequential measurements in two of our explored cases. We anticipate that this work may stimulate broad interests associated with Heisenberg's uncertainty principle in the case of multiple observables, enriching our understanding of quantum mechanics and inspiring innovative applications in quantum information science.
Heisenberg-type measurement uncertainty relations (MURs) of two quantum observables are essential for contemporary research in quantum foundations and quantum information science. Going beyond, here we report the first experimental study of MUR of three quantum observables. We establish rigorously MURs for triplets of unbiased qubit observables as combined approximation errors lower bounded by an incompatibility measure, inspired by the proposal of Busch et al. [Phys. Rev. A 89, 012129 (2014)PLRAAN1050-294710.1103/PhysRevA.89.012129]. We develop a convex programming protocol to numerically find the exact value of the incompatibility measure and the optimal measurements. We propose a novel implementation of the optimal joint measurements and present several experimental demonstrations with a single-photon qubit. We stress that our method is universally applicable to the study of many qubit observables. Besides, we theoretically show that MURs for joint measurement can be attained by sequential measurements in two of our explored cases. We anticipate that this work may stimulate broad interests associated with Heisenberg's uncertainty principle in the case of multiple observables, enriching our understanding of quantum mechanics and inspiring innovative applications in quantum information science.
Heisenberg's measurement uncertainty relations (MUR) of two quantum observables are essential for contemporary researches in quantum foundations and quantum information science. Going beyond, here we report the first experimental test of MURs for three quantum observables. Following the proposal of Bush, Lahti, and Werner [Phys. Rev. A 89, 012129 (2014)], we first establish rigorously MURs for triplets of unbiased qubit observables as combined approximation errors lower-bounded by an incompatibility measure. We then develop a convex programming protocol to numerically find the exact value of the incompatibility measure and the corresponding optimal measurements. Furthermore, we propose a novel implementation of optimal joint measurements and experimentally test our MURs using a single-photon qubit. Lastly, we discuss to analytically calculate the exact value of incompatibility measure for some symmetric triplets. We anticipate that this work may stimulate broad interests associated with the Heisenberg's uncertainty relation of multiple observables, enriching our understanding of quantum mechanics and inspiring innovative applications in quantum information science.
We establish rigorously in this work a measurement uncertainty relation (MUR) for three unbiased qubit observables, which was previously shown to hold true under some presumptions. The triplet MUR states that the uncertainty, which is quantified by the total statistical distance between the target observables and the jointly implemented observables, is lower bounded by an incompatibility measure that reflects the joint measurement conditions. We derive a necessary and sufficient condition for the triplet MUR to be saturated and the corresponding optimal measurement. To facilitate experimental tests of MURs we propose a straightforward implementation of the optimal joint measurements. Lastly, by a symmetry argument, the exact values of incompatibility measure are analytically calculated for some symmetric triplets. We anticipate that our work may enrich the understanding of quantum incompatibility in terms of MURs and inspire further applications in quantum information science. This work presents a complete theory relevant to a parallel work [Y.-L. Mao et al., Testing Heisenberg-type measurement uncertainty relations of three observables, Phys. Rev. Lett. 131, 150203 (2023)] on experimental tests.
Being one of the centroidal concepts in quantum theory, the fundamental constraint imposed by Heisenberg uncertainty relations has always been a subject of immense attention and challenging in the context of joint measurements of general quantum mechanical observables. In particular, the recent extension of the original uncertainty relations has grabbed a distinct research focus and set a new ascendent target in quantum mechanics and quantum information processing. In the present work we explore the joint measurements of three incompatible observables, following the basic idea of a newly proposed error trade-off relation. In comparison to the counterpart of two incompatible observables, the joint measurements of three incompatible observables are more complex and of more primal interest in understanding quantum mechanical measurements. Attributed to the pristine idea proposed by Heisenberg in 1927, we develop the error trade-off relations for compatible observables to categorically approximate the three incompatible observables. Implementing these relations we demonstrate the first experimental witness of the joint measurements for three incompatible observables using a single ultracold 40Ca+ ion in a harmonic potential. We anticipate that our inquisition would be of vital importance for quantum precision measurement and other allied quantum information technologies.
Incompatible observables can be approximated by compatible observables in joint measurement or measured sequentially, with constrained accuracy as implied by Heisenberg's original formulation of the uncertainty principle. Recently, Busch, Lahti, and Werner proposed inaccuracy trade-off relations based on statistical distances between probability distributions of measurement outcomes [P. Busch et al., Phys. Rev. Lett. 111, 160405 (2013); P. Busch et al., Phys. Rev. A 89, 012129 (2014)]. Here we reformulate their theoretical framework, derive an improved relation for qubit measurement, and perform an experimental test on a spin system. The relation reveals that the worst-case inaccuracy is tightly bounded from below by the incompatibility of target observables, and is verified by the experiment employing joint measurement in which two compatible observables designed to approximate two incompatible observables on one qubit are measured simultaneously.
Abstract In standard formulations of the uncertainty principle, two fundamental features are typically cast as impossibility statements: two noncommuting observables cannot in general both be sharply defined (for the same state), nor can they be measured jointly. The pioneers of quantum mechanics were acutely aware and puzzled by this fact, and it motivated Heisenberg to seek a mitigation, which he formulated in his seminal paper of 1927. He provided intuitive arguments to show that the values of, say, the position and momentum of a particle can at least be unsharply defined, and they can be measured together provided some approximation errors are allowed. Only now, nine decades later, a working theory of approximate joint measurements is taking shape, leading to rigorous and experimentally testable formulations of associated error tradeoff relations. Here we briefly review this new development, explaining the concepts and steps taken in the construction of optimal joint approximations of pairs of incompatible observables. As a case study, we deduce measurement uncertainty relations for qubit observables using two distinct error measures. We provide an operational interpretation of the error bounds and discuss some of the first experimental tests of such relations.
In standard formulations of the uncertainty principle, two fundamental features are typically cast as impossibility statements: two noncommuting observables cannot in general both be sharply defined (for the same state), nor can they be measured jointly. The pioneers of quantum mechanics were acutely aware and puzzled by this fact, and it motivated Heisenberg to seek a mitigation, which he formulated in his seminal paper of 1927. He provided intuitive arguments to show that the values of, say, the position and momentum of a particle can at least be unsharply defined, and they can be measured together provided some approximation errors are allowed. Only now, nine decades later, a working theory of approximate joint measurements is taking shape, leading to rigorous and experimentally testable formulations of associated error tradeoff relations. Here we briefly review this new development, explaining the concepts and steps taken in the construction of optimal joint approximations of pairs of incompatible observables. As a case study, we deduce measurement uncertainty relations for qubit observables using two distinct error measures. We provide an operational interpretation of the error bounds and discuss some of the first experimental tests of such relations.