Related papers: Quantifier elimination in II$_1$ factors

In this paper we solve a question of Simon Wassermann, whether the Calkin algebra can be written as a C*-tensor product of two infinite dimensional C*-algebras. More generally we show that there is no surjective *-homomorphism from a…

It is shown that each linear operator on a separable Hilbert space which generates a finite type I von Neumann algebra has, up to unitary equivalence, a unique representation as a direct integral of inflations of mutually unitary…

In this paper, we study the structure of operators in a type $\mathrm{I}_{n}$ von Neumann algebra $\mathscr{A}$. Inspired by the Jordan canonical form theorem, our main motivation is to figure out the relation between the structure of an…

A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using…

We define a new $q$-deformation of Brauer's centralizer algebra which contains Hecke algebras of type $A$ as unital subalgebras. We determine its generic structure as well as the structure of certain semisimple quotients. This is expected…

We present here a shorter version of the proof of a result from our paper ``On a class of type II$_1$ factors with Betti numbers invariants'', showing that the von Neumann factor associated with the group $\Bbb Z^2 \rtimes SL(2, \Bbb Z)$…

Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…

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…

In this paper we examine an inverse problem in the modular theory of von Neumann algebras in the case of finite factors. First we give a characterization of cyclic and separating vectors for finite factors in terms of operators associated…

Given a pair of dynamical systems we consider a pair of commuting von Neumann factors of type 11_1. The construction is a generalization of classical von Neumann-Murrey and grouppoid construction. It gives a natural examples of factors with…

Tensoring with type I algebras preserves elementary equivalence in the category of tracial von Neumann algebras. The proof involves a novel and general Feferman--Vaught-type theorem for direct integrals of metric structures.

For a specific exactly solvable 2 by 2 matrix model with a PT-symmetric Hamiltonian possessing a real spectrum, we construct all the eligible physical metrics and show that none of them admits a factorization CP in terms of an involutive…

Arbitrary quantum states cannot be copied. In fact, to make a copy we must provide complete information about the system. However, can a quantum system self-replicate? This is not answered by the no-cloning theorem. In the classical…

We apply the machinery of projection lattices and von Neumann algebras to analyze the question of how modal interpretations can (and do) circumvent von Neumann's infamous 'no-hidden-variables' theorem.

Several recent arguments purport to show that there can be no relativistic, quantum-mechanical theory of localizable particles and, thus, that relativity and quantum mechanics can be reconciled only in the context of quantum field theory.…

In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda. It is…

In this note we study inclusions of second quantization algebras, namely inclusions of von Neumann algebras on the Fock space of a separable complex Hilbert space H, generated by the Weyl unitaries with test functions in closed, real linear…

We show that every ring isomorphism between the algebras of locally measurable operators for type II$_\infty$ von Neumann algebras is similar to a real $^*$-isomorphism. This together with previous results by the author and…

The underlying probabilistic theory for quantum mechanics is non-Kolmogorovian. The order in which physical observables will be important if they are incompatible (non-commuting). In particular, the notion of conditioning needs to be…

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…