Related papers: Quantum Expanders and Quantifier Reduction for Tra…
No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.
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…
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 survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$…
We show that when $M,N_{1},N_{2}$ are tracial von Neumann algebras with $M'\cap M^{\omega}$ abelian, $M'\cap(M\bar{\otimes}N_{1})^{\omega}$ and $M'\cap(M\bar{\otimes}N_{2})^{\omega}$ commute in…
We study conjugacy orbits of certain types of subalgebras in tracial von Neumann algebras. For any separable II$_1$ factor $N_0$ we construct a highly indecomposable non Gamma II$_1$ factor $N$ such that $N_0 \subset N$ and moreover every…
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…
The theory of direct integral decompositions of both bounded and unbounded operators is further developed; in particular, results about spectral projections, functional calculus and affiliation to von Neumann algebras are proved. For…
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
Let $M$ be a von Neumann algebra equipped with a normal semi-finite faithful trace (nsf trace in short) and let $T\colon M\to M$ be a contraction. We say that $T$ is absolutely dilatable if there exist another von Neumann algebra $M'$…
Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann…
We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification…
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
Suppose F is a finite set of selfadjoint elements in a tracial von Neumann algebra M. For $\alpha >0$, F is $\alpha$-bounded if the free packing $\alpha$-entropy of F is bounded from above. We say that M is strongly 1-bounded if M has a…
Results of Haagerup and Schultz (2009) about existence of invariant subspaces that decompose the Brown measure are extended to a large class of unbounded operators affiliated to a tracial von Neumann algebra. These subspaces are used to…
We prove that any separable II$_1$ factor $M$ admits a {\it coarse decomposition} over the hyperfinite II$_1$ factor $R$, i.e., there exists an embedding $R\hookrightarrow M$ such that $L^2M\ominus L^2R$ is a multiple of the coarse Hilbert…
This paper is concerned with derivations in algebras of (unbounded) operators affiliated with a von Neumann algebra $\mathcal{M}$. Let $\mathcal{% A}$ be one of the algebras of measurable operators, locally measurable operators or, $\tau…
We study the von Neumann algebra generated by q--deformed Gaussian elements l_i+l_i^* where operators l_i fulfill the q--deformed canonical commutation relations l_i l_j^*-q l_j^* l_i=delta_{ij} for -1<q<1. We show that if the number of…
A reduction formula for compressions of von Neumann algebras arising as free products is proved. This shows that the fundamental group is all of the positive reals for some such algebras. Additionally, by taking a sort of free product with…
One of von Neumann's motivations for developing the theory of operator algebras and his and Murray's 1936 classification of factors was the question of possible decompositions of quantum systems into independent parts. For quantum systems…