Incompatibility of quantum devices is one of the cornerstones of quantum theory, and the incompatibility of quantum measurements and channels has been linked to quantum advantage in certain information-theoretic tasks. In this work, we focus on the less well explored question of the incompatibility of quantum instruments, that is, devices that describe the measurement process in its entirety, accounting for both the classical measurement outcome and the quantum postmeasurement state. In particular, we focus on the recently introduced notion of parallel compatibility of instruments, which has been argued to be a natural notion of instrument compatibility. We introduce, in a manner similar to the case of measurements and channels, the incompatibility robustness of quantum instruments and derive universal bounds on it. We then prove that postprocessing of quantum instruments is a free operation for parallel compatibility. Last, we provide families of instruments for which our bounds are tight and families of compatible indecomposable instruments.
Studying sequential measurements is of the utmost importance to both the foundational aspects of quantum theory and the practical implementations of quantum technologies, with both of these applications being abstractly described by the concatenation of quantum instruments into a sequence of a certain length. In general, the choice of instrument at any given step in the sequence can be conditionally chosen based on the classical results of all preceding instruments. For two instruments in a sequence we consider the conditional second instrument as an effective way of postprocessing the first instrument into a new one. This is similar to how a measurement described by a positive operator-valued measure (POVM) can be postprocessed into another by way of classical randomization of its outcomes using a stochastic matrix. In this work we study the postprocessing relation of instruments and the partial order it induces on their equivalence classes. We characterize the greatest and the least element of this order, give examples of postprocessings between different types of instruments, and draw connections between postprocessings of some of these instruments and their induced POVMs.
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.
The incompatibility between quantum measurements (as mathematically represented by positive operator-valued measures, i.e., POVMs) is a key feature of quantum mechanics and is intrinsically related to the noncommutativity of operators. For both theoretical and practical considerations, it is desirable to quantify the degree of incompatibility between quantum measurements, and considerable effort has been devoted to this issue. In this paper, we provide a novel approach to measurement incompatibility by exploiting the Lüders channels derived from POVMs and employing the measurement disturbance to quantify incompatibility. This is achieved by constructing an approximately joint measurement for a pair of POVMs, which is an enlarged POVM with the correct marginal property for one of the two POVMs but not necessarily for the other. The degree of failure of the marginal property for the other POVM is a kind of measurement disturbance and can be naturally interpreted as a quantifier of the incompatibility between the two POVMs. We reveal basic properties of this quantifier of measurement incompatibility, identify its maximal value in some cases, compare it with several popular measures in the literature, and illustrate it with some typical examples. Some related open issues are also discussed.
Abstract Every theory of information, including classical and quantum, can be studied in the framework of operational probabilistic theories—where the notion of test generalizes that of quantum instrument, namely a collection of quantum operations summing to a channel, and simple rules are given for the composition of tests in parallel and in sequence. Here we study the notion of compatibility for tests of a causal operational probabilistic theory. Following the quantum literature, we first introduce the notion of strong compatibility, and then we illustrate its ultimate relaxation, that we deem weak compatibility. It is shown that the two notions coincide in the case of observation tests—which are the counterpart of quantum POVMs—while there exist weakly compatible channels that are not strongly compatible. We prove necessary and sufficient conditions for a theory to exhibit incompatible tests. We show that a theory admits of incompatible tests if and only if some information cannot be extracted without disturbance.
Quantum instruments constitute the general description of quantum dynamics, encompassing both quantum measurements and quantum channels as special cases. Consequently, the incompatibility of quantum instruments represents a fundamental manifestation of nonclassicality in quantum theory. Here, we establish the operational significance of this notion by demonstrating communication tasks with classical inputs and outputs that enable the semi-device-independent certification of incompatible quantum instruments. We introduce a class of three-party communication tasks involving a sender, a relayer, and a receiver, and derive the tight upper bounds of the figure of merits of these tasks achievable by all compatible instruments implemented by the relayer. Furthermore, we show that these bounds coincide with the optimal performance attainable in a classical communication subject to the same dimensional constraints. Violation of this bound certifies the incompatibility of the pair of quantum instruments implemented by the relayer. This identifies certification of incompatible instruments as a manifestation of quantum advantage in communication. This certification protocol is genuine as it is able to certify the incompatibility of a pair of instruments where the set of induced measurements and the set of induced channels are compatible and, therefore it does not depend on the incompability of measurements and channels induced by the instruments. Finally, we identify the simplest instance of our communication scenario that enable the certification of incompatible quantum instruments.