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

Tsirelson bounds for generalized CHSH inequalities

Stephanie Wehner

Published Oct 11, 2005• 1 citation
OpenAlex

Abstract

Quantum theory imposes a strict limit on the strength of non-local correlations. It only allows for a violation of the CHSH inequality up to the value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have |<X_1 Y_1> + <X_2 Y_1> + <X_2 Y_2> + <X_3 Y_2> + ... + <X_n Y_n> - <X_1 Y_n>| <= 2 n cos(pi/(2n)). It is well known that there exist observables such that equality can be achieved. However, we show that these are indeed optimal. Our approach can easily be generalized to other inequalities for such observables.

Related papers

Tsirelson bounds for generalized Clauser-Horne-Shimony-Holt inequalities

Stephanie Wehner

Quantum theory imposes a strict limit on the strength of nonlocal correlations. It only allows for a violation of the Clauser, Horne, Shimony, and Holt (CHSH) inequality up to the value $2\sqrt{2}$, known as Tsirelson's bound. In this paper, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables ${X}_{1},\dots{},{X}_{n}$ and ${Y}_{1},\dots{},{Y}_{n}$ with eigenvalues $\ifmmode\pm\else\textpm\fi{}1$ we have $\ensuremath{\mid}⟨{X}_{1}{Y}_{1}⟩+⟨{X}_{2}{Y}_{1}⟩+⟨{X}_{2}{Y}_{2}⟩+⟨{X}_{3}{Y}_{2}⟩+\ensuremath{\cdots}+⟨{X}_{n}{Y}_{n}⟩\ensuremath{-}⟨{X}_{1}{Y}_{n}⟩\ensuremath{\mid}\ensuremath{\leqslant}2n\phantom{\rule{0.2em}{0ex}}\mathrm{cos}[\ensuremath{\pi}∕(2n)]$. It is well known that there exist observables such that equality can be achieved. However, we show that these are indeed optimal. Our approach can easily be generalized to other inequalities for such observables.

arXiv:quant-ph/0510076•Physical Review A•Feb 14, 2006•170 citations

Tsirelson's gräns : Introduktion och Exempel

Kaarna, Amanda

Tsirelson's bound is the upper bound for a Bell inequality which is valid for all quantum mechanical systems. We discuss why Tsirelson's bound was developed by looking at some historical arguments in quantum physics, such as the Einstein-Podolsky-Rosen (EPR) paradox, an argument for the quantum mechanical description of physical reality being incomplete, and local hidden variables. We present the counterargument to those theories, Bell's inequality, which later expanded to include any inequality that a local system fulfills, but that an entangled quantum system can violate. We present the proof of two specific Bell inequalities: the Clauser-Horne-Shimony-Holt (CHSH) inequality and the I3322 inequality. Then the Tsirelson's bound for the CHSH inequality is proven with a simple system of two entangled spin-1/2 particles and with a general argument that is valid for all entangled systems. We give the upper quantum bound for the generalized CHSH inequality, which describes the situation that we have more than two measurement options, by using semidefinite programming. We prove the Tsirelson's bound for the I3322 inequality by using maximally entangled systems and semidefinite programming. Finally, we discuss the upper bounds that are obtained from these different methods.

•Jan 1, 2022•0 citations

A violation of the Tsirelson bound in the pre-quantum theory of trace dynamics

Rabsan Galib Ahmed, Singh, Tejinder P.

The term Bell's theorem refers to a set of closely related results which imply that quantum mechanics is incompatible with local hidden variable theories. Bell's inequality is the statement that if measurements are performed independently on two space-like separated particles of an entangled pair, the assumption that outcomes depend on hidden variables implies an upper bound on the correlations between the outcomes. Quantum mechanics predicts correlations which violate this upper bound. The CHSH inequality is a specific Bell inequality in which classical correlation (i.e. if local hidden variables exist) can take the maximum value of 2. Quantum mechanics violates this bound, allowing for a higher bound on the correlation, which can take the maximum value $2\sqrt{2}$, known as the Tsirelson bound. Popescu and Rohrlich showed that the assumption of relativistic causality allows for an even higher bound on the CHSH correlation, this value being 4. Why is the bound coming from causality higher than the Tsirelson bound? Are there relativistic causal dynamical theories which violate the Tsirelson bound? In the present paper we answer this question in the affirmative. We show that the pre-quantum theory of trace dynamics, from which quantum theory is emergent as a thermodynamic approximation, permits the CHSH correlation to take values higher than $2\sqrt{2}$. We interpret our findings to suggest that quantum theory is approximate, and emergent from the more general theory of trace dynamics.

