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.
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.
High-dimensional quantum entanglement can give rise to stronger forms of nonlocal correlations compared to qubit systems, offering significant advantages for quantum information processing. Certifying these stronger correlations, however, remains an important challenge, in particular in an experimental setting. Here we theoretically formalize and experimentally demonstrate a notion of genuine high-dimensional quantum steering. We show that high-dimensional entanglement, as quantified by the Schmidt number, can lead to a stronger form of steering, provably impossible to obtain via entanglement in lower dimensions. Exploiting the connection between steering and incompatibility of quantum measurements, we derive simple two-setting steering inequalities, the violation of which guarantees the presence of genuine high-dimensional steering, and hence certifies a lower bound on the Schmidt number in a one-sided device-independent setting. We report the experimental violation of these inequalities using macropixel photon-pair entanglement certifying genuine high-dimensional steering. In particular, using an entangled state in dimension d=31, our data certifies a minimum Schmidt number of n=15.
High-dimensional entanglement can give rise to stronger forms of nonlocal correlations compared to qubit systems. Beyond being of fundamental interest, this offers significant advantages for quantum information processing. The problem of certifying these stronger correlations, however, remains an important challenge. Here we theoretically formalise and experimentally demonstrate a notion of genuine high-dimensional quantum steering. We show that high-dimensional entanglement combined with judiciously chosen local measurements can lead to a stronger form of steering, provably impossible to obtain via entanglement in lower dimensions. Exploiting the connection between steering and incompatibility of quantum measurements, we derive two-setting inequalities for certifying the presence of genuine high-dimensional steering. We report the experimental violation of these inequalities using macro-pixel photon-pair entanglement certifying genuine high-dimensional steering in dimensions up to 15.
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.
Measurement incompatibility and bipartite quantum steering are known to display a strong connection: a set of measurements is incompatible if and only if it can lead to bipartite steering. Despite such a close link between these concepts in bipartite scenarios, little is known in the multipartite setting, where notions of genuine multipartite correlations play major roles. In this work we prove that, as in the bipartite case, incompatibility is also necessary and sufficient for genuine multipartite steering in any multipartite scenario with a single uncharacterised party. Interestingly, genuine multipartite steering can be extracted from any set of incompatible measurements using states which are not SLOCC equivalent, such as GHZ and W states. In contrast, we prove that this result does not hold in scenarios with more than one uncharacterised party, by presenting a set of incompatible measurements that can never lead to genuine multipartite steering in these cases. In order to obtain our main results, we introduce methods tailored for multipartite correlations, paving the way to understanding the role of measurement incompatibility beyond bipartite scenarios.
Quantum systems of high dimensions are attracting a lot of attention because they feature interesting properties when it comes to observing entanglement or other forms of correlations. In particular, their improved resistance to noise is favorable for experiments in quantum communication or quantum cryptography. However, witnessing this high-dimensional nature remains challenging, especially when the assumptions on the parties involved are weak, typically when one of them is considered as a black box. In this context, the concept of genuine high-dimensional steering has been recently introduced and experimentally demonstrated [Phys. Rev. Lett. 126, 200404 (2021)]; it allows for a one-sided device-independent certification of the dimension of a bipartite shared state by only using two measurements. Here I overcome this limitation by developing, for more than two measurements, universal bounds on the incompatibility robustness, turned into meaningful dimension certificates. Interestingly, even though the resulting bounds are quite loose, they still often offer an increased resistance to noise and could then be advantageously employed in experiments.
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.