Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras

Abstract

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal{N}$ is never model complete if its direct integral decomposition contains ${\mathrm{II}}_1$ factors $\mathcal{M}$ such that $M_2(\mathcal{M})$ embeds into an ultrapower of $\mathcal{M}$. The proof in the case of ${\mathrm{II}}_1$ factors uses an explicit construction based on random matrices and quantum expanders.

31 pages; v2 shortened and edited

References in corpus (10)

• Random Unitaries Give Quantum Expanders
• Continuous first order logic and local stability
• Model theory of operator algebras III: Elementary equivalence and II_1 factors
• Model theory of operator algebras I: Stability
• On theories of random variables
• Unitary and orthogonal equivalence of sets of matrices
• W*-rigidity paradigms for embeddings of II${}_1$ factors
• Strong asymptotic freeness for independent uniform variables on compact groups associated to non-trivial representations
• Preservation of elementarity by tensor products of tracial von Neumann algebras
• Elementary equivalence and disintegration of tracial von Neumann algebras