We derive a generalization of the well-known theorem for the square integrability of a unitary irreducible representation of a locally compact group. The generalization covers the case of representations admitting vector coherent states. The result is illustrated by an example drawn from the isochronous Galilei group. The construction yields a wide variety of coherent states, labeled by phase space points, which satisfy a resolution of the identity condition, and incorporate spin degrees of freedom.
Group representations play a central role in theoretical physics. In particular, in quantum mechanics unitary — or, in general, projective unitary — representations implement the action of an abstract symmetry group on physical states and observables. More specifically, a major role is played by the so-called square integrable representations. Indeed, the properties of these representations are fundamental in the definition of certain families of generalized coherent states, in the phase-space formulation of quantum mechanics and the associated star product formalism, in the definition of an interesting notion of function of quantum positive type, and in some recent applications to the theory of open quantum systems and to quantum information.
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 n-dimensional Euclidean group—the group of rotations and translations of Rn —is the natural canonical group for quantizing a system whose configuration space is the sphere Sn−1, n≥2. Since every unitary irreducible representation of E(n) is nonsquare integrable it follows that coherent states involving the whole group do not exist for such representations. Instead, coherent states are defined based on unitary, reducible representations of the group, and it will be shown that, with such states, quantum dynamics on the sphere admits a path-integral representation involving novel first-order classical actions defined on E(n) as well as integrations over the entire group manifold at each time slice. Irreducibility of the quantization is achieved through a final limiting process.
If the state space of a quantum system is finite dimensional it may be considered as the carrier space of an irreducible unitary representation of some compact Lie group G. In this case the set of operators may be put in one-to-one correspondence with a class of functions defined on the group parameters (Q representation). For these functions a binary relation is derived that corresponds to the product of two operators. The general formalism is applied to G=SU(2) (spin coherent states) and this result is used to derive a product formula for the non-compact Heisenberg-Weyl group (coherent oscillator states.).
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).