arXiv:2208.02209•Aug 3, 2022•8 citations

Quantum correlation and Grothendieck's constant

Hoshang Heydari

The best upper bound for the violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality was first derived by Tsirelson. For increasing number of ±1 valued observables on both sites of the correlation experiment, Tsirelson obtained the Grothendieck's constant as a limit for the maximal violation. In this paper, we construct a generalization of the CHSH inequality with four ±1 valued observables on both sites of a correlation experiment and show that the quantum violation approaches 1.58. Moreover, we estimate the maximal quantum violation of a correlation experiment for large and equal number of ±1 valued observables on both sites. In this case, the maximal quantum violation converges to for very large n , which coincides with the approximate value of Grothendieck's constant.

arXiv:quant-ph/0603050•Journal of Physics A Mathematical and General•Sep 5, 2006•11 citations

Monogamy of Bell correlations and Tsirelson's bound

Ben Toner, Frank Verstraete

We consider three parties, A, B, and C, each performing one of two local measurements on a shared quantum state of arbitrary dimension. We characterize the trade-off between the nonlocality of the Bell correlations observed by AB and of those observed by AC. This generalizes Tsirelson's bound on the quantum value of the CHSH inequality, the latter being recovered when C is completely uncorrelated with AB. We also discuss the trade-off between Bell violations and local expectation values of observables that anticommute with the ones used in the Bell test.

arXiv:quant-ph/0611001•Nov 1, 2006•35 citations

Tsirelson bounds for quantum correlations with indefinite causal order

Zixuan Liu, Giulio Chiribella

Quantum theory is in principle compatible with processes that violate causal inequalities, an analogue of Bell inequalities that constrain the correlations observed by sets of parties operating in a definite causal order. Since the introduction of causal inequalities, determining their maximum quantum violation, analogue to Tsirelson's bound for Bell inequalities, has remained an open problem. Here we provide a general method for bounding the violation of arbitrary causal inequalities, establishing limits to the correlations achievable by arbitrary local experiments and by arbitrary quantum processes with indefinite causal order. We prove that the maximum violation is generally smaller than the algebraic maximum of the corresponding correlation, and determine Tsirelson-like bounds for a class of causal inequalities including some of the most paradigmatic examples. Our results motivate a search for physical principles characterizing the boundary of the set of quantum correlations with indefinite causal order.

