Related papers: Quantifier elimination in II$_1$ factors
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which there are several implementations available. The quantifier…
The groups distinguish their von Neumann algebras, in the case when these are factors.
A famous question of Halmos asks whether every operator on a separable infinite-dimensional Hilbert space is a norm limit of reducible operators. In [30], Voiculescu gave this problem an affirmative answer by his remarkable non-commutative…
All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is…
We will argue in this paper that the type classification of v.Neumann algebras play an important role in a theory of quantum gravity and quantum space-time physics. We provide arguments that type $II_{\infty}$ and its representation as a…
We initiate the study of annihilators in C*-algebras, showing that they are, in many ways, the best C*-algebra analogs of projections in von Neumann algebras. Using them, we obtain a type decomposition for arbitrary C*-algebras that is…
We study qualitative properties of the group von Neumann algebra of a Baumslag-Solitar group. Namely, we prove that, in the non-amenable and {ICC} case, the associated ${\rm II}_1$ factor is prime, not solid, and does not have any Cartan…
Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor…
Building on results of Haagerup and Schultz, we decompose an arbitrary operator in a diffuse, finite von Neumann algebra into the sum of a normal operator and an s.o.t.-quasinilpotent operator. We also prove an analogue of Weyl's inequality…
We provide a class of separable II$_1$ factors $M$ whose central sequence algebra is not the "tail" algebra associated to any decreasing sequence of von Neumann subalgebras of $M$. This settles a question of McDuff \cite{Mc69d}.
We prove a basic result about tensor products of a $\text{II}_1$ factor with a finite von Neumann algebra and use it to answer, affirmatively, a question asked by S. Popa about maximal injective factors.
The C*-algebra of bounded operators on the separable infinite-dimensional Hilbert space cannot be mapped to a W*-algebra in such a way that each unital commutative C*-subalgebra C(X) factors normally through $\ell^\infty(X)$. Consequently,…
We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…
The paper offers an argument against an intuitive reading of the Stone-von Neumann theorem as a categoricity result, thereby pointing out that, against what is usually taken to be the case, this theorem does not entail any model-theoretical…
We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory…
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…
In the paper, we study the generator problem of II$_1$ factors. By defining a new concept related to the number of generators of a von Neumann algebra, we are able to show that a large class of II$_1$ factors are singly generated, i.e.,…
We show that the second cohomology group $H^2(M\overline\otimes N, M\overline\otimes N)$ is always zero for arbitrary type II$_1$ von Neumann algebras $M$ and $N$.
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…
Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and…