Abstract Device-independent (DI) certification schemes are based on minimal assumptions about the quantum system under study, which makes the most desirable among certification schemes. However, they are often the most challenging to implement. In order to reduce the implementation cost one can consider semi-DI (SDI) schemes such as those based on quantum steering. Here we provide a construction of a family of steering inequalities which are tailored to large classes of d-outcomes projective measurements being a certain linear combination of the Heisenberg–Weyl operators on the untrusted side and a fixed set of known measurements on the trusted side. We then prove that the maximal quantum violation of those inequalities can be used for certification of those measurements and the maximally entangled state of two qudits. Importantly, in our self-testing proof, we do not assume the shared state to be pure, nor do we assume the measurements to be projective. Before concluding, we also show how robust to noise our self-testing statement is. We believe that our construction broadens the scope of SDI certification, paving the way for more general but still less costly quantum certification protocols.
Abstract Device-independent (DI) certification schemes are based on minimal assumptions about the quantum system under study, which makes the most desirable among certification schemes. However, they are often the most challenging to implement. In order to reduce the implementation cost one can consider semi-DI (SDI) schemes such as those based on quantum steering. Here we provide a construction of a family of steering inequalities which are tailored to large classes of d-outcomes projective measurements being a certain linear combination of the Heisenberg–Weyl operators on the untrusted side and a fixed set of known measurements on the trusted side. We then prove that the maximal quantum violation of those inequalities can be used for certification of those measurements and the maximally entangled state of two qudits. Importantly, in our self-testing proof, we do not assume the shared state to be pure, nor do we assume the measurements to be projective. Before concluding, we also show how robust to noise our self-testing statement is. We believe that our construction broadens the scope of SDI certification, paving the way for more general but still less costly quantum certification protocols.
The idea of self-testing is to render guarantees concerning the inner workings of a device based on the measurement statistics. It is one of the most formidable quantum certification and benchmarking schemes. Recently it was shown [A. Coladangelo, K. T. Goh, and V. Scarani, Nat. Commun. 8, 15485 (2017)] that all pure bipartite entangled states can be self-tested in the device-independent scenario by employing subspace methods introduced by Yang and Navascu\'es [Phys. Rev. A 87, 050102(R) (2013)]. Here, we have adapted their method to show that any bipartite pure entangled state can be certified in the semi-device-independent scenario through quantum steering. Analogous to the tilted Clauser-Horne-Shimony-Holt inequality, we use a steering inequality called the tilted steering inequality for certifying any pure two-qubit entangled state. Furthermore, we use this inequality to certify any bipartite pure entangled state by certifying two-dimensional subspaces of the qudit state by observing the structure of the set of assemblages obtained on the trusted side after measurements are made on the untrusted side. As a feature of quantum state certification via steering, we use the notion of assemblage-based robust state certification to provide robustness bounds for the certification result in the case of pure maximally entangled states of any local dimension.
Certification of quantum systems and their properties has become a field of intensive study. Here, taking advantage of the one-sided device-independent (1SDI) scenario (also known as the quantum steering scenario), we propose a self-testing scheme for all bipartite entangled states using a single family of steering inequalities with the minimal number of two measurements per party. Building on this scheme we then show how to certify all rank-one extremal measurements, including nonprojective d2-outcome measurements, which in turn can be used for certification of the maximal amount of randomness, that is, 2log2d bits. Finally, in the particular case of d=3, we propose an extended Bell scenario that transforms a 1SDI scheme to ``almost device independent.''
Device-independent certification of quantum states enables the characterization of states within a device under minimal physical assumptions. A major problem in this regard is to certify quantum states using minimal resources. Aiming to address this problem, we consider a multipartite quantum steering scenario involving an arbitrary number of parties, of which only one is trusted, meaning that the measurements performed by this party are known. Consequently, the self-testing scheme is almost device-independent. Importantly, all the parties can only perform two measurements each, which is the minimal number of measurements required to observe any form of quantum nonlocality. Then, we propose steering inequalities that are maximally violated by three major classes of genuinely multipartite entangled (GME) states: graph states of arbitrary local dimension, Schmidt states of arbitrary local dimension, and N-qubit generalized W states. Using the proposed inequalities, we then provide an almost device-independent certification of the above GME states. Restricting to qubits, we also lift our almost device-independent scheme to device-independent self-testing.
We consider the problem of one-sided device-independent self-testing of any pure entangled two-qubit state based on steering inequalities which certify the presence of quantum steering. In particular, we note that in the 2-2-2 steering scenario (involving two parties, two measurement settings per party, and two outcomes per measurement setting), the maximal violation of a fine-grained steering inequality can be used to witness certain extremal steerable correlations, which certify all pure two-qubit entangled states. We demonstrate that the violation of the analogous Clauser-Horne-Shimony-Holt inequality of steering or the nonvanishing value of a quantity constructed using a correlation function called mutual predictability, together with the maximal violation of the fine-grained steering inequality, can be used to self-test any pure entangled two-qubit state in a one-sided device-independent way.
Given a Bell inequality, if its maximal quantum violation can be achieved only by a single set of measurements for each party or a single quantum state, up to local unitaries, one refers to such a phenomenon as self-testing. For instance, the maximal quantum violation of the Clauser-Horne-Shimony-Holt inequality certifies that the underlying state contains the two-qubit maximally entangled state and the measurements of one party contains a pair of anti-commuting qubit observables. As a consequence, the other party automatically verifies the set of states remotely steered, namely the "assemblage", is in the eigenstates of a pair of anti-commuting observables. It is natural to ask if the quantum violation of the Bell inequality is not maximally achieved, or if one does not care about self-testing the state or measurements, are we capable of estimating how close the underlying assemblage is to the reference one? In this work, we provide a systematic device-independent estimation by proposing a framework called "robust self-testing of steerable quantum assemblages". In particular, we consider assemblages violating several paradigmatic Bell inequalities and obtain the robust self-testing statement for each scenario. Our result is device-independent (DI), i.e., no assumption is made on the shared state and the measurement devices involved. Our work thus not only paves a way for exploring the connection between the boundary of quantum set of correlations and steerable assemblages, but also provides a useful tool in the areas of DI quantum certification. As two explicit applications, we show 1) that it can be used for an alternative proof of the protocol of DI certification of all entangled two-qubit states proposed by Bowles et al., and 2) that it can be used to verify all non-entanglement-breaking qubit channels with fewer assumptions compared with the work of Rosset et al.
Abstract If the presence of entanglement could be certified in a device-independent (DI) way, it is likely to provide various quantum information processing tasks with unconditional security. Recently, it was shown that a DI protocol, combining measurement-device-independent techniques with self-testing, is able to verify all entangled states, however, it imposes demanding requirements on its experimental implementation. In this work, we propose a much less-demanding protocol based on Einstein-Podolsky-Rosen (EPR) steering to certify entanglement. We establish a complete framework for DI verification of EPR steering in which all steerable states could be verified. We then analyze its robustness towards noise and imperfections of self-testing by considering the measurement scenario with three settings at each side. Finally, a four-photon experiment is implemented to demonstrate that even Bell local states can be device-independently verified. Our work may pave the way for realistic applications of secure quantum information tasks.