Statistical Mechanics of Anyons: Complete
Statistical Mechanics of Anyons: Complete
S t a t i s t i c a l M e c h a n i c s o f A n y o n s
and Type-II states we constructed in the previous chapter (Dunne et al. 1992b).
For the higher virial coefficients instead, only very preliminary and perturbative
results are available at the moment (Comtet et al. 1991).
Remarkably enough, the exact solution of the two body problem allows to
extract a few interesting features of the anyon system, like the presence or absence
of spontaneous magnetization, or the presence or absence of parity violating effects,
or the relation between the canonical magnetic moment and the fractional orbital
angular m o m e n t u m that we introduced in Chapter 5. However it would be even
more remarkable and interesting to extend these results to the thermodynamic
limit and deduce macroscopic effects that, at least in principle, could be detected.
Lacking for the time being such possibility, we will content ourselves to compute
the canonical partition functions and derive some consequences using standard
techniques of statistical mechanics.
Z1 = y ~ e -/3E~' -- Z e-/3w(nTJ"k'l)
n=0 n=0
j'=o ./'=o
(7.1.4)
----
e-~° _._
1
( 1 - e-O~) 2 4 sinh 2 (2~-~--)
Obviously Z1 is the same for bosons, for fermions and for anyons because no
statistical effect is present in the one-body problem.
Let us now compute the two-body partition function Z2. For simplicity we
first consider the case of bosons. The two-body bosonic wavefunctions are totally
symmetric products of the single-particle wavefunctions (7.1.1). If ( n i , j ~ ) and
(n2, j~) are respectively the labels of the two component factors, the total energy
is
•I .$
E31,32
n,,-2 = w (hi + j~ + n2 + j~ + 2) , (7.1.5)
~ii,4
Z~°" -= Z e-t~-"''2 (7.1.6)
where the symbol ~ denotes the sum over all s y m m e t r i c states meaning
{~ ,Jl ; ~ ,j'~}~
that the state characterized by the ordered set { n i , j ~ ; n 2 , j ~ } must be identified
with the one characterized by {n2,j~; ni,j~ }. To calculate Z2 it is convenient to
make the following observation: If we sum independently over all labels h i , j ~ , n 2
and j~, we clearly overcount the bosonic states because we do not implement the
identifications due to s y m m e t r y ; however if we add to this sum the contribution
of the diagonal states for which nl -- n2 and j~ -- j~, we get exactly twice the
wanted bosonic states, t h a t is
~+ Z - 2 ~ . (7.1.7)
11,1 Irt 2 I~,1~n 2 {1%1 "t. -t
•I -I -I .I 'J1 , n 2 ' J 2 } S
J1 J2 J 1 --"~J2
The bosonic partition function, Z b°8 , then follows immediately from (7.1.7) and
(7.1.5), and we get
94 Statistical Mechanics of Anyons
Z~O~ - 1 Z
e--/3w(n1+J1+n2+J2+2) .~_ Z
.i .i
e--~w(2nl+2j~+2)
11,1= 0 n2--O nl--O
j; =o
= 2
1[ (1 - e - ~ ' ) 4 + (1 - e--2f~w) 2
] (7.1.8)
cosh(fl w)
8sinh 2 ( 2~ - ) sinh2(flw) "
where the symbol ~ denotes the sum over all antisymmetric states, can
• .i
The diagonal states for which two quantum numbers are the same, are clearly
impossible according to the Pauli exclusion principle, and thus must be removed.
From (7.1.10), (7.1.9) and (7.1.5), it is easy to get
z:erlln~llO:~Oe-~W(rtl+Jll+n2+J2+2):
= = --~e I"L 1 = 0 lf~ w (2n1"~'2Ji "~'2)
j~ =0 j; =0
_ e1- 2[ f ~ w _ _ e-2f~w ] (7.1.11)
-- 2 (1 - e - ~ ) 4 (I - e - 2 ~ ) 2
I
Let us now turn to the three-body partition functions for bosons and fermions.
The bosonic three-body wavefunctions are totally symmetric products of three
single-particle wavefunctions (7.1.1), and hence can be labeled by (na,j:), (n2,j:),
(n3, j~). By taking into account the symmetry imposed by Bose statistics, it is not
difficult to prove that, in obvious notations,
Therefore, since
95
.,,..,.~ = ~ ( ~ + j~ + ~ + j~ + ~3 + j~ + 3) , (7.1.13)
the partition function Z b°" is given by
Z b ° S = 61 I ~ ~~' ~ "
e - f ~ tO ( " 1 d ' j ~ "]- n 2 " { - f f ~ ~ - " 3 " ~ ' ' 3 " 1 " 3 )
oo oo oo
+ 3 "' 2 + 3x +3)
na=O na=O nx=O
j~=0 j;=0 ji=0
1 [ e-3~ ~ ~-3~, ~-3~,~, ]
= 6 ( 1 - e - a ) 6" +3 (1 - e -f3'' )2 (1 - - e -2f3 ~)2 + 2 (1 - - e - 3 f ~ " )3
•t 7"1, -t ~,~ .e
e-f~w(nl+3x+ 2+32+ 3+.23+3)
nl=O n:~=O na=O
•l .I .l
31=0 32-'0 3a=0
c~
l + 2cosh 2 (2~-~-)
(7.1.16)
This method can be easily applied to compute the bosonic and fermionic parti-
tion functions for any number N of particles, but the resulting formulas are more
96 Statistical Mechanics of Anyons
N ( e2B2 ]2 1 )eB N
g= ~ 20ibi+ Izi + mw21zlI2 ~ ( z , 0 i - 2iOi) ,
1=1 - m Sm -2 2m 1=1
(7.1.17)
which is a simple generalization of (6.1.9). We are interested in the eigenvalue
problem H ¢ -- E ¢ for multi-valued functions ¢. For convenience let us define
e2B 2
j~2 _ 40)2 .~ m 2 = 40)2 + wc ,
- ~ 2
(7.1.18)
and
~I_- NF2
2 + ~ ( -2°~&m 1
+ ~_z~O~ 1 2iOi)
+ -~.,+ (7.1.20)
I=1
r
satisfy < , i ° - - ° , + e n , > e r , + : : + , . , , wit,+, o<,,°," ,+ommu,,,+-
I- ,,,I I,,, ,,,II
tors being zero. This problem can be analyzed in complete analogy with the one
discussed in Section 6.2. The symmetric step operators
97
N
c.. : 7: o*;b~" , (n -t- m < N) (7.1.23)
I--1
act on the on the base states ~0) _ YI (z,j)", and ~,,a~'(°)"- H (~,ij)(2-z,), which
I<J l<J
entirely encode the anyonic statistics (here we take 0 _< v < 2 ) , and the following
two families of regular anyonic wavefunctions can be constructed
1 N--n
for Type-II. Here Anm are non-negative integers. For N - 2 the states in (7.1.24),
completely exhaust the space of wavefunctions for anyons of arbitrary statistics.
The energy corresponding to (7.1.24a) and (7.1.245) is respectively
N +
EI ({An,~}) =-~-~2 1N(N - 1)w_v
(7.1.25a)
1 1 N--m
-t--~ E E A,~,n(nw++mw-)
m=0 n=0
and
N 4-
EII ({A,,m}) --~-~2 1N(N- 1 ) w + ( 2 - v)
1 N-,, (7.1.25b)
1
-t--~ E E Anm(nw++row_) .
m=0 n=0
Z(~)= E e-/~E'({X"m})
{~,,}
I N-n oo (7.1.26)
n = 0 m = 0 Xn,~ = 0
The summations over A,~m can be easily done and, with trivial manipulations, one
gets
1 N 1
Z(I) = e--}/3f2--~N(N--1)w_v__
N
~inh . ~ (l- 1
(V.l.2Va)
98 Statistical Mechanics of Anyons
7(II) of the Type-II states (7.1.24b) to the parti-
The corresponding contribution "-'N
tion function can be computed in the same way or simply obtained from (7.1.27a)
with the substitutions w+ ~ w_, v ~ 2 - v, yielding
N
Z(II) -~-fl~--~N(N--1)w+(2--u) 1 1
t=l sinh ( 4~w+l) sinh
(w+ + ( l - 1)w_) ].
(7.1.27b)
Hence the total partition function for our boson-based anyons is given by
7.(I) ~(II)
ZN(v, B) = "~N + "~N
= 2- ~e l ~N(N--1)w_(l--v)H 1
~g----1 sinh ( ~ w _ g ) s i n h [4~ (w_ + ( g - 1)w+)]
+ e-~N(N-1)~+(1-~) H g) (~
1 " 1)w_
}
t=l sinh (~w+ sinh [4~ (w+ + - )]
(7.1.28)
Note that this partition function enjoys the property Z N ( v , B ) -- Z N ( 2 - v , - B )
for any N and Z2(0, B) - Z2(2, B) for the special case of two anyons. Moreover,
we observe that Z1 is obviously independent of v, and that Z2 in (7.1.28) is the
complete partition function for two anyons of arbitrary statistics, and smoothly
tends to the bosonic and fermionic ones for v --~ 0, 2 and v --, 1, respectively. For
N >_ 3, ZN(v,,B) does not reduce to the known bosonic and fermionic partition
functions for v -- 0 and v - 1, since the states (7.1.24) do not cover the entire
spectrum.
Let us exemplify this for the special case of B -- 0. In this case w+ - w_ --- 2w
and (7.1.28) gives
By comparing these with (7.1.8) and (7.1.11), we see that Z2(0,0) = Z2b°" and
Z2(1,0) = Z2fer. These equalities do not hold for Za(v, 0). However, let us note
that the difference with respect to the exact results (7.1.14) and (7.1.16) is the
same for u = 0, 1. Indeed,
7.2 V i r i a l C o e f f i c i e n t s
The low density or equivalently the high temperature limit of a gas of particles can
be described using the virial expansion, in which the equation of state is expressed
as a series in the particle density p (see (7.1)). The coefficients in this expansion
are known as virial coefficients. To set up the notations, let us first recall the
basic definition of the first few of these. In the low density approximation, the
gran canonical partition function Q can be written as a cluster expansion (see for
instance (Huang 1987; Reichl 1980))
{2 - exp A~ b~ z ~ (7.2.1)
where bl are the so-called cluster integrals (Ursell 1927; Pais and Uhlenbeck 1959),
z is the fugacity and A is the area of the system (we obviously limit our consid-
erations to the case of two dimensions; in higher dimensions A would be replaced
by the volume V). On the other hand, using standard techniques of statistical
mechanics, the pressure P and the density p are given by
P = kBT
(1) ~lnQ ,
p--Z-~z
0(1 ) lnQ .
(7.2.2)
A,T
P = kBTZb~zt ,
(x)
£--1 (7.2.3)
p= ZIb~zt ,
l--1
Z
t=l
bl z t --
t=l
I bt z t 1 + a2
£=1
~ bt z t + a3
t=l
I bt z t +... ] (7.2.4)
100 Statistical Mechanics of Anyons
If we now expand both sides of (7.2.4) and equate the coefficients of equal powers
of z, we easily obtain the expressions for the virial coefficients in terms of the
cluster integrals; the first two are
b2
a2 - b2 ,
(7.2.5a)
a3 = 4a 2 - 2 b_.33 (7.2.5b)
b~
We can make further progress if we use the definition of the gran canonical partition
function
Q= ~ z~ z~ (7.2.6)
N--0
Zl
bl = ~ , (7.2.7a)
A
2z2 - z~
b2 -- , (7.2.7b)
2A
3 z 3 - 3 z 2 z~ + z 3
53 -- . (7.2.7c)
3A
A c t u a l l y all these expressions are meaningful only in the infinite area limit, so t h a t
p a r t i c u l a r care must be used in their evaluation.
In two spatial dimensions, one has
1
bl = ~ (7.2.8)
z~(~,0)
Zl - 2 ~
z~
a p p e a r i n g in (7.2.11). T h e second virial coefficient a2(v) i n t e r p o l a t e s c o n t i n u o u s l y
between t h e bosonic value
53
aa(u) = 4 a 2 ( u ) 2 - 2 b--~
(~.2.14)
= 4~(~)~-2~ ~i%[3z~(~,z~0)-3 z~(~,o)+z~]
22For two particles the harmonic potential is
o)2
~= (=~ + =~) - 2~ = z = + T (zI - zI)
- = 0 .
This result is the consequence of highly non-trivial cancellations and was first
pointed out in (Dunne et al. 1992b).
We remark t h a t the third virial coefficient is finite for bosons and fermions;
indeed one has 23
abo. = a~r = 1
~--~A~ . (7.2.16)
This result can be easily obtained if we use the complete bosonic or fermionic par-
tition functions given in (7.1.14) and (7.1.16) respectively. As previously noted,
these are not the smooth limit of Za(u, 0) for u --~ 0, 1, and in fact the differ-
ence given in (7.1.30) precisely cancels the divergences in the cluster integrals and
renders the third virial coefficient finite.
The presence of divergences in a3 for fractional statistics could signal either
the failure of the virial expansion due to long-range statistical interactions, or the
presence of "missing states" which are not included in (7.1.24). This last possibility
seems to be suggested by recent numerical (Sporre et al. 1991a; Murphy et al.
1991) and perturbative (McCabe and Ouvry 1991; Comtet et al. 1991; Khare and
McCabe 1991) calculations. To shed some light on this problem, it is therefore
necessary to investigate in more detail the third virial coefficient ca(u). To this
purpose, let us turn back to the three-anyon problem, described by the reduced
Hamiltonian (see (7.1.20) for B = 0)
/-'1 m
As we have seen in Chapter 6,/-t can be nicely split into a center of mass part and
a relative part by introducing the Jacobi coordinates (of (6.3.8))
1
z= (Zl+Z2+Z3) ,
1
Wl ---- ~ (Zl -- Z2) , (7.2.18)
1
W2 -- ~ ( Z l +Z2 --2Z3) •
Indeed we have
f/-- 2~rc.m.-~-f/rel
23It is well-known that all odd virial coefficients, a2k+l, are equal for bosons and fermions
(Huang 1987).
103
where
[-I¢.m. = W +
(2 - - - - Oz Oz + W Z Oz + o., 2 0 z
) ,
2(m
) (7.2.19)
m
i--a
From now on, we focus only on the relative problem and neglect the trivial center
of mass dynamics. In analogy with (7.1.22) we introduce the operators
A~ = ~ , - 1--~-Ow, , A, = Ow,
mo.)
(7.2.20)
1 -
BJ = wi - 0,,,, , Bi = 0,,,,
mw
for i = 1, 2, so that ~rre I becomes
[_irel=w[2+~(A~Ai+BtBi)]i=l (7.2.21)
with all other c o m m u t a t o r s being zero, and are energy step operators. In fact, using
(7.2.21) and (7.2.22), it is easy to prove that A~ and B~ lower the eigenvalues of
Hrel by w, i.e.
Q=AIB2-A~BI (7.2.24)
Q - P Q (7.2.25)
By construction we have
23( = o) = o" ,
and
,~a(v = 1 ) - Z3fer , (7.2.27b)
since the missing states are defined to make the bosonic and fermionic limits
smooth. Taking into account the mirror s y m m e t r y of the missing states, we easily
obtain
Z a ( v ) - 23(1 v) Za(v, 0 ) - Z3(1 v, 0) ,
- - - (7.2.28)
-
which shows t h a t only the regular Type-I and Type-II states contribute to the
difference Z a ( v ) - Z 3 ( 1 - v). Let us now define
105
which is the same expression as in (7.2.14) with Za(u, 0) replaced by the .full
partition function Za(u), and then compute
53(v)-~ta(1-u) .
a 3 ( v ) -- a 3 ( 1 -- v ) - - 4 a 2 ( / / ) 2 - 4 a 2 ( 1 -/])2
{[ Zl l (7.2.30)
- 3 o)- z (1- ,,o11 }
-- a3(u) -- a3(1 -- v)
Unfortunately, the mirror symmetry (7.2.31) does not allow to deduce the value of
ha(v) for any v; however, using (7.2.31) together with the perturbative calculations
of (McCabe and Ouvry 1991), it can be conjectured t h a t actualy the third virial
coefficient does not depend on the statistics v. A proof (or a disproof) of this
conjecture is still missing.
For the higher virial coefficients, only partial pertubative results are available
at the moment but no definite conclusions can be drawn (McCabe et al. 1991).
In this section we are going to analyze some magnetic properties of the anyon gas.
Let us consider a two-body system and define the magnetization according to the
standard formula
1 0
M2 = fl OB log Z2 . (7.3.1)
M 2 ( v , B ) = -21//2(2- v , - B ) . (7.3.2)
There are two regimes in which one can extract simple and interesting results.
The first is the regime of high magnetic fields, in which B sets the biggest scale in
the problem, n a m e l y
m w~Tz
<< 1 << 1 . (7.3:3)
eflB ' eB
The first inequality tells us that the thermal excitations whose energies are ,,~ 1//3
are negligible with respect to the magnetic excitations whose energies are ,-, we =
e B/re. Instead the second equality in (7.3.3) implies t h a t the excitations induced
by the harmonic force whose energies are ,,~ w are small compared to the magnetic
excitations. In this regime M2 reduces to a double series in the small parameters
(7.3.3), whose first terms are given by
-2----* [1 ~¢3B
2,, ¢v + ~ - 28~,,2)¢~-)2]
~,m , B > 0
2m
M2(B, v)
e [1- e~lB' ] + ( v - 5+ 2¢,0) ,,,m , B <0 . (7.3.4)
For w = 0 the magnetic moment 21//2 is independent of statistics; the second term
on the right-hand side of (7.3.4) represents a finite t e m p e r a t u r e correction. As
expected, the statistical dependence appears in the t e r m proportional to w; it is
in fact the harmonic potential that breaks the infinite degeneracy of the Landau
levels of two anyons. The last term in (7.3.4) can also be reinterpreted as a "finite
area correction" if we take into account the identification of w 2 with the inverse
of the area as shown in (7.2.10). With such identification the last term of (7.3.4)
represents a correction inversely proportional to the total flux B A through the
sample.
We remark t h a t 21//2 in (7.3.4) satisfies
which show t h a t parity is not broken for bosons and fermions; instead for all other
values of v parity is broken.
The second regime which leads to an interesting result is that of low magnetic
field
Wc eB
- - = << 1 . (7.3.6)
6J m0)
This is the regime in which one can take the limit B --, 0 for finite values of w and
fl, and is the relevant one to study spontaneous magnetization effects. Indeed for
low magnetic field, M2 is given by a series in the small p a r a m e t e r (7.3.69) with
functions of flw as coefficients; more precisely we have
# - M2(B = O, v ) . (7.3.8)
lim # = 0 (7.3.9)