Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2606.29992

Equality Conditions for an Additive Three-Observable Uncertainty Relation

Yao-Yi Zeng, Zhi-Jie Liu, Jie Zhou, Jing-Ling Chen

quant-phSubmitted Jun 29, 2026• Announced Jun 30, 2026• 0 citations
arXivHTMLPDF

Abstract

Uncertainty relations play a fundamental role in quantum mechanics by quantifying the intrinsic limitations on the simultaneous sharpness of incompatible observables. Beyond the standard two-observable product form, additive uncertainty relations for triples of observables provide a natural framework for describing collective constraints among three noncommuting components. In this work, we study an additive uncertainty relation for three Hermitian observables from the viewpoint of rotational symmetry and covariance geometry. We give a short rotational derivation by rotating the observable triple and applying the Robertson uncertainty relation to the two transverse observables. This derivation makes the saturation mechanism transparent and leads to a necessary and sufficient condition for equality for general density operators. In the nontrivial equality case, the covariance ellipsoid of the observable triple degenerates into a disk perpendicular to the expectation value of the commutator vector. We also discuss an inverse construction based on finite-dimensional representations of the Lie algebra \(\mathfrak{su}(2)\), which provides a systematic way to construct observable triples with prescribed saturating states. These results clarify the geometric and representation-theoretic structure underlying the tightness of additive three-observable uncertainty relations.

Comments
8 pages, 1 figure

Related papers

A Spectral-Geometric Formulation of Extended Uncertainty Principles in Quantum Mechanics

Bholanath Padhy, Bk Majhi, K. Navya +1 more

The Heisenberg uncertainty principle is foundational to quantum mechanics, yet its standard formulation is limited to Hilbert space operator commutators. Recent advances in noncommutative geometry (NCG) allow a reformulation of quantum observables and spacetime itself using operator algebras, providing a deeper framework for uncertainty relations. In this paper, we develop a generalized uncertainty relation using spectral triples, extending the Robertson– Schrödinger inequality into the noncommutative regime. Explicit derivations are given for operator-valued distances, modified commutators, and position–momentum operators in a noncommutative configuration space. Our results reveal the emergence of a minimal measurable length scale, consistent with predictions from quantum gravity, and demonstrate that uncertainty is fundamentally geometric in origin.

East European Journal of Physics•Mar 14, 2026•0 citations

Lie Algebraic Uncertainty Relations

Xiaoli Hu, Naihuan Jing, Jian Zhang +1 more

Uncertainty relations impose fundamental constraints on quantum observables, yet optimal bounds are needed to determine their incompatibility through the minimum attainable uncertainty. Here we introduce a covariance-matrix formulation from which infinitely many uncertainty relations follow, encompassing Hermitian observables and non-Hermitian operators and recovering the variance sum as a special case. Within this family, a basis-independent uncertainty for simple and semisimple Lie algebras admits an exact solution: its optimal state-independent bound is an explicit pairing of root system with the highest weight of the representation. The minimum is attained by a highest-weight state, replacing a search over quantum states with a calculation in representation theory. A complementary result establishes that uncertainty is constant within each weight space, yielding a conservation law. The same commutation relations can therefore support distinct uncertainty limits, depending on their realization on the state space. By rendering these limits analytically accessible, the framework turns representation theory into a tool for quantifying quantum incompatibility and may help establish the boundary between attainable and impossible tasks in quantum theory.

quant-pharXiv:2610.03661•Oct 5, 2026•0 citations

Heisenberg uncertainty relation for three canonical observables

Spiros Kechrimparis, Stefan Weigert

Uncertainty relations provide fundamental limits on what can be said about the properties of quantum systems. For a quantum particle, the commutation relation of position and momentum observables entails Heisenberg's uncertainty relation. A third observable is presented which satisfies canonical commutation relations with both position and momentum. The resulting triple of pairwise canonical observables gives rise to a Heisenberg uncertainty relation for the product of three standard deviations. We derive the smallest possible value of this bound and determine the specific squeezed state which saturates the triple uncertainty relation. Quantum optical experiments are proposed to verify our findings.

arXiv:1407.0083•Physical Review A•Dec 15, 2014•51 citations

Uncertainty relations via conditional expectation and variance

Anonymous, Peng Zhou, Haoyu Chen +1 more

The uncertainty principle constitutes a cornerstone of quantum mechanics. However, its conventional formulations do not adequately describe uncertainty in scenarios involving conditional measurement. In this work, we propose uncertainty relations based on conditional variance and conditional expectation. We define the conditional expectation operator E ( A ̂ | B ̂ ) , its dual operator E ( B ̂ | A ̂ ) , and a corresponding conditional covariance term R corr . We demonstrate that even for noncommuting observables A ̂ and B ̂ , their conditional expectation operators can possess a nonvanishing commutator. This leads to a strengthened uncertainty relation applicable to both pure and mixed states. In addition to the standard term arising from the noncommutativity of the observables themselves, our relation incorporates three distinct contributions: one from the noncommutativity of the conditional expectations, one from quantum coherence, and one from the conditional covariance. These contributions collectively yield a significantly tighter lower bound. Numerical simulations verify the generality and enhanced tightness of the proposed relation. Our results provide a refined theoretical tool for the joint estimation of multiple observables in composite quantum systems, with potential applications in quantum precision metrology and secure quantum key distribution.

