We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C*-algebras. Connes' embedding problem asks whether any separable II [12pt]{minimal}{document}₁{document}1 factor is a subfactor of the ultrapower of the hyperfinite II [12pt]{minimal}{document}₁{document}1 factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely, a positive answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.
No takes yet. Share an insight, caveat, or question.
Junge et al. (2011) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: