Related papers: Quantifier elimination in II$_1$ factors

We show that the local von Neumann algebras on convex areas of the frustration-free ground state of abelian quantum double models are of type $II_\infty$.

We construct countable groups $G$ with the following new degree of W*-superrigidity: if $L(G)$ is virtually isomorphic, in the sense of admitting a bifinite bimodule, with any other group von Neumann algebra $L(\Lambda)$, then the groups…

We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\Gamma)$ for $\Gamma$ a finitely generated group with solvable word problem, $C^*(\Gamma)$ for $\Gamma$ a finitely…

Given a group satisfying sufficient finiteness properties, we discuss a group algebra criterion for vanishing of all its cohomology groups with unitary coefficients in a certain degree.

We obtain the analogue of Schur-Weyl duality for the unitary group of an arbitrary ${\rm II}_1$-factor

We give a short proof of Macintyre's Theorem on Quantifier Elimination for the p-adic numbers, using a version of monomialization that follows directly from the Weak Toroidalization Theorem of Abramovich an Karu (extended to non-closed…

This talk is organized as follows: First we explain some basic concepts in non-commutative probability theory in the frame of operator algebras. In Section 2, we discuss related topics in von Neumann algebras. Sections 3 and 4 contain some…

Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated…

Recently the quantum hamiltonian reduction was done in the case of general $s\ell(2)$ embeddings into Lie algebras and superalgebras. In this paper we extend the results to the quantum hamiltonian reduction of $N=1$ affine Lie superalgebras…

The von Neumann algebra free product of arbitary finite dimensional von Neumann algebras with respect to arbitrary faithful states, at least one of which is not a trace, is found to be a type~III factor possibly direct sum a finite…

In this paper we continue our study of Groenewold-Van Hove obstructions to quantization. We show that there exists such an obstruction to quantizing the cylinder $T^*S^1.$ More precisely, we prove that there is no quantization of the…

This note is intended to foster a discussion about the extent to which typical problems arising in quantum information theory are algorithmically decidable (in principle rather than in practice). Various problems in the context of…

Toeplitz quantization is defined in a general setting in which the symbols are the elements of a possibly non-commutative algebra with a conjugation and a possibly degenerate inner product. We show that the quantum group $SU_q(2)$ is such…

We completely classify type III factor representations of Cuntz-Krieger algebras associated with quasi-free states up to unitary equivalence. Furthermore, we realize these representations on concrete Hilbert spaces without using GNS…

Two different models for a Hopf-von Neumann algebra of bounded functions on the quantum semigroup of all (quantum) permutations of infinitely many elements are proposed, one based on projective limits of enveloping von Neumann algebras…

The usual equivalence between the Palatini and metric (or affinity and vielbein) formulations of Einstein theory fails in two spacetime dimensions for its "Kaluza--Klein" reduced (as well as for its standard) version. Among the differences…

Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the duplicability operator "!" by studying those von Neumann…

For an element $a$ of an integral domain D under an equivalence relation \tau, the \tau-factorization of a is defined as \lambda a_1 a_2... a_k, where \lambda is a unit in D and a_i \tau a_j for all i, j. An irreducible element has no…

We prove that if A is an infinite von Neumann algebra (i. e., the identity can be decomposed as a sum of a sequence of pairwise disjoint projections, all equivalent to the identity) then the cyclic cohomology of A vanishes. We show that the…

We present the view of quantum algorithms as a search-theoretic problem. We show that the Fourier transform, used to solve the Abelian hidden subgroup problem, is an example of an efficient elimination observable which eliminates a constant…