APS Open Science•Sep 22, 2026•0 citations

Robertson–Schrödinger uncertainty relation for qubits: a visual approach

Julio C. Gutiérrez-Vega

Abstract The uncertainty principle sets a limit to our capacity to predict the outcomes of two incompatible measurements. The Heisenberg uncertainty relation for two arbitrary observables A and B is usually discussed in textbooks. However, little or no attention is paid to the fact that Schrödinger generalised the Heisenberg relation taking into account the covariance between the observables A and B . This extended inequality is known as the Robertson–Schrödinger uncertainty relation. Here, we demonstrate the less known fact that two-level quantum states, i.e., qubits, satisfy the equality of the Robertson–Schrödinger uncertainty relation for two arbitrary observables A and B . Taking advantage of the homomorphism between SU(2) and SO(3) groups, it is possible to map the distributions of the expectation values and variances of the observables, and the Heisenberg and covariance terms on the Bloch sphere. The graphical visualisation of the relevant quantities involved in the uncertainty relations allows us to distinguish specific properties and symmetries that are not so evident in the algebraic formalism.

European Journal of Physics•Jan 8, 2021•4 citations

Uncertainty relations for quantum particles

Σπυρίδων Κεχριμπάρης

The focus of the present investigation is uncertainty relations for quantum particles, which quantify the fundamental limitations on some of their properties due to their incompatibility. In the first, longer part, we are concerned with preparational uncertainty \nrelations, while in the second we touch upon measurement inequalities through a generalisation of a model of joint measurement of position and momentum. \nSpecifically, starting from a triple of canonical operators, we prove product and sum inequalities for their variances with bounds larger than those following from combining the pairwise ones. We extend these results to N observables for a quantum particle and prove uncertainty relations for the sums and products of their variances \nin terms of the commutators. \nFurthermore, we present a general theory of preparational uncertainty relations for a quantum particle in one dimension and derive conditions for a smooth function of the second moments to assume a lower bound. The Robertson-Schroedinger inequality \nis found to be of special significance and we geometrically study the space of second moments. We prove new uncertainty relations for various functions of the variances and covariance of position and momentum of a quantum particle. Some of our findings are shown to extend to more than one spatial degree of freedom and we derive \nvarious types of inequalities. \nFinally, we propose a generalisation of the Arthurs-Kelly model of joint measurement of position and momentum to incorporate the case of more than two observables and derive joint-measurement inequalities for the statistics of the probes. For the case of \nthree canonical observables and suitable definitions of error and disturbance we obtain a number of error-error-error and error-error-disturbance inequalities and show that the lower bound is identical to the preparational one.

