Experimental demonstration of the violation of the temporal Peres-Mermin inequality using contextual temporal correlations and noninvasive measurements
We present a generalized quantum scattering circuit which can be used to perform a noninvasive quantum measurement and implement it on NMR qubits. Such a measurement is a key requirement for testing temporal noncontextual inequalities. We use this circuit to experimentally demonstrate the violation of the Peres-Mermin inequality on a three-qubit NMR quantum information processor. Further, we experimentally construct a Bell-type inequality corresponding to the temporal Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality, and demonstrate that the maximum quantum correlation is achieved for four two-point correlation functions involved in this inequality. The experimental violation of all the inequalities matches well with the theoretically predicted values, within experimental errors.
We present a generalized quantum scattering circuit which can be used to perform a noninvasive quantum measurement and implement it on NMR qubits. Such a measurement is a key requirement for testing temporal noncontextual inequalities. We use this circuit to experimentally demonstrate the violation of the Peres-Mermin inequality on a three-qubit NMR quantum information processor. Further, we experimentally construct a Bell-type inequality corresponding to the temporal Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality, and demonstrate that the maximum quantum correlation is achieved for four two-point correlation functions involved in this inequality. The experimental violation of all the inequalities matches well with the theoretically predicted values, within experimental errors.
The quantum no-disturbance principle imposes a fundamental monogamy relation on quantum contextuality and quantum nonlocality. We experimentally demonstrated the simulation of this monogamy relation on a ququart-qubit system using three NMR qubits. We constructed experimental tests of the violation of the Klyachko-Can-Binicioglu-Shumovski (KCBS) inequality and the Clauser-Horne-Shimony-Holt (CHSH) inequality. We measured the average CHSH and KCBS values at the single point where the quantum boundary meets the no-disturbance boundary, at which point the tradeoff inequality becomes an equality. The tradeoff relation is always satisfied, implying that the violation of either the KCBS or the CHSH inequality automatically forbids the violation of the other.
In 1985, Leggett and Garg (1985 Phys. Rev. Lett. 54 857) proposed a Bell-like inequality to test (in)compatibility between two fundamental concepts of quantum mechanics. The first concept is 'macroscopic realism', which is the quality of a physical property of a quantum system being independent of observation at the macroscopic level. The second concept is 'noninvasive measurability', which is the possibility of performing a measurement without disturbing the subsequent evolution of a system. One of the key requirement for testing the violation of the Leggett-Garg inequality, or Bell's time inequality, is the ability to perform noninvasive measurements over a qubit state. In this paper, we present a quantum scattering circuit that implements such a measurement for maximally mixed states. The operation of the circuit is demonstrated using liquid-state nuclear magnetic resonance (NMR) in chloroform, in which the time correlations of a qubit are measured on a probe (ancillary) qubit state. The results clearly show a violation region and are in excellent agreement with the predictions of quantum mechanics.
We report two fundamental experiments on three-level quantum systems (qutrits). The first one tests the simplest task for which quantum mechanics provides an advantage with respect to classical physics. The quantum advantage is certified by the violation of Wright's inequality, the simplest classical inequality violated by quantum mechanics. In the second experiment, we obtain contextual correlations by sequentially measuring pairs of compatible observables on a qutrit, and show the violation of Klyachko et al.'s inequality, the most fundamental noncontextuality inequality violated by qutrits. Our experiment tests exactly Klyachko et al.'s inequality, uses the same measurement procedure for each observable in every context, and implements the sequential measurements in any possible order.
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.
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen–Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen–Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres–Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres–Mermin square.
Bell nonlocality and Kochen-Specker contextuality are two remarkable nonclassical features of quantum theory, related to strong correlations between outcomes of measurements performed on quantum systems. Both phenomena can be witnessed by the violation of certain inequalities, the simplest and most important of which are the Clauser-Horne-Shimony-Holt (CHSH) and the Klyachko-Can-Binicioğlu-Shumovski (KCBS), for Bell nonlocality and Kochen-Specker contextuality, respectively. It has been shown that, using the most common interpretation of Bell scenarios, quantum systems cannot violate both inequalities concomitantly, thus suggesting a monogamous relation between the two phenomena. In this Letter, we show that the joint consideration of the CHSH and KCBS inequalities naturally calls for the so-called generalized Bell scenarios, which, contrary to the previous results, allows for joint violation of them. In fact, this result is not a special feature of such inequalities: We provide very strong evidence that there is no monogamy between nonlocality and contextuality in any scenario where both phenomena can be observed. We also implement a photonic experiment to test the synchronous violation of both CHSH and KCBS inequalities. Our results agree with the theoretical predictions, thereby providing experimental proof of the coexistence of Bell nonlocality and contextuality in the simplest scenario, and lead to novel possibilities where both concepts could be jointly employed for quantum information processing protocols.