Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Physical Chemistry Chemical Physics

Bell inequalities for entangled qubits: quantitative tests of quantum character and nonlocality on quantum computers

David Z. Wang, Aidan Q. Gauthier, Ashley E. Siegmund, Katharine L. C. Hunt

Published Jan 1, 2021• 3 citations
Publisher

Abstract

This work provides quantitative tests of the extent of violation of two inequalities applicable to qubits coupled into Bell states, using IBM's publicly accessible quantum computers. Violations of the inequalities are well established. Our purpose is not to test the inequalities, but rather to determine how well quantum mechanical predictions can be reproduced on quantum computers, given their current fault rates. We present results for the spin projections of two entangled qubits, along three axes A, B, and C, with a fixed angle θ between A and B and a range of angles θ' between B and C. For any classical object that can be characterized by three observables with two possible values, inequalities govern relationships among the probabilities of outcomes for the observables, taken pairwise. From set theory, these inequalities must be satisfied by all such classical objects; but quantum systems may violate the inequalities. We have detected clear-cut violations of one inequality in runs on IBM's publicly accessible quantum computers. The Clauser-Horne-Shimony-Holt (CHSH) inequality governs a linear combination S of expectation values of products of spin projections, taken pairwise. Finding S > 2 rules out local, hidden variable theories for entangled quantum systems. We obtained values of S greater than 2 in our runs prior to error mitigation. To reduce the quantitative errors, we used a modification of the error-mitigation procedure in the IBM documentation. We prepared a pair of qubits in the state |00〉, found the probabilities to observe the states |00〉, |01〉, |10〉, and |11〉 in multiple runs, and used that information to construct the first column of an error matrix M. We repeated this procedure for states prepared as |01〉, |10〉, and |11〉 to construct the full matrix M, whose inverse is the filtering matrix. After applying filtering matrices to our averaged outcomes, we have found good quantitative agreement between the quantum computer output and the quantum mechanical predictions for the extent of violation of both inequalities as functions of θ'.

DOI
10.1039/d0cp05444e

Related papers

Testing nonlocality in quantum networks using iteratively obtained Bell inequalities

Rik van Heerden

Quantum networks play an important role in the fields of quantum information and quantum computation. One of the current problems for these networks concerns nonlocality. Characterizing and detecting nonlocality is relevant to the implementation of quantum networks and quantum repeaters, where Bell inequalities can be used to test if configurations are prepared correctly. This report contains an overview of an iterative method to find Bell inequalities for networks. Starting from a given network, this method constructs a new Bell inequality for a network containing one additional source and one additional party. We use this procedure to find new Bell inequalities for specific network structures and analyse how these can be used to detect nonlocality within a network. In the first part the Bell inequalities are considered from a more theoretical point of view. We focus on star-shaped networks and discuss violations predicted by quantum mechanics. We look for quantitative bounds describing a set of states that lead to violation, giving an indication of the required quality of the sources. Finally this method is applied to a setup similar to the one described by Bernien et al. We consider a network consisting of three parties and two sources. The effect of errors during preparation of an entangled pair of photons on the ability to detect nonlocality is evaluated. The same is done for the effect of measurement errors. Using numerical computations we show that violation of the Bell inequality can be improved by choosing different measurement angles.

•Jan 1, 2018•0 citations

EXPERIMENTAL PROOF OF THE VIOLATION OF THE BELL INEQUALITY USING QUANTUM COMPUTERS

Tobias Worledge

With quantum computing’s potential to be exponentially more powerful than classical computing, due to superposition and entanglement, several companies including IBM have started to develop quantum computers. Since 2016, IBM has developed publicly accessible cloud-based quantum computers. While the development of quantum computing can revolutionize decryption, optimization, and the simulation of quantum systems, quantum computers must maintain a high level of accuracy as they are scaled up. This paper introduces the fundamental gates used on IBM’s quantum computers and provides visualizations of each gate. A thought experiment involving two quantum entangled particles is used to explain the Einstein-Podolsky-Rosen Paradox, and two potential explanations are introduced: violation of locality and the Hidden Variable Theory. Experimental results are reported for the quality of entanglement created on IBM’s publicly accessible 5-qubit quantum computers by creating entanglement between 2 qubits and then measuring both qubits along a set combination of axes, and demonstrating the violation of the Bell-CHSH Inequality. Six out of seven 5-qubit quantum computers violated the Bell-CHSH Inequality, thus demonstrating strong quantum entanglement between 2 qubits, a standard crucial for scaling up quantum computers to harness their exponentially scaling power.

Journal of applied physical science international•Aug 13, 2020•0 citations

Practical Guide to Using a Quantum Computer (Based on Materials from the International Quantum Center at CERN, Switzerland) # 4