•Dec 1, 2015•1 citation
Uncertainty relations play a fundamental role in quantum mechanics by quantifying the intrinsic limitations on the simultaneous sharpness of incompatible observables. Beyond the standard two-observable product form, additive uncertainty relations for triples of observables provide a natural framework for describing collective constraints among three noncommuting components. In this work, we study an additive uncertainty relation for three Hermitian observables from the viewpoint of rotational symmetry and covariance geometry. We give a short rotational derivation by rotating the observable triple and applying the Robertson uncertainty relation to the two transverse observables. This derivation makes the saturation mechanism transparent and leads to a necessary and sufficient condition for equality for general density operators. In the nontrivial equality case, the covariance ellipsoid of the observable triple degenerates into a disk perpendicular to the expectation value of the commutator vector. We also discuss an inverse construction based on finite-dimensional representations of the Lie algebra (\mathfrak{su}(2)), which provides a systematic way to construct observable triples with prescribed saturating states. These results clarify the geometric and representation-theoretic structure underlying the tightness of additive three-observable uncertainty relations.
The Heisenberg uncertainty principle is foundational to quantum mechanics, yet its standard formulation is limited to Hilbert space operator commutators. Recent advances in noncommutative geometry (NCG) allow a reformulation of quantum observables and spacetime itself using operator algebras, providing a deeper framework for uncertainty relations. In this paper, we develop a generalized uncertainty relation using spectral triples, extending the Robertson– Schrödinger inequality into the noncommutative regime. Explicit derivations are given for operator-valued distances, modified commutators, and position–momentum operators in a noncommutative configuration space. Our results reveal the emergence of a minimal measurable length scale, consistent with predictions from quantum gravity, and demonstrate that uncertainty is fundamentally geometric in origin.
Uncertainty relations impose fundamental constraints on quantum observables, yet optimal bounds are needed to determine their incompatibility through the minimum attainable uncertainty. Here we introduce a covariance-matrix formulation from which infinitely many uncertainty relations follow, encompassing Hermitian observables and non-Hermitian operators and recovering the variance sum as a special case. Within this family, a basis-independent uncertainty for simple and semisimple Lie algebras admits an exact solution: its optimal state-independent bound is an explicit pairing of root system with the highest weight of the representation. The minimum is attained by a highest-weight state, replacing a search over quantum states with a calculation in representation theory. A complementary result establishes that uncertainty is constant within each weight space, yielding a conservation law. The same commutation relations can therefore support distinct uncertainty limits, depending on their realization on the state space. By rendering these limits analytically accessible, the framework turns representation theory into a tool for quantifying quantum incompatibility and may help establish the boundary between attainable and impossible tasks in quantum theory.
Uncertainty relations provide fundamental limits on what can be said about the properties of quantum systems. For a quantum particle, the commutation relation of position and momentum observables entails Heisenberg's uncertainty relation. A third observable is presented which satisfies canonical commutation relations with both position and momentum. The resulting triple of pairwise canonical observables gives rise to a Heisenberg uncertainty relation for the product of three standard deviations. We derive the smallest possible value of this bound and determine the specific squeezed state which saturates the triple uncertainty relation. Quantum optical experiments are proposed to verify our findings.
The uncertainty principle constitutes a cornerstone of quantum mechanics. However, its conventional formulations do not adequately describe uncertainty in scenarios involving conditional measurement. In this work, we propose uncertainty relations based on conditional variance and conditional expectation. We define the conditional expectation operator E ( A ̂ | B ̂ ) , its dual operator E ( B ̂ | A ̂ ) , and a corresponding conditional covariance term R corr . We demonstrate that even for noncommuting observables A ̂ and B ̂ , their conditional expectation operators can possess a nonvanishing commutator. This leads to a strengthened uncertainty relation applicable to both pure and mixed states. In addition to the standard term arising from the noncommutativity of the observables themselves, our relation incorporates three distinct contributions: one from the noncommutativity of the conditional expectations, one from quantum coherence, and one from the conditional covariance. These contributions collectively yield a significantly tighter lower bound. Numerical simulations verify the generality and enhanced tightness of the proposed relation. Our results provide a refined theoretical tool for the joint estimation of multiple observables in composite quantum systems, with potential applications in quantum precision metrology and secure quantum key distribution.
Abstract The uncertainty principle sets a limit to our capacity to predict the outcomes of two incompatible measurements. The Heisenberg uncertainty relation for two arbitrary observables A and B is usually discussed in textbooks. However, little or no attention is paid to the fact that Schrödinger generalised the Heisenberg relation taking into account the covariance between the observables A and B . This extended inequality is known as the Robertson–Schrödinger uncertainty relation. Here, we demonstrate the less known fact that two-level quantum states, i.e., qubits, satisfy the equality of the Robertson–Schrödinger uncertainty relation for two arbitrary observables A and B . Taking advantage of the homomorphism between SU(2) and SO(3) groups, it is possible to map the distributions of the expectation values and variances of the observables, and the Heisenberg and covariance terms on the Bloch sphere. The graphical visualisation of the relevant quantities involved in the uncertainty relations allows us to distinguish specific properties and symmetries that are not so evident in the algebraic formalism.
The focus of the present investigation is uncertainty relations for quantum particles, which quantify the fundamental limitations on some of their properties due to their incompatibility. In the first, longer part, we are concerned with preparational uncertainty \nrelations, while in the second we touch upon measurement inequalities through a generalisation of a model of joint measurement of position and momentum. \nSpecifically, starting from a triple of canonical operators, we prove product and sum inequalities for their variances with bounds larger than those following from combining the pairwise ones. We extend these results to N observables for a quantum particle and prove uncertainty relations for the sums and products of their variances \nin terms of the commutators. \nFurthermore, we present a general theory of preparational uncertainty relations for a quantum particle in one dimension and derive conditions for a smooth function of the second moments to assume a lower bound. The Robertson-Schroedinger inequality \nis found to be of special significance and we geometrically study the space of second moments. We prove new uncertainty relations for various functions of the variances and covariance of position and momentum of a quantum particle. Some of our findings are shown to extend to more than one spatial degree of freedom and we derive \nvarious types of inequalities. \nFinally, we propose a generalisation of the Arthurs-Kelly model of joint measurement of position and momentum to incorporate the case of more than two observables and derive joint-measurement inequalities for the statistics of the probes. For the case of \nthree canonical observables and suitable definitions of error and disturbance we obtain a number of error-error-error and error-error-disturbance inequalities and show that the lower bound is identical to the preparational one.