Related papers: From observables and states to Hilbert space and b…
A novel approach to entanglement, based on the Gelfand-Naimark-Segal (GNS) construction, is introduced. It considers states as well as algebras of observables on an equal footing. The conventional approach to the emergence of mixed from…
C*-algebras are widely used in mathematical physics to represent the observables of physical systems, and are sometimes taken as the starting point for rigorous formulations of quantum mechanics and classical statistical mechanics.…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
In this paper we develop a method of constructing Hilbert spaces and the representation of the formal algebra of quantum observables in deformation quantization which is an analog of the well-known GNS construction for complex…
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive…
Let E be a (right) Hilbert C*-module over a C*-algebra A. If E is equipped with a left action of a second C*-algebra B, then tensor product with E gives rise to a functor from the category of Hilbert B-modules to the category of Hilbert…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…
In [1,2] we established and discussed the algebra of observables for $2+1$ gravity at both the classical and quantum level, and gave a systematic discussion of the reduction of the expected number of independent observables to $6g - 6 (g >…
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…
Given a representation of a unital $C^*$-algebra $\mathcal{A}$ on a Hilbert space $\mathcal{H}$, together with a bounded linear map $V:\mathcal{K}\to\mathcal{H}$ from some other Hilbert space, one obtains a completely positive map on…
Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property.…
Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…
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…
After an appropriate restatement of the GNS construction for topological $^*$-algebras we prove that there exists an isomorphism among the set $\cycl(A)$ of weakly continuous strongly cyclic $^*$-representations of a barreled dual-separable…
A synaptic algebra is both a special Jordan algebra and a spectral order-unit normed space satisfying certain natural conditions suggested by the partially ordered Jordan algebra of bounded Hermitian operators on a Hilbert space. The…
Abelian duality is realized naturally by combining differential cohomology and locally covariant quantum field theory. This leads to a C$^*$-algebra of observables, which encompasses the simultaneous discretization of both magnetic and…
As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over…