Professional Documents
Culture Documents
Quantum Theory of Many Particle Systems
Quantum Theory of Many Particle Systems
2 Green’s functions 15
2.1 Green’s functions and observables . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.1 Time-ordered Green’s functions . . . . . . . . . . . . . . . . . . . . . 15
2.1.2 Evaluation of Observables . . . . . . . . . . . . . . . . . . . . . . . . 17 NO§5.1
2.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
ii
4 Perturbation theory 32 NO§2.3
4.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.4 Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.3 Plasmon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.3.1 Collective excitation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 GV §5.3.3
iii
7 Phase transitions and spontaneous symmetry breaking 81
7.1 General theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
7.1.1 Phase transitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 NO §4.1
7.3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
7.3.2 Cooper instability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.3.3 Mean field theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
7.3.4 Effective field theory and Anderson-Higgs mechanism . . . . . . . 95
iv
Preface
Overview
• An introductory course for the quantum theory of many-body systems;
• A survey of general principles and language;
• An overview on many body techniques;
• Bridging the gap between the quantum many-body theory and real material calculations;
• Use the functional integral as the foundation because
– It is intuitive –classical interpretation, suggestive for developing new analytic and
numerical methods;
– It is economic in summarizing various existing techniques (e.g., perturbation, effec-
tive action, phase transitions);
– It is a language commonly used in literature.
Contents
• Basic Theory
– Second quantization and coherent states
– Green’s functions
– Functional integral formalism
– Perturbation theory
– Effective action theory
• Applications to physical systems
– Theory of electron liquids
– Broken symmetry and phase transitions
• Computational methods
– Hartree-Fock and related
– Density functional theory
– GW approximation
– Quantum Monte Carlo
v
Resources
There are many excellent books on the quantum theory of many-particle systems. The following is
a list of the books upon which this lecture is based. They will be referred in main text/side notes by
using the following abbreviations:
NO J. W. Negele and H. Orland, Quantum Many-Particle Systems (Addison-Wesley, 1988).
–Functional integral formalism
AS Alexander Altland and Ben D. Simons, Condensed Matter Field Theory (Cambridge Uni-
versity Press, 2010).
–Various applications in condensed matter physics
GV G. Giuliani and G. Vignale, Quantum Theory of the Electron Liquid (Cambridge University
Press, 2005).
–Theory of the electron liquid
HJ Hartmut Haug and Antti-Pekka Jauho, Quantum Kinetics in Transport and Optics of Semi-
conductors (Springer, 2008).
–Non-equilibrium Green’s function
FR E. Fradkin, Field Theories of Condensed Matter Physics (Cambridge University Press, 2013).
vi
Acknowledgements
林益浩 sign errors in Eq. (2.8) and (2.9); ambiguities in the energy references of Eq. (5.24) and (5.26)
尹超 inconsistency in the fluctuation-dissipation relations; a typo in Eq. (3.29)
陆易 ϵ in Eq. (3.51) should be less than ℏβ
刘震寰 a typo in Eq. (3.12)
刘怡然 Eq. (6.17a) is independent of the density only for its on-shell value
张凡 a typo in Eq. (6.58)
黄鑫懿 a typo in Eq. (1.27)
娄琴剑 typos in Eq. (4.10), Eq. (7.87), Eq. (2.66), Eq. (7.148), Eq. (2.32), and Problem 4 of §4
贡晓荀 typos in Eqs. (7.106, 7.109), Eq. (7.142), Eq. (7.91), and electromagnetic units in §7.3.4
陈天扬 typos in Eq. (4.47), Eq. (5.6), and Eq. (5.92).
薛泽洋 typos in Eq. (2.49) and Eq. (6.99)
vii
Chapter 1
Basic concepts
• States and observables: position eigenstates |r⟩, momentum eigenstates |p⟩:
ℏ
ŝz |±⟩ = ± |±⟩ . (1.3)
2
– Note that 1 here (with or without a subscript) denotes an identity operator. It is as-
sociated with a particular Hilbert space. Identity operators associated with different
Hilbert spaces are not equal:
1 ̸= 1S . (1.8)
• Overlaps between states:
Schrödinger equation
1
• Wave function
ψ(r) ≡ ⟨r | ψ⟩ . (1.12)
• Momentum operator in the position basis:
Z 3/2 Z
1
⟨r |p̂| ψ⟩ = dp ⟨r | p⟩ ⟨p |p̂| ψ⟩ = dpeip·r/ℏ p ⟨p | ψ⟩ (1.13)
2πℏ
Z
∂ ∂ ∂ψ(r)
= −iℏ dp ⟨r | p⟩ ⟨p | ψ⟩ = −iℏ ⟨ r| ψ⟩ ≡ −iℏ . (1.14)
∂r ∂r ∂r
• Schrödinger equation:
2
d p̂
iℏ |ψ⟩ = + V (r̂) |ψ⟩ , (1.15)
dt 2m
2 " 2 #
∂ψ(rt) p̂ 1 ∂
iℏ = ⟨r| + V (r̂) |ψ⟩ = −iℏ + V (r) ψ(r). (1.16)
∂t 2m 2m ∂r
Statistical ensembles
• Micro-canonical ensemble: fixed energy and particle number. The system is assumed to
be ergodic.
• Canonical ensemble: fixed particle number, exchange energy with a thermal reservoir
ρ̂ ∝ e−β Ĥ , (1.21)
2
Partition function
Z = Tre−β (Ĥ−µN̂ ) .
Grand canonical potential
1
Ω=− ln Z. (1.24)
β
Expectation values
D E
R̂ = Trρ̂R̂, (1.25)
1 −β (Ĥ−µN̂ )
ρ̂ = e , (1.26)
Z
Thermodynamic relations can be inferred from the statistical mechanics
∂Ω 1
= TrN̂ e−β (Ĥ−µN̂ ) ≡ N,
− (1.27)
∂µ Z
D E
∂Ω Ω − Ĥ − µN̂
− =− ≡ S, (1.28)
∂T T
∂Ω
− = P. (1.29)
∂V
Note that in the thermodynamic limit, Ω must be proportional to V . Therefore Ω = −P V .
Exchange symmetry
Only totally symmetric (Bosons) and anti-symmetric states (Fermions) are observed in nature:
ψ (rP 1 , rP 2 , . . . , rP N ) = ψ (r1 , r2 , . . . , rN ) (Bosons), (1.34)
ψ (rP 1 , rP 2 , . . . , rP N ) = (−1)P ψ (r1 , r2 , . . . , rN ) (Fermions). (1.35)
Statistics theorem: Bosons (Fermions) have integer (half-integer) spins.
Normalize symmetrized states are constructed from the product states by applying symmetriza-
tions:
1 X P
P̂ψ (r1 , r2 , . . . , rN ) = ζ ψ (rP 1 , rP 2 , . . . , rP N ) , (1.36)
N!
P
s
N!
|α1 . . . αN ⟩ = Q P̂ |α1 . . . αN ) , (1.37)
α nα !
1 X
ψαSym.
1 ...αN
(r1 . . . rN ) = p Q ζ P ψα1 (rP 1 )ψα2 (rP 2 ) . . . ψαN (rP N ) (1.38)
N ! α nα ! P
3
where we introduce the symbol
(
1 (Bosons)
ζ= . (1.39)
−1 (Fermions)
Overlap
1
⟨β1 · · · βN |α1 · · · αN ⟩ = qQ Q S (⟨βi |αj ⟩), (1.41)
β nβ ! α nα !
where S is a permanent or determinant for Bosons and Fermions, respectively. The per-
manent and determinant of a matrix are defined by
X
Per (M ) = M1,P 1 M2,P 2 . . . MN,P N , (1.42)
P
X
det (M ) = (−1)P M1,P 1 M2,P 2 . . . MN,P N . (1.43)
P
Closure relation can be obtained from Eq. (1.33) by applying the projection P̂:
X
P̂ |α1 . . . αN ) (α1 . . . αN | P̂ = P̂. (1.44)
α1 ...αN
X Q nα !
α
|α1 . . . αN ⟩ ⟨α1 . . . αN | = 1P , (1.45)
α ...α
N!
1 N
Vacuum state |0⟩: a state with no particle. Note that it is not a zero state! A symmetrized state
can be created from the vacuum state by
1
|α1 . . . αN ⟩ = pQ a†α1 a†α2 . . . a†αN |0⟩ . (1.48)
α nα !
Fock space: the creation operator changes the number of particles. Therefore, the space of all states
should include all Hilbert spaces with different numbers of particles:
B = B0 ⊕ B 1 ⊕ . . . , (1.51)
F = F0 ⊕ F1 ⊕ . . . . (1.52)
4
Closure relations:
∞
X X Q nα !
|0⟩ ⟨0| + α
|α1 . . . αN ⟩ ⟨α1 . . . αN | = 1. (1.53)
α ...α
N!
N =1 1 N
1 X i−1
N
aα |α1 . . . αN ⟩ = √ ζ δα,αi |α1 . . . αi−1 αi+1 . . . αN ⟩ . (1.54)
nα i=1
Number representation labels states with numbers of particles occupying single-particle states:
• Bosons:
√
aαi |nα1 nα2 . . . ⟩ = nαi |nα1 nα2 . . . (nαi − 1) . . . ⟩ , (1.58)
†
p
aαi |nα1 nα2 . . . ⟩ = nαi + 1 |nα1 nα2 . . . (nαi + 1) . . . ⟩ . (1.59)
• Fermions
( ∑i−1
n αj
(−1) j=1 |nα1 nα2 . . . (nαi → 0) . . . ⟩ nα i = 1
aαi |nα1 nα2 . . . ⟩ = , (1.60)
0 nα i = 0
( ∑i−1
n αj
(−1) j=1 |nα1 nα2 . . . (nαi → 1) . . . ⟩ nα i = 0
a†αi |nα1 nα2 . . . ⟩ = . (1.61)
0 nα i = 1
Basis transformation: The creation/annihilation operators with respect to two bases |α⟩ and |α̃⟩
are related by:
X
â†α̃ = ⟨α | α̃⟩ â†α , (1.62)
α
X
âα̃ = ⟨α̃ | α⟩ âα . (1.63)
α
Second quantization expresses a physical quantity in terms of the creation and annihilation oper-
ators:
Number operator:
n̂α = a†α aα . (1.67)
P
One-body operator Û = i ûi : X
Û = ⟨α | û | β⟩ a†α aβ . (1.68)
αβ
5
Proof
• We choose the eigenstates of ûi as the single-particle basis:
• Therefore X X
Û = ⟨u | û | u⟩ n̂u = ⟨u | û | u⟩ â†u au . (1.72)
u u
• Transform from the diagonal basis to a general basis by applying Eqs. (1.62, 1.63).
Kinetic energy and single-body potential
Z
ℏ2
T̂ = − dr ψ̂ † (r)∇2 ψ̂(r), (1.73)
2m
Z
Û = drU (r) ψ̂ † (r)ψ̂(r). (1.74)
P
Two-body operator V̂ = (1/2) ij v̂ij :
1 X
V̂ = (αβ |v̂| γδ) a†α a†β aδ aγ . (1.75)
2
αβγδ
Note the order of the state indexes, and that the matrix element is calculated with product
states instead of symmetrized states.
Proof
• We assume that a two-body operator V̂ may be diagonalized in product states:
• The number of times that vαβ appears in the summation is nα nβ for α ̸= β and
nα (nα − 1) for α = β. We can thus define a operator to count the number:
P̂αβ = n̂α n̂β − δαβ n̂α = â†α â†β âβ âα . (1.78)
and
1X
V̂ = vαβ P̂αβ . (1.79)
2
αβ
• Transform from the diagonal basis to a general basis by applying Eqs. (1.62, 1.63).
Interaction Z
1
V̂ = drdr ′ v(r − r ′ )ψ̂ † (r)ψ̂ † (r ′ )ψ̂(r ′ )ψ̂(r). (1.80)
2
Normal ordering: all creation operators are to the left of annihilation operators.
6
1.4.2 Second quantized Hamiltonians
From the“Hamiltonian of everything”, one can deduce various model Hamiltonians appropriate for
different physical circumstances. The hierarchy of these models is shown in the following diagram:
Hamiltonian of “everything”
XZ Z
ℏ 2
1X e2
K̂ = †
dr ψ̂σ (r) − ∇r − µ ψ̂σ (r) +
2
drdr ′ ψ̂ † (r)ψ̂σ† ′ (r ′ )ψ̂σ′ (r ′ )ψ̂σ (r)
σ
2me 2 ′ |r − r ′ | σ
σσ
| {z }
XNi X Z K̂
X ℏ2 1 X Zi Zj e2
e
Zi e2
− dr ψ̂σ† (r)ψ̂σ (r)− ∇2Ri +
i=1 σ
|r − Ri | i
2Mi 2 ij |Ri − Rj |
| {z }| {z }
V̂ei Ĥi
Z XZ
ℏ2 X †
Ĥ = − 2
dr ψ̂σ (r)∇ ψ̂σ (r) + drVb (r)ψ̂σ† (r)ψ̂σ (r)
2m σ σ
Z
1X e2
+ drdr ′ ψ̂ † (r)ψ̂σ† ′ (r ′ )ψ̂σ′ (r ′ )ψ̂σ (r), (1.81)
2 ′ |r − r ′ | σ
σσ
where Vb (r) denotes the potential exerted by a uniform positive charge background (jellium
model). In the momentum basis φk = V −1/2 eik·r , the Hamiltonian can be written as:
X ℏ2 k 2 † e2 X X 4π †
Ĥ = âkσ âkσ + â ↠′ âpσ ′ âkσ . (1.82)
2m 2V ′
q 2 k+qσ p−qσ
kσ q̸=0 kσ,pσ
Note that the q = 0 component of the interaction is cancelled by the potential of the positive
charge background.
Electron-phonon coupling describes the interaction between electrons and the vibrations of atoms
in a solid: HJ§3.1
1 X
Ĥel−ph = √ Mq â†k+q âk ĉq + h.c. (1.83)
V kq
7
with Mq being the matrix element of the electron-phonon coupling.
Electrons in periodic potential are relevant for solids. The counterparts of the momentum basis
and the position basis are the Bloch states φnk (r) and the Wannier states wn (r − Ri ), respec-
tively. They are related by:
1 X −ik·Ri
wn (r − Ri ) = √ e φnk (r), (1.84)
N k∈B.Z.
1 X ik·Ri
φnk (r) = √ e wn (r − Ri ). (1.85)
N Ri
with a reciprocal wave-vector K. It leads to the UMKLAPP scattering process when |K| ̸= 0.
Tight-binding models are Hamiltonians second quantized in the Wannier function basis. A gen-
eral single-band tight-binding Hamiltonian can be written as: AS§2.2
X X
Ĥ = − tij â†iσ âjσ + Uii′ jj ′ â†iσ â†i′ σ′ âj ′ σ′ âjσ . (1.87)
ij,σ ii′ jj ′
Hubbard model The single band tight-binding model with well localized atomic orbits could be
approximated as: FR§2
X h † i X
Ĥ = −t âiσ âjσ + h.c. + U n̂i↑ n̂i↓ , (1.90)
⟨ij⟩,σ i
Anderson impurity model describes the interaction between conduction band electrons and an
impurity:
X Xh i X
Ĥ = ϵf fˆσ† fˆσ + U n̂f ↑ n̂f ↓ + Vk fˆσ† âkσ + h.c. + ϵk â†kσ âkσ . (1.92)
σ kσ kσ
Kondo model describes the interaction between conduction band electrons and a local spin:
X
ϵk â†kσ âkσ − J Ŝ (i) · Ŝ0 , (1.93)
(e)
Ĥ =
kσ
where Ŝ0 denotes an electron-spin operator Eq. (1.88) at the origin. The Anderson impurity
(e)
model is reduced to the Kondo model in the limit U → ∞ for a deeply buried impurity. The
physics of the Kondo model is the origin of correlation effects in heavy-Fermion systems. See
Ref. [10].
8
1.5 Coherent states NO§1.5
Note that one cannot define the eigenstates of the creation operators.
For Fermions, the eigenvalues cannot be ordinary numbers because annihilation operators anti-
commute. They must be GRASSMANN NUMBERS:
ϕα ϕβ + ϕβ ϕα = 0. (1.95)
Overlap D E
∑ ∗ ∑ ∗ ′
⟨ϕ|ϕ′ ⟩ = 0 e α ϕα âα ϕ′ = e α ϕα ϕα ⟨0 | ϕ′ ⟩ = exp (ϕ∗ · ϕ′ ) . (1.97)
Note that coherent states do not form an orthonormal basis. Instead, they form an over-
complete basis.
Closure relation Z
dµ(ϕ)|ϕ⟩⟨ϕ| = 1. (1.98)
Proof
• One can show that the right hand side of the relation commutes with all creation and an-
nihilation operators. According to Schur’s lemma, it must be proportional to the identity
operator.
• To prove the commutability, one can show
∑ ∂ ∑α ϕα â†α ∂
ϕα â†α
â†α |ϕ⟩ = â†α e α |0⟩ =
e |0⟩ = |ϕ⟩ , (1.100)
∂ϕα ∂ϕα
† ∂
âα , |ϕ⟩ ⟨ϕ| = − ϕ∗α |ϕ⟩ ⟨ϕ| , (1.101)
∂ϕα
then inserts the relation into the integral and integrates by parts.
Trace
XD E XZ D E
Tr = n  n = dµ (ϕ) ⟨n | ϕ⟩ ϕ  n
n n
XZ D E Z D E
= dµ (ϕ) ϕ Â n ⟨n | ϕ⟩ = dµ(ϕ) ϕ Â ϕ . (1.102)
n
9
• One can set up a“Schrödinger equation”for ψ(ϕ∗ ). An application of the representation
can be found in Ref. [8].
Representation of operators:
∂
âα → , (1.104)
∂ϕ∗α
â†α → ϕ∗α . (1.105)
Proof
ξα ξβ + ξβ ξα = 0. (1.113)
Number in the Grassmann algebra is a linear combination with coefficients of the generators:
Note that a complex number could also be regarded as a linear combination of generators
{1, i}.
10
Conjugate has properties:
∗
(ξα ) = ξα∗ , (1.116)
∗
(ξα∗ ) = ξα , (1.117)
∗
(λξα ) = λ∗ ξα∗ , (1.118)
∗
(ξα1 . . . ξαn ) = ξα∗ n . . . ξα∗ 1 . (1.119)
Function
f (ξ) = f0 + f1 ξ, (1.120)
∗ ∗ ∗
A(ξ , ξ) = a0 + a1 ξ + ā1 ξ + a12 ξ ξ. (1.121)
Derivative is defined to be identical to the complex derivative, except that ∂ξ has to be anti-commuted
through until it reaches to act on ξ:
∂ ∗
(ξ ξ) = −ξ ∗ . (1.122)
∂ξ
Note that ∂ξ and ∂ξ∗ also anti-commute.
Integral is defined by the rules:
Z Z
dξ 1 = dξ ∗ 1 = 0, (1.123)
Z Z
dξ ξ = dξ ∗ ξ ∗ = 1. (1.124)
R
• Note that dξ ∗ ξ is not defined! Just treat ξ and ξ ∗ as two independent variables.
• Anti-commute between an integral and another integral, or an integral and a Grassmann
variable.
• The integral coincides with the derivative.
11
• ξα is a Grassmann number –The Fermion Fock space must be enlarged to define a coher-
ent state.
†
• ξ, ξ ∗ , â, and ↠anti-commute, and (ξâ) = ↠ξ ∗ .
Proof
Y Y
âα |ξ⟩ = 1 − ξβ â†β âα + ξα âα â†α |0⟩ = 1 − ξβ â†β ξα |0⟩
β̸=α β̸=α
Y
= 1 − ξβ â†β ξα 1 − ξα â†α |0⟩ = ξα |ξ⟩ (1.136)
β̸=α
Y Y
â†α |ξ⟩ = 1 − ξβ â†β â†α + ξα â†α â†α |0⟩ = 1 − ξβ â†β â†α |0⟩
β̸=α β̸=α
Y ∂
∂
= 1 − ξβ â†β − 1 − ξα â†α |0⟩ = − |ξ⟩ (1.137)
∂ξα ∂ξα
β̸=α
Overlap
∗
·ξ ′
⟨ξ | ξ ′ ⟩ = eξ (1.138)
Closure relation Z Y
∗
dξα∗ dξα e−ξ ·ξ
|ξ⟩ ⟨ξ| = 1. (1.139)
α
Trace of an operator:
XD E Z Y ∗ X D E
Tr = n  n = dξα∗ dξα e−ξ ·ξ ⟨n | ξ⟩ ξ  n
n α n
Z Y XD E
∗
= dξα∗ dξα e−ξ ·ξ
−ξ Â n ⟨n | ξ⟩
α n
Z Y D E
∗
≡ dξα∗ dξα e−ξ ·ξ
−ξ Â ξ . (1.140)
α
Caveats
12
1.5.4 Gaussian integrals
For complex variables
Z Y ∗
dzi dzi −z† Hz+J † z+z† J −1 † −1
e = [detH] eJ H J . (1.146)
i
2πi
Both {ηi , ηi∗ } and {Ji, Ji∗ } are Grassmann variables. H is not necessary to be positive definite.
• The law for linear transformations of Grassmann variables:
Z Y Z Y
∗ ∗ ∂(η ∗ , η)
dζi dζi P (ζ , ζ) = dηi∗ dηi P (ζ ∗ (η ∗ , η), ζ(η ∗ , η)) . (1.148)
∂(ζ ∗ , ζ)
1.6 Summary
h i h i
Commutation relation âα , â†β = δαβ , [âα , âβ ]−ζ = â†α , â†β = 0.
−ζ −ζ
P
Coherent state |ξ⟩ = exp ζ †
α ξα âα |0⟩
Operations âα |ξ⟩ = ξα |ξ⟩, â†α |ξ⟩ = ζ∂ξα |ξ⟩, ⟨ξ| â†α = ⟨ξ| ξα∗ , ⟨ξ| âα = ∂ξα∗ ⟨ξ|
∗ ′
Matrix element ⟨ξ|Â(↠, â)|ξ ′ ⟩ = eξ ·ξ A(ξ ∗ , ξ ′ )
R
Closure relation 1 = dµ(ξ) |ξ⟩ ⟨ξ|
R
Trace Tr = dµ(ξ) ⟨ζξ|Â|ξ⟩
R
Representation |ψ⟩ = dµ(ξ) |ξ⟩ ψ(ξ ∗ ), ψ(ξ ∗ ) = ⟨ξ|ψ⟩, ⟨ξ|â†α |ψ⟩ = ξα∗ ψ(ξ ∗ ), ⟨ξ|âα |ψ⟩ = ∂ξα∗ ψ(ξ ∗ )
Gaussian integral
Z Y ∗ ∑
dξα dξα − ∑αβ ξα∗ Hαβ ξβ +∑α (ηα∗ ξα +ξα∗ ηα ) −ζ ∗ −1
e = [detH] e αβ ηα Hαβ ηβ
α
N
(
1 Bosons
ζ =
−1 Fermions
Y dξ ∗ dξα ∗
dµ(ξ) = α
e−ξ ·ξ
α
N
(
2πi Bosons
N =
1 Fermions
X
ξ∗ · ξ′ = ξα∗ ξα′
α
13
Problems
1. A set of N particles are in single-particle states |β1 ⟩ . . . |βN ⟩. The single-particle states have
the coordinate representation ⟨r|βi ⟩ = ψβi (r). Show the coordinate representations of the
normalized symmetrized many-body states for Bosons and Fermions by using the overlap
formula Eq. (1.41).
2. Second quantization:
(a) Derive Eq. (1.82).
(b) Determine the commutation relations of Ŝi defined in (1.88). Are they the same as those
for angular momentum operators?
(c) Prove Eq. (1.91) by making use of the identity τab · τcd = 2δad δbc − δab δcd .
3. Derive the closure relation Eq. (1.98) by
(a) showing Z X
dµ(ϕ) |ϕ⟩ ⟨ϕ| = |n⟩ ⟨n| . (1.149)
n
4. Boson coherent states in the large N limit could be interpreted as classical fields. For example,
a classical electromagnetic field can be viewed as a coherent state of photons. This can also be
seen in another system, i.e., the harmonic oscillator with
p̂2 1
Ĥ = + mω 2 x̂2 (1.151)
2m 2
(a) Show
†1
Ĥ = ℏω â â + (1.152)
2
with
r
ℏ
x̂ = ↠+ â (1.153)
2mω
r
ℏωm †
p̂ = i â − â (1.154)
2
and â and ↠satisfy the commutation relations of Boson annihilation and creation oper-
ators. Therefore, a harmonic oscillator can be viewed as a phonon system.
(b) Assume that the system is in the coherent state |ϕ0 ⟩ at t = 0. Show that the state at the
finite time t is
|ψ(t)⟩ = e−iωt/2 |ϕ0 e−iωt ⟩ . (1.155)
D E
(c) Determine the expectation value ⟨x̂⟩, ⟨p̂⟩, and Ĥ with respect to |ψ(t)⟩. Compare the re-
p
sults with those for a classical harmonic oscillator with initial values x(t = 0) = 2ℏ/mω|ϕ0 |
and p(t = 0) = 0.
for any A.
14
Chapter 2
Green’s functions
We first introduce time-ordered Green’s functions, which are special because they could be conve-
niently evaluated by using the functional integrals (see §3). For general circumstances, one has to
introduce more species of Green’s functions. In equilibrium, the different species of the Green’s func-
tions can be related by the fluctuation-dissipation theorem. More generally, they can be unified into
a single Green’s function defined on a time contour.
where the superscript (H) denotes the Heisenberg representation. The Green’s function could (1.18)
be evaluated by using the functional integrals for an equilibrium system at the zero temperature.
(See §4.3)
P is a permutation which orders the time such that tP 1 > tP 2 > . . . tP n , and yields normal
order at equal times.
Single-particle Green’s function
D h iE
G (αt; α′ t′ ) = −i T̂ â(H)
(H)† ′
α (t)â α ′ (t ) . (2.3)
15
P
Equation of motion of a non-interacting system: By assuming the Hamiltonian K̂0 = α (ϵα − µ) â†α âα ,
we have
h i
∂ ′ ′ †
iℏ G0 (αt; α t ) = ℏ âα , âα′ δ(t − t′ ) + (ϵα − µ) G0 (αt; α′ t′ )
∂t −ζ
where η ≡ 0+ in the θ-function is to fix the value of the Green’s function at the equal time.
The Fourier transform is
Z ∞
′
G̃0αα′ (ω) ≡ dtG0 (αt; α′ t′ )eiω(t−t )
−∞
1 + ζnα ζnα
= δαα′ − eiωη . (2.9)
ω − (ϵα − µ) /ℏ + iη ω − (ϵα − µ) /ℏ − iη
For interacting systems, the equation of motion is related to higher order Green’s func-
tions and not closed by itself.
Thermal Green’s function is the Green’s function for the imaginary time t = −iτ , τ ∈ [0, ℏβ):1
D h iE
G (n) (α1 τ1 , . . . αn τn ; α1′ τ1′ , . . . αn′ τn′ ) = (−1)n T â(H) (H) (H)† ′ (H)† ′
α1 (τ 1 ) . . . â αn (τ n )â ′
αn (τ n ) . . . â α ′ (τ 1 ) ,
1
(2.10)
where
ℏ τ â e− ℏ τ , (2.11)
K̂ K̂
α (τ ) ≡ e
â(H) α
τ † − K̂
(2.12)
K̂
â(H)†
α (τ ) ≡ e ℏ âα e ℏ τ
.
The thermal-Green’s function can be evaluated by using the functional integrals for an equilib-
rium system at the finite temperature.
• It is introduced for facilitating the calculations of finite-temperature equilibrium systems.
• It exploits the property that the equilibrium density matrix can be regarded as a time-
evolution operator for a time-interval t = −iℏβ. (1.22)
16
Proof
ζ h i ζ h i
G (α0; α′ τ ′ ) = − Tr e−β K̂ âα′ (τ ′ )âα = − Tr e−β K̂ eβ K̂ âα e−β K̂ âα′ (τ ′ )
(H)† (H)†
Z Z
ζ h i
≡ − Tr e−β K̂ â(H)
(H)† ′ ′ ′
α (ℏβ) âα′ (τ ) = ζG (α ℏβ; α τ ) . (2.14)
Z
Matsubara frequency: Because of the periodicity Eq. (2.13), the thermal Green’s function can
be related to its Fourier transform by
1 X −iωn (τ −τ ′ )
G (ατ, α′ τ ′ ) = e Gαα′ (ωn ) , (2.15)
ℏβ n
Z ℏβ
′
Gαα′ (ωn ) = dτ eiωn (τ −τ ) G (ατ, α′ τ ′ ) , (2.16)
0
where we assume that the system is time-independent, and hence G (ατ, α′ τ ′ ) = G (α τ − τ ′ , α′ 0).
The discrete set of frequencies is defined by
(
2πn
Boson
ℏβ
ωn = (2n+1)π , n∈Z (2.17)
ℏβ Fermion
∂ ϵα − µ
− − G0 (ατ, α′ τ ′ ) = δαα′ δ(τ − τ ′ ). (2.18)
∂τ ℏ
′
G0 (ατ, α′ τ ′ ) = −δαα′ e−(ϵα −µ)(τ −τ )/ℏ [θ(τ − τ ′ − η) (1 + ζnα ) + ζθ(τ ′ − τ + η)nα ] . (2.19)
Kinetic energy
D E Z
ℏ2 2
T̂ = iζ d3 r − ∇r G rt; r ′ t+ (2.23) (1.73)
2m r ′ =r
Z 3
d kdω ℏ k
2 2
= iζV G̃(k, ω)eiωη , (2.24)
(2π)4 2m
where t+ ≡ t + 0+ , and
D h iE
G rt; r ′ t+ = −i T̂ ψ̂ (H) (rt)ψ̂ (H)† (r ′ t+ ) , (2.25)
Z Z
′ ′
G̃(k, ω) = dr dtG (rt; r ′ t′ ) e−ik·(r−r )+iω(t−t ) . (2.26)
17
Interaction energy
D E iζ Z
∂ ℏ2 2
V̂ = d3 r iℏ + ∇r + µ G (rt; r ′ t′ ) (2.27)
2 ∂t 2m r ′ =r,t′ =t+
Z 3
iζ d kdω iωη ℏ k
2 2
= V e ℏω − + µ G̃(k, ω). (2.28)
2 (2π)4 2m
To derive the formula, we make use of the identity:
Z
† ∂ ψ̂(rt) † ℏ2 2
ψ̂ (rt)iℏ = ψ̂ (rt) − ∇ − µ ψ̂(rt)+ dr ′ ψ̂ † (rt)ψ̂ † (r ′ t)v(r −r ′ )ψ̂(r ′ t)ψ̂(rt). (2.29)
∂t 2m
Total energy
D E iζ Z
∂ ℏ2 2
E0 = T̂ + V̂ = d3 r iℏ − ∇r + µ G (rt; r ′ t′ ) (2.30)
2 ∂t 2m r ′ =r,t′ =t+
Z 3
iζ d kdω iωη ℏ k
2 2
= V e ℏω + + µ G̃(k, ω) (2.31)
2 (2π)4 2m
Z
1 1 X d3 k iωn η ℏ2 k 2
= ζV e iℏωn + + µ G̃(k, ωn ) (2.32)
2 ℏβ ω (2π)3 2m
n
Note: The use of the one-particle Green’s function for evaluating the total energy could be dan-
gerous: a seemingly innocuous approximation having little effect on one-particle properties
may have a large uncontrolled effect on the energy.
Linear Responses
Conductivity To calculate the conductivity of a system, we introduce an external electric field,
and see how much the electric current is generated:
where ϕ(r) is the electric potential, and ρ̂(r) ≡ ψ̂ † (r)ψ̂(r) is the density operator.
• We need to calculate the expectation value of the electric current density operator
ieℏ n † h i h i o
ĵ(r) = ψ̂ (r) ∇ψ̂(r) − ∇ψ̂ † (r) ψ̂(r) , (2.34)
2m
to the linear order of the electric field, or ϕ(r).
• A linear response has a useful property: the total response to multiple fields is the sum of
the responses to each field.
18
Response of a wave-function
Z t
δ Û (t, ti )
δ |ψ(t)⟩ = dt1 U (t1 ) |ψ(ti )⟩ , (2.38)
ti δU (t1 )
U →0
δ Û (t, ti ) i i
= − e− ℏ Ĥ(t−ti ) Ô(H) (t1 ), (2.39)
i
= − Û (t, t1 )ÔÛ (t1 , ti )
δU (t1 ) ℏ U →0 ℏ
U →0
Z t
i
δ |ψ(t)⟩ = − e− ℏ Ĥ(t−ti ) (2.40)
i
dt1 Ô(H) (t1 ) |ψ (ti )⟩ U (t1 ).
ℏ ti
where
Scattering experiments
• An external particle interacts weakly with the constituents of a many-body system through
an interaction v(r − r ′ ). Examples include electron energy loss spectroscopy (EELS) and
neutron scattering. The scattering cross section is related to the density correlation func-
tion: Z
dteiωt ρ̂†q (t) ρ̂q , (2.45)
2
σ(q, ω) = |vq |
P
where ρ̂q = i exp (−iq · r̂i ) is the Fourier transform of the density operator, and vq is the
Fourier transform of the interaction.
Proof
– We determine the transition matrix element of an external particle scattered from
wave-vector k to k + q, and the probed system from |α⟩to |β⟩:
Z * +
X
−i(k+q)·r
Tαβ (q) = dr β e v (r − ri ) e ik·r
α
i
* +
X
= vq β e−iq·ri α = vq ⟨β | ρ̂q | α⟩ . (2.46)
i
19
478 Damascelli, Hussain, and Shen: Photoemission studies of the cuprate superconductors
FIG. 3. Angle-resolved
Figure 2.1: The photoemission spetroscopy:
spectral function can(a)begeometry
measured of an by
ARPES
the experiment in which photoemission
angle-resolved the emission direction of the
spec-
photoelectron is specified by the polar (- ) and azimuthal (.) angles; (b) momentum-resolved one-electron removal and addition
troscopy (ARPES) technique. The measured intensity is proportional to f (ω)A(k, ω), where f (ω)
spectra for a noninteracting electron system with a single energy band dispersing across E F ; (c) the same spectra for an interacting
is the Fermi
Fermi-liquid systemdistribution function.
(Sawatzky, 1989; (b) and
Meinders, 1994). For (c)
bothillustrate the and
noninteracting spectral functions
interacting of non-interacting
systems the corresponding ground-
systems
state (T!0 K) and interacting
momentum Fermi-liquid
distribution system,
function n(k) is alsorespectively.
shown. (c) Lower right, photoelectron spectrum of gaseous hydrogenRef. [7]
and the ARPES spectrum of solid hydrogen developed from the gaseous one (Sawatzky, 1989).
20
Why?
• G has a systematic perturbation theory in an equilibrium system.
• Gr/a have a nicer analytic structure and are directly related to physical responses.
• G<,> are directly related to observables and the interpretations of scattering experiments.
Spectral function
• The spectral function can be directly measured by using ARPES technique [7].
• Sum rule: Z ∞ h i
dω
A(k, ω) = âk (t), â†k (t) = 1. (2.67)
−∞ 2π −ζ
Fluctuation-Dissipation relations
Z X D E
i
G (k, ω) = −ζ
<
dt eiωt e−βKn ei(Km −Kn )t/ℏ n â†k m ⟨m | âk | n⟩ (2.70)
Z n,m
i X Kn − Km
e−βKn |⟨m | âk | n⟩| , (2.71)
2
= −ζ 2πδ ω −
Z n,m ℏ
i X Kn − Km
e−βKm |⟨m | âk | n⟩| . (2.72)
2
G (k, ω) = −
>
2πδ ω −
Z n,m ℏ
We obtain
G> (k, ω) = ζeβℏω G< (k, ω). (2.73)
21
• Making use of the definition Eq. (2.65), we have
• It follows:
G(k, ω) Z
dω1 A(k, ω1 )
Re Gr (k, ω) =P , (2.78)
a 2π ω − ω1
G (k, ω)
h i−ζ
G(k, ω)
− tanh βℏω
1
2
Im Gr (k, ω) = − A(k, ω). (2.79)
a
2
G (k, ω) +
The thermal Green’s function can also be related to the spectral function by:
Z ∞
dω1 A(k, ω1 )
G(k, ωn ) = (2.80)
−∞ 2π iωn − ω1
2. With an analytic form of the thermal Green’s function, the spectral function can be deter-
mined by h i
(2.64)
3. Other real-time Green’s function can then be obtained by applying the fluctuation-dissipation
relations Eqs. (2.74–2.77).
• The real-time Green’s function are directly related to physical observables. Unfortunately, they
are difficult to calculate.
• The analytic continuation is only useful when we have an analytic expression for the thermal
Green’s function. If determined numerically, the thermal Green’s function is only defined for
a discrete set of the Matsubara frequencies.
22
Imt
−T0 /2 C1 + Ret
Cβ C2 −
−T0 /2 − iℏβ
Figure 2.2: Time contour C for defining the non-equilibrium Green’s functions. Note that Green’s
functions in the vertical part of the contour have the (anti-) periodicity Eq. (2.13). Adapted from
HJ§4.3.
• When the system is not an equilibrium one (e.g., a system driven by a strong external field
beyond the linear response regime), the analytic continuation cannot apply.
• By introducing the non-equilibrium Green’s function, all real-time Green’s functions can be
unified into a single Green’s function.
• It is motivated by the observation that all real-time Green’s function (e.g., G> ) can be converted
to a contour-ordered trace:
h i
D E Tr e−β Ĥ Û − T20 , t ψ̂(r)Û (t, t′ ) ψ̂ † (r ′ )Û t′ , − T20
G> (rt; r ′ t′ ) = −i ψ̂ (H) (rt)ψ̂ (H)† (r ′ t′ ) = −i
h − − Tre−β Ĥ i
−
T+
Tr Û − 20 − iℏβ, − 20 Û − 20 , t− ψ̂(r)Û (t− , t′+ ) ψ̂ † (r ′ )Û t′+ , − 20
T T T
= −i
Tre −β Ĥ
h ∫ i
Tr T̂C e− ℏ C dtĤ(t) ψ̂(rt− )ψ̂ † (r ′ t′+ )
i
= −i h ∫ i , (2.84)
Tr T̂C e− ℏ C dtĤ(t)
i
where ψ̂(rt− ) and ψ̂ † (r ′ t′+ ) in the last line are not Heisenberg operators: their time arguments
just indicate where they should appear. A time (contour) ordered trace can be conveniently
evaluated by using functional integrals.
Time contour is defined in Fig. 2.2.
Z
• There are two-branches of the real time: C1 and C2 . The real-time Green’s functions can
be obtained by assigning appropriate branches to their time arguments:
G(rt, r ′ t′ ) = G11 ′ ′
C (rt, r t ), (2.86)
′ ′ ′ ′
>
G (rt, r t ) = G21
C (rt, r t ), (2.87)
′ ′ ′ ′
<
G (rt, r t ) = G12
C (rt, r t ). (2.88)
23
2.4 Summary
The following diagram shows the choices of the Green’s functions for different circumstances:
Equilibrium?
Yes
Zero temperature?
No
No
No Yes
Real-time Green’s function Thermal Green’s function (2.10) Contour Green’s function
(2.1) (Analytic continuation) (2.85)
Problems
1. Determine the Fourier transform of Eq. (2.8). A useful identity is:
Z
dω eiωt
θ(t) = , (2.90)
2πi ω − iη
i
D(q, t − t′ ) = − ⟨T [ρ̂q (t)ρ̂−q (t′ )]⟩ . (2.92)
ℏV
Establish a relation with the spectral function defined in (b).
(d) What is the relation between the spectral function and the scattering cross section Eq. (2.45)?
24
Chapter 3
Functional integrals
NO§2.2
We first introduce the Feynman path integrals. The functional integrals are nothing but the “path
integrals”for the coherent basis.
– Express Ĥ in the normal form: all the p̂’s appear to the left of all the x̂’s;
– ⟨pn e−i ℏ Ĥ xn−1 ⟩ ≈ ⟨pn 1 − i ℏϵ Ĥ xn−1 ⟩ ≈ e−i ℏ H(pn ,xn−1 ) ⟨pn |xn−1 ⟩ + O(ϵ2 );
ϵ ϵ
– Carry out the integral over pn : for a system with Ĥ = p̂2 /2m + V (x),
Z D E Z
1
dpn e ℏ [pn (xn −xn−1 )−ϵpn /2m−ϵV (xn−1 )]
2
dpn ⟨xn | pn ⟩ pn e−iϵĤ/ℏ xn−1 =
i
2πℏ
r ( " 2 #)
m i 1 xn − xn−1
= exp ϵ m − V (xn−1 ) . (3.4)
2πiϵℏ ℏ 2 ϵ
25
• Chain the evolution operators of the slices together
[ ]
Z MY
−1 m 3M/2 i ϵ ∑M (x
k −xk−1
)2
ℏ
1
2m −V (xk−1 )
U (xf tf , xi ti ) = lim
k=1 ϵ
dxk e
M →∞ 2πiϵℏ
k=1
Z
x f tf
∫ tf Z
x f tf
i
dt( 12 mẋ2 −V (x(t)))
(3.5)
i
≡ D [x(t)] e ℏ ti
≡ D [x(t)] e ℏ S[x(t)] ,
xi ,ti xi ,ti
is the classical action of the system, and L is the Lagrangian. We note that the continuous form
is defined by the discrete form.
Hamiltonian form
[ ]
Z MY
−1 Y
M ∑ xk −xk−1 p2
dpk ℏi ϵ M pk − 2m
k −V (x
k−1 )
U (xf tf , xi ti ) = lim (3.7)
k=1 ϵ
dxk e
M →∞ 2πℏ
k=1 k=1
Z
x f tf
∫ tf
i
≡ D [x(t), p(t)] e ℏ ti dt(p(t)ẋ(t)−H(p(t),x(t)))
. (3.8)
xi ,ti
(3.9)
i
D [x(t)] O1 (x(t1 )) O2 (x(t2 )) e ℏ S[x(t)]
xi ti
Z (
U (xf tf , x1 t1 ) O1 (x1 ) U (x1 t1 , x2 t2 ) O2 (x2 ) U (x2 t2 , xi ti ) t1 > t 2
= dx1 dx2 (3.10)
U (xf tf , x2 t2 ) O2 (x2 ) U (x2 t2 , x1 t1 ) O1 (x1 ) U (x1 t1 , xi ti ) t1 < t 2
* tf
∫ +
− ℏi
dtĤ(t)
≡ xf T̂ Ô1 (t1 )Ô2 (t2 )e ti
xi (3.11)
D E
xf Û (tf , t1 )Ô1 Û (t1 , t2 )Ô2 Û (t2 , ti ) xi t1 > t 2
= D E (3.12)
xf Û (tf , t2 )Ô2 Û (t2 , t1 )Ô1 Û (t1 , ti ) xi t1 < t 2
D h i E
(3.13)
(H) (H)
= xf Û (tf , ti )T̂ Ô1 (t1 )Ô2 (t2 ) xi
26
• The imaginary time path integral can be obtained by analytic continuation t → −iτ :
Z MY ( " 2 #)
−1 m 3M
2 ϵX 1
M
xk − xk−1
U (xf τf , xi τi ) = lim dxk exp − m + V (xk−1 )
M →∞ 2πϵℏ ℏ 2 ϵ
k=1 k=1
(3.15)
Zf τf
x
1 Zτf h m i
(3.16)
2
≡ D [x(τ )] exp − dτ (ẋ(τ )) + V (x(τ )) ,
ℏ 2
xi τi τi
Z Y ( " 2 #)
M m 3M ϵX 1
M
xk − xk−1
(3.17)
2
Z = lim dxk exp − m + V (xk−1 )
M →∞ 2πϵℏ ℏ 2 ϵ
k=1 k=1
Z 1 Zℏβ h m i
(3.18)
2
≡ D [x(τ )] exp − dτ (ẋ(τ )) + V (x(τ )) ,
ℏ 2
x(ℏβ)=x(0) 0
where x0 = xM is implied.
Thermodynamic expectation value of an imaginary-time-ordered product of Heisenberg operators
can be expressed as an imaginary-time path-integral:
D h iE 1 n h io
T̂ Ô1 (τ1 ) Ô2 (τ2 ) = Tr e−β Ĥ T̂ Ô1 (τ1 ) Ô2 (τ2 ) (3.19)
(H) (H) (H) (H)
Z (
1 e−Ĥ(ℏβ−τ1 )/ℏ Ô1 e−Ĥ(τ1 −τ2 )/ℏ Ô2 e−Ĥ(τ2 −0)/ℏ τ1 > τ2
= Tr −Ĥ(ℏβ−τ )/ℏ (3.20) (3.13)
Z e 2
Ô2 e−Ĥ(τ2 −τ1 )/ℏ Ô1 e−Ĥ(τ1 −0)/ℏ τ2 ≥ τ1
1 n h ∫ ℏβ io
≡ Tr T̂ Ô1 (τ1 ) Ô2 (τ2 ) e− ℏ 0 dτ Ĥ(τ ) (3.21)
1
Z
Z ∫
ℏβ
1 −ℏ1
dτ [ m 2
2 (ẋ(τ )) +V (x(τ ))]
= D [x(τ )] O1 (x(τ1 )) O2 (x(τ2 )) e 0 .
Z
x(ℏβ)=x(0)
(3.22)
with x0 = xM .
• τ could be interpreted as the internal coordinate of the classical ring.
• After discretization, a quantum particle is mapped into a classical ring polymer with M
beads [4]. The first term becomes the elastic energy of the ring polymer. See Fig. 3.1.
The mapping underlies the path-integral Monte-Carlo/molecular dynamics (PIMC/PIMD)
approaches for simulating quantum systems.
Exchange symmetry for systems with identical particles modifies the result to
Z ∫
ℏβ
1 X P Y −ℏ
1
dτ H(x(τ ))
Z= ζ D [xi (τ )] e 0 . (3.25)
N! i
P
xi (ℏβ)=xP i (0)
27
D. Chandler and P. G. Wolynes: Quantum theory and classical statistical mechanic
– Note that the subscripts index the time slices. The field variables ψ and ψ ∗ may have
multiple components ψ α , ψ α∗ . Depending on what the component index α refers to, the
fields are interpreted as:
R
* for position α ≡ r: ψ →αψ(rt), A · B ≡ drA(rt)B(rt);
α
P
* for momentum α ≡ p: ψ → ψp (t), A · B ≡ p Ap (t)Bp (t).
Z ℏβ
∗
S [ψ, ψ ] ≡ dτ [ψ ∗ (τ ) · (ℏ∂τ − µ) ψ(τ ) + H (ψ ∗ (τ ), ψ(τ ))] . (3.35)
0
ψ0 = ζψM , (3.36)
Thermal Green’s functions can be expressed as the average of ϕα ’s and ϕ∗α ’s:
Z
(−1)n S [ψ, ψ ∗ ]
G (n)
(α1 τ1 , . . . αn τn ; α1′ τ1′ , . . . αn′ τn′ ) = ∗
D [ψ , ψ] exp −
Z ℏ
× ψα1 (τ1 ) . . . ψαn (τn )ψα∗ ′n (τn′ ) . . . ψα∗ ′1 (τ1′ ). (3.37) (3.22)
Contour ordered Green’s function Eq. (2.85) can also be expressed as functional integrals: (2.84)
Z
i SC [ψ, ψ ∗ ]
GC (rt, r ′ t′ ) = − D [ψ ∗ , ψ] ψ (rt) ψ ∗ (r ′ t′ ) exp i , (3.38)
Z ℏ
Z
∂ψ(t)
SC [ψ, ψ ∗ ] = dt iℏψ ∗ (t) · − H (ψ ∗ (t), ψ(t)) , (3.39)
C ∂t
where the time is defined in the contour shown in Fig. 2.2. The periodic boundary condition
between the two end-points of the contour is
T0 T0
ψ − = ζψ − − iℏβ . (3.40)
2 2
Non-interacting system
29
P
Partition function for K̂0 = α (ϵα − µ) â†α âα
YZ Y ∑ M
M
dψkα∗ dψkα − k=1 ψkα∗ [(ψkα −ψk−1
α
)+ β(ϵαM−µ) ψk−1
α
]
Z0 = lim e (3.41) (3.33)
M →∞
α
N
k=1
Z
Y Y M h i
dψkα∗ dψkα
≡ lim exp −ψ (α)† S (α) ψ (α) (3.42)
M →∞
α
N
k=1
Yh i−ζ Y −ζ
= lim detS (α) = 1 − ζe−β(ϵα −µ) , (3.43) NO (2.71)
M →∞
α α
1 0 0 −ζa
−a 1 0 0 α
ψ1
.. ..
0
−a 1 . . ψ2α
(α)
β(ϵα − µ)
S (α)
= .. , ψ = . , a = 1 − , (3.44)
0 −a . .. M
.. α
ψM
0 . 1 0
0 ... −a 1
= −δαα′ e−(ϵα −µ)(τq −τr )/ℏ [θ(τq − τr ) (1 + ζnα ) + ζθ(τr − τq )nα ] . (3.48) (2.19)
−ζ
where Z0 .
(α)
≡ detS (α)
Matrix formula The partition function can be expressed as a matrix form which is indepen-
dent of the choice of basis. By making use of the matrix identity detS = exp (Tr ln S) and
Eq. (3.47), we have: h i
Z0 = exp −ζTr ln −Ĝ0−1 . (3.49) (3.43, 3.47)
−Ĝ0−1 should be interpreted as a matrix similar to Eq. (3.44) with a → â ≡ 1 − β(ĥ0 − µ)/M ,
where ĥ0 denotes the single-particle Hamiltonian operator.
Problems
1. Derive the path-integral formulation for a particle in a magnetic field with the Hamiltonian
2
|p̂ − qA(r)|
Ĥ = , (3.50)
2m
where A(r) is a magnetic vector potential. NO Problem 2.5
30
(b) Determine the GP equation by applying the variation principle δS = 0 (see Eq. (3.31) with
respect to ψ ∗ (r).
3. Can the ordinary real-time-ordered Green’s functions Eq. (2.1) be expressed as functional inte-
grals without using the time contour? Why?
1 X eiωn ϵ ζeϵx
= − ℏβx , for 0 < ϵ < ℏβ. (3.51)
ℏβ ω iωn − x e −ζ
n
31
Chapter 4
Perturbation theory
NO§2.3
K̂ = K̂0 + V̂ , (4.1)
Choices of the zeroth order Hamiltonian: Properly choosing K̂0 is the most important step
of solving a many-body problem. It is not always obvious what would be an appropriate
choice. For instance, there are (at least) two choices of K̂0 for the electron gas Hamiltonian
Eq. (1.82):
where E0 is the Coulomb energy of the regular lattice of electrons, Ĥ0 is obtained by ex-
panding the Coulomb interaction to the second order with respect to ui (harmonic approx-
imation), and . . . denotes all higher order terms. Ĥ0 can be diagonalized, and becomes a
phonon Hamiltonian:, X
Ĥ0 = ℏωka b̂†ka b̂ka , (4.7)
k,a
32
where b̂ka and b̂†ka are Bosonic annihilation and creation operators, respectively. We note
that the exchange symmetry of electrons can be ignored in this case. This is the appropri-
ate choice the electron solid phase.
The two choices represent two distinct phases of electrons. Starting from an inappropriate choice
of K̂0 , one can never reach a correct answer just by applying the perturbation approach we are
about to discuss.
2. Express physical quantities as functional integrals: (3.34)
Z
∗ S0 [ψ, ψ ∗ ] + SV [ψ, ψ ∗ ]
Z= D [ψ , ψ] exp − , (4.8)
ℏ
ψ(0)=ζψ(ℏβ)
SV [ψ ∗ , ψ]
= Z0 exp − , (4.9)
ℏ 0
where
Z " #
ℏβ X
∗ ∗
S0 [ψ, ψ ] ≡ dτ ψ (τ ) · ℏ∂τ ψ(τ ) + (ϵα − µ) ψα∗ (τ ) ψα (τ ) , (4.10)
0 α
Z ℏβ
SV [ψ, ψ ∗ ] ≡ dτ V (ψ ∗ (τ ), ψ(τ )) , (4.11)
D E
0
Z
1
F̂ (ψ ∗ , ψ) ≡ D [ψ ∗ , ψ] e−S0 /ℏ F (ψ ∗ , ψ) . (4.12)
0 Z0
ψ(ℏβ)=ζψ(0)
Note that V (ψ ∗ (τ ), ψ(τ )) is obtained by applying the substitutions âα → ψα , â†α → ψα∗ to the
second-quantized form of V̂ in the normal order.
3. Expand Eq. (4.9) in a power series of V :
X∞ Z
Z (−1/ℏ)n ℏβ
= dτ1 . . . dτn ⟨V (τ1 ) . . . V (τn )⟩0 . (4.13)
Z0 n=0
n! 0
X
ψα1 (τ1 ) . . . ψαn (τn )ψβ∗n (τn′ ) . . . ψβ∗1 (τ1′ ) 0
= (−1)n ζ P G0αP n βn (τP n , τn′ ) . . . G0αP 1 β1 (τP 1 , τ1′ ) ,
P
(4.14)
which is a result of the Gaussian integral formula NO (2.84)
R ∑
ψi∗ Sij ψj
D [ψ ∗ , ψ] ψi1 ψi2 . . . ψin ψj∗n . . . ψj∗2 ψj∗1 e− ij X
R ∑ ∗ = ζ P Si−1 . . . Si−1 . (4.15)
D [ψ ∗ , ψ] e− ij ψi Sij ψj P
P n ,jn P 1 ,j1
−1
We note that Sij = −[G0 ]ij when applied to Eq. (4.12).. (3.47)
Convergency A perturbation theory usually yields an asymptotic rather than convergent series, as NO§2.1
33
56 GENERAL FORMALISM AT FINITE TEMPERATURE
9=0.2 .
.'
. . ..... "9=0.05
Rn
1 gn Zn
2
'" ·····9
'"
............. ... ·····9=0.01
20 30 40
n
Fig. 2.2 Figure 4.1:expansion
Asymptotic Asymptotic expansion
of Z(g). of Z(g).
For five values of the coupling
constant, IZ" I
Is plotted at each Integer n and the residual error R" Is
plotted at each half Integer n +
√
• The series is not convergent because g n Zn ∼ (4gn/e)n / nπ → ∞ when n → ∞.
after onlyconvergence:
Asymptotic attaining an accuracy of 25%.
A finite If one wishes
number to do sometimes
of terms better. one must either
gives a better approxi-
p using
extract the non-analytic npart of Z(g) the Borel summation discussed in Section
mation: minimum g Z n ∼
7.5 or find an alternative expansion. 4g/π exp(−1/4g) occurs at n ∼ 1/4g. See Fig. 4.1.
• Appropriate re-summations
For other could improve
regimes of the potentials the
sketched in convergence.
Fig. See §5.2.
2.1. other expansions are more
appropriate than (2.26). For large positive g. it is more reasonable to make a strong
• A non-convergent perturbative
coupling expansion expansion
by starting with the solutionoften
to thehints anpotential
quartic inappropriate choice of K̂0 –the
and treating
possibility of a non-trivial
the quadratic phase.
potential as the perturbation. For case (c). the natural approach is the
stationary phase approximation which will be discussed at length in Section 2.5. In this
case. the partition function is written Z(g) = I =I
:I [ :I , ]
-T+1f
4.2 Finite temperature formalism
and the exponent is expanded around its two maxima y
minimum of the potential.
= ±1 corresponding to the
34
• Connect interaction vertexes with propagator lines, by all possible ways.
• Draw all distinct diagrams, and determine signs and coefficients.
Distinct labeled diagrams
τ
α ′
= G0α (τ − τ ′ ) = −e−(ϵα −µ)(τ −τ )/ℏ
[(1 + ζnα )θ(τ − τ ′ ) + ζnα θ(τ ′ − τ )] . (4.19)
′
τ
α β
τ = (αβ |v̂| γδ) (4.20)
γ δ
4. Sum over all state indices and integrate all times over the interval [0, ℏβ).
5. Multiply the result by the factor
(−1/ℏ)n 1 (−1/ℏ)n nL
(4.21)
2n
× n × ζ nL × (−1) = ζ
n! 2 2n n!
where nL is the number of closed Fermion loops. The origins of the different factors are:
(a) (−1/ℏ) /n!: the expansion coefficient in Eq. (4.13) ;
n
The labeled diagram approach is not efficient because the number of the labeled diagrams is
huge, and many distinct labeled diagrams have the same contribution. It is desirable to simplify the
approach.
35
4.2.2 Unlabeled Feynman Diagrams
We seek for the simplification of eliminating all τ labels and the directions of the vertices. This is
because distinct labelled diagrams with only these differences have the same contribution.
Symmetry factor S
• There are total 2n n! permutations of the time labels and vertex directions.
• Not all the permutations generate distinct diagram. For a given labeled diagram, there is
a subgroup of the permutations which just yield deformations.
• The symmetry factor S is the rank of the subgroup. The number of distinct labelled dia-
grams with respect to an unlabelled diagram is
2n n!
. (4.22)
S
• As a result, one only needs to calculate distinct labelled diagrams with respect to an unla-
belled diagram only once, and then multiply the result with the above factor.
• Examples
– First order:
(4.23)
S=2 S=2
– Second order (connected):
(4.24)
1
+ + + · · · = − Tr [ln(1 + ζvgg/ℏ)] (4.25)
2
α β α β
= (αβ |v̂| γδ) ⇒ = {αβ |v̂| γδ} (4.27)
γ δ γ δ
{ αβ | v̂|γδ } ≡ (αβ |v̂| γδ) + ζ (αβ |v̂| δγ) (4.28)
Note the orders of αβ and γδ in the matrix element. The diagrams become
36
• First order:
SD = 1, ne = 1 (4.29)
(4.30)
SD = 2, ne = 0 SD = 2, ne = 2
SD = 2, ne = 0 SD = 3, ne = 0 SD = 1, ne = 1 (4.31)
SD = 3, ne = 3 SD = 6, ne = 0
Symmetry factor
S = 2 ne SD (4.32)
where SD is the number of time-label permutations which only yield deformations, and ne is
the number of equivalent pairs of propagator lines.
Equivalent pair refers to two propagator lines that begin at the same vertex, end at the same
vertex, and point in the same direction.
Simple rules for determining SD :
• Successively remove one of non-equivalent propagator lines to generate a set of self-
energy diagrams. Note that the two propagator lines in an equivalent pair only needs
to be removed once.
• SD is the number of times that a diagram occurs.
Overall factor:
(−1/ℏ)n ζ nL
(4.33)
S
37
• Interaction matrix element with respect to the plane-wave basis is
1
(k1 k2 |v̂| k3 k4 ) = δk +k ,k +k ṽ (k1 − k3 ) . (4.35)
V 1 2 3 4
– Because of the (anti-)periodicity, a time-dependent function can be expressed as a Fourier (2.13, 3.36)
series
1 X
f (τ ) = fωn e−iωn τ , (4.36) (2.22)
ℏβ ω
n
• After applying internal time integrals, frequencies are also conserved at each vertex.
1. Assign momentum/frequency labels to each directed line in such a way that momenta/frequencies
are conserved at each vertex, and include a factor:
ωn k 1
= G̃0 (k, ωn ) = . (4.41)
iωn − (ϵk − µ) /ℏ
For propagators beginning and ending at the same vertex, include an additional factor
eiωn η .
2. For each vertex include a factor:
k3 k1 + k2 − k3
= ṽ(k1 − k3 ), (4.42)
k1 k2
k3 k1 + k2 − k3
= ṽ(k1 − k3 ) + ζ ṽ(k2 − k3 ). (4.43)
k1 k2
Note that both the momenta and the frequencies are conserved at each vertex.
3. For each independent momentum/frequency, perform the integral and sum
Z
1 X dk
. (4.44)
ℏβ ω (2π)d
n
4. Beside the overall factor, multiply an extra factor (ℏβV)nc , where nc is the number of
connected parts in the diagram.
38
4.2.5 The linked cluster theorem
The grand potential is determined by the sum of all connected diagrams:
1 1X
Ω=− ln Z = Ω0 − (all connected graphs). (4.45)
β β
Proof
• Replica approach
– Exploit the identity:
d n
lim Z = ln Z. (4.46)
n→0 dn
– Z n can be obtained by calculating the partition function of a system with n replicating
fields. Different species of the replicating fields do not interact.
– For a graph with nc connected parts, each part has n choices of the replicating field species.
In total, there are nnc choices. As a result, the contribution of the graph is proportional to
n nc .
– One expands Z n as a Taylor series of n, and ln Z is the coefficient of the linear term.
Therefore, ln Z is the sum of all graphs with nc = 1, i.e., connected graphs.
G (n) (α1 τ2 , . . . αn τn ; α1′ τ1′ , . . . αn′ τn′ ) = (−1)n T âα1 (τ1 ) . . . âαn (τn )â†αn (τn ) . . . â†α1 (τ1 )
D 1∫ ∗
E
e− ℏ dτ V (ψ (τ ),ψ(τ )) ψα1 (τ1 ) . . . ψαn (τn )ψα∗ ′n (τn′ ) . . . ψα∗ ′ (τ1′ )
D 1∫ E . (4.47) (3.37)
1
= (−1)n ∗ (τ ),ψ(τ ))
0
−
e ℏ dτ V (ψ
0
39
n + 2r propagators in total.
G (1) = + + + + + +
| {z }
1
| {z }
2′
+ + + + + + + . . . (4.48)
| {z }
2
α1′ τ1′ α2′ τ2′ α1′ τ1′ α2′ τ2′ α1′ τ1′ α2′ τ2′ α1′ τ1′ α2′ τ2′
α 1 τ1 α 2 τ2 α 1 τ1 α 2 τ2 α 1 τ1 α 2 τ2 α 1 τ1 α 2 τ2
Proper self energy The diagrams of the single-particle Green’s function has the structure:
= + + ... (4.51)
Σ
≡ = + . . . (4.52)
ℏ
40
1 1
G = G0 + G0 ΣG0 + 2 G0 ΣG0 ΣG0 + . . . . (4.53)
ℏ ℏ
1
= G0 + G0 ΣG (4.54)
ℏ
Note that the products should be interpreted as matrix-products/convolutions.
The resulting equation is called the DYSON EQUATION. The solution of the equation
−1
1
G= I− G0 Σ G0 . (4.55)
ℏ
For Fermion systems at zero temperature, it is possible to develop a real-time formalism. It is closely
analogous to the finite temperature imaginary-time formalism with modifications in
• redefining the time domain;
• replacing the average over the density matrix with the expectation value in a non-interacting
ground state.
It results in slight modifications to the rules of Feynman diagrams.
A Boson system will have the Bose-Einstein condensation at the zero temperature, i.e., it is a
symmetry breaking system. It needs a special treatment.
Φ0 e− ℏ Ĥ0 T0 Φ0
i
n
ImT0 →−∞
where |Φn ⟩, Wn (|Ψn ⟩, En ) are the eigenstate and eigenenergy of the non-interacting Hamil-
tonian Ĥ0 (full Hamiltonian Ĥ), respectively. The relation holds when
• |Φ0 ⟩ is not orthogonal to Ψ0 ;
• |Ψ0 ⟩ is non-degenerate.
Time-domain is redefined as Ct of Fig. 4.2.
• Cβ : t = −iτ , τ ∈ [0, ℏβ), is the choice of the finite temperature formalism.
• Ct : t = (1 − iη) tR with η = 0+ , tR ∈ [−T0 /2, T0 /2], is the choice of the zero-temperature
real-time formalism.
Ground state energy
iℏ Z
E0 − W 0 = lim ln . (4.58)
T0 →(1−iη)∞ T0 Z 0
41
Imt
Ret
Ct
Cβ
ℏβ
To obtain the last line, annihilation operators should annihilate |Φ0 ⟩ instead of the empty
state |0⟩, so that ⟨Φ0 |ψf ⟩ = ⟨ψi |Φ0 ⟩ = 1. See Eq. (4.79) for the definition of the annihilation
operator with respect to |Φ0 ⟩.
We have
Z " Z T0 #
∗ i i 2
Z= D [ψ , ψ] exp S0 [ψ ∗ , ψ] − ∗
dtV (ψ (t), ψ(t)) (4.62)
ℏ ℏ −
T0
2
* ∫ T0
∗
+
− ℏi 2 dt V (ψ (t),ψ(t))
(4.63)
T0
= Z0 e −
2 , (4.9)
H0
where
Z T0
2
∗
S0 [ψ , ψ] ≡ dt [ψ ∗ (t) · (iℏ∂t + µ) ψ(t) − H0 (ψ ∗ , ψ)] , (4.64)
T0
−
Z 2
∗
D [ψ ∗ , ψ] e ℏ S0 [ψ (4.65)
i
Z0 ≡ ,ψ]
,
Z
1 ∗
F ↠(tα ), â(tβ ) D [ψ ∗ , ψ] e ℏ S0 [ψ F (ψ ∗ , ψ) , (4.66)
i
= ,ψ] (4.12)
H0 Z0
with the boundary conditions
42
Green’s function (4.47)
lim * ∫ T0 +
H0
. (4.68)
T0 →(1−iη)∞
− ℏi 2
T dtV̂ (↠(t),â(t))
− 0
e 2
H0
−i lim * ∫ T0 +
H0
(4.69)
T0 →(1−iη)∞
− ℏi 2
T dtV̂ (↠(t),â(t))
− 0
e 2
H0
* +
∫ T0
− ℏi 2 dt Ĥ (↠(t),â(t))
Φ0 T̂ e âα1 (t1 )â†α′ (t′1 )
T
− 0
2 Φ0
1
=−i lim D 1
E (4.71)
T0 →(1−iη)∞ Φ0 e −i ĤT 0 /ℏ Φ0
X ⟨Φ0 | Ψl ⟩ ⟨Ψm | Φ0 ⟩ D h i E
−i(El +Em −2E0 )T0 /2 (H)† ′
=−i lim 2 e Ψ l T̂ â (H)
α (t 1 )â ′
α1 (t 1 ) Ψ m
T0 →(1−iη)∞
lm
|⟨Φ0 | Ψ0 ⟩| 1
(4.72)
D h i E
(H)† ′
→ − i Ψ0 T̂ â(H)
α1 (t1 )âα′ (t1 ) Ψ0 (4.73) (2.1)
1
iℏ X
E0 − W0 = lim all connected diagrams. (4.78) (4.45)
T0 →∞ T0
43
4.3.3 Free Fermion propagators
Particle-hole operators are introduced to deal with the issue that the electron annihilation opera-
tors do not annihilate |Φ0 ⟩, i.e., âα |Φ0 ⟩ ̸= 0 for ϵα ≤ µ. This is because |Φ0 ⟩ is not an empty state
but a filled Fermi sea. We introduce
(
âα ϵα > µ
b̂α = . (4.79)
â†α ϵα ≤ µ
X X
K̂0 ≡ Ĥ0 − µN̂ = (ϵα − µ) + |ϵα − µ| b̂†α b̂α , (4.80)
ϵα ≤µ α
Y D ∫ ∗ †
E Y ∑ ∗ (α)−1
G0 [J ∗ , J] = e dt[Jα (t)b̂α (t)+b̂α (t)Jα (t)] (4.84)
(+) jk Jα,j Sik Jα,k
= e ,
K0
ϵα >µ ϵα >µ
Y D ∫ ∗
E Y ∑
(t)b̂†α (t)+b̂α (t)Jα (t)] ∗
(α)−1
[J ∗ , J] = dt[Jα
(4.85)
(−)
G0 e = e jk Jα,j Sik Jα,k
.
K0
ϵα ≤µ ϵα ≤µ
1 0 0 0
−a 1 0 0
.. ..
0
−a 1 . .
T0 |ϵα − µ|
S (α)
= .. , a = 1 − i . (4.86) (3.44)
0 −a . ℏM
..
0 . 1 0
0 ... −a 1
• For ϵα > µ
h i−1
iG0 (αtq ; α′ tr ) = δαα′ S (α) = δαα′ e− ℏ (ϵα −µ)(tq −tr ) θ(tq − tr − 0+ ), (4.87)
i
qr
• For ϵα ≤ µ
h i−1
iG0 (αtq ; α′ tr ) = −δαα′ S (α) = −δαα′ e− ℏ (ϵα −µ)(tq −tr ) θ(tr − tq + 0+ ). (4.88)
i
rq
′
iG0 (αt; α′ t′ ) = δαα′ e− ℏ (ϵα −µ)(t−t ) [θ(t − t′ − η) (1 − nα ) − θ(t′ − t + η)nα ] , (4.89)
i
where nα = θ(µ − ϵα ).
• Fourier transform:
Z
eiωη
G̃0α (ω) = dtG0 (αt, α0)eiωt = (4.90)
ω − (ϵα − µ) /ℏ + iηsgn (ϵα − µ)
1 − nα nα
= + eiωη . (4.91)
ω − (ϵα − µ) /ℏ + iη ω − (ϵα − µ) /ℏ − iη
– Fourier transform of θ(t)
Z
dω e−iωt
θ(±t) = ∓ . (4.92)
2πi ω ± iη
44
4.4 Contour formalism HJ §4.3
The contour ordered Green’s function can also be expressed as path integrals:: (3.38)
Resulting Feynman diagram rules are the same as those for the zero-temperature real-time Green’s
function, except that the time is defined on the contour shown in Fig. 2.2.
Adiabatic assumption: We assume that the interaction vanishes at t = −T0 /2 → −∞, and is adi-
abatically turned on in C1 and off in C2 . As a result, contributions from the vertical segment
Cβ vanish in the perturbative expansion. The assumption is plausible for (equilibrium or non-
equilibrium) steady state problems. However, it may not be valid for transient problems.
Langreth theorem expresses contour defined quantities in real-time ones. See Table. 4.1 for the
rules of translation. In deriving these relations, the contribution from the vertical segment Cβ
of the contour is ignored, and all quantities are assumed to be in the Keldysh space.
Keldysh space A function A (t, t′ ) belongs to the Keldysh space if it can be written as [26] §5.5
A (t, t′ ) = Aδ (t)δ (t, t′ ) + θ (t, t′ ) A> (t, t′ ) + θ (t′ , t) A< (t, t′ ), (4.94)
where both t and t′ are defined on the contour, Aδ (t), A> (t, t′ ) and A< (t, t′ ) have val-
ues independent of the branches of their time arguments, and δ (t, t′ ) and θ (t, t′ ) are
the δ-function and Heaviside function for the contour, respectively. We note that the δ-
function is non-zero only when the two times belong to the same branch of the contour,
i.e., δ (t± , t′∓ ) = 0.
The retarded and advanced components are defined by
Ar (t, t′ ) = Aδ (t)δ (t − t′ ) + θ (t − t′ ) A> (t, t′ ) − A< (t, t′ ) , (4.95) (2.59)
′ ′ ′
> ′ ′
A (t, t ) = A (t)δ (t − t ) − θ (t − t) A (t, t ) − A (t, t ) .
a δ <
(4.96) (2.60)
Convolution If the two function A (t, t′ ) and B (t, t′ ) are in the Keldysh space, their convolu-
tion Z
C (t, t′ ) = dt1 A (t, t1 ) B (t1 , t′ ) (4.97)
C
4.5 Summary
• To unify the imaginary time (finite temperature) formalism and the real-time (zero tempera-
ture) formalism, we introduce the symbol
(
−1 thermal Green′ s function
ι= . (4.100)
i real time Green′ s function
45
Contour Real axis
R
C< = Rt [Ar B < + A< B a ]
R C> = t [ArRB > + A> B a ]
C= AB
C C r = R t Ar B r
C a = t Aa B a
R
D< = Rt [Ar B r C < + Ar B < C a + A< B a C a ]
R D> = t [Ar B r C > + r > a > a a
D= ABC r
R A rB r Cr + A B C ]
C D = Rt A B C
D a = t Aa B a C a
C < (t, t′ ) = A< (t, t′ )B < (t, t′ )
C > (t, t′ ) = A> (t, t′ )B > (t, t′ )
C(t, t′ ) = A(t, t′ )B(t, t′ )
C r (t, t′ ) = A> (t, t′ )B r (t, t′ ) + Ar (t, t′ )B < (t, t′ )
C a (t, t′ ) = A> (t, t′ )B a (t, t′ ) + Aa (t, t′ )B < (t, t′ )
D< (t, t′ ) = A< (t, t′ )B > (t′ , t)
D> (t, t′ ) = A> (t, t′ )B < (t′ , t)
D(t, t′ ) = A(t, t′ )B(t′ , t)
D (t, t ) = A< (t, t′ )B a (t′ , t) + Ar (t, t′ )B < (t′ , t)
r ′
where nα is the occupation number of the state α. For the real-time formalism, G0 should be
interpreted as G0 , and τ as t. In the frequency/momentum domain, the free Green’s function
has the form:
1
G0 (k, ωn ) = , (4.102)
iωn − (ϵk − µ) /ℏ
1 + ζnk ζnk
G0 (k, ω) = − , (4.103)
ω − (ϵk − µ) /ℏ + iη ω − (ϵk − µ) /ℏ − iη
T0 V (4.106)
for a connected closed diagram (for calculating the grand potential/ground state energy), where
T0 is the span of the (imaginary) time domain:
(
ℏβ imaginary time
T0 = . (4.107)
T0 real time
46
State/time Momentum/Frequency
τ
α ωn k
Propagator = G0α (τ − τ ′ ) = G0 (k, ωn )
τ′
α ωn k
= G0α (0− ) = ι−1 ζnα = G0 (k, ωn )eiωn η
α β k3 k1 + k2 − k3
Feynman = (αβ |v̂| γδ) = v(k1 − k3 )
Vertex
γ δ k1 k2
k3 k1 + k2 − k3
α β
Hugenholtz = { αβ | v̂|γδ } ≡ =
γ δ
k1 k2
(αβ |v̂| γδ) + ζ (αβ |v̂| δγ)
v(k1 − k3 ) + ζv(k2 − k3 )
P R ℏβ P R dk
T ̸= 0 1
Sums
α 0 dτ ℏβ ωn (2π)d
P R T0 /2 R dω
R dk
T =0 α −T0 /2 dt 2π (2π)d
Table 4.2: Diagram rules. For the zero-temperature formalism, G0 should be interpreted as G0 , ωn
as continuous ω, and τ as t.
• For evaluating Green’s functions, an extra factor ζ P should be incorporated, where P is the
permutation of out-going particle lines with respect to incoming particle lines. (4.50)
1 X eiωn η ζeηx
= − ℏβx for η > 0. (4.109)
ℏβ ω iωn − x e −ζ
n
Problems
1. Verify the symmetry factors shown in Eq. (4.24).
2. Determine the expressions of the diagrams shown in Eq. (4.29) and (4.30) in the momentum-
frequency domain. How are the second order diagrams corresponded to the unlabeled dia-
grams shown in Eq. (4.24)?
3. Determine the sum of the direct ring diagrams Eq. (4.25) in the frequency/momentum repre-
sentation for a homogeneous system.
47
4. Develop a set of diagram rules for the electron-phonon coupling Eq. (1.83). Assume that the
phonon subsystem has the non-interaction Hamiltonian
X
H0ph = ℏωq ĉ†q ĉq . (4.110)
q
Hints:
(a) the EPC Hamiltonian can be rewritten as the form (M−q
∗
= Mq ):
1 X
Ĥel−ph = √ Mq â†k+q âk ĉq + ĉ†−q . (4.111)
V kq
(b) One may adopt one of two alternative approaches: (i) Treat Ĥel−ph as V̂ , and repeat the
derivations of the perturbative expansions; (ii) Try to complete the functional integrals
over the phonon fields, and obtain an expression analog to the ordinary two-body inter-
action.
5. The electron self-energy of an electron-phonon coupled system can be written as
X
Σph (k, t − t′ ) = i |Mq | G(k − q, t − t′ )D(q, t − t′ ), (4.112)
2
where G is the free-electron Green’s function and D is proportional to the density correlation
function (see Problem 3, §2), and the time is defined on the contour.
(a) Determine the real-time form of the self-energy Σrph (k, t − t′ ) by applying the Langreth
theorem.
(b) Relate G and D with their respective spectral functions, and obtain an expression for
Σ̃rph (k, ω).
48
Chapter 5
In the effective action theory, we introduce an energy (grand potential) functional of the Green’s
function. Within the framework, determining the Green’s function becomes the problem of finding
the stationary point of the functional. In principle, one can determine the Green’s function exactly
as long as we know the exact form of the functional. In the real world, however, one has to rely on
approximations:
• Perturbative construction
The particular choice of the external source will give rise to a functional of the Green’s function
and two-particle irreducible vertices. Depending on physical circumstances interested in, other
choices are also possible:
Linear source
XZ
−2
Sext. = ι dτ [Jα∗ (τ )ψα (τ ) + ψα∗ (τ )Jα (τ )] . (5.2)
α
For Fermions, J(τ ) is a Grassmann function. This will give rise to a functional of ⟨ψα ⟩ and
one-particle irreducible vertices. NO§2.4
49
Pairing source
XZ
Sext. = ι−2 dτ1 dτ2 ψα∗ (τ1 )ψβ∗ (τ2 )∆αβ (τ1 , τ2 ) + c.c. . (5.3)
αβ
The source could emerge in a superconducting system. It will give rise to a functional of
the abnormal Green’s function
D h iE
F (ατ, α′ τ ′ ) = − T̂ â(H) ′
(5.4)
(H)
α (τ ) âα′ (τ ) .
Mixed source Different kinds of the sources can be mixed. For instance, to describe a su-
perconducting system, one needs to introduce both the ordinary source and the pairing
source. A theory incorporating both the linear source and the bilinear source can be
found in Ref. [6].
2. Determine the partition function in the presence of the external source:
Z hι i
Z [ϕ] = D [ψ, ψ ∗ ] exp (S + Sext. )
ℏ
* +
Z X
1
= Z exp dτ1 dτ2 ψα∗ (τ1 )ψβ (τ2 )ϕαβ (τ1 , τ2 ) , (5.5)
ιℏ
αβ
α1′ τ1′ α2′ τ2′ α1′ τ1′ α2′ τ2′ α1′ τ1′ α2′ τ2′
α 1 τ1 α 2 τ2 α 1 τ1 α 2 τ2 α 1 τ1 α 2 τ2
1 The particular choice of the constant is to accommodate with the construction of the Luttinger-Ward functional shown
in §5.2.2.
2 Note that the connected Green’s function defined here is different from that defined in NO Eq. (2.154) by using linear
sources.
50
G (2) (12; 1′ 2′ ) = Gc(2) (12; 1′ 2′ ) + G(11′ )G(22′ ), (5.12)
where G(11 ) ≡ G
′ (1)
(1; 1 ), and the arguments are abbreviated as numbers: 1 ≡ α1 τ1 , 1 ≡ α1′ τ1′ .
′ ′
In defining the functional, we assume that the map ϕ → G[ϕ] defined by Eq. (5.13) is invertible,
i.e., we have a map G → ϕ[G].
Why?
δΓ [G] = 0, (5.17)
i. e., the physical Green’s function is the stationary point of the effective action .
8. We introduce the Luttinger-Ward functional Φ [G] to characterize the effect of the interaction.
It is defined by the decomposition
∂ ĥ0 − µ
G0−1 ≡ − − , (5.20)
∂τ ℏ
∂ ĥ0 + ϕ − µ ϕ
G −1 =− − = G0−1 − , (5.21)
∂τ ℏ ℏ
where G0 and G are the Green’s functions in the absence and presence of the external
source ϕ, respectively, and ĥ0 is the single-particle operator defining Ĥ0 (e.g., −(ℏ2 /2m)∇2 ).
Equation (5.21) also defines a map from ϕ to G: ϕ [G] = ℏ G0−1 − G −1 . By inserting the
relation into Eq. (5.14), we obtain the non-interacting effective action functional:
ζΓ0 [G] = −Tr ln G0−1 G + Tr G0−1 G − I . (5.22)
51
Energy functional is proportional to the effective action functional
1 ζ 1
Ω [G] − Ω0 ≡ Γ=− Tr ln G0−1 G − Tr G0−1 G − I − Φ [G] (5.23)
β β β
ζ XX 1
=− ln G0−1 (k, ωn ) G (k, ωn ) − G0−1 (k, ωn ) G (k, ωn ) + 1 − Φ [G] .
β ω
β
k n
(5.24)
At the zero temperature, the ground state energy can be similarly defined as a functional
of the real-time Green’s function: (4.78)
iℏ −1 iℏ
E [G] − W0 = ζ Tr ln G−1
0 G − Tr G0 G − I + Φ [G] (5.25)
T0 T0
Z
X dω iℏ
= iℏζ ln G−1 −1
0 (k, ω) G (k, ω) − G0 (k, ω) G (k, ω) + 1 + Φ [G] ,
2π T0
k
(5.26)
where W0 is the ground state energy of the system at the free limit. GV A13
Based on the functional, one can derive a set of exact self-consistent integral equations. The Luttinger-
Ward functional can be constructed approximately by choosing a set of diagrams. It leads to practical
calculation schemes such as the GW approximation.
Vertex functions are defined by
δ n Γ [G]
Π(n) (α1 τ1 , . . . αn τn ; α1′ τ1′ , . . . αn′ τn′ ) = ζ n . (5.27)
δGα′1 α1 (τ1′ , τ1 ) . . . δGα′n αn (τn′ , τn ) G→Gphy.
Based on the analyses of the vertex functions in successive orders. one may derive a set of
self-consistent integral equations.
δTr ln G δ ln (detG) −1
′
= = G (11′ ). (5.30)
δG (1 1) δG (1′ 1)
Proper self energy functional is defined to be
Σ [G] (11′ ) δΦ [G]
=ζ . (5.31)
ℏ δG(1′ 1)
Dyson equation:
−1 −1 Σ [G]
[G] = [G0 ] − , (5.32) (4.53)
ℏ
1 1
G = G0 + G0 ΣG0 + 2 G0 ΣG0 ΣG0 + . . . . (5.33)
ℏ ℏ
52
= + + ... (5.34)
Diagrams of the proper self-energy are one-particle irreducible, i.e., they cannot be separated into
two parts by cutting a particle line:
Σ
≡ = +. . . (5.35) (4.52)
ℏ
Skeleton diagrams are diagrams that cannot be generated from lower order diagrams by inserting
self-energy blobs in particle lines: (a–d) are skeleton diagrams, (e–h) are not.
• Alternative definition: all two-particle irreducible diagrams, i.e., the diagrams which can-
not be separated by cutting two particle lines.
• With skeleton diagrams, we can construct a self-consistent equation for Σ (or G):
= + + + + ..., (5.36)
• Derivative with respect to G is to remove successively one of the particle propagators and
append a factor ζ. The latter is due to the fact that removing one propagator will reduce nL by
one. It should give rise to the skeleton diagrams of the self-energy Eq. (5.36). (5.31)
• Rules for unlabeled Feynman diagrams should be applied. 3 Note that the symmetry factors S
is automatically cancelled when applying the derivative which generates S copies for each of
distinct self-energy diagrams.
• From Eq. (5.31), Φ [G] is determined only up to a constant independent of G. By combining GV
(A13.9, A13.14), one can show that the constant is independent of the strength of the interac-
tion. Therefore, we can set the constant to zero.
3 The symmetry factor suggested by Luttinger and Ward is S = 2n [17] (see also GV §6.3.3). This is not true for high order
diagrams with n > 2,for instance, .
53
Conserving approximation derives the self-energy and high order vertices from an approximated
Luttinger-Ward functional via derivatives. The approximation will be automatically consistent
with conservation laws on particle number, momentum, and energy [3].
GW approximation approximates the Luttinger-Ward functional with a subset of diagrams:
ΦGW [G] = + + + + ... (5.38)
1 ιζ
= − Tr ln 1 − vGG . (5.39) (4.25)
2 ℏ
Besides the Hartree (first) and Fock (second) terms, they include direct ring diagrams which
are the most diverging diagrams of the perturbative expansion for a system with the Coulomb
interaction. §6.1.2
where the first term is contributed by −δG −1 (11′ ) /δG (2′ 2), and we make use the matrix derivative
identity
[23](60)
δ G −1 (11′ )
′
= − G −1 (12′ ) G −1 (21′ ). (5.41)
δG(2 2)
Irreducible electron-hole interaction We define the irreducible interaction I in the direct particle-
hole channel: ι −1 δ 2 Φ [G] ζ δΣ (11′ )
I(12; 1′ 2′ ) = ′ ′
= . (5.42)
ℏ δG(1 1)δG(2 2) ι δG(2′ 2)
It includes all scattering diagrams that are two-particle irreducible in the direct particle-hole
channel:
1 2′ 1 2′ 1 2′
′
1 2
I(12; 1′ 2′ ) = +ζ +ζ +
′ 2
1
1′ 2 1′ 2
1′ 2
1 2′ 1 2′ 1 2′ 1 2′
+ +ζ +ζ +ζ + ... (5.43)
1′ 2
1′ 2 1′ 2 1′ 2
54
Combining it with Eq. (5.40), we have
Z
ι
Gc(2) (12; 1′ 2′ ) = ζG(12′ )G(21′ ) + ζ d3d3′ d4d4′ Gc(2) (13; 1′ 3′ )I(3′ 4′ ; 34)G(24′ )G(42′ ). (5.47)
ℏ
2′
1 ′ 1
2
G
1 G 2′ ι
Gc =ζ + ζ Gc I (5.48)
ℏ
1′ G 2 G
1′ 2 1′
2
1 2′
1 ′
2
G G
1 G 2′ ι
Gc =ζ + T (5.49) NO (2.188a)
ℏ
1′ G 2 G G
′ 2
1
1′ 2
Bethe-Salpeter equation in the particle-hole channel relates the scattering amplitude with the ir-
reducible interaction I:
1 2′ 1 2′ 1 G 2′
ι
T = I + ζ T I . (5.50)
ℏ
G
1′ 2 1′ 2 1′ 2
Z
ι
T (12; 1′ 2′ ) = I (12; 1′ 2′ ) + ζ d3d3′ d4d4′ T (13; 1′ 3′ ) G (4′ 3) G (3′ 4) I (42; 4′ 2′ ) . (5.51)
ℏ
1
(n)
δGc δ
ζℏ = Gc(n+1) , ζℏ .. = .. , (5.52) (5.13)
δϕ δϕ(1′ 1) Gc . Gc .
1′
1
(n)
δI δ
ζℏ = I (n+1) ⋆ Gc(2) , ζℏ .. = Gc .. . (5.53) (5.42)
δϕ δϕ(1′ 1) I . I .
1′
where I (n) ≡ (ι/ℏ)−1 δ n Φ[G]/δG(1′ 1) . . . δG(n′ n) denotes the n-body effective interaction.
4 Note that T is denoted as Γ in many books. It is actually the T -matrix of two-particle scattering.
55
5.2.5 Keldysh Formulation HJ§5.2
For the case that the real-time formalism is desirable, the contour formalism should be employed.
The Dyson equation Eq. (5.32) can be generalized for the contour Green’s function:
1
GC = GC0 + GC0 ΣC GC . (5.54)
ℏ
Note that one should interpret all quantities as matrices, and the multiplications as matrix multipli-
cations/convolutions.
By applying the Langreth rules, the equation can be expressed in terms of the real-time Green’s Tab. 4.1
functions:
Retarded/Advanced Green’s function
1 r/a
(5.55)
r/a
Gr/a = G0 + G0 Σr/a Gr/a ,
ℏ
−1
1
(5.56)
r/a r/a r/a
G = I − G0 Σ
r/a
G0 .
ℏ
Σr < Σ< a Σa a
G< = G < r
0 + G0 G + Gr0 G + G< G . (5.58)
ℏ ℏ 0
ℏ
• We have
−1
1 r r r −1 1 r r r −1 1
I − G0 Σ = G (G0 ) = G0 + G Σ G0 (Gr0 ) = I + Gr Σr .
r r
(5.61)
ℏ ℏ ℏ
After inserting the identity to Eq. (5.60), we reach the final form.
56
5.3 Landau Fermi-liquid theory GV§8
Motivation: Physical properties of metals/Helium III liquid suggest that electrons/Helium III atoms
behave like independent particles, even though the interaction in these systems are rather
strong.
Basic idea: a low lying excited state of an interacting Fermion system can be constructed by:
1. preparing a low lying excited state of non-interacting ideal Fermi-liquid (e.g., adding an
electron/hole above/below the Fermi level);
2. switching on the interaction suitably slowly: it should be switched on before the state is
totally damped –It is possible because an electron/hole near the Fermi surface damps very
slowly: for 3D systems, the damping rate is proportional to (k − kF )2 .
Energy functional: The energy of an interacting Fermion system is a functional of the occupation
number Nk of the non-interacting ideal system:
• According to Eq. (5.26), the energy is a functional of G.
• It is assumed that G can be determined by the perturbative expansion shown in §4.3.
• The perturbative expansion in §4.3 is constructed from |Φ0 ⟩ –the non-interacting ground
state, i.e., a filled Fermi sea. To establish the Landau Fermi-liquid theory, one needs to as-
sume that the expansion is also valid for low excited states of the non-interacting system,
i.e., |Φ0 ⟩ → |Φn ⟩.
• The Green’s function G0 for a low excited state can be written as
1 − Nk Nk
G0 (k, ω) = + , (5.62) (4.90)
ω − (ϵk − µ) /ℏ + iη ω − (ϵk − µ) /ℏ − iη
where {Nk } is the momentum occupation number of a low excited
D Estate of the non-interacting
system. It is not the momentum occupation number nk = â†k âk of the interacting sys-
tem.
• G is a functional of G0 , provided that the perturbative expansion converges. As a result,
the energy is a functional of Nk .
For small deviation from the ground state configuration Nkσ = θ (kF − k), we can always expand
(0)
X 1 X
E [N ] = E0 + Ekσ δNkσ + fkσ,k′ σ′ δNkσ δNk′ σ′ . (5.63)
2 ′ ′
kσ kσ,k σ
Effective mass: Ekσ is the quasiparticle energy, the energy required to add/remove a particle into/from
the ground state of the system. Near the Fermi surface:
Ekσ ≈ µ + ℏvF∗ (k − kF ), (5.64)
where vF∗ is the effective Fermi velocity, and defines the effective mass by:
ℏkF
vF∗ = . (5.65)
m∗
Note that the effective mass could be very different from the bare electron mass.
Quasiparticle density of states is modified by the effective mass:
m∗
N ∗ (0) = N (0). (5.66)
m
It can be determined by measuring the low-temperature heat capacity: GV§8.3.2
π2 ∗
cv (T ) = 2
N (0)kB T. (5.67)
3
57
Proof
1. One first needs to generalize the theory to the finite temperature. The entropy of the
non-interacting system is
X
S = −kB [Nkσ ln Nkσ + (1 − Nkσ ) ln (1 − Nkσ )] , (5.68)
kσ
which is not changed when adiabatically switching on the interaction. By minimizing the
grand potential X
Ω [N ] = E [N ] − T S − µ Nkσ , (5.69)
kσ
we obtain n h i o−1
Nkσ = exp β Ẽkσ − µ + 1 . (5.70)
Note that it is determined by Ẽk instead of Ek , and Ẽk has the correction due to δNkσ =
Nkσ − Nkσ .
(0)
2. One can show that the interaction correction to the total energy is of the order of T 4 :
X
E [N ] ≈ E0 + Ekσ δNkσ + O T 4 . (5.71)
kσ
It is thus negligible.
3. Thus, when determining the heat capacity, the system can be treated as if it is non-interacting.
Local quasiparticle energy is the energy required to add/remove a particle in the presence of other
excitations
δE X
Ẽkσ = = Ekσ + fkσ,k′ σ′ δNk′ σ′ . (5.72)
δNkσ ′ ′ kσ
Spin susceptibility
χ m∗ /m
= . (5.76)
χ0 1 + F0a
m∗
= 1 + F1s . (5.77)
m
58
Proof:
• Look at the system from a reference frame in which the system has an infinitesimal ve-
locity v. The quasiparticle now has the energy
Ekσ + ℏv · k. (5.78)
• It can also be regarded as a system with the Fermi-sea shifted by a wave vector mv/ℏ.
The change of the quasi-particle energy includes:
1. The change of Ekσ for k → k + mv/ℏ;
2. The shifted distribution induces δNkσ , which gives rise to the interaction correction.
• Equate the changes of the quasiparticle energy from the two different considerations.
Spectral function A quasi-particle in an interacting system does not have a definite energy-momentum
relation. Instead, it is described by the spectral function
ImΣrσ (k, ω)
Aσ (k, ω) = −2ImGr (k, ω) = −2ℏ 2 2, (5.79) (2.64)
[ℏω − ϵk − ReΣrσ (k, ω)] + [ImΣrσ (k, ω)]
which can be interpreted as the probability that the energy of the system changes ℏω after
adding an electron/hole with a momentum ℏk:
Aσ (k, ω) = A> <
σ (k, ω) + Aσ (k, ω) (5.80) (2.65)
D E2
1 X Em − E n
Aσ (k, ω) ≡ iGσ (k, ω) =
> >
2πδ ω − e−βKn m, N + 1 â†kσ n, N (5.81) (2.72)
Z n,m ℏ
1 X Em − E n
e−βKn |⟨m, N − 1 | âkσ | n, N ⟩| (5.82) (2.70)
2
Aσ (k, ω) ≡ −iGσ (k, ω) =
< <
2πδ ω +
Z n,m ℏ
Coherent peak: the spectral function has a sharp peak (coherent peak) near the quasiparticle en-
ergy:
1
Aσ (k, ω) = Zkσ
τkσ
2 + Aincoh. (k, ω), (5.84)
Ekσ 2
ω− ℏ + 1
2τkσ
1 1 ∂ReΣrσ (k, ω)
=1− , (5.85)
Zkσ ℏ ∂ω ℏω=Ekσ
ℏ
= Zkσ |ImΣr (k, Ekσ /ℏ)| . (5.86)
2τkσ
Zkσ is called the quasi-particle weight. Near the Fermi surface, we have
Ekσ
(5.87)
2
r
ImΣσ k, ∝ (Ekσ − µ)
ℏ
Fermi surface: A Fermi-liquid has the property that there exists a Fermi surface defined by the
equations:
µ
µ − ϵkF σ − ReΣrσ kF σ , = 0, (5.88)
ℏ
µ
ImΣrσ kF σ , = 0. (5.89)
ℏ
The equations define a d − 1 surface in the momentum space as well as the Fermi energy
EF = µ.
59
0 The normal Fermi liquid
nk
1
0.8
0.6
0.4
0.2
Figure 5.1: Momentum occupation number for an electron gas with r = 2 (solid line) and r = 5
. 8.14. Behavior of the plane wave states average occupations number in three sdimensions
(dashed line). GV Fig. 8.14 from
quantumEffective
Monte Carlo method. It is useful to summarize the results of these studies by
mass:
! 2 2
h̄ k = Z 1 +
m ∂ReΣrσ (k, µ/ℏ)
. (5.91)
⃗ n ⃗
kσ kσ 2m . In three dimensionsm∗ we
k σ
have
ℏ2 kF(Senatore,
F
σ ∂k Moroni,
k=k and
Fσ Ceperley, 1996):
Momentum occupation number nkσ ⎧has a discontinuous
2 jump at k = kF by an amount Zk σ . See
a + a x (x < 1)
F
Fig. 5.1. ⎨ 1 2 GV§8.5.2
n k,σ
Proof: Near the Fermi ≃ ImΣar 3→ 0, we have
⃗ surface, 2 (8.132)
⎩ + aϵk4+e−a 5rx
(x
ReΣσ (k, ω) > 1) ,
Aσ (k, ω) → 2πδx8 ω − ℏ
+ Aincoh. (k, ω) (5.92)
k Ekσ
ere x = and the parameters a are given in Table 8.2. There we also
= 2πZkF σ δ ω − + Aincoh. (k, ω) (5.93)give the val-
kF i ℏ
s of the renormalization
The momentum constant as determined
occupationZnumber is determined by by Monte Carlo (Ortiz and Ballone,
Z Z
97).33 nkσ = i
dω <
Gσ (k, ω) =
µ/ℏ
dω
Aσ (k, ω) . (5.94) (2.74)
2π −∞ 2π
For the two-dimensional case the corresponding interpolation formula is instead given
For two k’s located in (Ek ≤ µ) and out (Ek > µ) of the Fermi-sea, the difference of
(Conti, 1997): Aincoh.(k, ω) is negligible, and the difference of the integral is Zk σ . F
⎧ functional: The ground state energy functional Eq. (5.26) can be rewritten as
Landau energy (5.32)
2 3 4 5
⎨ a0 + a1X x Z+ a2 x + a3 x + a4 x + a10 x (x < 1)
dω 1 1 iℏ
n k,σ
⃗ ≃ E [Nk ] 4g(0)r
− E0 = iℏ
% ln 1 − G0 (k, ω) Σ (k, ω) +
ℏ & ' ℏ Σ (k, ω) G (k, ω) +2T(0 Φ [G] , (5.95) (8.133)
⎩ 6 s2 +k a2π 7 + a8 x + a9 x
2 x−1
exp − a5 − a 2 (x−1)
(x > 1) .
x
where Σ is a functional of G, and G = G[G0 ] is regarded as a functional of G06. G0 is determined
by Nk through Eq. (5.62).
e corresponding 5 parameters
The Luttinger areforgiven
theorem is valid only intheTable
systems with 8.3symmetry.
time-reversal alongside thesystems
For magnetic Montewith theCarlo
spin- values for
orbit coupling, there exists a Berry curvature correction to the measure of the phase space. The Fermi sea volume will depend
The necessary numerical
on the external values
magnetic field, and forbreaks
the theorem g(0)downcan[29]. be found in Appendix 4.
60
Interaction parameters fkσ.k′ σ′ can be determined by inspecting how the local quasi-particle en-
ergy changes when Nkσ is varied:
Ekσ + δEkσ
Ẽkσ = Ekσ + δEkσ = ϵkσ + Σσ k, + δΣσ (k, Ekσ /ℏ) . (5.100)
ℏ
• It leads to:
δEkσ = Zkσ δΣσ (k, Ekσ /ℏ) . (5.101)
• By comparing to Eq. (5.72), we obtain
• The interaction parameters can be related to the scattering amplitude Eq. (5.50) by
1
fkσ,k′ σ′ = Zkσ Zk′ σ′ T (11′ , 11′ ) (5.103)
V
with 1 ≡ (k, Ekσ , σ) and 1′ ≡ (k′ , Ek′ σ′ , σ ′ ). See GV§8.5.5 for a derivation 6 .
5.4 Generalizations
• In principle, as long as we know the energy functional (e.g., Φ[G]), we solve the many-particle
problem.
• Unfortunately, there is no easy way to determine the exact form of the functional. Even worse,
its existence is not always guaranteed [14]:
– The Legendre transformation Eq. (5.14) is well defined only when the map from ϕ to G is
invertible.
– The physical solutions of the stationary condition δΓ[G] = 0 may be saddle points and not
extrema [5].
• It is often more useful and practical to define functionals which are less general.
6 There are a number of sign errors in relevant equations of GV: (8.170), the first term of (8.172), the second term of (8.173)
and (8.175). There is also a factor 1/ℏ for the second term of (8.175). (8.175) is actually the Bethe-Salpeter equation (5.50).
61
Density functional theory: one can introduce a bilinear source
Z Z
S = dτ dr ρ̂(rτ )ϕ(r) = ℏβ dr ρ̂(r)ϕ(r). (5.104)
After the Legendre transformation, we can define an energy function of the local density
ρ(r) ≡ ⟨ρ̂(r)⟩.
• Kohn-Hohenberg theorem: the map from ϕ to ρ is invertible.
• The functional can be constructed empirically.
Dynamic mean field theory: For a tight-binding (lattice) model, one can introduce a bilinear source [13]
XZ
S= dτ dτ ′ ψiσ
∗
(τ )ψiσ′ (τ ′ )Mi,σσ′ (τ − τ ′ ). (5.105)
i
• The functional can be obtained by solving the Anderson impurity model Eq. (1.92) in an
effective medium.
• All local correlation effects are included in the approach.
Problems
1. Derive Eq. (5.36) and (5.43) by starting from the Luttinger-Ward functional Eq. (5.37) and ap-
plying the definitions Eq. (5.31) and (5.42).
2. Determine the self-energy and the irreducible interaction with respect to ΦGW [G] (Eq. 5.38).
3. Determine the Bethe-Salpeter equation Eq. (5.50) in the frequency/momentum domain.
62
Chapter 6
The second quantized Hamiltonian of a homogeneous electron gas (jellium model) reads:
X ℏ2 k 2 e2 X X 4π †
Ĥ = â†kσ âkσ + â ↠â ′ â .
2 k+qσ p−qσ ′ pσ kσ
(6.1) (1.82)
2m 2V ′
q
kσ q̸=0 kσ,pσ
Dimensionless form: we choose the unit of the length as the average distance between electrons
r0 :
4π 3
r N = V. (6.2)
3 0
Dimensionless density parameter
r0
rs = , (6.3)
a0
where a0 = ℏ2 /me2 is the Bohr radius.
where the volume and momenta have been scaled by the new length unit: V → V/r03 = 4πN/3,
k, p, q → kr0 , pr0 , qr0 .
Counter-intuitively, the high-density limit rs → 0 is the non-interacting limit.
63
e2 E/N
0.1 2a 0
rs
2 4 6 8 10
rs = 4.83
2 2
e E e
−0.1 2a N
= −0.099 2a E e
= −0.095 2a
2
0
0
rs = 3.83 N 0
Figure 6.1: Approximate ground state energy of an electron gas. Black: Hartree-Fock approximation
Eq. (6.7)+Eq. (6.11); Blue: Eq. (6.31).
Exchange energy: to calculate the expectation value of the second term, we apply Wick’s theorem
D E D E D E D E D E
â†k+qσ â†p−qσ′ âpσ′ âkσ = â†k+qσ âkσ â†p−qσ′ âpσ′ − â†k+qσ âpσ′ â†p−qσ′ âkσ (6.8)
0 0 0 0 0
= δq,0 n0kσ n0pσ′ − δq,p−k δσσ′ n0kσ n0k+q,σ . (6.9)
We have
e2 1 1 X 4π X 0 0 3
Ex = − nkσ nk+q,σ = − N Ry, (6.10)
2a0 rs V q2 2παrs
q̸=0 kσ
Ex 0.916
ϵx = ≈− Ry. (6.11)
N rs
Perturbative approach: the exchange energy can also be obtained from the diagram
k, ω X Z dq Z
i 1 dk
= iℏV (−1) v(q)
ℏ 2 ′
(2π) 3 (2π)3
k + q, ω ′
σσ
Z Z
dω dω ′ ′
× δσσ′ G0 (k, ω)eiωη G0 (k + q, ω ′ )eiω η . (6.12)
2π 2π
R
Note that dω
2π G0 (k, ω)e
iωη
= in0k .
= 0, (6.13)
Z Z
dν dq
Σ (k, ω) = ℏ = δσσ′ i G0 (k + q, ν)eiνη
v(q) (6.14)
2π(2π)3
Z
dq e2 kF k
= −δσσ′ 3
v(q)n 0
k+q = S , (6.15) MH(5.19)
(2π) π kF
1 − x2 1+x
S (x) = − 1 + ln . (6.16)
x 1−x
The singularity at k = kF results in a vanishing effective mass, which is actually unphysical. (5.91)
64
6.1.2 High order contributions
The second order diagrams of the self energy are evaluated in MH §5.1.5–5.1.7:
(6.17)
Higher order diagrams with more bubbles (e.g., ) diverge even worse.
Re-summation The divergence can be removed by summing all direct ring diagrams:
ΣRPA (k, ω) = ℏ + + + ... (6.21)
Z Z n o
dq dν 2
=i v(q) 1 + v(q)χ 0 (q, ν) + [v(q)χ 0 (q, ν)] + · · · G0 (k + q, ω + ν)
(2π)3 2π
(6.22)
Z Z
dq dν v(q)
=i G0 (k + q, ω + ν) (6.23)
(2π)3 2π 1 − v(q)χ0 (q, ν)
Z Z
dq dν
≡i 3
W (q, ν)G0 (k + q, ω + ν), (6.24)
(2π) 2π
where W (q, ν) ≡ v(q)/εRPA (q, ν) can be interpreted as a screened e-e interaction by the dielec-
tric function
εRPA (q, ν) = 1 − v(q)χ0 (q, ν). (6.25)
The effective mass becomes finite.
Ground state energy The GW approximation for the Luttinger-Ward functional
Z Z
1 dq dν
= − VT0 ln {1 − v(q)χ0 [G](q, ν)} (6.27)
2 (2π)3 2π
65
can now be justified: It is a re-summation of the most diverging diagrams of the perturbative
expansion.
The ground state energy can be calculated by the G0 W0 approximation:
( )
X Z dω 1
−1 −1 (5.26)
E [G] − E0 = iℏ ln G0 (k, ω) G (k, ω) + G0 (k, ω) G (k, ω) − 1 + Φ [G]
2π T0
k
(6.28)
iℏ
≈ ΦGW [G0 ] + O δG2 (6.29)
T0
Z Z
iℏ dq dν
=− V ln [1 − v(q)χ0 (q, ν)] + O δG2 (6.30)
2 (2π)3 2π
The correction due to δG ≡ G − G0 is of the second order because δE[G]/δG = 0. The evalu-
ation of the integral can be found in FW Eq. (12.53-12.61). Note that the energy includes the
exchange energy Eq. (6.10). The total ground state energy can be written as (in Ry):
E 2.21 0.916
ϵ(rs ) = ≈ 2 − + 0.0622 ln rs − 0.094 + O (rs ln rs ) . . . (6.31) FW(12.62)
N rs rs
The correction to the kinetic energy and the exchange energy is called the correlation energy.
The constant term includes the contribution of Eq. (6.17a). The singular expansion (i.e., ∝ ln rs )
is a result of the divergence observed in Eq. (6.17c).
Further improvement requires quantum Monte Carlo (QMC) simulations. An interpolation for-
mula for the ground state energy of the electron gas is presented in GV §1.7.2.
Wigner crystal phase becomes more stable (lower energy) than the electron liquid phase when rs
is sufficiently large. The phase transition occurs at rs ∼ 100 in 3D. There could be more phase
transitions before the transition to the Wigner crystal (e.g., to a ferromagnetic electron liquid).
The issue is yet to be fully clarified. See GV §1.7.2.
Substituting Eq. (5.12) and (5.49) into the equation, we obtain an exact relation for Σ:
1
1
1
i
= 1 + −i , (6.35)
2 ℏ
2 T
2
2
Z
1
Σ (k) = ΣHF (k) + dpdq v(q)T (k + q, p − q; k, p) G (p) G (p − q) G (k + q) . (6.36)
ℏ
where the first two terms are nothing but the Hartree-Fock contribution.
T can be obtained from the irreducible interaction I by solving the Bethe-Salpeter equation
Eq. (5.50). By choosing a proper set of diagrams in Eq. (5.43) or assuming an approximated form for
I (see §6.2.3), one could close Eq. (6.35).
For certain systems (e.g., Fermions with hard-core interaction), re-summation is needed for ob-
taining I. An example can be found in FW §11.
66
6.2 Density response function
6.2.1 Basic properties GV §3.3
Density response function describes how the density changes in response to an infinitesimal ex-
ternal scalar potential:
Z Z
′
δρ(rt) = dr dt′ χr (rt, r ′ t′ )ϕ(r ′ t′ ), (6.37)
i
χr (rt, r ′ t′ ) = − θ(t − t′ ) ⟨[ρ̂(rt), ρ̂(r ′ t′ )]⟩ . (6.38) (2.44)
ℏ
For spatially-temporally uniform systems, it is more convenient to use the Fourier transformed
form
which is related to the PAIR CORRELATION FUNCTION or RADIAL DISTRIBUTION FUNCTION. GV §A4
B(q, ω) = −2Imχr (q, ω) = i χ> (q, ω) − χ< (q, ω) (6.45)
ρ0
= 1 − e−βℏω S(q, ω), (6.46) (2.75)
ℏ
B(q, ω) = −B(−q, −ω). (6.47)
The density response functions are related to the spectral function by:
χ(q, ω) Z dω nB (ω1 ) 1+nB (ω1 )
− ω−ω1 −iη + ω−ω1 +iη
(6.48) (2.77)
r 1 1
χ (q, ω) = B(q, ω1 ) ,
a 2π
ω−ω1 +iη
1
χ (q, ω) ω−ω −iη 1
χ(q, ω) Z
dω1 B(q, ω1 )
Re χr (q, ω) =P , (6.49)
a 2π ω − ω1
χ (q, ω)
χ(q, ω) − coth βℏω
2 1
Im χr (q, ω) = − B(q, ω). (6.50)
a 2
χ (q, ω) +
67
Z ∞
dω1 B(q, ω1 )
T
χ (q, ωn ) = (6.51)
−∞ 2π iωn − ω1
where nB (ω) = 1/(eβℏω − 1) is the Bose distribution function.
f-sum rules Z ∞
dω ρ0 q 2
ωB(q, ω) = . (6.52)
−∞ 2π m
To derive the sum rule, we make use of the continuity equation and the commutation relation
h i ℏq
ĵq , ρ̂−q′ = ρ̂q−q′ , (6.53)
m
where ĵq is the current density operator.
Higher order sum rules could also be established. See GV §3.3.3.
1 X |δρq |
2
E [ρq ] = E0 − , (6.54)
V q 2χr (q)
• The perturbation induces a density change δρq . Conversely, to create a given density
distribution,
δρq
ϕq = r , (6.56)
χ (q)
P
• We scale the perturbation with a factor λ: Ĥϕ (λ) = Ĥ + λ V1 q δ ρ̂−q ϕq . By applying the
Hellman-Feynman theorem, we have
Z 1 * +
D E ∂ Ĥϕ (λ)
Eϕ = Ĥϕ = E0 + dλ (6.57)
0 ∂λ
Z 1
1X r 11X r
(6.58)
2 2
≈ E0 + dλ λ χ (q) |ϕq | = E0 + χ (q) |ϕq | .
0 V q 2V q
Note that the stiffness theorem can be generalized for arbitrary observables.
Compressibility sum rule
1 ∂ 2 [ρ0 ϵ (ρ0 )] 1
lim r
+ v(q) =− 2 =− 2 , (6.60)
q→0 χ (q) ∂ρ0 ρ0 K
Proof GV §3.3.4
68
• Determine the change of the energy by
– applying the stiffness theorem: δE = − |δρq | /2Vχr (q);
2
– calculating the energy directly, including the electrostatic energy and the local energy
Z
1
(6.61)
2
δE = δ drρ(r)ϵ [ρ(r)] + v(q) |δρq | .
2V
It is the density response function of a fictitious system in which the positive charge back-
ground always compensates the change of the electron density.
Dielectric function is defined as the ratio between the applied external potential and the total
(screened) potential:
ϕ(q, ω)
ϕsc (q, ω) ≡ ϕ(q, ω) + ϕind (q, ω) = , (6.63)
ϵ(q, ω)
where ϕind (q) = v(q)δρ(q, ω) is the Coulomb potential induced by the perturbed electron den-
sity.
1
= 1 + v(q)χr (q, ω), (6.64)
ϵ(q, ω)
ϵ(q, ω) = 1 − v(q)χ̃r (q, ω), (6.65)
r
χ̃ (q, ω)
χr (q, ω) = . (6.66)
ϵ(q, ω)
where χr0 (q, ω) is the density response function of an ideal (non-interacting) electron gas.
Intuitive picture We treat electrons as independent particles, and approximate the effect of the e-e
interaction to the average potential ϕind (Hartree approximation):
1 − v(q) i
ℏ
69
Lindhard function is the density response function of a non-interacting electron gas: GV §4.4
i
χr0 (q, ω) = (6.73)
ℏ
Z Z
i X dk dν <
Tab. 4.1
=− Gσ (k + q, ν + ω)Gaσ (k, ν) + Grσ (k + q, ω + ν)G<
σ (k, ν)
ℏ σ (2π)3 2π
(6.74)
Z
dk f (ϵk ) − f (ϵk+q )
=2 , (6.75) (2.74, 2.77)
(2π) ℏω + ϵk − ϵk+q + iη
3
Reχr0 (q, ω) 1 1 − ν− 2
ν− − 1 1 − ν+2
ν+ − 1
=− + ln − ln , (6.78)
N (0) 2 4q̃ ν− + 1 4q̃ ν+ + 1
Imχr0 (q, ω) π
= θ 1 − ν+2
1 − ν+2
− θ 1 − ν−2
1 − ν−
2
, (6.79)
N (0) 4q̃
q ω q
q̃ ≡ , ν± ≡ ± . (6.80)
kF qvF 2kF
Long-wavelength and static limit: The Lindhard function has a singularity at q → 0 and ω →
0. The limit depends on the ratio ω/vF q. Depending on the order of taking the limits, we
have:
70
d χ0σ (q , 0)
! " "#
2 " "
3 −Nσ (0) 12 + q̄8σq̄−4 σ
ln " q̄q̄ σσ −2
+2 "
$ √2 %
q̄ −4
2 −Nσ (0) 1 − #(q̄ σ − 2) q̄ σσ
! " "#
" "
1 −Nσ (0) q̄1σ ln " q̄q̄ σσ +2
−2 "
168 Linear response of independent electrons 4.4 The Lindhard function 169
&
Fig. 4.1. The behavior of the
3Dfunction χ0 (q0.3
, 0) = σ χ0σ (q , 0) as obtained from Table 4.2 in
3Dthe
1 paramagnetic state for d = 1, 2, 3.
q = 0.5 kFσ q = 2.5 kFσ
0.75 0.2
Notice that the principal part prescription, apparently required by the presence of the in-
0.5
0.1 is actually not needed here, since the denom-
finitesimal η in the denominator of Eq. (4.16),
0.25 ω-
ω+ can only vanish simultaneously
inator of this expression with the numerator.1 AtωT+ = 0
h ω/2ε
the static Lindhard function can either be obtained analytically from a4direct evaluation of h ω/2εFσ
0.2 0.4 0.6 0.8 1 Fσ 2 6 8
Eq. (4.26), or deduced from the ω → 0 limit of Eq. (4.24). The resulting analytic form is
-0.25 -0.1
given in Table 4.2 and plotted in Fig. 4.1.
-0.5
-0.2
1
Eq. (4.26) is mathematically equivalent to Eq. (3.14), which was obtained in Chapter 3 by more elementary means.
Fig. 4.4. The real part (solid line) and the imaginary part (dashed Fig. line)
4.5. of
Same as Fig. 4.4 for Lindhard
the dimensionless q = 2.5k Fσ . ω− and ω+ represent the lower and upper edges of the
Figure 6.2: Lindhard function at zero
function − χ0σNσ(q(0),ω) in three dimensions for q = 0.5k Fσ . ω+ represents
temperature
electron–hole continuum.
the upper
in different parameter regimes, shown as
edge of the electron–
−χ0 (q,The
hole continuum. ω)/N in theTop:
cusp(0). static
imaginary partresponse
occurs at thefunction for ω =
boundary between 0; Bottom
regions left: q < 2kF ; Bottom right: q > 2kF .
I and II of
Fig. 4.2, The
i.e. at dashed
ω = |ω− (qlines
)|. show the imaginary part of the response function. GV Fig. 4.1, .4, .5
71
– isothermal static susceptibility χT ≡ − (∂ρ/∂µ)T ;
– adiabatic static susceptibility χad ≡ − (∂ρ/∂µ)S .
There exist inequalities:
χT ≥ χad ≥ χiso . (6.86)
See Eq. (4.2.32–34) of Ref. [15].
Friedel oscillation: electrons screening an external potential are restricted in |k| > kF . The sharp
restriction in the momentum space results in an oscillation in the real space. FW §14
The RPA response function is shown in Fig. 6.3. The static density response function can be
written as
2
N (0) (q/kF ) g (q/kF )
χrRPA (q) = − 2 , (6.87)
(q/kF ) + [4πe2 N (0)/kF2 ] g (q/kF )
1 1 x2 1 − x2
g(x) ≡ − 1− ln . (6.88)
2 2x 4 1 + x2
In the presence of a test charge −Ze, ϕq = Ze2 /q 2 , the induced density is δρq = χrRPA (q)ϕq , and
Z 2
dq iq·r (qTF /kF ) g (q/kF ) Z 2ξ cos (2kF r)
δρ(r) = −Z e 2 2 ∼ − , (6.89)
(2π)3 (q/kF ) + (qTF /kF ) g (q/kF ) r→∞ π (4 + ξ)2 r3
p
where qTF ≡ 4πe2 N (0) = (4αrs /π) kF is the Thomas-Fermi wave number, ξ ≡ qTF /2kF2 . It
1/2 2
is different from what would be expected from a pure hydrostatic (long-wavelength limit) con-
sideration, i.e., the Thomas-Fermi approximation. The latter predicts δρ(r) = −ZqTF
2
e−qTF r /(4πr).
At finite temperature, the
p Fermi surface is smeared. δρ(r) eventually becomes δρ(r) → −ZqD e
2 −qD r
/(4πr)
at r → ∞, where qD ≡ 4πρ0 e β is the Debye screening length. See FW §33.
2
Exact series of diagrams of the density response function can be obtained from Eq. (5.49) and the
Bethe-Salpeter equation Eq. (5.50): (6.41)
i
χ(q, ω) = + + + ... , (6.91)
ℏ
kσ k′ σ′
Ikωσ,k′ ω′ σ′ (q, ν) ≡ , (6.92)
k + q, σ k ′ + q, σ ′
where we denote the irreducible electron-hole interaction I as a bold vertex. Compared to the
RPA:
• The exact (bold) Green’s function assumes the places of the free Green’s function;
• The irreducible interaction I assumes the places of the bare interaction v(q).
Note that Ikωσ,k′ ω′ σ′ (q, ν) is in general not a local interaction, i.e., it cannot be written as a form
I (r − r ′ ).
72
Local field approximation involves two drastic approximations:
1. Approximate the irreducible electron-hole interaction as
The dependences on k and k′ are ignored. It basically assumes that the irreducible effec-
tive interaction is a local interaction I(r1 − r2 ). The dependence on frequencies is also
ignored –It is a static approximation.
2. Replace the electron-hole bubble with the non-interacting counterpart, i.e., the Lindhard
function. This is justified by the fact that the exact Green’s function is close to the non-
interacting one except for small renormalization effects. §5.3.2
As a result, we have
χr0 (q, ω)
χr (q, ω) ≈ , (6.94)
1 − v(q) [1 − G+ (q)] χr0 (q, ω)
where
G↑↑ (q) ± G↑↓ (q)
G± (q) ≡ . (6.95)
2
Physical interpretation: The effective potential seen by an electron is different from the mean-field
potential of the Hartree approximation because:
• The electrostatic field seen by an electron must not include the contribution from itself;
• Because of the antisymmetry of the wave function, an electron at a give position excludes
the presence in its proximity of another electron with the same spin orientation –ex-
change holes;
• Coulomb repulsion prevents two electrons staying too close –correlation holes.
To take account of these corrections, we introduce the local effective potential felt by an elec-
tron: X
ϕeff,σ (q, ω) = ϕσ (q, ω) + v(q) [1 − Gσσ′ (q)] δρσ′ (q, ω). (6.96)
σ′
The term proportional to −v(q)Gσσ′ (q) is the correction due to the aforementioned effects.
Determination of G(q): various approaches have been developed for determining the local field
correction factor.
• One of most successful approaches is developed by Singwi, Tosi, Land, and Sjölander,
usually referred as “STLS”scheme. GV §5.4.4
• Ichimaru and Utsumi develop an interpolation formula [12]. See Fig. 6.4 for G(q) from the
Ichimaru-Utsumi interpolation formula. Further developments are reviewed in Ref. [11].
Effective interactions The local field correction introduces vertex corrections to RPA. In the RPA,
the effective interaction between two particles is always W (q, ν) ≡ v(q)/εRPA (q, ν), no matter
what the particles are. With the local field correction, the effective interaction will be different
for different circumstances: GV §5.5
Test charge-test charge interaction A test charge (not an electron) just sees the electrostatic
potential. Therefore,the interaction between two test charges is screened by the dielectric
function defined in Eq. (6.63):
v(q)
Wtt = , (6.97)
ϵ(q, ω)
1 1
= r + v (q) G+ (q), (6.98) (6.94,6.62)
χ̃r (q, ω) χ0 (q, ω)
v(q)χr0 (q, ω)
ϵ(q, ω) = 1 − v(q)χ̃r (q, ω) = 1 − (6.99) (6.65)
1 + v(q)G+ (q)χr0 (q, ω)
73
Electron-test charge interaction A test charge density ρt (q, ω) induces a perturbing poten-
tial ϕ(q, ω) = v(q)ρt (q, ω) and an electron density change δρ(q, ω) = χr (q, ω)ϕ(q, ω). The
potential seen by an electron has the exchange-correlation correction:
ϕ(q, ω)
= . (6.101)
1 − v(q) [1 − G+ (q)] χr0 (q, ω)
As a result,
v(q)
Wet = , (6.102)
ϵet (q, ω)
ϵet (q, ω) = 1 − v(q) [1 − G+ (q)] χr0 (q, ω). (6.103)
• An electron density ρ↑ with spin ↑ exerts effective external potentials to the system:
2vG−
ϕeff,↑ = ϕeff,↓ − ρ↑ . (6.109)
1 + vG− χr0
• The effective external potentials Eqs (6.106, 6.107) include the exchange-correlation
corrections, which are contributions from the effective many-body medium consist-
ing of all other electrons. They should be excluded from the effective interaction. It
amounts to subtract from ϕeff,↑ and ϕeff,↓ the contributions −vG↑↑ ρ↑ and −vG↓↑ ρ↑ ,
respectively.
• The effective interaction can be obtained by dividing the resulting effective potentials
by ρ↑ :
(6.110)
2 2
W↑↑ = v + [v (1 − G+ )] χr + (vG− ) χrs ,
(6.111)
2 2
W↑↓ = v + [v (1 − G+ )] χ − (vG− )
r
χrs ,
where χrS is the spin density response function with respect to the spin density oper-
ator Ŝz = ρ̂↑ − ρ̂↓ .
The formula is known as the Kukkonen-Overhauser electron-electron effective interac-
tion formula. It corresponds to the diagrams:
W = + + + ... (6.112)
74
on- gions of momentum transfer' as defined by
ex-
" To
with
pic
y 1.5
(1.0)
o ex- rs='0
1,0
(0.5)
0.5
(0)
(8)
0::
0.1 ' qzqF
10 100
Figure 6.4: Local-field correction G+ (q) for rs = 4 and 10. The solid lines show G(q) from the
(9) Ichimaru-Utsumi interpolation formula. Ref. [12]
The equation could be Fourier transformed to the real space and becomes an equation governing the
propagation of a potential/density wave. The dispersion of the wave is determined by the equation
ϵ(q, Ωq ) = 0. (6.114)
Note that a zero of the dielectric function is also a pole of the density response function. (6.66)
Applying Eq. (6.65) and the the RPA approximation χ̃r ≈ χr0 as well as the long-wavelength limit
Eq. (6.85), we obtain r
3
Ωq ≈ ωp2 + q 2 vF2 , (6.115)
5
where r
4πρ0 e2
ωp = (6.116)
m
is the plasma frequency.
Classical picture: The plasma mode at q = 0 is the oscillation of an electron gas as a whole relative
to its fix positive charge background (see Fig. 6.5a):
• A displacement x results in two parallel layers of opposite charges at the two ends of the
system: ρlayer = ρ0 x.
• The charge layers give rise to an electric field in the bulk E = 4πeρ0 x, which exerts a
restoring force to electrons.
• The equation of motion: mẍ = −eE = −4πe2 ρ0 x. It predicts an oscillating frequency ωp .
75
stability is the well-known plasmon
n be
e the
nce x
This
E
arged
The
o an
o the
nside x
2
e nx. (a) Illustration of the plasma oscillation. (b) The electron-hole
Fig. 5.8. Plasmon dispersion in three andcontinuum (shaded area)
two dimensional andgas
electron the (full
disper- AS p. 225
lines) for r = 2. The
s
2 sion of plasmons. When the dispersion enters into the contin-
= −4&e nx oscillates at a frequency uum, the plasmon is heavily damped and ceases to exist in prac- (5.53).
dashed line represents the approximate two dimensional dispersion given by Eq.
tice. GV Fig. 5.8
Since the motion of the charge carri- the two dimensional case Eq. (5.49) can be solved analytically at all
As it turns out, in
wave vectors (Czachor et al., 1982). The result (see Exercise 5) can be cast in the form:
on of the charged surface layers, we
Electron-hole continuum and damping: A plasmon!
tric function has a vanishing imaginary part at"
has an infinite lifetime only when the dielec-
$ %2 $plasmon. This is%true
"the frequency ofq the 3 4
when the Lindhard function has a vanishing imaginary 1 +
2πne qpart at the 1 + 4πqnκ It+depends
κ frequency.
q
on
ve oscillatory motion, known
whether or not an plasmon (or any other
as the (q) =
! pcollective
"
#
2
2
excitations) could excite an
8π nκ
q electron out
2
2
, of 2D.
2
(6.79)
(5.54)
m 1+
the Fermi sea to create an electron-hole pair: 2κ2
a plasmon, just like G (k, ω) for an electron. The counterpart of the quasi-particle
r
ℑmχ0 (q, ω) weight for
RPA
a plasmon is defined as ℑmχnn (q, ω) = . (5.55)
ry eventually ceased to be the 1most ∂Reϵ(q, ω)
[1 − vq ℜeχ0 (q, ω)]2 + [vq ℑmχ0 (q, ω)]2
2
= ′
≈ . (6.120) (5.85)
As a result:
textbook literature concentrating Imχ (q, ω) ≈ on
r
RPA−
Ω q
π [δ (ω − Ω ) − δ (ω + Ω )] .q q (6.121)
2v(q)
tle sense toNotedevelop the
that it satisfies the field
f-sum ruleinEq.its
(6.52).
76
ansions
6.3.2 Functional integrals of plasmons AS §6.2
By using functional integral formalism, one can obtain an effective action for plasmons directly
from an action for interacting electrons. It demonstrates how quasi-particles/collective excitations
emerge in an interacting electron system.
Action of electrons We start from the action for interacting electrons. The action can be written as
(3.34)
!
X ℏ2 |k|
2
1 X
∗ ∗ ∗
S [ψ, ψ ] = ψkσ −iℏωn + − µ ψkσ + v(q)ψk+q,σ ψk∗′ −q,σ′ ψk′ σ′ ψkσ ,
2m 2ℏβV
kσ kk′ qσσ ′
P P P (6.122)
where we adopt the short-hand notation k ≡ (ωn , k), k ≡ ωn k , and
Z Z
−1/2
ψkσ ≡ (ℏβV) dτ dr eiωn τ −ik·r ψσ (r, τ ). (6.123)
where V is a positive-definite Hermitian matrix (repulsive interaction). Note that i factor on the
right hand side is needed to give rise to the minus sign (repulsive interaction) on the left hand
side.
• In case of an attractive interaction, i.e., V is negative-definite, the identity
Z Y ∗
1 −1 dϕi dϕi 1 1 †
exp − ρ† V ρ = [det (−2V )] exp ϕ† V −1 ϕ − ρ ϕ + ϕ† ρ (6.126)
2 i
2πi 2 2
−1 P
where ϕ(rτ ) ≡ (ℏβV) q ϕq e−iνm τ +iq·r with q ≡ (νm , q). We assume that ϕ is a real field,
therefore ϕ−q = ϕ∗q .
77
• The action is transformed to
" ! #
1 X 2 X ℏ2 |k|
2
i
S [ψ, ψ ∗ , ϕ] = ∗
2
|q| |ϕ q | + ψkσ −iℏωn + − µ δkk′ + ϕk−k′ ψk′ σ
8πe2 ℏβV q ′
2m ℏβV
kk σ
(6.131)
Z Z ( )
ℏβ
1 X ℏ ∇
2 2
ψσ∗ (rτ ) ℏ∂τ −
2
= dr dτ |∇ϕ (rτ )| + − µ + iϕ ψσ (rτ ) .
0 8πe2 σ
2m
(6.132)
The first term is the energy associated with the fluctuating potential, while the second
term describes a non-interacting electron system coupled to an imaginary potential iϕ.
• After completing the integrals over ψ and ψ ∗ , we can express the partition function as
Z
Z 1 Sϕ0 [ϕ] − ℏW0 [iϕ]
= Dϕ exp − , (6.133)
Z0 Zϕ0 ℏ
where
Z Z " #
i ϕ̂
W0 [iϕ] ≡ ln exp − dτ drρ(rτ )ϕ(rτ ) = Tr ln 1 − iĜ0 (6.134) (5.19)
ℏ 0 ℏ
is exactly the connected generating functional for a free electron system, albeit with
an imaginary potential. One can interpret −β −1 W0 [iϕ] as the grand potential of a non-
interacting system in the presence of a potential iϕ. (5.8)
X∞ n Z
1 i
(6.135) (5.10)
(n)
W0 [iϕ] = − d1 . . . dn Gc0 1 . . . n; 1+ . . . n+ ϕ(1) . . . ϕ(n) .
n=1
n! ℏ
Second order:
Z
1
(6.136)
(2) (2)
ℏW0 [iϕ] = − d1d2Gc0 12; 1+ 2+ ϕ(1)ϕ(2)
2ℏ
Z
1
= d1d2χT
0 (1, 2) ϕ(1)ϕ(2). (6.137) (6.41)
2
We have
1 X 1 2
(6.139)
2
Sp = 2
νm + ωp2 |ϕq | .
2ℏβV q v(q)νm
• We could have the full knowledge of the field, not limited to a low energy effective one.
• Higher order terms will introduce corrections. They represent the effects of fluctuations.
The corrections could sometimes become so significant that the RPA (mean-field) result is
qualitatively wrong – be cautious. In principle, one can directly calculate W [iϕ] numeri-
cally.
78
6.3.3 Collective excitations AS §6.2
• When |q| is assumed to be small (long-wavelength limit), the different decompositions are
actually non-overlapping. Therefore, one can introduce several decoupling auxiliary fields
simultaneously in the long-wavelength limit.
Second quantization approach The approximation like Eq. (6.138) in the functional integral ap-
proach is equivalent to approximating the interaction part of the second quantized Hamilto-
nian as
e2 X X 4π nD † E
†
D
†
E
†
Ĥint ≈ 2
â ′
p−qσ pσâ ′ â â
k+qσ kσ + â k+qσ kσ âp−qσ ′ âpσ
â ′ (6.142)
2V q
q̸=0 kσ,pσ ′
D E D E o
− â†k+qσ âpσ′ â†p−qσ′ âkσ − â†p−qσ′ âkσ â†k+qσ âpσ′ + . . . , (6.143)
i.e., applying Wick’s theorem to contract part of Ĥint to yield a bilinear form. The many possible
ways of the contractions correspond to the different channels of the decompositions –the first
and second lines correspond to the direct and the exchange channels respectively.
It is difficult to go beyond the mean-field approximation to consider fluctuation effects in the
second quantization approach. In contrast, it is straightforward for the functional integral
approach to consider the fluctuation effects –they are corrections due to the high order terms
of W [iϕ].
Problems
1. Hartree-Fock approximation: consider an interacting electron system subject to a single body
potential u(r). In this case, system is not uniform and the plane-wave states are not eigenstates.
We assume that Green’s function can still be diagonalized in a basis φa (r). FW §10
(a) Determine the ground state energy to the first order of the interaction v(r − r ′ ) by using
the rules of the unlabeled Feynman diagrams or the Hugenholtz diagrams. What is the
matrix element for an interaction vertex?
(b) The resulting ground state energy could be regarded as a functional of the single-particle
basis wave function φa (r). φa (r) should be chosen such that the ground state energy is
minimized. Determine the equation satisfied by φa (r).
79
2. Determine the expression for Eq. (6.17a), and show that it is independent of the density. MH §5.1.5
and relate the expansion coefficient with the response function χ ≡ δρ/δϕ. Hint: Eq. (5.44).
4. Re-derive Eq. (6.75) by using the standard perturbative technique of the thermal Green’s func-
tion: FW §30
(a) Determine χT
0 . See Eq. (6.42).
(b) Carry out the summation over the Matsubara frequency. Hint: apply Eq. (3.51).
(c) Get an expression of χr0 by applying the analytic continuation.
5. Substitute Eq. (6.138) into (6.133) and complete the integral to obtain an expression for the
grand potential of the system. How is the expression compared to Eq. (6.30)?
80
Chapter 7
1. temperature T ;
2. external field;
3. the thermodynamic variable conjugate to the external field.
Ferromagnetic phase transition external field – magnetic field H; conjugate thermodynamic vari-
able – magnetization M . See Fig. 7.1a.
• T > Tc : paramagnetic phase. M − H curves are continuous.
• T < Tc : ferromagnetic phase. M − H curves are non-analytic. ↑ and ↓ phases coexist
between A and B.
• T = Tc : critical point. The coexistence region is reduced to a single point. The phase
transition becomes continuous.
Liquid-gas transition external field – pressure P ; conjugate thermodynamic variable – volume V
or the density ρ ≡ N/V . See Fig. 7.1b.
• Liquid, gas and fluid phases are analogous to the ferromagnetic ↑, ferromagnetic ↓ and
the paramagnetic phases, respectively.
• The transition becomes continuous at the critical point C.
• Liquid-gas coexistence region is a curved surface instead of a plane in the ferromagnetic
case.
Paradigm
• There exists an order parameter (e.g., the magnetization M ) which is zero in one phase
(disordered phase) and is non-zero in the other phase (ordered phase).
• There exists a Landau functional L [m(r), H, T ] which is a continuous function(al) of its
arguments and gives rise to the partition function of the system by
Z
Z = D [m(r)] e−βL[m(r),H,T ] . (7.1)
81
4.1 INTRODUCTION
178
177
ORDER PARAMETERS AND BROKEN SYMMETRY
M p
H
p p
M M
Fluid
______
C
H
T p
Viewed from the right. along the negative T axis. this surface corresponds
liquid to
andthe
gasset
phases are shown in Fig. 4.2. The pressure is the external thermodynamic
of isotherms plotted in the M - H plane in the lower right. For T> field, aboveandTethe P - T phase diagram is shown at the upper left. At low temperature,
, the
T< belowupon
curves are continuous and represent the single paramagnetic phase. Fordepending Te. the pressure, the material can exist as a gas, liquid, or solid. At high
the curved segments of the isotherm
180 represent
ORDER ferromagnetic 1
thePARAMETERS andtemperature,
AND 1 phases and
BROKEN the liquid and gas phases become indistinguishable and the material has
SYMMETRY
a unique fluid
the vertical segment joining points A and B represents the region of coexistence of thephase. The liquid-gas phase boundary terminates at the critical point
two phases at zero field. Note that the magnetization is non-analytic atmarked
A andC,Band having critical temperature Tc and pressure Pc. In the present discussion,
we will be particularly interested in the behavior in the vicinity of the critical point, and
that these points correspond to a single point on the phase boundary in the H - T
its similarity to the preceding example of the ferromagnet. The liquid. gas. and fluid
plane. Along the critical isotherm. the coexistence region is reduced to a single point.
H<O phases
H=O are analogous to the ferromagnetic
H>O i ferromagnetic ! and the paramagnetic
the critical point, and the two phases coincide. phases respectively. and as in the previous case. it is possible to go continuously from
L
The final view of the ferromagnet phase surface. the front view the of the H liquid L
axis. phases by passing around the critical point through the fluid phase.
gas to
iliM
yields the boundary of the coexistence region in the M - T plane shown atAlthough the lowerthe thermodynamic variable conjugate to the field P is often chosen to
left. We observe that at zero H field. M is non-zero below Te. approaches
T> >Tc be thezero at Te.the analogy to the magnetic case is most evident if we use the density
volume.
and is zero above Te and we will subsequently use this behavior to identify
p as the as the variable (p = where v is the specific volume). The surface of
M conjugate
order parameter. . the equation of state in the space of p. P. and T is shown in the upper right and
The analogous phase surface and projections for a typical·
M substance having insolid.
isotherms the p - P plane are plotted in the M
lower right. Again. the vertical segment
• Note that water is atypical in the sense thatL ice is less dense than water
L at the L
freezing point and is not considered in the present discussion.
TaTe
L L L
T« Tc
M M
Figure 7.2:Fig.
The4.3 Landau function
The Landau functionfor various
.c(m, parameter
H, T) for regimes.
a ferromagnet. NO Fig. 4.3
alignment of the microscopic spins. For the case of the liquid-gas phase transition. it
is evident that PUquid - Pga8 is a possible order parameter and that the transition is
also second order.
The phenomenological theory is based on the landau function .c(m, H, T). a
function of the order parameter. which we will denote as m in this discussion. the
conjugate field. which we will denote as H. and the temperature T. The landau
function has the property that at any 82 fixed Hand T. the state of the system is
.c
specified by the absolute minimum of with respect to m.
.c
The only physical constraint on the form of is that it be consistent with the
known symmetries of the system. One of the great accomplishments of this theory
is its description of the non-analytic behavior at phase transitions in terms of the dis-
4.1 INTRODUCTION 183
M F r
----'----- H ----'----- M
-Mo Mo
Figure 7.3:
rams for a ferromagnet. The From
surface left to right:
of the
Fig. 4.4 relation,
equationH-M F ≡ −W ,Free
The Helmholtz Γ function,
energy and thethe
F(H), desirable formenergy
Gibbs free of L. The
r(M),
of magnetizationred
M,dashed
external line indicates
magnetic theand
field H, H-M relation which could give rise to the double well in L. NO Fig. 4.4
wn In the upper right. Projections of this surfaceand
are the Landau function .c(M) for the ferromagnet below Te.
- T, and M - H planes. Isotherms are shown at the
, atT< below Te , and at T> above Te.
– The functional
At zero can
field.bethen.
identified/derived
the state of thefrom microscopic
system is specifiedHamiltonians/actions
by the condition (see0 = so that
§7.2, 7.3,when
NO §4.2).
M is an order parameter. r(M) appears to satisfy the definition of the Landau
g the negative T axis. this surface corresponds to the set
– The functional
function.
M - H plane in the lower right. For T> above Te , the
canInbe constructed
general, at finitephenomenologically:
field. one is tempted to consider the following function
as the Landau function
* TheForform
epresent the single paramagnetic phase. of L Te.
T< below is constrained by the symmetries of the system.
1 and 1transition
isotherm represent the ferromagnetic Phase phases and occurs when L has multiple degenerate minima. See Fig. 7.2.
points A and B represents the region* of coexistence of the l(M, H) == r(M) - MH
* Nearat the
ote that the magnetization is non-analytic A andcritical
Band point, one could expand = F
the functional as a power series in m. (4.5d)
(H(M)) + M (H(M) - H)
For example:
nd to a single point on the phase boundary in the H - T
otherm. the coexistence region is reduced to a single point. Z ha i
[m(r),lJl1Af;H)
Lsince H, T ] ≈ = d0D rand its minimum (7.2)
2
wo phases coincide. |∇m(r)| + c1specifies
hm + d2 tm the2 +state.
c3 hm3(Note
+ b4 mthat
4
, the parameter
ferromagnet phase surface. the front view H of the H axis. from the function
is distinct 2 H(M).) Above Te. where the isotherms in Fig. 4.1
coexistence region in the M - T plane shown at the lower
withare zero smooth curves. l becomes qualitatively like the top row of Fig. 4.3 and there
ro H field. M is non-zero below Te. approaches at Te.
we will subsequently use this behavior to identify Mproblem
is no as the with this association. Below the critical point. however. there is an
. essential difference between thet ≡ T − Tc of land .c which is shown in (7.3)
behavior Fig. 4.4 for
urface and projections for a typical· substance
thehaving field case (where l =h ≡
zero solid. r).H − Note
Hc that by Eq. (4.5c) :1- = 0 at(7.4)
the points
M = ± Mo corresponding to values of M in the ferromagnetic phase and the curve
pical in the sense that ice is less dense
Thethan
orderwaterparameter
at the may have multiple
onsidered in the present discussion. *
bends continuously upwards outside components.
these points. However. because the isotherm
* UNIVERSALITY,
has H = i.e.,
0 universal
for all values behavior
of -Mo shared
< Mby<classes
Mo. rof = diverse
F(H physical
= 0) is sys-a constant
tems,between
is expected because only a few terms of the expansion are relevant
these points. This non-analytic behavior of r is thus qualitatively different and the
formfromis constrained
the continuous by symmetry.
double well of the phenomenological Landau function. Although. §7.1.4
Effective action and Landau functional One could construct an effective action as a functional of
m(r) by using the procedure shown in §5.1:
Z (4.6)
Γ [m(r)] = −W [H(r)] − β drm(r)H(r). (7.5)
• δ L̃/δm = 0 does give rise to the correct equilibrium state. The association has no problem
when T > Tc .
83
Figure 7.4: A Mexican hat showing the energy landscape of a symmetry breaking system.
∂ 2 L̃ 1
= − → 0, (7.8) (6.54)
∂M 2 χ
Symmetry breaking Although the Landau functional L for T < Tc has all symmetries, its minima
break (part of) the symmetries.
• The symmetry group of the minima is a subgroup of the symmetry group of the system:
G′ ⊂ G. (7.9)
The degenerate states of the minima are connected by the elements of G′′ = G/G′ .
• The symmetry breaking is a result of the thermodynamic limit:
Order parameters and conjugate fields for a variety of phase transitions are shown in Table 7.1.
The mean field approximation is just the stationary-phase approximation for evaluating Eq.. (7.1):
δL
= 0, (7.11)
δm(r) m(r)→m̄
84
Broken
Phase transition Order parameter Conjugate field
symmetry
D E P Time-
Ferromagnetic magnetization mi = Ŝi Zeeman field H · Ŝi
i reversal
Anti- staggered(magnetization staggered Zeeman field Time-
P P
ferromagnetic Ŝi i∈A HS · reversal
mi = i∈A Ŝi − i∈B Ŝi
−Ŝi i ∈ B
P Spatial
Ferroelectric polarization di electric field E · d̂i
i inversion
Liquid-gas density difference pressure P None
Charge density
density ρ(r) potential ρ̂(r)ϕ(r) Translation
wave (CDW)
spin density S(r) = E Translation
Spin density
P D † spin potential Ŝ(r) · h(r) and time
wave (SDW) σσ ′ ψ̂σ (r)τ̂σσ ψσ (r)
′ ′
reversal
Superfluity condensate
D amplitude
E condensate source J ψ̂ † + h.c. U (1) gauge
(Bosons) ϕ = ψ̂(r)
pairing amplitude
D E pairing potential
Superconductivity U (1) gauge
Φ(r − r ′ ) = ψ̂↑ (r)ψ̂↓ (r ′ ) ∆ (r − r ′ ) ψ̂↓† (r ′ )ψ̂↑† (r) + h.c.
Z ∼ e−βL[m̄,H,T ] . (7.12)
By assuming a spatially uniform stationary solution, we have
(
1/2
± (−t) T < T c , H = Hc
m̄ ∝ 1/3
. (7.13)
h T = Tc
Correlation function The Landau functional can be expanded as a quadratic form around the sta-
tionary solution:
Z na o
(7.14)
2 2
L [m(r), H = Hc , T ] ≈ dD r |∇δm(r)| + b|t| [δm(r)] ,
2
(
d2 T > Tc
b= . (7.15)
2d2 T < Tc
The validity of the mean field approximation depends critically on the dimension D:
• D > Dc : the mean field theory is valid and predicts correct critical exponents.
• Dc ≥ D > Dℓ : the mean field theory still works but predicts incorrect critical exponents.
85
• D ≤ Dℓ : the mean field theory is invalid and qualitatively wrong.
Dc and Dℓ are called UPPER CRITICAL DIMENSION and LOWER CRITICAL DIMENSION, respectively.
Upper critical dimension We examine the relative importance of different terms of L by dimen-
sional analysis. We rescale the Landau functional Eq. (7.2) to
Z
1 r0 u0
(7.20)
2 2 4
βL [ϕ] = d r D
|∇ϕ(r)| + |ϕ(r)| + |ϕ(r)| ,
2 2 4
[ϕ] = L−
D−2
2 , (7.21)
−2
[r0 ] = L , (7.22)
[u0 ] = L D−4
. (7.23)
We can then recast the functional into a dimensionless form by the transformation (for T > Tc )
−1/2
r = xr0 , (7.24)
D−2
ϕ = ϕ̃r04
, (7.25)
h i Z
1 2 1 g
βL [ϕ] → βL ϕ̃ = d x
D
∇ϕ̃(x) + ϕ̃2 (x) + ϕ̃4 (x) , (7.26)
2 2 4
with D−4
g = u 0 r0 2
. (7.27)
• D > 4: g → 0. The ϕ̃4 term is irrelevant. The mean field theory describes accurately the
critical behavior.
• D < 4: g → ∞. The ϕ̃4 term is relevant. The mean field theory will give the wrong critical
behavior.
• D = 4: The case is marginal and corrections should be expected.
It indicates that for ϕ4 term, Dc = 4.
For other possible terms:
• ϕn :
2n
Dc = . (7.28)
n−2
It turns out all orders of the expansion are relevant in two-dimensions.
• (∇ϕ) and ϕ∇n ϕ are irrelevant when n > 2.
n
Lower critical dimension The mean field approximation may completely break down in low di-
mensions due to fluctuations generated by GOLDSTONE MODEs.
86
p
where ϕ̄ ≡ r0 /u0 is the magnitude of the order parameter. We ignore its spatial variation
because its collective mode is gapped 1 . The functional becomes (7.14)
2 Z
ϕ̄
(7.30)
2
βL [φ] = dD r |∇φ(r)| + constant,
2
i.e., the excitation of φ(r) is gapless. The corresponding collective mode has a dispersion ωq ∝ q
with a vanishing energy at q → 0. It is the characteristic of the Goldstone mode.
The fluctuations of φ is
Z ′
dD q eiq·(r−r )
χφφ (r − r ′ ) ∼ . (7.31) (7.19)
(2π)D q2
It diverges for D ≤ 2.
Topological defect The two-component model admits a special form of excitation because φ
is only defined modulo 2π. In 2D, one can have a distribution of φ(r) like
φ(r, θ) = θ, (7.32)
where θ is the polar angle of r. Because ϕ(r) is single-valued, |ϕ(r)| must vanish at r = 0.
To minimize the energy cost, |ϕ(r)| = ϕ̄ except for a small core area with r ≲ a, where a
is a length scale set by an underlying microscopic model. The excitation is called a vortex,
which is a TOPOLOGICAL DEFECT.
The nature and classification of topological defects are determined by the homotopy group
of the degenerate state space. See Ref. [18] for a comprehensive review or reprints in
Topology section of Ref. [2].
Kosterlitz–Thouless transition It turns out the particular 2-component system has a phase
transition in 2D. However, the transition is a TOPOLOGICAL PHASE TRANSITION: it has no
order parameter, and both phases before and after the transition are disordered phases.
They are different in correlation functions –either the usual exponential decay or the
one that decreases with the distance like a power. Microscopically, they are different in
whether or not topological vortex excitations proliferate in the system:
• The cost of the energy to create a vortex is
L
Ev = πJ ln , (7.33)
a
2
where J ≡ ϕ̄ /β, and L is the size of the system.
• The vortex can be created anywhere in the system. It results in a prefactor for the partition
function, or equivalently, an entropy
L
S = 2kB ln . (7.34)
a
• The cost of the free energy to create a vortex is
L
Fv = Ev − T S = (πJ − 2kB T ) ln . (7.35)
a
As a result, when T > TKT ≡ πJ/2kB , the vortex excitations will proliferate.
87
A macroscopic number of particles will accumulate in the state with ϵa = 0. We have the
condensate density " 3/2 #
T
ρc (T ) = ρ 1 − . (7.37)
Tc
Interacting Boson system We consider a Boson system with a repulsive contact interaction v(r −
r ′ ) = gδ(r − r ′ ) and g > 0.
Z Z
∗ ∗ ℏ2 ∇2 g ∗
(7.38)
2
S [ψ, ψ ] = dr dτ ψ (rτ ) ℏ∂τ − − µ ψ(rτ ) + [ψ (rτ )ψ(rτ )]
2m 2
!
X ℏ2 |k|
2
g X ∗
= ψk∗ −iℏωn + − µ ψk + ψ ψ ∗′ ψk′ ψk . (7.39) (6.122)
2m 2Vℏβ ′ k+q k −q
k kk q
Phase transition We can interpret the action Eq. (7.38) as a Landau functional defined in D = d + 1
dimensional (r, τ )-space. For a uniform field ψ(r) = ϕ, the action is reduced to
h g 4i
S [ϕ, ϕ∗ ] = ℏβV −µ |ϕ| + |ϕ| . (7.40)
2
2
2
It predicts a mean-field critical point at µ = 0, and ϕ̄ = µ/g for µ > 0.
We note that the condition Eq. (7.8) that the susceptibility diverges is nothing but the require-
ment that the occupation number of the zero energy state is a macroscopic number:
1
χψ0 ψ0∗ = − ⟨ψ0 ψ0∗ ⟩ = −Nc /ℏ → −∞. (7.41)
ℏ
7.2.2 Superfluidity
Goldstone mode The BEC state breaks the gauge symmetry, i.e., the invariance under the trans-
formation of ψ → ψeiφ . The Goldstone mode is the spatial-modulation of the phase φ. We
introduce the transformation of the field 2
(7.42)
1/2 iφ(r,τ )
ψ(r, τ ) = [ρc + ρ1 (r, τ )] e ,
2
where ρc ≡ ϕ̄ . The action is transformed to
Z Z
g ℏ2 ℏ2 ρ
(7.43)
2 2
S [ρ1 , φ] = dr dτ −µρ + ρ2 + |∇ρ1 | + iℏρ∂τ φ + |∇φ|
2 8mρ 2m
Z Z
g 2 ℏ2 2 ℏ2 ρc 2 1
≈ dr dτ ρ1 + |∇ρ1 | + iℏρ1 ∂τ φ + |∇φ| − ℏβµNc + 2πiℏNc nτ ,
2 8mρc 2m 2
(7.44)
where nτ is the winding number of φ-field along the time direction: φ(r, ℏβ) = φ(r, 0) + 2πnτ .
Summing nτ enforces the quantization of Nc .
After completing the integral over ρ1 , the action is transformed to
Z " −1 #
1X ℏ2 k 2 ℏ2 k 2
(7.45)
2 2
S [φ] = dτ g+ |ℏ∂τ φk (τ )| + ρc |φk (τ )| .
2 4mρc m
k
by its discrete time form. A direct change of variables in the functional integral leads to a complicated discrete form.
To establish the transformation, one needs to first apply the operator transformation â = e−iφ̂ ρ̂1/2 with the commuta-
tion relation [φ̂, ρ̂] = i to the second quantized Hamiltonian of the system. The functional integral is constructed by us-
ing the Fock state ρ̂ |n⟩ = n |n⟩ and its conjugate |φ⟩ with ⟨φ|n⟩ = (2π)−1/2 einφ , which could be regarded as the ana-
logues of |x⟩ and |p⟩ respectively. It is then straightforward to follow the procedure shown in §3.1 and apply the identity
∑ ∫ 2π ∫ ∫
inφ = ∞ dρ ∞ dφf (φ)eiρφ .
n 0 dφf (φ)e 0 −∞
88
Superfluidity If the condensate maintains a spatial gradient of φ̄(r), the current density is
Z ℏβ
1 iℏ
js (r) = dτ⟨ψ ∗ (rτ )∇ψ(r, τ ) − [∇ψ ∗ (rτ )] ψ(r, τ )⟩
− (7.47)
ℏβ
0 2m
Z ℏβ
1 ℏρ ℏρ
= dτ ∇φ(r) ≈ ∇φ̄(r), (7.48)
ℏβ 0 m m
where we neglect the effect of fluctuations (T → 0). The current density is induced by a de-
formation of the field configuration. It is analogous to the elastic force, i.e., a “momentum
current,”induced by the deformation of a solid. The current is dissipationless, and is therefore
called as SUPERCURRENT. Note that the supercurrent is proportional to the total density instead
of the condensate density in the limit of T → 0 [24].
Critical velocity When a BEC flows through a pipe at a uniform velocity V , an excitation in the
fluid with a wave-vector k and frequency ωk has the frequency
ωk′ = ωk + k · V , (7.49)
when observed in the laboratory frame in which the pipe is stationary. Note that the system
reaches equilibrium by exchanging energy with the environment through the wall of the pipe.
As long as ωk′ > 0, the BEC can reach an equilibrium and keep flowing. When ωk′ becomes
negative, however, excitations will be spontaneously and continuously generated, until the
system is fully dissipated. This is the LANDAU CRITERION. The consideration suggests a critical
velocity
ωk
Vc = min . (7.50)
|k|
p
For the dispersion Eq. (7.46), the critical velocity Vc = gρc /m.
The critical velocity suggested by the Landau criterion should be regarded as an upper limit.
The experimentally observed critical velocity is usually much lower. It is believed that the
superfluidity is destroyed due to the excitations of vortex rings [24].
ψk
Ψk ≡ ∗ . (7.54)
ψ−k
89
• Apply the BOGOLIUBOV TRANSFORMATION
uk vk∗ uk vk∗ ϕk
Ψk = Φ ≡ , (7.55)
vk u∗k k
vk u∗k ϕ∗−k
(7.56)
2 2
|uk | − |vk | = 1
to diagonalize the matrix in Eq. (7.53). The second condition ensures that ψ ∂τ ψ is transformed ∗
to ϕ∗ ∂τ ϕ, i.e., the canonical structure is not changed. In the second quantization language, the
transformation preserves the commutation relations of the Boson creation and annihilation
operators. The coefficients are obtained by solving the generalized eigenvalue problem:
" 2 2 #
ℏ |k| iφ
+ gρ gρ e uk uk
2m c
ℏ2 |k|2
c
= E τ
k z . (7.57)
gρc e−iφ 2m + gρc
vk vk
It yields:
s 2
gρc 2 ℏk 2
Ek = ℏωk = ℏ k + , (7.58) (7.46)
m 2m
q
ℏ2 k2 /2m+gρc
uk + 12
= q 2E k . (7.59)
vk −e−iφ ℏ k /2m+gρ
2 2
2Ek
c
− 12
For an equivalent treatment in the second quantization form, see §4.2 of Ref. [25].
7.3.1 Introduction
Superconducting state is an ordered state of conducting electrons, which shows dissipationless con-
duction and perfect diamagnetism (Meissner effect). A comprehensive survey of the superconductiv-
ity can be found in Ref. [27]. The superfluidity of He3 can be regarded as the “superconductivity”
of charge-neutral particles [28].
Bardeen-Cooper-Schrieffer (BCS) theory reveals that the superconductivity is induced by the for-
mation of COOPER PAIRS – bound pairs of electrons. Electrons pair because of the presence of
an attractive interaction at the Fermi surface.
Attractive interaction in conventional superconductors is mediated by phonons (lattice vibrations):
• The action of an electron-phonon coupled system is
X 1 X
S [ψ, ψ ∗ , c, c∗ ] = c∗q (−iℏνm + ℏωq ) cq + √ Mq ρ−q cq + Mq∗ ρq c∗q + Se [ψ, ψ ∗ ] , (1.83)
q
ℏβV q
P (7.61)
where ωq is the dispersion of phonons, q ≡ (q, νm ), ρq ≡ ψ ∗
ψ
kσ kσ k+q,σ , and S e denote
the action of electrons.
• Complete the functional integrals over cq and c∗q :
1 X
S[ψ, ψ ∗ ] = |Mq | Dq ρ−q ρq + Se [ψ, ψ ∗ ] , (7.62) (1.146)
2
2ℏβV q
1 1 1 2ωq
Dq = + =− . (7.63)
iℏνn − ℏωq −iℏνn − ℏωq ℏ ωq2 + νn2
90
It indicates an effective e-e interaction mediated by phonons
2 2
|Mq | 2ωq iνn →ν |Mq | 2ωq
Veff (q, νn ) = − −→ , (7.64)
ℏ ωq + ν n
2 2 ℏ ν − ωq2
2
where X
Φ̂q ≡ âk+q↑ â−k↓ (7.68)
k
annihilates a pair of electrons (Cooper pair), and the summation over k is implicitly lim-
ited in the thin shell of states near the Fermi surface.
• The more realistic treatment, which is called the strong coupling theory, can be found in
§10 of Ref. [22].
• Unconventional superconductivity in such as high-Tc cuprates is also induced by the for-
mation of Cooper pairs. However, many believe that in these systems the attractive in-
teraction arises directly out of the electron-electron interaction instead of the electron-
phonon coupling.
1
χΦΦ∗ (q) = − ∆Φq ∆Φ∗q (7.70)
ℏ2 βV
1 X
∗ ∗ ∗ ∗
=− ψk+q↑ ψ−k↓ ψ−k ′ ↓ ψk ′ +q↑ − ⟨ψk+q↑ ψ−k↓ ⟩ ψ−k ′ ↓ ψk ′ +q↑ (7.71)
ℏ2 βV
kk′
diverges at q = 0. The correlation function is proportional to the two-particle Green’s function, and
in turn to the two-particle scattering amplitude T by Eq. (5.49). It implies that T diverges at the
critical point.
3 More generally, the two electrons of a Cooper pair need not to be at the exactly same position. As a result, the order
⟨ ⟩ ∫ ∫
parameter should be defined as Φ(r, r ′ ) = ψ↑ (r)ψ↓ (r ′ ) with Φk,q = dr dr ′ Φ(r, r ′ ) exp[−ik·(r −r ′ )−iq ·(r +r ′ )/2]. A
spatially uniform order parameter (q = 0) still has a k dependence. The rotational symmetry of the k dependence is referred
as the PAIRING SYMMETRY. The special case we study here has the s-wave symmetry. High-Tc cuprate superconductors have
the d-wave symmetry Φk,0 ∝ cos kx a−cos ky a. More exotic pairing symmetries are possible. See p. 287 of Ref. [2] or Ref. [28].
91
Bethe-Salpeter equation can be constructed in the particle-particle channel 4 :
2′ 2 2′ 2 2′ G 2
ι
T = W + T W , (7.72)
ℏ
G
1′ 1 1′ 1 1′ 1
where W denotes the irreducible electron-electron interaction. For Eq. (7.70): §6.2.3
Pair correlation function χ0ΦΦ∗ (q) describes how the pair amplitude of a non-interacting system re-
sponses to an external pairing potential which couples to the system by the action
Z Z
S∆ = dτ dr [Φ∗ (rτ )∆(rτ ) + Φ(rτ )∆∗ (rτ )] . (7.78)
where N1 (0) = N (0)/2 is the density of states at the Fermi surface per spin specie.
Long-wavelength expansion For small |q|, AS §6.7.3
7ζ(3)
(7.81)
2
χ0ΦΦ∗ (q, 0) ≈ χ0ΦΦ∗ (0, 0) + N1 (0)(ℏβvF )2 |q| .
48π 2
92
7.3.3 Mean field theory
Action corresponding to Eq. (7.67) is
X g X ∗
S [ψ, ψ ∗ ] = ∗
ψkσ (−iℏωn + ℏξk ) ψkσ − Φ Φq . (7.84)
ℏβV q q
kσ
Hubbard-Stratonovich transformation For an attractive interaction, we apply Eq. (6.126). The ac-
tion is transformed to
X 1 X ∗ 1 X1
S [ψ, ψ ∗ , ∆, ∆∗ ] = ∗
Φq ∆q + Φq ∆∗q +
2
ψkσ (−iℏωn + ℏξk ) ψkσ + |∆q | .
ℏβV q ℏβV q g
kσ
(7.85)
It is converted to a non-interacting electron system coupled to a random pairing field.
Nambu representation For the case of a uniform ∆(rτ ) = ∆ ≡ |∆| exp(iφ), we introduce a spinor
ψk↑
Ψk = ∗ . (7.86)
ψ−k↓
Anomalous Green’s function is the off-diagonal component of the generalized Green’s function in
the Nambu representation:
D h iE
G (xτ, x′ τ ′ ) = − T̂τ Ψ̂ (xτ ) Ψ̂† (x′ τ ′ ) (7.90)
D h iE D h iE
− T̂τ ψ̂↑ (xτ ) ψ̂↑† (x′ τ ′ ) − T̂τ ψ̂↑ (xτ ) ψ̂↓ (x′ τ ′ )
= D h iE D h
iE . (7.91)
† † ′ ′ † ′ ′
− T̂τ ψ̂↓ (xτ ) ψ̂↑ (x τ ) − T̂τ ψ̂↓ (xτ ) ψ̂↓ (x τ )
q
(7.94)
2 2
Ek = (ℏξk ) + |∆| ,
s
1 ℏξk
uk = 1+ , (7.95)
2 Ek
s
1 ℏξk −iφ
vk = − 1− e . (7.96)
2 Ek
93
With the transformation, the action becomes
X |∆|
2
S∆ [ψ, ψ ∗ ] = ∗
ψ̃kσ (−iℏωn + Ek ) ψ̃kσ + ℏβV . (7.97)
g
kσ
It describes Fermionic quasi-particles with gapped spectrums Ek . |∆| is called the SUPERCON-
DUCTING GAP.
Partition function can be written as
Z ( )
1 ∗ ∗ 1 X1 1 ∗ ∗
(7.98)
2
Z= D [ψ, ψ , ∆, ∆ ] exp − 2 |∆q | − Se [ψ, ψ , ∆, ∆ ] ,
Z∆0 ℏ βV q g ℏ
X 1 X ∗
Se [ψ, ψ ∗ , ∆, ∆∗ ] ≡ ∗
ψkσ (−iℏωn + ℏξk ) ψkσ + Φq ∆q + Φq ∆∗q , (7.99)
ℏβV q
kσ
Z " #
∗ 1 X1
(7.100)
2
Z∆0 ≡ D [∆, ∆ ] exp − 2 |∆q | .
ℏ βV q g
Z
1
Ze = D [ψ, ψ ∗ ] exp − Se [ψ, ψ ∗ , ∆, ∆∗ ] . (7.104)
ℏ
• The Landau functional can be defined as
1 X1 1
|∆q | − W [∆, ∆∗ ] . (7.105)
2
L= 2 2
ℏ β V q g β
1 1 ∂W [∆, ∆∗ ]
∆= , (7.106)
g βV ∂∆∗
Z
∂W [∆, ∆∗ ] 1 ∗ Φq=0 1 ∗ ∗
= − D [ψ, ψ ] exp − S e [ψ, ψ , ∆, ∆ ] (7.107)
∂∆∗ Ze ℏ ℏ
1 1X
≡ − ⟨Φq=0 ⟩e = [Gk ]12 , (7.108) (7.89)
ℏ ℏ
k
94
• It can also determine the temperature dependence of the superconducting gap:
p
∆(0) − 2π∆(0)kB T e−∆(0)/kB T T ≪ Tc
|∆(T )| ≈ h i1/2 1/2 . (7.110) FW (51.46)
π 8
k B T c 1 − T
T c − T ≪ Tc
7ζ(3) Tc
∆(0)
= πe−γ ≈ 1.76. (7.111) FW (51.44)
k B Tc
Note that the ratio between the zero-temperature gap and the critical temperature is a
universal constant –a unique prediction of the weak-coupling BCS theory.
Thermodynamic properties The Landau functional with respect to the mean-field uniform ∆ is
the mean-field grand potential Ωs of a superconducting system. According to Eq. (7.97), a su-
perconducting system is equivalent to a non-interacting Fermion system with the dispersion
Eq. (7.94). We thus have :
Z (3.43)
4N1 (0) ℏωD 1 + e−βE
2
Ωs (|∆|) − Ω0 |∆| 1
= − dϵ ln + β (E − ϵ) , (7.112)
V g β 0 1 + e−βϵ 2
" ! Z #
4 ℏωD
2
1 ∆(0) −βE π2
− 2 , (7.113) FW (51.53)
2
= −N1 (0) |∆| 1 + ln + dϵ ln 1 + e
2 ∆ β 0 3β
− 1 ∆2 (0) + 1 π 2 N1 (0) (kB T )
N (0) 2
T →0
≈
2 3 2 , (7.114) FW (51.54, 63)
− 2
7ζ(3) N1 (0) (πkB Tc ) 2 1 − Tc T → Tc
8 1 T
q
where E ≡ ϵ2 + |∆| .
2
Hc2 Ωs − Ω0
=− . (7.115)
8π V
• The specific heat has a jump at the critical point: FW (51.66)
Cs − Cn 12
= ≈ 1.43. (7.116)
Cn Tc 7ζ(3)
Gradient correction To obtain the gradient correction, we expand W [∆, ∆∗ ] as a power series
of |∆q | . To the second order:
2
1 X 0
ℏW [∆, ∆∗ ] ≈ − (7.118) (7.77)
2
χ ∗ (q) |∆q | .
ℏβV q ΦΦ
In the static limit ∆q = ℏβ∆q δνm ,0 , we apply Eq. (7.81) and obtain
γ
N1 (0) X 2e 7ζ(3)
ℏW [∆, ∆∗ ] ≈ (7.119)
2 2
ln ℏβωD − (ℏβv F ) 2
|q| |∆q | .
V q
π 48π 2
95
The gradient correction can then be identified.
Adding the gradient correction to SLDA , we obtain
ℏβN1 (0) X T 7ζ(3)
S [∆, ∆∗ ] ≈ (7.120)
2 2
ln + (ℏβv F ) 2
|q| |∆q | + . . .
V q
T c 48π 2
Z
T 2 7ζ(3) 2 4
≈ ℏβN1 (0) dr ln |∆(r)| + (ℏβv F ) 2
|∇∆(r)| + b |∆(r)| ,
Tc 48π 2
(7.121)
where SLDA is expanded to the order of |∆(r)| , and b can be fixed by Eq. (7.110):
4
7ζ(3) 2
b= β . (7.122)
16π 2
S [∆, ∆∗ ]
L [F, F ∗ ] ≡ (7.124)
ℏβ
( )
Z 2
ℏ2 (kB Tc ) T 1
, (7.125)
2 2 4
≈ dr |∇F (r)| + a − 1 |F (r)| + |F (r)|
4m ϵF 0 Tc 2ρ0
6π 2
a≡ ≈ 7.04. (7.126)
7ζ(3)
In the presence of a magnetic field, the gradient operator should be replaced with ∇ →
∇ + (i2e/ℏc)A because of the gauge symmetry (see next).
Quantum effect is suppressed when T → Tc . This is a result of the diverging coefficients
of the expansion of χ0ΦΦ∗ (q, νm ) with respect to νm .
Gauge symmetry With the Nambu representation, the action Eq. (7.85) can be written as
Z ℏβ Z " #
2
∗ ∗ † −1 |∆(rτ )|
S [ψ, ψ , ∆, ∆ , A, ϕ] = dτ dr −ℏΨ (rτ )Gˆ Ψ(rτ ) + , (7.127)
0 g
" 2 #
1 −ℏ∂τ − 1
−iℏ∇ + ec A − ieϕ + µ ∆(rτ )
Gˆ−1 = 2m 2 ,
ℏ ∆∗ (rτ ) −ℏ∂τ + 1
2m −iℏ∇− ec A +ieϕ − µ
(7.128)
96
• It is also invariant under the local U (1) gauge transformation
δS ieℏ † −
→ ← − e2
j(rτ ) = −c = Ψ (rτ ) ∇ − ∇ Ψ(rτ ) − ρ(rτ )Ã(rτ ), (7.137) (7.127)
δA(rτ ) A→Ã 2m mc
eℏ X q † iωn ητ̂3 e 2 ρ0
jq = − k+ Ψk e Ψk+q − δq,0 Ãq . (7.138)
m 2 mc
k
97
Effective action of the Goldstone mode must have a form consistent with all the symmetries of
the original microscopic model, including the local gauge symmetry. In the long-wavelength
limit, we have
Z Z " 2 #
2
1 1 e 1 e
SG [φ, A, ϕ] = dτ dr c1 ∂τ φ + ϕ + c2 ∇φ + A + ... (7.147)
2 2 ℏ 2 ℏc
" #
1 X
2 2
iνm e i e
= c1 − φq + ϕq + c2 qφq + Aq + ... (7.148)
2ℏβV q 2 ℏ 2 ℏc
where χρρ (q) is the density correlation function for the superconducting system, and ρq ≡
P † iωn ητ̂3
k Ψk e τ̂3 Ψk+q . In the long-wavelength limit, χρρ (0) ≈ −N (0), we have
• Similarly:
2 2
ℏc δ 2 SG ℏ δjq
c2 (q) = (ℏβV) =− c (7.152)
e δAq δA−q e δAq
ℏ2
c2 ≡ lim c2 (q) = ρs . (7.153)
q→0 m
Anderson-Higgs mechanism When the Goldstone mode is coupled to a massless (long-range) gauge
field (e.g., the EM field), it disappears and gives rise to a finite mass (short range) to the gauge
field.
• The total action for a superconductor coupled to the EM field is
Z Z " 2 #
1 1
(7.154)
2
S [φ, A, ϕ] = SG [φ, A, ϕ] + dτ dr ∇ϕ − ∂τ A + |∇ × A| .
8π c
• Since the action of the EM field is gauge-invariant, one can preform the gauge transfor-
mation Eq. (7.135,7.136). The resulting action does not depend on φ –the Goldstone mode
disappears!
Z Z " 2 #
h i 1 1 2 4πe2 2 2
S Ã, ϕ̃ = dτ dr ∇ϕ̃ − ∂τ à + ∇ × Ã + ρs à + 4πe2 N (0) ϕ̃ .
8π c mc2
(7.155)
• We can decompose à to the transverse and longitudinal components: à = ÃT + ÃL with
∇ · ÃT = 0 and ∇ × ÃL = 0.
h i Z Z 2
1 2 4πe2 2
S Ã, ϕ̃ = dτ dr c−2 ∂τ ÃT + ∇ × ÃT + ρ s à T
8π mc2
Z Z
1 2 4πe2 2 2
+ dτ dr ∇ϕ̃ − c−1 ∂τ ÃL + ρ s à L
+ 4πe 2
N (0) ϕ̃ . (7.156)
8π mc2
98
– The transverse component ÃT gains a mass. It will be screened – MEISSNER EFFECT;
– The longitudinal component of ÃL is coupled to the scalar field. After integrating
out ÃL , it gives rise a plasmon-like mode – This is what the Goldstone mode finally
becomes.
Meissner effect The magnetic field must vanish inside the bulk of a superconductor – the
perfect diamagnetism. Differentiating the action with respect to AT , we obtain
4π 4πe2 ρs T 4πe2 ρs
∇ × B ≡ −∇ A =
2 T
js = − A =⇒ − ∇ B(r) = 0.
2
(7.157)
c mc2 mc2
−1/2
It predicts a PENETRATION DEPTH that is λ = c 4πe2 ρs /m .
Problems
1. Determine the upper critical dimensions of ϕn , (∇ϕ) , and ϕ∇n ϕ terms in a Landau functional.
n
2. Determine an expression for the density-correlation function of superconductors [see Eq. (7.150)].
To simplify the calculation, one can assume β∆ ≫ 1.
(a) Determine the long-wavelength limit χρρ (q = 0, νm ).
(b) Determine the expansion of χρρ (q = 0, νm ) in the limits of ℏνm ≪ ∆ and ℏνm ≫ ∆,
respectively.
(c) Compare the result with the density response function of a normal system [Eq. (6.85)].
Hint: Mathematica is actually very good in carrying out frequency summations. Use “Sum”
for the summation and “Series”for the expansion.
3. Integrating out either ϕ̃ or ÃL from the action Eq. (7.155). What is the dispersion of the resulting
plasmon-like mode? What is the regime of validity of the result?
4. Stoner magnetism: consider the Hubbard model Eq. (1.90). The interaction term can be rewrit-
ten as
UX X
(7.158)
2
ĤU = (ni↑ + ni↓ )2 − U (Siz ) ,
4 i i
where Siz ≡ (ni↑ − ni↓ )/2. One can neglect the first term. With the remaining term, develop a
mean field theory and obtain its effective Landau-Ginzburg functional. AS §6.7.8
99
Bibliography
[1] Fermions - How do you find a particular representation for Grassmann num-
bers? https://physics.stackexchange.com/questions/95259/how-do-you-find-a-particular-
representation-for-grassmann-numbers.
[2] Philip W. Anderson. Basic Notions of Condensed Matter Physics. Addison-Wesley, March 2010.
[3] Gordon Baym and Leo P. Kadanoff. Conservation Laws and Correlation Functions. Phys. Rev.,
124(2):287–299, October 1961.
[4] David Chandler and Peter G. Wolynes. Exploiting the isomorphism between quantum the-
ory and classical statistical mechanics of polyatomic fluids. The Journal of Chemical Physics,
74(7):4078–4095, April 1981.
[5] R. Chitra and Gabriel Kotliar. Effective-action approach to strongly correlated fermion systems.
Phys. Rev. B, 63(11):115110, March 2001.
[6] John M. Cornwall, R. Jackiw, and E. Tomboulis. Effective action for composite operators. Phys.
Rev. D, 10(8):2428–2445, October 1974.
[7] Andrea Damascelli, Zahid Hussain, and Zhi-Xun Shen. Angle-resolved photoemission studies
of the cuprate superconductors. Rev. Mod. Phys., 75(2):473–541, April 2003.
[8] S. M. Girvin and Terrence Jach. Formalism for the quantum Hall effect: Hilbert space of analytic
functions. Phys. Rev. B, 29(10):5617–5625, May 1984.
[9] Brian C. Hall. Holomorphic Methods in Mathematical Physics. Contemporary Mathematics,
260:1, December 1999.
[10] Alexander Cyril Hewson. The Kondo Problem to Heavy Fermions. Cambridge University Press,
March 1997.
[11] Setsuo Ichimaru. Strongly coupled plasmas: High-density classical plasmas and degenerate
electron liquids. Rev. Mod. Phys., 54(4):1017–1059, October 1982.
[12] Setsuo Ichimaru and Kenichi Utsumi. Analytic expression for the dielectric screening func-
tion of strongly coupled electron liquids at metallic and lower densities. Phys. Rev. B,
24(12):7385–7388, December 1981.
[13] G. Kotliar, S. Y. Savrasov, K. Haule, V. S. Oudovenko, O. Parcollet, and C. A. Marianetti. Electronic
structure calculations with dynamical mean-field theory. Rev. Mod. Phys., 78(3):865, 2006.
[14] Evgeny Kozik, Michel Ferrero, and Antoine Georges. Nonexistence of the Luttinger-Ward Func-
tional and Misleading Convergence of Skeleton Diagrammatic Series for Hubbard-Like Models.
Phys. Rev. Lett., 114(15):156402, April 2015.
[15] Ryōgo Kubo, Morikazu Toda, and Natsuki Hashitsume. Statistical Physics II: Nonequilibrium
Statistical Mechanics. Springer-Verlag, March 1983.
[16] Huiying Liu, Ying Yuan, Donghao Liu, Xin-Zheng Li, and Junren Shi. Superconducting transi-
tion temperatures of metallic liquids. Phys. Rev. Research, 2(1):013340, March 2020.
[17] J. M. Luttinger and J. C. Ward. Ground-State Energy of a Many-Fermion System. II. Phys. Rev.,
118(5):1417–1427, June 1960.
100
[18] N. D. Mermin. The topological theory of defects in ordered media. Rev. Mod. Phys., 51(3):591,
July 1979.
[19] N. D. Mermin and H. Wagner. Absence of Ferromagnetism or Antiferromagnetism in One- or
Two-Dimensional Isotropic Heisenberg Models. Phys. Rev. Lett., 17(22):1133–1136, November
1966.
[20] Takahiro Mizusaki and Makito Oi. A new formulation to calculate general HFB matrix elements
through the Pfaffian. Physics Letters B, 715(1):219–224, August 2012.
[21] Naoto Nagaosa. Quantum Field Theory in Condensed Matter Physics. Springer, March 1999.
[22] R. D. Parks. Superconductivity: (In Two Volumes). Marcel Dekker, March 1969.
[23] Kaare Brandt Petersen and Michael Syskind Pedersen. The Matrix Cookbook, November 2012.
[24] David Pines and Philippe Nozieres. The Theory of Quantum Liquids, Vol. 2. Advanced Book
Classics. Benjamin, March 1990.
[25] Lev Petrovich Pitaevskiĭ and S. Stringari. Bose-Einstein Condensation. Oxford University Press,
March 2003.
[26] Gianluca Stefanucci and Robert van Leeuwen. Nonequilibrium Many-Body Theory of Quantum
Systems. Cambridge University Press, March 2013.
[27] Michael Tinkham. Introduction to Superconductivity. McGraw Hill, March 1996.
[28] Dieter Vollhardt and Peter Wölfle. The Superfluid Phases of Helium 3. Taylor & Francis, March
1990.
[29] Di Xiao, Junren Shi, and Qian Niu. Berry Phase Correction to Electron Density of States in Solids.
Phys. Rev. Lett., 95(13):137204, 2005.
101