The Connes embedding problem: a guided tour
From MaRDI portal
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 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 . In these notes, we introduce all of the background material necessary to understand the proof of the negative solution of the CEP from . 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.
Recommendations
Cites work
- C^*-algebras and finite-dimensional approximations
- A continuum of \(C^\ast\)-norms on \(\mathbb{B}(H)\otimes\mathbb{B}(H)\) and related tensor products
- A course in abstract harmonic analysis
- A mathematical introduction to logic.
- A positivstellensatz for non-commutative polynomials
- A proof of completeness for continuous first-order logic
- A synchronous game for binary constraint systems
- About the Connes embedding conjecture
- ABOUT THE QWEP CONJECTURE
- Amenability, tubularity, and embeddings into \(\mathcal{R}^{\omega}\)
- Bilinear forms on exact operator spaces and B(H) B(H)
- Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
- Can you compute the operator norm?
- Classification of injective factors. Cases \(\mathrm{II}_1\), \(\mathrm{II}_\infty\), \(\mathrm{III}_\lambda\), \(\lambda\neq 1\)
- Computability and the Connes embedding problem
- Computational Complexity
- Connes' embedding conjecture and sums of Hermitian squares
- Connes' embedding problem and Tsirelson's problem
- Enforceable operator algebras
- Estimating quantum chromatic numbers
- Existentially closed \(\mathrm{ II}_1\) factors
- FREE ENTROPY
- Free products of completely positive maps and spectral sets
- Further thoughts on definability in the Urysohn sphere
- Generic orbits and type isolation in the Gurarij space
- Generic separable metric structures
- scientific article; zbMATH DE number 5975294 (Why is no real title available?)
- scientific article; zbMATH DE number 515467 (Why is no real title available?)
- scientific article; zbMATH DE number 672484 (Why is no real title available?)
- Introduction to sofic and hyperlinear groups and Connes' embedding conjecture. With an appendix by Vladimir Pestov
- IP = PSPACE
- Model theory for metric structures
- Model theory of operator algebras. II: Model theory
- Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
- Non-deterministic exponential time has two-prover interactive protocols
- On non-semisplit extensions, tensor products and exactness of group C^*-algebras
- On ordered fields and definite functions
- On ultraproduct embeddings and amenability for tracial von Neumann algebras
- Quantum proofs
- Quantum Theory for Mathematicians
- Tensor products of C^*-algebras and operator spaces. The Connes-Kirchberg problem
- The set of quantum correlations is not closed
- The theory of tracial von Neumann algebras does not have a model companion
- The von Neumann algebra of the non-residually finite Baumslag group \(\langle a,b| ab^3 a^{-1}=b^2\rangle\) embeds into \(R^{\omega}\)
- Theory of operator algebras. II
- Tsirelson's problem and Kirchberg's conjecture
- Ultrafilters Throughout Mathematics
- Ultraproducts, QWEP von Neumann algebras, and the Effros-Maréchal topology
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Cited in
(24)- Convex sets associated with von Neumann algebras and Connes' approximate embedding problem
- On Kirchberg's embedding problem
- An asymptotic property of factorizable completely positive maps and the Connes embedding problem
- About the Connes embedding conjecture
- Cyclic Hilbert spaces and Connes' embedding problem
- On ultraproduct embeddings and amenability for tracial von Neumann algebras
- From operator algebras to complexity theory and back
- A non-commutative unitary analogue of Kirchberg's conjecture
- R we living in the matrix?
- Computability and the Connes embedding problem
- scientific article; zbMATH DE number 2207653 (Why is no real title available?)
- Non-embeddable \(\mathrm{II}_1\) factors resembling the hyperfinite \(\mathrm{II}_1\) factor
- Model theory and ultrapower embedding problems in operator algebras
- A Characterization of Perfect Strategies for Mirror Games
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- Exposé Bourbaki 1203 : Algèbres de von Neumann, produits tensoriels, corrélations quantiques et calculabilité [d'après Ji, Natarajan, Vidick, Wright et Yuen]
- A note on moments in finite von Neumann algebras
- An elementary proof of the inequality \(\chi \leq \chi^\ast\) for conditional free entropy
- Locally universal C*-algebras with computable presentations
- Two convergent NPA-like hierarchies for the quantum bilocal scenario
- Undecidability and incompleteness in quantum information theory and operator algebras
- Computably strongly self-absorbing \(\mathrm{C}^*\)-algebras
- Absolutely dilatable bimodule maps
- A linearization of Connes' embedding problem
This page was built for publication: The Connes embedding problem: a guided tour
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5868652)
