Related papers: Test sets for tautologies in modular quantum logic

I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as…

W-algebras are a class of non-commutative algebras related to the classical universal enveloping algebras. They can be defined as a subquotient of U(g) related to a choice of nilpotent element e and compatible nilpotent subalgebra m. The…

We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional…

We propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Our definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic…

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

We study general nilpotent algebras. The results obtained are new even for the classical algebras, such as associative or Lie algebras. We single out certain generic properties of finite-dimensional algebras, mostly over infinite fields.…

The classical D'Alembert's Ratio Test is a powerful test that we learn from calculus to determine convergence for a series of positive terms. Its range of applicability and ease of computation makes this test extremely appealing. However,…

We describe a quantum state tomography scheme which is applicable to a system described in a Hilbert space of arbitrary finite dimensionality and is constructed from sequences of two measurements. The scheme consists of measuring the…

In 2016 and 2017, Haihui Fan, Don Hadwin and Wenjing Liu proved a commutative and noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $\alpha $ on $L^{\infty}(\mathbb{T},\mu)$ and tracial finite von…

Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical…

We introduce the notion of strong test module and show that a large number of such modules appear in the tight closure theory of complete domains: the test ideal (this has already been known), the parameter test module, and the module of…

We study the tautological ring of the moduli space of stable n-pointed curves of genus two with rational tails. The algebra is described in terms of explicit generators and relations. It is proven that this algebra is Gorenstein.

We define a family of universal finite-dimensional highest weight modules for affine Lie algebras, we call these Weyl modules. We conjecture that these are the classical limits of the irreducible finite--dimensional representations of the…

Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving…

The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these…

This paper collates, presents, and expands upon technology and results obtained as part of the author's PhD thesis. We generalize work done in the $\sigma$-finite setting by the author, Goldbring, Hart, and Sinclair by producing a language…

For a countably decomposable finite von Neumann algebra $\mathscr{R}$, we show that any choice of a faithful normal tracial state on $\mathscr{R}$ engenders the same measure topology on $\mathscr{R}$ in the sense of Nelson (J. Func. Anal.,…

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

We survey some results on homological dimensions of the algebraic, complex analytic, and smooth quantum tori. Our main theorem states, in particular, that the smooth and the complex analytic quantum n-tori have global dimension n. This…

Let $\Omega \subset \mathbb{C}^m$ be an open, connected and bounded set and $\mathcal{A}(\Omega)$ be a function algebra of holomorphic functions on $\Omega$. In this article we study quotient Hilbert modules obtained from submodules,…