Related papers: Quantifier elimination in II$_1$ factors
Relativizing an idea from multiplicity theory, we say that an element x of a von Neumann algebra M is n-divisible if (W*(x)' cap M) unitally contains a factor of type I_n. We decide the density of the n-divisible operators, for various n,…
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…
In this note we quantize the free $ * $-algebra generated by finitely many variables, which is a new example of the theory of Toeplitz quantization of $ * $-algebras as developed previously by the author. This is achieved by defining…
We introduce a notion of planar algebra, the simplest example of which is a vector space of tensors, closed under planar contractions. A planar algebra with suitable positivity properties produces a finite index subfactor of a II_1 factor,…
We recast the Foelner condition in an operator algebraic setting and prove that it implies a certain dimension flatness property. Furthermore, it is proven that the Foelner condition generalizes the existing notions of amenability and that…
This paper includes a series of structural results for von Neumann algebras arising from measure preserving actions by product groups on probability spaces. Expanding upon the methods used earlier by the first two authors \cite{CS}, we…
We fully describe the general form of a linear (or conjugate-linear) rank metric isometry on the Murray--von Neumann algebra associated with a II$_1$-factor. As an application, we establish Frobenius' theorem in the setting of…
We review and analyze the hybrid quantum-classical NMR computing methodology referred to as Type-II quantum computing. We show that all such algorithms considered so far within this paradigm are equivalent to some classical…
We show that the quantum disk, i.e. the quantum space corresponding to the Toeplitz C*-algebra does not admit any compact quantum group structure. We prove that if such a structure existed the resulting compact quantum group would…
It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an…
The landmark quantum complexity result MIP$^*$=RE was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used to give a negative solution to the Aldous-Lyons conjecture: there is…
The constructions of free subproducts of von Neumann algebras and free scaled products are introduced, and results about them are proved, including rescaling results and results about free trade in free scaled products.
We prove that the von Neumann algebra generated by q-gaussians is not injective as soon as the dimension of the underlying Hilbert space is greater than 1. Our approach is based on a vector valued Khintchine type inequality for Wick…
To date, there has been no experimental evidence that invalidates quantum theory. Yet it may only be an effective description of the world, in the same way that classical physics is an effective description of the quantum world. We ask…
We investigate the elimination of quantifiers in first-order formulas via Hilbert's epsilon-operator (or -binder), following Bernays' explicit definitions of the existential and the universal quantifier symbol by means of epsilon-terms.…
Recently, [arXiv:0810.3134] is accepted and published. We derive an inequality with two settings as tests for the existence of the Bloch sphere in a spin-1/2 system. The probability theory of measurement outcome within the formalism of von…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
The first article in this series presented a thorough discussion of particle weights and their characteristic properties. In this part a disintegration theory for particle weights is developed which yields pure components linked to…
We establish a hypertrace characterization of property (T) for $\mathrm{II}_1$ factors: Given a $\mathrm{II}_1$ factors $M$, $M$ does not have property (T) if and only if there exists a von Neumann algebra $\mathcal{A}$ with $M\subset…
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…