相关论文: Axioms for the category of Hilbert spaces and line…
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and…
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…
We prove that every functor from the category of Hilbert spaces and linear isometric embeddings to the category of sets which preserves directed colimits must be essentially constant on all infinite-dimensional spaces. In other words, every…
We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language.…
This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…
We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
The category of Hilbert spaces and contractions has filtered colimits, and tensoring preserves them. We also discuss (problems with) bounded maps.
We discuss the two closely related, but different concepts of weak and almost weak stability for the powers of a contraction on a separable Hilbert space. Extending Halmos' and Rohlin's theorems in ergodic theory as a model, we show that…
The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Sol\`er's theorem, a result…
An order relation for contractions on a Hilbert space can be introduced by stating that $A\preccurlyeq B$ if and only $A$ is unitarily equivalent to the restriction of $B$ to an invariant subspace. We discuss the equivalence classes…
Suppose $L(H)$ is the space of all bounded linear operators on a complex Hilbert space $H.$ This article deals with the problem of characterizing the extreme contractions of $L(H)$ with respect to the numerical radius norm on $L(H).$ In…
It is shown that a contraction on a Hilbert space is complex symmetric if and only if the values of its characteristic function are all symmetric with respect to a fixed conjugation. Applications are given to the description of complex…
We explain why and how the Hilbert space comes about in quantum theory. The axiomatic structures of vector space, of scalar product, of orthogonality, and of the linear functional are derivable from the statistical description of quantum…
We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…
We study the typical behavior of bounded linear operators on infinite dimensional complex separable Hilbert spaces in the norm, strong-star, strong, weak polynomial and weak topologies. In particular, we investigate typical spectral…
We revisit the construction of the Hilbert space of non-relativistic particles moving in three spatial dimensions. This is given by the space of sections of a line bundle that can in general be topologically non-trivial. Such bundles are…
Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others…