We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Operator Algebras

Title: The Connes Embedding Problem: A guided tour

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 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 C*-algebra theory and Tsirelson's problem in quantum information theory and a second that uses basic ideas from logic.
Comments: 74 pages. First draft. Comments very, very welcome (and very much appreciated)
Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)
Cite as: arXiv:2109.12682 [math.OA]
  (or arXiv:2109.12682v1 [math.OA] for this version)

Submission history

From: Isaac Goldbring [view email]
[v1] Sun, 26 Sep 2021 19:45:36 GMT (70kb)

Link back to: arXiv, form interface, contact.