Introduction to Renormalization
with Applications in Condensed-Matter and High-Energy Physics
Institute for Theoretical Physics, University of Cologne
Lecture course, winter term 2017/2018
Michael M. Scherer
January 26, 2021
Contents
Contents 1
1 Introduction5 1.1 Aspects of the renormalization group...... 6 1.2 Phase transitions...... 7 1.3 Critical phenomena...... 8 1.4 Perturbative quantum field theory ...... 9 1.5 Renormalization-group based definition of QFTs ...... 10 1.6 QFTs in the high-energy limit...... 11
2 Phase transitions and critical phenomena 13 2.1 Ising model...... 13 2.1.1 Remarks on solutions of the Ising model in d = 1 and d = 2 ...... 14 2.1.2 Symmetries of the Ising model ...... 15 2.2 XY model and Heisenberg model...... 15 2.3 Universality and critical exponents...... 16 2.4 Scaling hypothesis for the free energy...... 17 2.4.1 Derivation of power laws from scaling hypothesis...... 18 2.4.2 First attempt to calculate critical exponents...... 19 2.5 Correlations and hyperscaling...... 20 2.6 Ginzburg-Landau-Wilson theory ...... 22 2.6.1 Functional integral representation of the partition function ...... 22 2.6.2 Saddle-point approximation (SPA)...... 27 2.6.3 Critical exponents in saddle-point approximation∗ ...... 28 2.7 Kosterlitz-Thouless phase transition ...... 29 2.7.1 XY model in two dimensions ...... 29 2.7.2 Limiting cases at low and high temperatures ...... 30
3 Wilson’s renormalization group 31 3.1 General strategy ...... 31 3.2 Momentum-shell transformation ...... 34 3.2.1 Perturbation theory ...... 35 3.2.2 Combinations in eq. (3.23) that contribute in eq. (3.19) ...... 36
1 Contents
3.3 Determination of fixed-point coupling below four dimensions...... 39 3.4 Epsilon expansion and Wilson-Fisher fixed point ...... 41 3.5 Summary and comparison to experiment...... 44 3.6 Excursion: Relations to QFTs in high-energy physics...... 45 3.6.1 Landau-pole singularity and the triviality problem...... 47 3.6.2 Fine-tuning and the hierarchy problem...... 49
4 Functional methods in quantum field theory 51 4.1 Introductory remarks...... 51 4.2 Generating functional ...... 52 4.2.1 Correlation functions...... 52 4.2.2 Schwinger functional...... 54 4.3 Effective action...... 54 4.4 Perturbative renormalization ...... 57 4.4.1 Divergencies in perturbation theory ...... 57 4.4.2 Removal of divergencies...... 60 4.4.3 Divergencies in perturbation theory: general analysis...... 63 4.4.4 Classification of perturbatively renormalizable theories...... 66
5 Functional renormalization group 69 5.1 Effective average action ...... 69 5.1.1 The regulator term...... 70 5.2 Wetterich equation...... 71 5.2.1 Some properties of the Wetterich equation...... 73 5.2.2 Method of truncations...... 74 5.2.3 Example: Local potential approximation and for a scalar field . . . . . 75 5.3 Functional RG fixed points and the stability matrix ...... 77 5.3.1 Example: critical exponents for scalar field theories...... 79 5.4 Ultraviolet completion of quantum field theories...... 81 5.4.1 Preliminaries...... 81 5.4.2 Asymptotic safety scenario (Weinberg 1976, Gell-Mann-Low 1954) ...... 83 5.4.3 Candidate theories for asymptotic safety...... 86
A Remark on generating functional 89 A.1 Connected and disconnected Green’s functions ...... 89 A.2 Example: two-point function ...... 91
B Divergencies beyond 1-loop 93 B.1 Recap: Renormalized action and 1-loop divergencies...... 94 B.2 Divergencies beyond 1-loop ...... 96 B.3 Callan-Symanzik equations ...... 97 B.4 Inductive proof of perturbative renormalizability (idea) ...... 99
2 Recommended literature
φ−1
I. Herbut, A Modern Approach to Critical Phenomena, Cambridge University Press. No-frills introduction to critical phenomena and basics of the renormalization group `ala Wilson. Excellent first read to become acquainted with the physics and concepts. The start of this lecture follows this presentation, i.e. my chapters on the Ginzburg-Landau-Wilson theory and Wilson’s RG.
J. Zinn-Justin, Quantum Field Theory and Critical Phenomena, Oxford University Press (2nd edition). 1000+ pages of quantum field theory and statistical mechanics for enthusiasts with a lot of details, background and also explicit calculations. Also contains also some more formal and mathematical aspects. Can also be considered as a general reference work. Does not contain functional renormalization. My chapter on the functional integral approach to QFT is a compilation of Chaps. 5,6, 7 & 9 of this tome.
H. Gies, Introduction to the functional RG and applications to gauge theories, e- Print:hep-ph/0611146. https://arxiv.org/pdf/hep-ph/0611146.pdf. Sections 1 and 2 give a smooth and straightforward introduction to the functional RG formalism and a very nice instructive example for its application (the euclidean anharmonic oscillator). Inspired parts of my chapter on functional RG.
M.E. Peskin and D.V. Schroeder, An Introduction to Quantum Field Theory, Addison-Wesley. The introductory QFT textbook for particle physicists. After a canonical introduction to relativistic QFT in part I, the second part deals with functional integrals. Also contains a pretty nice chapter on critical phenomena which provides a complementary point of view. No functional RG.
Further useful reads
• J. Cardy, Scaling and Renormalization in Statistical Physics, Cambridge Lecture Notes in Physics.
• P. Kopietz, L. Bartosch, F. Sch¨utz,Introduction to the Functional Renormalization Group, Lecture Notes in Physics 798.
3 Contents
• M. Salmhofer, Renormalization. An Introduction. Springer, Berlin 1998, ISBN 3540646663
4 Chapter 1
Introduction
Quantum field theory provides a framework for the description of all fundamental interac- tions (strong, weak, electromagnetic, maybe gravity), phase transitions in particle physics, statistical mechanics and condensed-matter physics:
Quantum field theory is the framework for the discussion of systems with a large/infinite number of coupled degrees of freedom.
In quantum field theory and statistical mechanics renormalization is required to treat infini- ties which appear in calculated quantities, typically induced by effects of self-interactions. Moreover, even when no infinities occur in loop diagrams in QFT, renormalization of masses and fields appearing in the Lagrangian is needed.
Renormalization is a procedure to adjust the theoretical parameters describing a system in such a way as not to change the measurable properties on the length of time scales of interest.
Generally speaking, in quantum or statistical field theory, a system at one scale is described by a set of different parameters (particle masses, couplings, interactions,...). The renormalization group (RG) then describes how these parameters are changed when the system is considered at a different scale, i.e. the couplings of a system are running couplings, running with the scale. A variation of the scale loosely corresponds to changing the magnifying power of an appropriate microscope for viewing the system.
The renormalization group refers to a mathematical procedure that facilitates the system- atic study of the changes of a physical system when viewed at different length or energy scales.
Upon changing the scale, it might turn out that a particular description of a system in terms of a chosen Lagrangian becomes inappropriate and new degrees of freedom arise. This can also be assessed by the RG.
5 1. Introduction
In the following, I will first discuss some of the aspects of the RG to give a rough overview. These different aspects will then be worked out in more detail during the lecture.
1.1 Aspects of the renormalization group
• phase transitions and critical phenomena in:
– statistical mechanics (liquid-vapor transitions, ferromagnetic transitions,...) – condensed-matter/solid-state physics (superfluid/superconducting transitions,...) – quantum chormodynamics (chiral symmetry-breaking, confinement-defconfinement transition,...) – Standard-Model-Higgs sector
• perturbative quantum field theory
– divergencies and their removal – predictivity of QFTs – classification of (perturbatively) renormalizable QFTs
• quantum field theories in the high-energy limit
– triviality problem – non-perturbatively renormalizable QFTs – UV completion – asymptotic freedom/safety
• renormalization-group based definitions of quantum field theories
6 liquid-gas (1st order) theory space 1.2. Phase transitions S + Renormalization-group methods are relevant to a large diversity of fields many (apparently) different implementations ⇒ orderparameter sometimes hard to access ⇒ Functional RG providestemperature unified formulation. → h m > 0 1.2 Phase transitions m ≠ 0 m = 0 T • Sketchy phase diagram of water: FM Tc PM m < 0
solid phase liquid phase pressure pc critical point
vapour
temperature Tc
• Definition:
A phase transition is a point in parameter space (T, p, µ, h, ...) where the thermo- dynamic potential becomes non-analytic.
– non-analyticity only possible in thermodynamic limit. – in a finite system: partition function is sum of analytic functions of its parameters analytic ⇒ – phase transitions may be continuous (2nd order) or discontinuous (1st order). – transition lines in phase diagram of water: 1st order transitions – at critical point in phase diagram of water: 2nd order transition
• continuous phase transition: change of phase of a macroscopic system in equilibrium is not accompanied by latent heat.
• discontinuous phase transition: change of phase of a macroscopic system in equilibrium is accompanied by latent heat.
• define physical quantity to distinguish phases: order parameter
7 1. Introduction
• examples for order parameters: – average density (liquid-gas) liquid-gas (1st order)
– resistance (liquid-solid)
– magnetization (Fe, AFM: La2Cu2) – condensate (BEC: Li, Rb) orderparameter – superfluid density 4 3 (Al, Pb, YBa2Cu3O6.97, He, He) temperature
• examples for phase transitions: Ising ferromagnet (“Ising model”), superfluid transition, Bose-Einstein condensation, superconducting transition, Higgs mechanism, confinement- deconfinement transition (QCD, lattice spin models)
1.3 Critical phenomena
• Critical phenomena occur in continuous/2nd order phase transitions
• definition:
Critical phenomena: non-analytic properties of systems near a continuous phase transition.
• definition:
Critical point: point in the phase diagram where a continuous phase transition takes place.
• observation 1:
– at phase transition, we see droplets in bubbles and bubbles in droplets in all sizes (strong fluctuations). – through microscope: same picture at any magnification. system is scale invariant ⇒ – a nice video which exhibits this behavior with an Ising model can be found here: https://www.youtube.com/watch?v=MxRddFrEnPc
• observation 2:
– Completely different systems with many degrees of freedom and complex interac- tions show quantitatively identical behavior. – this can be described with a small set of variables and scaling relations notion of universality −→ 8 1.4. Perturbative quantum field theory
• example: liquid-gas coexistence curves of fluids near the critical point: Here, consider the condensation line, i.e. the first order transition line, where the gas coexists with the liquid, near the critical point in the density-temperature plane (coexistence region below the curve).
– for Ne, A, Kr, Xe, N2,O2,CO, CH4
– curves are identical when rescaled with ρc,Tc – ∆ρ (T T )β with β 0.33 ∼ − c ≈ – in some paramagnetic-ferromagnetic transitions m (T T )β with β 0.33 (MnF ) ∼ c − ≈ 2 • specific heat and susceptibility also follow simple power laws
• power laws: C t −α and χ t γ with the reduced temperature: t = (T T )/T V ∼ | | ∼ | | − c c – α, β, γ: critical exponents – critical exponents can be non-rational, e.g., β 0.326419(3) (best theoretical ≈ estimate) – critical exponents often only depend on symmetries of a system and not on details
• questions:
– where does the emergence of universality in different systems come from? – can we calculate the critical exponents?
1.4 Perturbative quantum field theory
• Remark on relations between euclidean QFT and statistical mechanics
– Euclidean QFT in d-dimensional spacetime classical statistical mechanics in ∼ d-dimensional space – Euclidean QFT in (d + 1)-dimensional spacetime, 0 τ β quantum statistical ≤ ≤ ∼ mechanics in d-dimensional space liquid-gas (1st order) – Euclidean QFT in d-dimensional spacetime High-temperature quantum statis- ∼ tical mechanics in d-dimensional space
• observation: perturbatively calculated correlation functions φ(x )...φ(x ) are gener- h 1 n i ally divergent, i.e. na¨ıvely they are not well-defined. orderparameter
4 • example: φ theory in four dimensions temperature
– action: S[φ] = R d4x 1 φ(x)( ∂2 + m2)φ(x) + λ φ(x)4 2 − µ 4 – one-loop two-point function gives contribution to mass term m2: ∼ Z Z 4 4 ipx d q 1 φ(p)φ( p) 1−loop = d x e φ(x)φ(x) λ 4 2 2 h − i| h i ∼ R4 (2π) q + m ∼
9 1. Introduction
– introduce high-momentum cutoff Λ:
Z 4 Z 4 d q 1 d q 1 Ω4 2 2 2 2 λ 4 2 2 λ 4 2 2 = Λ Λ m log(1 + Λ /m ) R4 (2π) q + m −→ q2≤Λ2 (2π) q + m 2 −
– cutoff regularization: quantitative control of divergence
• in summary: – tree level: φ(p)φ( p) m2 h − i|p=0 ∼ 2 2 2 2 2 – with 1-loop correction: m + λ(c1Λ + c2m log(1 + Λ /m )) – interpretation: ∗ m2: parameter of theory ∗ m2 + λ(...): physical correlation function (should not be Λ-dependent!) adjust m = m(Λ), λ = λ(Λ), φ = φ(Λ) such that φ(x )...φ(x ) is Λ- ⇒ h 1 n i independent and finite for Λ . → ∞ perturbative renormalization → • questions: – is this strategy always possible (classification of theories)? – are the predictions of the theory independent from the regularization scheme? – what is the role/interpretation of the cutoff (effective theories)? – why are so many theories realized in nature (for example the standard model of particle physics) renormalizable within perturbative QFT?
1.5 Renormalization-group based definition of QFTs
• observation: – systematic analysis of divergencies of quantum field theories is difficult beyond perturbation theory
• idea: integration of fluctuations in one narrow momentum shell (= “RG step”) is finite construct integration over all fluctuations by (infinite) sequence of RG steps ⇒ Exact/functional renormalization group, flow equations ⇒ liquid-gas (1st order) theory space – RG flow of average effective action Γk – flow equation describes continuous trajectory S connecting the microscopic action and the full (quantum) effective action:
orderparameter S = Γ Γ = Γ k=Λ −→ k=0 (see also QFT II)temperature
10 1.6. QFTs in the high-energy limit
1.6 QFTs in the high-energy limit
• for perturbatively renormalizable QFTs, the high-energy conditions (parameters) at cutoff Λ can be chosen such that the low-energy predictions are independent of Λ.
• questions: – how “natural” are these initial conditions for different systems? – do we need to “fine tune” the conditions? hierarchy problem in the standard model of particle physics −→ – can cutoffliquid-gas of perturbatively (1st order) renormalizable QFTs be removedtheory (i.e. space be sent to )? ∞ ∗ if yes: QFT is valid on all scales (fundamental theory) S ∗ if no: QFT predicts its own failure (e.g. triviality problem) liquid-gas (1st order)hint towards new physics theory space ⇒
orderparameter • example (for hint towards new physics): S temperature – Fermi’s theory: 4-Fermion interaction amplitude λ for neutrino-neutrino scattering
orderparameter – dimensional analysis:
temperature λ + λ2Λ2 + M ∼ ∼
Failure! Amplitude blows up ⇒ new physics can cure this problem+ (within perturbation theory): → introduce vector boson
– mechanism can also be occur towards low energies, indicating appearance of an ordering transition, where the relevant degrees of freedom of the system change (e.g. in terms of condensation)
• are there QFTs that are perturbatively non-renormalizable and non-perturbatively renormalizable?
– Weinberg’s Asymptotic Safety scenario – possibly applies to quantum gravity – reminiscent of asymptotic freedom in QCD
11
Chapter 2
Phase transitions and critical phenomena
2.1 Ising model
Before, we discuss the theory of critical phenomena from a general point of view, we reconsider some of the basic models which show (second order) phase transitions. The Ising model is a basic model to describe a simple ferromagnet or the disorder-order transition in binary alloys. Here, we will use it to introduce some basic notions, definitions and ideas.
• The partition function of the Ising model reads: X Z = e−βH (2.1)
{si=±1, i=1,...,N}
where β = 1/(kBT ) is the inverse temperature multiplied by the Boltzmann constant. Further, we define the energy H of a magnetic dipole/spin configuration s , s , ..., s : { 1 2 N } X X H = J s s h s (2.2) − i j − i hi,ji i
• model shall be defined on the sites of a lattice (chain, quadratic, cubic, hypercubic)
• i, j indicates a sum over nearest neighbors h i • J is the nearest-neighbor coupling, h is an external magnetic field
• for T J (also if h = 0): expect that all dipoles point in same direction • for T J (also if h = 0): interaction between dipoles negligible random arrangement → • magnetization per dipole: 1 X m = s = s e−βH (2.3) h ji Z j {si=±1, i=1,...,N}
• magnetization m can serve as an order parameter for the phase transition at h = 0,T = Tc
• ferromagnetic (FM) phase: m = 0 6 13 liquid-gas (1st order) theory space S +
orderparameter 2. Phase transitions and critical phenomena temperature
• paramagnetic (PM) phase: m = 0
• for h = 0 : m = T 6 6 ∀ • equation (2.1) can be solved exactly in d 1, 2 ∈ { }
h m > 0 m ≠ 0 m = 0 T FM Tc PM m < 0
2.1.1 Remarks on solutions of the Ising model in d = 1 and d = 2 In one dimension (d = 1, dipole chain of length N ) it is found that m = 0 T > 0 → ∞ ∀ no phase transition. ⇒
Reasoning:
• assume all dipoles are oriented in one direction (i.e. system is in FM state)
• flip half of the dipoles energy cost ∆E = 2J (one pair points in opposite directions) domain wall ⇒ → • pair with dipoles in opposite directions can be chosen in N different ways increase of entropy: ∆S = k log N (with N being the number of microstates realizing ⇒ b one domain wall) free energy F = E TS is always lowered in large system (N 1) by flipping half ⇒ − of the dipoles , even at infinitesimal T ordered state is unstable m = 0 only at T = 0. ⇒ ⇒ 6 Competition between E and S is different in d > 1:
• state with spontaneous magnetization at T > 0 is possible in d = 2 (R. Peierls)
• exact solution of the 2d-Ising model by L. Onsager:
– system has continuous phase transition with kBTc/J = 2.269 – for T < T and near T : m (T T )1/8 (magnetization) and C log T T c c ∼ c − ∼ − | c − | (specific heat)
• no exact solution in d = 3. We know, however:
– 3d-Ising model has critical point – characteristics known with great accuracy we’ll calculate them in this lecture! →
dimensionality is crucial for critical behavior.
14 2.2. XY model and Heisenberg model
2.1.2 Symmetries of the Ising model
• at h = 0: global symmetry under transformation s s i i → − i ∀
• this is called Z2 (or Ising) symmetry, it is a discrete symmetry
• Z2 symmetry is present in PM phase (m = 0)
• Z2 symmetry is broken in FM phase:
– there is nothing in the Hamiltonian, however, that explicitly breaks this symmetry – direction of magnetization depends on history of the system
phenomenon of spontaneous symmetry breaking −→ • problem: if partition function is calculated by summing over all configurations magnetization will vanish due to Z symmetry ⇒ 2 • to describe ordered phase (FM with = 0): 6 – restrict space of configurations over which sum in Z is performed, e.g., at h = 0 6 – take limit h 0 after thermodynamic limit has been performed → m = 0 survives the h 0 limit ⇒ 6 → • actual physical process is different from mathematical procedure (as it is induced by the history of the system)
2.2 XY model and Heisenberg model
Allow dipoles to point arbitrarily:
• in the plane: XY model
• in space: Heisenberg model
These models then have continuous symmetries.
• partition function:
Z N Y P ~ ·~ ~ P ~ Z = δ( S~ 1)ddS~ eβ(J hi,ji Si Sj +h i Si) (2.4) | i| − i i=1
symmetry of the model will be crucial for critical behavior.
15 2. Phase transitions and critical phenomena
2.3 Universality and critical exponents
• some properties of a system near critical points are the same for completely different physical systems
• example: specific heat near liquid-gas critical point ˆ=specific heat in PM-FM transition some macroscopic properties of systems near continuous phase transitions are ind- ⇒ pendent from the microscopic interactions between particles these properties only depend on dimensionality & symmetry → different physical systems exhibiting the same behavior near critical point → universality or universal critical behavior → • universal critical behavior can be expressed in terms of power laws, e.g., in liquid-gas transition with reduced temperature t:
1. specific heat near Tc: −α C = C± t , (2.5) V | | where C± refers to t > 0 or t < 0.
2. compressibility near Tc:
1 ∂ρ −γ κ = = κ± t . (2.6) T ρ ∂p | | - the analogue in a magnetic system is the susceptibility: χ t −γ. ∝ | | 3. difference between gas and liquid densities along coexistence curve near the critical point: ρ ρ = ρ ( t)β . (2.7) L − G c − - the analogue in a magnetic system is the magnetization: m ( t)β. ∝ − 4. critical isotherm (T = Tc) near p = pc: δ p pc ρL ρG − = − . (2.8) pc ρc - analogue in a magnetic system: m h1/δ at t = 0 and h 0. ∝ → • α, β, γ, δ: – non-trivial and (not completely independent) real numbers – universal, i.e. they are the same for a whole class of various phase transitions – they are called the critical exponents
– C+/C− and κ+/κ− are also universal (amplitude ratios)
Experimental evidence for universality of the critical exponents was found in 1930s. Micro- scopic understanding and calculation of critical exponents was achieved in 1970s with the help of the renormalization group.
16 2.4. Scaling hypothesis for the free energy
Table 2.1: Theoretical estimates for critical exponents of the Ising, XY and Heisenberg universality classes. The term Ising specifies the symmetry group of the corresponding order parameter to be Z2. In the case of the XY universality class the symmetry is O(2) and for Heisenberg it is O(3). The indices in the upper line denote the dimensionality
Exponent Ising2 Ising3 XY3 Heisenberg3 α 0 (log) 0.110(1) -0.015 -0.10 β 1/8 0.3265(3) 0.35 0.36 γ 7/4 1.2372(5) 1.32 1.39 δ 15 4.789(2) 4.78 5.11
2.4 Scaling hypothesis for the free energy
The power laws near a critical point can be derived from the assumption of scaling:
• consider a magnetic system near paramagnet-ferromagnet transition
• magnetization shall have preferred axis, i.e. can be assumed to be a scalar uniaxial → ferromagnet same symmetry as Ising model Ising universality class → →
• in vicinity of critical point (T = Tc, h = 0): thermodynamic potential (free energy) becomes non-analytic/singular
• decompose Gibbs free energy per unit volume fG(T, h) into singular and regular part:
fG(T, h) = f(T, h) + freg(T, h) . (2.9)
• sufficiently close to critical point the singular part f(T, h) is assumed to follow the scaling hypothesis/assumption:
1/w h f(T, h) = t Ψ± , (2.10) | | t u/w | |
where Ψ+(z) for t > 0 and Ψ−(z) for t < 0 is a function of a single variable.
• Note:
– the scaling assumption is very restrictive – once we assume it power laws for C , m, χ + two equations for α, β, γ, δ. ⇒ V 17 2. Phase transitions and critical phenomena
2.4.1 Derivation of power laws from scaling hypothesis - magnetization m at h = 0: the magnetization is given as the negative first derivative of the free energy with respect to the magnetic field h evaluated at h = 0, i.e.
∂f 1−u 0 m = = t w Ψ±(0) (2.11) − ∂h h=0 −| | for t > 0 : m = 0 Ψ0 (0) = 0 (2.12) ⇒ ⇒ + 1 u for t < 0 : m ( t)β β = − (2.13) ∝ − ⇒ w
- uniform magnetic susceptibility near Tc:
2 ∂ f 1−2u 00 χ = = t w Ψ±(0) (2.14) − ∂h2 h=0 −| |
2u 1 and with χ t −γ γ = − (2.15) ∝ | | ⇒ w
- specific heat:
2 ∂ f Ψ±(0) 1 1 1 − w 2 CV = T 2 = 1 t (2.16) − ∂T h=0 − Tc w w −
1 α = 2 (2.17) ⇒ − w
- rewriting of the scaling assumption: provides critical exponent δ 1/u h −1/u f(T, h) =h Ψ˜ ± where Ψ˜ ±(z) = z Ψ±(z) (2.18) t u/w | |
1 1 −1 m = h u Ψ˜ ±( ) at t = 0, h 1 (2.19) ⇒ −u ∞ u δ = (2.20) ⇒ 1 u − From eqs. (2.13), (2.15), (2.17), (2.20), we can derive the scaling laws:
α + 2β + γ = 2 (2.21) α + β(δ + 1) = 2 (2.22)
18 2.4. Scaling hypothesis for the free energy
- remarks: • the most precisely measured value of any critical exponent is α in the superfluid tran- sition in 4He in d = 3: α 0.0127 0.0003 exp ≈ − ± – space shuttle experiment: https://journals.aps.org/prb/abstract/10.1103/PhysRevB.68.174518
• the scaling form of the free energy, eq. (2.10), guarantees that the critical exponents are the same below and above the critical point
• the concept of scaling rationalizes the appearance of power laws near the critical point and yields experimentally correct relations – the scaling laws
- questions: • why does the scaling assumption hold? • how to compute scaling functions?
2.4.2 First attempt to calculate critical exponents We take the Ising model in Curie-Weiss mean-field approximation (probably like in your stat- mech course) and see what we get...
In mean-field approximation each dipole only feels the average local magnetic field (see prob- lem set 1) replace J P s s by J P s s in Ising model with an average magnetization per ⇒ hi,ji i j hi,jih ii j spin m = s h ii P β(zmJ+h)s1 s1 e zmJ + h m = s1=±1 = tanh , (2.23) P β(zmJ+h)s1 k T ⇒ s1=±1 e B where z = 2d counts the number of nearest neighbors on a d-dimensional hypercubic lattice • at h = 0: – m = 0 for T < T = zJ/k 6 c B – m = 0 for T > Tc T p • expansion near m = 0 and at h = 0 m = 3(1 T/Tc) β = 1/2 ⇒ Tc − ⇒ 1/3 3h • expansion at T = Tc for small h m = δ = 3 ⇒ kB Tc ⇒ • Further, mean-field approach predicts γ = 1 and α = 0 (see problem set 1) • no dependence on d within mean-field theory this deviates from experimental findings! ⇒ • experiment (d = 3): β 1/3 and α small but finite (e.g. with Xe) ≈ – this cannot be attributed to material properties – need better theory!
19 2. Phase transitions and critical phenomena
2.5 Correlations and hyperscaling
Two-point correlation function or order parameter correlation function:
G(~r, t) = (m(~r) m)(m(0) m) = m(~r)m(0) m2 (2.24) h − − i h i − Here, m(~r) is the local value of the magnetization, m is the average magnetization and ... denotes the ensemble or thermal average. We have exploited translational invariance. h i Sometimes convenient to study the (spatial) Fourier transform of G(~r), i.e. work in wave- vector space Z G(~q, t) = ddre−i~q·~rG(~r, t) (2.25)
• assume scaling form (for large distances r):
r Φ± ξ(t) G(r, t) = where ξ(t) t −ν (2.26) rd−2+η ∝ | | and ξ is called the correlation length, d is the dimensionality.
• the correlation length denotes the typical length scale of the regions where the degrees of freedom are strongly coupled
• ξ diverges at the critical point
• ν and η are two new critical exponents – ν is called the correlation length exponent – η is called the anomalous dimension
• relate ν and η to the exponent γ by means of the non-local magnetic susceptibility: ∂m(~r) χ(~r ~r0) := (2.27) − ∂h(~r0) h=0 – general theory of linear response: χ(~q) = G(~q) – uniform susceptibility, eq. (3.3): χ = χ(~q = 0) = R dd~rG(~r, t) – use scaling assumption, eq. (2.26): χ = C ξ2−η with the constant C = R dd~z Φ±(z) · zd−2+η – For T > Tc: values of magnetization at two distant points is uncorrelated Φ (z) should decay exponentially for large z ⇒ + – For T < T : here m = 0. Deviations from finite magnetization also uncorrelated c 6 at large distances
Φ−(z) should decay exponentially for large z ⇒ – From exponential decay of Φ± we conclude that integral C is finite in both cases comparison with the definition of γ → γ = ν(2 η) (Fisher’s scaling law) ⇒ − 20 2.5. Correlations and hyperscaling
• further assumption: the only relevant length scale near Tc is provided by the correlation length ξ: free energy = f ξ(t)−d (2.28) unit volume ∝ – this is an additional scaling assumption hyperscaling → – Differentiating f twice w.r.t. the temperature, we obtain Josephson’s scaling law: C t νd−2 α = 2 νd ∝ | | ⇒ − – Josephson’s scaling law involves the dimensionality d
SUMMARY:
• we have 6 critical exponents (α,β,γ,δ,ν,η) to describe singular behavior of ther- modynamic functions and of the correlation function near critical points
• we introduced scaling hypothesis for f and G 4 equations for the critical exponents ⇒ reduce number of independent exponents to 2 ⇒ only have to compute ν and η to know all 6 exponents (if hyperscaling holds) ⇒
• Example: assume Fourier transform of the correlation function to be G−1(q) = ~q2 + t for t > 0 in d = 3
3 i~q·~r √ G(~r) = R d ~q e = 1 e−r t ν = 1/2, η = 0 ⇒ (2π)3 q2+t 4πr ⇒ scaling laws are satisfied (check!) together with exponents from mean-field theory, ⇒ except Josephson’s law (which is only satisfied in d = 4)
21 2. Phase transitions and critical phenomena
2.6 Ginzburg-Landau-Wilson theory
In this section, we study interacting bosons as relevant to the liquid-superfluid transition in 4He (λ transition, T 2K). The construction can be performed analogously for other c ≈ transitions. The goal of this section is to express the (grand-canonical) partition function Z in terms of the so-called path integral or functional integral. For functional integrals many convenient tools have been developed which facilitate systematic approximate evaluations of the partition function. So, the general strategy is the following:
• We want to evaluate the partition function of an interacting many-particle system (for example 4He) to study thermodynamics, phase transitions, etc.
write down (grand-canonical) partition function Z = Tre−β(Hˆ −µNˆ) → express Z in terms of a functional integral, i.e. Z = R Φe−S[Φ], with action S[Φ] → D learn about various tools to systematically evaluate Z in its functional representation → • the Hamiltonian for interacting bosons reads in second quantization
ˆ ˆ † X † X † † H = H(ˆa , aˆ) = αβaˆαaˆβ + Vαβγδ aˆαaˆβaˆδaˆγ (2.29) α,β α,β,γ,δ
• the particle number operator is
ˆ X † N = aˆαaˆα (2.30) α
2.6.1 Functional integral representation of the partition function Coherent states (more details available in the book by Altland & Simons)
• standard orthogonal basis for quantum mechanical many-body states:
nαi N † Y aˆαi n , n , ..., n = 0 (2.31) | α1 α2 αN i p | i i=1 nαi !
– α label the states forming basis in single-particle Hilbert space of dimension N { i} – 0 is the vacuum | i † – aˆα , aˆ are bosonic creation/annihilation operators single-particle state α i αi → | ii † – standard commutation relations [ˆaαi , aˆαj ] = δαiαj – any many-particle state is a linear combination:
∞ ∞ X X Φ = Φn ,...,n nα , nα , ..., nα (2.32) | i ··· α1 αN | 1 2 N i nα1=0 nαN =0
22 2.6. Ginzburg-Landau-Wilson theory
• Definition: a coherent state is a common eigenstate of the annihilation operators:
aˆ Φ = Φ Φ , (2.33) αi | i αi | i
with i = 1, 2, ..., N and complex eigenvalues Φαi – for such a state we have (tutorial)
† nαi N nα ∞ ∞ Φ aˆ Y (Φ ) i X X Y αi αi Φ = αi Φ = 0 nα1 ,...,nαN p nαi ! ⇒ | i ··· nαi ! | i i=1 nα1=0 nαN =0 i=1 P † Φα aˆα = e αi i i 0 (2.34) | i P ∗ † ∗ α Φα aˆα – similarly: Φ aˆα = Φ Φ bra version: Φ = 0 e i i i h | i h | αi → h | h | † ∂ aˆαi Φ = ∂Φ Φ which can be shown by Taylor expansion of eq. (2.34) ⇒ | i αi | i P ∗ 0 0 Φα Φα – overlap of two coherent states: Φ Φ = e αi i i (not orthogonal!) h | i – coherent state form overcomplete set with resolution of unity (without proof): Z ∗ Y dΦ dΦα − P ∗ α e α ΦαΦα Φ Φ = 1 (2.35) 2πi | ih | α where we omitted the index i for simplicity – eq. (2.35) can be shown by proof for N = 1 and then directly generalized to N > 1
• we will use the coherent states to re-express the Hamiltonian operator (which in turn is expressed in terms of creation and annihilation operators) in terms of eigenstates
23 2. Phase transitions and critical phenomena
Path-integral representation of the grand-canonical partition function
ˆ ˆ ˆ ˆ • grand-canonical partition function Z = Tr e−β(H−µN) = P n e−β(H−µN) n nh | | i where the sum extends over a complete set of Fock states n {| i} • together with eq. (2.35), we get: Z ∗ Y dΦ dΦα − P ∗ − ˆ − ˆ Z = α e α ΦαΦα Φ e β(H µN) Φ (2.36) 2πi h | | i α
• divide imaginary “time interval” β into M pieces and insert unity operator (M 1) − times
M−1 ∗ M Z dΦ dΦ PM−1 P ∗ Y Y α,k α,k − Φ Φα,k Y −∆β(Hˆ −µNˆ) Z = e k=0 α α,k Φ − e Φ (2.37) ⇒ 2πi h k 1| | ki k=0 α k=1
where we have the boundary condition Φ0 = ΦM = Φ and ∆β = β/M
• for ∆β 1:
−∆β(Hˆ −µNˆ) −∆βhΦk−1|(Hˆ −µNˆ)|Φki/hΦk−1|Φki 2 Φ − e Φ = Φ − Φ e + (∆β ) (2.38) h k 1| | ki h k 1| ki O
• in Hamiltonian and number operator all creation operators are to the left of annihilation operators normal ordering → • for abitrary normally ordered function A, the definition of coherent states implies:
† 0 ∗ 0 P ∗ 0 Φ A(ˆa , aˆ ) Φ = A(φ , φ )e α ΦαΦα (2.39) h | α α | i α α for M : (2.40) ⇒ → ∞ Z M−1 ∗ Y Y dΦα,kdΦα,k − PM−1 P Φ∗ (Φ −Φ ) Z = lim e ( k=0 α α,k α,k α,k+1 ) M→∞ 2πi k=0 α PM−1 ∗ P ∗ − ∆β H(Φ ,Φα,k+1)−µ Φ Φα,k+1 e k=0 α,k α α,k (2.41) × where k labels moments in imaginary time.
24 2.6. Ginzburg-Landau-Wilson theory
Continuum limit
• the continuum limit of eq. (2.41) gives the functional integral:
Z ∗ ∗ −S[Φα(τ),Φα(τ)] Z = Φα(τ) Φα(τ)e (2.42) Φα(0)=Φα(β) D D
with the action " # Z β X S = dτ Φ∗ (τ)( ∂ µ)Φ (τ) + H[Φ∗ (τ), Φ (τ)] (2.43) α − τ − α α α 0 α
• where α can be: momentum, position ~r, lattice site,...
• interacting bosons: choose continuous position coordinate α = ~r
• partition function of a system of interaction bosons = “sum over all possible complex functions Φ(~r, τ) of space and imaginary time which are periodic in imaginary time.”
• we can decompose the periodic function (periodicity due to boundary condition!): Z 1 d~k X ~ Φ(~r, τ) = Φ(~k, ω )eik·~r+iωnτ (2.44) β (2π)d n ωn
with the bosonic Matsubara frequencies ω = 2πn/β = 2πnk T , n Z n B ∈ • remarks: – in the case of fermions antiperiodic, anticommuting Grassmann numbers, → ωn,F = (2n + 1)π/β – example: non-interacting bosonic system
Z ∗ ~ ~ −1 P 2~k2 2 Y dΦ (k, ωn)dΦ(k, ωn) −β (−iωn+ ~ −µ)|Φ(~k,ωn)| Z = Z = e ~k,ωn 2m (2.45) 0 2πi ~k,ωn Y β = (2.46) ~2~k2 ~ iωn + µ k,ωn − 2m − recover Bose-Einstein condensation from F = k T log Z and N = ∂F0 ... → 0 − B 0 − ∂µ – at T = 0, the Matsubara frequencies form a continuum
25 2. Phase transitions and critical phenomena
Path-integral representation at finite temperature
• at finite T : Fourier mode ω = 0 separated by finite amount T from the action for 0 ∝ the other modes (ω = 0) n 6 Z d~k X S = β−1 ( iω µ) Φ(~k, ω ) 2 + ... (2.47) (2π)d − n − | n | n
• ω modes ( n 1) only yield analytic contribution to free energy n | | ≥ these modes are non-critical and do not affect universal properties ⇒ • for finite temperature transition, only retain the ω0-modes in the partition function fields independent of imaginary time! ⇒ partition function ⇒ Z Z = Φ∗(~r) Φ(~r)e−S (2.48) D D – example: non-relativistic bosons of mass m 2~ 2 energy dispersion = ~ k , i.e. non-interacting part of Hamiltonian, eq. (2.43): → ~k 2m Z 2 2 ∗ ∗ ~ H [Φ (~r), Φ(~r)] = β d~r Φ (~r) ∇ Φ(~r) (2.49) 0 − 2m
contact interaction V (~r ~r ) = λ δ(~r ~r ), cf. eq. (2.29), gives the action: → 1 − 2 1 − 2 Z 2 1 ~ S[Φ] = d~r Φ(~r) 2 µ Φ(~r) 2 + λ Φ(~r) 4 (2.50) kBT 2m|∇ | − | | | |
– together with Z this defines Ginzburg-Landau-Wilson theory – for superfluid transition (in 4He), Φ(~r) is complex: two real components (N = 2) – contact interaction is sufficient to understand critical behavior – more general: field Φ with N real components and same action as in eq. (2.50) – for N = 1: symmetry is Z (Φ(~r) Φ(~r)) 2 → − same symmetry as Ising model ⇒ eq. (2.50) with N = 1 describes uniaxial FM transition ⇒ – for N = 3: same symmetry as Heisenberg model
Ginzburg-Landau-Wilson (GLW) partition function with general N serves as meta-model to which specific models like Ising, XY, or Heisenberg model reduce in the critical region. only universal critical behavior may be expected to be given correctly by GLW theory → (not thermodynamics outside the critical region)
26 2.6. Ginzburg-Landau-Wilson theory
2.6.2 Saddle-point approximation (SPA) SPA: evaluation of GLW partition function, eq. (4.1), with value of integrand at its maximum: F = k T S[Φ ] (2.51) ⇒ B · 0
• here Φ is the configuration that minimizes the action: δS = 0 0 δΦ Φ0
• Φ will be independet of the coordinate and be (1) Φ = 0 , or (2) Φ 2 = µ/(2λ) 0 0 | 0| • take µ as a tuning parameter: (a) for µ < 0: non-trivial solution (2) is impossible Φ = 0 ⇒ 0 µ2 V (b) for µ > 0: S[Φ0] = < S[0] = 0 Φ0 is finite − 4λ kB T ⇒ Φ = 0 becomes a local maximum → 0 action has mexican hat shape with a continuum of minima →
• a finite value of Φ signals the ordered phase take Φ as order parameter 0 ⇒ 0 • in general the order parameter is defined as Φ(~r) which in the SPA coincides with Φ h i 0 In terms of temperature T :
• transition in SPA takes place at Tc where µ(T ) changes sign µ is coefficient of the quadratic term of S, which changes sign near the transition ⇒ − µ (T T ) + (T T )2 (2.52) ∼ c − O c − Spontaneous symmetry breaking:
• only absolute value of Φ is fixed by Φ 2 = µ/(2λ), the phase is left arbitrary 0 | 0| • any choice of phase breaks global U(1) invariance (Φ(~r) eiφΦ(~r)) of the action (2.50) → U(1) symmetry is spontaneously broken in the ordered/superfluid phase! ⇒ • remarks: – U(1) symmetry is analogue of rotational symmetry that is broken by the direction of magnetization, e.g., in FM transition – consequence of the breaking of continuous symmetries Goldstone bosons appear → – spontaneous breaking of Z2: no Goldstone bosons
27 2. Phase transitions and critical phenomena
2.6.3 Critical exponents in saddle-point approximation∗ • since µ T T in GLW theory differentiating S[Φ ] twice w.r.t T : ∼ c − → 0 specific heat only has a finite discontinuity at the transition → critical exponent α = 0 ⇒ • define superfluid susceptibility: δ2 log Z[J] χ(~r ~r0) := (2.53) − δJ ∗(~r)δJ(~r0) J=0 where Z S S + d~r [Φ(~r)J(~r) + Φ∗(~r)J ∗(~r)] (2.54) → defines Z[J] χ(~r ~r0) = Φ∗(~r)Φ(~r0) Φ(~r) 2 (2.55) ⇒ − h i − |h i| – note the similarity to eq. (2.24) – also note that the source field J(~r) directly couples to Φ in the action in the same way as the real magnetic field would enter the partition function of magnetic systems, see eq. (2.27). • to compute χ in saddle-point approximation consider small fluctuations of Φ(~r) around the saddle point (for µ < 0, i.e. expand the action around trivial saddle point) then neglect λ action is quadratic in fluctuating fields → ⇒ Z[J] can be computed by completing the square: ⇒ Z log Z[J] = d~rd~r0J ∗(~r)χ (~r ~r0)J(~r0) + const. (2.56) 0 − where Z d~k ei~k·~r χ (~r) = k T (2.57) 0 B d 2~ 2 (2π) ~ k µ 2m −
• near Tc where µ(Tc) = 0 rewrite χ0 as:
2mkBTc F (r/ξ) χ0(~r) = (2.58) ~2 · rd−2 d−2 R d~q ei~q·~r with the scaling function F (z) = z (2π)d q2+1 , p and the correlation length ξ = ~/ 2m µ | | • this result for χ0 can be cast into the form in eq. (2.26) – since µ T T near T : ∼ c − c correlation length exponent ν = 1/2 and anomalous dimension η = 0 saddle-point approximation leads to the mean-field values of the critical expo- ⇒ nents and is independent of dimension d and number of field components N not → satisfactory!
28 2.7. Kosterlitz-Thouless phase transition
2.7 Kosterlitz-Thouless phase transition
• no SSB of continuous symmetry in in 2 dimensions no obvious order parameter ⇒ • can there still be a phase transition?
• Kosterlitz & Thouless (1973, Nobel prize 2016): Yes, phase transition by unbinding of topological defects (vortices)
2.7.1 XY model in two dimensions • classical statistical model on 2-dimensional square lattice with action: X S[φ ] βH[φ ] = J cos (φ φ ) (2.59) i ≡ i − i − j hi,ji
• φ [0, 2π] is an angle variable attached to each point i ∈ • the action has a global (continuous) U(1) symmetry: φ φ + α i → i • physical picture/interpretation: – spins with “easy plane” (free rotation in x y-plane, frozen in z-direction) − – lattice regularization of complex boson theory at finite temperature T and at fre- quencies below T :
Z κ t H = d2x ~ Ψ 2 + Ψ 2 + u Ψ 4 (2.60) 2 |∇ | 2| | | |
iφ – where Ψ = Ψ1 + iΨ2 = re – more precisely: ∗ in-plane amplitude – phase only comes with ( φ)2 (gapless mode). ∇ ∗ the above model, eq. (2.59) is a regularized (discrete) version of this part of the complex boson theory and reproduces it at long wavelength (see below). ∗ the amplitude fluctuations are gapped and do not contribute to the long- wavelength physics.
• agenda: – we first argue that the low- and high-T phases of the XY omdel are qualitatively distinct (algebraic vs. exponential decay of correlation functions) – then we will explain this following Kosterlitz and Thouless.
29 2. Phase transitions and critical phenomena
2.7.2 Limiting cases at low and high temperatures Low-temperature phase
• At T = 0, SSB can take place and we have an ordered phase profile with φi = φ0.
• At low T , we therefore expect an almost ordered phase profile φ const. = φ , and i ≈ 0 only small local fluctuations of the phase.
• thus we decompose φi = φ0 + δφi, where δφi are slowly varying small fluctuations J X J X βH[φ ] = cos (δφ δφ ) const. + (δφ δφ )2 (2.61) ⇒ i −T i − j ≈ 2T i − j hi,ji hi,ji
continuum limit a2J Z J¯ Z z}|{ const. + d2r(~ φ)2 = d2q~q2(φ )2 (2.62) −→ 2T ∇ 2T q
• where J¯ = a2J, a is the lattice constant and we have dropped the constant term.
• this reproduces the continuum model with the long wavelength limit.
• the asymptotic (long-wavelength) behavior of the correlation function is:
T 0 0 − 2πJ i(φ(~r)−φ(~r0)) − 1 h(φ(~r)−φ(~r0))2i − T log |~r−~r | ~r ~r e e 2 = e 2πJ a = | − | (2.63) h i ≈ a
• this is an algebraic decay, quasi long-range order replacing SSB due to smooth long- wavelength fluctuations.
High-temperature phae High-temperature phase... .
30 Chapter 3
Wilson’s renormalization group
3.1 General strategy
Observation: In a finite system the correlation length is bound by the system size singular thermodynamic behavior (critical behavior) comes from thermodynamic limit ⇒ i.e. from modes with arbitrarily low energies in “ ”-large system: → ∞ infrared singularity
Consider the action in Eq. (2.50):
Z 2 1 ~ S[Φ] = d~r Φ(~r) 2 µ Φ(~r) 2 + λ Φ(~r) 4 (3.1) kBT 2m|∇ | − | | | |
• m provides energy scale rescale into chemical potential and interaction: ⇒ 2 2 2mµ/~ µ, 2mλ/~ λ (3.2) −→ −→
2 R 2 2 4 • near critical point (T Tc): rescale action 2mkBTcS/~ S = Φ µ Φ +λ Φ ≈ → ~r |∇ | − | | | |
superfluid susceptibility is function of wavevector, chemical potential and interaction only: ⇒ χ(~k) = F (k, µ, λ) (3.3)
This expression implicitly depends on an 1 ultraviolet cutoff Λ , (3.4) ∼ a
restricting all wavevectors to ~k < Λ. | | • a defines the shortest length scale in the system (lattice spacing, atom size,...)
• we will find that its exact value does not affect the critical behavior
31 3. Wilson’s renormalization group
Strategy: low-energy modes (slow modes) induce singular behavior. integrate only over shell of high-energy modes (large k, fast modes): ⇒ Λ < k < Λ , where b 1 (3.5) b ≈ recast partition function for remaining slow modes (k < Λ ) into form before integration → b values of µ and λ have to be changed: ⇒ µ µ(b), λ λ(b) (3.6) −→ −→ susceptibility for low k: ⇒ χ(~k) = bxF (bk, µ(b), λ(b)) (3.7)
• argument “bk” due to change of shortest length scale Λ Λ/b → • factor bx: in units of length scale, χ has dimension x, i.e. χ Λ−x ∼ • Note: this strategy closely ressembles the real-space RG discussed on your first problem set http://www.thp.uni-koeln.de/~scherer/set01.pdf only in momentum space!
Question: What happens for b (more and more modes integrated out)? → ∞ ∗ • suppose limb→∞ λ(b) = λ
χ(~k) = bxF (bk, µ(b), λ∗) , (3.8) ⇒ for large b.
• if λ∗ is small use perturbation theory in λ∗ ⇒ • i.e. determine effective renormalized coupling for low-energy modes first
Critical behavior:
• assume λ∗ exists and is finite
• further, assume for b 1 and small µ < 0: µ(b) µ by ≈ y • now, choose b such that µ b = µ0 with constant µ0
x/y 1/y ! µ0 µ0 ∗ χ(~k) = F k , µ0, λ (3.9) ⇒ µ µ
• then, the Fourier transform χ(~r) exhibits the desired scaling form
• the correlation length exponent and the susceptibility exponent are accordingly:
ν = 1/y, γ = x/y . (3.10)
• we still need the functions λ(b) and µ(b) to get x and y (next section!).
32 3.1. General strategy
Possible complications: Success of strategy is not guaranteed:
• as b increases: new terms could appear in action for slow modes
λ (b) Φ 6, λ (b) Φ 2 Φ 2 (3.11) 6 | | 2,2 |∇ | | |
• generated terms must still be invariant under symmetries of original action
• as b : a coupling is called → ∞ (1) irrelevant if limit is zero (i.e. it was correct to neglect it) (2) relevant if limit is finite (i.e. coupling needs to be included)
• theory with finite number of relevant couplings is called renormalizable (next chapter!)
33 3. Wilson’s renormalization group
3.2 Momentum-shell transformation
Implement above strategy for the partition function of eq. (2.50) therefore divide the field Φ into slow and fast modes: →
Φ(~r) = Φ<(~r) + Φ>(~r) (3.12)
where
• Φ< are the modes with k < Λ/b
• Φ< are the modes with Λ/b < k < Λ partition function: ⇒ Z Y dΦ∗(~k)dΦ(~k) Z = e−(S0<+S0>+Sint) (3.13) 2πi k<Λ Z Y dΦ∗(~k)dΦ(~k) Z Y dΦ∗(~k)dΦ(~k) = e−(S0<+S0>+Sint) , (3.14) Λ 2πi Λ 2πi k< b b
∗ temperature • a field Φ is represented by a line with an arrow pointing out of the vertex • we also show the momentum labels of the fields: solid phase liquid phase pressure ⇤(~k3) ⇤(~k4) pc critical point
vapour (~k1) (~k2) temperature Tc h m > 0 m ≠ 0 m = 0 T fast modes FM Tc PM 34 m < 0 slow modes 3.2. Momentum-shell transformation
3.2.1 Perturbation theory Zeroth order in λ: Z = Z Z Z factorizes 0< 0> ⇒ in Z all the modes have large k → 0> Z only contributes to regular, analytic part of free energy ⇒ 0> • now, bring Z into exact old form by first rescaling b~k ~k: 0< → Z Λ ~ ~ 2 ! 1 dk k ~ 2 S0< = d d 2 µ Φ(k) (3.18) b 0 (2π) b − | |
~ • define: µ(b) = µ b2 and Φ(k) Φ(~k) b(d+2)/2 → S now precisely takes the old form in terms of rescaled Fourier components ⇒ 0< • variables Φ(~k) are to be integrated over critical behavior is not affected by their rescaling (also in the integration measure) ⇒ only adds regular part to free energy. → we find µ(b) = µ b2 + (λ) ⇒ O ν = 1/y = 1/2 mean-field result! ⇒ → First order in λ: avoiding slow modes can be done without encountering the singularity → Z Y dΦ∗(~k)dΦ(~k) Z =Z e−S0< [1 0> 2πi k<Λ/b Z Λ ~ ~ # dk1...dk4 ~ ~ ~ ~ ∗ ~ ∗ ~ ~ ~ 2 λ 3d δ(k1 + k2 k3 k4) Φ (k4)Φ (k3)Φ(k2)Φ(k1) 0> + (λ ) (3.19) − 0 (2π) − − h i O
where we have introduced the fast-mode average
Z ∗ ~ ~ 1 Y dΦ (k)dΦ(k) −S0> A 0> = e A. (3.20) h i Z0> 2πi Λ/b As S0 is quadratic in Φ and diagonal in ~k we find from Gaußian integration (problem set 3): (2π)d Φ∗(~k )Φ(~k ) = δ(~k ~k ) , (3.21) h 1 2 i0 k2 µ 1 − 2 1 − Φ∗(~k )Φ∗(~k )Φ(~k )Φ(~k ) = Φ∗(~k )Φ(~k ) Φ∗(~k )Φ(~k ) + (k~ ~k ) , (3.22) h 4 3 2 1 i0 h 4 2 i0h 3 2 i0 1 ↔ 2 where the second equation is a variant of Wick’s theorem: - average factorizes into product of all possible averages of pairs of Φ∗ and Φ. 35 3. Wilson’s renormalization group liquid-gas (1st order) theory space So, next we want to calculate the following part of eq. (3.19): Z Λ d~k ...d~k 1 Z dΦ∗(~k)dΦ(~k) 1 4 Y ∗ ~ ∗ ~ ~ ~ −S0> λ 3d δ1234 + Φ (k4)Φ (k3)Φ(k2)Φ(k1)e (3.23) − S0 (2π) Z0> 2πi Λ/b where we have introduced the short-hand notation δ = δ(~k + ~k ~k ~k ). 1234 1 2 − 3 − 4 3.2.2 Combinations in eq. (3.23) that contribute in eq. (3.19) orderparameter ...by giving a finite average: 1. ~k = ~k and Λ/b < k < Λ and ~k = ~k and k < Λ/b { 4 2 2 3 1 1 } temperature - then one part of eq. (3.23) reads Z Λ d~k ...d~k 1 Z dΦ∗(~k)dΦ(~k) 1 4 ∗ ~ ~ Y ∗ ~ ~ −S0> λ 3d δ1234Φ (k3)Φ(k1) Φ (k4)Φ(k2)e − (2π) Z0> 2πi 0 Λ/b