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!
0 for p e Sf. Thus
(p(/?)
=
(p(-p)~^
is
a
consequence
of\l/^(p)
=
-\l/2(-p]-
188
States in Quantum Statistical Mechanics
OBSERVATION 7.
If ^cü is the
projection-valued
measure
corresponding
to
H^^,
then
^o.(^o)-0 and, consequently,
E(S^^Sf]=^ PROOF.
.
From the relation
d^iA,p(P^
=
^l',(p]HA,p(p]d(\A
+
v|)(p)
it follows that
A^/i,p(^o) and
hence,
äs
O^iSo by
-dllA,
P G
0
-
/i^,p(^o)
Observation 3,
(P*Q,^,,(5o)^Q) for
=
=
0
%.
OBSERVATION 8
(P*ao,^(^/Ma.) for all y^, p e 911,, PROOF.
=
(9(-Ho.]"'^'^o^. (^(-//,,)^/-PO,,)
-^
7r^(5I)^
By Observation 6,
has
one
(P*Q, dE,,(p]AÜ,,]
=
d^i^^p(p)
-
(p(p)dvA,p(p)
+
co(P)co(^)^(;7)J;7 +
a;(P)co(^)(5(/?)^/7
-((^(;7)'/^^*a.,^^.(-/^)c/)(;7)^/'PO^) for p G over
IR\-S'co, and ^,P G ^o, where we have identified ^l IR\iS'oo Sf u SQ^ we obtain from spectral theory that
and
7rfo(3I). Integrating
=
^oOro
C
/)(9(-//,,)'%,,(-(5y- U^o)))
and
(p*ao, ^oX^/M^o.)
where
we
=
(P*a.o,^.o(^/ u^oMa.)
-
((^(-//,,)'/-^*Q,,(p(-//,,)^/-pQ,,)
have used the relations
ECO(SQ)
and
Efo(-(Sf^SQ))
=
Eaj(Sf
u
Soo)
which
follow from Observations 5 and 7. Since 9Io is to all
strongly*
dense in SPl^^
by Corollary 2.4.15,
^, P 9^0..
Next define
Ef Then
/
e
aJI.
=
[aR;nj
.
this last
equation
extends
Stability
and
189
Equilibrium
OBSERVATION 9
E^(Sf]
=
E^(Sf]Ef
=
.
Since
PROOF.
^itH^,ffl'^^-itH^ for all
EfE^(Sf]
r G
[R, it follows that Ef
^'^
-
e'^"^ and hence
commutes with
,
E^(Sf]Ef=EfE^(Sf) By Observation 8,
.
has
one
(E^(Sf](^ -Ef}P*Ü^,E^(Sf)(^ -Ef]A^,,] =
(cp(-H^]^'^A^(^-Ef]ü^,cp(-H^]^f^P(\
-/)Q,)
-0
for all ^, P E ^[Rcü, and hence
eo(^/)(l-^/)-0 on
Now, ßcü is cyclic and separating for the Ef9)f^ by Lemma 4.3.13. Define HE
modular operator and modular Then
=
j
Neumann
algebra 9Ji Ef^^Ef EfHo) and let A and / be the conjugation associated with the pair (93l,Q).
=
HE
.
p
dEE(p]
=
von
Hf^Ef
j
p
dE^(p)Ef
is the spectral decomposition of //. As e'^^^ leaves QCÜ invariant morphism group of SOI^, it follows äs in the proof of (3) ^ (2) in
JHEJ
=
JEE(B]J
=
=
=
and defines
an
auto-
Theorem 3.2.61 that
-HE
and hence
for all Borel sets 5 C [R. In
Ef
=
JEfJ
particular,
=
JEE(Sf
u
EE(-B]
it follows from Observation 7 that
^oo)^
-
EE(-(Sf
u
5-00))
.
But
^^(-^oo) by Observations
5 and 7.
EE(SQ)
=
0
Thus,
Ef and Observation 9
=
=
EE(-Sf)=E^(Sf}Ef
implies:
OBSERVATION 10
Ef=E^(Sf)
.
Now, Theorem 4.3.22 implies that E^^ 'ö>({0}) is a one-dimensional projection, äs QÜJ is separating for ^E it follows from Theorem 4.3.23 that =
and
inf
5'CO(TM(5))'
IcoiAB'C)
-
a}(B]o}(AC)\
=
0
190
States in
Quantum Statistical Mechanics
for all A, B, C e QJl^. As HE and A commute
strongly by Proposition 5.3.33, (2), it subsequent remark that the joint spectrum E of subset of IR". But since üoj is separating for 9[R,
follows from Theorem 4.3.33 and the
(log A,//^) Lemma
is
a
closed additive
3.2.42, (2), implies that Z is Symmetrie, and
OBSERVATION 1l.
The
joint spectrum
2 of
we
conclude
is
(log A,//^)
a
closed
subgroup
of [R-. We next show
OBSERVATION 12.
(J(HE)
=
is not
E,o(Sf)
one-dimensional,
then
Sf
is dense in [R and
^.
PROOF. ff (HE) is a group by the remarks before Observation 1l, and äs 0 is a simple eigenvalue of H(o it follows from the assumption and Eco(Sf} Ef that (J(HE] i=^ {0}. But cr(//) cannot have any nonzero isolated points because this would imply that H^^ has a nonzero eigenvalue /l with a corresponding eigenvector i// such that =
c/^(OiA-^"''A But then
(lA,7ü,.(T,(5))a) for all 5
e
^.
=
(U,,(-t)llj,7l,,(B)ü^)
Therefore, choosing
-
e'^^^(lA, 71^(5)0,,)
B such that
(iA,7i,(5)Q^)^0 this contradicts the fact that lim
n,o(i:t(B))
=
a)(B)^
?>CXD
in the weak
topology.
It follows from
Example 4.3.34 that
(T(HE)
=
U
.
OBSERVATION 13
(T(HE) PROOF.
This is demonstrated
^
äs
(J(H^-E)
Q
ff(H^-E)
in the last part of the
OBSERVATION 14. The restrictions of the are
absolutely
continuous with respect to
.
PROOF.
,
,
""^-"(^^
=
dv.Ap}
=
proof
measures
Lebesgue
di^i^p
ro,
ps,
pes^,
-"^'"^P^'^P^
P ^
^
0,
p ^
S^
This follows from the relation
and
measure, and
U.XPV;., {
of Theorem 5.3.22.
dvA,p
to
^o^^oo
Stability
d^iA,p(p} with the
together
Next, define subsets S^ -
Then S
are
191
HA^p(p]dp
=
d^^AAp')
^^ P^ '^o,
=
C [R
=
0' P^S^
by
n (p'^^^^^^^(p^ A 6
Equilibrium
equations
d^^A^P^
^+
dvA^p (P]
-
and
0}'
^
^-
n {p''^^AA^(p^
=
A 6
^y.Q
0}
<
^^to
closed sets, and since
U
^-
{P-.HA^A^P]^^}
.
^3lo
by polarization,
it follows that
5+ But the
measures
dp.A,A*(p]
^^^
5_
n
5
n
dvA,A^(p]
0
=
.
non-negative
are
for p
7^ 0,
and hence it
follows from Observation 14 that
we
may
assume
measure zero.
that the inclusions
are
sets from
By subtracting the latter
^oc and 5o
strict and hence
SQ
SQO ^ S^^ where the bar denotes closure.
C 5_
5*0
^00 Q -^+5 except for sets of spectral
Therefore,
C S-
one
,
has
OBSERVATION 15
^n'SQnS CS+nS-r^S Now, by Observations 7 and 10,
one
E,,(S^)
=
0
.
has
=
^
-Ef
and thus
OBSERVATION 16
O(H^,E]^'S^ We
now
finish the
Case 1.
proof
Ea)(Sf)
.
of Theorem 5.4.20. We consider two
is not one-dimensional. In this =
=
hence S^r\SQC^S
=
=
servation 15. It follows
0, and we may Ea}(Soo} 1^1 + v l -measure zero.
assume
=
=
[R
IR
=
by by
IR
Observation
Observation 5, and
=
^, Now
that ^^^
=
E,^(Sf} 5o
:^
1
by
Observation 10, thus
0 by modifying
^\,^i
It follows from Observation 8 that
(A'/-^*^^,A'/2pQ,J
by
Observation 13 and
since 6*00 C 5, and hence this contradicts Ob
S. But
S^0 that Ef
^(HE)
case
\. If not, cr(//i _;) show, ad absiirdum, that Ef hence 6*00 [R by Observation 16. But then SQ S^ 12. We
cases:
=
(P*ß^,^a,)
-
((^(-//^)^/-^*a(p(-/f,,)'/^pa,,)
on sets
of
192
States in
for all y4, P
Quantum Statistical Mechanics
y)l(o- As 501^0^ is
6
A
A^/^,
for
a core
Proposition 5.3.33, (2), it follows presentation of //,^ and A that
and H^o and
A^/"
(p(-H,,)
=
strongly, by joint spectral re-
commute
from this relation and
a
.
It follows that
EC{(\og(cp(-p)),p)-p^U} Now,
2 cannot have any isolated
and Z is
closed
a
Z must have I
(1) (2)
=
one
Z is
(3) In
case
points by reasoning used in Observation 12, U^ by Observation 1l. As (j(Hco) IR it follows that =
IR-, array of
equidistant straight lines, not parallel with the log A axis, orgin. straight line through the origin not coinciding with the log A axis.
an
of which contains the a
3, there exists
-ßH,,,
-
of
of the forms:
one
Z is
subgroup
e R
j5
a
such that Z
{(-ßp, p]]
=
/? ^
and thus
IR}
log
A
or
^
But Theorem 5.3.10 then
are now
Case l a.
two
HA^ A*
e-ß^'^
=
that
implies
the treatment of Case l,
complete There
.
the
we
.
is
co
must
r-KMS state at value
a
ß.
eliminate possibilities (1) and
Hence to
(2)
above.
possibilities: =
^ for all A
In this
e^Q.
case
co(^^*) =FA,A^(0)+a}(A)cD(A'')
GA,A^(0}^CD(A)co(A^)
=
for all A
^0, and hence
G
Case Ib. we
may
is
co
HA,A*(PQ) ^
is
co
is
(T,0)-KMS
a
^o and
cD(A'A)
some
-
d^^A,A^ (p]
=
HA,
A'
(p]dp
-
continuous,
&, PQ +
&), where
,
deduce that -
l)dvA,A^(p)
HA,A^(p)dp
=
(l-Cp(pr')d^A,A4p}=HA,A^(p}dp HA^A^ is
then
a
HA, A* (p)
real function >
0 for p
G
have two
we
(PQ
that
v
is
a
positive
measure on
(PQ
((p(p) this interval. It follows that
v -measure zero.
except for
a
(p such that
But
d/^(p)
=
=
-
-
> l on
(PQ
-
ß)-
We
e, ;?o +
s)
l)dv(p)
now
^^
ffA,A^(pQ}
>
0,
deduce from the relation
and
=
dp
(p(p) > l for p e (PQ (p(p}dv(p) and so (p(p) , PQ -^
.
ffA^A^(p)dv(p)
set of /.i-measure, and hence
(p(p)
,
possibilities: HA^A^(PO) <0-
e, /?o +
d^A,A^(p]
on
is
HA^A^
that />o / 0 and that HA^A^ (p) 7^ 0 for all /? G (PQ positive number. From Observation 6 and the relation
(q)(p]
As
state.
p^ G (R. Since
assume
d^^A^A^ (p) we
trace, i.e.,
a
0 for some^^ e
=
spectral
B).
a, po +
E) except (PQ
l for /? G measure, zero. Thus
But this
{(log((p(-p)),p)-pe
>
means
we
that the set
for
a
set of
, PQ +
e)
may choose
Stability
and
Equilibrium
does not contain any point of the form (d, p), where d <0 and p e As e is contained in this set, this excludes possibilities (1) and (2). The
=
T-invariant character, and hence then
E^(8^}
ad absurdum, that S
\-
=
S^Q^"^.
is
co
KMS state at all values
a
If not, then SQ
=
S^o
a(H^}CS^^{0}^U
i.e.,
co
has
cr(/4j)
contained in
one
isolated
no
of the sets
is KMS state at value +
e
=
!Ru{ oo}.
If
5^e _argue,
^ and hence
^ [R,
and
S^. n 6*0 n 5 by Observation 16
.
it follows from
points,
and thus
[0, +00),
ß
because 6*00 C
E,^(Sf) ^ 0_a.nd S^0
contradiction with Observation 15. Thus SQQ
j^0m
But since
s).
=
Eoj(Sf) + H, =
, PQ +
HA^A^(PQ) < 0 is treated by noting that HA^A*(-PO) -ffA,A*(po}H in this case, it follows that co is Ef.^(Sf] is one-dimensional. If J5'cü(5'/)
case
Case 2. a
(po
193
oo or
co
is
a
Example 4.3.34 that ö-(/4j) is ground state or a ceiling state,
oo.
By summarizing the results of the last two subsections, we obtain an almost completely satisfactory theory for the connection between stability and the KMS condition for C*-dynamical Systems (^,T) which are Z^(^o)-asymptotically abehan in the sense of Definition 5.4.8. Assume that 51 has an identity H, and let co be a t-stationary state on ^. If P P* G ^o, it follows from Pro position 5.4.10 that the M011er morphisms =
rf-
Ti^T,
lim /-^oo
exist
strongly
for A G IR.
Furthermore,
yf T.
has the
one
intertwining
relations
Tfyf
-
and lim
y^(A)
-
A
/i^o^ for all v4 G M
by
the estimate /i
OO
\\y^(A}-A\\<\^\
d\s\\\[P,r,(A)]\\ JQ
which is valid for A e^Q.
Now, there exists
a
unique
state
co^^
on
'y^(^) satisfying
(o^(y':^(A))=w(A) and co^ is
r'^-stationary by
the intertwining relations. But co^-^ extends to a by Proposition 2.3.24, and applying an invariant mean to this extension composed with T"^ we obtain a state co^ on ^ such that the relation above remains valid, and state of 21
(1)
0}^
is
1^ -stationäry.
Next, it follows from the estimate
|co^(^) that
-
c,(A]\
=
\co^(A
-
y>^(A])\
<
\\A
-
y^(A}\\
States in
194
/l
(2)
Quantum Statistical Mechanics
cü^^
\-^
A
is continiioiis /
0 in
=
co^^^(^)
lim
t he sense
-
co(^)
all Ae"^.
for
Now, define
co^^
state
a
W
on
by
<(^)=cünTi''(^)) From the relation
0,^^(^,(A))
CO^-^(Ti^T,(^))
=
it follows that
The limits
(3)
lim^_
o^^^^(^t(A]]
00
cD^^^(it(A)}=a}(A),
lim
family {co^^; (l)-(3) (including the
We call any
5.4.21.
Corollary
+
t-^
P
=
(^,T)
Let
P* G
be
an
co^^(T,(yl))
.
a
s^} of states satisfying requirefamily of pertiirbed states ofco.
(^Q)-asymptotically
an
=
cof (^)
-
<
(D^_f}
L^
mical System, and assume that 51 has P* e ^ÜQ, |/l| (9/^, a?id let {60^^; P
e% and
00
^a, |A|
existence of
all A
for
lim
/> -00
ments
exist
<
abelian C'-dynai-stationary state Sp} be a family ofpertiirbed states of
identity.
Let
co
be
a
Consider the follovving conditions:
(D.
(Iß)
cü
(2)
(a)
is
an
extremal i-KMS
state at
value
CD
has the
three-point
lim \titj\-^oo
ö;(T^,(.4i)T^,(^2)T/3(^3))
inf
ß.
düster property
=
co(A[}(D(A2)cD(A2}
i^j
(b)
(D
satisfies
the
stability property
\im\cD^^(A}-(D(A}\/l for
^
+
;.->o
'
^
=
Q
^''
all ^ G 51.
It follows that
for jß (2)(a)
G
is
(2) implies (Iß) for some ß G Ru{oo}. Conversely (Iß) ([R { oo})\{0} implies (2) and (Iß) for ß 0 implies (2) when replaced by the weaker düster property u
=
M(a}(Ai(B)))
=
CD(A)CD(B)
all
for
A^B G 5l, and any invariant mean M on U. particular, (Iß) for some ^ G IR u { 00} and (2) are eqiiivalent ifco is a factor state or z/ 5t has a iinique trace-state. Fiirthermore, the family of pertiirbations {co^^} can be chosen such that In
co"^ (A) (B)
(O
in the
if (l) (/(l)
following holds with
holds with
cases:
ß ß
e =
U -\-oo and there exist s
an
>
0 such that
Stability
(^(HCO) (C)
//(l) cases
holds mth
0}^
ß
can even
{0}U[,
-^oo, and (^, be taken to be
We first show that the
PROOF.
C
stability
T) a
+
and
00)
has a unique groundstate. i^^-KMS state at value ß.
condition
195
Equilibrium
(2)(b)
is
äquivalent
In these
to the
by
now
familiär condition
/oo dtw([P,T,(A)])
=
(*)
0
00
for all A^ P G ^0- But this is
a
consequence of the relation
r^5T^4([P,T,(^)])
Ti^T,(^):=^-Ü
JQ which
gives / 00
CD(A)
0)^-^(7^ (^))
=
:-
co^-^(^)
-
Ü
/ JQ
dsco^^([P,T,(A)])
/oo dsco^-^([P,T,(A)])
w'-^ and hence
(^)
-
w(A))/l
=
r dso,^([P, T,(A)])
-i
.
J -CG
The
Lebesgue-dominated convergence theorem and requirement (2) on the family now immediately imply that the two stability conditions are equivalent. Thus, it follows from Theorem 5.4.20 that (2) implies (1^) for some ß E [Ru{oo}. But (1^) for ß e [Ru{cxo} implies (*) by Theorem 5.4.17. Now, (Iß) for ß G IR\{0} implies that co is a factor state by Theorem 5.3.30 (3) and if (1^) is true for ß G {(X)}, then co is pure by Theorem 5.3.37. Thus, co is a factor state in both cases, and it follows from Example 4.3.34 and the asymptotic
{co'''^}
abelianness that lim inf|r,--/y|-^oo
CO(T,, (Ai)'-'T:f^(An))
=
o}(Ai)
-
-
o}(An)
'Vy
for all
Z+ and all AI G ^. Q, i.e., co is an extremal invariant trace, then ß invariant state by asymptotic abelianness, and thus If
G
(1/j)
holds for
=
MCO(AT:(B)) by
=
co
is
an
extremal
o}(A)o}(B)
Theorems 4.3.17 and 4.3.22. If
hence
co
is assumed to be
(2)
and
(1^),
But if 31 has
for
a
factor state,
some
ß
G
one
[Ru{oo},
derives are
n-poini clustering äs above, completely equivalent.
and
unique trace-state, then every extremal (T, ß)-KMS state co must be Q, then co is the j? ^ 0 this follows from Theorem 5.3.30. (If ß unique trace and is automatically a factor state.) The equivalence and (2) and (1^), for some j? G (R u {00}, follows once again. a
a
factor state. For
=
196
States in
Quantum Statistical
The last Statement of the 5.4.4 in
case
position A
in
Mechanics
corollary follows
A, Proposition 5.4.18 in
case
from Corollary 5.4.7 and Theorem C, and the remarks preceding this pro-
B.
case
slightly annoying
feature of the
stability requirement (2b) of Corollary required for CD^(A) (D(A). One may
5.4.21 is the small order in 1 behavior
avoid this
by assuming stability in norm of the limits lim^_,oo <^ ^^^^- To be precise, assume that T satisfies a uniform Z^-asymptotic abelian property
more
in the
sense
that
^^||[P,T,^-''{^)]|| is
an
L^-function for all ^,
5.4.10 and its
subsequent
P
P* G
=
2lo and l sufficiently small. Proposition
remark then
yf
lim
=
that the M011er
imply
morphisms
ti^T,
t^00
exist
and
strongly
are
yf^. Define states
co^ '
of ^.
*-automorphisms =
Furthermore,
^rrf
by
a;f(^)=co((7f)-^(^))-
cD(,f(A})
lim t^OG
and then
CDJ^
are
r^'^^-stationary
states. Now the
lim that
co
is
a
=^
i-KMS state for
follows. First, note that the states
condition
llcof -a)\\=0
;.^o
implies
stabihty
"
some
co^
value
have
a
jS
G [R u
{ib oc}.
This is
property of return
to
seen äs
equilibrium,
i.e.,
^_lim^<(T,(/()) Jm^<(Ti^T,(^)) =
=
<(yf (^))
=
o^A]
and
lim t-^
Thus, letting
T
-^
oo
and xS'
a}^(if(A))
=
co(A]
.
00
>
-
<(T,(^)-^)/I
oo
=
in the relations
-i
/'j^<([P,T,(^)]) f dtcD^_^([P,T,(A]]]
,
JQ
co^(A-,s(A})/l
=
-i
,
Js we
obtain
/oo J^<,([P,T,(^)])
(*)
.
-00
Theorem 4.3.17
implies
godic with respect
that the two states
to the action
rf
=
co^^
=
7^1^(7^)"^
coo
(y^)~^
are
centrally
er-
and hence it follows from
and
Stability Theorem 4.3.19 that the
a
co^^
are
either
equal
or
disjoint.
stability requirement, by 0;^^ straightforward extension of the argument used
for small /l
the
and
and
co^^
Equilibrium
But
\\co^^
co^H
197
<
2
cannot be
to prove
disjoint by Corollary 2.6.11. It
follows that
cüf for small A. Hence,
letting
l
-*
0 in
=
(*)
ca^:^
we
find the Standard
f 'dtco([P,r,(A)]) J
and
is
=
stability
condition
0
-C
value
ß G [Ru{ cxo} stability required Corollary 5.4.21 could be viewed äs a stability against contamination of the System. The perturbation of the Hamiltonian represents the introduction of an impurity into the System. One could alternatively envisage another kind of stability, namely, that the System co
a
r-KMS state at
(9l, T)
some
.
for the state in
The
in the state
co
is stable in coexistence with another System (91', T') in a in the sense of condition
CD', i.e., the joint System (91 0 91', T 0 T') is stable of Corollary 5.4.21. One then has directly (2) state
/dt(F(t}F'(t)-G(t)G'(t))=0 where
F,F', G,
and G'
are
defined
äs
before Observation l of Theorem 5.4.19.
If cü' has strong
clustering properties and is a i'-KMS state at value jß G !R, one can now proceed äs in the proof of Theorem 5.4.19 to show that o; is a i-KMS state at the same value ß, without assuming any purity of co. Assuming purity of co, it is enough that co' is not a ground, or ceiling, state to reach the same conclusion.
5.4.3. In the
Gauge Groups and the Chemical Potential
we described how the inverse temperature ß enters thermodynamic equilibrium from requirements of stability. But in the description of equilibrium states of the ideal Fermi and Böse gas in Sections 5.2.4 and 5.2.5, these states were also characterized by a second Parameter ju, the chemical potential. Equilibrium states cp were considered to be states which are Ty^-KMS states at value ß, where 1 1-^ y^^ is the group of of the is the i.e., algebra, gauge automorphisms t^-^y^ group of Bogohubov induced e^^H the \-^ the t on automorphisms by unitary group one-particle space. In Order to see how the chemical potential enters one has to examine the role of gauge invariance more closely. The setting of the problem is described by the following definition.
previous
subsection
the formalism of
Afield System is a sextuple (5, 91, G, 1,7,0-) where 5 is a identity, called the field algebra, G is a compact group, called
Definition 5.4.22.
C*-algebra
with
198
States in
Quantum Statistical Mechanics
the gauge group, and g e G\-^ jg is a continuous, *-automorphism group of g. Further ^
faithful, representation of G 5'^', the fixed-point algebra under the action of G, is called the observable algebra and /^ ^^ T/ is a con tinuous one-parameter group of *-automorphisms of 5^ called the time-translation group. Finally, ö" is a fixed *-automorphism of g such that into the
a^ The groups T, y, and
o are
oit
for alH e
[R,
interrelated
T/ö-
(jjg
,
=
{y,j]g
G}
.
by jgG
T^y^
,
=
y^T^
,
ö' e G.
Deüne the
S+ Then
-
ö-G
^i,
=
even
-
and odd
{^
5 is assumed
with respect to
e
subalgebras
S; ^(^)
-
to have the
A],
of
g_
g by
=
{^
G
S; (T(^)
following asymptotic
-
-A]
.
commutation property
T:
lim
||M,T,(5)]||=0
|/|->oo
if^GS,^Gg^,
and lim I/HOO
||{^,T,(^)}||-0
if^,5e5_. In typical applications the field algebra, or the algebra of quasi-local operations, is the algebra generated by creation and annihilation operators a*(/) and /(/), where the index / denotes the different particle types and their transformation properties under internal symmetries. The group of these symmetries constitutes the gauge group G. In an example of scalar particles the index / would ränge over 1,2, G f\l and G would be the n,77, for some dimensional torus T". An element 0^ G G is parametrized by n angles 0 ^ (Pi < 271 in this case, and the action of the corresponding automorphism ...
y^
is
explicitly given by
y,K(/))
=
e">"a^(f)
,
r,(/(/))
=
e-'"'.fl,(/)
.
As G represents inner symmetries of individual particles one expects y to commute with time translation T, and one also expects y-dependent quantities to be
macroscopically unobservable. Hence the name observable algebra for g^. The other concepts occurring in Definition 5.4.22 have been explained earlier (see, for example, Definition 2.6.3). Since T and y commute, it follows that ^ is globally r-invariant. Moreover, äs ö- G y(5 one has ^ C g^, and hence ^ is asymptotically abelian with respect to T. The results of the previous section then justify the KMS condition äs a criterion for a state co of ^ to be an equilibrium state. But in Sections 5.2.4 and 5.2.5 the equilibrium states (p of the ideal Fermi and Böse gases were defined to be KMS States at value ß for some group of automorphisms of the form ^
=
199
Stability and Equilibrium
(^^ is a one-parameter subgroup of G given by the potential. Conversely, t ^-^ ^t determines the chemical potential. But the restriction of ^ i-^ t/y,^^ to ^ is just rl^j, and hence o) (p\
IR
T^7^^ where
H-^
^
i>
chemical
=
=
This is achieved in two Steps: If
(1)
co
is
an
extremal r-invariant state of
invariant extension cp to related by
5,
9l=
for
and
is
has
an
extremal
T-
^^e
g ^ G.
some
co
co
yg
If, in the Situation described by (1),
(2)
^, then
and any two such extensions (pi and (^2?
a
T-KMS state at value
tinuous one-parameter KMS state at value ß.
subgroup
t
is
Uco
ß
\-^
a
faithful
1I^\{0},
e
representation
then there exists
^^ of G such
that (p is
at
of 91
a con-
\-^
'^tl^-
results, and subsequently make several remarks 0, etc. pertaining to variants, the case ^ Before the actual proof of these theorems, we characterize the extremal We first prove these two
invariant states of field Systems by düster properties. In the case that the i, these properties follow already System is asymptotically abelian, i.e., a from Theorem 4.3.17 and Example 4.3.5. For general a we use a method of =
to characterize states with trivial even
proof which is similar to that used algebra at infinity in Theorem 2.6.5.
Let (g, 91, G, T, 7,0-) be a field System, and cp a i-in0. The follomng conditions of 3f. Then cp o a (p^ i.e., (p\<^^ are equivalent: (1) q) is i-ergodic, (2) q) has the clustering property
Proposition
5.4.23.
variant state
=
^ Js/
lim T-S
->
00
l
dtcp(Ai,(B)]
Furthermore, in this Situation
l
:^
/ J^
where the limit exists in the sträng operator
'r ^
<X)
7^ / l
i3
^^
=