Systematic derivation of Tsirelson bounds in arbitrary dimensions
Pith reviewed 2026-06-26 13:38 UTC · model grok-4.3
The pith
Sum-of-squares decompositions enable systematic derivation of Tsirelson bounds in arbitrary dimensions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We propose a systematic derivation of bipartite Tsirelson and local bounds written in terms of sum-of-squares decompositions. Using this method, we discover novel bounds and recover established results for maximally entangled states of qubits and qudits.
What carries the argument
Sum-of-squares decompositions that express correlation expressions to derive bounds on the quantum set in bipartite Bell scenarios.
If this is right
- Novel Tsirelson bounds are obtained for high-dimensional systems where previous analytic methods were unavailable.
- Known Tsirelson bounds for maximally entangled qubit and qudit states are recovered as special cases.
- Both quantum (Tsirelson) and classical (local) bounds are derived uniformly through the same decomposition technique.
- The approach extends the characterization of the quantum set to arbitrary local dimensions without case-by-case analysis.
Where Pith is reading between the lines
- The decompositions might be turned into an algorithmic procedure that automates bound derivation for user-specified Bell expressions and dimensions.
- Similar sum-of-squares techniques could be tested on non-maximally entangled states or on scenarios with more than two parties to check for broader applicability.
- The method may intersect with semidefinite programming hierarchies, potentially offering tighter relaxations or exact solutions for certain correlation polytopes.
Load-bearing premise
The assumption that sum-of-squares decompositions provide a complete and tight characterization of the quantum set for arbitrary dimensions without requiring additional constraints or numerical verification specific to each dimension.
What would settle it
An explicit quantum strategy consisting of a maximally entangled state and projective measurements in dimension three that achieves a correlation value strictly larger than the Tsirelson bound derived via the sum-of-squares method for the same Bell expression.
Figures
read the original abstract
The study of Bell nonlocality and the bounds of quantum correlations, the so-called Tsirelson bounds, is fundamental to quantum information science and the exploration of the limits of quantum theory. While quantum bounds for qubit systems have been extensively characterized, determining tight quantum bounds for correlations attainable with high-dimensional quantum states and measurements remains a significant challenge. In this work, we propose a systematic derivation of bipartite Tsirelson and local bounds written in terms of sum-of-squares decompositions. Using this method, we discover novel bounds and recover established results for maximally entangled states of qubits and qu$d$its.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a systematic method for deriving bipartite Tsirelson bounds (and local bounds) for Bell expressions in arbitrary dimensions by rewriting them as sum-of-squares decompositions. The approach is applied to recover known tight bounds for maximally entangled qubit and qudit states and to obtain novel candidate bounds.
Significance. A reliable systematic derivation of tight Tsirelson bounds for high-dimensional systems would be valuable, as current methods are often dimension-specific or numerical. The SOS framework is a standard tool in quantum information, and recovering known results for qubits/qudits provides a useful sanity check; however, the significance hinges on whether the novel bounds are provably tight rather than relaxations.
major comments (2)
- [Method and novel bounds sections] The central claim that the SOS decompositions yield the actual Tsirelson bounds (rather than upper bounds) for novel cases in arbitrary d requires an explicit achievability argument or duality certificate showing the bound is attained by some quantum state and measurements. The abstract and method description indicate that SOS identities alone are used; without a matching lower bound or explicit realization for the new bounds, the identification with the quantum set remains unproven (see skeptic note on tightness).
- [Results for qudits] For the recovered results on maximally entangled states, the paper correctly matches literature values, but the extension to arbitrary dimensions and novel bounds relies on the assumption that the chosen SOS is complete without additional constraints; this needs explicit verification or a general proof that no gap exists.
minor comments (2)
- [Section 2] Clarify the notation for the Bell expression and the precise form of the SOS decomposition in the main text or an appendix to make the systematic aspect reproducible.
- [Numerical checks] Include a table or explicit comparison of the new bounds against known numerical SDP relaxations for small d to support the claims.
Simulated Author's Rebuttal
We thank the referee for the careful review and valuable comments on the tightness of the derived bounds. We address each major point below and will revise the manuscript accordingly to avoid overstating the results for novel cases.
read point-by-point responses
-
Referee: [Method and novel bounds sections] The central claim that the SOS decompositions yield the actual Tsirelson bounds (rather than upper bounds) for novel cases in arbitrary d requires an explicit achievability argument or duality certificate showing the bound is attained by some quantum state and measurements. The abstract and method description indicate that SOS identities alone are used; without a matching lower bound or explicit realization for the new bounds, the identification with the quantum set remains unproven (see skeptic note on tightness).
Authors: We agree that SOS decompositions provide rigorous upper bounds on the quantum value. The manuscript recovers known tight Tsirelson bounds for qubits and qudits by matching literature values, which serve as a sanity check. For the novel bounds in arbitrary dimensions, no explicit quantum realizations or duality certificates are provided. We will revise the abstract, method description, and conclusions to present these explicitly as candidate upper bounds obtained via the SOS method, rather than claiming they are the exact Tsirelson bounds, and note that achievability remains open. revision: yes
-
Referee: [Results for qudits] For the recovered results on maximally entangled states, the paper correctly matches literature values, but the extension to arbitrary dimensions and novel bounds relies on the assumption that the chosen SOS is complete without additional constraints; this needs explicit verification or a general proof that no gap exists.
Authors: The results for maximally entangled qudits are verified by exact matching to established tight bounds in the literature. For arbitrary d, the SOS polynomials are selected according to the monomial structure of the Bell expression, but the manuscript does not contain a general proof of completeness or absence of gaps in the relaxation. We will add a dedicated paragraph in the results section acknowledging this assumption, providing any low-dimensional numerical checks where feasible, and clarifying that the method yields systematic upper bounds whose tightness is not guaranteed for all novel cases. revision: partial
- Explicit achievability arguments or quantum realizations attaining the novel bounds for arbitrary d
- A general proof that the chosen SOS decompositions are complete with no relaxation gap for arbitrary dimensions
Circularity Check
No circularity; derivation is method-based upper bounds with known-case recovery
full rationale
The abstract and description present a systematic SOS-based rewriting to obtain candidate bounds, recovering established tight results for maximally entangled qubit/qudit states (where achievability is external) and proposing novel ones. No quoted equations or steps reduce the claimed Tsirelson identification to a self-definition, fitted input renamed as prediction, or self-citation chain. The method generates upper bounds via SOS; any gap to actual quantum maximum for novel cases is a completeness question, not a circular reduction by construction. The derivation chain is self-contained against external benchmarks for the recovered cases.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Physics Physique Fizika1, 195–200 (1964) https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195
J. S. Bell. “On the Einstein-Podolsky-Rosen paradox”. In:Physics Physique Fizika1 (1964), pp. 195–200.doi:10.1103/PhysicsPhysiqueFizika.1.195
-
[2]
Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, and Stephanie Wehner. “Bell nonlocality”. In:Rev. Mod. Phys.86 (2 Apr. 2014), pp. 419–478.doi: 10.1103/RevModPhys.86.419
-
[3]
Valerio Scarani.The device-independent outlook on quantum physics (lecture notes on the power of Bell’s theorem). 2015. arXiv:1303.3081 [quant-ph]
Pith/arXiv arXiv 2015
-
[4]
doi:10.22331/q-2020-09-30-337 , url =
Ivan Šupić and Joseph Bowles. “Self-testing of quantum systems: a review”. In:Quantum 4 (Sept. 2020), p. 337.issn: 2521-327X.doi:10.22331/q-2020-09-30-337
-
[5]
Advances in device-independent quantum key distribution
Víctor Zapatero, Tim van Leent, Rotem Arnon-Friedman, Wen-Zhao Liu, Qiang Zhang, Harald Weinfurter, and Marcos Curty. “Advances in device-independent quantum key distribution”. In:npj Quantum Information9.10 (2023).doi:10 . 1038 / s41534 - 023 - 00684-x
2023
-
[6]
Securityofdevice-independentquantumkeydistribution protocols: a review
Ignatius W. Primaatmaja, Koon Tong Goh, Ernest Y.-Z. Tan, John T.-F. Khoo, Shouvik Ghorai,andCharlesC.-W.Lim.“Securityofdevice-independentquantumkeydistribution protocols: a review”. In:Quantum7 (Mar. 2023), p. 932.issn: 2521-327X.doi:10.22331/ q-2023-03-02-932
2023
-
[7]
Hidden Variables, Joint Probability, and the Bell Inequalities
Arthur Fine. “Hidden Variables, Joint Probability, and the Bell Inequalities”. In:Phys. Rev. Lett.48 (5 Feb. 1982), pp. 291–295.doi:10.1103/PhysRevLett.48.291
-
[8]
Quantum generalitazions of Bell’s inequality
B. S. Cirelson. “Quantum generalitazions of Bell’s inequality”. In:Lett. Math. Phys.4 (1980), pp. 93–100.doi:10.1007/BF00417500
-
[9]
Device-independent secure cor- relations in sequential quantum scenarios
Matteo Padovan, Alessandro Rezzi, and Lorenzo Coccia. “Device-independent secure cor- relations in sequential quantum scenarios”. In:Quantum10 (June 2026), p. 2131.issn: 2521-327X.doi:10.22331/q-2026-06-11-2131
-
[10]
Quantum bounds and device-independent security with rank-one qubit measurements
Lorenzo Coccia, Matteo Padovan, Andrea Pompermaier, Mattia Sabatini, Marco Avesani, Davide G. Marangon, Paolo Villoresi, and Giuseppe Vallone. “Quantum bounds and device-independent security with rank-one qubit measurements”. In:npj Quantum In- formation12.1 (Jan. 2026), p. 29.issn: 2056-6387.doi:10.1038/s41534-025-01175-x
-
[11]
Secure and robust randomness with sequential quantum measure- ments
Matteo Padovan, Giulio Foletto, Lorenzo Coccia, Marco Avesani, Paolo Villoresi, and Giuseppe Vallone. “Secure and robust randomness with sequential quantum measure- ments”. In:npj Quantum Information10.1 (Sept. 2024), p. 94.issn: 2056-6387.doi: 10.1038/s41534-024-00879-w
-
[12]
Experimental test of sequential weak measurements for certified quan- tum randomness extraction
Giulio Foletto, Matteo Padovan, Marco Avesani, Hamid Tebyanian, Paolo Villoresi, and Giuseppe Vallone. “Experimental test of sequential weak measurements for certified quan- tum randomness extraction”. In:Phys. Rev. A103 (6 June 2021), p. 062206.doi:10. 1103/PhysRevA.103.062206
2021
-
[13]
Maximal device-independent randomness in every dimension
Máté Farkas, Jurij Volčič, Sigurd A. L. Storgaard, Ranyiliu Chen, and Laura Mančinska. “Maximal device-independent randomness in every dimension”. In:Nature Physics22.2 (Feb. 2026), pp. 319–324.issn: 1745-2481.doi:10.1038/s41567-025-03141-y. 5 Conclusions and outlook 37
-
[14]
Optimal randomness certification from one entangled bit
Antonio Acín, Stefano Pironio, Tamás Vértesi, and Peter Wittek. “Optimal randomness certification from one entangled bit”. In:Phys. Rev. A93 (4 Apr. 2016), p. 040102.doi: 10.1103/PhysRevA.93.040102
-
[15]
2017.url:https://oqp.iqoqi.oeaw.ac.at/ (visited on 04/08/2026)
IQOQI Vienna.Open Quantum Problems. 2017.url:https://oqp.iqoqi.oeaw.ac.at/ (visited on 04/08/2026)
2017
-
[16]
QuantumanaloguesoftheBellinequalities.Thecaseoftwospatiallysep- arated domains
B.S.Tsirel’son.“QuantumanaloguesoftheBellinequalities.Thecaseoftwospatiallysep- arated domains”. In:J. Sov. Math.36.4 (1987), pp. 557–570.doi:10.1007/BF01663472
-
[17]
Masanes.Necessary and sufficient condition for quantum-generated correlations
Ll. Masanes.Necessary and sufficient condition for quantum-generated correlations. 2003. arXiv:quant-ph/0309137 [quant-ph]
Pith/arXiv arXiv 2003
-
[18]
Quantum Correlations in the Minimal Scenario
Thinh P. Le, Chiara Meroni, Bernd Sturmfels, Reinhard F. Werner, and Timo Ziegler. “Quantum Correlations in the Minimal Scenario”. In:Quantum7 (2023), p. 947.doi: 10.22331/q-2023-03-16-947. arXiv:2111.06270 [quant-ph]
-
[19]
Quantum statistics in the minimal Bell sce- nario
Victor Barizien and Jean-Daniel Bancal. “Quantum statistics in the minimal Bell sce- nario”. In:Nature Physics21.4 (Apr. 2025), pp. 577–582.issn: 1745-2481.doi:10.1038/ s41567-025-02782-3
2025
-
[20]
Extremal Tsirelson Inequalities
Victor Barizien and Jean-Daniel Bancal. “Extremal Tsirelson Inequalities”. In:Phys. Rev. Lett.133.1 (2024), p. 010201.doi:10.1103/PhysRevLett.133.010201. arXiv:2401. 12791 [quant-ph]
-
[21]
Custom Bell inequalities from formal sums of squares
Victor Barizien, Pavel Sekatski, and Jean-Daniel Bancal. “Custom Bell inequalities from formal sums of squares”. In:Quantum8 (May 2024), p. 1333.issn: 2521-327X.doi: 10.22331/q-2024-05-02-1333
-
[22]
Bounding the Set of Quantum Correlations
Miguel Navascués, Stefano Pironio, and Antonio Acín. “Bounding the Set of Quantum Correlations”. In:Physical Review Letters98.1 (Jan. 2007), p. 010401.doi:10 . 1103 / PhysRevLett.98.010401
2007
-
[23]
A convergent hierarchy of semidef- inite programs characterizing the set of quantum correlations
Miguel Navascués, Stefano Pironio, and Antonio Acín. “A convergent hierarchy of semidef- inite programs characterizing the set of quantum correlations”. In:New Journal of Physics 10.7 (July 2008), p. 073013.issn: 1367-2630.doi:10.1088/1367-2630/10/7/073013
-
[24]
Bounding large-scale Bell inequalities
Luke Mortimer. “Bounding large-scale Bell inequalities”. In:Phys. Rev. A111.5 (2025), p. 052442.doi:10.1103/PhysRevA.111.052442. arXiv:2412.08532 [quant-ph]
-
[25]
Noisy qudit vs multiple qubits: conditions on gate efficiency for enhancing fidelity
Nicolas Gigena, Ekta Panwar, Giovanni Scala, Mateus Araújo, Máté Farkas, and Anubhav Chaturvedi. “Self-testing tilted strategies for maximal loophole-free nonlocality”. In:npj Quantum Information11.1 (May 2025), p. 82.issn: 2056-6387.doi:10.1038/s41534- 025-01029-6
-
[26]
Marco Fanizza, Larissa Kroell, Arthur Mehta, Connor Paddock, Denis Rochette, William Slofstra, and Yuming Zhao.The NPA hierarchy does not always attain the commuting operator value. 2025. arXiv:2510.04943 [quant-ph]
arXiv 2025
-
[27]
Self- testing quantum systems of arbitrary local dimension with minimal number of mea- surements
Shubhayan Sarkar, Debashis Saha, Jedrzej Kaniewski, and Remigiusz Augusiak. “Self- testing quantum systems of arbitrary local dimension with minimal number of mea- surements”. In:npj Quantum Information7.1 (Oct. 2021), p. 151.issn: 2056-6387.doi: 10.1038/s41534-021-00490-3. 5 Conclusions and outlook 38
-
[28]
Exploring the Limits of Quantum Nonlocality with Entangled Photons
Bradley G. Christensen, Yeong-Cherng Liang, Nicolas Brunner, Nicolas Gisin, and Paul G. Kwiat. “Exploring the Limits of Quantum Nonlocality with Entangled Photons”. In: Phys. Rev. X5 (4 Dec. 2015), p. 041052.doi:10.1103/PhysRevX.5.041052
-
[29]
Tight Analytic Bound on the Trade- Off between Device-Independent Randomness and Nonlocality
Lewis Wooltorton, Peter Brown, and Roger Colbeck. “Tight Analytic Bound on the Trade- Off between Device-Independent Randomness and Nonlocality”. In:Phys. Rev. Lett.129 (15 Oct. 2022), p. 150403.doi:10.1103/PhysRevLett.129.150403
-
[30]
Bell inequalities: many questions, a few answers
Nicolas Gisin. “Bell inequalities: many questions, a few answers”. In: May 2007. arXiv: quant-ph/0702021
Pith/arXiv arXiv 2007
-
[31]
Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments
Armin Tavakoli, Máté Farkas, Denis Rosset, Jean-Daniel Bancal, and Jedrzej Kaniewski. “Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments”. In:Sci. Adv.7.7 (2021), abc3847.doi:10.1126/sciadv.abc3847. arXiv: 1912.03225 [quant-ph]
-
[32]
Bell Inequalities Tailored to Maximally Entangled States
Alexia Salavrakos, Remigiusz Augusiak, Jordi Tura, Peter Wittek, Antonio Acín, and Stefano Pironio. “Bell Inequalities Tailored to Maximally Entangled States”. In:Phys. Rev. Lett.119 (4 July 2017), p. 040402.doi:10.1103/PhysRevLett.119.040402
-
[33]
An Operator- Algebraic Formulation of Self-testing
Connor Paddock, William Slofstra, Yuming Zhao, and Yangchen Zhou. “An Operator- Algebraic Formulation of Self-testing”. In:Annales Henri Poincare25.10 (2024), pp. 4283– 4319.doi:10.1007/s00023-023-01378-y. arXiv:2301.11291 [quant-ph]
-
[34]
CédricBampsandStefanoPironio.“Sum-of-squaresdecompositionsforafamilyofClauser- Horne-Shimony-Holt-like inequalities and their application to self-testing”. In:Phys. Rev. A91 (5 May 2015), p. 052111.doi:10.1103/PhysRevA.91.052111
-
[35]
Self-testing properties of Gisin’s elegant Bell inequality
Ole Andersson, Piotr Badziąg, Ingemar Bengtsson, Irina Dumitru, and Adán Cabello. “Self-testing properties of Gisin’s elegant Bell inequality”. In:Phys. Rev. A96 (3 Sept. 2017), p. 032119.doi:10.1103/PhysRevA.96.032119
-
[36]
Reinhold A. Bertlmann and Philipp Krammer. “Bloch vectors for qudits”. In:J. Phys. A 41.23 (2008), p. 235303.doi:10.1088/1751- 8113/41/23/235303. arXiv:0806.1174 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1751- 2008
-
[37]
Daniel McNulty and Stefan Weigert. “Mutually Unbiased Bases in Composite Dimensions – A Review”. In:Quantum10 (Apr. 2026), p. 2051.issn: 2521-327X.doi:10.22331/q- 2026-04-01-2051
work page doi:10.22331/q- 2026
-
[38]
Bell inequalities for arbitrarily high dimensional systems
Daniel Collins, Nicolas Gisin, Noah Linden, Serge Massar, and Sandu Popescu. “Bell Inequalities for Arbitrarily High-Dimensional Systems”. In:Phys. Rev. Lett.88.4 (2002), p. 040404.doi:10.1103/PhysRevLett.88.040404. arXiv:quant-ph/0106024
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.88.040404 2002
-
[39]
Scalable Bell Inequalities for Qubit Graph States and Robust Self-Testing
F. Baccari, R. Augusiak, I. Šupić, J. Tura, and A. Acín. “Scalable Bell Inequalities for Qubit Graph States and Robust Self-Testing”. In:Phys. Rev. Lett.124.2 (2020), p. 020402. doi:10.1103/PhysRevLett.124.020402. arXiv:1812.10428 [quant-ph]
-
[40]
Topological fault-tolerance in cluster state quantum computation
Rafael Santos, Debashis Saha, Flavio Baccari, and Remigiusz Augusiak. “Scalable Bell inequalities for graph states of arbitrary prime local dimension and self-testing”. In:New J. Phys.25.6 (2023), p. 063018.doi:10.1088/1367- 2630/acd9e3. arXiv:2212.07133 [quant-ph]. A Linearly dependent qubit strategies39
-
[41]
Self-testing maximally-dimensional gen- uinely entangled subspaces within the stabilizer formalism
Owidiusz Makuta and Remigiusz Augusiak. “Self-testing maximally-dimensional gen- uinely entangled subspaces within the stabilizer formalism”. In:New J. Phys.23 (2021), p. 043042.doi:10.1088/1367-2630/abee40. arXiv:2012.01164 [quant-ph]. A Linearly dependent qubit strategies In this appendix, we investigate the effect of linear dependencies among Alice’s o...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.