Mikhail Pavlov

Abstract This laboratory work presents a practical implementation of the CHSH game using the Qiskit framework and IBM quantum hardware. The material is based on educational resources developed by the International Quantum Center at CERN (Switzerland) and aims to provide an experimental demonstration of quantum nonlocality and Bell inequality violation. In Laboratory Work No. 4, participants implement a simplified version of the Clauser–Horne–Shimony–Holt (CHSH) game to test whether IBM quantum processors exhibit genuinely quantum behavior. The CHSH game is a fundamental protocol in quantum information theory that distinguishes classical correlations from quantum correlations through statistical violation of Bell inequalities. Using Qiskit, a two-qubit entangled state is prepared and measurement settings corresponding to different basis choices are applied. By executing the circuit multiple times on a simulator and real quantum hardware, participants collect measurement statistics and compute the CHSH correlation parameter. If the experimentally obtained value exceeds the classical bound, the results provide empirical evidence of quantum entanglement and nonlocal correlations. This laboratory exercise demonstrates how foundational concepts of quantum mechanics—entanglement, superposition, and measurement basis dependence—can be directly tested using cloud-accessible quantum processors. The experiment not only reinforces theoretical understanding of Bell inequalities but also introduces practical skills in circuit construction, parameterized measurements, statistical analysis, and noise considerations in real quantum devices.

•Mar 3, 2026•0 citations

Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems

Jędrzej Kaniewski, Ivan Šupić, Jordi Tura +3 more

Bell inequalities are an important tool in device-independent quantum information processing because their violation can serve as a certificate of relevant quantum properties. Probably the best known example of a Bell inequality is due to Clauser, Horne, Shimony and Holt (CHSH), which is defined in the simplest scenario involving two dichotomic measurements and whose all key properties are well understood. There have been many attempts to generalise the CHSH Bell inequality to higher-dimensional quantum systems, however, for most of them the maximal quantum violation---the key quantity for most device-independent applications---remains unknown. On the other hand, the constructions for which the maximal quantum violation can be computed, do not preserve the natural property of the CHSH inequality, namely, that the maximal quantum violation is achieved by the maximally entangled state and measurements corresponding to mutually unbiased bases. In this work we propose a novel family of Bell inequalities which exhibit precisely these properties, and whose maximal quantum violation can be computed analytically. In the simplest scenario it recovers the CHSH Bell inequality. These inequalities involve d measurements settings, each having d outcomes for an arbitrary prime number d ≥ 3 . We then show that in the three-outcome case our Bell inequality can be used to self-test the maximally entangled state of two-qutrits and three mutually unbiased bases at each site. Yet, we demonstrate that in the case of more outcomes, their maximal violation does not allow for self-testing in the standard sense, which motivates the definition of a new weak form of self-testing. The ability to certify high-dimensional MUBs makes these inequalities attractive from the device-independent cryptography point of view.

arXiv:1807.03332•Quantum•Oct 24, 2019•63 citations

Entanglement as upper bound for the nonlocality of a general two-qubit system

Zhaofeng Su, Haisheng Tan, Xiang‐Yang Li

Nonlocality and entanglement are not only the fundamental characteristics of quantum mechanics but also important resources for quantum information and computation applications. Exploiting the quantitative relationship between the two different resources is of both theoretical and practical significance. The common choice for quantifying the nonlocality of a two-qubit state is the maximal violation of the Clauser-Horne-Shimony-Holt inequality. That for entanglement is entanglement of formation, which is a function of the concurrence. In this paper, we systematically investigate the quantitative relationship between the entanglement and nonlocality of a general two-qubit system. We rederive a known upper bound on the nonlocality of a general two-qubit state, which depends on the state's entanglement. We investigate the condition that the nonlocality of two different two-qubit states can be optimally stimulated by the same nonlocality test setting and find the class of two-qubit state pairs that have this property. Finally, we obtain the necessary and sufficient condition that the upper bound can be reached.

arXiv:2004.08337•Physical Review A•Apr 14, 2020•21 citations

Experimental Tests of Multiplicative Bell Inequalities

Dilip Paneru

