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

arXiv:1006.3032 · Physical Review A

Maximal violation of a bipartite three-setting, two-outcome Bell inequality using infinite-dimensional quantum systems

Károly F. Pál, Tamás Vértesi

Published Aug 26, 2010• 164 citations
arXivHTMLPDF

Abstract

The ${I}_{3322}$ inequality is the simplest bipartite two-outcome Bell inequality beyond the Clauser-Horne-Shimony-Holt (CHSH) inequality, consisting of three two-outcome measurements per party. In the case of the CHSH inequality the maximal quantum violation can already be attained with local two-dimensional quantum systems; however, there is no such evidence for the ${I}_{3322}$ inequality. In this paper a family of measurement operators and states is given which enables us to attain the maximum quantum value in an infinite-dimensional Hilbert space. Further, it is conjectured that our construction is optimal in the sense that measuring finite-dimensional quantum systems is not enough to achieve the true quantum maximum. We also describe an efficient iterative algorithm for computing quantum maximum of an arbitrary two-outcome Bell inequality in any given Hilbert space dimension. This algorithm played a key role in obtaining our results for the ${I}_{3322}$ inequality, and we also applied it to improve on our previous results concerning the maximum quantum violation of several bipartite two-outcome Bell inequalities with up to five settings per party.

DOI
10.1103/physreva.82.022116

Related papers

Generalized Clauser-Horne-Shimony-Holt inequalities maximally violated by higher-dimensional systems

Tamás Vértesi, Károly F. Pál

Imagine two parties, Alice and Bob, who share an entangled quantum state. A well-established result that if Alice performs a two-outcome measurement on the portion of the state in her possession and Bob does likewise, they are able to produce correlations that cannot be reproduced by any classical theory. The allowed classical correlations can be expressed quantitatively by the Bell inequalities. Here we propose new families of Bell inequalities, as a generalization of the Clauser-Horne-Shimony-Holt inequality and show that the maximum violation of these Bell inequalities allowed by quantum theory cannot be attained by a bipartite quantum system having support on a qubit at each site.

arXiv:0712.4225•Physical Review A•Apr 9, 2008•33 citations

Quantum bounds on Bell inequalities

Károly F. Pál, Tamás Vértesi

We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.

arXiv:0810.1615•Physical Review A•Feb 26, 2009•85 citations

The $I_{3322}$ Bell inequality requires infinite dimensions

Andrea Coladangelo

The $I_{3322}$ inequality is one of the simplest bipartite Bell inequalities, with three possible questions and two possible answers per party. Yet, despite its simplicity, it has long been conjectured by Pál and Vértesi (Physical Review A, 2010) to possess the following quirk: no finite-dimensional quantum strategy can attain its maximal violation, but an infinite-dimensional strategy can. A Bell correlation, with five questions and three answers per party, that provably possesses the same property has since been discovered by Coladangelo and Stark (Nature Communications, 2020). However, proving that the same property holds for $I_{3322}$, which lives in the simplest Bell scenario in which such a phenomenon could occur, has remained elusive. Here, we provide a proof of this conjecture. An approximate proof, containing all the main ideas, was produced by GPT 5.5 Pro after various rounds of interaction. The presentation of this proof was revised substantially by the author for completeness, correctness, and clarity.

quant-pharXiv:2609.06038•Sep 8, 2026•0 citations

Efficiency of higher-dimensional Hilbert spaces for the violation of Bell inequalities

Károly F. Pál, Tamás Vértesi

We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four-dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two-dimensional systems, i.e., qubits, are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate ``measurements'' in order to achieve maximum violation. The quantum state corresponding to the maximum violation in most cases is not the maximally entangled one. We also obtain the result that bipartite quantum correlations can always be reproduced by measurements and states which require only real numbers if there is no restriction on the size of the local Hilbert spaces. Therefore in order to achieve maximum quantum violation on any bipartite Bell inequality (with any number of settings and outcomes), there is no need to consider complex Hilbert spaces.

arXiv:0712.4320•Physical Review A•Apr 9, 2008•55 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

Necessary and sufficient state condition for violation of a Bell inequality with multiple measurement settings

Swapnil Bhowmick, Som Kanjilal, A. K. Pan +1 more

High-dimensional quantum entanglement and the advancements in their experimental realization provide a playground for fundamental research and eventually lead to quantum technological developments. The Horodecki criterion determines whether a state violates the Clauser-Horne-Shimony-Holt (CHSH) inequality for a two-qubit entangled state, solely from the state parameters. However, it remains a challenging task to formulate similar necessary and sufficient criteria for a high-dimensional entangled state for the violation of a suitable Bell inequality. Here we develop a Horodecki-like criterion based on the state parameters of arbitrary two-qudit states to violate a two-outcome Bell inequality involving ${2}^{n\ensuremath{-}1}$ and $n$ measurement settings for Alice and Bob, respectively. This inequality reduces to the well-known CHSH and Gisin elegant Bell inequalities for $n=2$ and 3, respectively. While the proposed criterion is sufficient to violate the Bell inequality, it becomes necessary as well for the following cases: (i) $m$ copies of Bell-diagonal states for arbitrary $n$, (ii) nondecomposable states whose correlation matrix is diagonalized by local unitaries, and (iii) for any arbitrary two-qubit state when $n=3$, where the maximal value of the Bell functional is achieved with Bob's measurements being pairwise anticommuting. For any states, we derive the constraints on Alice's measurements in achieving the maximum quantum violation for this inequality.

