This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
T icA j~B
<- 1 i~AZ
FKG
inequality
~B "
from adding the pair of
FKG
inequalities,
in
0
and
<(~B - K B ) ~ A > T ~
function. H_I( ~ 2) Axiom A
applied
0 .
Similarly
for the
(3.3).
"the field couples
in crude terms,
(3.3)
The second inequality
Simon has exploited Lemma 3.6 to prove that in theories
=
7 <#(fi)~(fj)> T . j~B
is just the
field
Then we have
and
functions
hold.
in a Euclidean
HA
last inequality
(see
are finite index sets).
The first inequality
follows
[ii].
in terms of the variables
theory for which the 0 < ~A --
the
P(~)
2
the vacuum to the first excited state",
that the mass gap must show up in the two point
In general,
consider a Euclidean Markov field theory over
satisfying Nelson's [12, 10] and the
FKG
axioms including the sharp time inequalities.
The relativistic
or
285
Hilbert zero
space
subspace
~
is o b t a i n e d
in Nelson's
of
L z(Q,d~)
~ = E L 2(Q,dp)
;
construction ,
E
being
0
orthogonal
projection
the c o r r e s p o n d i n g vacuum, t
< ... < t 2
--
Hamiltonian
--
--
(~'¢0 (gl)e
"time"-
the
0
supported
operator
then the F e y n m a n - K a c - N e l s o n
< t i
onto v e c t o r s
as the
on
at
~
t = 0
If
~
its u n i q u e
and
formula
asserts
that
H
is
for
, n
- ( t - t )H - (tn-tn_,) H 2 I ¢0 (g2) ... e ¢0 ( g n ) ~ ) ~ (3.4) t =(¢(gi
where gt(x
1
~0
is the time
,x 2) = g(x
l -I o(Ig) Lemma
to
3.7.
i
satisfying
Using
as
Consider
axioms
< t i
O
and the c o n v e r g e n c e
Markov
field theory
< ... < t }
is total
for s i m p l i c i t y
is an e i g e n v a l u e
in
(3.4)
and
t.+t f~3 = gJ 3
<~A
the
t >
hA
spectral
T
=
over
~_I(]R2)
Q
E
that
> 0 .
If
the
next
~
'
n ~A = 3~Ip(fj).=
theorem,
(~, e-t~
point
in
a(H)
is a c o r r e s p o n d i n g i
e i g e n v e c t o r , then by L e m m a 3.7 there is some t tn = E 0 p ( g * i) "'" P(gn ) ~ S such that (~'~i) ,
of
n
i
t. fj = gj3
and
including
2
Now s u p p o s e above
(3.4)
gj E S (IR I)
A x i o m A for sharp time fields. t t S = {E0 P(gl I) "'" P(gn n) Igj E S ( ~ I) ,
T h e n the set of v e c t o r s 0 < t
~,
I ÷ 0 , Simon has shown:
a Euclidean
Nelson's
g. > 0 , 3 --
i) "'" ¢(gn n)>,
zero field on
)~(x -t) 2
¢(g)
t
we h a v e
~) - I (~,~)
and
for
fl 0 .
Let
~At = K p(f~) . t
By
> 0
12
-tE
>_ l(*, a~)l ~ e Now L e m m a (3.3)
that
3.6 e x t e n d s
to t h e s e
i sharp time
f. 3
and we d e d u c e
from
286
-tE (@,n)I 2 e
* < 1 E E < 9(fi)9(f t) >
•
--
i
j
T
-
(t+tj-ti) H
4j li7 7 [ (90 (gi)~' e
(3.5)
90 (gj)~)
- (~,90(gi)~)(~,90 (gj)n)]
assumlng
t ~ t i - tj
that for some E,
,
gi
, for all
i, j .
We conclude from
and some eigenvector
(90(gi)~ , ~i) ~ 0 .
If
El
~i
of
H
with e i g e n v a l u e
is in the continuous
a similar argument using spectral measures
(3.5)
spectrum,
carries through,
and so
we have proved: Theorem
3.8.
~_I(IR2)
Consider
a Euclidean Markov field theory over
satisfying Nelson's
Then the vectors
{90 (g)~
axioms
and the
FKG
I g ~ S ( ~ i) , g ~ 0}
first excited state of the Hamiltonian
inequalities.
are coupled to the
H .
Remarks ' i.
A related result has been obtained by Glimm,
Spencer
[6] and Jaffe's
(see
2.
An almost identical
P(9)
theory (see Simon 2 In the case where H
3. (say
P(9)
2
with
P
lectures).
argument works
~_I(IR2)
is invariant under the symmetry
~
corresponding
i
<9(f) > = 0
by ordinary
9 + -9
,
to
E
1
which is odd
so that we can replace
expectations:
Consider a E u c l i d e a n M a r k e v field theory over
which satisfies Nelson's
and for which ~ 9 ( f ) > = 0 . lowest points
cutoff
9 + -9 -
truncated expectations 3.9.
for the spatially
[15]).
In this latter case
Corollary
and
even) -it is a corollary of Theorem 3.8 that
there is an eigenvector under the s!nT~etry
Jaffe,
axioms
Then the gap
in the spectrum of
H
and the bE
FKG
between
inequalities the two
is given in terms of the two
287
point
Schwinger
AE
=
function
sup f>0
-
by
f
lira ~ log t~
S(x,t;y,0)
f(x) f ( y ) d x d y
.
(3.6)
f~S (IR 1)
For
a spatially
cutoff
P(~)
(g)
theory
with
P
even,
2
formula h(x,s)
(3.6)
holds
= g(s)
tells
Below
us n o t h i n g
(bE) -I
i.
Confining
immediately Theorem
is the S c h w i n g e r
the c r i t i c a l
turn
length
gap
S
because
We n e x t correlation
where
AE
point,
for I s i n g
(3.6)
for~ula
with
(3.6)
of
cutoff course
H 0
to a p p l i c a t i o n
formula
function
(iii)
ferromagnets
with
: the a n a l o g u e
is the i n v e r s e
the m o n o t o n i c i t y
of
of
the
the m a s s
of L e m ~ a
3.1 w e
with
even,
obtain:
3.10.
Consider
any of the
P(~)
theory
P
1
P(x)
n x2 i = Z a2i
; a spatially
cutoff
or infinite
volume
P(~)2
1 theory
with
P
even,
P(x)
= Pe(X)
+ a x2 o
Then
the m a s s
gap
bE
0
is an i n c r e a s i n g 2.
There
are
function
a number
on the c o r r e l a t i o n that
bE
result
is c o m p l i c a t e d of W i c k
can be
controlled
3.
When
the f a c t
3.8 s t i l l
function
Theorem
3.11.
permit
[16]
of
term
m in
the
defined
3.10
a change
special 3.4)
[i0] P the
a monotonicity
Consider
P = ax ~ + b x 2 - ~x
that
In the
results
,
or
a0
for
AE
based
suggests,
of the b a r e m a s s
(as in T h e o r e m
is a l i n e a r
Theorem
Theorem
function
ordering.
is an i n c r e a s i n g there
by
a2,..,a2n
monotomicity
inequalities.
bE
to
of o t h e r
is an i n c r e a s i n g
definition change
of the p a r a m e t e r s
in
case
m m
of
for .
Such
changes
GHS
out
the c r i t i c a l inequality
a the
a~ ~ + b~ ~
a n d it turns
above
instance,
this
that point.
and
result:
infinite
by Theorem
volume 3.4.
theory Then
corresponding
the m a s s
gap
288
AE
is an increasing
function of
This result expresses phase
transition
phase
transitions
be elaborated
as
i~i ÷ 0 .
the idea that we get closer to a There is a preliminary
(application
on in Simon's
i~i
(iv))
in
GRS
discussion
of
[i0] and this topic will
lectures.
References i. S. Albeverio
and R. Hoegh-Krohn,
Gap for Strong Interactions Space-Time,
University
2. C. Fortuin,
of Exponential
Type in T w o - D i m e n s i o n a l
of Oslo preprint.
P. Kasteleyn
on Some Partially
The Wightman Axioms and the Mass
and J. Ginibre,
Ordered
Correlation
Sets, Comm. Math.
Inequalities
Phys.
22
(1971)
89-103. 3. J. Frohlich,
Schwinger Functions
University 4. J. Ginibre, Math.
16
(1970)
5. J. Glimm and A. Jaffe, Physo
(1972)
Particle 7. R. Griffiths, Math. (1967) 8.
and T. Spencer, in the P(~)
Correlation 8 (1967)
The Wightman Axioms 2
Quantum Field Theory,
in Ising Ferromagnets, 478-483,
and the
484-489,
preprint
I, II, III, J.
Comm. Math°
Phys.
6
121-127. , Phase Transitions,
Quantum Field Theory, Editors, 9. R. Griffiths,
Gordon and Breach, C. Hurst,
Phys.
ii
in Statistical
Les Houches
(1970)
Mechanics
1970, C. De Witt,
New Y~rk,
and S. Sherman,
of an Ising Ferromagnet Math.
Comm.
1568-1584.
Structure
Phys.
Inequalities,
The ~ ( ~ ) z Quantum Field Theory Without of the Hamiltonian, J. Math.
IV. Perturbations
6. J. Glimm, A. Jaffe,
of Griffiths'
310-328.
Cutoffs. 13
Functionals,
of Geneva preprint.
General Formulation Phys.
and their Generating
1971.
Concavity of M a g n e t i z a t i o n
in a Positive External
790-795.
and R. Stora,
Field,
J.
289
10. F. Guerra, L. Rosen,
and B. Simon, The P(~) Euclidean Quantum z Field Theory as C l a s s i c a l Statistical Mechanics, Ann. Math., to appear.
ii. J. Lebowitz,
Bounds on the C o r r e l a t i o n s
of F e r r o m a g n e t i c (1972) 12. E. Nelson,
Ising Spin Systems, Comm. Math.
Phys.
28
313-321. C o n s t r u c t i o n of Q u a n t u m Fields from Markoff Fields,
Funct. Anal. 13.
and A n a l y t i c i t y Properties
12
(1973)
J.
97-112.
, The Free Markoff Field, J. Funct. Anal.
12
(1973)
211-
227. 14. D. Ruelle,
S t a t i s t i c a l Mechanics,
15. B. Simon, C o r r e l a t i o n
Benjamin, New York,
1969.
Inequalities and the Mass Gap in P($)
I. D o m i n a t i o n by the Two P o i n t Function,
Comm. Math.
2 Phys.,
to appear. 16. B. Simon and R. Griffiths, Ising Model, 17. K. Symanzik, Theory,
The
Comm. Math.
(~4) Field Theory as a Classical 2 Phys., to appear.
E u c l i d e a n Q u a n t u m Field Theory,
in Local Quantum
Proceedings o f the I n t e r n a t i o n a l School of Physics
"Enrico Fermi", Course 45, R. Jost, Editor, A c a d e m i c Press, New Y~rk,
1969.
BOSE FIELD THEORY AS CLASSICAL STATISTICAL MECHANICS, III. THE CLASSICAL ISING APPROXI~IATION Barry Simon *'t Departments of Mathematics and Physics Princeton University
§i. Introduction and General Strategy The techniques which have been developed initially or solely for Ising ferromagnets fall generally into two broad categories.
One group, which includes
correlation inequalities of GKS and FKG type, holds for general kinds of ferromagnets with more or less arbitrary (even) single spin distributions and with many body (ferromagnetic) forces allowed.
The other group, which includes the correlation
inequalities of GHS and th~ zero theorem of Lee-Yang, has been proven directly only for spin 1/2 ferromagnets (each spin takes the values ±I with equal probability in the non-interacting systems) with pair interactions.
In fact, counter examples
exist with four-body interactions and spin 1/2 or with pair interactions and spins taking the values ±2,0 (but with 0,±2 having different weightings). The lattice approximation of Guerra, Rosen, and Simon (1973) discussed already in these lectures by Nelson and by Rosen, approximates P(¢)2 by general Ising models and thus obtains GKS and FKG inequalities.
Here, we wish to discuss a
further approximation of Simon and Griffiths (1973) [henceforth SG] which approximates (¢4)2 theory by "classical Ising models", i.e. systems with spin-i/2 spins and pair interactions.
SG thereby obtain GHS and Lee-Yang theorems for certain
P(¢)2 theories with deg P = 4.
In the interests of emphasizing the main ideas we
propose only to discuss the Lee-Yang theorem and one of its main applications. will also not give certain technical details.
We
The reader interested in further
details and applications and in the GHS inequalities should consult the original papers of SG and of Simon (1973b) or the lectures of Simon (1974). In the remainder of this introduction we want to state the Lee-Yang (1952) circle theorem and explain the general strategy of Griffiths (1970) for extending this theorem fromspin-i/2 spins to more complicated situations. Theorem i z l,...,z n
Let
a.. ~ 0 ij of degree i
for
1 ~ i < j ~ n .
in each
z.l with
P(zl'''''Zn) = Ol=±l,...,On=±l
Then if each
zi6
D~
2n
Let
P
be the polynomial in
terms given by:
exp( ~ aijoioj)zl ½(O1+I) ..z ½(°n+l) \i<j " n
{zlJzl < i ) o { i )
, then
P # 0
* A. Sloan Foundation Fellow f Research partially supported by USAFOSR under Contract F44620-71-C-0108 and USNSF under Grant GP39048
291
Remarks I.
The connection with Ising ferromagnets is the following e-8(hl+'''+hn)p(e 2~hl ,...,e2~hn)
and represents the partition function of an Ising ferromagnet if spin magnetic field
hi .
Of course, it is not a priori clear why zeros
partition function are important.
This idea of Yang-Lee
~. is in a l of the
(1952) is further discussed
in §3 below. 2.
Since
(ai + -oi ) , = 0
P(z I .... ,zn) = (Zl...Zn)P(Zl I ..... Zn I) P
zi~ D-I
is also non-zero if each
can only happen if
Izl = 1 , i.e.
by spin-flip syn~metry and in particular
P(z,...z)
P(z,z, ... ,z)
has its roots on the unit
circle, hence the name "circle theorem". 3.
There are various proofs of this theorem: the original Lee-Yang (1952) proof
found also in Ruelle (1969); an unpublished proof of S. Sherman found in Simon (1974) ; a proof of Asano (1970) described also in
Simon (1974); and a proof of
Newman (1973). By combining Remarks 1 and 2, Theorem i is easily seen to be equivalent to: Theorem i'
Let
aij >i 0
be fixed for
Z(h I ..... hn) =
Then
Z # 0
if each
Griffiths
1 .< i < j ~< n
[ ~I =±i "" . . , O n = ± l
and
let
exp(~aij~i~ j + [hi~i)
(i)
h i ~ ~ = {hlReh > 0} U {h = 0} .
(1970) proposed a very simple and beautiful way of extending
Theorem i' to more complex situations. ferromagnet, i.e. each spin
s
As a typical case, consider a spin 1
can take the values
0,+2
with equal probability.
We thus seek a zero theorem for the function ~(h I ..... hn) =
[ exp(~aijsis j + [hisi) si=±2,0
(2)
Griffiths suggests first looking at a two spin, spin 1/2 ferromagnet with a12 = 1/2 £n z .
Thus:
prob (s = °l + 02 = +2) = /2/Normalization = prob (s = -2) prob (S = O ) = That is,
s
<2)
looks like a spin--i
2n/a~(hl ..... hn) =
I=±1 Oil
~i2 =±I
spin.
ox,
=
/f/Normalization
In particular
i j aij(oil+Oi2)(Ojl+oj2)
+ 11/2 £n z OilOjl) i
exp/[h (~ _-~. )~ \i i il 12 /
(3)
292
by replacing the sum over
oil = ±i,
oiz = ±i
doing the sum over the other degrees explicitly.
hie
~
§2.
The Improved DeMoivre-Laplace Limit Theorem
by a sum over
°i/ + ~i2 = ±2,0
On account of
(3),
Z ~ 0
if
It is now clear how to go about trying to prove a Lee-Yang theorem for P(~)2 "
First approximate
P(~)2
by the lattice approximation, i.e. by Ising
ferromagnets with pair interactions and single spin distributions deg Q = deg P
and
Q
need only obtain
is even if e-Q(q)dq
P
e-Q(q)dq
is even (which we will suppose).
where
Thus we
as the output probability distribution for the total
spin of an Ising ferromagnet with spin-i/2 spins and pair distributions.
More
accurately, we need only obtain it as the limit of suitably rescaled output distributions.
This is because the Lee-Yang theorem in the form of Theorem I' is
preserved under limits on account of the following consequence of the argument principle:
If
f (z) is a sequence of functions analytic and non-zero in a n D ~ C and if f ÷ f uniformly on compacts of D , then f n is either identically zero or non-vanishing in D . To apply this limit theorem, connected region
one needs uniform bounds on the approximating distributions as well as pointwise convergence.
Below we will only prove pointwise convergence; the extra bounds
(which require higher order terms in Stirling's formula) can be found in SG. Consider first the case take
N
is just
deg Q = 2 .
uncoupled spin-i/2 spins.
It is easy to handle this case, for
Then the probability that
s = Es i
2-N/\(N+~)/2]N ~ where ( a)b is a binomial coefficient.
is
The DeMoivre-Laplace
limit theorem asserts that the binomial distribution for large
N
looks like a
Gaussian, explicitly: (N~--U) ..,DN exp (-~2/2N) for a suitable constant
DN
What (4) means is that if
(4) s
is fixed then
N
- (N+UN(S)) -~ DN i 2 as
and
N -~ =
where
~N(S)
exp (-s2/2)
is defined by
[x] = greatest integer less than
x .
To prove (4), one needs Stirling's
formula: log nl-~- n log n from which log ( N ~ )
-- % - Nh(]//N)
293
with
CN
a suitable constant and h(x) = 1/2[(l+x)log(l+x)
For
x
small,
+ (1-x)log(l-x)]
h(x) = 1/2 x 2 + 1/12 x 4 + 0(x 6) .
log
..~ cN - N ( 1 / 2 ( ~ / N ) 2 + o ( ~ / N )
Thus for
~) = c N -
s = ~/~
fixed,
1/2 s 2 + o ( 1 / N )
from which (4) follows. Next consider
deg Q = 4 ; in fact suppose
modify the Gaussian behavior above to get out
Q(q) = q4 .
It is clear how to
q~ ; just cancel the Ganssian and
re-s cale ; i.e. (N~+~> For if we fix
e~2/2N
DN e-~4/12N 3
(5)
s = ~/N3/4:
log IN-!~-I e ~2/2N --- % \--/
- N [I/12(~/N)4 + 0(~/N) 6]
= ~ But ( N 2 ) e B 2 / 2 N Ising magnet
- 1/12 s 4 + 0(I/N ½)
is the unnormalized probability distribution for an with energy
argument works for any
H = - i/2N(Zsi)2 which is ferromagnetic.
Q(q) = aq 4 + bq 2
with
N
spin-i/2
A similar
a > 0 .
We are thus able to conclude the following basic theorem from SG: Theorem 2
(Lee-Yang theorem for (~4) 2)
Let
<'>
denote a spatially cutoff
expectation value with free, Dirichlet or half-Dirichlet boundary conditions (see Guerra etal. (1973)) and P(x) = ax4+bx 2 ; a > 0 .
Let
h >i 0
be in
L~/) LI(~ 2) •
Then F(z) = <exp(z~(h))> is an entire analytic function whose zeros For
lie on the axis Rez = 0 .
deg Q .> 6 , we have the following negative situation (SG):
definitely sixth degree
ferromagnets and for which the Lee-Yang theorem fails. approximation, the Lee-Yang theorem fails for certain
Thus, in the lattice Q's •
This suggests, but
certainly does not prove, that the Lee-Yang theorem is false for some theories with
There are
Q's which are not the limit of spin-i/2 pair-interactlng (*)
P(~)2
deg P = 6 .
(*) Of course if four-body interacting is allowed, there is no problem in approximating sixth degree re-scaling leads to
Q's as a
exp(-i/30 s6).
1/12(Esi)4/N3
term in the energy plus
294 §3.
Clustering of the Schwinger Functions
of
P = ax 4 + bx 2 - Bx~(B~O)
Theorem 2 is a striking looking but, at first sight, apparently not very powerful
theorem.
That it is intimately
is a discovery of Yang-Lee
connected with analyticity
(1952) translated
to
(~4) 2
by SG.
strong bounds and falloff is a discovery of Lebowitz-Penrose (¢~)2
by Simon (1973b).
Fix
(1968), developed in
We wish to indicate these ideas in this section.
discuss the case of Dirichlet boundary half-Dirichlet
of the pressure
That it implies
conditions
We
although similar results hold for
B.C.
a,b
and for
B
real and
A C ~ 2 , hounded,
let
i ~A(~) = ~
~n / [exp(- fAla¢4 + be 2 - ~ ¢ : D ) ] d ~ , A
Then, by a result of Guerra et al. (1973), for any real A ÷ ~
(Fisher).
aA(~) ÷ ~ ( ~ )
B
as
The main point of the Lee-Yang theorem (Theorem 2) is that
has an analytic continuation
to the right half-plane,
Re ~ > 0 .
Moreover,
=A(B) it is
clear that
Re ~ ) Let
fA(~) = exp(~A(~))
compacts of convergence
theorem,
vanishing there and for all
~
Theorem 3
.
{~[Re ~ > 0}
with ~ (~)
~A(B) -~ e (~)
We thus see that and converging
convergent on f
~ aA(Re @
]fA(~)[
is uniformly bounded on
~ ~ ~
and thus, by the Vitali
for
{B[Re ~ > 0} .
is not identically
Re ~ > 0 .
In particular,
fA(~)
zero, it is never zero, so
are non=A(~) + ~
s~p d2~A/d~2 value
d2~A d~ 2
to the entire right half-plane
< = , for any fixed <
>A for the
~ > 0 .
ax 4 + bx 2 - ~x
and
In terms of the theory:
i
[A[ [<¢(XA)¢(XA)>A - <¢(XA)>A<¢(XA)>A]
s~p d2ah/d~2 < ~ ,
there is a
D with
[<¢(XA)¢(XA)>A- <¢(XA)>A<¢(XA)>t] ~< D[A[ Now the two-point
(~)
on compacts of the right half-plane.
Dirichlet state expectation
so by t h e Lee-Yang r e s u l t
Since the
We summarize by:
has an analytic continuation
uniformly
.
(6)
truncated Schwinger function
sT(x-y) = < ¢ ( x ) ¢ ( y ) > - <~(~)>®<¢(y)> is positive and monotone decreasing
as
[x-y] ÷ ~ •
If the limit is some
C > 0 ,
then
[<¢(XA)¢(XA)> (6) and (7)
- <¢(XA)t,, <¢(XA)>,= ] >. CIA[ 2 .
are not directly contradictory
further argument
(7)
although they clearly almost are and a T S2 -~ 0 as
[Simon (1973b)] show they are: we conclude that
295
Ix-Y] ÷ ~ •
But then, by a result of Simon (1973a) (descrlbed~in Rosen's lectures),
all the truncated Schwinger functions go to Theorem 4
In the infinite volume
P(¢)2
0 .
We summarize:
Dirichlet state with
P(x) = ax4 + bx 2 _ ~x
(B @ 0) , the Schwinger functions obey clustering, i.e. f ¢(fl ~
~t)'"¢(fk(~)St)¢(fk+l~80)'"¢(fn(~80)d~+
If d9 ¢(fk+l~)80)...¢(fn~)~0)]
§4
as
If d~ ¢ ( f 1 0
~0)...¢(fk~80)]
t + ~ .
The Wi~htman Axioms The status of the basic Euclidean objects for Dirichlet and half-Dirichlet
states when
P(x) = ax~ + bx 2 - Bx
(~ @ 0)
are given by the following table:
TABLE Dirichlet (A ÷ ~) Schwinger Functions
Yes (2)
Yes (1)
(A + ~) Pressure
Yes (2)
Yes (3)
?
(~ < ~) Transfer Matrix
where
Half-Dirichle t
Yes (3)
T (A = ~) S 2 + 0
Yes (4)
Yes (4)
(A = ®) OS Axioms
Yes
Yes
(1) = Nelson (these lectures), (2) = Guerra et el. (1973) (3) = Guerra e t a l .
(1974), (4) = Simon (1973a).
If the Osterwalder-Schrader (1973) reconstruction
theorem is valid ~there is presently a gap in the proof), all the Wightman axioms hold for the infinite volume
D
and
HD
theories.
And in any event, on account
of the existence of a transfer matrix, the Wightman axioms do hold for the
HD
theory [see Simon (1974)].
§5.
~
and Dymanical Instability The field theoretic analog of a phase transition is the notion of dynmaical
instability (Wightman (1969)), i.e. the existence of more than one infinite volume theory associated to a fixed interaction by some mechanism for associating infinite volume theories to interactions, e.g. the DLR equations described in Guerra's lectures.
The expe=ted picture for
Jaffe's lecture.
¢4 + b¢2 _ ~¢
theories has been described in
In this section we want to supplement the picture given by Jaffe
explaining the connection between dynamical instability and the Fock space energy per unit volume, a is Just the
, of Guerra (1972).
pressure.
As Guerra explained in his lectures)
=~
There is an old idea in field t~eory associated wit~ the
296 name of Bogoliubov that dynamical instability is present precisely when <~(0)> 4+b~2_B ~
is discontinuous in
~ .
In statistical mechanical language,
Bogoliubov is saying that the phase transition is first order and has the field as long range order parameter.
This picture is supported by the following which
combines results from SG and Simon (1973b): Theorem 5 let
< >
Fix
b
and let
uoo(~) denote the pressure for the
~4 + b~2 _ ~
denote the infinite volume (Dirichlet) state for this theory.
and
Consider
the statements: (A)
Then
There is a mass gap in the
< >
~=0 ~ = 0.
(B)
~(~)
(C)
The "magnetization"
is differentlable at
(D)
There is a unique vacuum in the
<~(0)>
theory.
is continuous at < >B=0
~ = 0 .
theory.
(A) => (B) <=>(C) => (D).
Remarks I.
We emphasize that
(A) is a statement about the
< >~=0
theory and not
its decomposition into unique vacuums. 2.
Suppose the picture described in Jaffe's lectures holds.
a critical value b < b for
b
When
c
b > b
Then there is
we expect (A) to hold so (B),(C) hold.
c to fail for the following reason:
When
, we expect (D) The Wightman theories c B = 0 with unique vacuum (there should be two such theorlesf) have
<~(0)> @ 0 .
But by
<~(0)> = 0 o
~ ~ -4
Thus the
fails so do (A),(B).
symmetry in the Dirichlet B.C. theories the value of
<'>~=0
theory should not have a unique vacuum.
Thus away from the critical point:
Since (D)
dlfferentiality of the
pressure should be a sensitive test of dynamical instability.
At the critical point
one expects (B)-(D) to hold on the basis of most star. mech. models although we emphaslze that there are star. mech. models where (B),(C) fall at the critical point. 3.
By general arguments
~(~)
Lee-Yang it is analytic away from
is convex in
~
and
so continuous.
By
~ = 0 °
Sketch of proof (A)=>(B)° We need only a bound on de~A d~2 uniform in
A
and
]~] .< I o
I
By using the GHS and GI,II inequalities one obtains
a uniform bound on the falloff of a bound on
d2aA/d~2 . (B)<=>(C).
<~(×A)~(XA)>T,~, A
]A] <~(x)~(y)>T,B, A. as
Ix-y] ÷ -
See SG. ~(~)
- ~(0)
= A-~"lim Of ~
<~(XA)> B d~
and this yields
297
By using the GI,II inequalities
one shows that
%(~) with
m(~) = < # ( 0 ) >
~(0) = I v
-
m(v) dv
m(0+)
m(0+) = lira m(B) exists. One then proves that U+0 is the right derivative of ~®(~) and m(0-) , so dlfferentiability of
em(~)
at
~ = 0
and that
is equivalent to continuity of (C)=>(D). ' Suppose (D) fails.
x - y -> ~
so
But b y s y m m e t r y
$2,~> 0 + d 2 >~ c 2
<$(0)> > 0 >~ c . = 0 .
as
¢ <--> - $
x-y + 0 .
By symmetry
m . Then
See SG for details. ST (x-y) -~ c 2 > 0 2,!a=O
T , S2,]a=O = S2,]a=O .
By
But by Theorem 4,
S T2,~ >0 ÷ 0
<~(0)> > 0 ~< c
so
<$(0)>
GII,
as
S2,V> 0 >. S2,~= ° so
is not continuous at
For details see Simon (1973b).
References
ASANO, T. (1970) :J. Phys. Soc. Jap. 29, 350. GRIFFITHS, R. (1970): J. Math. Phys. iO, 1559. GUERRA, F. (1972): Phys. Rev. Lett. 28, 1213. GUERRA, F., ROSEN, L. SIMON, B. (1973): The P(~)2 Euclidean Quantum Field Theory as Classical Statistical Mechanics, Ann. Math., to appear GUERRA, F., ROSEN, L., SIMON, B. (1974): Boundary Conditions for the P(~)2 Euclidean Field Theory, in preparation. LEBOWITZ, J., PENROSE, O. (1968):
Commun. Math. Phys. ii, 99.
LEE, T.D., YANG, C.N. (1952): Phys. Rev. 87, 410. NEWMAN, C. (1973): Zeroes of the Partition Function for Generalized Islng Systems, N.Y.U. Preprint. OSTERWALDER, K., SCHRADER, R. (1973): Commun. Math Phys. 31, 83. RUELLE, D. (1969) : Statistical Mechanics, Benjamin, New York. SIMON, B. (1973a): Commun. Math. Phys. 31, 127. SIMON, B. (1973b): Correlation Inequalities and the Mass Gap in P(~)2 , If. Uniqueness of the Vacuum for a Class of Strongly Coupled Theories, Ann. Math., to appear. SIMON, B. (1974): Th e P(~)2 Euclidean Quantum Fie!d Theory , Princeton Series in Physlcs, Princeton University Press. SIMON, B. GRIFFITHS, R. (1973): The (~%)2 Field Theory as a Classical Ising Model, Commun. Math. Phys., to appear. WIGHTMAN, A.S. (1969): Phys. Today 2 2 53-58. YANG, C.N., LEE, T.D. (1952): Phys Rev. 8 7 404.
CONSTRUCTIVE MACROSCOPIC
QUANTUM ELECTRODYNAMICS
Elliott H. Lieb
Klaus Hepp Department of Physics, CH-8049 ZOrich,
E.T.H.
Department of Physics, M.i.T. Cambridge, Mass.
Schweiz
02139, U.S.A.
§i. Introduction
After ten days of difficult lectures the audience and the lecturers need some holidays.
I have chosen the subject of this last talk
half for your recreation,
half for exposing you to some new and exotic
aspects of the quantum world of infinitely many degrees of freedom, where there are many interesting problems
in mathematical physics.
My lecture will be centered around the quantum electrodynamics laser in the thermodynamic for some time.
It is hard to give fair references
a continuous transition to applied physics. laser theory is the book by Haken ~HI] in
[AI]
, [G3]
of the
limit, on which E.H.Lieb and I have worked in this field with
A good starting point on
as well as various contributions
, [KI]. The statistical theory of instabilities
in
stationary nonequilibrium systems is treated in [GI] and [G4] with many references to older contributions. phase transitions given in [ H ~
, with great emphasis on the nonlinear analysis of the
Heisenberg equations of motion. ified
A general approach to nonequilibrium
in mean field models with linear dissipation has been
In this lecture I shall presenta
approach to these problems,
simpl-
using only linear functional ana-
lysis and working in the Schr~dinger picture.
By this method one can
easily incorporate the unbounded boson operators of the quantized radiation field, and one sees better the analogy to the usual treatment of the classical
limit in quantum mechanics
[HS]
, [MI]
299
§2.
H e u r i s t i c D i s c u s s i o n of the Laser
The Dicke H a k e n Lax model of the 1-mode 2-level h o m o g e n e o u s l y b r o a d e n e d laser starts from the following a p p r o x i m a t i o n to the H a m i l t o nian of q u a n t u m e l e o t r o d y n a m i c s
H = ~ Z Y a * amm m + £~.~3~.i n + V-~2~,=, ~ a m ( ~ m n S : Here the
am
~mn
)
+
h.c.{ . (2.1)
are c ~ e a t i o n and a n n i h i l a t i o n operators for the d i s c r e t e
set of photon modes of energy and
+ ~nSn
Ym
are c o u p l i n g constants
i n t e r a c t i o n of the mode
m
of a cavity of volume
V o The
~mn
for the rotating and c o u n t e r - r o t a t i n g th atom. We assume f i n i t e l y
w i t h the n
many atoms~ N , in the cavity and shall later take passage to the t h e r m o d y n a m i c
limit.
N = V
in the
The atoms have two states with
fermion c r e a t i o n and a n n i h i l a t i o n operators b ~ and b~ for the up+n -n per and lower level and no t r a n s l a t i o n a l degrees of freedom. Then
S+
* n = b+nb-n
satisfy
'
_ = (Sn)
SU 2
n]
,
'
S3
* , n : (b+nb+n - b-nb-n)/2
(2.29
commutation relations
: +
n
'
n' S
: 2S
,
, S
= 0
for
m @ n
Little is known in general about the system d e s c r i b e d by except for t h e r m o d y n a m i c
(2.3)
(2.1),
s t a b i l i t y with hard cores and i n s t a b i l i t y
without a s u f f i c i e n t l y strong r e p u l s i o n at short distances
[H3]
For f i n i t e l y many modes, an e q u i l i b r i u m phase t r a n s i t i o n f r o m a normally r a d i a t i n g to a superradiant phase can be established
In these lectures we are interested
[H2].
in the n o n e q u i l i b r i u m beha-
viour of the system, and we shall restrict ourselves to one mode and, for notational c o n v e n i e n c e ,
H NS
:
Ya
a +
£S
+
to the r o t a t i n g wave a p p r o x i m a t i o n
~N-Y2(
S a +
where only the total spin o p e r a t o r s i SN
:
M ~- S i n
a SN ) ~
enter
:
(2.4)
:
(2.5)
300 The total Hamiltonian
HN
of the laser cavity with
N~V
atoms and
photons coupled to atomic pumping devices and photonic loss mechanisms is of the form later,
(4.1),
HN = H
+ H RN , where the reservoir part will be given
(4.6), once we have acquired a qualitative
of the laser action.
Since the
S Ni
it is natural to consider the Heisenberg five operators aN(t)
= -iYaN(t)
SN(t) -- - i £ S N ( t )
-
i~N-~2SN(t)
and
a~(t)
:
+ i [ H R, SN(t)]j
aN(t)SN(t)
(2.6)
) + i [H R, SN3(t)] .
The very successful semiclassical theory of the laser ILl] R that H N should be chosen in such a way that
i [ H N,R aN(t ~
: _ ~ aN(t ) +
gN(t) )
i [ H R, SN(t) ]
= - ~ SN(t) +
FN(t) )
Here ~ > 0
and ~ > 0
while
~> 0
for the photon amplitude
and
-~2~
~
~2
describe the pumping of the atoms into a mean inversion Of course, the purely dissipative
of
that in a suitable topology the additional F~(t)
= 0(i)
and
should ~
terms alone on the r.h.s,
are inconsistent with the selfadjointness and
suggests
(2.7)
are damping constants
and the atomic polarisation,
SU 2 ,
+ i [H R, aN(t)] ~
+ 2i~N-~2S3(t)aN(t)
SN3(t) = ikN-~2( a N ( t ) S N ( t ) -
of
equations of motion for the
S Nk exp(_iHNt)
S (t) = exp(iHNt)
understanding
give a representation
~
S~/N .
of
(2.7)
H N . However, one hopes
fluctuation forces
gN(t)
become negligible in the limit N--~ ~ . Assume that gN(t) F~(t) = O(N ~2 ) , by some law of large numbers. Then it is
plausible that the intensive observables ~(t)
which at limit
=
~ )N -~2 ) aN(t
~Nk(t) =
sk(t)N -I )
t = 0
N--~ ~
have
O(N -I)
commutators,
(2.8)
become c-numbers
, and satisfy the ordinary differential
in the
equations
301
~-
= -
(iY
+~)o<
-
= -
(ig
+ ~)~-
+ 2i~
These equations
i~-
have remarkable
to the qualitative
picture
~ 30~ )
(2.9)
properties
of laser action.
[H4] that they have global
solutions
in
which correspond
quite well
It can be r i g o r o u s l y
(2.10)
shown
for all physical
ini-
tial conditions
(2.lo)
_~ There exists a unique
~3~
~
)
and a 1-parameter
(t)
= ~ exp-i~t
At ~ = ~ ¢ ,
stationary
~ =
~-- = 6
=
a Hopf bifurcation
damping dominated,
%~%2 = g ( ~
)
3,
if
-~c)/2~
discussed
solutions,
and o n l y i f
EH6] occurs
~r-(t) :
~2 ~
is attained
for
These equations
: below threshold
by Prigogine
which this heuristic
the laser is
I~]2, goes to
and coworkers H NR
value
t--')~ , starting from almost any suggest that a n o n e q u i l i b r i u m and that the attracting
state is one of the dissipative
give a Hamiltonian model
,
> ~¢ }where
state, while above threshold the stationary
transition occurs at laser threshold oscillatory
(2.11)
and the mean photon number per atom,
zero from any initial
initial condition.
solution
family of periodic
, ~3(t)
~4 .
structures
picture holds rigorously
in
expansion O(N)
self-
which have been
[G~ . In the following
and an asymptotic
phase
.
in
we shall N ~2
in
302
§3.
The C l a s s i c a l Limit for Atoms and the R a d i a t i o n Field
There are several topologies
in which the infinite volume limit
can be studied. A very c o n c r e t e and r a t h e r e l e m e n t a r y d i s c u s s i o n is possible in the S c h r 6 d i n g e r picture,
by passing with
N-~
along a
sequence of p h o t o n and atomic coherent
states
theory of a p p r o x i m a t i n g Hilbert spaces
[T2]. These coherent
haust all p h y s i c a l
initial conditions
[G2] using the T r o t t e r
system.
However,
states of
if one measures finer properties
of the
system by looking at the f l u c t u a t i o n observables, then one finds that the p h y s i c a l
can be d e s c r i b e d in the Hilbert space generated from a coherent in f l u c t u a t i o n operators.
we shall c o n s i d e r the classical The i n t e r a c t i o n
first c o n s t r u c t k a~ and SN .
Let ~ 6 ~
[H~
s t a t i o n a r y states are not coherent, but that they
by applying all p o l y n o m i a l s
and radiation.
ex-
for the intensive o b s e r v a b ! e s ~
and hence they can be c o n s i d e r e d as the true pure classical the infinite
states
initial states
, U(~)
= exp( ~ a
state
In this s e c t i o n
limit for the elosed system of atoms S H N has the form (2.4) , and we shall I~>
N = ~I N
- ~ a)
and
a a . Then the sequence of photon coherent
which are c o h e r e n t
I0> be the ground states
IN~>
in
state of
= U(N~)IO>
satisfies
-- <0 iqTa~10>
lim
(3.1)
and
= UT~ ~ (3.2)
using the r e p r e s e n t a t i o n t h e o r y of ~J~ 1 !
= q" ~ ~2
has the form
(3.1) (3.2)
for fermions can be c o n s t r u c t e d SU 2 [ G ~ .
~ = R _~0
, where
Any
__~6~ 3
with
R ~ S0(3)
and - - ~ k = - ~
k ~ 3 . For simplicity, we r e s t r i c t ~ to a dense set of p h y s i c a l
initial c o n d i t i o n s
cr =
:
q/(2q + 4p)
,
0 ~ p,q e ~[
,
q t, 0 ,
(3.3) e
Take
A @ SU 2 acting on the Pauli matrices as
J
A* "C kA : ~ - ~ i R l k
and
define new fermion a n n i h i l a t o r s by (b+n' b -n ) =
(e+n , c -n ) A
(3.4)
303 Let I~> be the states
O_nl-> where
: C+nl->
T + = c+c_ *
for the fermion pair
= 0 ,
b± )where
T+I -') = I + ~
. Then in obvious
(3.5)
notation
I _>N Here
(3.6)
N = M(2p+q)
and
M = 1,2~. .. Let
TN =
~
bN . Then
(3.7) defines
an irreducible
representation
of
SU 2 . The fluctuation
ope-
rators t N+ =
N-[2T
satisfy [ W ~ lim
and
t~, s ~=
t N3 =
,
= 0 R _t~ "
and
=I ( ~ t
[
all our results and their
introducing
(3.8)
t .m ]~_~.] if all "" ]
2~F . Let
~k(m))~>
= ~
k
'"
.m : + --
.
(3.9)
t ~ = t ~1 L, t ~ 2
t ~3 = 0
and
~
Let .i~ N = I N ~ IN : ~ - - >
N : "-~T k(m) t~L~,,s~
can be expressed
~>N ~N
I " *.r..+-s N~a~) (t~) ~
Then 11 I N II = 1 , and
GNS Hilbert and
~N
(3.1o) (3.11)
in terms of correlation
limits, the mathematics
, the
XI.],
Kr k(m)
a sequence of approximating
verges against
Define
~ NY2
Then
lira N ~ - I T [ ~ N (m) I £>N
functions
k.
0 , otherwise
ItS, t ~ ] :
!ira N < ~ I]TN ]/2 (~N (m)
Although
N-~2_3 iN +
:
m I -~N ~q~--It k N " " "tN
N-~
where
(tN)*
=
simplifies
Hilbert
considerably
spaces -~t N
space for
which con-
(3.1) ,and
be the span of all
*
~2~
by
(a -N ~ )
(3.10) r
+ s
.(tN) ~'~N'
by linear extension of
=
(a
*
-
N~2~)r
+ s (tN) - [ ~ N
lim U T N ~.~1 -- II ~..11 for N.-~p.
(3.12)
,
all
~&~,by
.
(3.9)
304
On the finite particle
lim
subspace,~,
IIXN,..YNI N ~ ,
-
one has
INX~...y . ~,II=
0
)
(3.13)
N-~
if
XN,..y N @ ~ (a~ - N Y ~ ~ ) ,
sense than in [H4] fluctuations
NY2(_~N -_~ ) ~
. In a somehow different
, the intensive observables
around
O~~, _~F in the sequence
OfN, KFN
~N
We shall say that a sequence of selfadjoint converges ~
,
in the Weyl-Trotter
A N --~--~ A
operators
sense to a selfadjoint
~ if for all
s E~
and all
lim )lexp(iANS) I N ? ~ - I N e x p ( i A ~ s ) ~ I I =
have normal
of coherent
~6
states [W~.
AN
on
operator
A~
on
~(~
0 ,
(3.14)
N-)~
Let ~FN(t) = exp(iH~t) _
and
= 2-~2(~N(t) + iTTN~~
~N(t)
~N(t) -~'~ ~t ' "TrN(t) --~-)ql-t ' ~FN(t)----)WT --~-t ' N~2(%N(t)
- ~ t ) ---~--~ q,(t)
,
(3.15)
N~2(qq-N(t) - T t) ~ p ~ ( t ) ,
NF2(~N(t) - ~Ft) - ~ ( t ) Here = ~
~t = ~
classical and
and = 0
satisfy the classical
and initial conditions
are solutions
~r+]2
at
with
~
=
t = O . Clearly the since
|~12 + and
~3
~(t)
equations around the classical orbit
:
-- - i Y a~(t) - i ~ sL(t) )
'3 s (t) = i % ( ~
s2t) + 2ix * t s[(t)
with initial conditions
Let
(~,~)
(2.9)
are invariant under the flow. a~(t)
of the linearized
2t) = -
classical
equations
equations have always global solutions,
(~3)2 +
a~(t)
~F t
(3.16)
(~ ,~ )
t s.3(t) ÷
+ v~
a~(0)
a~(t) *
= a~ ,
a.(t) h.co
s~(0)
(3.17)
)
= s~ .
be any initial state. Around the corresponding
solution we develop
H NS
in powers of
N ~2 into a mean field
305
and a fluctuation part,
H M(t N ) =
HNS =
- N+ + I0( tS
~ S N3
N~/2(~'~ + k
HM(t) + HF(t)
+ "/~t S N *
+ N~2(Y~ t + k ~ )a"" + , _
is well known from the thermodynamics model
[H~)with
The action of
of the atomic observables.
leads t o when
H NM(t)
- N~ t)
is purely group theoretical,
=
desoribes cor-
~t+ )
, which linearize for uM(t)
H~(t)
T exp-i~%s
~ ( a '~- N ~ 2 ¢ (*t ) N ~ 2 ( ~
+
N--)~°
-
CF~) (3.19)
nonlinear Heisenberg equations
N (~
or of the Dicke
if the initial condition
We shall see that
A(a - N~2~t )NF2( ~ N+ -
+
of the BCS [T~
of the intensive observables when
Y(a * - N ~ 2 ~ ) ( a
=
(3.18)
of the boson operators by the photon part and a rotation
rectly the time-evolution
HF(t)
+
an explicit time dependence,
is not stationary. a translation
:
for the fluctuation operators,
N--)~.
Consider
(3.20)
HM(s)
O
Clearly this propagator Dyson series on ~ M x UN(t) satisfies ~NCt) Similarly,
t
using a strongly convergent
~ daN(t)/dt
= 0
and
~N(0)
= U~(t)*(a-N~2~t)x
= a - N ~2&
= a - NY2~
~N(t)
dgN(t)/dt
exists for all
and a unitary extension. ~N(t)
(3.21)
= uM(t)*N~2(-<~N - ~--t)UM(t)
= -i£
SN(t)
, hence
+ 2iXC~t ~
(t)
satisfies
, (3.22)
d~3(t)/dt
~ -i~
t
sN(t) + i ~
t ~(t)
,
and has a global solution in terms of a 1-parameter
~N(t)
=
M(t)
family of rotations
N~2( ~ N - ~ )"
Let us consider Weyl operators
WN(t)
= WN(~,~,t,x,y, ~)
(3.23) of the form
306
WN(~,~,t,x,y,z)
: exp i[x(q-N~2~)+y(p-N~)+Z(~FN-~)N~2].
(3.24)
Then S
exp(iH t) WN(t) exp(-iHNSt) A
M
~. (t) a~N~
VN(t,0)
(3.25)
,
*
WN(t) : UN(t) WN(t) U (t) ~N(t,0)
A
: ~N(t,0)*~N(t) ,
(3.26)
S = U~(t )* exp(-iHNt)
is obtained from
by replacing in
M(t)(_~ N- _~) . CN (t,O)
and _W~-~4 by
dVN(t,0)/dt
WN(t)
(3.27)
=-i
~F(t )
(t,0)
(3.24)
a-N~20< t
by
is the solution of
, ~F(t)--UN(t)H
(t)U
(t) (3.28)
The propagator ~N(t
s) = T exp-i ~dr ~F HN(r)
(3.29)
s
can again De defined by a Dyson series on tained from
HF(r)
~
, and
HN(r)
is ob-
by going over to fluctuation observables
at time
zero° Hence (3.29) can converge, when we pass to
N-->~o along _fiN .
Theorem 3.1 : For every physical initial condition ~ ~ ~
(with(3.3)),
the intensive observables and the fluctuations along the classical orbit converge to Proof : For
(3.15)
and
It-s i sufficiently
"~ V~(t,s)
£
: T exp-i~dr
~F
H~(r)
(3.16)
along
IW,~>N
for
N--~
small, the Dyson series for ,
(3.30)
5
AH~(r) F
= Y a ~*a .
s (r) =
+
M(r) R t
k( a * s -(r) + s+(r)a~)
,
(3.31)
(3.32)
,
converges in the strong topology on ~ o
Using
(3.25)
and the
Schwar z i n e q u a l i t y III N ~ ( t
,0) ,~A W(t)
AL ( t , 0 ) ~
~VN(t,0) ,~ WN(t) /~ VN(t,O)
I N ~ ~ II "I
307
~ II~N ~ (t,0)~ (t)~ (t,0)T~ +
II I N
W (t) V ( t , O ) ~ .
+ II IN V ~ ( t , 0 ) ~ For small
~N(t,0)*TN~(t)<(
-
- WN(t) I N V (t,0) ~
II +
II,
- VN(t,0) IN ~ .
(3.33)
~t-s I , the Duhamel formula can be used on
A llIN V b ( t , s ) ~ .
II 4-
t,0)T~
~
:
/k - VN(t,s) IN U/.. ~
(3.34)
% =l)i~dr ~N(t,r) [~F(r) r
)I ( H N ( r )
IN
IN - IN ~:(r)] ~ - IN H~(r)
(r,s)~
) V (r,s) ~
II II ~
$ since the Dyson series for (3.34)
A Vm(r,s)
converges to zero for small
on all ~ ,
- INv~(s,O)hu..ll
+ II
e.g. ~VN(t,0)
(t,s)INL,(s,O)
the exponential on any ~ ,
)11NW~(t) ~U~
and therefore
t) V (t,0)
It-sl can
uf~ - INV ( t , O ) ~,~.11 .By e x p a n d i n g
one proves that 0
N --" ~
for
by uniform boundedness.
(3.33)
Hence
I N ~ ~- IN V~.(t,0)~LLIIVN(S,0)IN~ ~
W N ( t ) I N ~U~ II - - >
and therefore on ~ the r.h.s, of (3.24)
~t-sl and ~ - ~ 6 ~ 2 ,
since ~I N I~ = llVN(t,s)l[ =I~ V~(t,s) ~= i . Large
be estimated stepwise,
V~(t,0)
solves all domain problems.
go to zero for all
t
(3.35)
)
Hence all three terms on and all ~ . e ~ .
has an exponential representation
Now,
of the form
, where a (t) = < ( t , 0 ) * < ( t )
¢~(t,0)
,
(3.36) s (t) = V (t,0)~s-~ ~ ( t ) t ( t One checks that = ~
(3.36)
satisfies
,0) (3.i7)
, and by uniqueness the WT-convergence
with
a (0) = a
(3.18)
, ~(0)
follows.
(3.15)
can be derived similarly. Corollary 3.2 : For all
tm,Xm,Ym,Zm,
lim (_[IN, ~ exp(iHSt) N--~ m=l
i { m L n ,
%(0(,~,tm,Xm,Ym,Zm ) exp(_iHNStm ) ~ ]
_--
=
308
=
n (_O.,,q-[ W~(~,~,tm,Xm,Ym,Z m) .O.~. ) m:l
and analogously
Proof
for the intensive
: By repeated
application
gence for a product (3.37),
since
It is typical
functions
[H~
3.1
one obtains
Weyl operators.
= (~,~
products
of motion.
observables
of solutions
N--~
~
fixed
There
This
implies
limit of quantum mechanics
that the quantum mechanical in coherent
states
orbits
(withamplitudes
equations,
and that
follow linearized
boson
is a close connection between the limit
in mean field models and the limit ~ --) 0
nary quantum mechanics
in
correlation
values converge)
of the classical
around the classical
equations
WT-conver-
by polarization.
so that the time zero expectation
the fluctuations
and
IN~)
states
of intensive
tend towards
of Theorem
for the classical
minimum uncertaincy
which are scaled
observables.
of time translated
lim -.(IN~'
(3.37)
of a fixed number of degrees
in ordi-
of freedom.
~4. The Lossy Laser
After having studied the classical
limit for the closed
atoms and radiation we shall now construct
system of
a model of a quantum mecha-
nical reservoir with simple damping and pumping properties. reservoir
for photon losses
in the laser is a quantized r a d i a t i o n
field of infinitely many boson degrees all the non-lasing Hamiltonian
HP =
photon modes
is linear
of freedom,
of the world.
a ~w ' which describes
The simplest
interaction
:
~ dw ~wa*aw
where for notational
A natural
~ dw k w (awa * + a *a w )
+
simplicity we take
w e~
,
(4.1)
and a c o n t i n u u m
normali-
zation
[aw
, a w,
:
(w-w')
H NS
Under the influence of
aN(t)=-i~aN(t)
-
i~
,
and
aw
HP
SN(t)N-v~ -
, a w,
:
0
,
the Heisenberg
i]
(4.2)
equations
k w awN(t) )
become
(4.3)
309 $
awN(t)
= - i$wawN(t)
In the initial
(4.4)
- ik w a N ( t ) .
state we shall assume no correlations
b e t w e e n the cavity
and the reservoir, -(lN : - ~ ~ ' ~ , and take the photon reservoir to R be empty, aw~)- N = 0 for all w . A dissipation of the form (4.1) will in general (2.7)
not lead to phenomenological
with a f l u c t u a t i o n
the small system, ciently for 0 ~
"white"
awN(t)
unless
force
gN(t)
in terms of the initial condition
~w -~> w . This leads for
~N(t) where
: - (iY+~)~N(t)
~=~Fk z
,
~N(t)
some care,
abusive notation, as a derivation
and
and
aN(s)
for
limit
t ~ 0 , to
XN(t)
and where
;
(4.5)
A(t)
= ~ dw a w e -iwt
Singular equations of motion of the type including R HN
(4.5) some
justified by treating
as an a u t o m o r p h i s m
of the
which on a dense domain is defined by a converseries.
degrees of freedom it is more complicated
a phenomenologically
acceptable
and mathematically
We shall couple the electrons
of infinitely
aw
(4.4)
and pass to t h e ,
+
exp(iH~t)(.)exp(-iH~t)
For the atomic
is suffi-
We can solve
but all the steps in the following,
gent m u l t i c o m m u t a t o r
coupling
- i~N(t)
can be rigorously
Weyl and CAR algebra,
process.
(4.3) ~N(t)
= -ikN-~2A(t)
is "white boson noise". require
of the type
of the state of
the interaction with the reservoir
to destroy all memory effects.
s ! t , insert the solution'into
kw'-~ k '
equations
independent
many degrees
of freedom,
to find
simple d i s s i p a t i o n
of each atom to an electron again by a singular
sea
linear
: N n=l
~n using
±n
~
(4.6)
'
÷~
w(b±nwb±nw
Fermi
normalization the atomic
fields (4.2)
with
+ e±nwC±nw)
normal
. Under
Fermi operators
+
dw
ant±commutation
n ( f + b + n _w _ relations
S + HNA + HP ! t h e HN = HN
time
) + h.e].
g÷C+n w _" in
continuum
evolution
of
becomes (4.7)
~.n(t)
= -(i~ + ~)b+n(t)/2
- i ~(t)b_n(t)
- if+B+n(t)
- ig+C+n(t) j
310
b_n(t) = -(~-i~)b_n(t)/2
- i~(t)b+n(t)
- if_B_n(t)'- ig_C_n(t). (4.8)
Here B~n(t) = ~dw b±n w exP(-iwt) and C,n(t) are "white fermion noise" operators and ~ : 2~(~g+i 2+Igj2). We have assumed ~f~2 + ig~2: = ~fj2+Ig32 and ~f~2 = [gj2 in order to ensure macroscopic charge neutrality for the dissipation process, so that stays at N up to N y2 fluctuations.
~(b+nb+n
+ b_nb_n)
The intensive observables obey the following differential equations &N(t)
= -(i£+~) ~N(t)
+ 2iX~N(t)~FN3(t)
+ ~N(t)
)
(4.9)
where the fluctuation force ~N(t) = ~N(t)* unfortunately depends on the observables of the small system : (t) =
~a
(t) +
(t)
(4.10)
N
~ N +(t) = i N - l ~ [ f ~ B * n ( t ) b = -iN- ~-'
~N-(t)
(4.11)
n(t) + g_C n(t)b+n(t) ] j
- b n(t)B -n (t) + g+b-n (t)C +n (t)
.
Similarly
"3 ~N(t)
3 (t) _ ~ ) : _ ~ (CFN
~3(t)
=
~3N(t) + ~3N(t)
N(t) = ( 2 N ) - I ~
In
(4.12)
+ i~N(t) ~N(t)
~3N(t)
=
,
- ig C n(t)b n(t)
+
+ if;B;n(t)b+n(t)
- if_B_n(t)b n(t
.
the "unsaturated inversion"
=
~3N(t)*
[ ig+C+n(t)b+n(t)
off, in order to obtain for
i (t)
,
+ ~N3(t) , (4.12) (4.13)
- iX~N(t)~[N(t)
i (t )
~ = TF~-l(~g~2-1g32)-
(4.14) was
split
i = ±,3 _0. N
:
o
,
(4.15)
if the B-reservoir is empty, B+n(t) "f)-NR = 0 , and the C-reservoir full, C n(t)-f~N = 0 . By a suitable choice of [g~ 2_ , we can reach any -Y2 ~ ~ y2 .
311
By generalizing
the approach
of Section
3 we shall
study the WT
convergence of the intensive and fluctuation observables along i'i N = S~ R S =~ ~N ' where ~ is the vacuum of the reservoir fields and _f-ZN is coherent we split
~ ~'-~ = I ~ , ~
HN
along the classical
a fluctuation
part,
H (t) = H P +
HNF(t) : Under
~
M
*
+
:3
+ H~(t)
initial ~ondition
~t,qt
into a mean
,
field and
(4.16)
+
+
and the different
is a product
~, ~
:
+ * ~" ~(~tSN + ~ t S N ) - N(~Ct~
N~2~t)N~2(~N-
the photons state
orbit
- Y2 * + ~N (a vrt +
a +
SN
~(a*-
HN(t)
the initial ties,
HN = H~(t)
Ya
A + HN
+
. Given any physical
+ q-t+ ~t ) ) (4.17)
h.c.
Since
atoms are uncoupled.
state with strong
this will lead to "boson white noise"
factorization
fluctuation
forces
properfor the
fluctuation observables, when N--9~. In the corresponding interaction ~F picture, HN(t) will again become quadratic in boson operators. We will study the evolution in the form
(3.25,26,27)
uM(t)*(. )UNM(t) S~N(t)
of Weyl operators with
considered
replaced
by
as an automorphism.
from their differential
d~N(t)/dt
H NS
(3.24) which can be represented
equations
= - (iY + ~ ) ~ N ( t )
HN
and with
We compute
~aN(t)
:
- ik A(t).) £
~N(t)
= e x p - ( i Y +~Ot
and
(a-N[2~)
- ik]ds
(4.18) A(s)
exp-(iY+~)(t-s)
)
O
dSN(t)/d t
_ (
~3
fN(t ) J (4.19)
~3 dSN(t)/dt
= _ ~s3(t)
+ i~t~N(t)-
In terms of the propagator
~N(t)
In
(4.19)
£~(t)
P(t,s)
: P(t,0)N~2(_~N-_~)
, the fluctuation
= M -~2
(t) ,
of
i ~ S N^+ (t) (4.19)
+ f3(t ) one has
÷ S ds P(t,s)IN(S)
forces
fN(t)
= fN(t) +
(4.20)
.
+ fN(t ) _
fm(t ) = (2p+q)-~2 ~__ Fn(t )4
,
satisfy (4.21)
312 where ~ (m) = (4.10,11,13,14) under
~(t).
((2p+q)m, (2p+q)(m+l) ] . The F!(t) h~ve the form n without N -I and ~ , and with the b±n(t) evolved
The
h±n(t)
replaced by the o-number
therefore obey ~t
(4.7,8)
with
product structure of ]'L N , one has for all
l{ m £ M
*
+
(2p+q)-i ~--- (J~N' b+n(t)b-n(t) /~LN) ~ ) (2p+q) -I ~ where the
~
: ~t (4.22)
(~,(b+n(t)b+n(t)-b'~n(t)b_n(t))]'i N) = 2 ~ t
satisfy the classical equations
correlation functions in independent of m :
(lqN,
(2.9) . Hence the
~ N ) = < ' ">N
are ~-correlated and
~ m ( S)~m(t)>N
=
~ + ( s )~+ (t)>N
~m(S)~+(t)>N
=
~(s-t)~ (~2 - ~ ) ( 1 - 2 ~t)
(S)fm(t)> N
=
[(s-t) ~(~4 + ~ t )
~+ ~m3(S)fm(t)>N
=
~ ~3. m<S)~m( t)~N :
~+(S)fm~3(t)>N
=
~ m (s)~m3(t)>N = - ~(s-t) ~(~2 + ~ ) <
3
^3
~N(t)
and, as a consequence of the direct
-- 0
~(s-t ) ~
(4.23) (~2 - ~ )~t +
Furthermore, sin~e ~ m ( t ) ~ N = -~4(t)*-6~ N = 0 and m for m~n , one has independent of N = M(2p+q)
f •(s)f ~N
:
~,"
E~ (s), '~ (t)]
= 0
~
z,'
(4.24)
The 2-point function of ~:'f~(s) with A~(t) or any fluctuation operator at t = 0 vanishes. However, the higher correlation funtions of such quantities are far from Gaussian for finite Let ~
be the Fock space of two boson modes
boson fields L2([0,~))
a~
and
N . t~
and four
i+
(t) , f ~ (t) , i=1,2,3, with test function space and cyclic vacuum ~)-~, satisfying
f~i - (t)]l~ = a~._O-~= A~(t)9-~= tL _9_~= o
(4.2s)
313
fi+(t)~ = f~(t)i- *, t~+ = t ~ ", f
and with c-number commutators, , [am, a,]= I,
(t) = f~-(t) _+ if
which all vanish except for
+ . ItS, t+] = 2~- , [ f ~ ( s ) , f ~ ( t ) ]
The identification
(t) ,
j (4.26) = ZfN(s)fN(t)>N . is defined by linear
mapping
extension of
I N a~*iA~'~'.<s l)..A~(sj)(t+)kfn+(tl )..fn+(t r) ~'~. =
=
(4.27)
~+ ~-n+. M-(k+r)/2%-l, ~+ tmk f~k*,(tl] • "~n~+(tmk, ~ r)~ z,_
where
~I
extends over all
: M-}'2 tN
~ 9 ; £ j and
~+m
of all vectors of the type product struture of ~'~N
II IN1; = i
as in
(4.21)
(4.27)
with
with
m k ~ mL
h ~ ( ~
. Let
and
for
be the span
k + r : h . Because of the
there exists an isometry
I Nh
such that
h-i = T ~ (i - g/M) ~2 I Nh g=l
IN ~ ~ 2 Hence
m I ,...m~+~-- I,..M
(4.28)
lim III~T~.II= II~,;;
for all ~ e ~ .
Nowjwe are
ready to prove the main-theorem on the time evolution of the laser Theorem 4.1 vables
aN(t)
(2.4),(4.1,6)
towards the solutions
with initial conditions = N~2(~N(t)-~t ) , ~N(t)
towards solutions a~(t)
~ N~2(~N(t)-~t) in ~
(t) - i~s~(t)
s.(t) : -(i£+~)s~(t)
t>0
+ 2i~(ts
and initial condition
Also the correlation
= I~'~N@J~ equations
converge
in the WT sense
of the linearized equations
(4.29)
-ik Am(t) ] (t) '+ 2 ~ F
s• 3 (t) = - ~ s i (t) + i ~ (%(ts~(t) * with
~N
~t, _~/t of the classical
~o = ~ , ~ e : q" . The fluctuation operators
a~(t), ~ ( t )
= -(i¥+~)a
:
the intensive obser-
~'N(t), _~'N(t) converge in the WT sense along
(with (3~)) (2.9)
: In the DHL model
N"
a.(t) + f2(t) ]
+
a~(0)
functions converge
= a~,
s
(0) -- s ~
in the sense of
in~.
(3.37).
314
Proof : As in theorem 3.1swe consider the Weyl operators
exp(iHNt) WN(W,~,t,x,y,z) Here by
WN(t) : exp(i~N(t)) aN(t)
and
N
to the l.h.s, of
: ~N(t ,0) *~ WN(t)VN(t,0) .
is obtained from
(gN-~t) (4.30)
exp(-iHNt)
by
SN(t)
(3.24) by replacing
a-N~ t
, which gives a rigorous meaning
. VN(t,s) -- : T e x p - i ~
dr ~FHN(r)
a Dyson series with the same substitution as in (3.33) proves convergence,
(4.30)
if we can show for
WN(t) 0!u~l
is defined by . The estimate and
0~ si r~t
with It-sb0sufficiently small and for every ~ . e ~ t h a t
-
)IN)V~(r,s)
~
II
,
(4.31) II(INK.(t) - KN(t)IN)exp(iuK.(t)) ~
II
are uniformly bounded in N and converge to zero for every r,u, if ~F A N-~ . Here H~(r), K~(t) and V~(r,s) are analogously defined using
~a~(t) and
~(t)
, the IN-preimages of
The uniform boundedness and convergence of by expanding The limits
~(r,s)~ am(t)
and
§5.
(4.29)
and
(4.20)
(4.31) can be easily proved
exp(iu~(t))~
= V~(t,0)*a~(t )V~(t,0) ~
by the differential equation
(4.18)
and by using
and
s~(t)
(4.28) .
are identified
which they satisfy.
Conclusion
We have discussed in considerable detail a microscopic quantum mechanical model for a laser cavity coupled to different reservoirs and have given a precise sense in which the laser shows irreversible classical and stochastic behavior in the thermodynamic limit. We have, however, only barely prodded the sleeping giant of nonequilibrium statistical mechanics.
There are many open.problems in this field,
both of a technical and conceptual nature. There is the immediate question, whether the choice of the reservoirs,
in particular the use
of regular Hamiltonians and nonlinear couplings, can qualitatively change the phase transition in this class of mean field models. A nontrivial generalization of our approach is necessary in order to treat the finite mode laser. Our results on the intensive and flue-
315
tuation observables are the first two terms in an asymptotic expansion for large finite lasers. if one is interested linear system for
It is not clear how good this expansion is,
in the equilibrium properties of the finite non-
t-@~.
Hopefully,
the two limits, N--)~ and
can be exchanged for certain observables away from threshold.
t-->~j Finally,
it is clear that the really hard problems of irreversible statistical mechanics are not the construction of quantum mechanical cuckoo clocks but the understanding of continuous Coulomb forces.
systems with short range and
316
References [A~ F.T. Arecchi, Schulz-Dubois, E.0., "Laser Handbook", North-Holland Publ. Co., Amsterdam (1972) [G~
P. Glanssdorff,
I. Prigogine, "Thermodynamic Theory of Structure,
Stability and Fluctuatlons " " ~
Wiley, London (1971)
R.J. Glauber, Phys. Rev. 131, 2766 (1963) J.M. Radcliffe, J.Physo A 4, 313 (1971)
~
F.T. Arecchi, E. Courtens, R. Gilmore, H. Thomas, Phys.Rev. A6~ 2211 (1972). R.J. Glauber "Quantum Optics", Varenna Lectures, Academic Press~ N.Y.
(1969)
~
R. Graham, in "Springer Tracts in Modern Physics", Vol. 66,
~q
H. Haken, Handbuch der Physik~ Vol. 25, 2c, Springer, Berlin (1970)
~
K° Hepp and E.H. Lieb, Annals of Physics 76, 360 (1973)
[H~
K. Hepp and E.H. Lieb, Phys. Rev. A, to appear
~
K. Hepp and E.H. Lieb~ Helv. Phys.Acta, to appear
~5]
K. Hepp~ "The Classical Limit for Quantum Mechanical Correlation
~
E. Hopf, Ber.d.math.phys. Kl.d. Sachs.Akad.d. Wiss., Leipzig 94,
Berlin (1973)
Functions", in preparation 3 (1942) ~q
S.M. Kay', A. Maitland,
"Quantum Optics", Academic Press, London(1970)
~
W.E. Lamb jr., Phys. Rev. 134, A 1429 (1964)
~
V.P. Maslov, YMN 15, 213 (1960)
~
W. Thirring and A. Wehrl, Comm. Math. Phys. ~, 303 (1967)
~
H.F. Trotter, Pacific J. Math. ~, 887 (1958)
~
A. Wehrl, Comm. Math. Phys. 23, 319 (1971)
~
W.F. Wreszinski, Thesis, ETH (1973)
PERTURBATION EXPZ{SIO~ FOR THE P(÷). n ~ SCHWINGER FUNCTIONS Jonathan Dimock Department of Mathematics SUNY at Buffalo The Schwinger functions (imaginary time Green's functions) for a ~ ) a
theory are formally given by
SC ; where
-
~ = S~R ~) is the space of real-valued tempered distributions
and the measure
#~
is given by
Here A~,O is the coupling constant, V(I)= I : e ( I C , ~ : J x
, and d~o
is the Gaussian measure with mean zero and covariance C - ~ 4 ~ ) "I. Expressed in this form the Schwinger functions have a particularly accessible perturbation series. tials
e "~V .
One has only to expand the exponen-
This is the imaginary time version of Feynman's
original approach to field theory. In this note we report the result that the perturbation series for a Schwinger function is asymptotic to all orders as 9%-~0 4 • details will be published elsewhere [0q.
The
Such a result establishes
the extent to which one can use perturbatlon theory to extract information about a field theory.
By extending these results one
might reasonably expect to prove that the S-matrlx for the model h~s an asymptotic series.
Since the series is non-trlvlal it would
follow that scattering is non-trivlal. of asymptotic series in P(#)Z are
Other possible applications
sketched in [B].
Let /k be a bounded region in R.~ , define %/AE~-JA:(PC~(~X, and define ~IA,A as in (2) with V well-defined measure on ~
: f [ " ' q ~@ {,~,,x .
replaced by %/A" Then d~,A is a
and we denote integrals by
~ "' ~a,A
The main input we require is the following result of
318
Glimm, Jaffe, and Spencer [a],[3] . Let ~ be a product of Wlck monomials ~:~c~)~ : w ( , ~ support.
with each W bounded and having compact
Then there exists an interval ~ = [o>Ao] such that
z.
~,
I
for
I < A h , ^_
o
all
A
and
as ,~,.*c^~^',o')-,.~o
Ifor some: m (independent of A)A') and all A j ' / , . Here A~ is ~
translated by X~'RZ, and < A , B ~ ~ = ~ A B ~
is the truncated two-point function.
~;s# (..A)o) --~ oo
By I, A) A
-<~>
converges as
to a Euclidean invariant limit functional
Let ~ E C~(~)and set
F~}~= <~>
... < ~ >
. The Schwinger
functions may be defined as distributions by S(l~t)...,~,) = < F ~ ) ~ This provides a well-defined realization of (I)~(2). • heorem:
The Schwinger functions
(including endpoints).
(3)
~.
at"
~ F ~
Defining ~
I
C °o on ~ -
.: D ; < F T ~ ) ~ I A = O
N
- 7
are
~.x~/.!
I
[O,]Lo ~
we have
- o
Equation (3) is the statement that the perturbation series is asymptotic and it follows immediately from the C~property and Taylor's theorem.
The
.4,~ can be evaluated explicitly with the
result being a sum of terms labeled by n th order connected Feynman diagrams. A more general theorem also holds which states that < F ~ ) ~ C ~ o n any interval J
where I, II hold.
is
In the case at hand if
we omit the crucial endpoint it is known that ~P~A,.0 is real analytic on (O,~o)
[3] .
The proof of the theorem is given in L~]. that
<~>~)
is C I.
Here we only show
It is straightforward to show that < F ~ , A i s
319
C I and that centered on ~
D>
Let ~
be a unit square
and let /k be a square centered on the origin
which is a union of the Z&~ •
Then we may write
O
By I) II we have
From
It
(%)) (6) and the dominated convergence theorem we conclude that
follows that
.
The higher derivatives are expressed in terms of truncated n-polnt functions.
Vith a space cutoff we have T - c-,,
(
,
To prove differentiability in the limit the crucial estimate turns out to be
where ~(.')is
the diameter of the set.
from I,II directly.
zI'.
This estimate does not follo~
Instead one uses:
,-r I
x.J
I~.
whenever the localizations of A , A ' c a n be separated by a strip of width 4
•
Then I) II' together with some elementary geometry give (7).
The
improved cluster property II' is obtained by showing that II implies that the Hamiltonian in the associated Hilbert space theory has a uniform mass gap) and then showing thab this in turn implies II'. This argument is carried out by ~p,proximatlng the infinite volume theory first by a cutoff theory in which and then by a theory in which ~ details.
~
is an infinite strip,
is a rectangle.
See C I J for
320
References ~S,
J. Dimock, Asymptotic Perturbation Expansion in the Pg~)Z Quantum Field Theory, preprint.
EaS. J. Gllmm, A. Ja~ffe, and T. Spencer, The Wightman Axioms ~nd Particle Structure in the P C ~ Quantum F£eld Model, to appear in Annals of M~thematlcs.
~3S, J. G~imm, A. Jaffe, and T. Spmncer, Erice lectures.
NONDISCRETE SPINS AND THE LEE-YANG THEOREM 1 Charles M. Newman
Courant Inst. of Math. Sciences; Dept. of Mathematics;
New York, N.Y.,U.S.A.
Indiana Univ.; Bloomington,
The Lee-Yang Circle Theorem [Lee, Yang,
Ind.,U.S.A.
1952~ is an
important tool for the rigorous study of phase transitions ferromagnetic spin systems.
The technique of approximating
Euclidean quantum fields by "general Ising models" Simon,
in
[Guerra, Rosen,
1973] indicates that the Lee-Yang Theorem is also applicable
to the study of symmetry breaking in quantum field theory providing that the theorem is extended from its original context of spin - ½ to
the
continuous
context.
"spin" variables arising in the field theory
This extension has been accomplished for
[Simon, Griffiths, [Griffiths,
~
4
models
1973~ by the method of "analog s p i n - ½
systems"
1969~. In this note we report a result which essentially
determines the entire class of spin variables to which the LeeYang Theorem is applicable. Griffiths' theorem;
The proof of this result combines
method of analog systems with the Hadamard factorization
it appears in complete form together wi~h an analysis of
the other results presented here and a new elementary proof of the iThe research for this paper was supported in part by the National Science Foundation, Grant NSF-GP-24003, while the author was at the Courant Institute.
322
spin - ½ Lee-Yang Theorem in [Newman,
Definition. positive)
~
measures
1973].
is the set of signed ~
(real but not necessarily
on the real line which are either even or
odd and which satisfy
(A)
~ e x p ( b S 2) dI~(S) I < ~
(B)
rexp(z S)d~(S) ~ 0
for all
when
b ~ 0, and
Re z / 0 .
We consider for a fixed choice of Jkj 2 0
(for
and
k, j = 1 ..... N), the partition function, N
N
Z(~) ~ ~ e x p ( ~
zjS 3 . + ~
j=l where
Ul . . . . . u N E h
J j k S j S k ) d U l ( S I) ...dUN(S N)
j ,k=l
z = (z I . . . . . ZN), and the correlations
<Sjl "'" Sjm>~ - (Z(~))-lsz.5 "'" ~z.~ Z(~) 31 3m for any choice of mean that
Jl . . . . . Jm 6 [i ..... N].
Re z. > 0 3
for all
j.
We write
Re ~ > 0
to
The extension of the Lee-Yang
Theorem is then:
Theorem I. particular,
when
Z (~) ~ 0
when
Re ~ > 0
~ = (z ..... z), Z(~)
(or when
Re z < 0) .
can only vanish when
z
In is
pure imaginary. The measures corresponding distributed continuous
to s p i n - ~
n
and to uniformly
spins are easily shown to belong to
yielding a new proof of the Lee-Yang theorem for these cases
~, thus
323
[Griffiths,
1969].
even polynomial,
The measures,
d u / d s = exp(-Q(S))
which arise in q u a n t u m field models,
be shown to b e l o n g to
~
when
Q
is fourth degree,
producing
the Lee-Yang results of [Simon,
not known
(at least to the author)
polynomials
satisfy condition
involves the w e a k e n i n g all the zeros of
a measure
in
b
concerning
to show that
2.
a measure
For any fixed m
)
Z(~+
~ >0
For any
in
and
> 0
J'Jl . . . . .
when
when
Re z > 0.
• Sjm>~0
and
In addition,
yields
for
~.
m I . . . . . m N = 0,i,2, .... x >0.
Jm E {i ..... N},
(<s s ....
(Sjl
of
for exponential-inter-
together yield:
3.
that
1 is:
~ E RN
)
with
Theorem 2 and the fact that
Theorem
[Ruelle,
the v a n i s h i n g
Q(S) = kcosh(S) + b S 2
A strong version of Theorem
Theorem m
it is
anv higher degree
Q(S) = k cosh (S)
also yields
1973];
occur in a strip with a corre-
~, and it would be relevant
arbitrary real
thus re-
(B) to the r e q u i r e m e n t
of the conclusions
action field theories
an
can d i r e c t l y
A new result of Ruelle
of condition
It can be shown that
Q
for these higher degree cases
~exp(zS)du(S)
sponding w e a k e n i n g
Griffiths,
whether
(B).
1973] which may prove important
Z(~).
with
L
3 31
i
31
s
>41
3m z | R e l ~ ~ . - ~ 4 -~ > 0 3m z
3
324
<SjSk) ~ - <Sj)~<Sk) ~ ~ 0 -~
when
4
z= iy
4
and
Z(iy)
~ 0 .
The above result generalizes equalities
[Griffiths,
1967; Kelly
certain of the GKS in-
, Sherman,
1968] to complex
z°
The final theorem we mention can be used to show that
(certain of)
the truncated Schwinger
~
theory alternate
functions
in sign as the order increases;
case of a stronger conjecture (Ursell functions) proven
m+i/ d 2m
(-i)
for
If
[Lebowitz,
Z(~) ~ 0
log =<)(01
m = 1,2, . . . .
concerning
4
field
it is a special
the truncated c o r r e l a t i o n s
of arbitrary order which has recently been
for fourth order
Theorem 4.
of even order in a
0
and
1973].
Z~(z) ~ Z ( z ~ )
with
~ > 0, then
325
REFERENCES
Griffiths,
R.B.:
J. Math. Phys. 8, 484-489
Griffiths,
R.B.:
J. Math.
Guerra,
Kelly,
Phys.
i0, 1559-1565
F., Rosen, L., Simon, B.: as Classical Statistical (1973) . D. G., Sherman,
S.:
(1969).
P(~)~ Euclidean Field Theory Mechanics: ~ Princeton preprint
J. Math.
Phys. 9, 466-484
Lebowitz,
J.: GHS and Other Inequalities: (1973).
Lee,T.D.,
Yang,
C.N.:
(1967).
(1968).
Yeshiva Univ. preprint
Phys. Rev. 87, 410-419
(1952).
Newman,
C.M.: Zeros of the Partition Function for Generalized Isinq Systems: Courant Inst. preprint (1973) (to appear in Comm. Pure Appl. Math.).
Ruelle,
D.:
private communication
Simon, B., Griffiths,
R.B.:
(1973).
Phys. Rev. Lett.
30, 931-934
(1973).
E U C L I D E A N FERMI FIELDS Konrad O s t e r w a l d e r * Harvard University Cambridge, M a s s a c h u s e t t s Introduction C o n s i d e r i n g the great success of E u c l i d e a n methods
in the c o n s t r u c -
tion of t w o - d i m e n s i o n a l m a s s i v e b o s o n q u a n t u m field theory models, is natural to ask w h e t h e r these m e t h o d s and ideas would also w o r k models
i n v o l v i n g b o t h b o s o n s and fermions.
it in
In p a r t i c u l a r we w o u l d
like to k n o w the answers to the following questions: --Are there free E u c l i d e a n fermi fields such that the S c h w i n g e r functions of a free fermi theory are the vacuum expectation values of these E u c l i d e a n fields? --Is there an integration theory for the E u c l i d e a n fermi fields?
Are
there L -space methods a v a i l a b l e ? P --IS there s o m e t h i n g like a Markov p r o p e r t y for E u c l i d e a n fermi fields? --Can we introduce interaction through a which
is related to a
(cut off) E u c l i d e a n a c t i o n
(cut off) H a m i l t o n i a n via a F e y n m a n - K a c
formula? --What are the properties of cut off S c h w i n g e r functions of a b o s o n fermion m o d e l ?
Can we use the G l i m m - J a f f e - S p e n c e r cluster e x p a n s i o n
methods to obtain estimates and to pass to the no cutoff limit?
Do
the S c h w i n g e r functions satisfy c o r r e l a t i o n inequalities? In the f o l l o w i n g I try to summarize w h a t is k n o w n about these questions. Free E u c l i d e a n Fermi fields Free E u c l i d e a n spin ~ fields have b e e n constructed by O s t e r w a l d e r and S c h r a d e r ozkaynak
lOS i], the case of a r b i t r a r y spin has b e e n c o n s i d e r e d by
[Oz i]; here we discuss the spin ~ case only.
i)
We want to express the S c h w i n g e r functions of a free fermion theory as vacuum e x p e c t a t i o n values of a free E u c l i d e a n fermi field. theory is free,
it suffices to study the 2Lpoint S c h w i n g e r
i) E u c l i d e a n fermi fields w e r e already studied by S c h w i n g e r
As the
function
[Sc 1,2].
*Supported in part by N a t i o n a l Science F o u n d a t i o n Grant GP40354X.
~27
J'-0 and
pz =
>-p~
)
n~f
is the bare fermion mass.
We can not find a Euclidean fermi field
~.
~
(×)
such that for
>,,
= (V~f
because this would imply that II~
tl~ ( n ) -C~II~- = ~@ ( ~ , ~(~,)~ % ( ~
is not necessarily positive.
The way out of this problem is to intro-
duce two distinct fields ~',
and ~
~,~ The f i e l d s
'
qi~
such that
.~
a c t in t h e E u c l i d e a n F e r m i Fock s p a c e 6 f and t h e y
satisfy the anticommutation relations
The vacuum On ~
-~
~
Ef is
cyclic for the smeared fields
there is a unitary representation
~(~)
, ~e~-I~(~¢)°
~,(~) of the translation
group and a unitary representation ~z(A) of the universal covering group SU(2) x SU(2) of the four dimensional rotation group SO 4 such
t h a t with
~(A,~)
=
L,(CA,a) _0_~
~z(,~ ) ~ , ( ~ ) =
,
~_=
and similarly for ~z(×) . Here A ~ R(A) is a four dimensional representation of S U ( 2 ) ~ S U ( 2 )
and A ~ r(A) is the homomorphism of SU(2)× SU(2)
onto SO 4 . F eynman Kac formula lOS I] In the boson case the relativistic Fock space
~
can be naturally
embedded in the Euclidean boSCh Fock space
~ b [Ne 1,2].
hold for fermions and the relation between
Ef and ~f is more compli-
cated.
Let
~ ~ ~m
~
This does not
be the Euclidean boson-fermion Fock space,
(X) the free Euclidean bose field of mass mb, and define ~ + t o be the
328
c l o s e d linear hull of vectors of the form
where
f
and h k are test functions w h i c h vanish at "negative times"
i.e. for
x e L_
WX
O . T h e n there is a m a p W:
:TT
~ (×) =
and
^
and
~
;
(2)
~ -f~E
07i'c~@-'
where
= -¢>-a
~/ ~, ( % , S ) X ~,(%,~)
on
~
such that for all vectors
j
0% =-
and for all
6 " t H ° k/~<
X 6_ ~_~+ , Jc>/ O ,
,
is the u n i t a r y t i m e translation group in ~ .
the F e y n m a n - K a c
turns out
(Ox,Y)e
--
°" *
~
(3)
~
It
(I)
(w×,wy)~
Furthermore
H 0 b e i n g the free
the free relativistic fields.
that there is a u n i t a r y involution X, Y of the form
such that
""
e.-xPl'4° 50 (o,:2 ~ e x~H~
H a m i l t o n i a n , %0, , ~
~+-~ ~
Eq.
(3) is
formula for a free theory.
N o w let us c o n s i d e r fermions
interacting with a b o s o n
field.
The
cutoff E u c l i d e a n action is given by
A where ~
denotes a p r o p e r l y chosen u l t r a v i o l e t cutoff, A a finite vol-
ume in ~3.
P is a real polynomial, w h i c h is b o u n d e d below.
is not a symmetric o p e r a t o r on ~
holds, with the O For XE~+and
(5) where
t > O
, but
introduced above. we now h a v e
V e_-V~ (t,A~
d,(~,~)×
-
e-tHe,^
WX
V~(£,A)
329
A is the cutoff Hamiltonian. Equation
(5) is the Feynman Kac formula.
Remarks:
I)
becomes
If we leave out the Yukawa
the well-known
[Ne l],[Fe I ] , [ G ~ 2)
Feynman-Kac
term in V and in H, then
formula for boson theories,
fermi fields,
formula is a good substitute
With
V.
a Markov property
it appears that in many situations
where one would like to use the Markov property,
Cutoff Schwinger
see e.g.
1].
Though there is no obvious way of formulating
for the Euclidean
(5)
the Feynman-Kac
for it.
functions
Va(%,A)
as above, cutoff Schwinger
functions
can be de-
fined by
In the case of
~(~)z
models,
the volume cutoff Schwinger
satisfy all the Euclidean axioms exception of Euclidean
(see [GJS I],[OS i],[0 i]) with the
convariance.
(This property holds
cutoff limit only and follows easily
(6). Notice that the denominator
(2) and
(5) it is equal to
Because of the ~,t,A
are
(anti)symmetric
in [0S 2] or [O 1]. from equation
(2).
estimates on
~,%,A
constant,
IIe -~H~,A
(anti)commutation
of the Euclidean
axiom
fields the
this is axiom
(E3)
(E2) again follows easily
To prove the distribution
the GJS-cluster
defi-
in (6) is not zero. because by
in their arguments:
are needed.
functions
_c~ll1
relations
The positivity
in the no
if this limit is unique). We con-
jecture that the same is true for the cutoff Schwinger ned by
functions
and the cluster axioms,
For a Y2 model with small coupling
expansion me£hod should lead to the neces-
sary bounds, were it not for the non hermiticity
of the action V,
which might cause problems. At present there seems to be no reason to believe that the Schwinger functions of, for example, inequalities.
a Yukawa model satisfy correlation
330
Functional inte@ration The problem of functional integration for fermions has been extensively discussed in the literature. (a)
There are two main approaches:
The "physical" approach, which grew out of Feynman's formulation
of quantum mechanics in terms of "sums over histories"
[Fe 1,23, inter-
prets fermi fields as anticommuting c-number functions.
The mathemat-
ical objects resulting from a "functional integration" over fermions are Fredholm determinants depending on the bose field ~(×) !
References
for this approach are Matthews-Salam [MS 1,2,3], Edwards [E 1], v. Novozllov-Tulub [NT i], Berezin [Be 1] and further references given in these publications. (B)
The "mathematical" approach of non-commutative integration,
intro-
duced by Segal [Se 1,2]; see also Gross [Gr i] and Nelson [Ne 3]. The Euclidean fermi fields introduced above naturally lead to the "functional integrals" of (A).
As a matter of fact, just in terms of
these Euclidean fields one can understand why the c-number functions and ~
--see [NT 1]--corresponding to the fields ~(x} and ~ ~xl have
to be independent functions; not each other's complex conjugates: they correspond to the uncorrelated Euclidean fields lJ-' and ~ z .
It
should also be remarked that the way renormalization can be dealt with in this formalism seems quite attractive
(in a Y2 model, for example).
It is an interesting but still open question whether there is a natural way to formulate a Euclidean fermi theory within Segal's framework of non commutative integration. References [Be i]
F. A. BEREZIN, The method of second quantization, Academic Press, New York, 1966.
[Bo I~
N. N. BOGOLUIBOV, Dokl. AKad. Nauk SSSR 99, 225 (1954).
lEd i]
S. F. EDWARDS, Phil. Mag. 47, 758
[F i]
J. FELDMAN, Nuclear Physics B52, 608
[Fe i]
R. P. FEYNMAN, Revo Mod. Phys. 20, 367 (1948).
(1954). (1973).
[Fe 2]
R. Po FEYNMAN, Phys. Rev. 76, 749 (1949).
[Fr i]
J. S. FRADKIN, Dokl. Akado Nauk SSSR 98, 47
(1954).
[GJS i] J. GLIMM, A. JAFFE, T. SPENCER, The Wightman axioms and particle structure in the P(~)2 quantum field model, preprint.
331
[Gr i]
L. GROSS, J. Functional Anal. i0, 52,
(1972).
[GRS i~ F. GUERRA, L. ROSEN, B. SIMON, The P(9)2 Euclidean quantum field theory as classical statistical mechanics, preprint. [MS i]
P. T. MATTHEWS, A. SALAM, Proc. Roy. Soc. A221, 128 (1953).
LMS 2]
P. T. MATTHEWS, A. SALAM, Nuovo Cimento 12, 563 (1954).
[MS 3~
P. T. MATTHEWS, A. SALAM, Nuovo Cimento, ~, 120 (1955).
[Ne i]
E. NELSON, Quantum fields and Markoff fields, Amer. Math. Soc. Summer Institute on PDE, held at Berkeley,
[Ne 2]
E. NELSON, J. Functional Anal.
1971.
12, 97 (1973).
[Ne 3]
E. NELSON, J. Functional Anal. 12, 211 (1973).
[Ne 4]
E. NELSON, Notes on non commutative integration,
[NT i]
J. V. NOVOZILOV, A. V. TULUB, Uspechi fiz. Nauk 61, 53 (1957) German translation in Fortschr.
lOS i]
K. OSTERWALDER,
preprint.
d. Physik ~, 50 (1958).
R. SCHRADER, Euclidean Fermi Fields and a
Feynman-Kac Formula for Boson-Fermion Models, to appear in Helv. Phys. Acta. lOS 2]
K. OSTERWALDER,
R. SCHRADER, Commun. Math. Phys. 31, 83
(1973)
and Axioms for Euclidean Green's functions If, to appear. [0 i]
K. OSTERWALDER, distributions,
Euclidean Green's functions and Wightman Erice lectures 1973+
Lsc lJ
J. SCHWINGER,
Proc. Natl. Acad. Sci. U.S. 44, 956 (1958).
[Sc 2]
J. SCHWINGER,
Phys. Rev. 115, 721 (1959).
[Se i]
I. E. SEGAL, Ann. of Math. 57, 401 (1953).
[Se 2]
I. E. SEGAL, Ann. of Math.
58, 595 (1953).