Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/9510024

Axiomatic Quantum Theory

W. Lücke

Published Oct 24, 1995• 0 citations
arXivHTMLPDF

Abstract

A rough overview is given over the most essential structures underlying all working quantum theoretical models as well as axiomatic and algebraic quantum field theory .
DOI
10.48550/arxiv.quant-ph/9510024

Related papers

An Axiomatic Model of Quantum Field Theory

D. A. Slavnov

Journal of Experimental and Theoretical Physics•May 1, 1968•0 citations

A Role for Categories in the Foundations of Quantum Theory

David Geoffrey Holdsworth

In this paper I shall outline a possibility for incorporating category theory in an essential way into the foundations of quantum theory. The role for category theory which I shall sketch here is strictly foundational in the sense that it offers no new perspectives for a physicist working within the quantum formalism, but rather provides a way of interpreting the algebraic structure by giving an alternative axiomatization of the underlying logic of the theory. The axiomatization is given without recourse to any classical set theory by invoking methods closely connected with the work of F. W. Lawvere. More precisely, then, a possible approach to the foundations of physics which axiomatizes its algebraic structure in a way which is independent of set theory and hence points, as it were, to a structuralist foundation of physical theories, will be proposed.

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association•Jan 1, 1978•1 citation

Introduction to the Algebraic Formulation of Quantum Theories

Valter Moretti

Unitext•Jan 1, 2017•9 citations

Introduction to the Algebraic Formulation of Quantum Theories

Valter Moretti

Unitext•Jan 1, 2013•2 citations

Categorical Models of Quantum Mechanics

Alexander Zapryagaev

The report deals with the axiomatic approach to the phenomena of quantum computation and algorithms. It gives an overview of the classical approach (due to von Neumann) using the structures of Hilbert spaces, as well as mentions some major results in the field and discusses the flaws of the model and its current dominance. This leads to the introduction of a new axiomatization, first proposed by S. Abramsky and B. Coecke in 2007, which relies on the modern concepts of category theory. It is a field of mathematics originally created in the 1940s by specialists in algebraic topology but currently gaining popularity in other branches because of its abstract nature and emphasis on operations rather than objects. Most importantly, category theory is a powerful tool in functional analysis allowing mathematicians to reformulate the statements of Hilbert space theory in a more intuitive way, without matrix calculus. Finally, the logic behind quantum operations is discussed: it is revealed that the ideas of quantum algorithms have a strong connection to Jean-Yves Girard’s linear logic.

•Jan 1, 2014•0 citations

Fundamental Mathematical Structures of Quantum Theory: Spectral Theory, Foundational Issues, Symmetries, Algebraic Formulation

Valter Moretti

•Jun 20, 2019•0 citations
In this paper I shall outline a possibility for incorporating category theory in an essential way into the foundations of quantum theory. The role for category theory which I shall sketch here is strictly foundational in the sense that it offers no new perspectives for a physicist working within the quantum formalism, but rather provides a way of interpreting the algebraic structure by giving an alternative axiomatization of the underlying logic of the theory. The axiomatization is given without recourse to any classical set theory by invoking methods closely connected with the work of F. W. Lawvere. More precisely, then, a possible approach to the foundations of physics which axiomatizes its algebraic structure in a way which is independent of set theory and hence points, as it were, to a structuralist foundation of physical theories, will be proposed.
The report deals with the axiomatic approach to the phenomena of quantum computation and algorithms. It gives an overview of the classical approach (due to von Neumann) using the structures of Hilbert spaces, as well as mentions some major results in the field and discusses the flaws of the model and its current dominance. This leads to the introduction of a new axiomatization, first proposed by S. Abramsky and B. Coecke in 2007, which relies on the modern concepts of category theory. It is a field of mathematics originally created in the 1940s by specialists in algebraic topology but currently gaining popularity in other branches because of its abstract nature and emphasis on operations rather than objects. Most importantly, category theory is a powerful tool in functional analysis allowing mathematicians to reformulate the statements of Hilbert space theory in a more intuitive way, without matrix calculus. Finally, the logic behind quantum operations is discussed: it is revealed that the ideas of quantum algorithms have a strong connection to Jean-Yves Girard’s linear logic.