This thesis is the synthesis of theoretical and experimental works performed in the area of quantum foundations, particularly on quantum correlations and experimental tests of multiplicative Bell inequalities. First we begin with a comprehensive theoretical work performed on the foundations of quantum mechanics, focusing on the puzzling concepts of quantum entanglement, and hidden variable theories. Specifically, we present a broad overview of different classes of hidden variable theories such as local, crypto-nonlocal, contextual and non-local theories, along with several Bell like inequalities for these theories, providing theoretical proofs based on quantum mechanics for the falsification of some of these theories. Second we present a body of experimental, and theoretical works performed on a new class of Bell inequalities, i.e., the multiplicative Bell inequalities. We experimentally report the observation of the Bell parameters close to the Tsirelson (quantum) limit, upto a large number of measurement devices $(n)$, and compare the results with a particular deterministic strategy. We also obtain classical bounds for some $n$, and report the experimental violation of these classical limits. We theoretically derive new richer bounds on the CHSH inequality (named after John Clauser, Michael Horne, Abnor Shimony and Richard Holt) and the multiplicative Bell parameter for $n=2$, based on the principle of ``relativistic independence'', and experimentally observe the distribution of Bell parameters as predicted by these bounds.

•Jan 7, 2021•0 citations
This work provides quantitative tests of the extent of violation of two inequalities applicable to qubits coupled into Bell states, using IBM's publicly accessible quantum computers. Violations of the inequalities are well established. Our purpose is not to test the inequalities, but rather to determine how well quantum mechanical predictions can be reproduced on quantum computers, given their current fault rates. We present results for the spin projections of two entangled qubits, along three axes A, B, and C, with a fixed angle θ between A and B and a range of angles θ' between B and C. For any classical object that can be characterized by three observables with two possible values, inequalities govern relationships among the probabilities of outcomes for the observables, taken pairwise. From set theory, these inequalities must be satisfied by all such classical objects; but quantum systems may violate the inequalities. We have detected clear-cut violations of one inequality in runs on IBM's publicly accessible quantum computers. The Clauser-Horne-Shimony-Holt (CHSH) inequality governs a linear combination S of expectation values of products of spin projections, taken pairwise. Finding S > 2 rules out local, hidden variable theories for entangled quantum systems. We obtained values of S greater than 2 in our runs prior to error mitigation. To reduce the quantitative errors, we used a modification of the error-mitigation procedure in the IBM documentation. We prepared a pair of qubits in the state |00〉, found the probabilities to observe the states |00〉, |01〉, |10〉, and |11〉 in multiple runs, and used that information to construct the first column of an error matrix M. We repeated this procedure for states prepared as |01〉, |10〉, and |11〉 to construct the full matrix M, whose inverse is the filtering matrix. After applying filtering matrices to our averaged outcomes, we have found good quantitative agreement between the quantum computer output and the quantum mechanical predictions for the extent of violation of both inequalities as functions of θ'.
Quantum networks play an important role in the fields of quantum information and quantum computation. One of the current problems for these networks concerns nonlocality. Characterizing and detecting nonlocality is relevant to the implementation of quantum networks and quantum repeaters, where Bell inequalities can be used to test if configurations are prepared correctly. This report contains an overview of an iterative method to find Bell inequalities for networks. Starting from a given network, this method constructs a new Bell inequality for a network containing one additional source and one additional party. We use this procedure to find new Bell inequalities for specific network structures and analyse how these can be used to detect nonlocality within a network. In the first part the Bell inequalities are considered from a more theoretical point of view. We focus on star-shaped networks and discuss violations predicted by quantum mechanics. We look for quantitative bounds describing a set of states that lead to violation, giving an indication of the required quality of the sources. Finally this method is applied to a setup similar to the one described by Bernien et al. We consider a network consisting of three parties and two sources. The effect of errors during preparation of an entangled pair of photons on the ability to detect nonlocality is evaluated. The same is done for the effect of measurement errors. Using numerical computations we show that violation of the Bell inequality can be improved by choosing different measurement angles.
With quantum computing’s potential to be exponentially more powerful than classical computing, due to superposition and entanglement, several companies including IBM have started to develop quantum computers. Since 2016, IBM has developed publicly accessible cloud-based quantum computers. While the development of quantum computing can revolutionize decryption, optimization, and the simulation of quantum systems, quantum computers must maintain a high level of accuracy as they are scaled up. This paper introduces the fundamental gates used on IBM’s quantum computers and provides visualizations of each gate. A thought experiment involving two quantum entangled particles is used to explain the Einstein-Podolsky-Rosen Paradox, and two potential explanations are introduced: violation of locality and the Hidden Variable Theory. Experimental results are reported for the quality of entanglement created on IBM’s publicly accessible 5-qubit quantum computers by creating entanglement between 2 qubits and then measuring both qubits along a set combination of axes, and demonstrating the violation of the Bell-CHSH Inequality. Six out of seven 5-qubit quantum computers violated the Bell-CHSH Inequality, thus demonstrating strong quantum entanglement between 2 qubits, a standard crucial for scaling up quantum computers to harness their exponentially scaling power.
Abstract This laboratory work presents a practical implementation of the CHSH game using the Qiskit framework and IBM quantum hardware. The material is based on educational resources developed by the International Quantum Center at CERN (Switzerland) and aims to provide an experimental demonstration of quantum nonlocality and Bell inequality violation. In Laboratory Work No. 4, participants implement a simplified version of the Clauser–Horne–Shimony–Holt (CHSH) game to test whether IBM quantum processors exhibit genuinely quantum behavior. The CHSH game is a fundamental protocol in quantum information theory that distinguishes classical correlations from quantum correlations through statistical violation of Bell inequalities. Using Qiskit, a two-qubit entangled state is prepared and measurement settings corresponding to different basis choices are applied. By executing the circuit multiple times on a simulator and real quantum hardware, participants collect measurement statistics and compute the CHSH correlation parameter. If the experimentally obtained value exceeds the classical bound, the results provide empirical evidence of quantum entanglement and nonlocal correlations. This laboratory exercise demonstrates how foundational concepts of quantum mechanics—entanglement, superposition, and measurement basis dependence—can be directly tested using cloud-accessible quantum processors. The experiment not only reinforces theoretical understanding of Bell inequalities but also introduces practical skills in circuit construction, parameterized measurements, statistical analysis, and noise considerations in real quantum devices.
Bell inequalities are an important tool in device-independent quantum information processing because their violation can serve as a certificate of relevant quantum properties. Probably the best known example of a Bell inequality is due to Clauser, Horne, Shimony and Holt (CHSH), which is defined in the simplest scenario involving two dichotomic measurements and whose all key properties are well understood. There have been many attempts to generalise the CHSH Bell inequality to higher-dimensional quantum systems, however, for most of them the maximal quantum violation---the key quantity for most device-independent applications---remains unknown. On the other hand, the constructions for which the maximal quantum violation can be computed, do not preserve the natural property of the CHSH inequality, namely, that the maximal quantum violation is achieved by the maximally entangled state and measurements corresponding to mutually unbiased bases. In this work we propose a novel family of Bell inequalities which exhibit precisely these properties, and whose maximal quantum violation can be computed analytically. In the simplest scenario it recovers the CHSH Bell inequality. These inequalities involve d measurements settings, each having d outcomes for an arbitrary prime number d ≥ 3 . We then show that in the three-outcome case our Bell inequality can be used to self-test the maximally entangled state of two-qutrits and three mutually unbiased bases at each site. Yet, we demonstrate that in the case of more outcomes, their maximal violation does not allow for self-testing in the standard sense, which motivates the definition of a new weak form of self-testing. The ability to certify high-dimensional MUBs makes these inequalities attractive from the device-independent cryptography point of view.
Nonlocality and entanglement are not only the fundamental characteristics of quantum mechanics but also important resources for quantum information and computation applications. Exploiting the quantitative relationship between the two different resources is of both theoretical and practical significance. The common choice for quantifying the nonlocality of a two-qubit state is the maximal violation of the Clauser-Horne-Shimony-Holt inequality. That for entanglement is entanglement of formation, which is a function of the concurrence. In this paper, we systematically investigate the quantitative relationship between the entanglement and nonlocality of a general two-qubit system. We rederive a known upper bound on the nonlocality of a general two-qubit state, which depends on the state's entanglement. We investigate the condition that the nonlocality of two different two-qubit states can be optimally stimulated by the same nonlocality test setting and find the class of two-qubit state pairs that have this property. Finally, we obtain the necessary and sufficient condition that the upper bound can be reached.
This thesis is the synthesis of theoretical and experimental works performed in the area of quantum foundations, particularly on quantum correlations and experimental tests of multiplicative Bell inequalities. First we begin with a comprehensive theoretical work performed on the foundations of quantum mechanics, focusing on the puzzling concepts of quantum entanglement, and hidden variable theories. Specifically, we present a broad overview of different classes of hidden variable theories such as local, crypto-nonlocal, contextual and non-local theories, along with several Bell like inequalities for these theories, providing theoretical proofs based on quantum mechanics for the falsification of some of these theories. Second we present a body of experimental, and theoretical works performed on a new class of Bell inequalities, i.e., the multiplicative Bell inequalities. We experimentally report the observation of the Bell parameters close to the Tsirelson (quantum) limit, upto a large number of measurement devices (n)(n)(n), and compare the results with a particular deterministic strategy. We also obtain classical bounds for some nnn, and report the experimental violation of these classical limits. We theoretically derive new richer bounds on the CHSH inequality (named after John Clauser, Michael Horne, Abnor Shimony and Richard Holt) and the multiplicative Bell parameter for n=2n=2n=2, based on the principle of ``relativistic independence'', and experimentally observe the distribution of Bell parameters as predicted by these bounds.