arXiv:2403.02749•Mar 5, 2024•0 citations
Quantum theory imposes a strict limit on the strength of non-local correlations. It only allows for a violation of the CHSH inequality up to the value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have |<X_1 Y_1> + <X_2 Y_1> + <X_2 Y_2> + <X_3 Y_2> + ... + <X_n Y_n> - <X_1 Y_n>| <= 2 n cos(pi/(2n)). It is well known that there exist observables such that equality can be achieved. However, we show that these are indeed optimal. Our approach can easily be generalized to other inequalities for such observables.
Quantum theory imposes a strict limit on the strength of nonlocal correlations. It only allows for a violation of the Clauser, Horne, Shimony, and Holt (CHSH) inequality up to the value 222\sqrt{2}22​, known as Tsirelson's bound. In this paper, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X1,…,Xn{X}_{1},\dots{},{X}_{n}X1​,…,Xn​ and Y1,…,Yn{Y}_{1},\dots{},{Y}_{n}Y1​,…,Yn​ with eigenvalues $\ifmmode\pm\else\textpm\fi{}1$ we have $\ensuremath{\mid}⟨{X}_{1}{Y}_{1}⟩+⟨{X}_{2}{Y}_{1}⟩+⟨{X}_{2}{Y}_{2}⟩+⟨{X}_{3}{Y}_{2}⟩+\ensuremath{\cdots}+⟨{X}_{n}{Y}_{n}⟩\ensuremath{-}⟨{X}_{1}{Y}_{n}⟩\ensuremath{\mid}\ensuremath{\leqslant}2n\phantom{\rule{0.2em}{0ex}}\mathrm{cos}[\ensuremath{\pi}∕(2n)]$. It is well known that there exist observables such that equality can be achieved. However, we show that these are indeed optimal. Our approach can easily be generalized to other inequalities for such observables.
Tsirelson's bound is the upper bound for a Bell inequality which is valid for all quantum mechanical systems. We discuss why Tsirelson's bound was developed by looking at some historical arguments in quantum physics, such as the Einstein-Podolsky-Rosen (EPR) paradox, an argument for the quantum mechanical description of physical reality being incomplete, and local hidden variables. We present the counterargument to those theories, Bell's inequality, which later expanded to include any inequality that a local system fulfills, but that an entangled quantum system can violate. We present the proof of two specific Bell inequalities: the Clauser-Horne-Shimony-Holt (CHSH) inequality and the I3322 inequality. Then the Tsirelson's bound for the CHSH inequality is proven with a simple system of two entangled spin-1/2 particles and with a general argument that is valid for all entangled systems. We give the upper quantum bound for the generalized CHSH inequality, which describes the situation that we have more than two measurement options, by using semidefinite programming. We prove the Tsirelson's bound for the I3322 inequality by using maximally entangled systems and semidefinite programming. Finally, we discuss the upper bounds that are obtained from these different methods.
The term Bell's theorem refers to a set of closely related results which imply that quantum mechanics is incompatible with local hidden variable theories. Bell's inequality is the statement that if measurements are performed independently on two space-like separated particles of an entangled pair, the assumption that outcomes depend on hidden variables implies an upper bound on the correlations between the outcomes. Quantum mechanics predicts correlations which violate this upper bound. The CHSH inequality is a specific Bell inequality in which classical correlation (i.e. if local hidden variables exist) can take the maximum value of 2. Quantum mechanics violates this bound, allowing for a higher bound on the correlation, which can take the maximum value 222\sqrt{2}22​, known as the Tsirelson bound. Popescu and Rohrlich showed that the assumption of relativistic causality allows for an even higher bound on the CHSH correlation, this value being 4. Why is the bound coming from causality higher than the Tsirelson bound? Are there relativistic causal dynamical theories which violate the Tsirelson bound? In the present paper we answer this question in the affirmative. We show that the pre-quantum theory of trace dynamics, from which quantum theory is emergent as a thermodynamic approximation, permits the CHSH correlation to take values higher than 222\sqrt{2}22​. We interpret our findings to suggest that quantum theory is approximate, and emergent from the more general theory of trace dynamics.
The best upper bound for the violation of the Clauser–Horne–Shimony–Holt (CHSH) inequality was first derived by Tsirelson. For increasing number of ±1 valued observables on both sites of the correlation experiment, Tsirelson obtained the Grothendieck's constant as a limit for the maximal violation. In this paper, we construct a generalization of the CHSH inequality with four ±1 valued observables on both sites of a correlation experiment and show that the quantum violation approaches 1.58. Moreover, we estimate the maximal quantum violation of a correlation experiment for large and equal number of ±1 valued observables on both sites. In this case, the maximal quantum violation converges to for very large n , which coincides with the approximate value of Grothendieck's constant.
We consider three parties, A, B, and C, each performing one of two local measurements on a shared quantum state of arbitrary dimension. We characterize the trade-off between the nonlocality of the Bell correlations observed by AB and of those observed by AC. This generalizes Tsirelson's bound on the quantum value of the CHSH inequality, the latter being recovered when C is completely uncorrelated with AB. We also discuss the trade-off between Bell violations and local expectation values of observables that anticommute with the ones used in the Bell test.
Quantum theory is in principle compatible with processes that violate causal inequalities, an analogue of Bell inequalities that constrain the correlations observed by sets of parties operating in a definite causal order. Since the introduction of causal inequalities, determining their maximum quantum violation, analogue to Tsirelson's bound for Bell inequalities, has remained an open problem. Here we provide a general method for bounding the violation of arbitrary causal inequalities, establishing limits to the correlations achievable by arbitrary local experiments and by arbitrary quantum processes with indefinite causal order. We prove that the maximum violation is generally smaller than the algebraic maximum of the corresponding correlation, and determine Tsirelson-like bounds for a class of causal inequalities including some of the most paradigmatic examples. Our results motivate a search for physical principles characterizing the boundary of the set of quantum correlations with indefinite causal order.