arXiv:2408.10350•Physical Review A•Nov 22, 2024•5 citations
The I3322{I}_{3322}I3322​ inequality is the simplest bipartite two-outcome Bell inequality beyond the Clauser-Horne-Shimony-Holt (CHSH) inequality, consisting of three two-outcome measurements per party. In the case of the CHSH inequality the maximal quantum violation can already be attained with local two-dimensional quantum systems; however, there is no such evidence for the I3322{I}_{3322}I3322​ inequality. In this paper a family of measurement operators and states is given which enables us to attain the maximum quantum value in an infinite-dimensional Hilbert space. Further, it is conjectured that our construction is optimal in the sense that measuring finite-dimensional quantum systems is not enough to achieve the true quantum maximum. We also describe an efficient iterative algorithm for computing quantum maximum of an arbitrary two-outcome Bell inequality in any given Hilbert space dimension. This algorithm played a key role in obtaining our results for the I3322{I}_{3322}I3322​ inequality, and we also applied it to improve on our previous results concerning the maximum quantum violation of several bipartite two-outcome Bell inequalities with up to five settings per party.
Imagine two parties, Alice and Bob, who share an entangled quantum state. A well-established result that if Alice performs a two-outcome measurement on the portion of the state in her possession and Bob does likewise, they are able to produce correlations that cannot be reproduced by any classical theory. The allowed classical correlations can be expressed quantitatively by the Bell inequalities. Here we propose new families of Bell inequalities, as a generalization of the Clauser-Horne-Shimony-Holt inequality and show that the maximum violation of these Bell inequalities allowed by quantum theory cannot be attained by a bipartite quantum system having support on a qubit at each site.
We have determined the maximum quantum violation of 241 tight bipartite Bell inequalities with up to five two-outcome measurement settings per party by constructing the appropriate measurement operators in up to six-dimensional complex and eight-dimensional real-component Hilbert spaces using numerical optimization. Out of these inequalities 129 have been introduced here. In 43 cases higher-dimensional component spaces gave larger violation than qubits, and in three occasions the maximum was achieved with six-dimensional spaces. We have also calculated upper bounds on these Bell inequalities using a method proposed recently. For all but 20 inequalities the best solution found matched the upper bound. Surprisingly, the simplest inequality of the set examined, with only three measurement settings per party, was not among them, despite the high dimensionality of the Hilbert space considered. We also computed detection threshold efficiencies for the maximally entangled qubit pair. These could be lowered in several instances if degenerate measurements were also allowed.
The I3322I_{3322}I3322​ Bell inequality requires infinite dimensions
The I3322I_{3322}I3322​ inequality is one of the simplest bipartite Bell inequalities, with three possible questions and two possible answers per party. Yet, despite its simplicity, it has long been conjectured by Pál and Vértesi (Physical Review A, 2010) to possess the following quirk: no finite-dimensional quantum strategy can attain its maximal violation, but an infinite-dimensional strategy can. A Bell correlation, with five questions and three answers per party, that provably possesses the same property has since been discovered by Coladangelo and Stark (Nature Communications, 2020). However, proving that the same property holds for I3322I_{3322}I3322​, which lives in the simplest Bell scenario in which such a phenomenon could occur, has remained elusive. Here, we provide a proof of this conjecture. An approximate proof, containing all the main ideas, was produced by GPT 5.5 Pro after various rounds of interaction. The presentation of this proof was revised substantially by the author for completeness, correctness, and clarity.
We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four-dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two-dimensional systems, i.e., qubits, are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate ``measurements'' in order to achieve maximum violation. The quantum state corresponding to the maximum violation in most cases is not the maximally entangled one. We also obtain the result that bipartite quantum correlations can always be reproduced by measurements and states which require only real numbers if there is no restriction on the size of the local Hilbert spaces. Therefore in order to achieve maximum quantum violation on any bipartite Bell inequality (with any number of settings and outcomes), there is no need to consider complex Hilbert spaces.
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.
High-dimensional quantum entanglement and the advancements in their experimental realization provide a playground for fundamental research and eventually lead to quantum technological developments. The Horodecki criterion determines whether a state violates the Clauser-Horne-Shimony-Holt (CHSH) inequality for a two-qubit entangled state, solely from the state parameters. However, it remains a challenging task to formulate similar necessary and sufficient criteria for a high-dimensional entangled state for the violation of a suitable Bell inequality. Here we develop a Horodecki-like criterion based on the state parameters of arbitrary two-qudit states to violate a two-outcome Bell inequality involving ${2}^{n\ensuremath{-}1}$ and nnn measurement settings for Alice and Bob, respectively. This inequality reduces to the well-known CHSH and Gisin elegant Bell inequalities for n=2n=2n=2 and 3, respectively. While the proposed criterion is sufficient to violate the Bell inequality, it becomes necessary as well for the following cases: (i) mmm copies of Bell-diagonal states for arbitrary nnn, (ii) nondecomposable states whose correlation matrix is diagonalized by local unitaries, and (iii) for any arbitrary two-qubit state when n=3n=3n=3, where the maximal value of the Bell functional is achieved with Bob's measurements being pairwise anticommuting. For any states, we derive the constraints on Alice's measurements in achieving the maximum quantum violation for this inequality.