Abstracts
A basic introduction to the su(1,1) algebra is presented, in which we discuss the relation with canonical transformations, the realization in terms of quantized radiation field modes and coherent states. Instead of going into details of these topics, we rather emphasize the existing connections between them. We discuss two parametrizations of the coherent states manifold SU(1,1)/U(1): as the Poincaré disk in the complex plane and as the pseudosphere (a sphere in a Minkowskian space), and show that it is a natural phase space for quantum systems with SU(1,1) symmetry.
su(1,1) algebra; SU(1,1) group; canonical transformations; coherent states; second quantization; pseudosphere
Uma introdução simples à álgebra su(1,1) é apresentada, na qual discutimos a relação com transformações canônicas, a realização em termos de modos quantizados do campo de radiação e estados coerentes. Ao invés de entrar em detalhes a respeito desses tópicos, preferimos enfatizar as conexões existentes entre eles. Discutimos duas parametrizações da variedade dos estados coerentes SU(1,1)/U(1): como o disco de Poincaré no plano complexo e como a pseudoesfera (uma esfera em um espaço de Minkowski) e mostramos que se trata de um espaço de fase natural para sistemas quânticos com simetria SU(1,1).
álgebra su(1,1); grupo SU(1,1); transformações canônicas; estados coerentes; segunda quantização; pseudoesfera
ARTIGOS GERAIS
Some basics of su(1,1)
Introdução a su(1,1)
Marcel Novaes
Instituto de Física ''Gleb Wataghin", Universidade Estadual de Campinas, Campinas, SP, Brasil
Endereço para correspondência Endereço para correspondência Marcel Novaes E-mail: mnovaes@ifi.unicamp.br
ABSTRACT
A basic introduction to the su(1,1) algebra is presented, in which we discuss the relation with canonical transformations, the realization in terms of quantized radiation field modes and coherent states. Instead of going into details of these topics, we rather emphasize the existing connections between them. We discuss two parametrizations of the coherent states manifold SU(1,1)/U(1): as the Poincaré disk in the complex plane and as the pseudosphere (a sphere in a Minkowskian space), and show that it is a natural phase space for quantum systems with SU(1,1) symmetry.
Keywords:su(1,1) algebra, SU(1,1) group, canonical transformations, coherent states, second quantization, pseudosphere.
RESUMO
Uma introdução simples à álgebra su(1,1) é apresentada, na qual discutimos a relação com transformações canônicas, a realização em termos de modos quantizados do campo de radiação e estados coerentes. Ao invés de entrar em detalhes a respeito desses tópicos, preferimos enfatizar as conexões existentes entre eles. Discutimos duas parametrizações da variedade dos estados coerentes SU(1,1)/U(1): como o disco de Poincaré no plano complexo e como a pseudoesfera (uma esfera em um espaço de Minkowski) e mostramos que se trata de um espaço de fase natural para sistemas quânticos com simetria SU(1,1).
Palavras-chave: álgebra su(1,1), grupo SU(1,1), transformações canônicas, estados coerentes, segunda quantização, pseudoesfera.
1. Introduction
What I wish to present here is a very basic and accessible introduction to the su(1,1) algebra and its applications. I present for example how to obtain the energy spectrum of hydrogen without solving the Schrödinger equation. I also present the relation with the symplectic algebra and canonical transformations. But the main focus is on coherent states and the geometry of the quotient space SU(1,1)/U(1). Taking into account the realization of this algebra by creation and annihilation operators, I hope these geometrical considerations may have some importance to the field of quantum optics.
The su(1,1) ~ sp(2,R) ~ so(2,1) algebra is defined by the commutation relations
and appears naturally in a wide variety of physical problems. A realization in terms of one-variable differential operators
for example, allows any ODE of the kind
to be expressed in terms of a su(1,1) element [1]. The radial part of the hydrogen atom and of the 3D harmonic oscillator, and also the Morse potential fall into this category, and the analytical solution of these systems is actually due to their high degree of symmetry. In fact, the close relation between the concepts of symmetry, invariance, degeneracy and integrability is of great importance to all areas of physics [2].
Just like for su(2), we can choose a different basis
in which case the commutation relations become
Note the difference in sign with respect to su(2). The Casimir operator, the analog of total angular momentum, is given by
This operator commutes with all of the K's.
Since the group SU(1,1) is non-compact, all its unitary irreducible representations are infinite-dimensional. Basis vectors |k, mñ in the space where the representation acts are taken as simultaneous eigenvectors of K0 and C:
where the real number k > 0 is called the Bargmann index and m can be any nonnegative integer (we consider only the positive discrete series). All states can be obtained from the lowest state |k, 0ñ by the action of the "raising" operator K+ according to
2. Energy levels of the hydrogen atom
The hydrogen atom, as well as the Kepler problem, has a high degree of symmetry, related to the particular form of the potential. This symmetry is reflected in the conservation of the Laplace-Runge-Lenz vector, and leads to a large symmetry group, SO(4, 2). Here we restrict ourselves to the radial part of this problem, as an example of the applicability of group theory to quantum mechanics and of su(1,1) in particular. For more complete treatments see [1, 2]. The radial part of the Schrödinger equation for the hydrogen atom is
If we make r = y2 and R(r) = y-3/2Y(y) we have
and, as already noted in the introduction, this can be written in terms of the su(1,1) generators (2). A little algebra gives
and the Casimir reduces to C = l(l + 1), which gives k = l + 1.
Using the transformation equations
we can choose
in order to obtain
where (y) = Y(y). Since we know the spectrum of K0 from (8) we can conclude that the energy levels are given by
3. Relation with Sp(2,R)
A system with n degrees of freedom, be it classical or quantum, always has Sp(2n, R) as a symmetry group. Classical mechanics takes place in a real manifold, and the kinematics are given by Poisson brackets (i, j = 1..N)
Quantum mechanics takes place in a complex Hilbert space, and the kinematics determined by the canonical commutation relations (i,j = 1..N)
These relations can also be written in the form (now i, j = 1..2N)
where x = (q1,...,qN, p1,..., pN)T, i is the hermitian operator corresponding to xi and J is the 2N × 2N matrix given by
The symplectic group Sp(2N, R) (in its defining representation) is composed by all real linear transformations that preserve the structure of relations (20). It is easy to see that therefore
For a far more extended and detailed discussion, see [3]
For a classical system with only one degree of freedom, such canonical transformations are generated by the vector fields [4]
It is easy to see that these operators have the same commutation relations as the su(1,1) algebra (1).
Note that the symplectic groups Sp(2n, R) are non-compact, and therefore any finite dimensional representation must be nonunitary. In the quantum case, that means that the matrices S implementing the transformations
such that [, ] = i
Jij, are nonunitary (a 2×2 nonunitary representation of su(1,1) exists for example in terms of Pauli matrices, K1 = s2, K2 = s1, K0 = s3). However, since all i and all are hermitian and irreducible, by the Stone-von-Neumann theorem [3, 5] there exists an operator U(S) that acts unitarily on the infinite dimensional Hilbert space of pure quantum states (Fock space). If we now see i and as (infinite dimensional) matrices, then U(S) is such that = U(S)iU(S)1. Finding this unitary operator in practice is in general a nontrivial task.4. Optics
4.1. One-mode realization
We know the radiation field can be described by bosonic operators a and a. If we form the quadratic combinations
we obtain a realization of the su(1,1) algebra. In this case the Casimir operator reduces identically to
which corresponds to k = 1/4 or k = 3/4. It is not difficult to see that the states
with even n form a basis for the unitary representation with k = 1/4, while the states with odd n form a basis for the case k = 3/4.
The unitary operator
is called the squeeze operator in quantum optics, and is associated with degenerate parametric amplification [6]. There is also the displacement operator
which acts on the vacuum state |0ñ to generate the coherent state
Action of S(x) on a coherent state gives a squeezed coherent state, |a, xñ = S(x)|añ.
4.2. Two-mode realization
It is also possible to introduce a two-mode realization of the algebra su(1,1). This is done by defining the generators
In this case the Casimir operator is given by C = (aabb)2 . If we introduce the usual two-mode basis |n, mñ then the states |n + n0, nñ with fixed n0 form a basis for the representation of su(1,1) in which k = (|n0| + 1)/2. A charged particle in a magnetic field can also be described by this formalism [7].
The unitary operator
is called the two-mode squeeze operator [6], or down-converter. When we consider the other quadratic combinations ({ab, (a)2, (b)2, aa bb} and their hermitian adjoint) we have the algebra sp(4, R), of which sp(2, R) ~ su(1,1) is a subalgebra. More detailed discussions about group theory and optics can be found for example in [3, 4, 8].
5. Coherent states
Normalized coherent states can be defined for a general unitary irreducible representation of su(1,1) as [9]
where z is a complex number inside the unit disk, D = {z, |z| < 1}. Similar to the usual coherent states, they can be obtained from the lowest state by the action of a displacement operator:
From (33) we see that su(1,1) coherent states are actually the result of a two-mode squeezing upon a Fock state of the kind |n0, 0ñ. On the other hand, from the one-mode realization (29) they can be regarded as squeezed vacuum states.
These states are not orthogonal,
and they form an overcomplete set with resolution of unity given by
From the integration measure we see that the coherent states are parametrized by points in the Poincaré disk (or Bolyai-Lobachevsky plane), which we discuss in the next section. The expectation value for a product of algebra generators like was presented in [10] and is given by
Simple particular cases of this expression are
Moreover, for k > 1/2 the operator K0 has a diagonal representation as
Just as usual spin coherent states are parametrized by points on the space SU(2)/U(1) ~ S2, the two-dimensional spherical surface, SU(1,1) coherent states are parametrized by points on the space SU(1,1)/U(1), which corresponds to the Poincaré disk. This space can also be seen as the two-dimensional upper sheet of a two-sheet hyperboloid, also known as the pseudosphere.
6. The pseudosphere
The sphere S2 is the set of points equidistant from the origin in a Euclidian space:
The pseudosphere H2 plays a similar role in a Minkovskian space, that is, take the space defined by {(y1, y2, y0)| + = R2}, which is a two-sheet hyperboloid that crosses the y0 axis at two points, ±R, called poles. The pseudosphere, which is a Riemannian space, is the upper sheet, y0 > 0. The pseudosphere is related to the Poincaré disk by a stereographic projection in the plane (y1, y2), using the point (0, 0, R) as base point. The relation between the parameters is
and
The distance ds2 = d + d d and the area dm = sinh tdt Ù df become
Note that the metric is conformal, so the actual angles coincide with Euclidian angles. Geodesics, which are intersections of the pseudosphere with planes through the origin, become circular arcs (or diameters) orthogonal to the disk boundary (the non-Euclidian character of the Poincaré disk appears in some beautiful drawings of M.C. Escher, the ''Circle Limit" series [11]). A very good discussion about the geometry of the pseudosphere can be found in [12], and we follow this presentation.
In the pseudosphere coordinates the average values of the su(1,1) generators are very simple:
From now on we set R = k = 1.
6.1. Action of the group
The symmetry group of the pseudosphere is the group that preserves the relation + = R2, the Lorentz-like group SO(2, 1). The so(2, 1) algebra associated with this group is isomorphic to the su(1,1) algebra we are studying. All isometries can be represented by 3 × 3 matrices L that are orthogonal with respect to the Minkowski metric Q = diag(1, 1, 1) (actually we must also impose L00 > 0 so that we are restricted to the upper sheet of the hyperboloid), and they can be generated by 3 basic types: A) Euclidian rotations, by an angle f0, on the (y1, y2) plane; B) Boosts of rapidity t0 along some direction in the (y1, y2) plane; C) Reflections through a plane containing the y0 axis. As examples, we show a rotation, a boost in the y2 direction and a reflection through the plane (y1, y0):
Incidentally, the geometrical character of the previously used parameters (t, f) becomes clear.
Using the complex coordinates of the Poincaré disk we have
for rotations,
for boosts of rapidity t0 in the f0 direction and S(z) = z* for reflections through the (y1, y0) plane. We see that, except for reflections, all isometries can be written as
and if,as usual, we represent these transformations by matrices there is a realization of the transformation group by 2 × 2 matrices, in which
This is the basic representation of the group SU(1,1). For other parametrizations of the pseudosphere, see [12].
6.2. Canonical coordinates
We present one last set of coordinates, one that has an important physical property. Let us first note that if we define Ki = áz,k|Ki|z,kñ, then there exists an operation {·,·} such that the commutation relations
are exactly mapped to
in agreement with the usual quantization condition {·, ·} ® i[·, ·]. This Poisson Bracket is written in terms of the Poincaré disk coordinates as
It is possible to define new coordinates (q, p) that are canonical in the sense that
These coordinates are given by
and the classical functions are written in terms of them as
We thus see that there is a natural phase space for quantum systems that admit SU(1,1) as a symmetry group. Dynamics of time-dependent systems with this property was examined for example in [13]. This phase space can also be used to define path integrals for SU(1,1) (see [14, 15] and references therein), and obtain a semiclassical approximation to this class of quantum systems.
7. Summary
We have presented a very basic introduction to the su(1,1) algebra, discussing the connection with canonical transformations, the realization in terms of quantized radiation field modes and coherent states. We have not explored these subjects in their full detail, but instead we emphasized how they can be related. The coherent states, for example, can be regarded as one-mode vacuum squeezed states or as two-mode number squeezed states. The coherent states manifold SU(1,1)/U(1) was treated as the Poincaré disk and as the pseudosphere, and shown to be a natural phase space for quantum systems with SU(1,1) symmetry.
Acknowledgments
After completion of this manuscript I became aware of reference [16], which presents a very long account of the group SO(2, 1), its geometrical properties and applications to quantum optics. I acknowledge financial support from Fapesp (Fundação de Amparo à Pesquisa do Estado de São Paulo).
[8] S.L. Braunstein, quant-ph/9904002.
Recebido em 22/07/2004; Aceito em 19/08/2004
- [1] B.G. Wybourne, Classical Groups for Physicists (Wiley, New York, 1974).
- [2] R. Gilmore, Lie Groups, Lie Algebras and Some of Their Applications (Krieger, Malabar, 1994).
- [3] Arvind et al., Pramana J. Physics 45, 471 (1995).
- [4] A.Wunsche, J. Opt. B: Quantum Semiclass. Opt. 2, 73 (2000).
- [5] T.F. Jordan, Linear Operators for Quantum Mechanics (John Wiley, New York, 1974).
- [6] M.O. Scully and M.S. Zubairy, Quantum Optics (Cambridge University Press, Cambridge, 1999).
- [7] M. Novaes and J.-P. Gazeau, J. Phys. A: Math. Gen. 36, 199 (2003).
- [9] A. Perelomov,Generalized Coherent States and Their Applications (Springer, Berlin, 1986).
- [10] T. Lisowski, J. Phys. A: Math. Gen. 25, L1295 (1992).
- [11] D. Schattschneider, M.C. Escher: Visions of Symmetry (Harry N Abrams, New York, 2004), 2nd ed.
- [12] N.L. Balasz and A. Voros, Phys. Rep. 143, 109 (1986).
- [13] A. Bechler, J. Phys. J. Phys. A: Math. Gen. 34, 8081 (2001).
- [14] C.C. Gerry, Phys. Phys. Rev. A 39, 971 (1989).
- [15] C. Grosche and F. Steiner, Handbook of Feynman Path Integrals (Springer, Berlin, 1998).
- [16] H. Kastrup, Fortschritte d. Physik 51, 975 (2003). Also available as quant-ph/0307069.
Publication Dates
-
Publication in this collection
20 Apr 2005 -
Date of issue
Dec 2004
History
-
Received
22 July 2004 -
Accepted
19 Aug 2004