Axioms for the category of Hilbert spaces
- URL: http://arxiv.org/abs/2109.07418v3
- Date: Tue, 22 Mar 2022 12:35:45 GMT
- Title: Axioms for the category of Hilbert spaces
- Authors: Chris Heunen, Andre Kornell
- Abstract summary: We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces.
This addresses a question about the mathematical foundations of quantum theory raised in reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We provide axioms that guarantee a category is equivalent to that of
continuous linear functions between Hilbert spaces. The axioms are purely
categorical and do not presuppose any analytical structure. This addresses a
question about the mathematical foundations of quantum theory raised in
reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron,
Abramsky, and Coecke.
Related papers
- Dagger categories and the complex numbers: Axioms for the category of
finite-dimensional Hilbert spaces and linear contractions [0.0]
We characterise the category of finite-dimensional Hilbert spaces and linear contractions using simple category-theoretics that do not refer to norms, continuity, dimension, or real numbers.
Our proof directly relates limits in category theory to limits in analysis, using a new variant of the classical characterisation of the real numbers instead of Soler's theorem.
arXiv Detail & Related papers (2024-01-12T14:01:21Z) - CP$^{\infty}$ and beyond: 2-categorical dilation theory [0.0]
We show that by a horizontal categorification' of the $mathrmCPinfty$-construction, one can recover the category of all von Neumann algebras and channels.
As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.
arXiv Detail & Related papers (2023-10-24T12:21:02Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations.
We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
arXiv Detail & Related papers (2023-10-17T14:12:39Z) - Axioms for the category of Hilbert spaces and linear contractions [0.0]
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity, or dimension.
arXiv Detail & Related papers (2022-11-04T18:09:45Z) - Continuous percolation in a Hilbert space for a large system of qubits [58.720142291102135]
The percolation transition is defined through the appearance of the infinite cluster.
We show that the exponentially increasing dimensionality of the Hilbert space makes its covering by finite-size hyperspheres inefficient.
Our approach to the percolation transition in compact metric spaces may prove useful for its rigorous treatment in other contexts.
arXiv Detail & Related papers (2022-10-15T13:53:21Z) - Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space [62.997667081978825]
We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols.
We extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces.
arXiv Detail & Related papers (2022-02-09T19:14:13Z) - Self-adjoint extension schemes and modern applications to quantum
Hamiltonians [55.2480439325792]
monograph contains revised and enlarged materials from previous lecture notes of undergraduate and graduate courses and seminars delivered by both authors over the last years on a subject that is central both in abstract operator theory and in applications to quantum mechanics.
A number of models are discussed, which are receiving today new or renewed interest in mathematical physics, in particular from the point of view of realising certain operators of interests self-adjointly.
arXiv Detail & Related papers (2022-01-25T09:45:16Z) - Reformulation of Quantum Theory [0.0]
The standard quantum mechanics over a complex Hilbert space, is a Hamiltonian mechanics, regarding the Hilbert space as a linear real manifold equipped with its canonical symplectic form and restricting only to the expectation-value functions of Hermitian operators.
We reformulate the structure of quantum mechanics in the language of symplectic manifold and avoid linear structure of Hilbert space in such a way that the results can be stated for an arbitrary symplectic manifold.
arXiv Detail & Related papers (2022-01-03T17:15:35Z) - Semiheaps and Ternary Algebras in Quantum Mechanics Revisited [0.0]
We re-examine the appearance of semiheaps and (para-associative) ternary algebras in quantum mechanics.
New aspect of this work is a discussion of how symmetries of a quantum system induce homomorphisms of the relevant semiheaps and ternary algebras.
arXiv Detail & Related papers (2021-11-26T09:09:58Z) - Hilbert-space geometry of random-matrix eigenstates [55.41644538483948]
We discuss the Hilbert-space geometry of eigenstates of parameter-dependent random-matrix ensembles.
Our results give the exact joint distribution function of the Fubini-Study metric and the Berry curvature.
We compare our results to numerical simulations of random-matrix ensembles as well as electrons in a random magnetic field.
arXiv Detail & Related papers (2020-11-06T19:00:07Z) - Quantum Geometric Confinement and Dynamical Transmission in Grushin
Cylinder [68.8204255655161]
We classify the self-adjoint realisations of the Laplace-Beltrami operator minimally defined on an infinite cylinder.
We retrieve those distinguished extensions previously identified in the recent literature, namely the most confining and the most transmitting.
arXiv Detail & Related papers (2020-03-16T11:37:23Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.