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

Physical Review Letters

Complementarity for Generalized Observables

Alfredo Luis

Published May 22, 2002• 16 citations
Publisher

Abstract

We examine basic properties of complementarity by using the most general description of quantum observables as positive-operator measures. We show that, in general, two observables can be complementary or not depending on the measure of fluctuations adopted and that complementarity is not a symmetric relation. This occurs because the states that determine the measured statistics do not necessarily coincide with the minimum uncertainty states for the same observable. We also show that there are observables without a complementary observable and that complementarity is not preserved by the Neumark extensions.

DOI
10.1103/physrevlett.88.230401

Related papers

Operational foundations for complementarity and uncertainty relations

Debashis Saha, Michał Oszmaniec, Łukasz Czekaj +2 more

The so-called preparation uncertainty that occurs in the quantum world can be understood well in purely operational terms, and its existence in any given theory, perhaps differently than in quantum mechanics, can be verified by examining only measurement statistics. Namely, one says that uncertainty occurs in some theory when for some pair of observables, there is no preparation that would exhibit deterministic statistics for both of them. However, the right-hand side of the uncertainty relation is not operational anymore if we do not insist that it is just the minimum of the left-hand side for a given theory. For example, in quantum mechanics, it is some function of two observables that must be computed within the quantum formalism. Also, while joint nonmeasurability of observables is an operational notion, the complementarity in Bohr's sense (i.e., in terms of information needed to describe the system) has not yet been expressed in purely operational terms. Here we propose a general operational framework that provides answers to the above issues. We introduce an operational definition of complementarity and further postulate that complementary observables have to exhibit uncertainty, which means that we propose to put the (operational) complementarity as the right-hand side of the uncertainty relation. In particular, we identify two different notions of uncertainty and complementarity for which the above principle holds in the quantum-mechanical realm. We also introduce postulates for the general measures of uncertainty and complementarity. In order to define quantifiers of complementarity we first turn to the simpler notion of independence that is defined solely in terms of the statistics of two observables. Importantly, for clean and extremal observables---i.e., ones that cannot be simulated irreducibly by other observables---any measure of independence reduces to the proper complementary measure. Finally, as an application of our general framework we define a number of complementarity indicators and show that they can be used to state uncertainty relations. One of them, assuming some natural symmetries, leads to the Tsirelson bound for the Clauser-Horne-Shimony-Holt (CHSH) inequality. Lastly, we show that for a single system a variant of information causality called the information content principle, under the above symmetries, can be interpreted as an uncertainty relation in the above sense.

arXiv:1809.03475•Physical Review A•May 6, 2020•14 citations

Uncertainty reconciles complementarity with joint measurability

Paul Busch, C. R. Shilladay

The fundamental principles of complementarity and uncertainty are shown to be related to the possibility of joint unsharp measurements of pairs of noncommuting quantum observables. A joint measurement scheme for complementary observables is proposed. The measured observables are represented as positive operator valued measures (POVMs), whose intrinsic fuzziness parameters are found to satisfy an intriguing pay-off relation reflecting the complementarity. At the same time, this relation represents an instance of a Heisenberg uncertainty relation for measurement imprecisions. A model-independent consideration shows that this uncertainty relation is logically connected with the joint measurability of the POVMs in question.

arXiv:quant-ph/0207081•Physical Review A•Sep 19, 2003•11 citations

Maximal complementarity in the n-qubit Pauli group

Markus Frembs, Giovanni Natale, Christopher S. P. Wever +1 more

