Heisenberg's uncertainty principle is formulated for a set of generalized measurements within the framework of majorization theory, resulting in a partial uncertainty order on probability vectors that is stronger than those based on quasientropic measures. The theorem that emerges from this formulation guarantees that the uncertainty of the results of a set of generalized measurements without a common eigenstate has an inviolable lower bound which depends on the measurement set but not the state. A corollary to this theorem yields a parallel formulation of the uncertainty principle for generalized measurements corresponding to the entire class of quasientropic measures. Optimal majorization bounds for two and three mutually unbiased bases in two dimensions are calculated. Similarly, the leading term of the majorization bound for position and momentum measurements is calculated which provides a strong statement of Heisenberg's uncertainty principle in direct operational terms. Another theorem provides a majorization condition for the least-uncertain generalized measurement of a given state with interesting physical implications.
Heisenberg's uncertainty principle is formulated for a set of generalized measurements within the framework of majorization theory, resulting in a partial uncertainty order on probability vectors that is stronger than those based on quasientropic measures. The theorem that emerges from this formulation guarantees that the uncertainty of the results of a set of generalized measurements without a common eigenstate has an inviolable lower bound which depends on the measurement set but not the state. A corollary to this theorem yields a parallel formulation of the uncertainty principle for generalized measurements corresponding to the entire class of quasientropic measures. Optimal majorization bounds for two and three mutually unbiased bases in two dimensions are calculated. Similarly, the leading term of the majorization bound for position and momentum measurements is calculated which provides a strong statement of Heisenberg's uncertainty principle in direct operational terms. Another theorem provides a majorization condition for the least-uncertain generalized measurement of a given state with interesting physical implications.
The emergence of a minimal length at the Planck scale is consistent with modern developments in quantum gravity. This is taken into account by transforming the Heisenberg uncertainty principle into the generalized uncertainty principle. Here, the position-momentum commutator is modified accordingly. In this paper, majorization uncertainty relations within the generalized uncertainty principle are considered. Dealing with observables with continuous spectra, each of the axes of interest is divided into a set of non-intersecting bins. Such formulation is consistent with real experiments with a necessarily limited precision. On the other hand, the majorization approach is mainly indicative for high-resolution measurements with sufficiently small bins. Indeed, the effects of the uncertainty principle are brightly manifested just in this case. The current study aims to reveal how the generalized uncertainty principle affects the leading terms of the majorization bound for position and momentum measurements. Interrelations with entropic formulations of this principle are briefly discussed.
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.
Abstract Majorization uncertainty relations are derived for arbitrary quantum operations acting on a finite-dimensional space. The basic idea is to consider submatrices of block matrices comprised of the corresponding Kraus operators. This is an extension of the previous formulation, which deals with submatrices of a unitary matrix relating orthogonal bases in which measurements are performed. Two classes of majorization relations are considered: one related to the tensor product of probability vectors and another one related to their direct sum. We explicitly discuss an example of a pair of one-qubit operations, each of them represented by two Kraus operators. In the particular case of quantum maps describing orthogonal measurements the presented formulation reduces to earlier results derived for measurements in orthogonal bases. The presented approach allows us also to bound the entropy characterizing results of a single generalized measurement.
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.
We develop a general operational framework that formalizes the concept of conditional uncertainty in a measure-independent fashion. Our formalism is built upon a mathematical relation which we call conditional majorization. We define conditional majorization and, for the case of classical memory, we provide its thorough characterization in terms of monotones, i.e., functions that preserve the partial order under conditional majorization. We demonstrate the application of this framework by deriving two types of memory-assisted uncertainty relations, (1) a monotone-based conditional uncertainty relation and (2) a universal measure-independent conditional uncertainty relation, both of which set a lower bound on the minimal uncertainty that Bob has about Alice's pair of incompatible measurements, conditioned on arbitrary measurement that Bob makes on his own system. We next compare the obtained relations with their existing entropic counterparts and find that they are at least independent.
Heisenberg’s uncertainty principle has recently led to general measurement uncertainty relations for quantum systems: incompatible observables can be measured jointly or in sequence only with some unavoidable approximation, which can be quantified in various ways. The relative entropy is the natural theoretical quantifier of the information loss when a `true’ probability distribution is replaced by an approximating one. In this paper, we provide a lower bound for the amount of information that is lost by replacing the distributions of the sharp position and momentum observables, as they could be obtained with two separate experiments, by the marginals of any smeared joint measurement. The bound is obtained by introducing an entropic error function, and optimizing it over a suitable class of covariant approximate joint measurements. We fully exploit two cases of target observables: (1) n-dimensional position and momentum vectors; (2) two components of position and momentum along different directions. In (1), we connect the quantum bound to the dimension n; in (2), going from parallel to orthogonal directions, we show the transition from highly incompatible observables to compatible ones. For simplicity, we develop the theory only for Gaussian states and measurements.