相关论文: De-linearizing Linearity: Projective Quantum Axiom…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually…

Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order sentences represent only one of the remarkable results.…

It is sometimes stated that Gleason's theorem prevents the construction of hidden-variable models for quantum entities described in a more than two-dimensional Hilbert space. In this paper however we explicitly construct a classical…

Scale invariance provides a principled reason for the physical importance of Hilbert space, the Virasoro algebra, the string mode expansion, canonical commutators and Schroedinger evolution of states, independent of the assumptions of…

We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite…

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…

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…

In this letter I stress the role of causal reversibility (time-symmetry), together with causality and locality, in the justification of the quantum formalism. Firstly, in the algebraic quantum formalism, I show that the assumption of…

We study a new notion of trace operators and trace spaces for abstract Hilbert complexes. We introduce trace spaces as quotient spaces/annihilators. We characterize the kernels and images of the related trace operators and discuss duality…

We study de Sitter JT gravity in the canonical formulation to illustrate constructions of Hilbert spaces in quantum gravity, which is challenging due to the Hamiltonian constraints. The key ideas include representing states as "invariants"…

Massive quantum matter of prescribed spin permits infinitely many possibilities of covariantization in terms of spinorial (undotted/dotted) pointlike fields, whereas massless finite helicity representations lead to large gap in this…

We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$…

We propose a new line of attack to create a finite quantum theory which includes general relativity and (perhaps) the standard model in its low energy limit. The theory would emerge from the categorical approach. A structure is observed on…

In a series of papers Tsirelson constructed from measure types of random sets and generalised random processes a new range of examples for continuous tensor product systems of Hilbert spaces introduced by Arveson for classifying…

In a pre-selected Hilbert space of quantum states the unitarity of the evolution is usually guaranteed via a pre-selection of the generator (i.e., of the Hamiltonian operator) in self-adjoint form. In fact, the simultaneous use of both of…

The purpose of this article is to show a geometric version of Zabrodin-Wiegmann conjecture for an integer Quantum Hall state. Given an effective reduced divisor on a compact connected Riemann surface, using the canonical holomorphic section…

We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…

In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…

Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…