Related papers: Test sets for tautologies in modular quantum logic

The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials…

In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is part of a larger project to study relations between topos…

The mechanism of describing quantum states by standard probability (tomographic one) instead of wave function or density matrix is elucidated. Quantum tomography is formulated in an abstract Hilbert space framework, by means of the identity…

We study the projective dimension of finitely generated modules over cluster-tilted algebras End(T) where T is a cluster-tilting object in a cluster category C. It is well-known that all End(T)-modules are of the form Hom(T,M) for some…

Let $\mathbb{C}_q$ be a non-commutative Laurent polynomial ring associated with a $(n+1)\times (n+1)$ rational quantum matrix $q$. Let $\mathfrak{sl}_d(\mathbb{C}_q)\oplus HC_1(\mathbb{C}_q)$ be the universal central extension of Lie…

Quantum theory is commonly formulated in complex Hilbert spaces. However, the question of whether complex numbers need to be given a fundamental role in the theory has been debated since its pioneering days. Recently it has been shown that…

A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…

We define (non-Einsteinian) universal metrics as the metrics that solve the source-free covariant field equations of generic gravity theories. Here, extending the rather scarce family of universal metrics known in the literature, we show…

We show that a partition of the unity (or POVM) on a Hilbert space that is almost orthogonal is close to an orthogonal POVM in the same von Neumann algebra. This generalizes to infinite dimension previous results in matrix algebras by…

Universal spacetimes are spacetimes for which all conserved symmetric rank-2 tensors, constructed as contractions of polynomials from the metric, the Riemann tensor and its covariant derivatives of arbitrary order, are multiples of the…

We prove that the Hilbert space description of all joint von Neumann measurements on a quantum state can be reproduced in terms of a single measure space ({\Omega}, F, {\mu}) with a normalized real-valued measure {\mu}, that is, in terms of…

For each $\omega\in (0, 1)^{\mathbb N}$, we may construct a Cantor set $E(\omega)\subset [0, 1]$ called a generalized Cantor set for $\omega$. We study the moduli space of $\omega$ denoted by $\mathcal M(\omega)\subset (0, 1)^{\mathbb N}$.…

Orthonormal systems in commutative $L_2$ spaces can be used to classify Banach spaces. When the system is complete and satisfies certain norm condition the unconditionality with respect to the system characterizes Hilbert spaces. As a…

A topological space TO(S) of total orderings on any given set S is introduced and it is shown that TO(S) is compact if S is countable. The set NO(N) of all normal orderings of the nth Weyl algebra W is a closed subspace of TO(N), where N is…

This addendum to math.LO/0412144 shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space C^n is different for every n, affirmatively answering a question posed therein.

We introduce tautological system defined by prehomogenous actions of reductive algebraic groups. If the complement of the open orbit is a linear free divisor satisfying a certain finiteness condition, we show that these systems underly…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

We prove a general criterion for a von Neumann algebra $M$ in order to be in standard form. It is formulated in terms of an everywhere defined, invertible, antilinear, a priori not necessarily bounded operator, intertwining $M$ with its…

We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{U_1,\ldots,U_n\}$ is universal. We provide the compact form criteria leading to a simple algorithm that allows deciding universality of any given set of…

Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…