Entropic Uncertainty Relations via Direct-Sum Majorization Relation for Generalized Measurements

We derive an entropic uncertainty relation for generalized positive-operator-valued measure (POVM) measurements via a direct-sum majorization relation using Schur concavity of entropic quantities in a finite-dimensional Hilbert space. Our approach provides a significant improvement of the uncertainty bound compared with previous majorization-based approaches (Friendland, S.; Gheorghiu, V.; Gour, G. Phys. Rev. Lett. 2013, 111, 230401; Rastegin, A.E.; Życzkowski, K. J. Phys. A, 2016, 49, 355301), particularly by extending the direct-sum majorization relation first introduced in (Rudnicki, Ł.; Puchała, Z.; Życzkowski, K. Phys. Rev. A 2014, 89, 052115). We illustrate the usefulness of our uncertainty relations by considering a pair of qubit observables in a two-dimensional system and randomly chosen unsharp observables in a three-dimensional system. We also demonstrate that our bound tends to be stronger than the generalized Maassen–Uffink bound with an increase in the unsharpness effect. Furthermore, we extend our approach to the case of multiple POVM measurements, thus making it possible to establish entropic uncertainty relations involving more than two observables.

TYPE DECOMPOSITION OF A PSEUDOEFFECT ALGEBRA

Effect algebras, which generalize the lattice of projections in a von Neumann algebra, serve as a basis for the study of unsharp observables in quantum mechanics. The direct decomposition of a von Neumann algebra into types I, II, and III is reflected by a corresponding decomposition of its lattice of projections, and vice versa. More generally, in a centrally orthocomplete effect algebra, the so-called type-determining sets induce direct decompositions into various types. In this paper, we extend the theory of type decomposition to a (possibly) noncommutative version of an effect algebra called a pseudoeffect algebra. It has been argued that pseudoeffect algebras constitute a natural structure for the study of noncommuting unsharp or fuzzy observables. We develop the basic theory of centrally orthocomplete pseudoeffect algebras, generalize the notion of a type-determining set to pseudoeffect algebras, and show how type-determining sets induce direct decompositions of centrally orthocomplete pseudoeffect algebras.