Abstract Demonstrating contextual correlations in quantum theory through the violation of a non-contextuality inequality necessarily needs some ‘contexts’ and thus assumes some compatibility relations between the measurements. As a result, any self-testing protocol based on the maximal violation of such inequality is not free from such assumptions. In this work, we propose temporal inequalities derived from non-contextuality inequalities for multi-qubit systems without assuming any compatibility relations among the measurements. We demonstrate that the new inequalities can be maximally violated via a sequential measurement scenario. Moreover, using the maximal violation of these temporal inequalities, we are able to certify the multi-qubit Greenberger–Horne–Zeilinger (GHZ) states and the measurements.
Abstract Demonstrating contextual correlations in quantum theory through the violation of a non-contextuality inequality necessarily needs some ‘contexts’ and thus assumes some compatibility relations between the measurements. As a result, any self-testing protocol based on the maximal violation of such inequality is not free from such assumptions. In this work, we propose temporal inequalities derived from non-contextuality inequalities for multi-qubit systems without assuming any compatibility relations among the measurements. We demonstrate that the new inequalities can be maximally violated via a sequential measurement scenario. Moreover, using the maximal violation of these temporal inequalities, we are able to certify the multi-qubit Greenberger–Horne–Zeilinger (GHZ) states and the measurements.
Self-testing of quantum devices based on observed measurement statistics is a method to certify quantum systems using minimal resources. In Irfan et al. [A. A. M. Irfan, K. Mayer, G. Ortiz, and E. Knill, Phys. Rev. A 101, 032106 (2020)] a scheme based on observing measurement statistics that demonstrate Kochen-Specker contextuality has been shown to certify two-qubit entangled states and measurements without the requirement of spatial separation between the subsystems. However, this scheme assumes a set of compatibility conditions on the measurements which are crucial to demonstrating Kochen-Specker contextuality. In this paper, we propose a self-testing protocol to certify the above two-qubit states and measurements without the assumption of the compatibility conditions, and at the same time without requiring the spatial separation between the subsystems. Our protocol is based on the observation of sequential correlations leading to the maximal violation of a temporal inequality derived from noncontextuality inequality. Moreover, our protocol is robust to small experimental errors or noise.
Self-testing has been established as a major approach for quantum device certification based on experimental statistics with minimal assumptions. However, despite more than 20 years of research effort, most of the self-testing protocols are restricted to spatial scenarios (Bell scenarios), without many temporal generalizations known. Under the scenario of sequential measurements performed on a single quantum system, semi-definite optimization-based techniques have been applied to bound sequential measurement inequalities. Building upon this formalism, we show that the optimizer matrix that saturates such sequential inequalities is unique and, moreover, this uniqueness is robust to small deviations from the quantum bound. Furthermore, we consider a generalized scenario in the presence of quantum channels and highlight analogies to the structure of Bell and sequential inequalities using the pseudo-density matrix formalism. These analogies allow us to show a practical use of maximal violations of sequential inequalities in the form of certification of quantum channels up to isometries.
Device-independent certification schemes have gained a lot of interest lately, not only for their applications in quantum information tasks, but also their implications towards foundations of quantum theory. The strongest form of device-independent certification, known as self-testing, often requires for a Bell inequality to be maximally violated by specific quantum states and measurements. In this work, using the techniques developed recently [S. Sarkar et al., npj Quantum Inf. 7, 151 (2021)], we provide a self-testing scheme for the multipartite Greenberger-Horne-Zeilinger states of arbitrary local dimension that does not rely on self-testing results for qubit states and that exploits the minimal number of two measurements per party. This makes our results interesting as far as practical implementation of device-independent certification methods is concerned. Our self-testing statement relies on maximal violation of a Bell inequality proposed recently [R. Augusiak et al., New J. Phys. 21, 113001 (2019)].
Violation of a noncontextuality inequality or the phenomenon referred to `quantum contextuality' is a fundamental feature of quantum theory. In this article, we derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions in the simplest (odd-cycle) sequential-measurement scenario capable to demonstrate Kochen-Specker contextuality. The sum-of-squares decompositions allow us to obtain the maximal quantum violation of these inequalities and a set of algebraic relations necessarily satisfied by any state and measurements achieving it. With their help, we prove that our inequalities can be used for self-testing of three-dimensional quantum state and measurements. Remarkably, the presented self-testing results rely on a single assumption about the measurement device that is much weaker than the assumptions considered in Kochen-Specker contextuality.
Abstract In device-independent quantum information processing Bell inequalities are not only used as detectors of nonlocality, but also as certificates of relevant quantum properties. In order for these certificates to work, one very often needs Bell inequalities that are maximally violated by specific quantum states. Recently, in Salavrakos et al (2017 Phys. Rev. Lett. 119 040402) a general class of Bell inequalities, with arbitrary numbers of measurements and outcomes, has been designed, which are maximally violated by the maximally entangled states of two quantum systems of arbitrary dimension. In this work, we generalize these results to the multipartite scenario and obtain a general class of Bell inequalities maximally violated by the Greenberger–Horne–Zeilinger states of any number of parties and any local dimension. We then derive analytically their maximal quantum and nonsignaling values. We also obtain analytically the bound for detecting genuine nonlocality and compute the fully local bound for a few exemplary cases. Moreover, we consider the question of adapting this class of inequalities to partially entangled Greenberger–Horne–Zeilinger-like states for some special cases of low dimension and small number of parties. Through numerical methods, we find classes of inequalities maximally violated by these partially entangled states.
Abstract In device-independent quantum information processing Bell inequalities are not only used as detectors of nonlocality, but also as certificates of relevant quantum properties. In order for these certificates to work, one very often needs Bell inequalities that are maximally violated by specific quantum states. Recently, in Salavrakos et al (2017 Phys. Rev. Lett. 119 040402) a general class of Bell inequalities, with arbitrary numbers of measurements and outcomes, has been designed, which are maximally violated by the maximally entangled states of two quantum systems of arbitrary dimension. In this work, we generalize these results to the multipartite scenario and obtain a general class of Bell inequalities maximally violated by the Greenberger–Horne–Zeilinger states of any number of parties and any local dimension. We then derive analytically their maximal quantum and nonsignaling values. We also obtain analytically the bound for detecting genuine nonlocality and compute the fully local bound for a few exemplary cases. Moreover, we consider the question of adapting this class of inequalities to partially entangled Greenberger–Horne–Zeilinger-like states for some special cases of low dimension and small number of parties. Through numerical methods, we find classes of inequalities maximally violated by these partially entangled states.