Motivated by quantum resource theories, we introduce a notion of incompatibility for quantum measurements relative to a reference basis. The notion arises by considering states diagonal in that basis and investigating whether probability distributions associated with different quantum measurements can be converted into one another by probabilistic post-processing. The induced preorder over quantum measurements is directly related to multivariate majorization and gives rise to families of monotones, i.e., scalar quantifiers that preserve the ordering. For the case of orthogonal measurement we establish a quantitative connection between incompatibility, quantum coherence and entropic uncertainty relations. We generalize the construction to arbitrary POVM measurements and report complete families of monotones.Motivated by quantum resource theories, we introduce a notion of incompatibility for quantum measurements relative to a reference basis. The notion arises by considering states diagonal in that basis and investigating whether probability distributions associated with different quantum measurements can be converted into one another by probabilistic post-processing. The induced preorder over quantum measurements is directly related to multivariate majorization and gives rise to families of monotones, i.e., scalar quantifiers that preserve the ordering. For the case of orthogonal measurement we establish a quantitative connection between incompatibility, quantum coherence and entropic uncertainty relations. We generalize the construction to arbitrary POVM measurements and report complete families of monotones.

Jan 18, 20190 citations

Noise robustness of the incompatibility of quantum measurements

Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner

The existence of incompatible measurements is a fundamental phenomenon having no explanation in classical physics. Intuitively, one considers given measurements to be incompatible within a framework of a physical theory, if their simultaneous implementation on a single physical device is prohibited by the theory itself. In the mathematical language of quantum theory, measurements are described by POVMs (positive operator valued measures), and given POVMs are by definition incompatible if they cannot be obtained via coarse-graining from a single common POVM; this notion generalizes noncommutativity of projective measurements. In quantum theory, incompatibility can be regarded as a resource necessary for manifesting phenomena such as Clauser-Horne-Shimony-Holt (CHSH) Bell inequality violations or Einstein-Podolsky-Rosen (EPR) steering which do not have classical explanation. We define operational ways of quantifying this resource via the amount of added classical noise needed to render the measurements compatible, i.e., useless as a resource. In analogy to entanglement measures, we generalize this idea by introducing the concept of incompatibility measure, which is monotone in local operations. In this paper, we restrict our consideration to binary measurements, which are already sufficient to explicitly demonstrate nontrivial features of the theory. In particular, we construct a family of incompatibility monotones operationally quantifying violations of certain scaled versions of the CHSH Bell inequality, prove that they can be computed via a semidefinite program, and show how the noise-based quantities arise as special cases. We also determine maximal violations of the new inequalities, demonstrating how Tsirelson's bound appears as a special case. The resource aspect is further motivated by simple quantum protocols where our incompatibility monotones appear as relevant figures of merit.The existence of incompatible measurements is a fundamental phenomenon having no explanation in classical physics. Intuitively, one considers given measurements to be incompatible within a framework of a physical theory, if their simultaneous implementation on a single physical device is prohibited by the theory itself. In the mathematical language of quantum theory, measurements are described by POVMs (positive operator valued measures), and given POVMs are by definition incompatible if they cannot be obtained via coarse-graining from a single common POVM; this notion generalizes noncommutativity of projective measurements. In quantum theory, incompatibility can be regarded as a resource necessary for manifesting phenomena such as Clauser-Horne-Shimony-Holt (CHSH) Bell inequality violations or Einstein-Podolsky-Rosen (EPR) steering which do not have classical explanation. We define operational ways of quantifying this resource via the amount of added classical noise needed to render the measurements compatible, i.e., useless as a resource. In analogy to entanglement measures, we generalize this idea by introducing the concept of incompatibility measure, which is monotone in local operations. In this paper, we restrict our consideration to binary measurements, which are already sufficient to explicitly demonstrate nontrivial features of the theory. In particular, we construct a family of incompatibility monotones operationally quantifying violations of certain scaled versions of the CHSH Bell inequality, prove that they can be computed via a semidefinite program, and show how the noise-based quantities arise as special cases. We also determine maximal violations of the new inequalities, demonstrating how Tsirelson's bound appears as a special case. The resource aspect is further motivated by simple quantum protocols where our incompatibility monotones appear as relevant figures of merit.

