Answers are grounded in this paper and cite their sources.
The Navascués--Pironio--Acín (NPA) hierarchy gives the standard semidefinite outer approximations to quantum behaviors. Whether any finite level can already equal the quantum set has remained open even in the bipartite scenario with two binary measurements per party. We demonstrate that no finite level is exact. For the symmetric doubly tilted CHSH functional h_α=A₀B₀+A₀B₁+A₁B₀-A₁B₁+α(A₀+B₀), set $T=1-α$. Its quantum maximum satisfies [ωQ(1-T)-(4-2T)]/T³→4/3, whereas every fixed NPA level satisfies [ωL(1-T)-ωQ(1-T)]/T³→+∞. Under the corresponding boundary rescaling, an explicit expectation of the positive operator ωQ(1-t²)I-Hₜ converges to the Motzkin polynomial. A bounded fixed-level error would therefore make the Motzkin polynomial plus a nonnegative constant a sum of squares, which is impossible. Consequently, every standard NPA relaxation based on a fixed finite list of words in the measurement projectors strictly contains the complete quantum set, and its nonquantum behaviors accumulate at a local deterministic behavior. Thus, the finite-level exactness of CHSH and all one-sided tilted CHSH maxima does not extend to an exact finite-level description of the complete quantum set in the minimal scenario.
No takes yet. Share an insight, caveat, or question.
Anubhav Chaturvedi (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: