Related papers: Quantum field logic
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…
Qubits have been designed in the framework of quantum mechanics. Attempts to formulate the problem in the language of quantum field theory have been proposed already. In this short note we refine the meaning of qubits within the framework…
An algebraic quantum field theory (AQFT) may be expressed as a functor from a category of spacetimes to a category of algebras of observables. However, a generic category $\mathsf{C}$ whose objects admit interpretation as spacetimes is not…
In this article we review our recent work on the causal structure of symmetric spaces and related geometric aspects of Algebraic Quantum Field Theory. Motivated by some general results on modular groups related to nets of von Neumann…
The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…
Quantum groups lead to an algebraic structure that can be realized on quantum spaces. These are noncommutative spaces that inherit a well defined mathematical structure from the quantum group symmetry. In turn such quantum spaces can be…
Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…
The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform…
We use classes of Hilbert lattice equations for an alternative representation of Hilbert lattices and Hilbert spaces of arbitrary quantum systems that might enable a direct introduction of the states of the systems into quantum computers.…
Various aspects of the theory of quantum integrable systems are reviewed. Basic ideas behind the construction of integrable ultralocal and nonultralocal quantum models are explored by exploiting the underlying algebraic structures related…
In Quantum Mechanics operators must be hermitian and, in a direct product space, symmetric. These properties are saved by Lie algebra operators but not by those of quantum algebras. A possible correspondence between observables and quantum…
In this paper, we try to give a new approach to the quantum mechanics(QM) on the framework of quantum field theory(QFT). Firstly, we make a detail study on the (non-relativistic) Schr\"odinger field theory, obtaining the Schr\"odinger…
This paper presents a research program aimed at establishing relational foundations for relativistic quantum physics. Although the formalism is still under development, we believe it has matured enough to be shared with the broader…
Noncommutative field theory (NCFT) is an extension of quantum field theory (QFT) that redefines spacetime, replacing commuting coordinates with a noncommutative structure. This shift fundamentally alters the way fields, interactions, and…
In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To…
CFTs are naturally defined on Riemann surfaces. The rational ones can be solved using methods from algebraic geometry. One particular feature is the covariance of the partition function under the mapping class group. In genus $g=1$, this…
This paper is about algebro-geometrical structures on a moduli space $\CM$ of anomaly-free BV QFTs with finite number of inequivalent observables or in a finite superselection sector. We show that $\CM$ has the structure of F-manifold -- a…
Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…
We define a notion of formal quantum field theory and associate a formal quantum field theory to K-theoretical intersection theories on Hilbert schemes of points on algebraic surfaces. This enables us to find an effective way to compute…