Observables in quantum mechanics are generally complementary, that is, they reveal mutually incompatible pieces of information about a given system. This property is not only a fundamental tenet of the quantum formalism, but also a key component in quantum cryptographic protocols. As such it has fuelled much research into finding sets of highly complementary observables. In its strongest form -- the one we consider in this work -- the information between complementary observables is not merely incompatible but mutually exclusive: maximal information about one observable implies no information about the other, and vice versa. Maximal sets of non-degenerate complementary observables are known to exist in systems of prime power dimension such as n-qubit systems. Here, we study complementarity of degenerate observables, specifically we prove that observables associated with the n-qubit Pauli group also exhibit complementarity under this restriction: first, we obtain a criterion for two such observables to be complementary and, second, we relate maximal sets of complementary observables with informational pure state complementarity equalities, further studied in two companion papers. Equivalently, these results can be formulated in terms of maximal complementary sets of (not necessarily maximal) Abelian subgroups of the Pauli group linking with (possibly coarse-grained) mutually unbiased bases. Finally, we prove that these complementarity sets entail strong entropic uncertainty relations.

quant-pharXiv:2607.24988•Jul 29, 2026•0 citations

Complementarity and duality relations for finite-dimensional systems

Alfredo Luis

We generalize to systems with arbitrary finite dimension a measure of quantum fluctuations (the certainty) previously introduced for two-dimensional systems. Using this measure, we study the duality relations satisfied by complementary observables looking for states with minimum joint fluctuations (maximum certainty states). We extend the duality relations to encompass several complementary observables simultaneously.

Physical Review A•Mar 19, 2003•28 citations

Complementarity-based complementarity

Laura Serino

We show that the amount of complementarity that a quantum system can exhibit depends on which complementary properties one is considering. Consider a set of mutually unbiased bases (MUBs) which corresponds to the spectral decomposition of some maximally complementary properties: The perfect knowledge of one, i.e. the state of the system is one of the basis states, implies that all the others are completely unknown, namely the measurement of another property will find any of its possible outcomes with uniform probability. We show that, depending on which three of the MUBs we choose, a 5-dimensional system can have different degrees of complementarity, measured using the minimum over all the system states of the sum of the entropies and of the variances of the measurement outcomes related to the three chosen observables. This property was first found experimentally, and demonstrates that an experimental discovery can disclose quantum information effects.

•Oct 17, 2024•0 citations

Quantum complementarity: A novel resource for unambiguous exclusion and encryption

Chung-Yun Hsieh, Roope Uola, Paul Skrzypczyk

Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily forbids useful knowledge about the other. Two quantum measurements that do not commute form an example of complementary measurements, and this phenomenon can also be defined for ensembles of states. Although a key quantum feature, it is unclear whether complementarity can be understood more operationally, as a necessary resource in some quantum information task. Here we show this is the case, and relates to a novel task which we term $η$-unambiguous exclusion. As well as giving complementarity a clear operational definition, this also uncovers the foundational underpinning of unambiguous exclusion tasks for the first time. We further show that a special type of measurement complementarity is equivalent to advantages in certain encryption tasks. Finally, our analysis suggest that complementarity of measurement and state ensemble can be interpreted as strong forms of measurement incompatibility and quantum steering, respectively.

