Related papers: Topos-Based Logic for Quantum Systems and Bi-Heyti…
We present a hierarchical viewpoint on the operator-algebraic formulation of quantum systems, in which $C^{*}$-algebras are responsible for the universal and intrinsic description, whereas von Neumann algebras provide the detailed account…
This is an introduction to quantum algebra, from a geometric perspective. The classical spaces $X$, such as the Lie groups, homogeneous spaces, or more general manifolds, are described by various algebras $A$, defined over various fields…
Algebraic approach to quantum non - separability is applied to the case of two qubits. It is based on the partition of the algebra of observables into independent subalgebras and the tensor product structure of the Hilbert space is not…
Motivated by the invariance of current representations of quantum gravity under diffeomorphisms much more general than isometries, the Haag-Kastler setting is extended to manifolds without metric background structure. First, the causal…
We construct a Hopf algebra structure on the space of specified Feynman graphs of a quantum field theory. We introduce a convolution product and a semigroup of characters of this Hopf algebra with values in some suitable commutative algebra…
We introduce an algebraic framework for interacting quantum systems that enables studying complex phenomena, characterized by the coexistence and competition of various broken symmetry states of matter. The approach unveils the hidden unity…
An algebraic extended bilinear Hilbert semispace is proposed as being the natural representation space for the algebras of von Neumann.This bilinear Hilbert semispace has a well defined structure given by the representation space of an…
Due to the existence of incompatible observables, the propositional calculus of a quantum system does not form a Boolean algebra but an orthomodular lattice. Such lattice can be realised as a lattice of subspaces on a real, complex or…
Quantum bialgebras derivable from Uq(sl2) which contain idempotents and von Neumann regular Cartan-like generators are introduced and investigated. Various types of antipodes (invertible and von Neumann regular) on these bialgebras are…
The solution of quantum Yang-Mills theory on arbitrary compact two-manifolds is well known. We bring this solution into a TQFT-like form and extend it to include corners. Our formulation is based on an axiomatic system that we hope is…
The principal goal of this paper is to pass all quantum probability formulas to the projective space associated to the complex Hilbert space of a given quantum system, providing a more complete geometrization of quantum theory. Quantum…
This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…
Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics and then…
The standard formalism of quantum mechanics is extended to describe a total system including the reference system (RS), with respect to which the total system is described. The RS is assumed to be able to act as a measuring apparatus, with…
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We…
We define new quantizations of the Heisenberg group by introducing new quantizations in the universal enveloping algebra of its Lie algebra. Matrix coefficients of the Stone--von Neumann representation are preserved by these new…
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the…
This work seeks to make explicit the operational connection between the preparation of two-level quantum systems with their corresponding description (as states) in a Hilbert space. This may sound outdated, but we show there is more to this…
The input and output algebras of an infinite qubit system and their representations are described.
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…