This article discusses the quantization of linear Hamiltonian systems, a historically rich but under explored line of research. The key idea is that a classical linear Hamiltonian system induces on its phase space a compatible complex structure and scalar product, giving rise to a complex Hilbert space where classical dynamics becomes a one-parameter unitary group. Boson Fock quantization of this group then recovers, up to unitary equivalence, the results of canonical quantization. This expository overview traces the development of this framework from foundational works to modern symplectic perspectives, offering a case study in the dialogue between analysis, geometry, and physics.
Constructing a classical mechanical system associated with a given quantum-mechanical one entails construction of a classical phase space and a corresponding Hamiltonian function from the available quantum structures and a notion of coarser observations. The Hilbert space of any quantum-mechanical system naturally has the structure of an infinite-dimensional symplectic manifold ('quantum phase space'). There is also a systematic, quotienting procedure which imparts a bundle structure to the quantum phase space and extracts a classical phase space as the base space. This works straightforwardly when the Hilbert space carries weakly continuous representation of the Heisenberg group and one recovers the linear classical phase space . We report on how the procedure also allows extraction of nonlinear classical phase spaces and illustrate it for Hilbert spaces being finite dimensional (spin- j systems), infinite dimensional but separable (particle on a circle) and infinite dimensional but non-separable (polymer quantization). To construct a corresponding classical dynamics, one needs to choose a suitable section and identify an effective Hamiltonian. The effective dynamics mirrors the quantum dynamics provided the section satisfies conditions of semiclassicality and tangentiality.
Constructing a classical mechanical system associated with a given quantum mechanical one, entails construction of a classical phase space and a corresponding Hamiltonian function from the available quantum structures and a notion of coarser observations. The Hilbert space of any quantum mechanical system naturally has the structure of an infinite dimensional symplectic manifold (`quantum phase space'). There is also a systematic, quotienting procedure which imparts a bundle structure to the quantum phase space and extracts a classical phase space as the base space. This works straight forwardly when the Hilbert space carries weakly continuous representation of the Heisenberg group and recovers the linear classical phase space
mathbbRmathrm2N. We report on how the procedure also allows extraction of non-linear classical phase spaces and illustrate it for Hilbert spaces being finite dimensional (spin-j systems), infinite dimensional but separable (particle on a circle) and infinite dimensional but non-separable (Bohr quantization). To construct a corresponding classical dynamics, one needs to choose a suitable section and identify an effective Hamiltonian. The effective dynamics mirrors the quantum dynamics provided the section satisfies conditions of semiclassicality and tangentiality. There is also an alternative and a priori distinct notion of effective Hamiltonian used in the context of a WKB approximation. These two notions are compared for the example of loop quantum cosmology.
This thesis is concerned with the properties of dynamical systems with Hamiltonians which are general quadratic combinations of classical or quantum canonical variables or of Boson or Fermion annihilation and creation operators.Chapter I, consisting of six sections, deals mainly with sets of canonical forms for quadratic Hamiltonians under the action of the group of linear canonical transformations.By viewing the group of C.C.R.Bogoliubov transformations as Sp(2tf, i?) , a full set of canonical Boson Hamiltonians, labelled by the invariants for symplectic conjugacy classes, is obtained.Since the conjugacy class of a real orthogonal matrix is determined by its eigenvalues, there is only one type of canonical form for quadratic Fermion Hamiltonians.Unlike the Fermion case, indefinite Boson Hamiltonians can not in general be reduced to a sum of quasi-particle number operators.However, it is shown how spectral theory in Krein space rigorizes the full reduction of a strictly positive quadratic Boson Hamiltonian for which the single particle space is infinite dimensional.In the case of infinite degrees of freedom, there are various existence criteria for a unitary operator which implements a given Bogoliubov transformation and the equivalence of these is discussed in Section 6.Cahpter II, consisting of seven sections, applies the techniques of Chapter I to algebraic quantization.The Boson commutation relations , among formal mode operators obtained in heuristic quantization, are shown to be incompatible with the canonical commutation relations among conjugate variables unless the motion is stable.Segal quantization of any real
Classical mechanics has a natural mathematical setting in symplectic geometry and it may be asked if the same is true for quantum mechanics. More precisely, is it possible to capture certain quantum idiosyncrasies within the symplectic framework of classical mechanics? Beginning with Dirac, the idea of quantizing a classical system involved associating the phase space variables with Hermitian operators which act on some Hilbert space, as well as associating the Poisson bracket on the phase space with the commutator for the operators. Mathematically the phase space is associated with some symplectic manifold
M and the non-degenerate 2-form
ω, which comes with
M. Geometric prequantization is a process by which one does this in a mathematically "rigorous" manner and we shall attempt to just introduce the methods here. We do this by exploring this contruction for (
R2n,∑i=1ndpi∧dqi) which avoids using complex line bundles in any non-trivial way. One should note however that the Hilbert space one obtains is in fact too "big", in the sense that it has too many functions in order to correspond with actual physically significant Hilbert spaces. Geometric quantization remedies this situation but it should be noted that not all manifolds are prequantizable. We shall not discuss either of these issues however.
This work reformulates quantum mechanics on the real plane
(R2), establishing an algebraic isomorphism to the complex field
(C) and demonstrating that the complex structure inherent to the Schrödinger equation can be fully captured by coupled real-valued dynamics. By constructing a field
(R2,+,⋅) isomorphic to
C, the real counterpart of the Schrödinger equation is derived, yielding a system of coupled real partial differential equations. This system reveals a symplectic structure where the symplectic matrix
J geometrically represents the imaginary unit
i, acting as a phase-space rotation operator. Time-independent solutions decouple into identical real Helmholtz equations, preserving spectral equivalence. The reformulation provides geometric insights into foundational aspects: the geometric representation of
i, the emergence of probability conservation from real-component interactions, and the encoding of quantum phase relationships through the multiplicative structure of the
R2 field. This perspective reinforces connections to classical Hamiltonian mechanics and geometric quantization, suggesting that complex numbers are structural, emerging from field operations on the real plane, rather than fundamental. Furthermore, quantum computation elements like qubits and gates are shown to have equivalent representations as real symplectic and special orthogonal matrices, maintaining unitary equivalence. We introduce a framework for quantum computation within a real vector space and provide a generalized protocol for generating entangled Bell states. These results offer a new perspective on the necessity of complex numbers in quantum theory, providing a framework with potential computational advantages for hybrid quantum-classical systems and enhanced geometric interpretability.
Coherent quantum physics is quantum physics in terms of a coherent space and an appropriate coherent product. The kinematical structure and the meaning of the quantities are given by the symmetries (invertible coherent maps) of the coherent space. If Z is a coherent manifold, a canonical symplectic form is often canonically determined by the coherent product through the coherent action principle discussed in Section 6.1. In a quantum mechanical context, Z is indeed a classical phase space or an extended phase space-typically a symplectic manifold, a Poisson manifold, or a circle or line bundle over such a manifold that incorporates the classical action variable (encoding the Berry phase under quantization). For example, the Aharonov-Bohm effect [3] needs the bundle formulation. A coherent space and its quantum space provide a classical and a quantum view of the same physical system, discussed in Section 6.2. Section 6.3 shows that symmetries of coherent spaces can be quantized, that is, promoted to linear operators on the quantum space. This leads to quantum dynamics, which in special (completely integrable) situations can be solved in closed form in terms of classical motions on the underlying coherent space, if the latter has a compatible manifold structure. Close relations to concepts from geometric quantization and Kähler manifolds are pointed out in Section 6.4. In order that the quantum space of a coherent space Z can describe physics, one needs not only a distinguished class of coherent states but a more general concept of state. In Sections 6.5-6.6, we give a general abstract setting for states in Lie ∗-algebras, emphasize the essential mathematical features and the close analogy between classical and quantum physics. We illustrate these generalities with a number of examples in Section 6.7. The coherent action principle is put to use in Section 6.8 for numerical quantum physics and an application to quantum chaos. Spectral issues can, in favorable cases, be handled in terms of dynamical Lie algebras, discussed in Section 6.9.