arXiv:2309.11968•Sep 21, 2023•1 citation
We examine basic properties of complementarity by using the most general description of quantum observables as positive-operator measures. We show that, in general, two observables can be complementary or not depending on the measure of fluctuations adopted and that complementarity is not a symmetric relation. This occurs because the states that determine the measured statistics do not necessarily coincide with the minimum uncertainty states for the same observable. We also show that there are observables without a complementary observable and that complementarity is not preserved by the Neumark extensions.
The so-called preparation uncertainty that occurs in the quantum world can be understood well in purely operational terms, and its existence in any given theory, perhaps differently than in quantum mechanics, can be verified by examining only measurement statistics. Namely, one says that uncertainty occurs in some theory when for some pair of observables, there is no preparation that would exhibit deterministic statistics for both of them. However, the right-hand side of the uncertainty relation is not operational anymore if we do not insist that it is just the minimum of the left-hand side for a given theory. For example, in quantum mechanics, it is some function of two observables that must be computed within the quantum formalism. Also, while joint nonmeasurability of observables is an operational notion, the complementarity in Bohr's sense (i.e., in terms of information needed to describe the system) has not yet been expressed in purely operational terms. Here we propose a general operational framework that provides answers to the above issues. We introduce an operational definition of complementarity and further postulate that complementary observables have to exhibit uncertainty, which means that we propose to put the (operational) complementarity as the right-hand side of the uncertainty relation. In particular, we identify two different notions of uncertainty and complementarity for which the above principle holds in the quantum-mechanical realm. We also introduce postulates for the general measures of uncertainty and complementarity. In order to define quantifiers of complementarity we first turn to the simpler notion of independence that is defined solely in terms of the statistics of two observables. Importantly, for clean and extremal observables---i.e., ones that cannot be simulated irreducibly by other observables---any measure of independence reduces to the proper complementary measure. Finally, as an application of our general framework we define a number of complementarity indicators and show that they can be used to state uncertainty relations. One of them, assuming some natural symmetries, leads to the Tsirelson bound for the Clauser-Horne-Shimony-Holt (CHSH) inequality. Lastly, we show that for a single system a variant of information causality called the information content principle, under the above symmetries, can be interpreted as an uncertainty relation in the above sense.
The fundamental principles of complementarity and uncertainty are shown to be related to the possibility of joint unsharp measurements of pairs of noncommuting quantum observables. A joint measurement scheme for complementary observables is proposed. The measured observables are represented as positive operator valued measures (POVMs), whose intrinsic fuzziness parameters are found to satisfy an intriguing pay-off relation reflecting the complementarity. At the same time, this relation represents an instance of a Heisenberg uncertainty relation for measurement imprecisions. A model-independent consideration shows that this uncertainty relation is logically connected with the joint measurability of the POVMs in question.
Observables in quantum mechanics are generally complementary, that is, they reveal mutually incompatible pieces of information about a given system. This property is not only a fundamental tenet of the quantum formalism, but also a key component in quantum cryptographic protocols. As such it has fuelled much research into finding sets of highly complementary observables. In its strongest form -- the one we consider in this work -- the information between complementary observables is not merely incompatible but mutually exclusive: maximal information about one observable implies no information about the other, and vice versa. Maximal sets of non-degenerate complementary observables are known to exist in systems of prime power dimension such as n-qubit systems. Here, we study complementarity of degenerate observables, specifically we prove that observables associated with the n-qubit Pauli group also exhibit complementarity under this restriction: first, we obtain a criterion for two such observables to be complementary and, second, we relate maximal sets of complementary observables with informational pure state complementarity equalities, further studied in two companion papers. Equivalently, these results can be formulated in terms of maximal complementary sets of (not necessarily maximal) Abelian subgroups of the Pauli group linking with (possibly coarse-grained) mutually unbiased bases. Finally, we prove that these complementarity sets entail strong entropic uncertainty relations.
We show that the amount of complementarity that a quantum system can exhibit depends on which complementary properties one is considering. Consider a set of mutually unbiased bases (MUBs) which corresponds to the spectral decomposition of some maximally complementary properties: The perfect knowledge of one, i.e. the state of the system is one of the basis states, implies that all the others are completely unknown, namely the measurement of another property will find any of its possible outcomes with uniform probability. We show that, depending on which three of the MUBs we choose, a 5-dimensional system can have different degrees of complementarity, measured using the minimum over all the system states of the sum of the entropies and of the variances of the measurement outcomes related to the three chosen observables. This property was first found experimentally, and demonstrates that an experimental discovery can disclose quantum information effects.
Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily forbids useful knowledge about the other. Two quantum measurements that do not commute form an example of complementary measurements, and this phenomenon can also be defined for ensembles of states. Although a key quantum feature, it is unclear whether complementarity can be understood more operationally, as a necessary resource in some quantum information task. Here we show this is the case, and relates to a novel task which we term ηηη-unambiguous exclusion. As well as giving complementarity a clear operational definition, this also uncovers the foundational underpinning of unambiguous exclusion tasks for the first time. We further show that a special type of measurement complementarity is equivalent to advantages in certain encryption tasks. Finally, our analysis suggest that complementarity of measurement and state ensemble can be interpreted as strong forms of measurement incompatibility and quantum steering, respectively.