90NH
90NH
90NH
ii
CONTENTS
Preface
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
iii
Chapter 5. Quantized Fields
5.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
5.2. The multivariate AnalyticSignal transform . . . . . . . . . . . . . . .154
5.3. Axiomatic field theory and particle phase spaces . . . . . . . . . . 161
5.4. Free KleinGordon fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
5.5. Free Dirac fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
5.6. Interpolating particle coherent states . . . . . . . . . . . . . . . . . . . . . 203
5.7. Field coherent states and functional integrals . . . . . . . . . . . . . 208
Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
Chapter 6. Further Developments
6.1. Holomorphic gauge theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
6.2. Windowed XRay transforms: Wavelets revisited . . . . . . . . . 235
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
iv
PREFACE
The idea of complex spacetime as a unification of spacetime and classical phase space, suitable as a possible geometric basis for the synthesis
of Relativity and quantum theory, first occured to me in 1966 while
I was a physics graduate student at the University of Wisconsin. In
1971, during a seminar I gave at Carleton University in Canada, it
was pointed out to me that the formalism I was developing was related to the coherentstate representation, which was then unknown
to me. This turned out to be a fortunate circumstance, since many
of the subsequent developments have been inspired by ideas related
to coherent states. My main interest at that time was to formulate
relativistic coherent states.
In 1974, I was struck by the appearance of tube domains in axiomatic quantum field theory. These domains result from the analytic
continuation of certain functions (vacuum expectaion values) associated with the theory to complex spacetime, and powerful methods
from the theory of several complex variables are then used to prove
important properties of these functions in real spacetime. However,
the complexified spacetime itself is usually not regarded as having
any physical significance. What intrigued me was the possibility that
these tube domains may, in fact, have a direct physical interpretation
as (extended) classical phase spaces. If so, this would give the idea of
complex spacetime a firm physical foundation, since in quantum field
theory the complexification is based on solid physical principles. It
could also show the way to the construction of relativistic coherent
states. These ideas were successfully worked out in 1975-76, culminating in a mathematics thesis in 1977 at the University of Toronto
entitled PhaseSpace Approach to Relativistic Quantum Mechanics.
Up to that point, the theory could only describe free particles.
The next goal was to see how interactions could be added. Some
progress in this direction was made in 1979-80, when a natural way
was found to extend gauge theory to complex spacetime. Further
progress came during my sabbatical in 1985-86, when a method was
developed for extending quantized fields themselves (rather than their
vacuum expectation values) to complex spacetime. These ideas have
so far produced no hard results, but I believe that they are on the
right path.
Although much work remains to be done, it seems to me that
enough structure is now in place to justify writing a book. I hope
that this volume will be of interest to researchers in theoretical and
v
mathematical physics, mathematicians interested in the structure of
fundamental physical theories and assorted graduate students searching for new directions. Although the topics are fairly advanced, much
effort has gone into making the book selfcontained and the subject
matter accessible to someone with an understanding of the rudiments
of quantum mechanics and functional analysis.
A novel feature of this book, from the point of view of mathematical physics, is the special attention given to signal analysis
concepts, especially timefrequency localization and the new idea of
wavelets. It turns out that relativistic coherent states are similar to
wavelets, since they undergo a Lorentz contraction in the direction
of motion. I have learned that engineers struggle with many of the
same problems as physicists, and that the interplay between ideas
from quantum mechanics and signal analysis can be very helpful to
both camps. For that reason, this book may also be of interest to
engineers and engineering students.
The contents of the book are as follows. In chapter 1 the simplest
examples of coherent states and timefrequency localization are introduced, including the original canonical coherent states, windowed
Fourier transforms and wavelet transforms. A generalized notion of
frames is defined which includes the usual (discrete) one as well as
continuous resolutions of unity, and the related concept of reproducing kernels is discussed.
In chapter 2 a new, algebraic approach to orthonormal bases of
wavelets is formulated. An operational calculus is developed which
simplifies the formalism considerably and provides insights into its
symmetries. This is used to find a complex structure which explains
the symmetry between the low and the highfrequency filters in
wavelet theory. In the usual formulation, this symmetry is clearly
evident but appears to be accidental. Using this structure, complex
wavelet decompositions are considered which are analogous to analytic coherentstate representations.
In chapter 3 the concept of generalized coherent states based on
Lie groups and their homogeneous spaces is reviewed. Considerable
attention is given to holomorphic (analytic) coherentstate representations, which result from the possibility of Lie group complexification. The rotation group provides a simple yet nontrivial proving
ground for these ideas, and the resulting construction is known as the
spin coherent states. It is then shown that the group associated
with the Harmonic oscillator is a weak contraction limit (as the spin
s ) of the rotation group and, correspondingly, the canonical co-
vi
herent states are limits of the spin coherent states. This explains why
the canonical coherent states transform naturally under the dynamics
generated by the harmonic oscillator.
In chapter 4, the interactions between phase space, quantum mechanics and Relativity are studied. The main ideas of the phase
space approach to relativistic quantum mechanics are developed for
free particles, based on the relativistic coherentstate representations
developed in my thesis. It is shown that such representations admit
a covariant probabilistic interpretation, a feature absent in the usual
spacetime theories. In the nonrelativistic limit, the representations
are seen to contract smoothly to representations of the Galilean
group which are closely related to the canonical coherentstate representation. The Gaussian weight functions in the latter are seen to
emerge from the geometry of the mass hyperboloid.
In chapter 5, the formalism is extended to quantized fields. The
basic tool for this is the AnalyticSignal transform, which can be applied to an arbitrary function on IRn to give a function on Cln which,
although not in general analytic, is analyticityfriendly in a certain sense. It is shown that even the most general fields satisfying
the Wightman axioms generate a complexification of spacetime which
may be interpreted as an extended classical phase space for certain
special states associated with the theory. Coherentstate representations are developed for free KleinGordon and Dirac fields, extending
the results of chapter 4. The analytic Wightman twopoint functions
play the role of reproducing kernels. Complexspacetime densities of
observables such as the energy, momentum, angular momentum and
charge current are seen to be regularizations of their counterparts
in real spacetime. In particular, Dirac particles do not undergo their
usual Zitterbewegung. The extension to complex spacetime separates,
or polarizes, the positive and negativefrequency parts of free fields,
so that Wick ordering becomes unnecessary. A functionalintegral
representation is developed for quantized fields which combines the
coherentstate representations for particles (based on a finite number
of degrees of freedom) with that for fields (based on an infinite number
of degrees of freedom).
In chapter 6 we give a brief account of some ongoing work, beginning with a review of the idea of holomorphic gauge theory. Whereas
in real spacetime it is not possible to derive gauge potentials and
gauge fields from a (fiber) metric, we show how this can be done in
complex spacetime. Consequently, the analogy between General Relativity and gauge theory becomes much closer in complex spacetime
than it is in real spacetime. In the holomorphic gauge class, the
vii
relation between the (nonabelian) YangMills field and its potential
becomes linear due to the cancellation of the nonlinear part which
follows from an integrability condition. Finally, we come full circle by
generalizing the AnalyticSignal transform and pointing out that this
generalization is a higherdimensional version of the wavelet transform which is, moreover, closely related to various classical transforms
such as the Hilbert, FourierLaplace and Radon transforms.
I am deeply grateful to G. Emch for his continued help and encouragement over the past ten years, and to John Klauder and Ray
Streater for having read the manuscript carefully and made many
invaluable comments, suggestions and corrections. (Any remaining
errors are, of course, entirely my responsibility.) I also thank D. Buchholtz, F. Doria, D. Finch, S. Helgason, I. Kupka, Y. Makovoz, J. E.
Marsden, M. OCarroll, L. Rosen, M. B. Ruskai and R. Schor for miscellaneous important assistance and moral support at various times.
Finally, I am indebted to L. Nachbin, who first invited me to write
this volume in 1981 (when I was not prepared to do so) and again in
1985 (when I was), and who arranged for a tremendously interesting
visit to Brazil in 1982. Quero tambem agradecer a todos os meus
colegas Brasileiros!
1
Chapter 1
COHERENTSTATE REPRESENTATIONS
1.1. Preliminaries
In this section we establish some notation and conventions which will
be followed in the rest of the book. We also give a little background on
the main concepts and formalism of nonrelativistic and relativistic
quantum mechanics, which should make this book accessible to non
specialists.
1. Spacetime and its Dual
In this book we deal almost exclusively with flat spacetime, though
we usually let space be IRs instead of IR3 , so that spacetime becomes
X = IRs+1 . The reason for this extension is, first of all, that it involves
little cost since most of the ideas to be explored here readily generalize
to IRs+1 , and furthermore, that it may be useful later. Many models
in constructive quantum field theory are based on two or three
dimensional spacetime, and many currently popular attempts to unify
physics, such as string theories and KaluzaKlein theories, involve
spacetimes of higher dimensionality than four or (on the string world
sheet) twodimensional spacetimes. An event x X has coordinates
x = (x ) = (x0 , xj ),
(1)
s
X
k x k x ,
(2)
=0
1. CoherentState Representations
x and k other than the pairing (x, k) 7 kx. But suppose we are given
a scalar product on X,
x x0 = g x x0
(3)
(4)
(5)
f (k) =
dx e2ikx f (x)
(6)
X
1.1. Preliminaries
(8)
where h
is Plancks constant, and the classical momentum is re
interpreted as the wavenumber vector of the associated wave by De
Broglies relation,
p = 2
hk.
(80 )
(P f )(x) =
dk p e2ikx f(k) = i
h f (x),
(9)
x
X
or, in terms of x ,
1. CoherentState Representations
P0 = i
h
and Pk = i
h
.
t
xk
(90 )
f (p) =
dx eipx/h f (x)
X
Z
(10)
s1
ipx/
h
f (x) = (2
h)
dp e
f (p).
X
1.1. Preliminaries
As this book is aimed at a mixed audience, I will now take a few paragraphs to review this notation and, hopefully, convince mathematicians of its correctness and value. When applied to coherentstate
representations, as opposed to representations in which the position
or momentum operators are diagonal, it is perfectly rigorous. (The
braket notation is problematic when dealing with distributions, such
as the generalized eigenvectors of position or momentum, since it tries
to take the inner products of such distributions.)
Let H be an arbitrary complex Hilbert space with inner product h, i. Each element f H defines a bounded linear functional
f : H Cl by
f (g) = hf, gi.
(13)
(14)
(15)
defined by
|gi() = g,
Cl,
(16)
which will be called kets. Thus elements of H will be denoted alternatively by g or by |gi. We may now consider the composite map
braket
hf | gi : Cl Cl,
(17)
given by
hf | gi() = f (g) = f (g)
= hf, gi.
(18)
Therefore the braket map is simply the multiplication by the inner product hf, gi (whence it derives its name). Henceforth we will
identify these two and write hf | gi for both the map and the inner
product. The reverse composition
1. CoherentState Representations
|gihf | : H H
may be viewed as acting on kets to produce kets:
|gihf | |hi = |gi hf |hi .
(19)
(20)
(22)
h hn | gm ih gm | f i.
(23)
them. (The vector h x | is a distribution which evaluates test functions at the point x; as such, | x0 i does not exist within modernday
distribution theory.) We will generally abstain from this use of the
braket notation.
Finally, it should be noted that the term representation is used
in two distinct ways: (a) In the above sense, where abstract Hilbert
space vectors are represented by functions in various function spaces,
and (b) in connection with groups, where the action of a group on a
Hilbert space is represented by operators.
This notation will be especially useful when discussing frames, of
which coherentstate representations are examples.
[Pk , Pl ] = 0,
[Xk , Pl ] = ikl I,
(1)
Pk f (x) = i
f (x),
xk
(2)
the Schr
odinger representation.
As a consequence of the above commutation relations between Xk
and Pk , the position and momentum of the particle obey the Heisenberg uncertainty relations, which can be derived simply as follows.
The expected value, upon measurement, of an observable represented
by an operator F in the state represented by a wave function f (x)
with kf k = 1 (where k k denotes the norm in L2 (IRs )) is given by
h F i = h f | F f i.
(3)
1. CoherentState Representations
(4)
.
xk
(5)
(6)
(7)
1
.
2
(8)
f = zk f
xk
(9)
for some real number b (which may actually depend on k) and some
z Cls . But squareintegrable solutions exist only for b > 0, and then
there is a unique solution (up to normalization) z for each z Cls .
To simplify the notation, we now choose b = 1. Then Ak and Ak
satisfy the commutation relations
[Ak , Al ] = 0,
[Ak , Al ] = 2kl I,
(10)
and z is given by
2
z (x0 ) = N exp[
z 2 /4 + z x0 x0 /2],
(11)
(12)
in the state given by z . The vectors z are known as the canonical coherent states. They occur naturally in connection with the
harmonic oscillator problem, whose Hamiltonian can be cast in the
form
H=
1
1
s
P 2 + m2 2 X 2 = m 2 A A +
2m
2
2
(13)
with
Ak = Xk + iPk /m
(14)
(thus b = 1/m). They have the remarkable property that if the initial state is z , then the state at time t is z(t) where z(t) is the orbit
in phase space of the corresponding classical harmonic oscillator with
initial data given by z. These states were discovered by Schr
odinger
himself [1926], at the dawn of modern quantum mechanics. They were
further investigated by Fock [1928] in connection with quantum field
theory and by von Neumann [1931] in connection with the quantum
measurement problem. Although they span the Hilbert space, they
do not form a basis because they possess a high degree of linear dependence, and it is not easy to find complete, linearly independent
subsets. For this reason, perhaps, no one seemed to know quite what
to do with them until the early 1960s, when it was discovered that
what really mattered was not that they form a basis but what we
shall call a generalized frame. This allows them to be used in generating a representation of the Hilbert space by a space of analytic
functions, as explained below. The frame property of the coherent
states (which will be studied and generalized in the following sections
and in chapter 3) was discovered independently at about the same
time by Klauder, Bargmann and Segal. Glauber [1963a,b] used these
vectors with great effectiveness to extend the concept of optical coherence to the domain of quantum electrodynamics, which was made
10
1. CoherentState Representations
hf | giF
d(z) f(z)
g (z),
(16)
C
ls
where z x ip and
d(z) = (2)s exp(
z z/2) ds x ds p.
(17)
(18)
11
(2)
Therefore
Z
d(z) |f(z) |2
Z
Z
2
s
=N
d x ds x0 exp[(x0 x)2 ] |f (x0 ) |2
Z
= ds x0 | f (x0 ) | 2
(21)
(22)
(23)
(24)
C
ls
Dropping the bra hf | and ket |gi, we have the operator identity
Z
d(z) |z ihz | = I,
(25)
C
ls
12
1. CoherentState Representations
d(w) B(z,
f(w).
(26)
C
ls
Particularly simple representations are obtained for the basic position and momentum operators. We get
Xk z (x0 ) x0k z (x0 )
zk
=
+
z (x0 )
zk
2
(27)
Pk z = i(Ak Xk )z
zk
z ,
=i
zk
2
thus
k f =
X
zk
+
zk
2
f
(28)
Pk f = i
zk
zk
2
f.
* As will be shown in a more general context in the next section, under favorable conditions the integral actually converges in the strong
operator topology.
13
that is,
Z
f (x ) =
(30)
C
ls
Thus in many respects the coherent states behave like a basis for
L2 (IRs ). But they differ from a basis in at least one important respect:
They cannot all be linearly independent, since there are uncountably
many of them and L2 (IRs ) (and hence also F) is separable. In particular, the above reconstruction formula can be used to express z in
terms of all the w s:
Z
z =
d(w) | w ih w | z i.
(31)
C
ls
14
1. CoherentState Representations
(1)
is a generalized frame in H if
1. the map h: m 7 hm is weakly measurable, i.e. for each f H
the function f(m) h hm | f i is measurable, and
2. there exist constants 0 < A B such that
Z
2
Akf k
d(m) | h hm | f i | 2 Bkf k2
f H.
(2)
M
HM is a frame (see Young [1980] and Daubechies [1988a]) in the special case when M is countable and is the counting measure on M
(i.e., it assigns to each subset of M the number of elements contained
in it). In that case, the above condition becomes
X
A kf k2
| h hm | f i | 2 B kf k2
f H.
(3)
mM
f H.
15
(4)
(5)
A kf k2 kT f k2L2 (d) B kf k2 .
(6)
with
GT T =
d(m) | hm ih hm | ,
(7)
(8)
Proposition 1.2. If the integral G(N ) converges in the strong operator topology of H whenever N has finite measure, then so does the
complete integral representing G = T T .
Proof *. Since M is finite, we can choose an increasing sequence
{Mn } of sets of finite measure such that M = n Mn . Then the corresponding sequence of integrals Gn forms a bounded (by G) increasing
sequence of Hermitian operators, hence converges to G in the strong
operator topology (see Halmos [1967], problem 94).
If the frame is tight, then G = AI and the above gives a resolution
of unity after dividing by A. For non-tight frames, one generally has
to do some work to obtain a resolution of unity. The frame condition
means that G has a bounded inverse, with
B 1 I G1 A1 I.
* I thank M. B. Ruskai for suggesting this proof.
(10)
16
1. CoherentState Representations
(11)
(12)
(c) P T = T.
It follows that P is the orthogonal projection onto the range of T ,
P : L2 (d) <T ,
(13)
(14)
The function
K(m, m0 ) h hm | G1 hm0 i
(15)
17
(16)
(17)
(18)
(19)
18
1. CoherentState Representations
f = Sg = G1 T T f
Z
1
=G
d(m) | hm ih hm | f i
M
Z
=
d(m) G1 | hm ig(m).
(20)
(21)
Note that
Z
d(m) | hm ih hm | = G1 GG1 = G1 ,
(22)
(23)
which shows that the frame vectors hm are in general not linearly independent. The consistency condition can be understood as requiring
19
mM
(28)
mM
where
gmk h hm | hk i = h hm | Ghk i
(29)
and
h hm | hk i = A1 km ,
(30)
20
1. CoherentState Representations
delta and metric tensor to the infinitedimensional case where, in addition, the requirement of linear independence is dropped. The point
is that the all-important reconstruction formula, which allows us to
express any vector as a linear combination of the frame vectors, survives under the additional (and obviously necessary) restriction that
the consistency condition be obeyed. The useful concepts of orthogonal and orthonormal bases generalize to tight frames and frames with
A = B = 1, respectively. We will call frames with A = B = 1 normal.
Thus normal frames are nothing but resolutions of unity.
Returning to the general situation, we must still supply a way of
computing G1 , on which the entire construction above depends. In
some of the examples to follow, G is actually a multiplication operator,
so G1 is easy to compute. If no such easy way exist, the following
procedure may be used. From AI G BI it follows that
1
1
1
(B A)I G (B + A)I (B A)I.
2
2
2
(31)
Hence letting
=
BA
B+A
and
c=
2
,
B+A
(32)
we have
I I cG I.
(33)
X
1
(I cG)k
= c I (I cG)
=c
(34)
k=0
(35)
21
Z
f =c
d(m) hm g(m).
(37)
<
T of the range of T , which is the null space N (T ) of T since
g <
T h g | T f i = 0
h T g | f i = 0
f H
f H
(38)
T g = 0.
Suppose we are given some function g(m) L2 (d) and apply
the reconstruction formula to it blindly, without worrying whether
the consistency condition is satisfied. That is, consider the vector
f G1 T g
(39)
(40)
g(m) = f (m) if m
(41)
0
if m
/ .
Then g does not belong to <T , in general, and f1 G1 T g is the
leastsquares approximation to the (unknown) vector f in view of our
22
1. CoherentState Representations
changing f (<T 6= {0} since the frame vectors are dependent). However, there is still a unique admissible coefficient function, i.e. one
satisfying the consistency condition. Moreover, as we shall see, it
usually happens in practice that the set M , in addition to being a
measure space, has some further structure, and the reproducing kernel K(m, m0 ) preserves this structure. For example, M could be a
topological space and K be continuous on M M , or M could be a
differentiable manifold and K be differentiable, or (as will happen in
our treatment of relativistic quantum mechanics) M could be a complex manifold and K be holomorphic. Furthermore, K could exhibit
a certain boundary or asymptotic behavior. In such cases, these
properties are inherited by all the functions f(m) in <T , and then of
all possible coefficient functions for a given f H, there is only one
which exhibits the appropriate behavior. In this sense, uniqueness is
restored. We will refer to frames with such additional properties as
continuous, differentiable, holomorphic, etc.
In addition to properties such as differentiability or holomorphy,
the kernels K we will encounter will usually have certain invariance
properties with respect to some group of transformations acting on
M . This, too, will induce a corresponding structure on the function
space <T .
23
or Hille [1972].
Suppose we begin with an arbitrary set M and a set of functions
g(m) on M which forms a Hilbert space F under some inner product
h | i. In section 1.3, M happened to a measure space, F was <T
and the inner product was that of L2 (d). But it is important to
keep in mind that the exact form of the inner product in F does
not need to be specified, as far as the general theory of reproducing
kernels is concerned. Suppose we are given a complexvalued function
K(m, m0 ) on M M with the following two properties:
1. For every m M , the function Km (m0 ) K(m0 , m) belongs to
F.
2. For every m M and every g F, we have
g(m) = h Km | g i.
(1)
(2)
(3)
(4)
(5)
24
1. CoherentState Representations
the supremum being attained by gm0 (m) = Km0 (m)/L(m0 ), and this
is, up to an overall phase factor, the only function which attains the
supremum. This fact has an important interpretation when M is the
classical phase space of some system, F represents the Hilbert space
of the corresponding quantum mechanical system and |g(m)|2 is the
probability density in the quantum mechanical state g of finding the
system in the classical state m. The above inequality then shows that
the state which maximizes the probability of being at m0 is uniquely
determined (up to a phase factor) as gm0 . In other words, gm0 is a
wave packet which is in some sense optimally localized at m0 in phase
space.
Another example of how the kernel function K embodies the properties of the entire Hilbert space F is the following: If the basic set M
has some additional structure, such as being a measure space (as it
was in the setting of frame theory) or a topological space or a C k , C ,
realanalytic or complex manifold, and if K(m, m0 ), as a function of
m, preserves this structure (that is, K(m, m0 ) is measurable, continuous, C k , C , realanalytic or holomorphic in m, respectively), then
every function g(m) in F has the same property.
The question arises: If we are given a Hilbert space F whose
elements are all functions on M , how do we know whether this space
posesses a reproducing kernel? Clearly a necessary condition for K
to exist is that
| f (m) | = | h Km | f i | kKm k kf k
(6)
for all f F and all m M . But this means that for every fixed m,
the map Em : F Cl defined by
Em (f ) = f (m)
(7)
(8)
25
(9)
That is, F posesses a reproducing kernel if and only if all the evaluation maps are bounded.
In all of the applications we will encounter, the set M will have
a structure beyond those mentioned so far: it will be a Lie group G
or a homogeneous space of G. That is, each g G acts on M as an
invertible transformation preserving whatever other structure M may
have such as continuity, differentiability, etc, and these tranformations
form the group G under composition. Let us denote the action of g
on M by m 7 mg (i.e., G acts from the right). Then the operator
Tg : F F
(Tg f )(m) = f (mg)
(10)
(11)
(12)
hence
Therefore the reproducing kernel K(m0 , m) is invariant under the action of G if and only if all the operators Tg are unitary, i.e. the
representation g 7 Tg is unitary.
The group G usually appears in applications as a natural set of
operations such as translations in space and time (evolution), changes
of reference frame or coordinate system, dilations and frequency shifts
(especially useful in signal analysis), etc. Invariance under G then
means that the transformed objects (wave functions, signals) form a
description of the system equivalent to the original one, i.e. that the
transformation changes nothing of physical significance.
Finally, let us note that the concept of generalized frame, as
defined in the previous section, is a special case of a reproducing
kernel Hilbert space. For given such a frame {hm }, the function
K(m0 , m) = h hm0 | G1 hm i is a reproducing kernel for the space <T
since (a):
Km (m0 ) K(m0 , m) = T (G1 hm ) (m0 )
(13)
26
1. CoherentState Representations
f (m) =
d(m0 ) K(m, m0 )f(m0 ) = h Km | f i<T .
(14)
27
The ears output at time s depends on the input f (t) for t in some
interval s t s, where is a lagtime characteristic of the ear.
In analyzing f (t) in this interval, the ear may give different weights
to different parts of f (t). Thus the signal to be analyzed for output
at time s may be modeled as
fs (t) = h(t s) f (t)
(2)
where h(t s) is the weight assigned to f (t). (As noted above, we are
allowing h to be complexvalued for future applications, though here
it should be realvalued; the bar means complex conjugation.) The
function h(t) is characteristic of the ear, with support in the interval
t 0. Such functions are known in communication theory as
windows.
Having localized the signal around time s, we now analyze its
frequency content by taking the Fourier transform:
Z
f (, s) = fs () =
dt e2it h(t s) f (t).
(3)
(5)
f(, s) = h h,s | f i,
(6)
we have
28
1. CoherentState Representations
M = {(, s) | , s IR} IR2 ,
(7)
ds d | f(, s) | 2 =
Z
ds
s f )() | 2
d | (h
IR2
dt | hs (t)f (t) | 2
Z
Z
2
= dt | f (t) |
ds | h(t s) | 2
=
ds
(9)
= khk2 kf k2 ,
where both norms are those of L2 (IR). This shows that the family of vectors h,s is indeed a tight frame, with frame constants
A = B = khk2 . Now h,s = exp(2it)hs (t) is just a translation of
hs in frequency, that is,
s ( 0 ).
,s ( 0 ) = h
h
(10)
29
khk
ds d | h,s ih h,s | = I,
(11)
IR2
f (t) = khk
(12)
IR2
= hs f ()
Z
0
2is
0 ) f( 0 ),
=e
d 0 e2i s h(
(13)
f . As will be seen in the next chapter, the reason for this symmetry is
that windowed Fourier transforms, like the canonical coherent states,
are closely related to the WeylHeisenberg group, which treats time
and frequency in a symmetrical fashion. (This is rooted in symplectic
geometry.)
The h,s s are highly redundant. We want to find discrete subsets
of them which still form a frame, that is we want discrete subframes.
The following construction is taken from Kaiser [1978c, 1984a]. Let
T > 0 be a fixed time interval and suppose we sample the output
signal f(, s) only at times s = nT where n is an integer. To discretize the frequency as well, note that the localized signal fnT (t) =
nT (t)f (t) has compact support in the interval nT t nT ,
h
hence we can expand it in a Fourier series
fnT (t) =
X
m
where F = 1/ and
e2imF t cmn
(14)
30
1. CoherentState Representations
nT
cmn = F
nT
nT
=F
(15)
nT
= F f(mF, nT ).
The only problem with this representation of fnT is that it only holds
in the interval nT t nT , since fnT vanishes outside this
interval while the Fourier series is periodic. To force equality at all
times, we multiply both sides by hnT (t):
hnT (t) fnT (t) = |hnT (t)|2 f (t)
X
=
e2imF t hnT (t) f(mF, nT )
m
(16)
Attempting to recover the entire signal rather than just pieces of it,
we now sum both sides with respect to n:
X
|h(t nT )|
f (t) =
(17)
n.m
Recovery of f (t) is possible provided that the sum on the left converges
to a function
X
g(t)
|h(t nT )|2
(18)
n
(19)
| h hmF,nT | f i | =
n,m
dt g(t)|f (t)|2
(20)
31
(21)
(23)
This looks like the uncertainty principle going the wrong way. The
intuitive explanation for this has been discussed at the end of section
1.3.
Notice that the closer we choose T to , the more difficult it is
for the window function to be smooth. In the limiting case T = ,
h(t) must be discontinuous if the above frame condition is to be
obeyed. As noted earlier, this means that its Fourier transform h()
can no longer be concentrated near = 0, so the frequency resolution of the samples suffers. In concrete terms, this means that
whereas for nice windows h(t) we may hope to get a good approximation to the reconstruction formula by truncating the double sum
after an appropriate finite number of terms, this can no longer be
expected when T . In other words, it pays to oversample! Appropriate here means that we cover most of the area in the time
frequency plane where f lives. Clearly, if the sampling is done only
for |n| N , we cannot expect to recover f (t) outside the interval
N T t N T . If h()
is nicely peaked around = 0, say with a
spread of , and the signal f (t) is (approximately) bandlimited,
so that f() 0 for || W , then we can expect to get a good
approximation to f (t) by truncating the sum with m M , where
32
1. CoherentState Representations
that h()
is concentrated around an interval of width about the
origin, with < W . Then we expect f(, s) 0 for || W +
. In order to reduce the double sum in our reconstruction formula to
a single sum over n as in the Nyquist theorem, choose F = W + .
Then f(mF, s) 0 whenever m 6= 0. To apply the reconstruction
formula, we must still choose a time interval T < . By the uncertainty principle, > 1/2. The above condition on therefore
implies that > 1/2W . It would thus seem that we could get away
with a slightly larger sampling interval T than the Nyquist interval
TN = 1/2W . Our reconstruction formula reduces to
X
f (t) g(t)1
h(t nT ) f(0, nT ).
(24)
n
33
about the origin. Of course, since h(t) has compact support, h()
is
the restriction to IR of an entire function and hence cannot vanish on
any interval, much less be of compact support. The above statement
34
1. CoherentState Representations
kha,s k
(3)
1/2
f (t).
(4)
f (a, s) = h H | f i =
dt |a|
h
a
Before proceeding any further, let us see how the wavelet transform localizes signals in the timefrequency plane. The localization
in time is clear: If we assume that h(t) is concentrated near t = 0
(though it will no longer be convenient to assume that h has compact support), then f(a, s) is a weighted average of f (t) around t = s
(though the weight function need not be positive, and in general may
even be complex). To analyze the frequency localization, we again
want to express f in terms of the Fourier transforms of h and f . This
is possible because, like the windowed Fourier transform, the wavelet
transform involves rigid timetranslations of the window, resulting in
a convolutionlike expression. The impulse response is now (setting
f (t) = (t))
ga (s) = |a|1/2 h(s/a),
(5)
f(a, s) = ga f (s) = ga f (s),
(6)
and we have
with
Z
ga () =
(7)
Later we will see that discrete tight frames can be obtained with certain choices of h(t) whose Fourier transforms have compact support
in a frequency interval interval . Such functions (or, rather,
the operations of convolutiong with them) are called bandpass filters
in communication theory, since the only frequency components in f (t)
to survive are those in the band [, ]. Then the above expression
35
(8)
where IR denotes the group of non-zero real numbers under multiplication. M is the affine group of translations and dilations of the
real line, t0 = at + s, and this fact will be recognized as being very
important in chapter 3. But for the present we use a more pedestrian
approach to obtain the central results. This will make the power and
elegance of the grouptheoretic approach to be introduced later stand
out and be appreciated all the more. At this point we only make the
safe assumption that the measure d on M is invariant under time
translations, i.e. that
d(a, s) = (a)da ds
(9)
d(a, s) | f(a, s) | 2 =
(a) da ds | (
ga f)(s) | 2
ZM
Z
=
(a)da
d | ga () | 2 | f() | 2
ZIR
ZIR
=
(a)da
d |a| | h(a)
| 2 | f() | 2
IR
ZIR
=
d H() | f() | 2
= h f | H f iL2 (IR) ,
(10)
36
1. CoherentState Representations
where
Z
(a) | a | da | h(a)
|2
H() =
IR
i
2
2
(11)
H() =
h
i
| 2 + (/) | h()
d (/) | h()
|2 .
(12)
H() =
h
i
|2 ,
d (/) | h()
| 2 + (/) | h()
(13)
unless h()
vanishes in a neighborhood of the origin. Note that the
above expression for H() shows that if both (a) and h()
vanish
for negative arguments then H() 0 and no frame exists. Hence to
support general complex-valued windows (such as bandpass filters for
a positivefrequency band), it is necessary to include negative as well
as positive scale factors a.
The general case, therefore, is that we get a (generalized) frame
whenever (a) and h(t) are chosen such that 0 < A H() B is
satisfied. The metric operator G and its inverse are given in terms
of Fourier transforms by
Gf = H f
and
G1 f = H 1 f .
(15)
Since G is no longer a multiplication operator in the time domain
(as it was in the case of the discrete frame we constructed from the
37
H() =
c | h() | 2 + c | h()
|2
(17)
0
and for < 0,
Z
H() =
0
i
d h
2
+
2
c | h() | + c | h() | .
(18)
| 2 = | h()
(20)
for tight frames, which coincides with the measure suggested by group
theory (see chapter 3). In addition, we have found that the basic
wavelet h must have the property that
Z
d 2
h() < .
(21)
ch
IR ||
In that case, h(t) is said to be admissible. This condition is also a special case of a grouptheoretic result, namely that we are dealing with
a squareintegrable representation of the appropriate group (in this
case, the affine group IR IR). To summarize, we have constructed
a continuous tight frame of wavelets ha,s provided the basic wavelet
is admissible. The corresponding resolution of unity is
38
1. CoherentState Representations
c1
h
Z
IR IR
da ds
| ha,s ih ha,s | = I.
a2
(22)
(23)
R
where c = h(u) du. The transformed signal f is a smoothedout
version of f and a serves as a resolution parameter.
Ultimately, all computations involve a finite number of operations, hence as a first step it would be helpful to construct a discrete
subframe of our continuous frame. Toward this end, choose a fundamental scale parameter a > 1 and a fundamental time shift b > 0.
We will consider the discrete subset of dilations and translations
D = {(am , nam b) | m, n ZZ } IR IR.
(24)
Note that since am > 0 for all m, only positive dilations are included in
D, contrary to the lesson we have learned above. This will be remedied
later by considering h(t) along with h(t). Also, D is not a subgroup
of IR IR, as can be easily checked. The wavelets parametrized by
D are
t nam b
m/2
hmn = a
h
= am/2 h(am t nb).
(25)
am
n ZZ
(26)
39
(27)
(28)
(29)
(30)
where
cmn =
1
Wm
(33)
40
1. CoherentState Representations
Z
fmn =
(34)
(a2
a
1) b
(35)
and
cmn = am/2 bfmn .
(36)
| k(am ) | 2
f() = b
=b
m,n
kmn () fmn .
m,n
(37)
To have a frame we would need the series on the lefthand side to
converge to a function + () with
X
0 < A + ()
| k(am ) | 2 B
(38)
m
h()
is supported on an interval of positive frequencies and am > 0,
+
so () vanishes for 0. However, we can choose h(t), a and b
such that + () satisfies the frame condition for > 0. Negative frequencies will be taken care of by starting with the complexconjugate
of the original wavelet. We adopt the notation
h+ (t) h(t),
h (t) h(t).
(39)
(40)
41
m,n
and
()
| k (am ) | 2 = + ().
(42)
m
+
(43)
for all 6= 0. Since {0} has zero measure in frequency space, the
frame condition is satisfied by the joint set of vectors
a,b
+
HM
= {kmn
, kmn
| m, n ZZ}.
(44)
| kmn
ih kmn
|
(45)
(46)
= m,nZZ
is given by
42
1. CoherentState Representations
h
i
F/a
sin
for F
F F/a
+
k () =
h
i
cos F
, for F.
aF F
(48)
(49)
Thus
+
() =
0
1
for 0
for > 0,
(50)
a.e.
(51)
(52)
= m,nZZ
This frame is not a basis; if it were, it would have to be an orthonormal basis since it is a normal frame, hence the reproducing
kernel would have to be diagonal. But
0
K(, m, n; 0 , m0 , n0 ) h kmn
| km
0 n0 i
(53)
43
44
3.1. Introduction
Although we have not sought to exploit it until now, it is clear that
all our frames so far have been obtained with the aid of group operations. The frames associated with the canonical coherent states
and the windowed Fourier transform were built using translations in
phase space (WeylHeisenberg group), while the wavelet frames used
translations and dilations (the affine group). In this chapter we look
for a unifying pattern in these constructions based on group theory.
We analyze the foregoing constructions in turn, and draw separate
lessons from each. It will be natural to work in reverse order. The
affine group, which is, in some sense, the simplest, will lead us to
the general method. Successive refinements will be suggested by the
windowed Fourier transform and the canonical coherent states.
(1)
(2)
45
46
hg = U (g)h.
(4)
(5)
Hence the set of all finite linear combinations (span) of hg s is invariant under U , and therefore so is its closure S. Since U is irreducible
and S 6= {0}, it follows that S = H. This means that every vector in H can be approximated to arbitrary precision by finite linear
combinations of hg sa good beginning, if one is ultimately interested in reconstruction! To build a frame from the hg s, we need a
measure on G. Now every Lie group has an essentially unique (up
to a constant factor) leftinvariant measure, which we will denote by
d. This means that if E is an arbitrary (Borel) subset of G, and if
g1 E {g1 g | g E} is its left translate by g1 G, then
Z
Z
(g1 E)
d(g) = (E)
d(g).
(6)
g1 E
(7)
(8)
47
(9)
(10)
= JU (g1 ),
where we have used the leftinvariance of the measure and
h hg1 g0 | =
1
| hg1 g0 i = U (g11 ) | hg0 i = h hg0 | U (g1 ),
(13)
48
(14)
where c is a positive constant which can taken as unity by the appropriate normalization of d. Returning to the formal integral defining
J, the above argument shows that if the integral converges in some
sense, it must converge to cI, hence define a bounded operator. (Of
course c could be infinite!) Thus a necessary condition for convergence
in the weak sense (i.e., as a quadratic form) is that
Z
hh|J hi =
d(g) h h | hg ih hg | h i
G
Z
(15)
2
=
d(g) | h h | U (g) | h i | < .
G
49
h(g)
= h hg | h i = h h | U (g)h i,
(17)
(18)
Absorbing the reciprocal of this constant into the group measure, the
map T : f 7 f is an isometry from H onto its range <T .
Due to the covariance of the hg s with respect to the action of
G, the representation of G on <T acquires the simple geometric form
(g1 )f (g) h hg | U (g1 )f i
U
= h hg1 g | f i
(19)
= f(g11 g),
showing that G acts on <T by merely translating the variable in the
as above is called
base space G. The realization of f by f and U by U
the coherentstate representation determined by the pair (U, h). We
will also refer to the frame { hg | g G} as the groupframe (G
frame) associated with (U, h). From a purely mathematical point of
view, one of the attractions of this scheme is that although we started
with an arbitrary representation of G on an arbitrary Hilbert space,
this construction brings it home to G itself and objects directly associated with it: the Hilbert space is a closed subspace of L2 (d), and
the representation is induced from the (left) action of G on itself, i.e.
g 7 g11 g. That is, Klauders construction exhibits U as a subrepresentation of the regular representation of G. (See Mackey [1968] for
the definition and discussion of the regular representation.)
50
f (x),
x
Expressed in the space domain,
P f (x) = i
(Xf )(p) = i
f (p).
p
(1)
Xf (x) = xf (x).
(2)
Starting with a basic window function h(x), the window centered at
(p, x) in phase space is given by
0
(3)
(5)
51
Hence the operators U (p, x) do not form a group, since two successive
operations give rise to a multiplier exp(ipx1 ). The reason is that
translations in space do not commute with translations in momentum,
as can also be seen at the infinitesimal level by noting that their
respective generators obey the canonical commutation relations
[X, P ] = x, i
= iI.
(6)
x
The remedy (suggested by Hermann Weyl) is to include the identity
operator as a new generator (it generates phase factors ei which
can be used to absorb the multiplier). To see this in terms of unitary
representations of Lie groups, consider the abstract real Lie algebra
w with three generators {iS, iT, iE} and Lie brackets
[S, T ] = iE,
[S, E] = 0,
[T, E] = 0.
(7)
(8)
where exp denotes the exponential mapping from the Lie algebra
w to the Lie group W, whose group law is
g(p1 , x1 , 1 ) g(p, x, ) = g(p1 + p, x1 + x, 1 + + px1 ).
(9)
(10)
52
(11)
where hp,x are the vectors defined earlier. The leftinvariant measure
on W (which, in this case, is also rightinvariant) is just Legesgue
measure on IR3 , given by the differential form dp dx d. This can
be seen by looking at the composition law: For fixed (p1 , x1 , 1 ),
d(p1 + p) d(x1 + x) d(1 + + px1 ) = dp dx d
(12)
where the phase factor cancels in the integrand. This integral clearly
diverges, since the integrand is independent of and the integration
is over all real . Equivalently, the representation U is not square
integrable, since for every nonzero h,
Z
ch dp dx d | h h | U (p, x, )h i | 2 =
(14)
due, again, to the constancy of the integrand in . We could get
around the problem by choosing a multiply connected version W1 of
W, say with 0 < 2. (W1 has the same Lie algebra as W).
This would indeed give a tight frame, but this frame is unnecessarily
redundant (as opposed to the beneficial sort of redundance associated with oversampling) since the vectors hp,x, are not essentially
different for distinct values of . More significantly, we would miss an
important lesson which this example promises to teach us. For other
important groups, as we will see, the problem cannot be circumvented
by compactifying the troublesome parameters. The following solution
was proposed by Perelomov [1972] (see also Klauder [1963b, p. 1068],
where this idea is anticipated). To get rid of the dependence, choose
a slice of W, = (p, x), and define
53
(15)
Integrating only over this slice with the measure dp dx, we get
Z
0
J dp dx | h
(16)
p,x ih hp,x | = ch I,
where ch = 2khk2 , since the integral reduces to the same one we had
for the windowed Fourier transform.
From a computational point of view this is, of course, trivial. But
to extend the technique to other groups we must understand the group
theory behind it. Suppose, then, that we return to the general setup
we had in the last section: Given a unitary irreducible representation
U of a Lie group G on a Hilbert space H, choose a nonzero vector h
in H and form its translates hg = U (g)h under the group action as
before. Consider now the set H of of all elements k of G for which
the action of U (k) on h reduces to a multiplication by a phase factor
(k) = exp[i(k)]:
U (k)h = (k)h,
k H.
(17)
(18)
(19)
54
(20)
(This formulation, besides avoiding irrelevant phase facors, also permits states which are statistical mixtures of pure states as needed,
for example, in statistical quantum mechanics.) The translate of P
under a general group element g is then
Pg | hg ih hg | = U (g) P U (g) ,
(21)
(22)
hence Pgk = Pg . That is, Pg is the same for all members of the left
coset
gH {gk | k H}.
(23)
(24)
55
To build a frame, we take a slice of G by choosing a representative from each coset, i.e. choosing a map
: G/H G.
(25)
(26)
(27)
dM (m) | hm
ih hm
Z
| =
dM (m) Pm .
(28)
56
(29)
(30)
Thus
1
U (g1 ) J U (g1 )
Z
=
ZM
=
dM (m) Pg1 m
M
Z
=
(31)
dM (m0 ) Pm0
= J,
using the unitarity of U (g1 ) and the invariance of dM . This proves
that J = cI, provided the integral converges in some sense.
Note: The above proof becomes shorter if one works directly with
the states Pm rather than the frame vectors; however, it is important
to see the action of G on the frame vectors in terms of the multipliers since this will play a role in the next section, where we look for
representations of G on spaces of holomorphic functions. #
A necessary condition for the weak convergence of the integral is
that
Z
hh|J hi =
dM (m) | h hm | h i | 2 < ,
(32)
M
57
Hilbert space of functions f(m) = h hm | f i is somewhat more complicated than earlier because of the multiplier. (If we simply dropped
the multipliers we would no longer have a unitary representation of
G but a projective representation; see Varadarajan [1970].)
The above construction has the advantage that the trivial part of
the action of G is factored out, thereby improving the chances that the
integral J converges. As mentioned above, it depends on the existence
of the invariant measure dM on G/H, which is not guaranteed. Note
that for fixed g G, the stability subgroup for the vector U (g)h is
gHg 1 , i.e., a subgroup of G conjugate to H. In general, however,
the stability subgroups of two admissible vectors h1 and h2 may not
be conjugates. It may happen that G/H1 has an invariant measure
while G/H2 does not. It pays, therefore, to choose the vector h very
carefully. Intuition suggests that h should be chosen so as to maximize
the stability subgroup, since this will minimize the homogeneous space
M and improve the chances for convergence. Furthermore, maximal
use of symmetry would seem to make it more likely that an invariant
measure exists on the quotient. More will be said about this in the
next section, in connection with the weight of a representation.
We will refer to the frame { hm } as a homogeneous Gframe associated with (U, h). The dependence on will usually be suppressed,
since a change in (the local sections) gives an equivalent frame.
58
rectly to the main body of this book (chapters 4 and 5). Nevertheless, we describe them in considerable detail in the hope that they
may shed some light on our later constructions, which are still not
wellunderstood in general terms.
Let us return to the canonical coherent states in order to isolate
the property leading to analyticicy and find its generalization to other
groups. We follow an approach first advocated by Onofri [1975]. For
related developments, also see Perelomov [1986]. Again consider the
threedimensional WeylHeisenberg group W, whose (real) Lie algebra w has a basis {iS, iT, iE} which is represented on L2 (IR) by
S X, T P and E I. Recall that we arrived at the canonical coherent states z as eigenvectors of the nonhermitian operator
A = X + iP , which represents the complex combination S + iT of
generators in w. Since w is a real Lie algebra, we must complexify
it in order to consider such combinations of its generators. This is
done in the same way as complexifying a real vector space, namely by
taking the tensor product with the field of complex numbers. With
obvious notation, wc = w Cl = w + iw. As will be seen below,
complex combinations such as S iT play a very important role in
the theory of real Lie groups, exactly for the same reason that complex eigenvectors and eigenvalues are necessary in order to study real
matrices.
We begin by rederiving the canonical coherent states from an
algebraic point of view which shows their relation to the vectors hp,x
associated with the windowed Fourier transform and pinpoints the
property which makes them analytic. In the last section we found
that
hp,x = eipX eixP h.
(1)
Now if B and C are operators such that [B, C] commutes with both
B and C, then the BakerCampbellHausdorff formula (Varadarajan
[1974]) reduces to
1
eB eC = e 2 [B,C] eB+C .
(2)
(3)
Substituting
X = (A + A)/2
and
iP = (A A)/2
(4)
59
(5)
So far, all our manipulations have been justifiable since we have only
exponentiated skewadoint operators. The next one is more delicate
since the operators to be exponentiated are not skewadjoint; it will
be justified later. Using the BakerCampbellHausdorff formula again
with B = zA /2 and C = zA/2, write
hp,x = exp (ipx/2 zz/4) exp (
z A /2) exp (zA/2) h.
(6)
If we choose
h(x0 ) = N exp x0 2 /2 = 0 (x0 )
(7)
(8)
We claim that
exp (
z A /2) 0 = z .
(9)
(10)
(11)
60
giving the weight function on the righthand side in the bargain. The
reason for this is that the hp,x s were obtained by unitarily translating
h, whereas the operator exp (
z A /2) which translates 0 to z is not
unitary but results in kz k = exp |z|2 /4 k0 k; the weight function
then corrects for this.
We can now justify the fine point we glossed over earlier. The
expression
exp (
z A /2) exp (zA/2) 0
(13)
(14)
since A0 = 0, and
(b) 0 is an analytic vector (Nelson [1959]) for the operator A , since
X
X
|z|n
1
n
k (
z A /2) 0 k =
kA n 0 k
n
n!
2 n!
n=0
n=0
X
|z|n n/2
2
n! k0 k <
=
2n n!
n=0
(15)
z Cl ,
61
H hc }.
(16)
g , g g+
(18)
g ,
(19)
62
(20)
H hc .
(21)
(24)
Since there can only be a finite number of roots, (4) and (9) also imply
that after taking a finite number of brackets of elements in either n+
or n we obtain zero; that is, the subalgebras n are nilpotent. We
may choose a basis for gc as follows: Pick a nonzero vector Z from
63
(25)
(26)
(27)
[Z , Z ] = 2C .
(28)
(29)
[J3 , J1 ] = iJ2 .
We first show that w can be obtained as a contraction limit of g.*
Choose a positive number and define K1 = J1 , K2 = J2 and
K3 = 2 J3 . These form a new basis for g, with
* The idea of group contractions is due to In
on
u and Wigner [1953].
64
[K1 , K2 ] = iK3
[K2 , K3 ] = i2 K1
(30)
[K3 , K1 ] = i2 K2 .
In the limit 0, g becomes isomorphic to w. We will see in
section 3.6 that within a unitary irreducible representation of SU (2),
the operator K3 can be chosen so that K3 I as 0, hence we
may interpret the limits of K1 and K2 as X and P , respectively.
Now apply the above structure theory to gc , which is just
sl(2, Cl ). The direct sum of copies of sl(2, Cl ) therefore reduces to a
single term. For the Cartan subalgebra of g we can choose h = IR J3
(the onedimensional subspace spanned by J3 ), so that hc = Cl J3 .
Two linearly independent root vectors are given by J = J1 iJ2 ,
with
[J3 , J+ ] = J+ ,
[J3 , J ] = J .
(31)
We choose (J3 ) = 1 as the single positive root and J for the basis
vectors of the two onedimensional root subspaces. Then
[J+ , J ] = 2J3
(32)
(33)
K3 E 7 I,
where we have used 7 to denote the representation of w on L2 (IR).
[This correspondence is not unique; for example, K+ A , K A,
K3 E is equally good. As will be shown in section 3.6, both of
these correspondences actually occur as weak limits, due to the fact
that an irreducible representation of SU (2) contracts to a reducible
representation of w.] Note that the three roots {2 , 0, 2 } all merge
into a single root, zero, in the contraction limit. Thus the operators
A and A are interpreted as the contraction limits of root vectors.
Note: Another way of seeing the importance and naturality of A
and A is in the context of the KirillovKostantSouriau theory,
sometimes called Geometric Quantization, applied to the Oscillator
65
and Sniatycki
[1980].
We are, at last, ready to generalize the construction of group
representations on spaces of holomorhic functions to other groups.
We begin with a semisimple, real Lie group G and a unitary irreducible representation U of G on a Hilbert space H. To avoid technical difficulties, we will here assume that G is compact. (The reason for assuming compactness, as well as ways to get around it, will
be discussed below.) Then the irreducibility of U implies that H be
finitedimensional, hence the operators U (g) representing group operations are just unitary matrices and the operators U (X) representing
elements of g are skewadoint matrices. (Sometimes the operator
representing X is written as dU (X) to emphasize its infinitesimal
nature; we will write it as U (X) to keep the notation simple.) At the
Lie algebra level, U extends, by complexlinearity, to a representation
T of gc :
T (X + iY ) U (X) + iU (Y ).
(34)
if
(35)
X g gc .
Z gc .
(36)
66
general, be a nonskewadjoint, unbounded operator. (Even the definition T (Z) = T (X) + iT (Y ) becomes troublesome, since the skew
adjoint operators T (X) and T (Y ) may both be unbounded and their
domains may have little in common; additional assumptions must be
made.) In the case of W, this was resolved by restricting exp[T (Z)] to
act on analytic vectors. A similar approach is used in extending the
present construction to noncompact G. For the present, we continue
to assume that G is compact to avoid this problem. #
Lemma 3.2..
(a) g 7 T (g) is an irreducible (nonunitary) representation of Gc .
(b) The map Z 7 T (exp Z) is analytic as a map from the complex
vector space gc to the complex matrices on H.
Proof. If A is a matrix which commutes with all T (Z) for Z gc ,
then in particular it commutes with all U (X) for X g, hence must
be a multiple of the identity since U is irreducible. Therefore T is
irreducible. To prove (b), note that Z 7 T (exp Z) is, by definition,
the composite of the two analytic maps Z 7 T (Z) and T (Z) 7
exp[T (Z)].
It follows that the map T from Gc (considered as a complex manifold; see Wells [1980]) to the group GL(H) of nonsingular matrices
on H is also analytic; that is, T is a holomorphic representation of
Gc , obtained by analytically continuing the representation U of G.
Now the point of Onofris construction is this: We have seen that by
choosing a state which is stable under H, U can be reformulated as
a representation of G on a space of functions f(m) defined over the
homogeneous space G/H. In the case G = W, G/H was identified as
a phase space, but in general it is not clear that it can be interpreted
as such. Following Onofri, we will show that:
(a) The representation T induces a complex structure on the homogeneous space G/H, making it into a complex manifold on which G
acts by holomorphic transformations. (Such a manifold is called a
complex homogeneous space of G, or a holomorphic homogeneous
Gspace.)
(b) In addition, G/H has the (symplectic) structure of a classical
phase space, and the action of G on G/H is by canonical transformations. Thus it becomes possible to think of G/H as phase
space. To actually identify G/H as the phase space of a classical
physical system, i.e. as the set of dynamical trajectories followed
by that system, it is necessary for G to include the dynamics for
the system, i.e. its evolution group, of which nothing has been
said so far. This will be discussed in the next chapter.
67
The representatives U (H) of the elements H of h form a commuting set of skewadjoint matrices, hence can all be diagonalized
simultaneously. Let h be a common eigenvector:
U (H) h = (H) h,
(37)
(38)
= ((H) + (H)) T (Z ) h.
That is, T (Z ) raises the weight by . Similarly, for ,
T (Z ) lowers the weight by . Since nonzero vectors with different
weights are linearly independent and H is finitedimensional, it follows
that H must contain a nonzero vector with lowest weight, i.e. such
that
T (Z ) h = 0
(39)
T (Z) h = 0
Z n .
(40)
Equivalently,
For the group W, h was the ground state 0 and the above equations correspond to T (iE) 0 = i0 (so (iE) = i) and A0 =
0.
Consider the subalgebra
b = hc + n+
(41)
T (Z)h
(42)
belongs to hc since [H,
hc ] = 0. Extending by complex
and H
linearity to hc , we therefore have
68
(43)
h = exp (H)
h.
exp T (Z)
(44)
hence
(45)
b B.
(46)
g Gc .
(47)
g Gc ,
(48)
g Gc ,
69
(49)
which, when restricted to g G, coincide with the earlier frame vectors but are antiholomorphic in the group parameters of Gc . An
arbitrary vector f H defines a holomorphic function on Gc by
f(g) h hg | f i.
(50)
(51)
(52)
For arbitrary b B,
hence
Note:
The reader familiar with fiber bundles (Kobayashi and Nomizu [1963, 1969]) will recognize the above equation as the condition
defining a holomorphic section of the holomorphic line bundle associated to the principal bundle B Gc Gc /B by the character
: B Cl . We now proceed to construct this section in a naive way,
that is, without assuming any knowledge of bundle theory. #
The above shows that the state determined by hg depends only
on the left coset gB, which we denote by z. Let
Z = Gc /B
(53)
70
| hg ih hg |
,
h hg | hg i
z gB Z,
(54)
hg
.
h ha | hg i
(55)
(56)
(57)
(58)
71
The reader may wonder where this is all leading, since we are
ultimately interested in the real group G and not in Gc . Here is
the point: It is known (Bott [1957]) that the complex homogeneous
space Z = Gc /B actually coincides with the real homogeneous space
M = G/H used in Perelomovs construction! For example, consider
the WeylHeisenberg group: G/H is parametrized by (x, p) while
Gc /B is parametrized by x ip, and they are the same set but with
the difference that the latter has gained a complex structure. The
identification of M with Z in general can be obtained by noting that
as a subgroup of Gc , G acts on Z by holomorphic transformations;
this action turns out to be transitive, and the isotropy subgroup at
the origin z0 = B is H, hence Z G/H. In other words, M
inherits a complex structure from Gc , and the natural action of G on
M preserves this structure. Because of this, we need not deal directly
with Gc to reap the benefits of the complex structure. Let us therefore
restrict ourselves to G. Then
hg = h ha | hg i az = U (g) h,
(59)
| hg i h hg | = | h ha | hg i | | az i h az |
e(z,) | az i h az | ,
(60)
72
e(z,0) = | h z | 0 i | = ezz/2 .
(63)
Hence in the general case, e takes the place of the Gaussian weight
function: it corrects for the fact that holomorphic translations do not
preserve the norm. The action of G on the space of local holomorphic
functions fa (z) has a multiplier:
h hg | U (g1 ) f i
h hg | ha i
h hg1 g | ha i h hg1 g | f i
1
1
=
h hg | ha i
h hg1 g | ha i
h az | U (g1 )f i =
(64)
(z, g1 ,
)fa (g1 1 z),
where z = gH, = aH and
(z, g1 ,
) =
=
h hg | U (g1 ) ha i
h hg | ha i
h hg1 g | ha i
1
h hg | ha i
h hg | hg 1 a i
=
h hg | h a i
(65)
73
f
dzk ,
zk
= f d
f
zk
zk
(66)
(67)
2 = 0,
+ = 0.
(68)
exp[(g11 z, )]
,
exp[(z, )]
(69)
74
0
1
1
0
,
2 =
0 i
i 0
,
3 =
1 0
0 1
.
(2)
[J+ , J ] = 2J3 .
(3)
(4)
(5)
75
S+ vs = 0,
(6)
S3 vs = svs ,
(7)
To build a homogeneous frame as in section 3.3, we use a decomposition of G in terms of Euler angles,
g(, , ) = exp(iJ3 ) exp(iJ2 ) exp(iJ3 ),
(8)
(9)
(10)
(11)
(12)
S2
for some number c. To find c, take the trace of both sides and use the
fact that | hn ih hn | is a rankone projection operator (and hence its
trace is unity). This gives
76
4 = c Tr I = c(2s + 1),
(13)
(14)
(15)
(17)
(18)
d + .
If we write N = exp(n ), then the above decomposition is Gc
N Hc N + . Comparison with the original form of g gives
= ed ,
= ed ,
= ed ,
= ed + ed .
(19)
(g) = ,
(g) = /,
(g) = /.
77
(20)
Remarks:
1. Matrices with = 0, i.e. of the form
g=
0
1
,
(21)
clearly do not have this decomposition. They form a 2dimensional complex submanifold of Gc , hence have (group) measure
zero.
which
2. Elements of G are distinguished by =
and = ,
implies
1 = (1 + )
1 .
= (1 + )
(22)
The Borel subgroup discussed in section 3.4 is B = Hc N + and
consists of all matrices of the form
b=
.
(23)
0 1
Its cosets B can therefore be parametrized by Cl. The unattainable matrices with = 0 form a single coset, corresponding to = .
Hence the homogeneous space Gc /B is the Riemann sphere:
Z Gc /B Cl {} S 2 ,
(24)
+ 0
.
+ 0
(26)
78
(27)
+ ) h e2ds
hg = e2ds exp(S
h .
(28)
e2sd1 h
hg
=
,
h hg 1 | hg i
h h1 | h i
(29)
with
+ ) h i.
h h1 | h i = h h | exp(1 S ) exp(S
(30)
torization N Hc N and use S h = 0. It suffices to do the computation at the level of 22 matrices since the result depends only on
the commutation relations, which are preserved by the representation.
Thus
1
1
0
1
1
0 1
d0
1 0
e
=
0 1
0
0
ed
1
0
0
1
(31)
0 0 0
+
d
which gives
0
ed = 1 + 1 ,
ed 0 = 1 ,
0 ed = .
(32)
Hence
0 0 0
h h1 | h i = h h | T (+
d ) h i
2s
0
= e2sd = 1 + 1 ,
and
(33)
79
(34)
(35)
2s(d+d)
=e
g = d+
| h h | h i | 2
(36)
= e2s(d+d) .
But for g G we have the constraint
1 ,
e2s(d+d) = | | 2 = (1 + )
(37)
2s .
e() = (1 + )
(38)
hence
= 2is ln(1 + )
2isd d
=
2 .
(1 + )
(39)
d d
2s+2 | h ih h | = cI
(1 + )
(40)
Thus
Z
2si
C
l
(41)
80
8s
0
rdr
= c(2s + 1),
(1 + r2 )2
(42)
C
l (1 + )
where d2 is now Lebesgue measure on Cl.
What do the functions f() = h h | f i look like? Consider the
vectors
un =
1
(S+ )n h,
n!
n = 0, 1, 2, .
(44)
h = eS+ h
1 + + ()
2s u2s ,
= u0 + u
(45)
f() = f0 + f1 + + 2s f2s ,
(46)
hence
(47)
81
S+ () = lnh h | h i
2s
=
.
1 +
(48)
n
n
To find S3 (), note that [S3 , S+ ] = S+ implies [S3 , S+
] = nS+
, hence
h
i
+
+ eS
S3 , eS+ = S
(49)
and
+
+ h + eS
S3 h = S
S3 h
+ + s h .
= S
(50)
1
S3 () = s S+ () = s
.
+ 1
(51)
Hence
(52)
= s2 ,
thus S()
belongs to the 2sphere of radius s centered at the origin. In
(53)
82
radius s minus the north pole and define hs = h , where is the unique
(54)
since the equation obviously holds for s = (0, 0, s), hence for all s
by symmetry.
C
l
with that on the representation space H of W in terms of the canonical
coherent states,
Z
1
d2 z ezz/2 | z ih z | = I.
(2)
2 Cl
Note that if we set
z
=
2 s+1
(3)
83
d z
C
l
zz
1+
2(2s + 2)
(2s+2)
| sz ih sz | = I.
(4)
If we now take the formal limit s , this coincides with the resolution of unity on H, provided we can show that sz z . Our task
is now (a) to find the sense in which this limit is to be taken, (b) to
show that the generators Sks of g go over to the generators A, A and
I of w and (c) to show that the coherent states sz go over to the
canonical coherent states z .
To properly study the limit s , we will first of all imbed all
the spaces Hs into H, so that the limit may be considered within H.
This is done most easily by using the orthonormal bases obtained by
s
applying S+
and A to the respective ground states. An orthonormal basis for H is given by
1/2
wn = (2n n!)
(A ) 0 ,
n = 0, 1, 2, . . . ,
(5)
where A0 = 0 and the normalization is determined by the commutation relation [A, A ] = 2I. The generators A and A act by
Awn = 2n wn1
(6)
A wn = 2n + 2 wn+1 .
An orthonormal basis for Hs is given by
s
(2s n)! s n s
wns =
S+ h ,
n = 0, 1, 2, . . . , 2s,
n!(2s)!
(7)
s s
where S
h = 0. We imbed Hs into H by identifying wns with wn and
defining Sks wn = 0 for n > 2s. Then for 0 n 2s,
p
s
S
wn = n(2s n + 1) wn1
p
s
(8)
S+
wn = (n + 1)(2s n) wn+1
S3s wn = (n s)wn .
To see how the generators Sks must be scaled, note that the relation
between and z implies that
84
(9)
where
s
K+
=
s
S+
.
s+1
(10)
s
s
s
s
Define K
= S
/ s + 1, so that K
= K+
, and
K3s
1 s
S3s
s
[K+ , K
]=
.
2
s+1
(11)
n(2s n + 1)
wn1
s+1
r
(n + 1)(2s n)
s
wn+1
K+ wn =
s+1
ns
wn .
K3s wn =
s+1
s
K
wn =
(12)
s
K
wn 2n wn1
s
(13)
K+
wn 2n + 2 wn+1
K3s wn wn .
Comparing this with the action of A and A , we see that
s
K
A
s
K+
A
K3s
(14)
(15)
85
which satisfies
s
N
wn = nwn ,
0 n 2s,
s
N
wn = swn ,
n > 2s,
(16)
1
A A,
2
(17)
1
X2 + P 2 I .
2
(18)
s
The fact that K+
A means that
s
sz exp zK+
/2 w0 exp(
z A /2)w0 z ,
(19)
h hs | Ss hs i
h hs | hs i
(20)
ranges over the sphere of radius s centered at the origin, with the
north pole corresponding to = . The transformation from Sks to
Kks deforms this sphere to an ellipsoid,
s
+
|K
()|2
3s ()2 =
+K
s+1
s
s+1
2
.
(21)
s 1.
When s , this ellipsoid splits into the two planes K
3
s
Our weak limit K3 I only picked out the lower plane. We could
have picked out the upper plane by imbedding Hs into H differently,
namely by identifying w2sn with wn for n = 0, 1, 2, . . . , 2s. In that
case we would have obtained the weak limits
86
(22)
K3s I.
In terms of the coherent states, this corresponds to using the highest
weight vector instead of the lowestweight vector or, equivalently,
using a chart centered about the north pole rather than the south
pole, for example, by using as reference point the element g1 = eiJ2 .
The corresponding harmonicoscillator Hamiltonian is the weak limit
of the operator
s
s
N+
s S3s = 2s N
.
(23)
s
s
The expectation values of N
and N+
,
2s
s
N
() =
1 +
2s
s
+
N
() =
,
1 +
(24)
s
s
+
N
() = N
(1/).
(25)
The splitting of the ellipsoid into the two planes can be understood from the point of view of representation theory by writing the
irreducibility condition in terms of the Ks:
s
1
2
s
s
s
s
K+
K
+ K
K+
+ (K3s ) =
Is .
2s + 2
s+1
2
(26)
87
(28)
that
2
s s
(S3s 21 ) = (s + 12 ) S+
S ,
(29)
hence formally
S3s
1
2
q
2
s Ss
= (s + 12 ) S+
Ss Ss
(s + ) + ,
2s + 1
(30)
1
2
from which
s()
S3
s(+)
S3
()
1 s s
K ,
s + K+
2
1 s s
s + 1 K+
K ,
2
(31)
which corresponds to P0
(mc2 + H). The analogy between
the largespin and the nonrelativistic limits can be summarized as
follows: The Poincare group corresponds to SU (2), the energy P0 to
S3s , the rest energy mc2 to s, and the nonrelativistic Hamiltonian H
to the harmonic oscillator hamiltonian N . The analog of the central
extension of the Galilean group (which is the contraction limit of the
Poincare group, as discussed in the next chapter) is the Oscillator
group (Streater [1967]), whose generators are A, A , I and N , with
the commutation relations
88
[N, A] = A,
(32)
(33)
in terms of the coherent states sz , hence we need to display the operator on the right in the reverse Gaussian form
s
exp(0 S+
) exp(2d0 S3 ) exp( 0 S ).
(34)
0 ed
0 1
0
1
This gives d0 = it/2, 0 = eit and 0 = 0. Hence
0 S s
eitN sz = eits e
0 S s
= e
=
eitS3 h
h = h 0
(36)
sz(t) ,
where z(t) = eit z. (This is intuitively obvious, since exp(itS3s ) rotates the 12 plane clockwise by an angle t, hence it rotates the coordinate z counterclockwise by an angle t.) In the limit s , this
gives the wellknown result (Henley and Thirring [1962]) that the set
of canonical coherent states is invariant under the harmonic oscillator
time evolution, with individual coherent states moving along the classical trajectories z(t) determined by the initial conditions z = xip in
phase space. The above shows that the same is true within SU (2), i.e.
s
is essentially
for finite s, where it is a consequence of the fact that N
the generator of rotations about the 3axis.
Note: After this section was written, I learned from R. F. Streater
that a related construction was made by Dyson [1956].
89
Chapter 4
COMPLEX SPACETIME
4.1. Introduction
Relativistic quantum mechanics is a synthesis of special relativity and
ordinary (i.e., non-relativistic) quantum mechanics. The former is
based on the Lorentzian geometry of spacetime, while the latter is
usually obtained from classical mechanics by a somewhat mysterious
set of rules known as quantization in which classical observables,
which are functions on phase space, suddenly become operators on
a Hilbert space. Classical mechanics, in turn, can be formulated in
terms of Newtonian space-time (the Lagrangian approach) or it can
be based on the symplectic geometry of phase space (see Abraham
and Marsden [1978]). The latter, called the Hamiltonian approach,
is usually considered to be deeper and more powerful, and its study
has virtually turned modern classical mechanics into a branch of differential geometry. Yet, the standard formalism of relativistic quantum mechanics rests solely on the geometry of spacetime. Symplectic
geometry, so prominent in classical mechanics, seems to have disappeared without a trace.
In this chapter we develop a formulation of relativistic quantum
mechanics in which symplectic geometry plays an important role. This
will be done by studying the role of phase space in relativity and discovering its counterpart in relation to the Poincare group, which is
the invariance group of Minkowskian spacetime. It turns out that the
Perelomov construction fails for relativistic particles (the physically
relevant representations are not square-integrable), and an alternative route must be taken. The result is a formalism based on complex
spacetime which, we show, may be regarded as a relativistic extension
of classical phase space. As a by-product, two long-standing inconsistencies of relativistic quantum mechanics (in its standard spacetime
formulation) are resolved, namely the problems of localization and
covariant probabilistic interpretation. Rather than being sharply localizable in space (which leads to conflicts with causality; see Newton
90
4. Complex Spacetime
and Wigner [1949] and Hegerfeldt [1985]), particles in the new formulation are at best softly localizable in phase space. This is just a covariant version of the situation in the coherentstate representation. But
whereas for non-relativistic particles both the Schr
odinger representation and the coherentstate representation give equally consistent
theories, the spacetime formulation of relativistic quantum mechanics
is inconsistent because it lacks a genuine probabilistic interpretation,
a situation remedied by the phase-space formulation (section 4.5).
(1)
(2)
91
connected to the identity (whose elements reverse neither the orientations of time nor of space) is called the restricted Lorentz group
and denoted by L0 . If we let u4 cu0 , so that uv = u v + u4 v 4 ,
we can identify L0 with SO(3, 1)+ (the plus sign indicates that the
orientation of time, hence also of space, is preserved separately.) The
Poincare group P is defined as the set of all Lorentz transformations
combined with spacetime translations:
P = {(a, )| L, a IR4 }
(3)
(4)
(5)
can be identified with the set of positions in spacetime (events) together with all possible velocities at these events. The set of all
(future-pointing) four-velocities is a hyperboloid
4
2
2
0
+
c {u IR | u (u, u) = c , u > 0}.
(6)
C IR4 +
c ,
(7)
Thus
92
4. Complex Spacetime
[Jj , Kk ] = iKl
[Jj , Pk ] = iPl
[Pr , Ks ] = ic2 rs P0
(8)
93
(9)
[Jj , Kk ] = iKl
[Jj , Pk ] = iPl
[Pr , Ks ] = irs M
(10)
and all other brackets vanishing. Note that (a) M is a central element
of g1 and (b) M, Pk and Kk span an invariant subalgebra w of g1
which is isomorphic to the WeylHeisenberg algebra, with M playing
the role of the central element E. Hence if G1 denotes the connected,
simply connected Lie group generated by g1 , then the invariant subgroup of G1 generated by w is isomorphic to the WeylHeisenberg
group W. The remaining generators Jk of g1 span the Lie algebra
so(3) of the spatial rotation group SO(3), so G1 is the semi-direct
product of W with SO(3) :
G1 = W
s SO(3).
(11)
94
4. Complex Spacetime
Xk = (1/m)Kk .
(12)
Then eq. (10) shows that Xk and Pk satisfy the canonical commutation relations:
[Xr , Ps ] = irs I,
(13)
thus Xk behaves like a position operator. This shows that the assumption (Q), which is conceptually simple, mathematically precise, relativistically invariant and very general, actually implies the much less
satisfactory quantization prescription in the non-relativistic limit,
under the additional assumption of irreducibility.
How does it happen that classical relativistic geometry, as represented by P0 , when combined with assumption (Q), yields the mysterious canonical commutation relations? To understand this, note
that eq. (10) came from the relativistic Lie bracket
[Pr , Ks ] = ic2 rs P0
(14)
which states that boosting (accelerating) in any given spatial direction does not commute with translating in the same direction. This, in
turn, is a consequence of the fact that Einsteinian space is not absolute
since in the accelerated frame there is a (Lorentz) contraction in the
direction of motion, so first translating and then boosting is not the
same as first boosting and then translating. In the non-relativistic
limit this gives the canonical commutation relations. No such easy
95
derivation of these relations would have been possible without invoking Relativity. For had we begun with Newtonian space-time, the
appropriate invariance group would have been not P0 but the Galilean
group G. Since Newtonian space is absolute and hence unaffected by
boosting to a moving frame, the Galilean boosts Kk 0 commute with
with the Galilean generators of translations Pk 0 , hence yield no canonical commutation relations and no associated uncertainty principle. In
the case of G1 , the canonical commutation relations are a remnant of
relativistic invariance. Thus the uncertainty principle originates, in
some sense, in classical Relativity theory!
Eq. (12) states that an acceptable set of position operators for a
non-relativistic particle is given in terms of the generators of Galilean
boosts (more precisely, the boosts of a central extension of the Galilean group, as explained below). It is interesting to see how this comes
about from a more intuitive, physical point of view, since position operators are problematic in relativistic quantum mechanics (as will be
discussed later) but the boosts have natural relativistic counterparts.
To gain insight, we will now give two additional rough but intuitive
arguments for the validity of eq. (12).
1. For a spinless particle, the generators of the Poincare group can be
realized as operators on a space of functions over spacetime (namely,
the space of solutions of the KleinGordon equation) by
x0
Pk = i
xk
Jk = xl Pm xm Pl
P0 = i
(15)
Kk = x0 Pk c2 xk P0
where (k, l, m) is a cyclic permutation of (1, 2, 3). In the non-relativistic limit, P0 mc2 , so
(1/m)Kk xk x0 Pk /m,
(16)
96
4. Complex Spacetime
.
vk
(17)
.
pk
(18)
But in the momentum representation of non-relativistic quantum mechanics , the position operators are represented by
Xk = i
,
pk
(19)
limit of P+
. However, this subgroup is not the non-relativistic limit
of any subgroup of P0 , since the Lie brackets of Kk , Pk and P0 do
not close due to
[Kj , Kk ] = ic2 Jl , (j, k, l cyclic ).
(20)
(21)
97
(22)
(23)
where we have used the fact that M commutes with Pk . The operator
98
4. Complex Spacetime
H = P2 /2M
(24)
[H, M ] = 0
[H, Kk ] = iPk ,
(25)
g2 Span {Kk , Pk , Jk , M, H}
(26)
showing that
actually forms a Lie algebra with Lie brackets given by eqs. (10) and
(25). Clearly g2 contains g1 as a subalgebra. We will refer to the corresponding Lie group G2 as the quantum mechanical Galilean group.
It is the group of translations, rotations, boosts, dynamics (i.e., time
translations) and multiplications by constant phase factors (generated
by M ) acting on the wave functions of a non-relativistic quantum mechanical particle. The relation of G2 to the classical Galilean group G
is as follows: The subgroup generated by M , which can be identified
with the group of real numbers IR, is central; then G is obtained from
G2 by factoring out IR:
G = G2 /IR.
(27)
The action of IR on quantum mechanical wave functions, which amounts to a multiplication by a constant phase factor, is a necessary
part of G2 because of [Pr , Ks ] = irs M which, as we have seen, is
related to the uncertainty principle. Factoring out this action means
ignoring that phase factor, so it is reasonable that it should give the
classical Galilean group. On the Lie algebra level, it amounts to
setting M = 0. Had we included Plancks constant h in eq. (10), this
would have amounted to taking the classical limit h
0. The above
relation between IR, G2 and G in an example of a central extension
(Varadarajan [1969]). One says that G2 is a central extension of IR by
G.
The fact that W is a subgroup of G2 was noted by Bargmann
[1954]; that representations of G2 are contractions of representations
of the Poincare group was shown by Mackey [1955].*
* I thank R. F. Streater for these remarks.
99
f
= Hf,
t
(1)
where
1
(2)
2m
is the Hamiltonian operator, and is the Laplacian acting on
L2 (IRs ). Since H is selfadjoint, though unbounded, the solutions are
given through the unitary oneparameter group U (t) = exp(itH):
H=
(3)
IRs
where it is assumed that f (x, 0), hence also its Fourier transform f(p),
is in L2 (IRs ).
The key to our approach will be to note that H is a nonnegative
operator, hence the evolution group U (t) can be analytically continued
to the lowerhalf complex time plane Cl as
100
4. Complex Spacetime
u > 0.
(4)
(5)
= x(t) i(u/m)p.
Since x(t) is just the position evolved in real time t, we see that z(t)
is, in fact, a complex phase space coordinate of the same type we encountered in the construction of the canonical coherent states! Armed
with this intuition, let us now return to quantum mechanics and see if
this idea has a quantum mechanical counterpart. The operator euH ,
when applied to any function in L2 (IRs ), gives
fu (x) (euH f )(x)
Z
s
= (2)
ds p exp[up2 /2m + ip x]f(p).
(6)
IRs
101
(9)
(10)
where
]
euz (p) = (2)s exp[up2 /2m ip z
h
i
u
= (2)s exp my2 /2u
(p my/u)2 ip x
2m
(11)
are seen to be Gaussian wave packets in momentum space with expected position and momentum given in terms of z x iy by
h Xk i = xk
and h Pk i = (m/u)yk .
(12)
The euz s are easily shown to have minimal uncertainty products. The
momentum uncertainty can be read off directly from the exponent
and is
p
Pk = m/2u,
(13)
hence
Xk =
p
u/2m.
(14)
We now have our prospective coherent states and their label space
M = Cls . To construct a coherentstate representation, we need a
measure on M which will make the euz s into a frame. Since the euz s
are Gaussian, the measure in not difficult to find:
du (z) = (m/u)s/2 exp my2 /u ds x ds y.
(15)
102
4. Complex Spacetime
Defining
Z
h f | g iHu h fu | gu i
(16)
we have
Theorem 4.1.
(a) h | iHu is an inner product on Hu under which Hu is a Hilbert
space.
(b) The map euH is unitary from L2 (IRs ) onto Hu .
(c) The euz s define a resolution of unity on L2 (IRs ) given by
Z
du (z) | euz ih euz | = I.
(17)
C
ls
ds x | fu (x iy) | 2
Z
s
= (2)
ds p exp up2 /m + 2y p | f(p) | 2
(19)
and
Z
du (z) | fu (z) | 2
s/2
= (m/u)
Z
s
= (2)
(2)
ds p exp up2 /m | f(p) | 2
(20)
ds y exp my2 /u + 2y p
ds p | f(p) | 2 = k f k2 ,
103
where exchanging the order of integration was justified since the integrals are absolutely convergent. This proves (b), hence also (a),
for f S(IRs ). Since the latter space is dense in L2 (IRs ), the proof
extends to f L2 (IRs ) by continuity. (c) follows by noting that
h f | g iL2 = h f | g iHu
Z
= du (z)fu (z)gu (z)
Z
= du (z)h f | euz ih euz | g i
(21)
(22)
h ez, | f i,
where = t iu and the wave packets
]
ez, (p) = (2)s exp[
p2 /2m ip z
(23)
are obtained from the euz s by evolving in real time t. They cannot be
of minimal uncertainty since the free-particle Schr
odinger equation is
neccessarily dissipative. Instead, they give the following expectations
and uncertainties:
h Pk i = (m/u)yk
h Xk i = xk (t/u)yk = xk (t/m)h Pk i
p
Pk = m/2u
s
t2
u
Xk =
1+ 2 .
2m
u
(24)
Since
ez, = eitH euz ,
(25)
104
4. Complex Spacetime
it follows that
kf k2
du (z) | f (z, ) | 2
C
ls
itp2 /2m
= ke
(26)
fk = kfk ,
2
The space L2 (IRs ) carries a representation of the quantum mechanical Galilean group G2 . Since the ez, s were obtained from the
dynamics associated with this group, they transform naturally under
its action. A typical element of G2 has the form g = (R, v, x0 , t0 , ),
where R is a rotation, v is a boost, x0 is a spatial translation, t0 is
a timetranslation and is the phase parameter associated with
the central element M = m/
h m in our representation (see section
4.2). g acts on the complex spacetime domain D by sending the
point (z, ) to ( 0 , z0 ), where
x0 = Rx + tv + x0
y0 = Ry + uv
t 0 = t + t0
(28)
u0 = u.
The parameter has no effect on spacetime; it only acts on wave
functions by multiplying them by a phase factor. The representation
of G2 is defined by
Ug f (z, ) = eim f g 1 (z, ) .
(29)
Thus we have
Ug ez, = eim eg(z, ) ,
(30)
105
(32)
Hence the exponential factor exp[uk2 /2m] in euz , when squared in the
reconstruction formula, precisely cancels the Gaussian weight factor
in du (x, k), leaving the measure
u/m
s/2
ds x ds k
(33)
u
in
p phase space. It follows from the above form of ez that 2Pk =
2m/u plays the role of a scale factor in momentum space (as used
in
p the wavelet transforms of chapter 1), hence its reciprocal Xk =
u/2m acts as a scale factor in configuration space. Thus the Galilean coherent states combine the properties of rigid windows with
those of wavelets, due to the fact that their analytic semigroup G2c includes both phasespace translations and scaling, the latter due to the
106
4. Complex Spacetime
heat operator euH . However, note that u is constant, though arbitrary, in the resolution of unity and the corresponding reconstruction
formula. Since there is an abundance of wavelets due to translations in phase space, only a single scale is needed for reconstruction.
(One could, of course, include a range of scales by integrating over
u with a weight function, but this seems unnecessary.) In the treatment of relativistic particles, u becomes the time component of a
fourvector y = (u, y), hence will no longer be constant. This is because relativistic windows shrink in the direction of motion, due to
Lorentz contractions, thus automatically adjusting to the analysis of
highfrequency components of the spectrum.
2. Notice that euz is essentially the heat operator euH applied to the
= x + iy. The fact
function at x, then analytically continued to z
that all the euz s have minimal uncertainties shows that the action
of the heat semigroup {U (iu)} is such that while the position undergoes the normal diffusion, the momentum undergoes the opposite
process of refinement, in just such a way that the product of the two
variances remains constant. This is reflected in the fact that the operator euH , whose inverse in L2 (IRs ) is unbounded, becomes unitary
when the functions in its range get analytically continued, and the
reconstruction formula is just a way of inverting euH . Hence no information is lost if one looks in phase space rather than configuration
space! It seems to me that this way of inverting semigroups must
be an example of a general process. If such a process exists, I am
unaware of it. In our case, at least, it appears to be possible because
of analyticity.
3. So far, it seems that coherentstate representations are intimately
connected with groups and their representations. However, there is a
reasonable chance that coherentstate representations similar to the
above can be constructed for systems which, unlike free particles, do
not possess a great deal of symmetry. Suppose we are given a system
of s/3 particles in IR3 which interact with one another and/or with
an external source through a potential V (x). We assume that V (x)
is timeindependent, so the system is conservative. (This means that
we do have one symmetry, namely under time translations. If, moreover, the potential depends only on the differences xi xj between
individual particles, we also have symmetry with respect to translations of the center of mass of the entire system; but we do not make
this assumption here.) This system is then described by a Schr
odinger
equation with the Hamiltonian operator H = H0 +V , where H0 is the
free Hamiltonian and V is the operator of multiplication by V (x). We
107
= t iu
(34)
(35)
108
4. Complex Spacetime
This is the set of all complex spacetime points which can be reached
by the system in the presence of the potential V (x), and it is the label
space for our prospective coherent states. These are now defined as
evaluation maps on the space of analytically continued solutions:
f (z, ) = h eH
z, | f i,
(36)
the inner product being in L2 (IRs ). Then from the above expression,
again formally, we have the dynamical coherent states
i
H i
eH
e zP 0
z, = e
(37)
for (z, ) in ZH .
What is still missing, of course, is the measure dH
u . (Since the potential is tindependent, so will be the measure, if it exists.) Finding
the measure promises to be equally difficult to finding the propagator for the dynamics. The latter is closely related to the reproducing
kernel,
H
0 , 0 ) = h eH
KH (z, ; z
z, | ez0 , 0 i.
(38)
0 0
, ) KH (z, ; z
00 , 00 )
dH
u (z) KH (z , ; z
(39)
00
00
, ),
= KH (z , ; z
where the integration is carried out over a phase space in ZH
with a fixed value of = t iu. A reasonable candidate for dH
u (see
section 4.4) is
H
2 s
dH
d x ds y
u (z) = C kez, k
C eu (z) ds x ds y.
(40)
Rather than finding the measure explicitly, a more likely possibility is that its existence can be proved by functionalanalytic methods
for some classes of potentials and approximation techniques may be
used to estimate it or at least derive some of its properties. The theoretical possibility that such a measure exists raises the prospect of an
109
interesting analogy between the quantum mechanics of a single system and a statistical ensemble of corresponding classical systems at
equilibrium with a heat reservoir. In the case of a free particle, if we
set k = (m/u)y as above (see remark 1) and define T by u = 1/2kT
where k is Boltzmanns constant, then it so happens that our measure du is identical to the Gibbs measure for a classical canonical
ensemble (see Thirring [1980]) of s/3 free particles of mass m in IR3 ,
at equilibrium with a heat reservoir at absolute temperature T . Thus,
integrating with du over phase space is very much like taking the classical thermodynamic average at equilibrium! It remains to be seen, of
course, whether this is a mere coincidence or if it has a generalization
to interacting systems.
There is also a connection between the expectation values of an
operator A in the coherent states eH
z, and its thermal average in the
Gibbs state,
h A i Z 1 Trace eH A = Z 1 Trace eH/2 A eH/2 ,
(41)
where Z Trace eH . Namely, if we have the resolution of unity
Z
H
H
dH
(42)
u (z) | ez, ih ez, | = I,
then
h A i = Z
= Z 1
Z
Z
H
H/2
dH
AeH/2 eH
u (z) h ez, |e
z, i
H
H
dH
u (z) h ez, i/2 A ez, i/2 i
(43)
dH
u (z) A(z, i/2),
(44)
which follows easily from eq. (42). Thus taking the thermal average
means shifting the imaginary part u by /2 in the integral.
110
4. Complex Spacetime
111
(1)
2
u
t =c
t2
=
(2)
where
2
is the DelAmbertian, or wave operator, is the usual spatial Laplacian and = /x . The function f is to be complexvalued (for
spin j, f is valued in Cl2j+1 ). We set c = 1 except as needed for future
reference. If we write f (x) as a Fourier transform,
Z
s1
f (x) = (2)
ds+1 p eixp f(p),
(3)
IRs+1
(4)
m is a twosheeted hyperboloid,
m = +
m m ,
where
(5)
112
4. Complex Spacetime
p
p0 = m2 + p2 (p) on
m.
(6)
(7)
Taking
(8)
we get
Z
d
p eixp a(p)
f (x) =
m
(9)
d
p eixp a(p) + eixp a(p) ,
=
+
m
where
d
p = (2)s (2)1 ds p
(10)
The function a(p) can now be related to the initial data by setting
x0 t = 0, which shows that
Z
f0 (x) f (x, 0) =
d
p eixp a(p)
+
(12)
m
1
= (2) a (x),
so
a(p) a(, p) = 2 f0 (p),
(13)
113
+
m
(16)
as the space of positiveenergy solutions in the momentum representation. It carries a unitary irreducible representation of P0 defined as
follows. The natural action of P0 on spacetime is
(b, )x = x + b,
(17)
114
4. Complex Spacetime
d
p exp (it u + ix p) a(p),
(20)
+
m
(, p) +
m.
(21)
p +
m,
(22)
(23)
(24)
(25)
115
(27)
(28)
(29)
where
ez (p) = eizp .
(31)
116
4. Complex Spacetime
Lemma 4.2.
1. For each z T+ , ez belongs to L2+ (d
p), with
mc
2
1
kez k = (2)
K (2mc),
4
(32)
where = (s 1)/2,
p
p
y 2 = c2 (y 0 )2 y2 > 0
(33)
(34)
d
p e2
G(y) = G(, 0) =
+
m
Z
h
i
p
ds p
s
2
2
p
= (2)
exp 2 m + p .
2 m2 + p2
(36)
= (2) m
exp 2m 1 + r
(s/2) 0
1 + r2
(37)
Z
ms1
=
dt sinhs1 t exp [2m cosh t]
(4)s/2 (s/2) 0
m
= (2)1
K (2m).
4
s
G(y) = (2)
s1
117
= (2)1
mc
2
(38)
K (mc),
where
p
(z 0 z)2
1/2
= (y 0 + y)2 (x0 x)2 + 2i(y 0 + y)(x0 x)
(39)
(40)
(41)
We will encounter this and other 2point functions again in the next
chapter, in connection with quantum field theory.
Note: We will be interested in the behavior of k ez k near the boundary of T+ , i.e. when 0. From the properties of K it follows
that
kez k2
()
2 when 0.
(4)+1
(42)
118
4. Complex Spacetime
(43)
(45)
We have now established that the space K of holomorphic positiveenergy solutions is a reproducingkernel Hilbert space. Recall
that picking out the positiveenergy part of f (x) was a nonlocal operation
in real spacetime, involving the pseudodifferential operator
2
m . However, when extended to T+ , such functions may be
characterized locally, as simultaneaous solutions of the KleinGordon
equation and the CauchyRiemann equations, since the negative
energy part of f (x) does not have an analytic continuation to T+ .
We now show that T+ may, in fact, be interpreted as an extended
phase space for the underlying classical relativistic particles. Clearly,
x < z are the spacetime coordinates. Their relation to the expectation values of the relativistic (NewtonWigner) position operators
will be discussed below. We now wish to investigate the relation
of the imaginary coordinates y = z to the energymomentum
vector. The bridge between the classical coordinates y and the
quantummechanical observables P will be, as usual, the (future)
coherent states ez . Before getting involved in computations, let us
take a closer look at these wave packets in order to get a qualitative picture. Since yp is Lorentzinvariant, it can be evaluated in a
reference frame where p = (mc2 , 0). Thus
p
yp = y 0 mc2 = 2 + y2 mc mc,
(46)
with equality if and only if y = 0, i.e. when y and p are parallel. This
is a kind of reverse Schwarz inequality which holds in V+0 V + under
119
the pairing provided by the Lorentzian scalar product. Thus for fixed
y V+0 and variable p +
m , we have
| ez (p) | emc ,
(47)
h ez | P ez i
(mc/)y .
h ez | ez i
(48)
y ,
K (2mc)
(50)
(51)
(52)
120
4. Complex Spacetime
C = {x iy T+ | y 2 = 2 }
(53)
(54)
Then
m = m
K+1 (2mc)
,
K (2mc)
(55)
and
h P i =
m c
y .
(56)
(57)
> m2 .
This is a kind of renormalization effect due to the uncertainty, or
fluctuation, of the energymomentum in the state ez . It appears to go
in the wrong direction (i.e., h P i2 > h P 2 i) for the same reason as
does the inequality pp0 m2 , namely because of the Lorentz metric.
Thus h P i is proportional, by a ydependent but P0 invariant
factor, to y . We may therefore consider the y s as homogeneous
coodinates for the direction of motion of the classical particle in (real)
spacetime. Alternatively, the expectation of the velocity operator
P/P0 can be shown to be y/y0 . Thus of the s + 1 coordinates y ,
only s have a classical interpretation. It is important to understand
that the parameter has no relation to the mass; it can be chosen to
be an arbitrary positive number and has the physical dimensions of
length. It is the relativistic counterpart of the parameter u encountered in connection with the nonrelativistic coherent states, and its
121
(mc/)y , when mc ;
(/2 )y , when mc 0.
(58)
(59)
When mc 0, say 0 for fixed mc, then z approaches the boundary of T+ . In that case, fluctuations take over and the expectations
become independent of the mass m.
The relation of the spacetime parameters x <z to the
NewtonWigner position operators is as follows. Since a fixed f T+
describes the entire history of the particle, the associated state does
not change with time (i.e., the dynamics is already built in). This
means that we are in the socalled Heisenberg picture, and time
behavior must be described by evolving the observables A:
A(t) = eitP0 A(0) eitP0 .
(60)
122
4. Complex Spacetime
1/2
Xk (0) = 1/2 i
pk
pk
2 ,
=i
pk
(61)
k = 1, 2, . . . , s.
1/2 izp
e
pk
+
m
Z
1/2 izp
e
=<
d
p 1/2 eizp i
p
k
+
m
h ez | Xk (0) ez i =
d
p 1/2 eizp i
(62)
= xk kez k2 ,
hence
h Xk (0) i = xk .
(63)
123
(64)
1 2G
4 y y
(65)
it follows that
2G
G G
G2
y y
y y
2 ln G
.
=
y y
4C = G1
(66)
K (2m)
m
2
Although this expression does not appear to be enlightening in any
obvious way, the uncertainties P can be estimated from it in various
limits such as m and m 0.
The reproducing kernel by itself is of limited use. Although it
makes it possible to establish the interpretation of T+ as an extended
classical phase space, it does not provide us with a direct physical
interpretation of the function values f (z). The inner product in K is
borrowed from L2+ (d
p), hence a probability interpretation exists, so
124
4. Complex Spacetime
(68)
Such sets are not covariant, but a covariant extension will be found in
the next section. As for the measure, a Gaussian weight function (such
as exp(my2 /u), which occured in du (y)) is no longer satisfactory
since it cannot be covariant. It turns out that we do not need a
weight function at all! This can be seen as follows: In the non
relativistic case, the shift to complex time was performed once and
for all by the operator euH . For fixed u > 0, the weight function
served to correct for the nonunitary translation from the real point
x in space to the complex point z = x iy. However, if we restrict
ourselves to the subset , then a translation to imaginary space is
necessarily accompanied by a translation in imaginary
time. The
p
2
analog of the above translation is (ti, x) 7 (ti + y2 , xiy).
The increase in y 0 , it turns out, precisely compensates for the shift
to complex space! This follows from the fact that the operator eyP ,
which affects the total shift to complex spacetime, is relativistically
invariant, hence the point y = 0 no longer plays a special role. We
will show later that in the nonrelativistic limit, we recover the weight
125
(70)
with
1
A =
2
=
mc
mc
s
+1
K+1 (2mc)
m
G().
m
(71)
(72)
d x | f (x iy) | = (2)
x0 =t
ds p (4 2 )1 e2yp | a(p) | 2 .
IRs
(74)
Exchanging the order of integration in the integral representing
kf k2 , we obtain
126
4. Complex Spacetime
kf k2
s
A1
(2)
2 1
d p (4 )
| a(p) |
ds ye2yp .
(75)
We now evaluate
Z
J(p)
ds y e2yp
(76)
as follows: Consider
all s + 1 components of p as independent and
p
2
define m(p) p . From the integral computed earlier, i.e.
Z
s
G(y) (2)
ds p (2)1 e2yp
(77)
m
1
= (2)
K (2m),
4
we obtain by exchanging p and y (as well as m and ):
Z
s
1 2yp
d y (2y0 ) e
=
K (2m).
m
(78)
K (2m)
J(p) = 0
p
m
(79)
= (22 ) 0 K ()
p
= (22 ) 0
K () ,
p
where (p) 2m(p). Using again the recurrence relation for the
K s, we get
J(p) = 2p0 A .
(80)
Thus
kf k2
= (2)
(81)
127
(83)
( + 1)
.
2(mc)s+1
(85)
The same formula applies for fixed > 0 and m 0, and shows that
A becomes unbounded as m 0. #
The vectors ez belong to L2+ (d
p), but correspond to vectors ez in
K defined by
ez (z 0 ) = h ez0 | ez i = K(z 0 z).
(86)
h ez0 | ez i
.
kez k
(87)
128
4. Complex Spacetime
Proof. This follows at once from the Schwarz inequality and theorem
4.3, since by eq. (26),
| f (z) | = | h ez | a i | = | h ez | f i |
k
ez k kf k = kez k kf k,
(88)
129
(1)
(2)
130
4. Complex Spacetime
= (y 2 ) dy dx + (y 2 ) y y dy dx .
(3)
(4)
(5)
where s(z) and h(z) are two realvalued, C (or at least C 1 ) functions
on T+ such that ds dh 6= 0 on . For example, t, can be obtained
from s(z) = x0 t and h(z) = y 2 2 . The pullback depends only
on the submanifold , not on the particular choice of s and h.
Proposition 4.6.
The form is symplectic if and only if the
Poisson bracket
{s, h}
s h
h s
6= 0
x y
x y
(6)
everywhere on .
Proof. is closed since is closed and d( ) = (d) . Hence
is symplectic if and only if it is nondegenerate, i.e. if and only if its
s-th exterior power s vanishes nowhere on . Now ( )s equals the
pullback of s to , and a straightforward computation gives
c dx
c,
s = s! dy
(7)
where
c = (1)s dy0 dy1 dy1 dy+1 dys
dy
c = (1)s dxs dxs1 dx+1 dx1 dx0 .
dx
(8)
131
c and dx
c are essentially the Hodge duals (Warner [1971]) of dy
(dy
(9)
(10)
where
dy = dy0 dys
dx = dxs dx0 .
(11)
(12)
(13)
132
4. Complex Spacetime
+
= S i+
{x iy T+ | x S, y }.
(14)
(15)
s
y 6= 0,
x
(16)
and we may assume {s, h} > 0 without loss. For fixed x S, the
0
above inequality must hold for all y +
, hence for all y V+ . This
0
implies that the vector s/x is in the dual V + of V+ .
We denote the family of all s as above (i.e., with S nowhere
timelike) by . It is a subfamily of 0 and is clearly invariant under
P0 . Note that admits lightlike as well as spacelike configuration
spaces, whereas the standard theory only allows spacelike ones.
We will now generalize the results of the last section to all .
The 2sform s defines a positive measure on , once we choose an
orientation (Warner [1971]) for . (This can be done, for example, by
choosing an ordered set of vector fields on which span the tangent
space at each point; the order of such a basis is a generalization of
the idea of a righthanded coordinate system in three dimensions.)
The appropriate measure generalizing d of the last section is now
defined as
d = (s! A )1 s .
(17)
(18)
133
s
x0
1
s c
dx0
x
h
y0
1
h c
dy
y
c =
dx
c
dy
(19)
c
= (y /y 0 ) dy
on . Hence
d =
A1
s
y
x0
0
1
s
y
x
c
dy
c0.
dx
(20)
s (t (x), x)
xk
s t
s
=
+ k,
0
k
x x
x
0=
(22)
(23)
(24)
134
4. Complex Spacetime
c | f (x iy) | 2 ,
dy
(26)
J (x) = A
+
0
c0
where +
has the orientation defined by dy , so that J (x) is positive.
Then
Z
2
c J (x),
kf k =
dx
(27)
S
c 0 . (The restriction of dx
c0
where S has the orientation defined by dx
to S does not vanish since | t (x) | 1.)
Theorem 4.9. Let f(p) be C with compact support. Then J (x)
is C and satisfies the continuity equation
J
= 0.
x
Proof. By eq. (19),
(28)
J (x) =
A1
d
y y | f (x iy) | 2 ,
135
(29)
c 0 /y 0 . The function
where d
y dy
Fx (y, p, q) y exp [ix(p q) y(p + q)] f(p) f(q)
(30)
is in L1 (d
y d
p d
q ), hence by Fubinis theorem,
J (x) =
=
A1
A1
Z
d
y
+
+
m m
d
p d
q Fx (y, p, q)
d
p d
q exp [ix(p q)] f(p) f(q) H (p + q),
+
+
m m
(31)
where, setting k p + q,
and using the recurrence relation
for the K s given by eq. (51) in section 4.4, we compute
Z
H (k)
d
y y eyk
k2
=
k
d
y eyk
2
2
K ()
=
k
+1
2
= (k /)
K+1 ()
(32)
k H().
H() is a bounded, continuous function of for 2m, and
J (x) =
A1
d
p d
q exp [ix(p q)] f(p) f(q) (p + q ) H().
+
+
m m
(33)
136
4. Complex Spacetime
2 + y2 },
(34)
(35)
J (x) =
=
A1
Z
+
A1
c
dy
| f (x iy) | 2
+
B
c
d dy
| f (x iy) |
(36)
.
J (x) =
A1
Z
dy
+
B
| f (x iy) | 2 ,
y
(37)
(38)
which follows from the KleinGordon equation combined with analyticity, since
z
z
i
z
z
2
2
=i
i
z z
z z
137
(39)
i (t
u z u
tz ) .
Incidentally, this shows that
j (z)
| f (z) | 2
y
h
i
= i f (z) f (z) f (z) f (z)
(40)
Jusual
(x) = i f (x) f (x) f (x) f (x) ,
which leads to a conceptual problem since the time component, which
should serve as a probability density, can become negative even for
positiveenergy solutions (Gerlach, Gomes and Petzold [1967], Barut
and Malin [1968]). By contrast, eq. (36) shows that J 0 (x) is stricly
nonnegative. The tendency of quantities in complex spacetime to
give regularizations of their counterparts in real spacetime is further
discussed in chapter 5.
We can now prove the main result of this section.
Theorem 4.10. Let = S i+
and f K . Then kf k =
kf kK .
Proof. We will prove the theorem for f(p) in the space D(IRs ) of
C functions with compact support, which implies it for arbitrary
f L2+ (d
p) by continuity. Let S be given by x0 = t (x), and for
R > 0 let
138
4. Complex Spacetime
DR = {x IRs+1 |x| < R, x0
ER = {x IRs+1 |x| = R, x0
S0R = {x IRs+1 |x| < R, x0
SR = {x IRs+1 |x| < R, x0
[0, t (x)] },
[0, t (x)] },
= 0},
(41)
= t (x)},
where [0, t (x)] means [t (x), 0] if t (x) < 0. We orient S0R and SR by
c 0 , ER by the outward normal
dx
r = R1
s
X
ck ,
xk dx
(42)
k=1
c
c
J (x) dx =
d J dx
SR S0R +ER
DR
Z
(43)
J
s
= (1)
dx = 0.
x
DR
We will show that
Z
c 0 as R
J dx
(R)
(44)
ER
kf k20
(45)
S0R
= kf k2K
(46)
139
r = R
(47)
By eq. (29),
|J k (x)| J 0 (x),
(48)
hence
s
X
(R) =
k=1 ER
s Z
X
k=1
ck
J k dx
J k xk
ER
c1
dx
x1
(49)
c1
dx
s
J0 R
x1
E
Z R
=s
J 0 r a(R).
ER
(50)
IR2s
where
(p, q) = f(p) f(q) (p, q),
(51)
(52)
iR (x, p) e
(53)
140
4. Complex Spacetime
(54)
i
D eixp ,
R (x, p)
x ER
(55)
(56)
IR2s
J (x) = (iR)
IR2s
n = 1, 2, ,
(57)
where
1 n
(n)
(p, q)
x (p, q) = D
"
1 #n
x0
p 1
v
= x
x
(p, q).
R
(58)
n
Now D 1 is a partial differential operator in p whose coefficients are polynomials in Dk ( 1 ) with k = 0, 1, , n. We will show
that for x ER with R sufficiently large, there are constants bk such
that
k 1
D ( )< bk ,
k = 0, 1, ,
(59)
which implies that
k(n)
x kL1 (IR2s ) < cn ,
x ER , n = 1, 2,
(60)
141
sR
2 s/2 s1
R
cn
(s/2)
R(1+)
dx0
(61)
s/2
2s
cn Rsn (1 + )
(s/2)
0 as R
1 u2
,
p0
(62)
Pk (u)
pk0
(63)
,
pk+1
0
Dk+1 u =
(64)
x0 k
x0 Pk (u)
D u=
,
R
R pk0
k = 1, 2, ,
(65)
which implies
k 1+
D
Pk (u).
max
mk |u|1
(66)
142
4. Complex Spacetime
on L2+ (d
p) (or, equivalently, on K if ez is replaced by ez . )
Note: As in section 4.4, all the above results extend by continuity to
the case = 0. #
143
p
p
so that y 0 = y0 = 2 + y2 and p0 = p0 = m2 c2 + p2 . Fix u > 0
and let = uc. Then
p
p
y0 = u2 c2 + y2 m2 c2 + p2
(1)
up2
my2
= umc2 +
+
+ O(c2 ).
2m
2u
Working heuristically at first, we expect that for large c, holomorphic
solutions of the KleinGordon equation can be approximated by
Z
f (x iy)
+
m
d
p exp [it + ix p y0 + y p] f(p)
ds p
p2
2
exp it mc +
+ ix p
(2)2 2mc
2m
(2)
2
2
up
my
exp umc2
+ y p f(p)
2m
2u
(2mc)1 exp i mc2 my2 /2u fNR (x iy, ),
Z
/2u
(3)
/2u
0 as c .
(4)
(5)
144
4. Complex Spacetime
(6)
1 + O(c2 )
and
1
|fk2L2 (dp)
(2)s |fk2L2 (IRs ) .
(2c)
(7)
2
k2cec fc k2L2 (Cl s ) (4)s/2 kfk2L2 (IRs ) 1 + O(c2 ) ,
(8)
Thus
h c 2
2
i
c yp
(py)2 /2
J(c) =
d xd y
e
e
f (x)
Z
Z
c 2
2
s
2
s
c yp
(py)2 /2
e
e
.
= d p|f (p)|
d y
(9)
d p|f(p)|
s
J1
|p|>c1
Z
IRs
ds y
c
ec
yp
e(py)
/2
2
(10)
0 as c ,
where c is the indicator function of the set {p |p| > c1 }. Define
and by |y| = c sinh and |p| = c sinh . Then y 0 = cosh and
= c2 cosh , hence
yp c2 cosh( ) c2 1 + ( )2 /2 .
Thus for arbitrary a 0,
(11)
|y|>c cosh a
s s/2 Z
2c
(s/2)
a
1s s s/.2
2yp
ds y e2c
Ga (p)
c
(s/2)
21s cs s/.2
(s/2)
d sinhs1 cosh ec
145
()2
2
2
d e(s1) e + e ec ()
(12)
d esc
()2
du eu .
c(a)s/2c
d p|f(p)|2
s
J2
|p|<c1
ds y e2c
2yp
|y|>c1
e
(s/2)
2
eu du kfk2L2 (IRs )
(14)
g(c)
0 as c .
Now
2c2 2yp = y 2 + p2 2yp = (y p)2
= (y0 )2 /c2 (y p)2 (y p)2 .
(15)
Hence
Z
|p|<c1
d p |f(p)|2
s
Z
|y|>c1
ds y e(yp) J2 ,
(16)
146
4. Complex Spacetime
and
Z
d p |f(p)|2
s
d y
|p|<c1
|y|>c1
c
c2 yp
(py)2 /2
2
(17)
4J2 0 as c .
Finally,
Z
d p |f(p)|2
s
J3
|p|<c1
d y
c
|y|<c1
d p |f(p)|2
s
|p|<c1
c2 yp
ds y e(yp)
(yp)2 /2
c
|y|<c1
2 2
ec
/2
2
2
1 ,
(18)
where
p
p
= 1 + y2 /c2 1 + p2 /c2
1
2 y2 p2
2c
1 2
c
+ c2
2
c2 .
We have used the estimate
p
Z v xdx
p
2
2
1 + u 1 + v =
2
1+x
Zuv
1
xdx = v 2 u2 .
2
u
(19)
(20)
2 2
ec
/2
2
2c 2 2
+ 1 ec /2
2 2
2 2
1 + 2c + 1 2 1 p2 /2c2 ec /2
2 2
2 2
2 1 ec /2 + 2c2 2 + c2 ec /2
2c2 2 + c2 1 + c2 2
2 2
ec
h(c) 0 as c .
(21)
Notes
147
Thus
Z
J3 h(c)
d p |f(p)|2
s
|p|<c1
ds y e(yp)
|y|<c1
(22)
0 as c ,
which proves that J(c) 0 as c .
Notes
This chapter represents the main body of the authors mathematics
thesis at the University of Toronto (Kaiser [1977c]). All the theorems,
corollaries, lemmas and propositions (labeled 4.1-4.12) have appeared
in the literature (Kaiser [1977b, 1978a]). In 1966, when the idea of
complex spacetime as a unification of spacetime and phase space first
occurred to me, I had found a kind of frame in which both the bras
and the kets were holomorphic in z and the resolution of unity was
obtained by a contour integral, using Cauchys theorem. During a
seminar I gave in 1971 at Carleton University in Ottawa (where I was
then a postdoctoral fellow in physics), L. Resnick pointed out to me
that this wavepacket representation appeared to be related to the
coherentstate representation, which was at that time unknown to
me. The kets were identical to the canonical coherent states, but the
bras were not their Riesz duals; in the language of chapter 1, they
belonged to a (generalized) frame reciprocal to that of the kets, and
the resolution of unity was of the type given by eq. (24) in section 1.3,
which may be called a continuous version of biorthogonality. A version
of this result was reported at a conference in Marseille (Kaiser [1974]).
I was later informed by J. R. Klauder that a similar representation had
been developed by Dirac in connection with quantum electrodynamics
(Dirac [1943, 1946]).
The original idea of complex spacetime as phase space was to consider a complex combination of the (symmetric) Lorentzian metric
with the (antisymmetric) symplectic structure of phase space, obtaining a hermitian metric on the complex spacetime parametrized by local coordinates of the type x+ibp. (I have since learned that this structure, augmented by some technical conditions, is known as a K
ahler
148
4. Complex Spacetime
Notes
149
150
4. Complex Spacetime
151
Chapter 5
QUANTIZED FIELDS
5.1. Introduction
We have regarded solutions of the KleinGordon equation as the quantum states of a relativistic particle. But such solutions also possess
another interpretation: they can be viewed as classical fields, something like the electromagnetic field (whose components, in fact, satisfy the wave equation, which is the KleinGordon equation with zero
mass). This interpretation is the basis for quantum field theory. The
general idea is that just as the finite number of degrees of freedom of a
system of classical particles was quantized to give ordinary (point)
quantum mechanics, a similar prescription can be used to quantize the
infinite number of degrees of freedom of a classical field. It turns out
that the resulting theory implies the existence of particles. In fact, the
asymptotic free in and outfields are represented by operators which
create and destroy particles and antiparticles, in agreement with the
fact that such creation and destruction processes occur in nature.
These particles and antiparticles are represented by positiveenergy
solutions of the asymptotic free wave equation, e.g. the KleinGordon
or Dirac equation. Thus the formalism of relativistic quantum mechanics appears to be, at least partially, absorbed into quantum field
theory.
In regarding solutions of the KleinGordon equation as the physical states of a relativistic particle, it was appropriate to restrict our
attention to functions having only positivefrequency Fourier components, since the energy of the particle must be positive. Even a
small negative energy can be made arbitrarily large and negative by
a Lorentz transformation, leading to instability. When the solutions
are regarded as classical fields, however, no such restriction on the
frequency is necessary or even justifiable. For example, in the case
of a neutral field (i.e., one not carrying any electric charge), the
solutions must be realvalued, hence their Fourier transforms must
contain negative as well as positivefrequency components. On the
152
5. Quantized Fields
other hand, the analytic extension of the solutions to complex spacetime appeared to depend crucially on the positivity of the energy. We
must therefore ask whether an extension is still possible for fields, or
if it is even desirable from a physical standpoint, since the connection between solutions and particles is not as immediate as it was
earlier. In this chapter we find an affirmative answer to both of these
questions. A natural method, which we call the AnalyticSignal transform, will be developed to extend arbitrary functions from IRs+1 to
Cls+1 , and when the functions represent physical fields, the double
tube T = T+ T in Cls+1 will be shown to have a direct physical significance as an extended classical phase space, not for the fields themselves but for certain particle and antiparticle coherent states e
z
associated with them. These states are related directly to the dynamical (interpolating) fields, not their asymptotic free in and outfields.
To be precise, they should be called charge coherent states rather
than particle coherent states, since they have a welldefined charge
whereas, in general, the concept of individual particles does not make
sense while interactions are present. If the given fields satisfy some
(possibly nonlinear) equations, the coherent states satisfy a Klein
Gordon equation with a source term. Hence they represent dynamical
rather than bare particles. For free fields, e+
z reduces to the state ez
153
looks like a covariant version of analyticity in time. Since the latter forms the basis for the continuation of the theory (in the form of
vacuum expectaion values) from Lorentzian to Euclidean spacetime
(see Nelson [1973a,b] and Glimm and Jaffe [1981]), it may be that our
extended fields, when restricted to the Euclidean region, bear some
relation to the corresponding Euclidean fields.
The formalism we are about to develop for fields is a natural
extension of the one constructed for particles in the last chapter. Like
its predecessor, it posesses a degree of regularity not found in the
usual spacetime formalism. Some examples of this regularity are:
(a) The extended fields (z) are, under reasonable assumptions, operatorvalued functions (rather than distributions, as usual) when
restricted to T .
(b) The theory contains a natural, covariant ultraviolet damping,
which is a permanent feature of the theory. This comes from
the possibility of working directly in phase space, away from real
spacetime. From the point of view of the usual (real spacetime)
theory, our formalism looks like a regularization. From our
point of view, however, no regularization is necessary since, it
is suggested, reality takes place in complex spacetime! In other
words, this regularization is permanent and is not to be regarded as a kind of trick, used to obtain finite quantities, which
must later be removed from the theory.
(c) In the case of free fields, the formalism automatically avoids zero
point energies without normal ordering, due to a polarization of
the positive and negative frequency components into the forward
and backward tubes, respectively. Observables such as charge,
energymomentum and angular momentum are obtained as conserved integrals of bilinear expressions in the fields over phase
spaces T . These expressions, which are densities for the
corresponding observables, look like regularizations of the corresponding expressions in the usual spacetime theory. The analytic
(Wightman) twopoint function acts as a reproducing kernel for
the fields, much as it did for the wave functions in chapter 4.
(d) The particles and antiparticles associated with the free Dirac field
do not undergo the random motion known as Zitterbewegung
(Messiah [1963]), again because of the aforementioned polarization.
154
5. Quantized Fields
dp eixp f(p)
f+ (x) (2)
0
1
(1)
0
ixp
f (x) (2)
dp e
f(p).
dp ei(xiy)p f(p),
f+ (x iy) = (2)
y>0
0
1
(2)
f (x iy) = (2)
i(xiy)p
dp e
f(p),
y < 0.
155
(3)
If f is realvalued, then
f(p) = f(p),
(4)
z Cl ,
(5)
and
f (x) = lim 2<f+ (x iy) = lim 2<f (x + iy).
y0
y0
(6)
156
5. Quantized Fields
Then we have
f+ (z),
f (z) = 21 f (x),
f (z),
y>0
y=0
y < 0.
(9)
Cl,
(10)
dp izp f(p).
(11)
The identity
(u) (u0 ) = (uu0 ) (u + u0 )
(12)
= (< < 0 ) + ,
(13)
157
=
e
.
(16)
2i i
If this is substituted into our expression for f (z) and the order of
integrations on and p is exchanged, we obtain
Z
d
1
f (x y)
(17)
f (x iy) =
2i i
for arbitrary x iy Cl. We shall refer to the righthand side as the
AnalyticSignal transform of f (x). It bears a close relation to the
Hilbert transform, which is defined by
Z
1
du
(Hf )(x) = PV
f (x u),
(18)
u
where PV denotes the principal value of the integral. Consider the
complex combination
Z
1
1
f (x) i(Hf )(x) =
du i(u) + PV
f (x u)
i
u
Z
1
du
lim
f (x u)
=
i 0 u i
Z
1
d
=
lim
f (x )
i 0 i
(19)
= lim 2f (x i).
0
Similarly,
f (x) + i(Hf )(x) = lim 2f (x + i).
(20)
(21)
0
Hence
0
158
5. Quantized Fields
0
(22)
(24)
IRs+1
(25)
(26)
159
Recall that for s = 0, f (z) was analytic in the upper and lower
halfplanes. In more than one dimension, f (z) need not be analytic,
even though, for brevity, we still write it as a function of z rather
than z and z. However, f (z) does in general possess a partial analyticity which reduces to the above when s = 0. Consider the partial
derivative of f (x iy) with respect to z , defined by
f
z
(27)
f
f
i .
x
y
Then f is analytic at z if and only if f = 0 for all . But using our
definition of f (z), we find that
Z
1
f
2 f (x iy) =
d
(x y).
(28)
2
x
2 f (z) 2
derivative
in the direction of y vanishes, i.e.
Z
f
4y f (z) =
d y (x y)
x
(29)
=
f (x y)
d
= 0,
if f decays for large x (e.g., if f is a test function). Equivalently, using
2 (yp) eizp = 2 [(yp)] eizp
(yp) izp
= i
e
y
(30)
izp
= ip (yp) e
= ip (yp) eixp ,
we have
2i f (z) = (2)s1
Z
IRs+1
(31)
160
5. Quantized Fields
(32)
2iy f (z)
s1
= (2)
(33)
IRs+1
y 6= 0,
(34)
which states that f (z) is analytic in the upper and lower half
planes. The point is that in one dimension, there are only two imaginary directions (up or down), whereas in s+1 dimensions, every y 6= 0
defines a direction. This motivates the following.
Definition. Let Y (z) be a vector field of type (0, 1) on Cls+1 , i.e.
Y = Y (z) . Then a function f on Cls+1 is holomorphic along Y if
Y f (z) Y (z) f (z) 0.
(35)
1
(Hy f )(x) = PV
du
f (x uy),
u
x, y IRs+1 , y 6= 0.
161
(36)
(37)
(38)
0
hence
0
which, for s = 0, reduces to the previous relation with the ordinary Hilbert transform. As in the onedimensional case, f (x) is the
boundaryvalue of f (z) in the sense that
f (x) = lim [f (x + iy) + f (x iy)].
0
(39)
(40)
0
Note: The AnalyticSignal transform is remarkable in that it combines in a single entity elements of the Hilbert, FourierLaplace and
XRay transforms. In fact, it is an example of a much more general transform which, furthermore, includes the Radon transform and
an ndimensional version of the wavelet transform as special cases!
(Kaiser [1990b,c]).
162
5. Quantized Fields
163
the free KleinGordon and Dirac fields in sections 5.4 and 5.5.
The second approach to field quantization is subsumed in the
socalled axiomatic approach to quantum field theory. The unitary
representations of P0 under which the fields transform are no longer irreducible. This is a consequence of the fact that while P0 is transitive
on the phase space of a classical particle (i.e., any two locations, orientations and states of motion can be transformed into one another),
it is no longer transitive on the phase space of a classical field (two
sets of initial conditions need not be related by P0 ). The reducibility
of the representation corresponds to the presence of an infinite set of
degrees of freedom or, at the particle level, to an indefinite number
of particles. (Even two particles would result in reducibility, since
the Lorentz norm of their total energymomentum can be arbitrarily large.) Consequently, the representation is now characterized by
an infinite number of parameters and no longer uniquely determines
the theory, as it did (for a given mass and spin) when it was irreducible. On the other hand, the label space for the configuration
observables, which for N particles in IRs was {1, 2, 3, , sN }, is now
IRs , and Lorentz invariance means that the labels x mix with the
time variable. This gives an additional structure to quantized fields
not shared by ordinary quantum mechanics, and some of this structure is codified in terms of the Wightman axioms, partly making up
for the indeterminacy due to the reducibility of the representation.
For simplicity of notation we confine our attention to a single
scalar field. The results of this section extend to an arbitrary system
of scalar, spinor or tensor fields. Thus, let (x) be an arbitrary scalar
quantized field. Quantized means that rather than being a real
or complexvalued function on spacetime (like the components of the
classical electromagnetic field), (x) is an operator on some Hilbert
space H. Actually, as noted by Bohr and Rosenfeld [1950], quantized
fields are too singular to be measured at a single point in spacetime.
This led Wightman to postulate that is an operatorvalued distribution, i.e., when smeared over a test function f (x) it gives an operator
(f ) (unbounded, in general) on H. The axiomatic approach turns
out to provide a surprisingly rich mathematical framework common to
all quantum field theories; therefore, it is modelindependent. It was
followed by constructive quantum field theory, in which model field
theories are built and shown to satisfy the Wightman axioms. For
simplicity, we state the axioms in terms of the formal expression (x)
rather than its smeared form (f ). Also, we assume, to begin with,
that the field is neutral, which means that the operators (x) (or,
164
5. Quantized Fields
(1)
Let P and M be the selfadjoint generators of spacetime translations and Lorentz trnsformations, respectively. They are interpreted physically as the total energymomentum and angular
momentum operators of the field or, more generally, of the system of (possibly coupled) fields. They satisfy the commutation
relations of the Lie algebra of P0 . In particular, the P s must
commute with one another, thus have a joint spectrum IRs+1 .
(3)
3. Spectral Condition: The joint spectrum of the energymomentum operators P is contained in the closed forward light cone:
V +.
(4)
165
this, note first of all that must be invariant under L0 , by Axiom 1. Hence, if any physical state had a spectral component
with p
/ V + , that component could be made to have an arbitrarily large negative energy by a Lorentz transformation. Note
that the existence and uniqueness of the vacuum means that
contains the origin in its point spectrum with multiplicity one.
4. Locality: The field operators (x) and (x0 ) at points with spacelike separation commute, i.e.,
[(x), (x0 )] = 0
if (x x0 )2 < 0.
(5)
(weakly) as x0
(weakly) as x0 .
(6)
in and out are free fields of mass m > 0, i.e. they satisfy the
KleinGordon equation:
(t
u + m2 ) in = (t
u + m2 ) out = 0.
(7)
Physically, this means that in the far past and future, all particles
are sufficiently far apart to be decoupled, and that interpolates
the in and out fields. Furthermore, the Hilbert spaces on which
in , out and operate all coincide:
Hin = Hout = H.
(8)
166
5. Quantized Fields
i (x) = [(x), P ].
(9)
[(p),
P ] = p (p).
(10)
p (p)
0
(11)
P p = [P , (p)]
0 = p p .
(12)
(p)
0 =0
p
/ 1 ,
(13)
(14)
0 )], P ] = (p + p0 ) [(p),
0 )],
[ [(p),
(p
(p
(15)
167
(p)
need not vanish for spacelike p, since may contain points p0
such that p0 p . In fact, very strong conclusions can be drawn
From Lorentz invariance and
from the nature of the support of .
0 ) = 0, where
(p) = (p) it follows that (p) = 0 if and only if (p
p0 = p for some L0 . We conclude that the support of must
be a union of sets of the form
m = {p | p2 = m2 },
m>0
0 = {p | p2 = 0, p 6= 0}
00 = {0}
(16)
2
im = {p | p = m },
m > 0,
which are, in fact, the various orbits of the full Lorentz group L.
Greenberg [1962] has shown that is a generalized free field (i.e., a
sum or integral of free fields of varying masses m 0) if vanishes
on any of the following types of sets:
A = im ,
B = 00
m>0
[
m ,
(17)
0m<M
C=
m ,
M >0
M > 0.
m>M
168
5. Quantized Fields
(z) = (2)
dp izp (p)
s+1
(19)
IR
izp
.
This presents us with a technical problem, as already noted in the last
section, since izp is not a Schwartz test function in p. One way out
is to smear (z) with a test function f (z) over Cls+1 . Although this is
the safest solution, it is not very interesting since not much appears
to have been gained by extending the field to complex spacetime: the
new field is still an operatorvalued distribution. However, we shall
see that there are reasons to expect (z) to be more regular than a
generic AnalyticSignal transform, due in part to the fact that (x)
satisfies the Wightman axioms. When is a (generalized) free field,
169
the restriction of (z) to the double tube T turns out to be a holomorphic operatorvalued function. We will see that even for general
Wightman fields, T is an important subset of Cls+1 . In the presence of
interactions, holomorphy is lost but some regularity in T is expected
to remain. We now proceed to find conditions which do not force to
be a generalized free field but still allow (z) to be an operatorvalued
function on T . The arguments given below have no pretense to rigor;
they are only meant to serve as a possible framework for a more precise analysis in the future. All statements and conditions concerning
convergence, integrability and decay of operatorvalued expressions
are meant to hold in the weak sense, i.e. for matrix elements between
fixed vectors. Since the operators involved are unbounded, we must
furthermore assume that the vectors used to form the matrix elements
are in their (form) domains.
For a fixed timelike temper vector y, izp fails to be a
Schwartz test function in two distinct ways: (a) It has a discontinuity on the spacelike hyperplane Ny = {p | yp = 0}, and (b) it has a
constant modulus on hyperplanes parallel to Ny , hence cannot decay
there. On the other hand, by relativistic covariance, the support of
must be smeared over the orbits of L, given by eq. (16). This gives a
stratification of as a sum of tempered distributions
= + + 0 + 00 +
with support properties
[
supp +
m +
(20)
m>0
supp 0 0
supp 00 00
[
supp
im .
(21)
m>0
170
5. Quantized Fields
(22)
0 p) U (a, ) ,
(p)
= eiap U (a, ) (
(23)
171
unbounded fields even in the classical sense (as functions of x). Hence
we assume that
(a) 00 (p) = 2A (p), where A is a constant operator.
This corresponds to a constant field (x) 2A and, correspondingly,
00 (z) A (see eq. (15) in section 5.2). In order that (z) be an
operatorvalued function on T , it therefore remains only for (z) to
be one. Note that so far, the only assumption we needed to make, in
addition to the Wightman axioms, was (a). To make (z) a function,
we now make our second assumption:
(b) (p) is integrable on all spacelike hyperplanes. Furthermore, the
integral of over the hyperplane Hy, {p | yp = } (y V 0 )
grows at most polynomially in .
It is not clear what specific minimal conditions on produce this
property. The integral occurring in (b) is known as the Radon trans
form (R)(y,
) of when y is a (Euclidean) unit vector, and will be
further discussed in section 6.2. (See also Helgason [1984].) Unlike the
Fourier transform, the Radon transform does not readily generalize
to tempered distributions (which were, after all, designed specifically
for the Fourier transform). However, it does extend to distributions
of compact support and can be further generalized to distributions
with only mild decay. Also, the relation of assumptions (a), (b) (or
their future replacements, if any) to the Wightman axioms needs to
be investigated.
In order to compute (z) for z T it suffices, by covariance, to
do so for x = 0 and y = (u, 0), for all u 6= 0. The analyses for u > 0
and u < 0 are similar, so we restrict ourselves to u > 0. Eq. (19) then
gives
s1
(iu, 0) = (2)
up0
ds p (p0 , p).
dp0 e
0
(25)
IRs
For fixed p0 0, condition (b) implies that the integral over p converges, giving an operatorvalued function F (p0 ) which is of at most
polynomial growth in p0 . (iu, 0) is then the Laplace transform
of F (p0 ), which is indeed welldefined.
172
5. Quantized Fields
(p)
0 for p2 < 0 and (a) holds, (z) is holomorphic for y 2 > 0.
In fact, is then a generalized free field, hence may be said to be
trivial. This dual behavior also extends to p2 0 and y 2 < 0: For
2i (z) = (2)
dp p (yp) eixp (p),
(26)
IRs+1
(27)
173
(28)
[(p),
Q] = (p),
(29)
(30)
(31)
174
5. Quantized Fields
(p)
0 ,
(32)
for each p 1 . For a nonHermitian field, these vectors are independent. They are states of charge and , respectively. We may
think of them as particles and antiparticles, although they do not
have a welldefined mass since p2 will be variable on 1 , unless is
a free field. Each p 6= 0 in 1 belongs to the continuous spectrum of
the P s, since it can be changed continuously by Lorentz transformations. Hence the vectors
p are nonnormalizable. Since the P s
+
are selfadjoint, and since p and
p belong to different eigenvalues
of the charge operator (which is also selfadjoint), we have (with the
usual abuse of Dirac notation, where inner products of distributions
are taken)
h +
p | q i = 0
2
s+1
h
(p q),
p | q i = (p ) (2)
(33)
e+
z (z) 0
s1
0
dp izp (p)
= (2)
IRs+1
= (2)s1
(34)
dp izp +
p.
V+
Like the +
p s, these do not have a welldefined mass; in addition,
they are wave packets, i.e. have a smeared energymomentum, but
they still have a definite charge . Their spectral components are
given by
+
2
i
zp
h +
= (p2 )(yp) eizp .
p | ez i = (p )
(35)
175
0
dp izp (p)
= (2)
IRs+1
= (2)s1
(36)
dp izp
p.
V+
2
izp
h
= (p2 ) (yp) eizp .
p | ez i = (p )
(37)
Thus e
z vanishes in the forward tube and is weakly holomorphic in
the backward tube.
In the usual formulation of quantum field theory, particles are
associated not directly with the interacting, or interpolating, field
but with its asymptotic fields in and out , which are free. (We will
construct such freeparticle coherent states in the next two sections.)
However, the coherent states e
z are directly associated with the
interpolating field. We shall refer to them as interpolating particle
coherent states (section 5.6).
We are now ready to establish the phasespace interpretation of
T in the general case. We will show that T+ and T are extended
phase spaces associated with the particle and antiparticle coherent
states e+
z and ez , respectively, in the sense that they parametrize the
classical states of these particles.
We first discuss x as a position coordinate. In the case of interacting fields there is no hope of finding even a bad version of
position operators. Recall that position operators were in trouble
even in the case of a oneparticle theory without interactions! In the
general case of interacting fields, this problem becomes even more serious, since one is dealing with an indefinite number of particles which
may be dynamically created and destroyed. (As argued in section 4.2,
the generators M0k of Lorentz boosts qualify as a natural, albeit non
commutative, set of centerofmass operators; although I believe this
idea has merit, it will not be discussed here.) Since no position operators are expected to exist, we must not think of x as eigenvalues or
176
5. Quantized Fields
h e+
z 0 | ez i = h 0 | (z ) (z) 0 i
Z
0
= (2)s1
dp ei(z z)p (p2 )
V+
Z
0
1
2
2
dm (m )
d
p ei(z z)p
=
2 0
+
m
Z
1
dm2 (m2 ) + (z 0 z; m),
=
2i 0
(38)
(39)
i1
p
2
2
d
p 2(2)
m +p
ds p
(40)
with
h
+
the Lorentzinvariant measure on +
m . (w; m) is the twopoint
function for the free KleinGordon field of mass m, analytically continued to w z 0 z T+ . In the limit y, y 0 0, this gives the
K
allenLehmann representation (Itzykson and Zuber [1980]) for the
usual twopoint function,
1
h 0 | (x ) (x) 0 i =
2i
0
(41)
which is a distribution. In Wightman field theory, such vacuum expectation values are analytically continued using the spectral condition,
and conclusions are drawn from these analytic functions about the
field in real spacetime. In our case, we have first extended the field
(albeit nonanalytically), then taken its vacuum expectation values
(which, due to the spectral condition, are seen to be analytic functions, not mere distributions). The fact that we arrived at the same
177
result (i.e., that the diagram commutes) indicates that our approach
is not unrelated to Wightmans. However, there is a fundamental difference: The thesis underlying our work is that the real physics
actually takes place in complex spacetime, and that there is no need
to work with the singular limits y 0.
The norm of e+
z is given by
Z
+ 2
s1
kez k = (2)
dp (p2 ) e2yp
V+
(42)
Z
1
2
2
=
dm (m ) G(y; m),
2 0
where G(y; m), computed in section 4.4, is given by
m
G(y; m) = (2)1
K (2m).
(43)
4
p
Recall that y 2 , (s 1)/2 and K is a modified Bessel
function. We assume that e+
z is normalizable, which means that the
spectral density function (m2 ) satisfies the regularity condition
Z
m
+ 2
2
kez k = (2)
K (2m)
dm2 (m2 )
4
(44)
0
F () < .
(This condition is automatically satisfied for Wightman fields, where
it follows from the assumption that is a tempered distribution; however, it is also satisfied by more singular fields since K decays exponentially.) It follows that
Z
+
s1
+
dp (p2 ) p e2yp
h ez | P ez i = (2)
V+
1 F ()
2 y
= y F 0 ()/2.
(45)
(46)
178
5. Quantized Fields
h P i =
m
y ,
y V+0 ,
(47)
where
F 0 ()
m
=
2F ()
R
dm2 (m2 ) m+1 K+1 (2m)
0R
.
2 (m2 ) m K (2m)
dm
(48)
We call m the effective mass of the particle coherent states; it generalizes the corresponding quantity for KleinGordon particles (section
4.4). The name derives from the relation
h P i2 h P ih P i = m2 .
(49)
h P i =
(y ),
y V0 .
(50)
i x
x
(x) = [(x), M ].
(51)
x
x
This implies for the Fourier transform
[(p), M ] = i p p (p).
p
p
(52)
179
s1
] 0
dp eizp [M , (p)
= (2)
V+
s1
i
zp
= i(2)
dp e
V+
s1
= (2)
p p
p
p
0
(p)
(53)
dp (
z p z p ) eizp +
p,
V+
=
(x y x y ).
Similarly, in e
z with z T ,
m
h M i =
(x y x y ).
(55)
180
5. Quantized Fields
(1)
(p)
= 2(p2 m2 ) a(p)
(2)
mass hyperboloid m = +
m m . Write
b(p) a(p),
p +
m.
(3)
If the field is neutral, then (x) is realvalued and b(p) a(p). For
charged fields, a(p) and b(p) are independent. At this point, we keep
both options open. Then
181
(x) = (2)
dp (p2 m2 ) eixp a(p)
s+1
IR
Z
=
d
p eixp a(p)
Zm
h
i
ixp
ixp
=
d
p e
a(p) + e b(p) .
(4)
+
m
d
(x y)
i
Z
dp izp (p)
= (2)s1
IRs+1
Z
=
d
p izp a(p)
Zm
i
h
izp
izp
=
d
p (yp) e
a(p) + (yp) e b(p) .
(5)
+
m
(6)
+
m
182
5. Quantized Fields
neutral field, so b(p) a(p). According to the standard rules (Itzykson and Zuber [1980]) of field quantization, (x) becomes an operator
on a Hilbert space H such that at any fixed time x0 , the field configuration operators (x0 , x) and their conjugate momenta 0 (x0 , x)
obey the equaltime commutation relations
[(x), (x0 )]x00 =x0 = 0
[(x), 0 (x0 )]x00 =x0 = i(x x0 ).
(8)
(9)
(10)
where now p, p0 +
m.
A charged field can be built up from a pair of neutral fields as
(x) =
1 (x) + i2 (x)
,
2
(11)
(12)
for p, p0 +
m . The canonical commutation relations for both neutral
and charged fields can be put in the manifestly covariant form
183
for arbitrary p, p IR
mented by
s+1
(13)
. For charged fields, this must be supple-
0 )] = 0,
[(p),
(p
p, p0 IRs+1 .
(14)
(15)
0
h +
p | p0 i = h 0 | (p) (p ) 0 i
, (p
0 ) ] 0 i
= h 0 | [(p)
(16)
= (2)s+2 (p2 m2 ) (p p0 ),
which shows that the spectral density for the free field is
(p2 ) = 2 (p2 m2 ).
(17)
b(p)0 = 0
p +
m,
(18)
ez (z) 0 =
d
p eizp a(p) 0
+
m
Z
(19)
i
zp +
d
p e p ,
z T+ ,
+
m
184
5. Quantized Fields
+
where the vectors
p are generalized eigenvectors of energymomen+
tum p m with the normalization
0
+
+
h
p | p0 i = h 0 | a(p) a(p ) 0 i
= h 0 | [a(p), a(p0 ) ]0 i
(20)
= 2(2) (p p ).
The wave packets e+
z span the oneparticle subspace H1 of H and
have the momentum representation
+
i
zp
+
h
.
p | ez i = e
(21)
s1
f(p)
dp (p)
IRs+1
(22)
to the vacuum, where f is a test function. This gives
+
f
(f ) 0 = (2)
dp f(p) (p) 0
s+1
IR
Z
Z
s1
+
+,
= (2)
dp f (p) p =
d
p f(p)
p
s1
(23)
+
m
IRs+1
(24)
+
m
(25)
+
d | e+
z ih ez | ,
1 =
185
(26)
(27)
for some > 0 and some spacelike or, more generally, nowhere timelike (see section 4.5) submanifold S of real spacetime. As in section
4.5, the measure d is given in terms of the Poincareinvariant symplectic form = dy dx by restricting s to + and
choosing an orientation:
c c
d = (s!A )1 s = A1
dy dx .
(28)
Similarly, the antiparticle coherent states for the free field are
given by
Z
ez (z) 0 =
d
p eizp b(p) 0
+
m
Z
(29)
izp
d
p e p ,
z T .
+
m
Since for p +
m and z T we have
izp
+
+
h
= h
p | ez i = e
p | ez i,
(30)
+
it follows that e
z has exactly the same spacetime behavior as ez ,
confirming the interpretation of an antiparticle as a particle moving
backward in time. An antiparticle phase space is defined as a submanifold of T given by
= {x iy | x S, y
},
where S is as above. The resolution of 1 is then given by
Z
1 =
d | e
z ih ez | .
(31)
(32)
Manyparticle or antiparticle coherent states and their corresponding phase spaces can be defined similarly, and the commutation
186
5. Quantized Fields
relations imply that such states are symmetric with respect to permutations of the particles complex coordinates. For example,
+
e+
z1 z2 (z1 ) (z2 ) 0 = ez2 z1 ,
since (z1 ) and (z2 ) commute. In this way, a phasespace formalism can be buit for an indefinite number of particles (or charges),
analogous to the grandcanonical ensemble in classical statistical mechanics. This idea will not be further pursued here. Instead, we
now embark on option (b) above, i.e. the construction of global,
conserved field observables as integrals over particle and antiparticle
phase spaces.
The particle number and antiparticle number operators are given
by
Z
N+ =
d
p a(p) a(p)
+
Z m
(33)
d
p b(p) b(p),
N =
+
m
m
as can be seen from its commutation relations with a(p) and b(p). But
the resolution of unity derived in chapter 4 can now be restated as
Z
+
+
+
d exp(i
z p izp0 ) = (2)s 2(p) (p p0 ) = h
p | p0 i
(34)
d exp(izp i
z p0 ) = (2)s 2(p) (p p0 ) = h
p | p0 i
for p, p0 +
m , where the second identity follows from the first by replacing z with z and + with . It follows that N can be expressed
as phasespace integrals of the extended field (z):
Z
N+ =
d (z) (z)
Z +
(35)
N =
d (z) (z) .
187
d (z) (z)
Q=
+
d (z) (z) .
(36)
The two integrals can be combined into one as follows: Define the
total phase space as = + , where the minus sign means that
enters with the opposite (negative) orientation to that of + ,
in the sense of chains (Warner [1971]). The reason for this choice of
orientation is that B+ and B are both open sets of IRs+1 , hence
= B .
(37)
(38)
(39)
: (z) (z) :
(40)
(z) (z) ,
z T .
This coincides with the usual definition, since in T+ , is a creation
operator and is an annihilation operator, while in T these roles are
reversed. The charge can now be written in the compact form
Z
Q = d : (z) (z) :
(41)
(42)
188
5. Quantized Fields
(43)
where
Ti [ (z 0 ) (z)]
(=(z00 z0 )) (z 0 ) (z) + (=(z0 z00 )) (z) (z 0 )
(44)
(45)
(46)
and
when z and z 0 are in the same half of T , whereas if they are in opposite
halves of T , the sign of =(z00 z0 ) is invariant.
Note: For the extended fields, the Wick ordering is not a necessity
but a mere convenience, allowing us to combine the integrals over
+ and into a single integral. Each of these integrals is already
in normal order, since the extension to complex spacetime polarizes
the free field into its positiveand negativefrequency parts. Also,
the extended fields are operatorvalued functions rather than distributions, hence products such as (z) (z) are welldefined, which is
not the case in the usual formalism. A similar situation will occur in
the expressions for the other observables (energymomentum, angular
momentum, etc.) as phasespace integrals. Hence the phasespace
formalism resolves the problem of zeropoint energies without the
need to subtract infinite terms by hand! In this connection, see the
remarks on p. 21 of Henley and Thirring [1962]. #
The above expression for the charge can be related to the usual
one in the spacetime formalism, which is
Z
c : (x) :
Qusual = i dx
x
x
Z S
(47)
c J (x),
dx
S
Z
Z
1
c
= A
dx
dy
: :
y
S
B
Z
Z
c
A1
dx
dy j (x iy),
189
A1
(48)
where
(z)
y
is the phasespace current density. Using the notation
1
+i
z
2 x
y
we have
j (z)
= i( ).
y
Hence, by the holomorphy of ,
: :
y
= i : :
= i : :
(49)
(50)
(51)
j (z)
:.
x
x
Our expression for the charge is therefore
Z
c J (x),
Q=
dx
()
(52)
= i :
(53)
where
J()
(x)
A1
dy j (x iy)
i A1
dy :
:
x
x
B
(54)
190
5. Quantized Fields
: :
x
x y
= i ( + ) ( ) : :
= i (t
uz u
tz) : :
(55)
= i : ( u
tz u
tz ) :
= 0,
by virtue of the KleinGordon equation combined with the holomor
phy of in T . This implies that J()
(x) is also conserved, hence the
charge does not depend on the choice of S or .
Note: In using Stokes theorem above, we have assumed that the
contribution from |y0 | vanishes. (This was implicit in writing
the noncompact manifold as B .) This is indeed the case, as
has been shown rigorously in the context of the oneparticle theory
in chapter 4 (theorem 4.10). Also, we see another example of the
pattern, mentioned before, that in the phasespace formalism vector
and tensor fields can often be derived from scalar potentials. Here,
(z) acts as a potential for j (z). Note also that the KleinGordon
equation can be written in the form
(t
uz + m2 )(z) = : (t
uz + m2 ) := 0,
(56)
z 0 Cls+1 .
(57)
(z ) =
Z
=
191
(58)
(59)
K is a distribution on Cls+1 Cls+1 which is piecewise analytic in
T T , with
i+ (z 0 z; m),
z 0 , z T+
0
i (z z; m),
z 0 , z T
K(z 0 , z) =
(60)
z 0 T+ , z T
0,
0,
z 0 T , z T+ .
The twopoint functions i+ and i are analytic in T+ and T ,
respectively, and act as reproducing kernels for the subspaces with
charge and . Because of the above property, it is reasonable
to call K(z 0 , z) a reproducing kernel for the field (z), though this
differs somewhat from the standard usage of the term as applied to
Hilbert spaces (see chapter 1). Note that K propagates positive
frequency components of the field into the forward (future) tube
and negativefrequency components into the backward (past) tube.
This is somewhat reminiscent of the Feynman propagator, but K is
a solution of the homogeneous KleinGordon equation in the real
spacetime variables rather than a Green function.
The energymomentum and angular momentum operators may be
likewise expressed as conserved phasespace integrals of the extended
field:
192
5. Quantized Fields
Z
d : :
P = i
Z
M = i
(61)
d : (x x ) : .
c
c : :
dy
P = i A
dx
S
Z
Z
i
c
c : :
= A1
dx
dy
(62)
2 S
Z
Z
1 1
c
c : : .
= A
dx
dy
2
y
S
M =
i A1
c
dx
i
= A1
2
c : (x x ) :
dy
c x ( ) x ( ) : :
dy
S
Z
Z
1 1
c
c
dx
= A
dy x x : : .
2
y
y
S
(63)
Using = B and applying Stokes theorem, we therefore have
c
dx
Z
Z
1 1
2
c
P = A
dx
dy : :
2
y y
S
B
Z
c T () (x),
=
dx
(64)
where
()
T
(x)
1
A1
2
Z
dy
B
2
: :
y y
(65)
193
Z
Z
1 1
2
2
c
= A
dx
dy x x : :
2
y y
y y
S
B
Z
c () (x),
=
dx
(66)
where
()
(x)
1
A1
2
=
dy x
B
()
x T (x)
2
2
y y
y y
: :
(67)
()
x T
(x)
X = x =
(1)
x1 + ix2 x0 x3
where 0 = I (2 2 identity) and k (k = 1, 2, 3) are the Pauli spin
matrices. Note that det X = x2 x x. The action of SL(2, Cl) on
Hermitian 2 2 matrices given by
X 0 = AXA ,
A SL(2, Cl),
(2)
(3)
194
5. Quantized Fields
From
2
(4)
(5)
(6)
(7)
(a, A) x = (A) x + a.
(8)
(9)
if (x x0 )2 < 0
(10)
195
if (x x0 )2 < 0.
(11)
Replacing the commutators with anticommutators means that changing the order in which (x) and (x0 ) are applied to a state vector
in Hilbert space merely changes the sign of the vector, which has no
observable effect. Hence the physical interpretation that events at
spacelike separations cannot influence one another is still valid.
Similarly, for fields of integral spin (j = 0, 1, . . .), the locality
condition with anticommutators gives a trivial theory, whereas a non
trivial theory can exist using commutators.
The choice of commutators or anticommutators in the locality
condition does, however, have an important physical consequence. For
we have seen that the free asymptotic fields can be written as sums
of creation and destruction operators for particles and antiparticles.
If x1 , x2 , xn are n distinct points in the hyperplane x0 = 0 and
+ (x) denotes the positivefrequency part of the field (which can be
obtained from (x iy) by taking y 0 in V+0 ), then
+ (x1 ) + (x2 ) + (xn ) 0
(12)
196
5. Quantized Fields
(13)
where
/
(14)
is the Dirac operator and the s are a set of 4 4 Dirac matrices, meaning they satisfy the Clifford condition with respect to the
Minkowski metric:
{ , } + = 2g .
(15)
d
p eixp u (p) b (p) + eixp v (p) d (p) ,
(16)
where u and v are positive and negativefrequency fourcomponent spinors and summation over the polarization index = 1, 2 is
implied. b and d are operators satisfying the canonical anticommutation relations
(17)
for all p, q +
m . The spinors satisfy the orthogonality and completeness relations
197
u
(p) u (p) =
v (p) v (p) =
p/ + m
u (p) u
(p) =
2m
p
/
m
v (p) v (p) =
,
2m
(18)
v (p) = v (p) 0 .
(19)
In addition,
u
(p) u (p) = v (p) v (p) =
p
.
m
(20)
b (p) and d (p) are interpreted as annihilation operators for particles and antiparticles, respectively, while their adjoints are creation
operators. The adjoint field is defined by
(x) = (x) 0
(21)
= m.
x
(22)
and satisfies
i
Z m
N =
d
p d (p) d (p),
(23)
+
m
(24)
As for the KleinGordon field, we wish to give a phasespace representation of Q. The first step is to extend (x) to Cl4 using the
AnalyticSignal transform, which gives
198
5. Quantized Fields
Z
(z) =
+
m
d
p izp u (p) b (p) + izp v (p) d (p) .
(25)
i
z pizq
(26)
for p, q +
m , we obtain the following expressions for the particle
and antiparticle number operators as phasespace integrals:
Z
Z
N+ =
d (z) (z)
d : (z) (z) :
+
+
Z
(27)
N =
d : (z) (z) :,
where the fields in the first integral are already in normal order and
the second integral involves two changes of sign: one due to the normal
ordering, and another due to the orthogonality relation for the v s.
The charge operator can therefore be given the following compact
expression as a phasespace integral over the oriented phase space
= + :
Z
Z
Q = d : := d (z),
(28)
c
c J (x).
Qusual = dx : (x) (x) :
dx
(29)
S
Z
Z
1
c
: : .
= A
dx
dy
y
S
B
A1
199
(30)
(31)
where the factor 2m is included to give j the correct physical dimensions, given our normalization. Note that j (z) is conserved in
spacetime, i.e.
j
= ( + )j
x
:
= 2m : +
z
z
=0
(32)
(33)
where
=
i
[ , ]
2
(34)
are the spin matrices. The real part of this equation gives a phase
space version of the Gordon identity
: +( + ) :
:
j (z) = i( ) :
: .
=
+ :
y
x
(35)
200
5. Quantized Fields
x x
(36)
and the second term, which is due to spin, does not contribute to the
total charge since it is a pure divergence with respect to x. Thus
Z
Z
Z
1
c
c J (x),
Q = A
dx
dy j (z) =
dx
(37)
()
S
where
J()
(x)
A1
dy j (x iy)
(38)
(39)
z 0 Cl 4 .
(40)
Substituting for Q the above phasespace integral and using the commutator identity
[A, BC] = {A, B}C B{A, C}
(41)
(z ) =
d KD (z 0 , z)(z),
(42)
KD (z 0 , z) = {(z 0 ), (z)}
Z
h
0
=
d
p (y 0 p) (yp) ei(z z)p u u
+
m
i
0
+ (y 0 p) (yp) ei(z z)p v v
0
i/ + m
=
K(z 0 , z).
2m
201
(43)
Z
(45)
1
M =
d : (ix ix + 2 ) : .
(46)
202
5. Quantized Fields
c
[Ta , Tb ] = Cab
Tc ,
(47)
c
are the structure constants. Then we claim that the conwhere Cab
served global field observable corresponding to Ta is
Z
Qa =
d : Ta : .
(48)
[(z ), Qa ] =
d KD (z 0 , z) Ta (z),
(49)
(51)
(52)
(54)
203
(t
u + m2 ) out (x) = 0
(1)
and have the same vacuum expectation values as the free Klein
Gordon field discussed in section 5.4. Hence, by Wightmans reconstruction theorem (Streater and Wightman [1964]), these three fields
are unitarily related. We identify the free field of section 5.4 with in .
Then there is a unitary operator S such that
out (x) = S in (x) S .
(2)
(3)
(weakly) as x0 .
(4)
204
5. Quantized Fields
. In any case, the above equations can be solved using the Green
functions of the KleinGordon operator, which satisfy
(t
ux + m2 ) G(x) = (x).
(5)
(6)
where 0 is a free field determined by the initial or boundary conditions at infinity used to determine G. The retarded Green function
(we are back to s spatial dimensions) is defined as
Z
eixp
s1
Gret (x) = (2)
dp 2
,
(7)
(p+ m2 )
IRs+1
where
p+ (p0 + i, p)
(8)
with > 0 and the limit 0 is taken after the integral is evaluated.
Gret propagates both positive and negative frequencies forward in
time, which means that it is causal, i.e. vanishes when x0 < 0. Since
it is also Lorentzinvariant, it follows that
Gret (x x0 ) = 0
unless x x0 V+0 .
(9)
s1
Gadv (x x ) = (2)
ei(xx )p
dp 2
,
(p m2 )
IRs+1
(11)
205
s1
= (2)
d
Gret (x y x0 )
i
Z
0
(yp) ei(zx )p
dp
(p2+ m2 )
IRs+1
(14)
d
Gadv (x y x0 )
i
Z
0
(yp) ei(zx )p
dp
.
(p2 m2 )
IRs+1
(15)
and
1
Gadv (z x )
2i
0
s1
= (2)
206
5. Quantized Fields
now expected. Of course , Gret and Gadv are all holomorphic along
the vector field y, as are all AnalyticSignal transforms.
out
In Wightman field theory, the vacua in
and 0 of the
0 , 0
in, out and interpolating fields all coincide (the theory is already
renormalized). Let us define the asymptotic particle coherent states
by
e+
in,z = in (z) 0
e
in,z = in (z)0
(16)
e+
out,z = out (z) 0
e
out,z = out (z)0 .
We will refer to
e+
z = (z) 0 ,
e
z = (z)0
(17)
(18)
and
e
z
e
in,z
e
out,z
+
Z
+
dx Gadv (z x ) j(x ) 0 .
(20)
(21)
207
+
f = (f ) 0 .
(22)
=h
e+
in,z
=h
e+
out,z
+
f
|
Z
i+
+
f
Z
i+
dx Gadv (z x ) h 0 | j(x
) +
f
i.
(t
ux + m ) f(z) =
2
dx0 (t
ux + m2 ) Gret (z x0 ) h 0 | j(x0 ) +
f i
dx0 (t
ux + m2 ) Gadv (z x0 ) h 0 | j(x0 ) +
f i.
(24)
208
5. Quantized Fields
(t
ux + m2 ) Gret (z x0 ) = (t
ux + m2 ) Gadv (z x0 )
Z
0
s1
= (2)
dp (yp) ei(zx )p
(25)
IRs+1
(z x0 ),
where the last equation is a definition of (z x0 ) as the Analytic
Signal transform with respect to x of (x x0 ). The above is easily
seen to reduce to
(t
ux + m2 ) f(z) = h 0 | j(z) +
f i,
(26)
(27)
hence
+
(t
ux + m2 ) f(z) = h 0 | (t
ux + m2 ) (z) | +
f i = h 0 | j(z) f i. (28)
209
An extended neutral free KleinGordon field satisfies the canonical commutation relations
[(z), (z 0 )] = 0
[(z), (z 0 ) ] = K(z, z0 ) = i+ (z z0 )
(1)
Define
(f )
d
p a (p) f(p) =
+
m
d (z) f (z),
(3)
where + is any particle phase space and the second equality follows
from theorem 4.10 and its corollary. (Note: this is not the same as
the smeared field in real spacetime, since the latter would involve
an integration over time, which diverges when f is itself a solution
rather than a test function in spacetime.) The canonical commutation
relations imply that for z T+ ,
Z
[(z), (f )] =
d(z 0 )K(z, z0 ) f (z 0 ) = f (z),
(4)
+
210
5. Quantized Fields
and for n 1,
[(z), (f )n ] = f (z) n (f )n1 .
(5)
E f = e
(f )
(6)
0 .
(z) E f = [(z), e
(f )
] 0
= f (z) E f .
(7)
X
1 n
E =
(f ) 0 .
n!
n=0
f
(8)
(9)
(10)
(11)
which gives
so all particles are in the same state f and the entire system of particles is coherent! Similar states have been found to be very useful
in the analysis of the phenomenon of coherence in quantum optics
(Glauber [1963], Klauder and Sudarshan [1968]), where the name coherent states in fact originated. In the usual treatment, the positive
frequency components have to be separated out by hand using their
211
(f ) E
d f (z) (z) E g
Z +
(12)
=
d f (z) g(z) E g
+
= h f | g i Eg ,
where, by theorem 4.10,
Z
Z
hf |gi
d f (z) g(z) =
d
p f(p) g(p).
(13)
+
m
Hence
h E f | E g i = h 0 | e(f ) E g i
= eh f | g i .
(14)
212
5. Quantized Fields
(17)
(18)
C
ln
d() e( + ) = e A ,
(19)
C
ln
with
d() = det A1 exp[ A1 ] d2n .
(20)
d() e( ) = e A .
(21)
C
ln
213
(22)
IR2n
K0 f (z) =
d
pe
f (p) | f S .
+
m
214
5. Quantized Fields
h f, g i h f, g i
d
p f(p) g(p),
f S 0 , g S.
(24)
+
m
(25)
d(f ) h | E f ih E f | i
K00
(27)
215
d(f ) [f ] [f ].
K00
E f,g = e
(f )+(
g)
0 ,
(28)
(31)
216
5. Quantized Fields
z, z 0 Cls+1 .
(34)
I believe that this relation does have a chance of holding for interpolating charged scalar fields. It would be a consequence, for example, of
the physical requirement that the Lie algebra generated by the field
has no operators which remove (or add) a double charge 2. This
commutation relation is the weaker half of the freefield canonical
commutation relations, the stronger half (which we do not assume)
being that [(z), (z 0 ) ] is a cnumber, i.e. a multiple of the identity. If [(z), (z 0 )] = 0 for all z and z 0 , then it makes sense to look
for common eigenvectors of all the (z)s, which would be coherent
states of the interpolating field.
Notes
Most of the results in sections 5.25.5 were announced in Kaiser
[1987b] and have been published in Kaiser [1987a]. An earlier attempt to describe quantized fields in complex spacetime was made
in Kaiser [1980b] but was found to be unsatisfactory. The Analytic
Signal transform is further studied in Kaiser [1990c].
Segal [1963b] proposed a formulation of quantum field theory in
terms of the symplectic geometry of the phase space of classical fields.
This phase space corresponds, roughly, to the space K00 defined in section 5.7. An attempt to study quantized fields as (operatorvalued)
functions on the Poincare groupmanifold has been made by Lurcat
[1964]; see also Hai [1969]. As mentioned in section 4.2, this manifold
may be regarded as an extended phase space which includes spin degrees of freedom in addition to position and velocity coordinates. In
Notes
217
the context of classical field theory, this point of view has been generalized to curved spacetime by replacing the Poincare groupmanifold
with the orthogonal frame bundle over a Lorentzian spacetime (Toller
[1978]). These efforts have not, however, utilized holomorphy. It may
be interesting to expand the point of view advocated here to a complex
manifold containing the Poincare groupmanifold in order to account
naturally for spin. This might result in a total coherentstate representation where the classical phase space coordinates range over T
and the spin phase space coordinates range over the Riemann sphere,
as in section 3.5.
I owe special thanks to R. F. Streater for many important comments and corrections in this chapter.
218
6. Further Developments
Chapter 6
FURTHER DEVELOPMENTS
(1)
Y = (X)Y t,
219
(2)
where (X) is a linear transformation on the tangent space at x0 . Furthermore, (X) must be linear in X since the latter is an infinitesimal
(i.e., linearized) description of the curve at x0 . If Y = Y , this gives
Y = x Y ( ) t.
(3)
(4)
220
6. Further Developments
means assuming less structure to begin with, since f (x) now belongs
to Cl as a vector space rather than as an algebra. The complex plane
attached to x will be denoted by Clx and is called the fiber at x, and
the set of all fibers is called a complex line bundle over IRs+1 (Wells
[1980]). To differentiate f , we must know how it is affected by transport. The situation is similar to the one above, only now (X) must
be a 1 1 complex matrix, i.e. a complex number. An infinitesimal
transport gives
f = (X)f t = x f t,
(5)
(6)
where
dx .
(7)
The 1form is called the connection form. Df is the sum of a horizontal part df (which measures change due to the dependence of f
on x) and a vertical part (which measures change due to transport).
A gauge transformation is represented locally by a multiplication by
a variable phase factor, i.e.
f (x) 7 ei(x) f (x).
(8)
This is a linear map on each fiber Clx , which corresponds in Relativity to the linear map on tangent spaces induced by a coordinate
transformation. In fact, since there is no longer any natural way to
identify distinct fibers, a gauge transformation is a coordinate transformation of sorts. We therefore require that Df be invariant under
gauge transformations, which implies that transforms as
7 id.
(9)
(10)
221
(11)
(12)
h + h = dh,
(13)
It follows that
which constrains the real part of but leaves the imaginary part
arbitrary. Writing = R + iA, where R and A are real 1forms, we
have
2R = d log h.
(14)
(15)
(16)
This equation was known (even before gauge theory) to be a relativistically covariant description of a KleinGordon particle in the presence of the electromagnetic field determined by the vector potential
A (x). Hence the connection, which describes a geometric property
of the the complex line bundle, acquires a physical significance with
222
6. Further Developments
(17)
223
to complex spacetime. (This will include the abelian case of electrodynamics when n = 1.) Consider a field f on complex spacetime,
say on the double tube T , whose values are ndimensional complex
vectors. The set of all possible values at z T is a complex vector
space Fz Cln called the fiber at z. The collection of all fibers is
called a vector bundle. We assume that this bundle is holomorphic
(Wells [1980]), so that holomorphic sections z 7 f (z) Fz , represented locally by holomorphic vectorvalued functions, make sense.
Upon transport along a curve z(t) having the complex tangent vector
Z, f changes by
f = (Z)f t,
(18)
where (Z) is a linear map on each fiber. The total differential change
is
Df = (d + ) f.
(19)
d = + ,
(20)
1
+i
= dz = dz
2
x
y
1
= d
z = d
z
i .
2
x
y
(21)
If z = x iy, then
where
(22)
(Z) = dz + d
z,
(23)
we have
where = ( ) and = ( ).
Let us now try again to derive the connection from a fiber metric,
as we have failed to in the case of real spacetime. A positivedefinite
metric on the fibers Fz must have the form
(f (z), g(z)) = f (z) h(z) g(z)
(24)
224
6. Further Developments
where h(z) is a positivedefinite matrix. Again, it will suffice to consider the (squared) fiber norm
(z) = (f (z), f (z)).
(25)
(27)
(28)
(29)
(30)
= 1 + 1 ,
since = 0 by analyticity. It follows that
hence
D0 f 0 (d + 0 )f 0 = 1 D(f 0 ),
(31)
(D0 )2 f 0 = 1 D2 (f 0 ).
(32)
225
(33)
(34)
(35)
= 0, we find
and 2 = 2 = +
+ = h1 h h1 h + h1 h h1 h = 0. (36)
This is an integrability condition for , being a consequence of the fact
that can be derived from h. One could say that h is a potential for
. Therefore the quadratic term cancels in eq. (34) and the curvature
form reduces to
= .
(37)
Hence if h is such that h1 h 6= 0, then the connection is non
trivial. The form is the complex spacetime version of a YangMills
field, and corresponds to the YangMills potential.
For n = 1, and are the complex spacetime versions of the
electromagnetic potential and the electromagnetic field, respectively.
Since h(z) is a positive function, it may be written as
h(z) = e(z)
(38)
= .
(39)
To relate and to the electromagnetic potential A and the electromagnetic field F , one performs a nonholomorphic gauge transformation similar to that in eq.(15): let
226
6. Further Developments
f(z) = e(z)/2 f (z),
h(z)
1.
(40)
(41)
1
2 y
(42)
giving
A (z) =
x
x
1
2
2
=
2 x y
x y
F (z)
(43)
227
228
6. Further Developments
fh (x, y) = |y|
dt h
1/2
= |y|
t0 x
y
f (t0 )
(2)
(W f )(x, y),
1
,
2(1 it)
(3)
fh (x, ay) =
229
(5)
= dn p e2ipx h(py)
f(p)
x,y | f iL2 = h hx,y | f iL2 ,
hh
x,y is defined by
where h
x,y (p) = e2ipx h(py),
(7)
so that
0
hx,y (x ) =
dn p e2ip(x x) h(py).
(8)
h(py)
= d h()
(py )
(9)
and change the order of integration in eq. (8), obtaining
Z
Z
0
0
(10)
230
6. Further Developments
(12)
showing that f = T (T f ) in L2 (IRn ), which is the desired reconstruction formula. There are various ways to obtain a resolution of unity,
since f is actually overdetermined by fh , i.e. giving the values of fh
on all of IRn IRn amounts to oversampling, so fh will have to
satisfy a consistency condition. We have seen several examples of this
in the study of the windowed Fourier transform (section 1.5) and the
onedimensional wavelet transform (section 1.6 and chapter 2), where
discrete subframes were obtained starting with a continuous resolution of unity. However, for n > 1, there are other options than discrete
subframes, as we will see. In the spirit of the onedimensional wavelet
transform, our first resolution of unity will involve an integration over
all of IRn IRn . Note that
fh (x, y) = h(py)
f (x),
(13)
so Plancherels theorem gives
Z
Z
n
2
2
(14)
(15)
(16)
231
(18)
(n/2)
n/2 ch
(20)
f (x ) = (T T f )(x ) = N
dn x d n y
hx,y (x0 ) fh (x, y).
|y|n
(21)
The sense in which this formula holds depends, of course on the behavior of f . The class of possible f s, in turn, depends on the choice
of h. A rigorous analysis of these questions is not easy, and will not
be attempted here. Note that in spite of the factor |y|n in the denominator, there is no problem at y = 0 since
fh (x, 0) = h(0)
f (x) = 0
(22)
232
6. Further Developments
Z
fh (x, y/) =
dt h(t) f (x + ty).
(23)
as
(24)
(25)
0)
= dn p e2ip(xx ) h(py)
h(py
(26)
dx dy
|fh (x, y)|2 =
|y|
dx dy
2
|(W f )(x, y)| .
y2
(28)
233
(29)
234
6. Further Developments
(30)
(32)
2i
=e
(33)
fh (x, y).
(34)
h(t) =
1
2i(t i)
235
(35)
h()
= () e2 = 2 ,
(36)
Z
=
(37)
n
2ip(xiy)
d pe
f(p),
My
(38)
236
6. Further Developments
References
237
REFERENCES
Abraham, R. and Marsden, J. E.
[1978] Foundations of Mechanics, Benjamin/Cummings, Reading,
MA.
Abramowitz, M. and Stegun, L. A., eds.
[1964] Handbook of Mathematical Functions, National Bureau of
Standards, Applied Math. Series 55.
Ali, T. and Antoine, J.P.
[1989] Ann. Inst. H. Poincare 51, 23.
Applequist, T. Chodos, A. and Freund, P. G. O., eds.
[1987] Modern KaluzaKlein Theories, AddisonWesley, Reading,
MA.
Aronszajn, N.
[1950] Trans. Amer. Math. Soc. 68, 337.
Aslaksen, E. W. and Klauder, J. R.
[1968] J. Math. Phys. 9, 206.
[1969] J. Math. Phys. 10, 2267.
Bargmann, V.
[1954] Ann. Math. 59, 1.
[1961] Commun. Pure Appl. Math. 14, 187.
Bargmann, V., Butera, P., Girardello, L. and Klauder, J. R.
[1971] Reps. Math. Phys. 2, 221.
Barut, A.O. and Malin, S.
[1968] Revs. Mod. Phys. 40, 632.
Battle, G.
[1987] Commun. Math. Phys. 110, 601.
Berezin, F. A.
[1966] The Method of Second Quantization, Academic Press, New
York.
Bergman, S.
[1950] The Kernel Function and Conformal Mapping, Amer.
Math. Soc., Providence.
BialinickiBirula, I. and Mycielski, J.
[1975] Commun. Math. Phys. 44, 129.
Bleeker, D.
[1981] Gauge Theory and Variational Principles, Addison Wesley,
Reading, MA.
Bohr, N. and Rosenfeld, L.
[1950] Phys. Rev. 78, 794.
Bott, R.
[1957] Ann. Math. 66, 203.
238
References
Carey, A. L.
[1976] Bull. Austr. Math. Soc. 15, 1.
Daubechies, I.
[1988a] The wavelet transform, timefrequency localization and signal analysis, to be published in IEEE Trans. Inf. Thy.
[1988b] Commun. Pure Appl. Math. XLI, 909.
De Bi`evre, S.
[1989] J. Math. Phys. 30, 1401.
DellAntonio, G. F.
[1961] J. Math. Phys. 2, 759.
Dirac, P. A. M.
[1943] Quantum Electrodynamics, Commun. of the Dublin
Inst. for Advanced Studies series A, #1.
[1946] Developments in Quantum Electrodynamics, Commun. of
the Dublin Inst. for Advanced Studies series A, #3.
Dufflo, M. and Moore, C. C.
[1976] J. Funct. Anal. 21, 209.
Dyson, F. J.
[1956] Phys. Rev. 102, 1217.
Fock, V. A.
[1928] Z. Phys. 49, 339.
Gelfand, I. M., Graev, M. I. and Vilenkin, N. Ya.
[1966] Generalized Functions, vol 5, Academic Press, New York.
Gelfand, I. M. and Vilenkin, N. Ya.
[1964] Generalized Functions, vol 4, Academic Press, New York.
Gerlach, B., Gomes, D. and Petzold, J.
[1967] Z. Physik 202, 401.
Glauber, R. J.
[1963a] Phys. Rev. 130, 2529.
[1963b] Phys. Rev. 131, 2766.
Glimm, J. and Jaffe, A.
[1981] Quantum Physics, Springer, New York.
Green, M. W., Schwarz, J. H. and Witten, E.
[1987] Superstring Theory, vols. I, II, Cambridge Univ. Press,
Cambridge.
Greenberg, O. W.
[1962] J. Math. Phys. 3, 859.
Guillemin, V. and Sternberg, S.
[1984] Symplectic Techniques in Physics, Cambridge Univ.
Press, Cambridge.
Hai, N. X.
[1969] Commun. Math. Phys. 12, 331.
References
239
Halmos, P.
[1967] A Hilbert Space Problem Book, Van Nostrand, London.
Hegerfeldt, G. C.
[1985] Phys. Rev. Lett. 54, 2395.
Helgason, S.
[1962] Differential Geometry and Symmetric Spaces,
Academic Press, NY.
[1978] Differential Geometry, Lie Groups, and Symmetric Spaces,
Academic Press, New York.
[1984] Groups and Geometric Analysis, Academic Press, New York.
Henley, E. M. and Thirring, W.
[1962] Elementary Quantum Field Theory,
McGrawHill, New York.
Herman, G. T., ed.
[1979] Image Reconstruction from Projections: Implementation
and Applications, Topics in Applied Physics 32, Springer
New York.
Hermann, R.
[1966] Lie Groups for Physicists, Benjamin, New York.
Hille, E.
[1972] Rocky Mountain J. Math. 2, 319.
In
on
u, E. and Wigner, E. P.
[1953] Proc. Nat. Acad. Sci., USA, 39, 510.
Itzykson, C. and Zuber, J.B.
[1980] Quantum Field Theory, McGrawHill, New York.
Jost, R.
[1965] The General Theory of Quantized Fields, Amer. Math. Soc.,
Providence.
Kaiser, G.
[1974] Coherent States and Asymptotic Representations, in Proc.
of Third Internat. Colloq. on GroupTheor. Meth. in
Physics, Marseille.
[1977a] Relativistic CoherentState Representations, in
GroupTheoretical Methods in Physics, R. Sharp and B.
Coleman, eds., Academic Press, New York.
[1977b] J. Math. Phys. 18, 952.
[1977c] PhaseSpace Approach to Relativistic Quantum Mechanics,
Ph. D. thesis, Mathematics Dept, Univ. of Toronto.
[1977d] PhaseSpace Approach to Relativistic Quantum
Mechanics, in proc. of Eighth Internat. Conf. on General
Relativity, Waterloo, Ont.
[1978a] J. Math. Phys. 19, 502.
240
References
References
241
242
References
Nelson, E.
[1959] Ann. Math. 70, 572.
[1973a] J. Funct. Anal. 12, 97.
[1973b] J. Funct. Anal. 12, 211.
Neumann, J. von
[1931] Math. Ann. 104, 570.
Newton, T. D. and Wigner, E.
[1949] Rev. Mod. Phys. 21, 400.
Onofri, E.
[1975] J. Math. Phys. 16, 1087.
Papoulis, A.
[1962] The Fourier Integral and its Applications, McGrawHill.
Perelomov, A. M.
[1972] Commun. Math. Phys. 26, 222.
[1986] Generalized Coherent States and Their Applications,
Springer, Heidelberg.
Prugovecki, E.
[1976] J. Phys. A9, 1851.
[1978] J. Math. Phys. 19, 2260.
[1984] Stochastic Quantum Mechanics and Quantum Spacetime,
D. Reidel, Dordrecht.
Robinson, D. W.
[1962] Helv. Physica Acta 35, 403.
Roederer, J. G.
[1975] Introduction to the Physics and Psychophysics of Music,
Springer, New York.
Schr
odinger, E.
[1926] Naturwissenschaften 14, 664.
Segal, I. E.
[1956a] Trans. Amer. Math. Soc. 81, 106.
[1956b] Ann. Math. 63, 160.
[1958] Trans. Amer. Math. Soc. 88, 12.
[1963a] Illinois J. Math. 6, 500.
[1963b] Mathematical Problems of Relativistic Physics, Amer.
Math. Soc., Providence.
[1965] Bull. Amer. Math. Soc. 71, 419.
Simms, D. J. and Woodhouse, N. M. J.
[1976] Lectures on Geometric Quantization, Lecture Notes in Physics 53, Springer Verlag, Heidelberg.
References
243
Sniatycki,
J.
[1980] Geometric Quantization and Quantum mechanics,
Springer, Heidelberg.
Souriau, J.M.
[1970] Structure des Syst`emes Dynamiques, Dunod, Paris.
Stein, E.
[1970] Singular Integrals and Differentiability Properties of
Functions, Princeton Univ. Press, Princeton.
Strang, G.
[1989] SIAM Rev. 31, 614.
Streater, R. F.
[1967] Commun. Math. Phys. 4, 217.
Streater, R. F. and Wightman, A. S.
[1964] PCT, Spin & Statistics, and All That, Benjamin, New York.
Thirring, W.
[1980] Quantum Mechanics of Large Systems, Springer, New York.
Toller, M.
[1978] Nuovo Cim. 44B, 67.
Unterberger, A.
[1988] Commun. in Partial Diff. Eqs. 13, 847.
Varadarajan, V. S.
[1968] Geometry of Quantum Theory, vol. I, D. Van Nostrand,
Princeton, NJ.
[1970] Geometry of Quantum Theory, vol. II, D. Van Nostrand,
Princeton, NJ.
[1974] Lie Groups, Lie Algebras, and their Representations,
PrenticeHall, Englewood Cliffs, NJ.
Warner, F.
[1971] Foundations of Differentiable Manifolds and Lie Groups,
Scott, Foresman and Co., London.
Wells, R. O.
[1980] Differential Analysis on Complex Manifolds, Springer, New
York.
Weyl, H.
[1919] Ann. d. Physik 59, 101.
[1931] The Theory of Groups and Quantum Mechanics, translated
by H. P. Robertson, Dover, New York
Wightman, A. S.
[1962] Rev. Mod. Phys. 34, 845.
Yosida, G.
[1971] Functional Analysis, Springer, Heidelberg.
244
References
Young, R. M.
[1980] An Introduction to NonHarmonic Fourier Series, Academic
Press, New York.
Zakai, M.
[1960] Information and Control 3, 101.