arXiv:1501.04554Physical Review AAug 17, 201586 citations

Quantifying incompatibility beyond entropic uncertainty

Srijita Kundu, Kaustubh Wagh, Prabha Mandayam

We study two operational approaches to quantifying incompatibility that depart significantly from the well known entropic uncertainty relation (EUR) formalism. Both approaches result in incompatibility measures that yield non-zero values even when the pair of incompatible observables commute over a subspace, unlike EURs which give a zero lower bound in such cases. Here, we explicitly show how these measures go beyond EURs in quantifying incompatibility: For any set of quantum observables, we show that both incompatibility measures are bounded from below by the corresponding EURs for the Tsallis ( $T_{2}$ ) entropy. We explicitly evaluate the incompatibility of a pair of qubit observables in both operational scenarios. We also obtain an efficiently computable lower bound for the mutually incompatibility of a general set of observables.We study two operational approaches to quantifying incompatibility that depart significantly from the well known entropic uncertainty relation (EUR) formalism. Both approaches result in incompatibility measures that yield non-zero values even when the pair of incompatible observables commute over a subspace, unlike EURs which give a zero lower bound in such cases. Here, we explicitly show how these measures go beyond EURs in quantifying incompatibility: For any set of quantum observables, we show that both incompatibility measures are bounded from below by the corresponding EURs for the Tsallis ($T_{2}$) entropy. We explicitly evaluate the incompatibility of a pair of qubit observables in both operational scenarios. We also obtain an efficiently computable lower bound for the mutually incompatibility of a general set of observables.

arXiv:1510.04093Oct 14, 20150 citations

Quantifying incompatibility of quantum measurements through non-commutativity

Krzysztof Mordasewicz, Jędrzej Kaniewski

Abstract The existence of incompatible measurements, i.e. measurements which cannot be performed simultaneously on a single copy of a quantum state, constitutes an important distinction between quantum mechanics and classical theories. While incompatibility might at first glance seem like an obstacle, it turns to be a necessary ingredient to achieve the so-called quantum advantage in various operational tasks like random access codes or key distribution. To improve our understanding of how to quantify incompatibility of quantum measurements, we define and explore a family of incompatibility measures based on non-commutativity. We investigate some basic properties of these measures, we show that they satisfy some natural information-processing requirements and we fully characterize the pairs which achieve the highest incompatibility (in a fixed dimension). We also consider the behavior of our measures under different types of compositions. Finally, to link our new measures to existing results, we relate them to a robustness-based incompatibility measure and two operational scenarios: random access codes and entropic uncertainty relations.Abstract The existence of incompatible measurements, i.e. measurements which cannot be performed simultaneously on a single copy of a quantum state, constitutes an important distinction between quantum mechanics and classical theories. While incompatibility might at first glance seem like an obstacle, it turns to be a necessary ingredient to achieve the so-called quantum advantage in various operational tasks like random access codes or key distribution. To improve our understanding of how to quantify incompatibility of quantum measurements, we define and explore a family of incompatibility measures based on non-commutativity. We investigate some basic properties of these measures, we show that they satisfy some natural information-processing requirements and we fully characterize the pairs which achieve the highest incompatibility (in a fixed dimension). We also consider the behavior of our measures under different types of compositions. Finally, to link our new measures to existing results, we relate them to a robustness-based incompatibility measure and two operational scenarios: random access codes and entropic uncertainty relations.

arXiv:2110.10646Journal of Physics A Mathematical and TheoreticalMay 20, 202212 citations

Universal Uncertainty Relations

Shmuel Friedland, Vlad Gheorghiu, Gilad Gour

Uncertainty relations are a distinctive characteristic of quantum theory that impose intrinsic limitations on the precision with which physical properties can be simultaneously determined. The modern work on uncertainty relations employs entropic measures to quantify the lack of knowledge associated with measuring noncommuting observables. However, there is no fundamental reason for using entropies as quantifiers; any functional relation that characterizes the uncertainty of the measurement outcomes defines an uncertainty relation. Starting from a very reasonable assumption of invariance under mere relabeling of the measurement outcomes, we show that Schur-concave functions are the most general uncertainty quantifiers. We then discover a fine-grained uncertainty relation that is given in terms of the majorization order between two probability vectors, significantly extending a majorization-based uncertainty relation first introduced in M. H. Partovi, Phys. Rev. A 84, 052117 (2011). Such a vector-type uncertainty relation generates an infinite family of distinct scalar uncertainty relations via the application of arbitrary uncertainty quantifiers. Our relation is therefore universal and captures the essence of uncertainty in quantum theory.Uncertainty relations are a distinctive characteristic of quantum theory that impose intrinsic limitations on the precision with which physical properties can be simultaneously determined. The modern work on uncertainty relations employs entropic measures to quantify the lack of knowledge associated with measuring noncommuting observables. However, there is no fundamental reason for using entropies as quantifiers; any functional relation that characterizes the uncertainty of the measurement outcomes defines an uncertainty relation. Starting from a very reasonable assumption of invariance under mere relabeling of the measurement outcomes, we show that Schur-concave functions are the most general uncertainty quantifiers. We then discover a fine-grained uncertainty relation that is given in terms of the majorization order between two probability vectors, significantly extending a majorization-based uncertainty relation first introduced in M. H. Partovi, Phys. Rev. A 84, 052117 (2011). Such a vector-type uncertainty relation generates an infinite family of distinct scalar uncertainty relations via the application of arbitrary uncertainty quantifiers. Our relation is therefore universal and captures the essence of uncertainty in quantum theory.

arXiv:1304.6351Physical Review LettersDec 3, 2013166 citations

Incompatibility, cospark and support uncertainty for rank-one positive operator-valued measures

Xu Wang, Pan Lian

Measurement incompatibility is a fundamental feature of quantum mechanics and is closely connected with uncertainty relations and quantum information processing. This paper studies the exact support content of this phenomenon. We extend Xu’s s-order incompatibility, which was inspired by De Bièvre’s complete incompatibility for orthonormal bases, to rank-one positive operator-valued measures (POVMs) through their associated tight frames. For two orthonormal bases, the order is characterized by the spark of the concatenated basis matrix. However, for rank-one POVMs, the appropriate invariant is the cospark of the joint analysis operator, equivalently the complement of the largest indexed subfamily of measurement vectors that fails to span the Hilbert space. This distinction is essential for overcomplete POVMs. We use this frame-theoretic characterization to prove sharp support uncertainty relations, erasure-spanning thresholds, and multi-measurement extensions. This invariant is distinct from resource-theoretic joint measurability: it quantifies unavoidable nonzero outcome patterns and need not vanish for jointly measurable or even identical POVMs.Measurement incompatibility is a fundamental feature of quantum mechanics and is closely connected with uncertainty relations and quantum information processing. This paper studies the exact support content of this phenomenon. We extend Xu’s s-order incompatibility, which was inspired by De Bièvre’s complete incompatibility for orthonormal bases, to rank-one positive operator-valued measures (POVMs) through their associated tight frames. For two orthonormal bases, the order is characterized by the spark of the concatenated basis matrix. However, for rank-one POVMs, the appropriate invariant is the cospark of the joint analysis operator, equivalently the complement of the largest indexed subfamily of measurement vectors that fails to span the Hilbert space. This distinction is essential for overcomplete POVMs. We use this frame-theoretic characterization to prove sharp support uncertainty relations, erasure-spanning thresholds, and multi-measurement extensions. This invariant is distinct from resource-theoretic joint measurability: it quantifies unavoidable nonzero outcome patterns and need not vanish for jointly measurable or even identical POVMs.

Journal of Mathematical PhysicsOct 1, 20260 citations

T_{2}

) entropy. We explicitly evaluate the incompatibility of a pair of qubit observables in both operational scenarios. We also obtain an efficiently computable lower bound for the mutually incompatibility of a general set of observables.