The existence of incompatible measurements, epitomized by Heisenberg's uncertainty principle, is one of the distinctive features of quantum theory. So far, quantum incompatibility has been studied for measurements that test the preparation of physical systems. Here we extend the notion to measurements that test dynamical processes, possibly consisting of multiple time steps. Such measurements are known as testers and are implemented by interacting with the tested process through a sequence of state preparations, interactions, and measurements. Our first result is a characterization of the incompatibility of quantum testers, for which we provide necessary and sufficient conditions. Then we propose a quantitative measure of incompatibility. We call this measure the robustness of incompatibility and define it as the minimum amount of noise that has to be added to a set of testers in order to make them compatible. We show that (i) the robustness is lower bounded by the distinguishability of the sequence of interactions used by the tester and (ii) maximum robustness is attained when the interactions are perfectly distinguishable. The general results are illustrated in the concrete example of binary testers probing the time evolution of a single-photon polarization.
The existence of incompatible measurements, epitomized by Heisenberg's uncertainty principle, is one of the distinctive features of quantum theory. So far, quantum incompatibility has been studied for measurements that test the preparation of physical systems. Here we extend the notion to measurements that test dynamical processes, possibly consisting of multiple time steps. Such measurements are known as testers and are implemented by interacting with the tested process through a sequence of state preparations, interactions, and measurements. Our first result is a characterization of the incompatibility of quantum testers, for which we provide necessary and sufficient conditions. Then we propose a quantitative measure of incompatibility. We call this measure the robustness of incompatibility and define it as the minimum amount of noise that has to be added to a set of testers in order to make them compatible. We show that (i) the robustness is lower bounded by the distinguishability of the sequence of interactions used by the tester and (ii) maximum robustness is attained when the interactions are perfectly distinguishable. The general results are illustrated in the concrete example of binary testers probing the time evolution of a single-photon polarization.
The existence of incompatible measurement setups is one of the distinctive features of quantum theory. Here we extend the notion of incompatibility from measurements that test preparations to measurements that test dynamical processes. Such measurements, known as testers, consist of the preparation of an input state, the application of the tested process, and a measurement on the output. Mathematically, testers are described by a suitable generalization of the notion of positive operator-valued measure (POVM). Unlike in the case of POVMs, however, testers that commute are not necessarily compatible, and testers that are compatible do not necessarily commute. Given a set of testers, we define the robustness of incompatibility as the minimum amount of mixing needed to make the testers compatible. We show that (i) the robustness is lower bounded by the distinguishability of the input states prepared by the different testers, and (ii) maximum robustness is attained when the input states are orthogonal. An extensive analysis of incompatibility is provided for factorized qubit testers with two outcomes. All our results can be extended to measurements that test quantum processes consisting of multiple time steps.
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.
This thesis concerns how attempting to measure certain fundamental properties
of a physical theory can lead us to new insights. The idea of general probabilistic
models is introduced and developed, in order to provide a way to be able to
consider and compare different theories. A measure of incompatibility of two
observables is defined, through the amount of smearing needed to make them
jointly measureable. This measure is then used to characterise the degree of
incompatibility that exists in a given theory. Quantum theory is then shown
to be as incompatible as any other theory, but only in a very course grained
sense. A related way of measuring the strength of incompatibility of a pair
of observables is then shown to put a bound on a measure of the strength of
non-local correlations. The notion of steering, or remote ensemble preparation,
is then shown to be a sufficient condition for the saturation of that bound.
Examples are considered that demonstrate that the given sufficient notion of
steering is not necessary, and it is proposed how the measures can be modified
in cases where the link does not hold. The idea of formulating measures of
error and disturbance associated with a measurement device is discussed. The
notion of a direct test of error or disturbance is used to analyse current proposed
measures, and show their shortcomings.
The uncertainty principle is one of quantum theory's most foundational features. It underpins a quantum phenomenon called measurement incompatibility—two physical observables of a single quantum system may not always be measured simultaneously. Apart from being fundamentally important, measurement incompatibility is also a powerful resource in the broad quantum science and technologies, with wide applications to cryptography, communication, random number generation, and device-independent tasks. Since every physical system is unavoidably subject to noise, an important, yet still open, question is how to characterize the ability of noisy quantum dynamics to preserve measurement incompatibility. This work fills this gap by providing a resource theory of this ability, termed incompatibility preservability. We quantify incompatibility preservability by a robustness measure. Then, we introduce an operational task, entanglement-assisted filter game, to completely characterize both the robustness measure and the conversion of incompatibility preservability. Our results provide a general framework to describe how noisy dynamics affect the uncertainty principle's signature.
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.
Measurement compatibility asks whether a family of quantum measurements can be simulated by one parent measurement followed by classical post-processing. We extend this measurement compatibility to the notion of \emph{d-compatibility} for measurements, channels, and instruments whose parent passes a d-dimensional quantum system and unlimited classical information to the post-processing. We formulate d-compatibility as a common linear factorization of operator spaces and operator systems and show that d-compatible families form a closed set, even with infinitely many settings and a separable infinite-dimensional input. To certify d-incompatibility, we define the compatibility functional as the smallest product of completely bounded norms over common factorizations through a d-dimensional register. Using factorization theory of operator spaces, we show that measure-and-prepare channels defined in terms of mutually unbiased bases and pinching channels defined in terms of Heisenberg-Weyl operators are d-incompatible in certain regimes of d. We also link d-compatibility of multi-instruments to the preparability of Choi assemblages using channel-state duality, and use this connection to show that for bipartite states the (in)compatibility of instruments can be used to certify Schmidt numbers and the implementability of the instrument using one-way LOCC protocols. Finally, our compatibility functional also bounds the generalized robustness of compatibility, which we interpret through a memory-bounded nontransient preparation game.