Related papers: The Connes Embedding Problem: A guided tour

We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial…

For $p,q\in [1,\infty)$, we study the isomorphism problem for the $p$- and $q$-convolution algebras associated to locally compact groups. While it is well known that not every group can be recovered from its group von Neumann algebra, we…

We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds…

We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is…

The subalgebra membership problem is the problem of deciding if a given element belongs to an algebra given by a set of generators. This is one of the best established computational problems in algebra. We consider a variant of this…

We give a modification of I. Klep and M. Schweighofer algebraic reformulation of Connes' embedding problem by considering *-algebra of the countably generated free group. This allows to consider only quadratic polynomials in unitary…

This is a detailed survey on the QWEP conjecture and Connes' embedding problem. Most of contents are taken from Kirchberg's paper [Invent. Math. 112 (1993)].

The $C^{\ast}$-algebra $\mathcal{U}_{nc}(n)$ is the universal $C^{\ast}$-algebra generated by $n^2$ generators $u_{ij}$ that make up a unitary matrix. We prove that Kirchberg's formulation of Connes' embedding problem has a positive answer…

The longstanding nonnegative inverse eigenvalue problem (NIEP) is to determine which multisets of complex numbers occur as the spectrum of an entry-wise nonnegative matrix. Although there are some well-known necessary conditions, a solution…

A classic theorem of T. Ando characterises operators that have numerical radius at most one as operators that admit a certain positive 2x2 operator matrix completion. In this paper we consider variants of Ando's theorem, in which the…

More precisely, we give a simple and very short proof of "the Connes embedding problem implies the synchronous Tsirelson conjecture" that relies on only two elementary ingredients: 1) the well-known description of synchronous correlations…

In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also…

We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric…

Relations among von Neumann entropies of different parts of an $N$-partite quantum system have direct impact on our understanding of diverse situations ranging from spin systems to quantum coding theory and black holes. Best formulated in…

We introduce "embedding dimensions" of a family of generators of a finite von Neumann algebra when the von Neumann algebra can be faithfully embedded into the ultrapower of the hyperfinite II$_1$ factor. These embedding dimensions are von…

Let $M$ be a $II_1$-factor with trace $\tau$, the linear subspaces of $L^2(M,\tau)$ are not just common Hilbert spaces, but they have additional structure. We introduce the notion of a cyclic linear space by taking those properties as…

We prove a non-commutative version of the Hilbert's 17th problem, giving a characterization of the class of non-commutative polynomials in n-undeterminates that have positive trace when evaluated in n-selfadjoint elements in arbitrary II1…

We show that any II$_1$ factor that has the same 4-quantifier theory as the hyperfinite II$_1$ factor $\mathcal{R}$ satisfies the conclusion of the Popa Factorial Commutant Embedding Problem (FCEP) and has the Brown property. These results…

We say that a $C^*$-algebra $\mathcal{A}$ satisfies the similarity property ((SP)) if every bounded homomorphism $u\colon \mathcal{A} \to \mathcal{B}(\mathit{H})$, where $\mathit{H}$ is a Hilbert space, is similar to a $*$-homomorphism. We…

We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies…