The Connes embedding problem: A guided tour

Goldbring, Isaac

doi:10.1090/bull/1768

The Connes embedding problem: A guided tour
HTML articles powered by AMS MathViewer

by Isaac Goldbring HTML | PDF

Bull. Amer. Math. Soc. 59 (2022), 503-560 Request permission

Abstract:

The Connes embedding problem (CEP) is a problem in the theory of tracial von Neumann algebras and asks whether or not every tracial von Neumann algebra embeds into an ultrapower of the hyperfinite II$_1$ factor. The CEP has had interactions with a wide variety of areas of mathematics, including $\mathrm {C}^*$-algebra theory, geometric group theory, free probability, and noncommutative real algebraic geometry, to name a few. After remaining open for over 40 years, a negative solution was recently obtained as a corollary of a landmark result in quantum complexity theory known as $\operatorname {MIP}^*=\operatorname {RE}$. In these notes, we introduce all of the background material necessary to understand the proof of the negative solution of the CEP from $\operatorname {MIP}^*=\operatorname {RE}$. In fact, we outline two such proofs, one following the “traditional” route that goes via Kirchberg’s QWEP problem in $\mathrm {C}^*$-algebra theory and Tsirelson’s problem in quantum information theory and a second that uses basic ideas from logic.

References

Hiroshi Ando, Uffe Haagerup, and Carl Winsløw, Ultraproducts, QWEP von Neumann algebras, and the Effros-Maréchal topology, J. Reine Angew. Math. 715 (2016), 231–250. MR 3507925, DOI 10.1515/crelle-2014-0005
Emil Artin, Über die Zerlegung definiter Funktionen in Quadrate, Abh. Math. Sem. Univ. Hamburg 5 (1927), no. 1, 100–115 (German). MR 3069468, DOI 10.1007/BF02952513
Sanjeev Arora and Boaz Barak, Computational complexity, Cambridge University Press, Cambridge, 2009. A modern approach. MR 2500087, DOI 10.1017/CBO9780511804090
Scott Atkinson and Srivatsav Kunnawalkam Elayavalli, On ultraproduct embeddings and amenability for tracial von Neumann algebras, Int. Math. Res. Not. IMRN 4 (2021), 2882–2918. MR 4218341, DOI 10.1093/imrn/rnaa257
László Babai, Lance Fortnow, and Carsten Lund, Nondeterministic exponential time has two-prover interactive protocols, Comput. Complexity 1 (1991), no. 1, 3–40. MR 1113533, DOI 10.1007/BF01200056
Jeffrey A. Barrett, The conceptual foundations of quantum mechanics, Oxford University Press, Oxford, 2019. MR 4206568, DOI 10.1093/oso/9780198844686.001.0001
J. S. Bell, On the Einstein Podolsky Rosen paradox, Phys. Phys. Fiz. 1 (1964), no. 3, 195–200. MR 3790629, DOI 10.1103/PhysicsPhysiqueFizika.1.195
Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov, Model theory for metric structures, Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, pp. 315–427. MR 2436146, DOI 10.1017/CBO9780511735219.011
Itaï Ben Yaacov and C. Ward Henson, Generic orbits and type isolation in the Gurarij space, Fund. Math. 237 (2017), no. 1, 47–82. MR 3606398, DOI 10.4064/fm193-3-2016
Itaï Ben Yaacov and Arthur Paul Pedersen, A proof of completeness for continuous first-order logic, J. Symbolic Logic 75 (2010), no. 1, 168–190. MR 2605887, DOI 10.2178/jsl/1264433914
Florin Boca, Free products of completely positive maps and spectral sets, J. Funct. Anal. 97 (1991), no. 2, 251–263. MR 1111181, DOI 10.1016/0022-1236(91)90001-L
Nathanial P. Brown and Narutaka Ozawa, $C^*$-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008. MR 2391387, DOI 10.1090/gsm/088
Valerio Capraro and Martino Lupini, Introduction to sofic and hyperlinear groups and Connes’ embedding conjecture, Lecture Notes in Mathematics, vol. 2136, Springer, Cham, 2015. With an appendix by Vladimir Pestov. MR 3408561, DOI 10.1007/978-3-319-19333-5
R. Cleve, P. Hoyer, B. Toner, and J. Watrous, Consequences and limits of nonlocal strategies, CCC ’04 Proceedings of the 19th IEEE Annual Conference on Computational Complexity (2004), 236–249.
A. Connes, Classification of injective factors. Cases $II_{1},$ $II_{\infty },$ $III_{\lambda },$ $\lambda \not =1$, Ann. of Math. (2) 104 (1976), no. 1, 73–115. MR 454659, DOI 10.2307/1971057
Andrew C. Doherty, Yeong-Cherng Liang, Ben Toner, and Stephanie Wehner, The quantum moment problem and bounds on entangled multi-prover games, Twenty-Third Annual IEEE Conference on Computational Complexity, IEEE Computer Soc., Los Alamitos, CA, 2008, pp. 199–210. MR 2513501, DOI 10.1109/CCC.2008.26
A. Einstein, B. Podolsky, and N. Rosen, Can quantum-mechanical desciption of physical reality be considered complete?, Physical Review 47 (1935), 777–780.
Herbert B. Enderton, A mathematical introduction to logic, 2nd ed., Harcourt/Academic Press, Burlington, MA, 2001. MR 1801397
Ilijas Farah, Isaac Goldbring, Bradd Hart, and David Sherman, Existentially closed $\textrm {II}_1$ factors, Fund. Math. 233 (2016), no. 2, 173–196. MR 3466004, DOI 10.4064/fm126-12-2015
Ilijas Farah, Bradd Hart, and David Sherman, Model theory of operator algebras II: model theory, Israel J. Math. 201 (2014), no. 1, 477–505. MR 3265292, DOI 10.1007/s11856-014-1046-7
Ilijas Farah, Bradd Hart, and David Sherman, Model theory of operator algebras III: elementary equivalence and $\rm II_1$ factors, Bull. Lond. Math. Soc. 46 (2014), no. 3, 609–628. MR 3210717, DOI 10.1112/blms/bdu012
Gerald B. Folland, A course in abstract harmonic analysis, 2nd ed., Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2016. MR 3444405, DOI 10.1201/b19172
Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan, Algebraic methods for interactive proof systems, 31st Annual Symposium on Foundations of Computer Science, Vol. I, II (St. Louis, MO, 1990) IEEE Comput. Soc. Press, Los Alamitos, CA, 1990, pp. 2–10. MR 1150685, DOI 10.1109/FSCS.1990.89518
Tobias Fritz, Tsirelson’s problem and Kirchberg’s conjecture, Rev. Math. Phys. 24 (2012), no. 5, 1250012, 67. MR 2928100, DOI 10.1142/S0129055X12500122
Tobias Fritz, Tim Netzer, and Andreas Thom, Can you compute the operator norm?, Proc. Amer. Math. Soc. 142 (2014), no. 12, 4265–4276. MR 3266994, DOI 10.1090/S0002-9939-2014-12170-8
Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38 (1931), no. 1, 173–198 (German). MR 1549910, DOI 10.1007/BF01700692
I. Goldbring, Ultrafilters throughout mathematics, Graduate Studies in Mathematics, vol. 220, American Mathematical Society, Providence, RI, 2022.
I. Goldbring, Spectral gap and definability, Beyond First Order Model Theory, Volume 2, (to appear).
Isaac Goldbring, Enforceable operator algebras, J. Inst. Math. Jussieu 20 (2021), no. 1, 31–63. MR 4205777, DOI 10.1017/S1474748019000112
I. Goldbring, Nonembeddable II$_1$ factors resembling the hyperfinite II$_1$ factor, Journal of Noncommutative Geometry (to appear).
Isaac Goldbring and Bradd Hart, Computability and the Connes embedding problem, Bull. Symb. Log. 22 (2016), no. 2, 238–248. MR 3532694, DOI 10.1017/bsl.2016.5
I. Goldbring and B. Hart, The universal theory of the hyperfinite II$_1$ factor is not computable, Preprint, arXiv:2006.05629, 2020.
Isaac Goldbring, Bradd Hart, and Thomas Sinclair, The theory of tracial von Neumann algebras does not have a model companion, J. Symbolic Logic 78 (2013), no. 3, 1000–1004. MR 3135510, DOI 10.2178/jsl.7803170
I. Goldbring, S. Kunnmawalkam Elayavalli, and Y. Lodha, Generic properties in spaces of enumerated groups (manuscript in preparation).
Brian C. Hall, Quantum theory for mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, New York, 2013. MR 3112817, DOI 10.1007/978-1-4614-7116-5
J. William Helton and Scott A. McCullough, A Positivstellensatz for non-commutative polynomials, Trans. Amer. Math. Soc. 356 (2004), no. 9, 3721–3737. MR 2055751, DOI 10.1090/S0002-9947-04-03433-6
Wilfrid Hodges, Building models by games, London Mathematical Society Student Texts, vol. 2, Cambridge University Press, Cambridge, 1985. MR 812274
Tsuyoshi Ito and Thomas Vidick, A multi-prover interactive proof for NEXP sound against entangled provers, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science—FOCS 2012, IEEE Computer Soc., Los Alamitos, CA, 2012, pp. 243–252. MR 3186611
Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen, MIP* = RE, Preprint, arXiv:2001.04383, 2021.
Kenley Jung, Amenability, tubularity, and embeddings into $\scr R^\omega$, Math. Ann. 338 (2007), no. 1, 241–248. MR 2295511, DOI 10.1007/s00208-006-0074-y
M. Junge, M. Navascues, C. Palazuelos, D. Perez-Garcia, V. B. Scholz, and R. F. Werner, Connes embedding problem and Tsirelson’s problem, J. Math. Phys. 52 (2011), no. 1, 012102, 12. MR 2790067, DOI 10.1063/1.3514538
M. Junge and G. Pisier, Bilinear forms on exact operator spaces and $B(H)\otimes B(H)$, Geom. Funct. Anal. 5 (1995), no. 2, 329–363. MR 1334870, DOI 10.1007/BF01895670
Se-Jin Kim, Vern Paulsen, and Christopher Schafhauser, A synchronous game for binary constraint systems, J. Math. Phys. 59 (2018), no. 3, 032201, 17. MR 3776034, DOI 10.1063/1.4996867
Eberhard Kirchberg, On nonsemisplit extensions, tensor products and exactness of group $C^*$-algebras, Invent. Math. 112 (1993), no. 3, 449–489. MR 1218321, DOI 10.1007/BF01232444
Igor Klep and Markus Schweighofer, Connes’ embedding conjecture and sums of Hermitian squares, Adv. Math. 217 (2008), no. 4, 1816–1837. MR 2382741, DOI 10.1016/j.aim.2007.09.016
A. Natarajan and J. Wright, $\operatorname {NEEXP}\subseteq \operatorname {MIP}^*$, Preprint, arXiv:1904.05870v3, 2019. *18pt
Narutaka Ozawa, About the Connes embedding conjecture: algebraic approaches, Jpn. J. Math. 8 (2013), no. 1, 147–183. MR 3067294, DOI 10.1007/s11537-013-1280-5
Narutaka Ozawa, About the QWEP conjecture, Internat. J. Math. 15 (2004), no. 5, 501–530. MR 2072092, DOI 10.1142/S0129167X04002417
Narutaka Ozawa and Gilles Pisier, A continuum of $\rm C^*$-norms on $\Bbb {B}(H)\otimes \Bbb {B}(H)$ and related tensor products, Glasg. Math. J. 58 (2016), no. 2, 433–443. MR 3483590, DOI 10.1017/S0017089515000257
V. Paulsen, Entanglement and nonlocality, Lecture notes available at https://www.math.uwaterloo.ca/~vpaulsen/EntanglementandNonlocality_LectureNotes_7.pdf
Vern I. Paulsen, Simone Severini, Daniel Stahlke, Ivan G. Todorov, and Andreas Winter, Estimating quantum chromatic numbers, J. Funct. Anal. 270 (2016), no. 6, 2188–2222. MR 3460238, DOI 10.1016/j.jfa.2016.01.010
Gilles Pisier, Tensor products of $C^*$-algebras and operator spaces—the Connes-Kirchberg problem, London Mathematical Society Student Texts, vol. 96, Cambridge University Press, Cambridge, 2020. MR 4283471, DOI 10.1017/9781108782081
Florin Rădulescu, The von Neumann algebra of the non-residually finite Baumslag group $\langle a,b|ab^3a^{-1}=b^2\rangle$ embeds into $R^\omega$, Hot topics in operator theory, Theta Ser. Adv. Math., vol. 9, Theta, Bucharest, 2008, pp. 173–185. MR 2436761
Abraham Robinson, On ordered fields and definite functions, Math. Ann. 130 (1955), 275–271. MR 75932, DOI 10.1007/BF01343896
Adi Shamir, IP = PSPACE, J. Assoc. Comput. Mach. 39 (1992), no. 4, 869–877. MR 1187216, DOI 10.1145/146585.146609
William Slofstra, The set of quantum correlations is not closed, Forum Math. Pi 7 (2019), e1, 41. MR 3898717, DOI 10.1017/fmp.2018.3
R. Speicher, Lectures notes on “Free probability”, arXiv:1908.08125, 2019.
M. Takesaki, Theory of operator algebras. II, Encyclopaedia of Mathematical Sciences, vol. 125, Springer-Verlag, Berlin, 2003. Operator Algebras and Non-commutative Geometry, 6. MR 1943006, DOI 10.1007/978-3-662-10451-4
B. S. Tsirelson, Some results and problems on quantum Bell-type inequalities, Hadronic J. Suppl. 8 (1993), no. 4, 329–345. MR 1254597
B. Tsirelson, Bell inequalities and operator algebras, available at https://www.tau.ac.il/~tsirel/download/bellopalg.pdf.
Alexander Usvyatsov, Generic separable metric structures, Topology Appl. 155 (2008), no. 14, 1607–1617. MR 2435152, DOI 10.1016/j.topol.2007.08.023
Thomas Vidick and John Watrous, Quantum proofs, Found. Trends Theor. Comput. Sci. 11 (2015), no. 1-2, 1–215. MR 3499154, DOI 10.1561/0400000068
Dan Voiculescu, Free entropy, Bull. London Math. Soc. 34 (2002), no. 3, 257–278. MR 1887698, DOI 10.1112/S0024609301008992