Related papers: The Connes Embedding Problem: A guided tour

The Connes Embedding Problem (CEP) asks whether every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor. We show that the CEP is equivalent to the computability of the universal theory of every type II_1 von…

The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\cal O_2$. Motivated by the recent refutation of the Connes Embedding Problem using the quantum complexity result MIP*=RE, we…

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.…

The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes…

Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local…

We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem…

The landmark quantum complexity result MIP$^*$=RE was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used to give a negative solution to the Aldous-Lyons conjecture: there is…

A II_1 factor embeds into the ultraproduct of the hyperfinite II_1 factor if and only if it satisfies the W*-analogue of Lance's weak expectation property. This note gives a self contained proof of this fact.

We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes Embedding Problem is self-tracially stable if and only if it is amenable. We then generalize a…

We show that Connes' embedding problem for II_1-factors is equivalent to a statement about distributions of sums of self-adjoint operators with matrix coefficients. This is an application of a linearization result for finite von Neumann…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

We survey a number of incompleteness results in operator algebras stemming from the recent undecidability result in quantum complexity theory known as $\operatorname{MIP}^*=\operatorname{RE}$, the most prominent of which is the G\"odelian…

In this paper, we prove that if $\mathcal{A}$ is a unital separable $C^*$-algebra, $\mathcal{M}$ is a von Neumann algebra which has the Kirchberg's quotient weak expectation property (QWEP), and $\phi:\, \mathcal{A}\rightarrow \mathcal{M}$…

We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding…

For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

This is an expanded lecture note for "Masterclass on sofic groups and applications to operator algebras" (University of Copenhagen, 5-9 November 2012). It is about algebraic aspects of the Connes Embedding Conjecture. It contains new proofs…

We show that there exists a completely bounded (c.b. in short) homomorphism $u$ from a $C^*$-algebra $C$ with the lifting property (in short LP) into a QWEP von Neumann algebra $N$ that is not strongly similar to a $*$-homomorphism, i.e.…

We show that Connes' embedding problem is equivalent to the weak Tsirelson problem in the setting of two-outcome synchronous correlation sets. We further show that the extreme points of two-outcome synchronous correlation sets can be…

We show that Connes' embedding conjecture (CEC) is equivalent to a real version of the same (RCEC). Moreover, we show that RCEC is equivalent to a real, purely algebraic statement concerning trace positive polynomials. This purely algebraic…