Related papers: Quantifier elimination in II$_1$ factors
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…
In pure Einstein theory, Ricci flat Lorentzian 4-metrics of Petrov types III or N have vanishing counter terms up to and including two loops. Moreover for pp-waves and type-N spacetimes of Kundt's class which admit a non-twisting, non…
Quantum theory does not only predict probabilities, but also relative phases for any experiment, that involves measurements of an ensemble of systems at different moments of time. We argue, that any operational formulation of quantum theory…
The relativistic effects of the integer-spin quantum field theory imply that the wave functions describing a fixed number of particles do not admit the usual probabilistic interpretation. Among several most popular interpretations of…
The fermionic second quantization operator $d\Gamma(B)$ is shown to be bounded by a power $N^{s/2}$ of the number operator $N$ given that the operator $B$ belongs to the $r$-th von Neumann-Schatten class, $s=2(r-1)/r$. Conversely, number…
In conventional quantum mechanics, quantum no-deleting and no-cloning theorems indicate that two different and nonorthogonal states cannot be perfectly and deterministically deleted and cloned, respectively. Here, we investigate the quantum…
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…
This note is a follow-up to a recent paper by the author. Most of that theory is now realized in a new setting where the vector space of symbols is not necessarily an algebra nor is it equipped with an inner product, although it does have a…
This revised version corrects some substancial errors in the proofs. The old proofs were only valid for (finite dimensional) * (finite dimensional). The scope of the results remains the same, however for type I_\infty algebras, the results…
We introduce a new iterative amalgamated free product construction of II$_1$ factors, and use it to construct a separable II$_1$ factor which does not have property Gamma and is not elementarily equivalent to the free group factor…
In this article we will review some notions of infiniteness that appear in Hilbert space operators and operator algebras. These include proper infiniteness, Murray von Neumann's classification into type I and type III factors and the class…
Let $M$ be a finite von Neumann algebra (resp. a type II$_{1}$ factor) and let $N\subset M$ be a II$_{1}$ factor (resp. $N\subset M$ have an atomic part). We prove that the inclusion $N\subset M$ is amenable implies the identity map on $M$…
We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…
We establish many previously unknown properties of zero-divisors in Cayley-Dickson algebras. The basic approach is to use a certain splitting that simplifies computations surprisingly.
We construct and characterize canonical purifications for general algebraic states, extending prior constructions by Woronowicz and by Dutta/Faulkner to general quantum theories. Given a state on a $*$-algebra, the canonical purification is…
We announce some new results regarding the classification problem for separable von Neumann algebras. Our results are obtained by applying the notion of Borel reducibility and Hjorth's theory of turbulence to the isomorphism relation for…
The mathematics of classical probability theory was subsumed into classical measure theory by Kolmogorov in 1933. Quantum theory as nonclassical probability theory was incorporated into the beginnings of noncommutative measure theory by von…
Recently, [{arXiv:0810.3134}] is accepted and published. We present ultimate version of no-hidden-variables theorem. We derive a proposition concerning the quantum theory under the existence of the Bloch sphere in a single spin-1/2 system.…
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we…
We show that the unitary group of any SOT-separable $\mathrm{II}_1$ factor $M$, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann…