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

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√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₁,,Xₙ and Y₁,,Yₙ with eigenvalues ±1 we have ${}⟨{X}₁{Y}₁⟩+⟨{X}₂{Y}₁⟩+⟨{X}₂{Y}₂⟩+⟨{X}₃{Y}₂⟩+{⋯}+⟨{X}ₙ{Y}ₙ⟩{-}⟨{X}₁{Y}ₙ⟩{}{}2n{{0.2em}{0ex}}cos[{π}∕(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.