The uncertainty principle bounds the uncertainties about incompatible measurements, clearly setting quantum theory apart from the classical world. Its mathematical formulation via uncertainty relations, plays an irreplaceable role in quantum technologies. However, neither the uncertainty principle nor uncertainty relations can fully describe the complementarity between quantum measurements. As an attempt to advance the efforts of complementarity in quantum theories, we formally propose a complementary information principle, significantly extending the one introduced by Heisenberg. First, we build a framework of black box testing consisting of pre- and post-testing with two incompatible measurements, introducing a rigorous mathematical expression of complementarity with definite information causality. Second, we provide majorization lower and upper bounds for the complementary information by utilizing the tool of semidefinite programming. In particular, we prove that our bounds are optimal under majorization due to the completeness of the majorization lattice. Finally, as applications to our framework, we present a general method to outer-approximating all uncertainty regions and also establish fundamental limits for all qualified joint uncertainties.
The uncertainty principle bounds the uncertainties about incompatible measurements, clearly setting quantum theory apart from the classical world. Its mathematical formulation via uncertainty relations, plays an irreplaceable role in quantum technologies. However, neither the uncertainty principle nor uncertainty relations can fully describe the complementarity between quantum measurements. As an attempt to advance the efforts of complementarity in quantum theories, we formally propose a complementary information principle, significantly extending the one introduced by Heisenberg. First, we build a framework of black box testing consisting of pre- and post-testing with two incompatible measurements, introducing a rigorous mathematical expression of complementarity with definite information causality. Second, we provide majorization lower and upper bounds for the complementary information by utilizing the tool of semidefinite programming. In particular, we prove that our bounds are optimal under majorization due to the completeness of the majorization lattice. Finally, as applications to our framework, we present a general method to outer-approximating all uncertainty regions and also establish fundamental limits for all qualified joint uncertainties.
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.
Uncertainty principle, which was first introduced by Werner Heisenberg in 1927, forms a fundamental component of quantum mechanics. A graceful aspect of quantum mechanics is that the uncertainty relations between incompatible observables allow for succinct quan- titative formulations of this revolutionary idea: it is impossible to simultaneously measure two complementary variables of a particle in precision. In particular, information theory offers two basic ways to express the Heisenberg’s principle: variance-based uncertainty relations and entropic uncertainty relations. We first investigate the uncertainty relations based on the sum of variances and derive a family of weighted uncertainty relations to provide an optimal lower bound for all situations. Our work indicates that it seems unreasonable to assume a priori that incompatible observables have equal contribution to the variance-based sum form uncertainty relations. We also study the role of mutually exclusive physical states in the recent work and generalize the variance-based uncertainty relations to mutually exclusive uncertainty relations. Next, we develop a new kind of entanglement detection criteria within the framework of marjorization theory and its matrix representation. By virtue of majorization uncertainty bounds, we are able to construct the entanglement criteria which have advantage over the scalar detect- ing algorithms as they are often stronger and tighter. Furthermore, we explore various expression of entropic uncertainty relations, including sum of Shannon entropies, majorization uncer- tainty relations and uncertainty relations in presence of quantum memory. For entropic uncertainty relations without quantum side information, we provide several tighter bounds for multi-measurements, with some of them also valid for Rényi and Tsallis entropies besides the Shannon entropy. We employ majorization theory and actions of the symmetric group to obtain an admixture bound for entropic uncertainty relations with multi-measurements. Comparisons among existing bounds for multi-measurements are also given. However,classical entropic uncertainty relations assume there has only classical side information. For modern uncertainty relations, those who allowed for non-trivial amount of quantum side information, their bounds have been strengthened by our recent result for both two and multi- measurements. Finally, we propose an approach which can extend all uncertainty relations on Shannon entropies to allow for quantum side information and discuss the applications of our entropic framework. Combined with our uniform entanglement frames, it is possible to detect entanglement via entropic uncertainty relations even if there is no quantum side in- formation. With the rising of quantum information theory, uncertainty relations have been established as important tools for a wide range of applications, such as quantum cryptography, quantum key distribution, entanglement detection, quantum metrology, quantum speed limit and so on. It is thus necessary to focus on the study of uncertainty relations.
The two most important areas in modern physics are quantum mechanics and the theory of relativity. Unlike classical physics, where Newton's mechanics dominates, these two areas change human beings' fundamental view of the universe. One of the theories that build up the base of quantum mechanics is Heisenberg's Uncertainty Principle. Starting from a thought experiment, Heisenberg's microscope in the setting of classical physics, Werner Heisenberg built a bridge between classical and quantum physics by presenting a counterintuitive outcome in the thought experiment. Since then, the observer of a physics phenomenon is no longer a bystander. The behavior of observation became a part of the physical experiment. To come up with a mathematical expression that can describe such a new discovery, Heisenberg came up with matrix mechanics and the concept of complementary variables. There is a trade-off between a pair of complementary variables. When one of them is measured precisely, meaning the information of that variable is known on a large scale, the other variable can not be measured precisely, meaning there is no way to know enough information about the other variable. The principle indicates a fundamental limit on what human beings can know about the unknown variables. The discoveries of other complementary variables help physicists know the new image of the physics world under new rules.
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.
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.
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.