The Jacobi group the semidirect product of the Heisenberg group and the symplectic group [1–3] is an important object in quantum mechanics, geometric quantization, optics [4–6]. The Jacobi group is responsible for the squeezed states [7–12] in quantum optics [5], [6], [13], [14]. Some coherent state systems based on SiegelJacobi domains [15], [16] have been investigated in the framework of quantum mechanics, geometric quantization, dequantization, quantum optics, nuclear structure, and signal processing [17], [18], [19], [20][23]. We have attached in [20] Perelomov’s coherent states [24] to the Jacobi group G1∗= H1(R)nSU(1,1), based on the Siegel-Jacobi disk D1 =C×D1, where D1 = {z ∈ C||z| . ez ∈ H denotes the Perelomov coherent state vector indexed by the points z of the homogeneous manifold M = G/H , where H is compact subgroup of G. The generalized squeezed states of the type introduced in [22], [23], [25] are not new [8, 26, 27]. The paper is organized as follows. §2 collects the main notation concerning
A general definition of squeezed states is proposed and its main features are illustrated through a discussion of the standard optical coherent states represented by 'Gaussian pure states'. The set-up involves representations of groups on Hilbert spaces over homogeneous spaces of the group, and relies on the construction of a square integrable (coherent state) group representation modulo a subgroup. This construction depends upon a choice of a Borel section which has a certain permissible arbitrariness in its selection; this freedom is attributable to a squeezing of the defining coherent states of the representation, and corresponds in this way to a sort of gauging.
The dynamics of quantum expectation values is considered in a geometric setting. First, expectation values of the canonical operators are shown to be equivariant momentum maps for the action of the Heisenberg group on quantum states. Then, the Hamiltonian structure of Ehrenfest's theorem is shown to be Lie-Poisson for a semidirect-product Lie group, named the `Ehrenfest group'. In addition, quantum dynamics is expressed in the frame of the expectation values, in which the latter undergo canonical Hamiltonian motion. In the case of Gaussian states, expectation values dynamics couples to second-order moments, which also enjoy a momentum map structure. Eventually, Gaussian states are shown to possess a Lie-Poisson structure associated to a semidirect-product subgroup of the Ehrenfest group, which is called the Jacobi group. This structure produces new energy-conserving terms in a class of Gaussian moment models (previously appeared in the chemical physics literature) that suffer from lack of energy conservation in the general case.
When solving problems involving quantum mechanical systems, it is frequently desirable to find the matrix elements of a unitary representation
T of a real algebraic Lie group
G. This requires defining an inner product on the Hilbert space
mathbbH that carries the representation
T. In the case where the representation is determined by a representation of a subgroup containing the lowest weight vector of
T, this can be achieved through the coherent state construction. In both the scalar and vector coherent state methods, the process of finding the overlaps can be simplified by introducing the coherent state triplet (
mathfrakFmathbbHD,
mathbbHD,
mathfrakFmathfrakHD) of Bargmann spaces. Coherent state wave functions -- the elements of
mathfrakFmathbbHD and of
mathfrakFmathbbHD -- are used to define the inner product on
mathbbHD in a way that simplifies the calculation of the overlaps. This inner product and the group action
Gamma of
G on
mathfrakFmathbbHD are used to formulate expressions for the matrix elements of
T with coefficients from the given subrepresentation.\n\nThe process of finding an explicit expression for
Gamma relies on matrix factorizations in the complexification of
G even though the representation
T does not extend to the complexification. It will be shown that these factorizations are, in fact, justified, that the overlaps and
Gamma action can be expressed in terms of the given subrepresentation, and that it is possible to find numerical values for the inner product in
mathbbH. The scalar and vector coherent state methods will both be applied to Sp(
n) and Sp(
n,mathbbR).