We investigate the compression of quantum information with respect to a given set M of high-dimensional measurements. This leads to a notion of simulability, where we demand that the statistics obtained from M and an arbitrary quantum state ρ are recovered exactly by first compressing ρ into a lower-dimensional space, followed by some quantum measurements. A full quantum compression is possible, i.e., leaving only classical information, if and only if the set M is jointly measurable. Our notion of simulability can thus be seen as a quantification of measurement incompatibility in terms of dimension. After defining these concepts, we provide an illustrative example involving mutually unbiased bases, and develop a method based on semidefinite programming for constructing simulation models. In turn we analytically construct optimal simulation models for all projective measurements subjected to white noise or losses. Finally, we discuss how our approach connects with other concepts introduced in the context of quantum channels and quantum correlations.
The effect of quantum steering arises from the judicious combination of an entangled state with a set of incompatible measurements. Recently, it was shown that this form of quantum correlations can be quantified in terms of a dimension, leading to the notion of genuine high-dimensional steering. While this naturally connects to the dimensionality of entanglement (Schmidt number), we show that this effect also directly connects to a notion of dimension for measurement incompatibility. More generally, we present a general connection between the concepts of steering and measurement incompatibility, when quantified in terms of dimension. From this connection, we propose an alternative twist on the problem of simulating quantum correlations. Specifically, we show how the correlations of certain high-dimensional entangled states can be exactly recovered using only shared randomness and lower-dimensional entanglement. Finally, we derive criteria for testing the dimension of measurement incompatibility and discuss the extension of these ideas to quantum channels.
Programmable quantum devices nominally act on a Hilbert space whose dimension grows exponentially with the number of constituents, but the presence of noise makes it unlikely that they remain coherent across all of this immense Hilbert space. Then, what is the effective coherent quantum dimension that should be associated with such imperfect devices? To answer this question we here introduce an operational basis-independent framework which imposes a dimension bottleneck on the programmable transformations. Concretely we ask how strongly the quantum information they process can be compressed. Formalizing this idea we identify three inequivalent notions, termed
d-compressibility,
d-simulability and
d-embeddability, which differ in the causal structure used to impose the bottleneck and form a strict hierarchy. The framework unifies several existing notions: joint measurability and simulability of quantum measurements, and the absolute dimensionality of state ensembles, are recovered as special cases. We illustrate the hierarchy with noisy qubit measurements in complementary bases, and we determine the white-noise thresholds at which the set of all noisy unitary channels in dimension
n, a noisy universal quantum processor, becomes
d-compressible,
d-simulable and
d-embeddable. The thresholds confirm the expectation -- maintaining coherence across the full Hilbert space becomes increasingly demanding as the nominal dimension
n increases.
We consider the question of characterizing the incompatibility of sets of high-dimensional quantum measurements. We introduce the concept of measurement incompatibility in subspaces. That is, starting from a set of measurements that is incompatible, one considers the set of measurements obtained by projection onto any strict subspace of fixed dimension. We identify three possible forms of incompatibility in subspaces: (i) incompressible incompatibility---measurements that become compatible in every subspace, (ii) fully compressible incompatibility---measurements that remain incompatible in every subspace, and (iii) partly compressible incompatibility---measurements that are compatible in some subspace and incompatible in another. For each class, we discuss explicit examples. Finally, we present some applications of these ideas. First, we show that joint measurability and coexistence are two inequivalent notions of incompatibility in the simplest case of qubit systems. Second, we highlight the implications of our results for tests of quantum steering.
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.
Superposition is the core feature that sets quantum theory apart from classical physics. Here, we investigate whether sets of quantum measurements can be modelled by using devices limited to performing jointly diagonalisable measurements. This leads us to introduce classical measurement models, where many such devices are connected together through classical randomness and post-processing. Such classical measurement models are intermediate between the notion of commutative measurements and joint measurability. Towards understanding these models we (i) identify exact noise and loss rates at which all projective measurements admit a classical model, (ii) propose numerical methods to construct classical models for finite sets of measurements, and (iii) show how to construct witnesses for ruling out the existence of classical models. In addition, we show that classical measurement models also have operational implications in non-disturbance tasks where sequential quantum measurements are implemented with classical side-information. Our work provides a new approach to the role of superposition in quantum measurements.
We introduce a framework for simulating quantum measurements based on classical processing of a set of accessible measurements. Well-known concepts such as joint measurability and projective simulability naturally emerge as particular cases of our framework, but our study also leads to novel results and questions. First, a generalisation of joint measurability is derived, which yields a hierarchy for the incompatibility of sets of measurements. A similar hierarchy is defined based on the number of outcomes necessary to perform a simulation of a given measurement. This general approach also allows us to identify connections between different kinds of simulability and, in particular, we characterise the qubit measurements that are projective-simulable in terms of joint measurability. Finally, we discuss how our framework can be interpreted in the context of resource theories.