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:2602.15188

Quantization as a Categorical Equivalence for Hilbert Bimodules and Lagrangian Relations

Benjamin H. Feintzeig

math-phmath.OAquant-phSubmitted Feb 16, 2026• Announced Feb 18, 2026
arXivHTMLPDF

Abstract

It is well known that classical and quantum theories carry distinct types of representations, each type of representation corresponding to possible values of generalized charges in the classical or quantum context. This paper demonstrates a sense in the structure of these representation theories is preserved from classical to quantum physics. To show this, I discuss distinct representation-theory preserving morphisms in the classical and quantum contexts. Specifically, I consider categories whose morphisms are Lagrangian relations in the classical context and Hilbert bimodules in the quantum context. These morphisms are significant because they give rise to induced representations of classical and quantum theories, respectively. I consider quantization and the classical limit as determining functors between these categories. I treat quantization via the strict deformation quantization of a Poisson algebra and the classical limit via the extension of a uniformly continuous bundle of C*-algebras. With these tools, I prove that the quantization and classical limit functors are "almost-inverse" to each other, thus establishing a categorical equivalence.

Related papers

Quantization and the Preservation of Structure across Theory Change

Benjamin H. Feintzeig

Abstract This article presents a novel sense in which theoretical structure has been preserved across the transition from classical to quantum physics. I import mathematical tools from category theory that have been used for structural comparisons in the context of theoretical equivalence and apply these tools to new situations involving theory change. The structural preservation takes the form of a categorical equivalence between categories of models of classical and quantum physics. I situate the significance of this structural preservation in terms of prospects for theory construction in quantum physics.

Philosophy of Science•Nov 13, 2024•1 citation

Geometric Formulation of Berezin Quantization

Rasoul Rokhnizadeh, H. D. Doebner

In this paper we try to formulate the Berezin quantization on projective Hilbert space P(H) and use its geometric structure. It will be shown that the star product in Berezin quantiza- tion is equivalent to the Poisson bracket on P(H) and the Berezin method to construction a correspondence between a given classical theory and a given quantum theory is used to define a classical limit for geometric quantum mechanics. the covariant symbols. These symbols are expectation values of the observables in terms of coherent states: the holomorphic functions on classical phase space M that is assumed to be aKmanifold. Berezin (2) showed that the covariant symbols form a ∗-algebra which in limit � → 0l eads to the Poisson algebra between the corresponding classical observables: The functions on the phase space M. In this paper we will see that the Berezin ∗-algebra is in fact a Poisson algebra which is induced by the Fubini-Study 2-form on space of coherent states. This space is defined as follows: coherent states span a dense subspace H of Hilbert space H. P( H), which is denoted by M, is aKmanifold with induced symplectic structure from P(H). Therefore the covariant symbols can be considered as functions on M. It is shown (13) that there exists an embedding mapping between the classical phase space M and M, by which to any point z ∈ M is associated ap ointZ ∈M. With this construction to all of the quantum observables are associated their covariant symbols, which form a Poisson algebra on M and since the corresponding classical observables form a Poisson algebra on M , the Berezin quantization is a systematic procedure to relate these two Poisson algebras. Also the relation of Berezin quantization and geometric for- mulation of quantum mechanics will be evident as follows. The geometric quantum mechanics is a formulation of quantum mechanics in projective Hilbert spaces. With our construction one sees that the Berezin quantization is an equivalent formulation and in addition gives a prescription as classical limit for geometric quantum mechanics (9).

Presented at•Jan 1, 2001•0 citations

Geometric quantization and algebraic Lagrangian geometry

Nikolai Andreevich Tyurin

Introduction The main theme of this survey is the quantization of classical mechanical systems in terms of algebraic geometry. The aim is thus to relate questions of mathematics and theoretical physics. We first recall briefly the main problems and methods which turn us to study the new subject. Quantization itself is the main problem of theoretical physics. The need to introduce and develop it was dictated by the creators of quantum theory. According to the ‘Copenhagen philosophy’, the physical predictions of a quantum theory must be formulated in terms of classical concepts (the first sentence of Woodhouse; here we quote the beginning of this survey). Thus in addition to the usual structures (Hilbert space, unitary transformations, selfadjoint operators …, see, for example, Landau and Lifschitz) any reasonable quantum theory has to admit an appropriate passage to a classical limit under which quantum observables are transferred to their classical analogues. However, as Dirac pointed out at the beginning of the quantum age, the correspondence between quantum theory and classical theory should be based not just on numerical coincidences taking place in the limit h → ∞, but on an analogy between their mathematical structures. Classical theory does approximate the quantum theory, but it does more – it supplies a framework for some interpretation of quantum theory. Using this idea, we can in general understand a quantization procedure as a correspondence between classical and quantum theories. In this sense, quantization of the classical mechanical systems is a movement in one direction, while taking the quasiclassical limit goes in the opposite direction.

