Related papers: Test sets for tautologies in modular quantum logic

We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluation algorithm. We prove completeness and soundness of the…

We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we…

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and…

The topical quantum computation paradigm is a transposition of the Turing machine into the quantum framework. Implementations based on this paradigm have limitations as to the number of: qubits, computation steps, efficient quantum…

Let $L$ be an integral lattice in the Euclidean space $\mathbb{R}^n$ and $W$ an irreducible representation of the orthogonal group of $\mathbb{R}^n$. We give an implemented algorithm computing the dimension of the subspace of invariants in…

We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for…

The goal of this paper is to show that many key results found in the study of Einstein Lorentzian nilpotent Lie algebras can still hold in the more general settings of unimodular Lie algebras and (completely) solvable Lie algebras.

In a Generalised Probabilistic Theory (GPT) equipped additionally with some extra geometric structure we define the morphophoric measurements as those for which the measurement map sending states to distributions of the measurement results…

We consider the problem of minimizing resources required for universal quantum computation using only projective measurements. The resources we focus on are observables, which describe projective measurements, and ancillary qubits. We show…

A general theory of vector-valued modular functions, holomorphic in the upper half-plane, is presented for finite dimensional representations of the modular group. This also provides a description of vector-valued modular forms of arbitrary…

The existence of incompatibility is one of the most fundamental features of quantum theory, and can be found at the core of many of the theory's distinguishing features, such as Bell inequality violations and the no-broadcasting theorem. A…

For any positive integer $n$, let $A_n=\mathbb{C}[t_1,\dots,t_n]$, $W_n=\text{Der}(A_n)$ and $\Delta_n=\text{Span}\{\frac{\partial}{\partial{t_1}},\dots,\frac{\partial}{\partial{t_n}}\}$. Then $(W_n, \Delta_n)$ is a Whittaker pair. A…

Let $U$ be a finite dimentional vector space over $\mathbb R$ or $\mathbb C$, and let $\rho:G\to GL(U)$ be a representation of a connected Lie group $G$. A linear subspace $V\subset U$ is called universal if every orbit of $G$ meets $V$. We…

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras…

In quantum theory, a measurement context is defined by an orthogonal basis in a Hilbert space, where each basis vector represents a specific measurement outcome. The precise quantitative relation between two different measurement contexts…

Let $A$ be a special homotopy G-algebra over a commutative unital ring $\Bbbk$ such that both $H(A)$ and $\operatorname{Tor}_{i}^{A}(\Bbbk,\Bbbk)$ are finitely generated $\Bbbk$-modules for all $i$, and let $\tau_{i}(A)$ be the cardinality…

We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity…

For the universal hypothesis testing problem, where the goal is to decide between the known null hypothesis distribution and some other unknown distribution, Hoeffding proposed a universal test in the nineteen sixties. Hoeffding's universal…

We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…