As a foundation of quantum physics, uncertainty relations describe ultimate limit for the measurement uncertainty of incompatible observables. Traditionally, uncertainty relations are formulated by mathematical bounds for a specific state. Here we present a method for geometrically characterizing uncertainty relations as an entire area of variances of the observables, ranging over all possible input states. We find that for the pair of position and momentum operators, Heisenberg’s uncertainty principle points exactly to the attainable area of the variances of position and momentum. Moreover, for finite-dimensional systems, we prove that the corresponding area is necessarily semialgebraic; in other words, this set can be represented via finite polynomial equations and inequalities, or any finite union of such sets. In particular, we give the analytical characterization of the areas of variances of (a) a pair of one-qubit observables and (b) a pair of projective observables for arbitrary dimension, and give the first experimental observation of such areas in a photonic system.
As a foundation of quantum physics, uncertainty relations describe ultimate limit for the measurement uncertainty of incompatible observables. Traditionally, uncertainty relations are formulated by mathematical bounds for a specific state. Here we present a method for geometrically characterizing uncertainty relations as an entire area of variances of the observables, ranging over all possible input states. We find that for the pair of position and momentum operators, Heisenberg’s uncertainty principle points exactly to the attainable area of the variances of position and momentum. Moreover, for finite-dimensional systems, we prove that the corresponding area is necessarily semialgebraic; in other words, this set can be represented via finite polynomial equations and inequalities, or any finite union of such sets. In particular, we give the analytical characterization of the areas of variances of (a) a pair of one-qubit observables and (b) a pair of projective observables for arbitrary dimension, and give the first experimental observation of such areas in a photonic system.
Learning physical properties of a quantum system is essential for the developments of quantum technologies. However, Heisenberg’s uncertainty principle constrains the potential knowledge one can simultaneously have about a system in quantum theory. Aside from its fundamental significance, the mathematical characterization of this restriction, known as ‘uncertainty relation’, plays important roles in a wide range of applications, stimulating the formation of tighter uncertainty relations. In this work, we investigate the fundamental limitations of variance-based uncertainty relations, and introduce several ‘near optimal’ bounds for incompatible observables. Our results consist of two morphologically distinct phases: lower bounds that illustrate the uncertainties about measurement outcomes, and the upper bound that indicates the potential knowledge we can gain. Combining them together leads to an uncertainty interval, which captures the essence of uncertainties in quantum theory. Finally, we have detailed how to formulate lower bounds for product-form variance-based uncertainty relations by employing entropic uncertainty relations, and hence built a link between different forms of uncertainty relations.
Uncertainty relations are usually stated as bounds on selected combinations of variances, but the full covariance matrix contains substantially richer information about the geometry of quantum state space and about the operational capabilities of quantum systems. Here we characterize the covariance matrices attainable by a finite-dimensional canonical pair of observables related by the discrete Fourier transform, the natural analogue of position and momentum in a finite Hilbert space. We combine analytic arguments with convex-geometric and semidefinite-programming methods based on joint numerical ranges to describe the admissible region through unitary invariants, in particular the trace and determinant of the covariance matrix. This provides a systematic way to identify extremal states, generalizing the notion of minimum-uncertainty states, and to quantify how the discrete uncertainty geometry approaches its continuous counterpart with increasing dimension. We further show that the resulting covariance-matrix characterization has direct consequences for applications: it yields accuracy bounds for multi parameter estimation protocols and separability criteria for finite-dimensional bipartite systems, including discrete analogues of continuous-variable EPR-type witnesses. Our results establish a systematic and versatile platform for connecting uncertainty relations, convex quantum geometry, metrology, and entanglement detection in finite-dimensional systems.
Uncertainty relations are one of the most important foundations of quantum physics. In the textbook literatures, uncertainty relations usually refer to the preparation uncertainty. Its original formulation based on variances of two observables limits on the ability to prepare an ensemble of quantum systems for which non-commuting observables will have arbitrary uncertainty. The preparation uncertainty relation has been widely investigated. On the other hand, a unitary operator is a fundamental tenet of quantum theory. Every evolution of a closed quantum system is governed by acting unitary operators on the state of the system and the evolution of an open system can be represented by acting unitary operators on an enlarged system consisting of the quantum system as a subsystem. Therefore, naturally, to understand and quantitatively capture the essence of uncertainty relations for unitary operators is important and timely. Here we report an experimental investigation of a set of uncertainty relations for two unitary operators, which are theoretically derived by using a sequence of fine-grained inequalities. We test these uncertainty relations with single photons and interferometric networks. The unitary uncertainty relation is saturated by any pure qubit state. For higher-dimensional states, it is stronger than the best known bound introduced in the previous literatures. The lower bounds of the unitary uncertainty relations can be even further strengthened by the symmetry of permutation. The experimental findings agree with the predictions of quantum theory and respect the new uncertainty relations.
Abstract Constructive techniques to establish state-independent uncertainty relations for the sum of variances of arbitrary two observables are presented. We investigate the range of simultaneously attainable pairs of variances, which can be applied to a wide variety of problems including finding exact bound for the sum of variances of two components of angular momentum operator for any total angular momentum quantum number j and detection of quantum entanglement. Resulting uncertainty relations are state-independent, semianalytical, bounded-error and can be made arbitrarily tight. The advocated approach, based on the notion of joint numerical range of a number of observables and uncertainty range, allows us to improve earlier numerical works and to derive semianalytical tight bounds for the uncertainty relation for the sum of variances expressed as roots of a polynomial of a single real variable.
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.