Cambridge University Press eBooks•Jan 18, 2007•15 citations

Classical and quantum conditional measures from a categorical viewpoint

Hitoshi Motoyama, Kohei Tanaka

This paper presents categorical structures on classical measure spaces and quantum measure spaces in order to deal with canonical maps associated with conditional measures as morphisms. We extend the Riesz-Markov-Kakutani representation theorem and the Gelfand duality theorem to an equivalence of categories between them. From this categorical viewpoint, we introduce a quantum version of conditional measures as a dual concept of the classical one.

arXiv:1412.5756•Dec 18, 2014•1 citation

Classical and quantum conditional measures from a categorical viewpoint (Mathematics in Quantum System Estimation)

Hitoshi Motoyama, Kohei Tanaka

This paper presents categorical structures on classical measure spaces and quantum measure spaces in order to deal with canonical maps associated with conditional measures as morphisms. We extend the Riesz-Markov-Kakutani representation theorem and the Gelfand duality theorem to an equivalence of categories between them. From this categorical viewpoint, we introduce a quantum version of conditional measures as a dual concept of the classical one.

•Oct 1, 2017•0 citations

Classical and Quantum Structuralism

Bob Coecke, Éric Oliver Paquette, Duško Pavlović

In recent work, several researchers including the authors have developed a categorical formalization of quantum mechanics in terms of symmetric monoidal dagger categories. In this framework, classical data turned out to be represented by an algebraic structure, that of special commutative dagger Frobenius algebras. This structure captures the distinct capabilities that apply to classical data – that they can be copied and deleted. In the present paper, we provide categorical semantics and diagrammatic representations of deterministic, nondeterministic, and probabilistic operations over classical data represented in this way. Moreover, a combination of some fundamental categorical constructions (the Kleisli construction of the category of free algebras and the Grothendieck construction of the total category of an indexed category) with the specific categorical presentations of pure and mixed quantum states provides a resource-sensitive categorical account of classical control of quantum data and of classical data resulting from quantum measurements, as well as of the classical data processing that may happen in between measurements and controls. Along the way we also discover some apparently novel quantum typing structures. One of the salient features of categorical quantum mechanics is still its graphic calculus, which allows succinct presentations of diverse quantum protocols. The elements of an abstract stochastic calculus are beginning to emerge from it, pointing toward convenient refinements of resource-sensitive logics that are hoped to capture the probabilistic content and limited observability of quantum data.

