Axioms for the category of Hilbert spaces and linear contractions

• URL: http://arxiv.org/abs/2211.02688v3
• Date: Tue, 16 Jan 2024 10:17:18 GMT
• Title: Axioms for the category of Hilbert spaces and linear contractions
• Authors: Chris Heunen, Andre Kornell, Nesta van der Schaaf
• Abstract summary: 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.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.

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)
• 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)
• 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)
• Neural and spectral operator surrogates: unified construction and expression rate bounds [0.46040036610482665]
  We study approximation rates for deep surrogates of maps between infinite-dimensional function spaces. Operator in- and outputs from function spaces are assumed to be parametrized by stable, affine representation systems.
  arXiv  Detail & Related papers  (2022-07-11T15:35:14Z)
• Characteristic kernels on Hilbert spaces, Banach spaces, and on sets of measures [0.5156484100374059]
  We discuss radial kernels on separable Hilbert spaces, and introduce broad classes of kernels on Banach spaces and on metric spaces of strong negative type. The general results are used to give explicit classes of kernels on separable $Lp$ spaces and on sets of measures.
  arXiv  Detail & Related papers  (2022-06-15T15:12:35Z)
• Axioms for the category of Hilbert spaces [0.0]
  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.
  arXiv  Detail & Related papers  (2021-09-15T16:41:23Z)
• Some Hoeffding- and Bernstein-type Concentration Inequalities [47.24550702683417]
  We prove concentration inequalities for functions of independent random variables under sub-gaussian and sub-exponential conditions. The utility of the inequalities is demonstrated by an extension of the now classical method of Rademacher complexities to Lipschitz function classes and unbounded sub-exponential distribution.
  arXiv  Detail & Related papers  (2021-02-11T23:09:13Z)
• 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)
• Diagonal unitary and orthogonal symmetries in quantum theory [1.5229257192293197]
  We show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.
  arXiv  Detail & Related papers  (2020-10-15T17:25:38Z)
• Generalized string-nets for unitary fusion categories without tetrahedral symmetry [77.34726150561087]
  We present a general construction of the Levin-Wen model for arbitrary multiplicity-free unitary fusion categories. We explicitly calculate the matrix elements of the Hamiltonian and, furthermore, show that it has the same properties as the original one.
  arXiv  Detail & Related papers  (2020-04-15T12:21:28Z)
• 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.