In quantum theory, it is known for a pair of noncommutative observables that there is no state on which they take simultaneously definite values and that there is no joint measurement of them. They are called preparation uncertainty and measurement uncertainty, respectively, and research has unveiled that they are not independent from but related with each other in a quantitative way. This study aims to reveal whether similar relations to quantum ones hold also in generalized probabilistic theories (GPTs). In particular, a certain class of GPTs is considered, which can be characterized by transitivity and self-duality and regarded as extensions of quantum theory. It is proved that there are close connections expressed quantitatively between two types of uncertainty on a pair observables also in those theories: if preparation uncertainty exists, then measurement uncertainty also exists, and they are described by similar inequalities. Our results manifest that their correspondences are not specific to quantum theory but more universal ones.
In quantum theory, it is known for a pair of noncommutative observables that there is no state on which they take simultaneously definite values and that there is no joint measurement of them. They are called preparation uncertainty and measurement uncertainty, respectively, and research has unveiled that they are not independent from but related with each other in a quantitative way. This study aims to reveal whether similar relations to quantum ones hold also in generalized probabilistic theories (GPTs). In particular, a certain class of GPTs is considered, which can be characterized by transitivity and self-duality and regarded as extensions of quantum theory. It is proved that there are close connections expressed quantitatively between two types of uncertainty on a pair observables also in those theories: if preparation uncertainty exists, then measurement uncertainty also exists, and they are described by similar inequalities. Our results manifest that their correspondences are not specific to quantum theory but more universal ones.
Abstract Entropic uncertainty relations play an important role in both fundamentals and applications of quantum theory. Although they have been well-investigated in quantum theory, little is known about entropic uncertainty in generalized probabilistic theories (GPTs). The current study explores two types of entropic uncertainty relations, preparation and measurement uncertainty relations, in a class of GPTs which can be considered generalizations of quantum theory. Not only a method for obtaining entropic preparation uncertainty relations but also an entropic measurement uncertainty relation similar to the quantum one by Buscemi et al (2014 Phys. Rev. Lett. 112 050401) are proved in those theories. These results manifest that the entropic structure in the uncertainty relations is not restricted to quantum theory and therefore is universal one. Concrete calculations of our relations in GPTs called the regular polygon theories are also demonstrated.
We exploit the interplay between uncertainty, disturbance, nonlocality, and self-duality within the framework of generalized probabilistic theories (GPTs). We first introduce an operational uncertainty-disturbance relation that reveals the discrepancies of GPTs in uncertainty and disturbance exhibited by one single measurement. We then apply the relation to Bell's scenarios and derive upper bounds for the basic spatial Clauser-Horne-Shimony-Holt and the temporal Leggett-Garg inequalities with and without the assumption of strong self-duality, respectively. It turns out that self-duality, though being thought of as one pillar of the axiomatization of quantum theory and implying additional constraints, is insufficient to explain the quantum violations. These insights may serve as a seed for a universal understanding of these basic properties in GPTs.
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 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.
Uncertainty relations are commonly praised as one of the central pillars of quantum theory. Usually, they are taught in the first weeks of a beginners lecture, and introduced in the ?rst chapters of a textbook. However, their precise operational meaning and a formulation in a general context, i.e. beyond the example of position and momentum observables, are often left out. The reasoning for this is twofold: On one hand, an exact operational definition of uncertainty, indeterminacy and a corresponding uncertainty principle has been the content of many debates since the early days of quantum mechanics until today. From a modern perspective, we have the consent that there are at least the two notions of preparation and measurement uncertainty: the first notion prohibits the existence of dissipation free states and the latter one the existence of error free joint measurements. On the other hand, we have that, the mathematical tools, which are needed for comprehensive treatment of uncertainty relations in a general context, are still under development and usually go far beyond the mathematical level of an introductory course. In this thesis we will investigate these two notions of uncertainty, their corre- sponding uncertainty relations, such as their interplay. The aim of this thesis is to give answers to the central questions: (1.) Which quantities should be used to formulate uncertainty? (2.) How can we compute uncertainty relations for those? (3.) Are there connections between the two notions of uncertainty? We will do this, whenever possible, in a most general context and with a focus on relevant examples, otherwise. Therefore, we will consider constructions of mea- surement errors and deviation measures that quantify uncertainty, based on, so called, cost functions. Commonly used uncertainty measures like variances, en- tropies, and the Hamming distance are examples for these. We will investigate the structure of the corresponding uncertainty relations and provide several methods that enable us to compute them. The third question is addressed by a theorem that shows, for sharp observables, that measurement uncertainty relations can be lower bounded by preparation uncertainty relations, whenever the same cost function is used.
The uncertainty principle can be understood as a condition of joint indeterminacy of classes of properties in quantum theory. The mathematical expressions most closely associated with this principle have been the uncertainty relations, various inequalities exemplified by the well known expression regarding position and momentum introduced by Heisenberg. Here, recent work involving a new sort of “logical” indeterminacy principle and associated relations introduced by Pitowsky, expressable directly in terms of probabilities of outcomes of measurements of sharp quantum observables, is reviewed and its quantum nature is discussed. These novel relations are derivable from Boolean “conditions of possible experience” of the quantum realm and have been considered both as fundamentally logical and as fundamentally geometrical. This work focuses on the relationship of indeterminacy to the propositions regarding the values of discrete, sharp observables of quantum systems. Here, reasons for favoring each of these two positions are considered. Finally, with an eye toward future research related to indeterminacy relations, further novel approaches grounded in category theory and intended to capture and reconceptualize the complementarity characteristics of quantum propositions are discussed in relation to the former.