arXiv:0904.1997•Cambridge University Press eBooks•Nov 30, 2009•72 citations
It is well known that classical and quantum theories carry distinct types of representations, each type of representation corresponding to possible values of generalized charges in the classical or quantum context. This paper demonstrates a sense in the structure of these representation theories is preserved from classical to quantum physics. To show this, I discuss distinct representation-theory preserving morphisms in the classical and quantum contexts. Specifically, I consider categories whose morphisms are Lagrangian relations in the classical context and Hilbert bimodules in the quantum context. These morphisms are significant because they give rise to induced representations of classical and quantum theories, respectively. I consider quantization and the classical limit as determining functors between these categories. I treat quantization via the strict deformation quantization of a Poisson algebra and the classical limit via the extension of a uniformly continuous bundle of C*-algebras. With these tools, I prove that the quantization and classical limit functors are "almost-inverse" to each other, thus establishing a categorical equivalence.
Abstract This article presents a novel sense in which theoretical structure has been preserved across the transition from classical to quantum physics. I import mathematical tools from category theory that have been used for structural comparisons in the context of theoretical equivalence and apply these tools to new situations involving theory change. The structural preservation takes the form of a categorical equivalence between categories of models of classical and quantum physics. I situate the significance of this structural preservation in terms of prospects for theory construction in quantum physics.
In this paper we try to formulate the Berezin quantization on projective Hilbert space P(H) and use its geometric structure. It will be shown that the star product in Berezin quantiza- tion is equivalent to the Poisson bracket on P(H) and the Berezin method to construction a correspondence between a given classical theory and a given quantum theory is used to define a classical limit for geometric quantum mechanics. the covariant symbols. These symbols are expectation values of the observables in terms of coherent states: the holomorphic functions on classical phase space M that is assumed to be aKmanifold. Berezin (2) showed that the covariant symbols form a ∗-algebra which in limit � → 0l eads to the Poisson algebra between the corresponding classical observables: The functions on the phase space M. In this paper we will see that the Berezin ∗-algebra is in fact a Poisson algebra which is induced by the Fubini-Study 2-form on space of coherent states. This space is defined as follows: coherent states span a dense subspace H of Hilbert space H. P( H), which is denoted by M, is aKmanifold with induced symplectic structure from P(H). Therefore the covariant symbols can be considered as functions on M. It is shown (13) that there exists an embedding mapping between the classical phase space M and M, by which to any point z ∈ M is associated ap ointZ ∈M. With this construction to all of the quantum observables are associated their covariant symbols, which form a Poisson algebra on M and since the corresponding classical observables form a Poisson algebra on M , the Berezin quantization is a systematic procedure to relate these two Poisson algebras. Also the relation of Berezin quantization and geometric for- mulation of quantum mechanics will be evident as follows. The geometric quantum mechanics is a formulation of quantum mechanics in projective Hilbert spaces. With our construction one sees that the Berezin quantization is an equivalent formulation and in addition gives a prescription as classical limit for geometric quantum mechanics (9).
Introduction The main theme of this survey is the quantization of classical mechanical systems in terms of algebraic geometry. The aim is thus to relate questions of mathematics and theoretical physics. We first recall briefly the main problems and methods which turn us to study the new subject. Quantization itself is the main problem of theoretical physics. The need to introduce and develop it was dictated by the creators of quantum theory. According to the ‘Copenhagen philosophy’, the physical predictions of a quantum theory must be formulated in terms of classical concepts (the first sentence of Woodhouse; here we quote the beginning of this survey). Thus in addition to the usual structures (Hilbert space, unitary transformations, selfadjoint operators …, see, for example, Landau and Lifschitz) any reasonable quantum theory has to admit an appropriate passage to a classical limit under which quantum observables are transferred to their classical analogues. However, as Dirac pointed out at the beginning of the quantum age, the correspondence between quantum theory and classical theory should be based not just on numerical coincidences taking place in the limit h → ∞, but on an analogy between their mathematical structures. Classical theory does approximate the quantum theory, but it does more – it supplies a framework for some interpretation of quantum theory. Using this idea, we can in general understand a quantization procedure as a correspondence between classical and quantum theories. In this sense, quantization of the classical mechanical systems is a movement in one direction, while taking the quasiclassical limit goes in the opposite direction.
In recent work, several researchers including the authors have developed a categorical formalization of quantum mechanics in terms of symmetric monoidal dagger categories. In this framework, classical data turned out to be represented by an algebraic structure, that of special commutative dagger Frobenius algebras. This structure captures the distinct capabilities that apply to classical data – that they can be copied and deleted. In the present paper, we provide categorical semantics and diagrammatic representations of deterministic, nondeterministic, and probabilistic operations over classical data represented in this way. Moreover, a combination of some fundamental categorical constructions (the Kleisli construction of the category of free algebras and the Grothendieck construction of the total category of an indexed category) with the specific categorical presentations of pure and mixed quantum states provides a resource-sensitive categorical account of classical control of quantum data and of classical data resulting from quantum measurements, as well as of the classical data processing that may happen in between measurements and controls. Along the way we also discover some apparently novel quantum typing structures. One of the salient features of categorical quantum mechanics is still its graphic calculus, which allows succinct presentations of diverse quantum protocols. The elements of an abstract stochastic calculus are beginning to emerge from it, pointing toward convenient refinements of resource-sensitive logics that are hoped to capture the probabilistic content and limited observability of quantum data.