computo ergo sum

2026-10-01 · chapter Yang–Mills and the mass gapAppendixTable of notation

The whole book Contents and reading orders
  1. Part 0 Entrance — how to read this book
  2. 0-01 How to read this book
  3. 0-02 One picture
  4. 0-03 Reading the problem statement word by word
  5. 0-04 Four dimensions in mathematics and four dimensions in physics
  6. Part 1 Mathematical preparation
  7. 1-01 Vector spaces and linear maps
  8. 1-02 What a group is
  9. 1-03 Lie groups and Lie algebras
  10. 1-04 SU(2) and SU(3)
  11. 1-05 Manifolds and tangent spaces
  12. 1-06 Differential forms and the exterior derivative
  13. 1-07 Vector bundles and connections
  14. 1-08 Probability and measure
  15. 1-09 Probability in infinite dimensions
  16. 1-10 Hilbert spaces and self-adjoint operators
  17. 1-11 Fourier analysis and distributions
  18. 1-12 Detour: what happens only in four dimensions
  19. Part 2 Physical preparation
  20. 2-01 Lagrangians and the action
  21. 2-02 The idea of a field
  22. 2-03 Electromagnetism is a gauge theory
  23. 2-04 Special relativity and spacetime
  24. 2-05 The bones of quantum mechanics
  25. 2-06 The harmonic oscillator and creation and annihilation
  26. 2-07 The idea of the path integral
  27. 2-08 Statistical mechanics and phase transitions
  28. 2-09 Detour: the gap and the correlation length in the Ising model
  29. 2-10 The relaxation time and the dynamical exponent z
  30. Part 3 Yang–Mills theory (classical)
  31. 3-01 The gauge principle
  32. 3-02 Non-abelian gauge fields
  33. 3-03 The action and the equations
  34. 3-04 Gauge theory as geometry
  35. 3-05 Instantons and topology
  36. 3-06 Detour: Donaldson and exotic R⁴
  37. 3-07 Yang–Mills inside the Standard Model
  38. Part 4 Quantisation
  39. 4-01 Canonical quantisation and the Hamiltonian
  40. 4-02 The path integral and Euclideanisation
  41. 4-03 Perturbation theory and Feynman diagrams
  42. 4-04 Divergences and renormalisation
  43. 4-05 The algebra of divergences
  44. 4-06 Asymptotic freedom
  45. 4-07 Dimensional transmutation and Λ
  46. 4-08 Gauge fixing and Faddeev–Popov
  47. 4-09 The axioms of quantum field theory
  48. 4-10 The Osterwalder–Schrader axioms and reconstruction
  49. 4-11 The definition of the mass gap
  50. 4-12 Detour: the perturbation series diverges
  51. Part 5 Lattice gauge theory
  52. 5-01 Wilson's lattice
  53. 5-02 The strong-coupling expansion
  54. 5-03 Reflection positivity and the transfer matrix
  55. 5-04 The infinite-volume limit and the cluster expansion
  56. 5-05 Weak coupling and the continuum limit
  57. 5-06 How U(1) differs from the non-abelian case
  58. 5-07 The Monte Carlo method
  59. 5-08 Measuring glueballs and the string tension
  60. 5-09 What to hold fixed when taking the limit
  61. 5-10 Lattice gauge theory with finite groups
  62. 5-11 Detour: Bakry–Émery and one-link integration
  63. Part 6 Constructive field theory
  64. 6-01 What constructive field theory is
  65. 6-02 Solvability in two dimensions and the Yang–Mills measure
  66. 6-03 Constructing scalar fields
  67. 6-04 The cluster expansion
  68. 6-05 The sequence of renormalisation group steps
  69. 6-06 Ultraviolet stability of three-dimensional Yang–Mills
  70. 6-07 Four dimensions
  71. 6-08 Triviality of φ⁴ in four dimensions
  72. 6-09 Stochastic quantisation and regularity structures
  73. 6-10 Where four dimensions stops
  74. 6-11 Obstacles other than divergence
  75. 6-12 Detour: "if 1/0 is given a symbol"
  76. Part 7 From the side of physics
  77. 7-01 How physics sees it
  78. 7-02 Mechanisms of confinement
  79. 7-03 The string picture
  80. 7-04 Large N
  81. 7-05 String theory and extra dimensions
  82. 7-06 How extra dimensions become invisible
  83. 7-07 Where gauge fields come from
  84. 7-08 Holography
  85. 7-09 The mass gap becomes geometry
  86. 7-10 Back to four dimensions
  87. 7-11 Supersymmetry and Seiberg–Witten
  88. 7-12 The sentence that plays the role of an equivalence principle
  89. 7-13 Where the way physics digs parts from mathematics
  90. Part 8 A dictionary of two languages — the physical and the mathematical view
  91. 8-01 How to read the dictionary
  92. 8-02 Dictionary A
  93. 8-03 Dictionary B
  94. 8-04 Dictionary C
  95. 8-05 The physical counterparts of our assumptions
  96. Part 9 Where things stand, and open tasks
  97. 9-01 How far the world has come
  98. 9-02 Where the two ways of digging part
  99. 9-03 Candidates for new concepts
  100. 9-04 The list of open tasks
  101. 9-05 Common misconceptions
  102. Part 10 Towards a proof of the mass gap — building the first step of the staircase
  103. 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
  104. 10-01 The line of construction and Assumption H
  105. 10-02 Roads tried on the four-dimensional lattice, and walls
  106. 10-03 The four steps of the staircase — why we start from 0+1 dimensions
  107. 10-04 The path measure of the double well, and kinks
  108. 10-05 The statement of the first step — four conditions and Proposition 4.5
  109. 10-06 (H1) Local Poincaré within a phase
  110. 10-07 The map of (H2) — seven routes and the seam of the ring
  111. 10-08 What computer-assisted means — the conditions on the chain inside the window
  112. 10-09 The sector framework and the three strands of route 5
  113. 10-10 The list of detour plans — types of breakage
  114. 10-11 (H3)(H4) and the constant of the core
  115. 10-12 The integrated table and the dependency graph
  116. 10-13 Lean statements and the limits of machine checking
  117. 10-14 Reconciliation — the numbers of the record and the known numbers
  118. 10-15 What remains and its cost — the distance to a theorem
  119. 10-16 What is not claimed
  120. 10-17 Insights and small questions
  121. Part 11 Further considerations — beyond Assumption H, and other views
  122. 11-00 Further considerations — entrance
  123. 11-01 One form that obstructs H — a nearly conserved global quantity
  124. 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
  125. 11-03 Two ways to repair H — the sector H and the local H
  126. 11-04 Which H the one-sided bridge needs
  127. 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
  128. 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
  129. 11-07 Because it is four dimensions — the dimensionless coupling and topology
  130. 11-08 Questions, and what is not claimed
  131. 11-A1 Table of notation for Part 11
  132. Appendices
  133. A-01 Table of notation
  134. A-02 Glossary
  135. A-03 Guide to the literature
  136. A-04 Lean and machine checking
  137. A-05 How this book was made
  138. A-06 Index of assumptions

Table of notation — one convention for each letter, two meanings separated by name

What this chapter shows — The symbols of this book can be looked up by "meaning, chapter of definition, note". The three ways of writing the gauge field, the six ways of writing the coupling, and the normalisation of CPC_P are set out with conversion formulas, tables and moving figures. Different meanings of the same letter (β\beta, Δ\Delta, η\eta, σ\sigma, Ω\Omega and others) are told apart in one table.

Prerequisite chapters — None. As a dictionary, it can be opened from any chapter. The "Chapter" column of each row is the chapter that defined the symbol.

Said first — This chapter is a list of conventions and contains no claims of content. The correctness of formulas is shown in each chapter; here only the arithmetic of conversions and the normalisation of generators were checked on this machine. The names of assumptions are kept separately in A-06 Index of assumptions. This chapter shows nothing about the mass gap.

The order of this chapter
  1. How to use this table — the common conventions, and three choices of convention
  2. Spacetime and indices — the signature (−,+,+,+)(-,+,+,+) and imaginary time (Table 1)
  3. Groups and Lie algebras — normalisation of generators and structure constants (Tables 2 and 3)
  4. Three ways of writing the gauge field — where gg and ii go (Table 4). Detour: why physics likes to attach ii
  5. Lattice symbols — links, plaquettes, link angles (Table 5)
  6. Six ways of writing the coupling — conversions and one-loop coefficients (Table 6, Figure 1, Table 7)
  7. Scales, lengths, masses — lattice units and physical units, the symbol ≍\asymp (Table 8)
  8. Probability, spectrum, relaxation — three CPC_P and two η\eta (Figure 2, Tables 9 and 10)
  9. Different meanings of the same letter — a list for telling them apart (Table 11). Detour: can symbol collisions be eliminated?

01

How to use this table — one convention for each letter

This chapter is a dictionary to look things up in; it need not be read from the front. The tables have four columns, "symbol, meaning, chapter, note", and "chapter" is the chapter that defined the symbol. Check the correctness of formulas in that chapter.

There are four conventions common to all chapters. From Part 3 on, ℏ=c=1\hbar=c=1. An index appearing twice in the same term is summed. Both ln⁡\ln and log⁡\log are the natural logarithm. When the same letter has two meanings, this is declared at the start of the chapter (the list is in §09). Beyond that, the appearance of the symbols changes with the following three choices.

way of writing the gauge field⏟§04 three ways × way of writing the coupling⏟§06 six ways × CP normalisation⏟§08 two ways(1)\underbrace{\text{way of writing the gauge field}}_{\S04\ \text{three ways}}\ \times\ \underbrace{\text{way of writing the coupling}}_{\S06\ \text{six ways}}\ \times\ \underbrace{C_P\ \text{normalisation}}_{\S08\ \text{two ways}} \tag{1}

The choices in (1) do not change the physical content, only coefficients and signs. But the same condition looks like a different number. Example. The strong-coupling condition of Shen–Zhu–Zhu, ∣βSZZ∣<1/(16(d−1))|\beta_{\mathrm{SZZ}}|\lt1/(16(d-1)), becomes βSZZ<1/48\beta_{\mathrm{SZZ}}\lt1/48 in four dimensions (d=4d=4), and in this book's Wilson β\beta it is β<0.0833\beta\lt0.0833 for SU(2) and β<0.1875\beta\lt0.1875 for SU(3) (§06) Computed. The names of assumptions (H, H↑, (S1)–(S8) and others) are in A-06 Index of assumptions, and the legend of the labels is in 0-01.

02

Spacetime and indices — the signature is (−,+,+,+)(-,+,+,+), and in imaginary time everything becomes ++

Physical spacetime is Minkowski spacetime, where only the time direction carries a negative sign in the squared distance (2-04, and the existing article One sign is different). Constructive field theory and lattice arguments work in Euclidean space R4\mathbb R^4, with time rotated to imaginary values (4-02).

ημν=diag⁡(−1,1,1,1),t=−iτ,A0=iA4,FμνFμν ⟼ ∑μ,ν=14FμνFμν(2)\eta_{\mu\nu}=\operatorname{diag}(-1,1,1,1),\qquad t=-i\tau,\qquad A_0=iA_4,\qquad F_{\mu\nu}F^{\mu\nu}\ \longmapsto\ \sum_{\mu,\nu=1}^4F_{\mu\nu}F_{\mu\nu} \tag{2}

(2) gives, from the left, the metric, the rotation (Wick rotation), and the result of rotating. In Euclidean signature the metric is the identity matrix, so upper and lower indices are not distinguished. Example. The light path −t2+∣x∣2=0-t^2+|\mathbf x|^2=0 becomes τ2+∣x∣2\tau^2+|\mathbf x|^2 when rotated, positive except at the origin.

Table 1 Spacetime and indices
SymbolMeaningChapterNote
xμ, μ=0,…,3x^\mu,\ \mu=0,\dots,3Minkowski coordinates (x0=tx^0=t)2-04Some textbooks use the opposite signature (+,−,−,−)(+,-,-,-)
x4=τ, μ=1,…,4x_4=\tau,\ \mu=1,\dots,4Imaginary time and Euclidean indices4-02τ=it\tau=it
i,j,k=1,2,3i,j,k=1,2,3Spatial indices3-02Do not mix with the colour indices a,b,ca,b,c
Ei, BiE_i,\ B_iColour electric and magnetic fields3-02Bi=12εijkFjkB_i=\tfrac12\varepsilon_{ijk}F_{jk}; in Euclidean signature EE,j=F4jE_{E,j}=F_{4j}
ddDimension of (Euclideanised) spacetime0-03The problem statement has d=4d=4
Zd, aZd\mathbb Z^d,\ a\mathbb Z^dThe integer lattice, the lattice with spacing aa5-01§05
03

Groups and Lie algebras — generators are normalised by tr⁡(TaTb)=12δab\operatorname{tr}(T^aT^b)=\tfrac12\delta^{ab}

The gauge group GG is a compact simple Lie group, and in almost all examples it is SU(N)\mathrm{SU}(N) (1-04). For generators we take Hermitian TaT^a in the physics style. Unless the normalisation is fixed, both the structure constants and the coupling constant are off by constant factors.

[Ta,Tb]=i fabc Tc,tr⁡(TaTb)=12 δab,a,b,c=1,…,N2−1(3)[T^a,T^b]=i\,f^{abc}\,T^c,\qquad \operatorname{tr}(T^aT^b)=\tfrac12\,\delta^{ab},\qquad a,b,c=1,\dots,N^2-1 \tag{3}

In the mathematics style one takes anti-Hermitian Xa=−iTaX^a=-iT^a, giving the form [Xa,Xb]=fabcXc[X^a,X^b]=f^{abc}X^c without ii. It is the same fabcf^{abc}. Example. For SU(2), Ta=σa/2T^a=\sigma^a/2 and fabc=εabcf^{abc}=\varepsilon^{abc}; for SU(3), Ta=λa/2T^a=\lambda^a/2 (half the Gell-Mann matrices). The adjoint Casimir CAC_A (facdfbcd=CAδabf^{acd}f^{bcd}=C_A\delta^{ab}) is NN, the fundamental Casimir CFC_F (∑aTaTa=CF1\sum_aT^aT^a=C_F\mathbf 1) is (N2−1)/2N(N^2-1)/2N, and the index of the representation T(R)T(R) (tr⁡RTaTb=T(R)δab\operatorname{tr}_RT^aT^b=T(R)\delta^{ab}) is 12\tfrac12 for the fundamental representation. What enters the one-loop coefficient (4-06) is CAC_A and T(R)T(R).

Table 2 Numerical check of the normalisation of generators Computed
Groupmax⁡∣tr⁡TaTb−12δab∣\max|\operatorname{tr}T^aT^b-\tfrac12\delta^{ab}|CFC_FCAC_AIndependent non-zero fabcf^{abc} (a<b<ca\lt b\lt c)
SU(2)00.752f123=1f^{123}=1
SU(3)1.1×10−161.1\times10^{-16}1.3333333f123=1f^{123}=1; f147=f246=f257=f345=12f^{147}=f^{246}=f^{257}=f^{345}=\tfrac12; f156=f367=−12f^{156}=f^{367}=-\tfrac12; f458=f678=32f^{458}=f^{678}=\tfrac{\sqrt3}2

Table 2 was obtained by writing out the matrices, computing fabc=−2itr⁡([Ta,Tb]Tc)f^{abc}=-2i\operatorname{tr}([T^a,T^b]T^c), and checking the residual on substituting back into (3) (at most 1.1×10−161.1\times10^{-16}) and that the Casimir is a constant multiple of the identity matrix.

Table 3 Symbols for groups and Lie algebras
SymbolMeaningChapterNote
G, g, NG,\ \mathfrak g,\ NGauge group, Lie algebra, the size of SU(N)\mathrm{SU}(N)1-03Large NN is in 7-04
Ta, fabcT^a,\ f^{abc}Hermitian generators, structure constants1-04, 3-02Normalisation is (3)
σa, λa\sigma^a,\ \lambda^aPauli matrices, Gell-Mann matrices1-04σ\sigma is also used in other meanings (§09)
CA, CF, T(R)C_A,\ C_F,\ T(R)Casimirs and the index of a representation4-06Values in the text
χr, dr\chi_r,\ d_rCharacter and dimension of the representation rr5-02χr(U)=tr⁡rU\chi_r(U)=\operatorname{tr}_rU
Ω(x)\Omega(x)Gauge transformation (a group element at each point)3-01The letter gg is kept for the coupling
04

Three ways of writing the gauge field — where to put gg, and where to attach ii

The same gauge field is written in three ways. The physics chapters "separate Hermitian AA from the coupling gg", the path-integral and dictionary chapters "absorb gg into the field and put 1/g21/g^2 in front of the action", and the geometry chapters use "an anti-Hermitian 1-form A\mathcal A". The translation is one line.

A^=g A,A=−iA^=−ig A,F^=g F,F=−iF^=−ig F(4)\hat A=g\,A,\qquad \mathcal A=-i\hat A=-ig\,A,\qquad \hat F=g\,F,\qquad \mathcal F=-i\hat F=-ig\,F \tag{4}

"Absorbing" is just multiplying by gg, and "geometry" is just multiplying further by −i-i. But −i-i changes the sign of tr⁡F2\operatorname{tr}F^2. For Hermitian XX, tr⁡X2≥0\operatorname{tr}X^2\ge0, while for anti-Hermitian −iX-iX it is ≤0\le0, so the geometric action carries a minus sign.

Table 4 Three ways of writing the gauge field (Euclidean action)
Physics (gg placed in DD)Physics (gg absorbed)Geometry (anti-Hermitian)
Covariant derivative∂μ−igAμ\partial_\mu-igA_\mu∂μ−iA^μ\partial_\mu-i\hat A_\mud+Ad+\mathcal A
Field strength∂μAν−∂νAμ−ig[Aμ,Aν]\partial_\mu A_\nu-\partial_\nu A_\mu-ig[A_\mu,A_\nu]∂μA^ν−∂νA^μ−i[A^μ,A^ν]\partial_\mu\hat A_\nu-\partial_\nu\hat A_\mu-i[\hat A_\mu,\hat A_\nu]dA+A∧Ad\mathcal A+\mathcal A\wedge\mathcal A
Gauge transformationΩAΩ−1−ig(∂Ω)Ω−1\Omega A\Omega^{-1}-\tfrac ig(\partial\Omega)\Omega^{-1}ΩA^Ω−1−i(∂Ω)Ω−1\Omega\hat A\Omega^{-1}-i(\partial\Omega)\Omega^{-1}ΩAΩ−1−(dΩ)Ω−1\Omega\mathcal A\Omega^{-1}-(d\Omega)\Omega^{-1}
Action SES_E12∫tr⁡FμνFμν=14∫FμνaFμνa\tfrac12\int\operatorname{tr}F_{\mu\nu}F_{\mu\nu}=\tfrac14\int F^a_{\mu\nu}F^a_{\mu\nu}12g2∫tr⁡F^μνF^μν\tfrac1{2g^2}\int\operatorname{tr}\hat F_{\mu\nu}\hat F_{\mu\nu}−1g2∫tr⁡F∧∗F-\tfrac1{g^2}\int\operatorname{tr}\mathcal F\wedge*\mathcal F
Chapters that use it3-02, 3-03, Part 4 (except 4-02; 4-03 uses both)0-01, 4-02, 8-041-07, 3-04, 3-05

The topological charge QQ is related to the second Chern number c2=18π2∫tr⁡F∧Fc_2=\frac1{8\pi^2}\int\operatorname{tr}\mathcal F\wedge\mathcal F by Q=−c2Q=-c_2 ((2) of 3-05; the difference in sign is (−i)2=−1(-i)^2=-1, coming from F=−igF\mathcal F=-igF), and the action has the lower bound SE≥8π2∣Q∣/g2S_E\ge8\pi^2|Q|/g^2 Known. Example. For SU(2) with g2=1g^2=1 (β=4\beta=4), the action of one instanton is 8π2=78.968\pi^2=78.96, and the weight e−SEe^{-S_E} is about 5×10−355\times10^{-35} Computed.

Detour: why physics likes to attach ii

Detour You may skip this. In quantum mechanics observables are Hermitian operators, with real eigenvalues (2-05). Colour charge is an observable, so physics takes Hermitian generators and puts ii in the exponent, eiθaTae^{i\theta^aT^a}. On the geometric side, the Lie algebra is the space of tangent vectors at the identity of the group, and su(N)\mathfrak{su}(N) is just the anti-Hermitian matrices. One can write eXe^X, and neither ii nor gg appears in the curvature. Precisely, the two styles differ only by changing the basis by a factor ii, and represent the same connection on the same group. The differences are only the sign of tr⁡F2\operatorname{tr}F^2 and the ii in front of fabcf^{abc}.
05

Lattice symbols — links, plaquettes, Wilson loops

Lattice gauge theory replaces spacetime by a lattice of spacing aa and places a group element on each edge (link) (5-01). The key symbols are the Wilson action and its coefficient β\beta.

SW(U)=β∑P(1−1NRe⁡tr⁡UP),β=2Ng2,UP=Ux,μUx+aμ^,νUx+aν^,μ−1Ux,ν−1(5)S_W(U)=\beta\sum_P\Bigl(1-\frac1N\operatorname{Re}\operatorname{tr}U_P\Bigr),\qquad \beta=\frac{2N}{g^2},\qquad U_P=U_{x,\mu}U_{x+a\hat\mu,\nu}U_{x+a\hat\nu,\mu}^{-1}U_{x,\nu}^{-1} \tag{5}

(5) sums the deviations from the identity of the product UPU_P around every small square (plaquette PP). β=2N/g2\beta=2N/g^2 is the value for which it matches the continuum action, coefficient included, for smooth fields as a→0a\to0 (5-01 §05) Known. Unless stated otherwise, this book's β\beta is this Wilson β\beta. β=4/g2\beta=4/g^2 in the SU(2) chapters (10-01, 10-02, 8-05) is the same formula with N=2N=2. A link sees the field only in the form Ux,μ≈e−igaAμU_{x,\mu}\approx e^{-igaA_\mu}. The parallel transport of 1-07 is its inverse, which is why the sign of the exponent of the plaquette is opposite to 1-07 (the trace does not change).

SU(2) links are also written with angles. The record kept on this machine writes U=eiϑ⋅σU=e^{i\vartheta\cdot\sigma}, while the book's (3) gives U=eiθaTaU=e^{i\theta^aT^a}, so they are related by θ=2ϑ\theta=2\vartheta.

U=eiϑ⋅σ=eiθaTa(θa=2ϑa),12tr⁡U=cos⁡∣ϑ∣(6)U=e^{i\vartheta\cdot\sigma}=e^{i\theta^aT^a}\quad(\theta^a=2\vartheta^a),\qquad \tfrac12\operatorname{tr}U=\cos|\vartheta| \tag{6}

Example. For ϑ=(0.3,−0.2,0.5)\vartheta=(0.3,-0.2,0.5), 12tr⁡U\tfrac12\operatorname{tr}U computed with the matrix exponential and cos⁡∣ϑ∣\cos|\vartheta| are both 0.8159410.815941 Computed. The difference in how the angle is taken acts as a constant factor on CPC_P in §08.

Table 5 Lattice symbols
SymbolMeaningChapterNote
a, La,\ LLattice spacing, number of points on a side of the periodic lattice5-014L44L^4 links, 6L46L^4 plaquettes
Uℓ=Ux,μU_\ell=U_{x,\mu}Group element on the link ℓ\ell5-01Ux+aμ^,−μ=Ux,μ−1U_{x+a\hat\mu,-\mu}=U_{x,\mu}^{-1}
P, UPP,\ U_PPlaquette and the product around it5-011−1NRe⁡tr⁡UP∈[0,2]1-\tfrac1N\operatorname{Re}\operatorname{tr}U_P\in[0,2]
μβ\mu_\betaWilson measure Z−1e−SW∏dUℓZ^{-1}e^{-S_W}\prod dU_\ell5-01dUdU is the Haar measure
W(C), WR×TW(C),\ W_{R\times T}Wilson loop 1Ntr⁡UC\tfrac1N\operatorname{tr}U_C, rectangle5-02TT is the length in time
σ\sigmaString tension: ⟨WR×T⟩≈e−σRT\langle W_{R\times T}\rangle\approx e^{-\sigma RT}5-02, 5-08Lattice units. In physical units σ\sqrt\sigma
ϑ, θ\vartheta,\ \thetaSU(2) link angle, θ=2ϑ\theta=2\vartheta(6), 10-13Different from θ\theta of the θ term
b, k, δ(b)b,\ k,\ \delta(b)Factor per step, number of steps, the shortfall of the bookkeeping10-02Definitions of the record kept on this machine
06

Six ways of writing the coupling — β\beta, βCh\beta_{\mathrm{Ch}}, βSZZ\beta_{\mathrm{SZZ}}, λ\lambda, g2g^2, α\alpha

The same coupling g2g^2 is written with different letters and different normalisations in different literature. Comparing term by term with the action (5) fixes the conversions (repeated from (8a) of 5-01).

β=2Ng2,βCh=βN,βSZZ=βN2,λ=g2N=2N2β,α=g24π(7)\beta=\frac{2N}{g^2},\qquad \beta_{\mathrm{Ch}}=\frac{\beta}{N},\qquad \beta_{\mathrm{SZZ}}=\frac{\beta}{N^2},\qquad \lambda=g^2N=\frac{2N^2}{\beta},\qquad \alpha=\frac{g^2}{4\pi} \tag{7}

βCh\beta_{\mathrm{Ch}} is Chatterjee's form, writing the action as βCh∑PRe⁡tr⁡(I−UP)\beta_{\mathrm{Ch}}\sum_P\operatorname{Re}\operatorname{tr}(I-U_P); βSZZ\beta_{\mathrm{SZZ}} is 't Hooft's convention, writing the inverse coupling as NβSZZN\beta_{\mathrm{SZZ}} (Shen–Zhu–Zhu, 5-04); λ\lambda is the 't Hooft coupling; α\alpha is what physics calls the strength of the coupling. The running coefficients also have a way of being written for each variable (Table 1 of 4-06); in this book b0b_0 is the coefficient for gg, and κ\kappa that for the Wilson β\beta.

μdgdμ=−b0g3+⋯ ,b0=11N48π2,dβdln⁡μ=κ=4Nb0=11N212π2(8)\mu\frac{dg}{d\mu}=-b_0g^3+\cdots,\qquad b_0=\frac{11N}{48\pi^2},\qquad \frac{d\beta}{d\ln\mu}=\kappa=4Nb_0=\frac{11N^2}{12\pi^2} \tag{8}

The right of (8) is the one-loop prediction that the same physics is kept if β\beta is raised by κln⁡2\kappa\ln2 each time aa is halved Known. κ=11/(3π2)\kappa=11/(3\pi^2) for SU(2) is the same number as "the slope of the step formula" of the record kept on this machine, and is the known coefficient written in the lattice convention (10-14).

Table 6 Constants for each group (pure SU(N)\mathrm{SU}(N)) Computed
NNdim⁡G\dim Gb0b_02b02b_0κ\kappaκln⁡2\kappa\ln2b0(α)=11N/12πb_0^{(\alpha)}=11N/12\pi (μ2 dα/dμ2=−b0(α)α2\mu^2\,d\alpha/d\mu^2=-b_0^{(\alpha)}\alpha^2, Table 1 of 4-06)
230.046440.092880.37150.25750.5836
380.069660.139320.83590.57940.8754
Figure 1 Coupling converter. Moving the Wilson β\beta with the knob moves the values of the six ways of writing (●) together on logarithmic scales. The vertical dashed line is the edge of the Shen–Zhu–Zhu condition in four dimensions (d=4d=4), βSZZ=1/(16(d−1))=1/48\beta_{\mathrm{SZZ}}=1/(16(d-1))=1/48, and the coloured band is the side where the condition holds. Switching SU(2) / SU(3) moves the position of the edge.
SU(2), β = 2.5: β_Ch = 1.25, β_SZZ = 0.625, λ = 3.2, g² = 1.6, α = 0.1273

ComputedThe numbers in this figure were computed on this machine. The figure computes (7) on the spot (the same formulas as Table 7).

Table 7 Numerical examples of the conversion, and the edge of the strong-coupling condition in four dimensions (d=4d=4) Computed
Caseβ\betaβCh\beta_{\mathrm{Ch}}βSZZ\beta_{\mathrm{SZZ}}λ\lambdag2g^2α\alpha
SU(2), β=2.5\beta=2.52.51.250.6253.21.60.12732
SU(3), β=6.0\beta=6.0620.66667310.07958
SU(2), edge of the condition0.083330.041670.0208396483.81972
SU(3), edge of the condition0.18750.06250.0208396322.54648

In 't Hooft's convention, βSZZ\beta_{\mathrm{SZZ}} and λ\lambda, the edge of the condition does not depend on NN. The SU(2) β=2.5\beta=2.5 often used in numerical computation and the edge of the condition are about 30 times apart in α\alpha. The conditions are to be read in the normalisation of each paper; the conversion here is this book's arithmetic.

07

Scales, lengths, masses — separating lattice units from physical units

The symbols for length and mass come double, in lattice units (numbers with the lattice spacing as 1) and in physical units. If they are confused, "there is a gap on the lattice" and "there is a gap in the continuum" look like the same sentence (4-11).

mlat=1ξ,Δ=mphys=mlata,ξphys=a ξ(9)m_{\rm lat}=\frac1\xi,\qquad \Delta=m_{\rm phys}=\frac{m_{\rm lat}}{a},\qquad \xi_{\rm phys}=a\,\xi \tag{9}

ξ\xi is the correlation length in lattice units, fixed by the rate of exponential decay of two-point correlations ((6) of 2-08). In the continuum limit, a→0a\to0 and ξ→∞\xi\to\infty are taken together so that the product aξa\xi stays constant. Example. If ξ=20\xi=20 and a=0.05a=0.05, then ξphys=1\xi_{\rm phys}=1. Halving aa needs ξ=40\xi=40, which at one loop corresponds to raising β\beta by κln⁡2\kappa\ln2. That two quantities are the same up to constant factors is written with the following symbol.

A≍B⟺∃ 0<c≤C:  c≤A/B≤C(throughout the range considered)(10)A\asymp B\quad\Longleftrightarrow\quad \exists\,0\lt c\le C:\ \ c\le A/B\le C\quad(\text{throughout the range considered}) \tag{10}

(10) says that the ratio goes neither to 0 nor to infinity; it is stronger than ln⁡A/ln⁡B→1\ln A/\ln B\to1, which compares only power exponents, and tells apart differences in logarithmic factors (Figure 2 of §08).

Table 8 Symbols for scales, lengths and masses
SymbolMeaningChapterNote
H, Ω, HH,\ \Omega,\ \mathcal HHamiltonian, vacuum, Hilbert space4-11HΩ=0H\Omega=0
Δ, m\Delta,\ mΔ\Delta: the constant in the problem statement that bounds the energy of excitations from below. mm: the largest value that can be taken as Δ\Delta (the lower end of the spectrum)0-03, 4-11m=inf⁡σ(H∣Ω⊥)m=\inf\sigma(H|_{\Omega^\perp}). There is a gap ⟺\Longleftrightarrow m>0m\gt0
ξ, mlat, mphys\xi,\ m_{\rm lat},\ m_{\rm phys}Correlation length (lattice units), 1/ξ1/\xi, mlat/am_{\rm lat}/a2-08, 8-03(9)
μ\muRenormalisation scale (momentum)4-06Same letter as indices and measures (§09)
Λ\LambdaThe scale of dimensional transmutation (μ e−1/(2b0g2)\mu\,e^{-1/(2b_0g^2)} at one loop)4-07Its value depends on the scheme. The ratio m/σm/\sqrt\sigma does not
ξRG, a:=1/ξRG\xi_{\rm RG},\ a:=1/\xi_{\rm RG}The bookkeeping length bk(β)b^{k(\beta)}, and the lattice spacing fixed by it10-01Definition of the record kept on this machine. Agrees with aa of Part 5 under chain (iii)
08

Probability, spectrum, relaxation — three CPC_P and two η\eta

In the second half of the book, the Poincaré constant CPC_P, which expresses how fast fluctuations are smoothed out, comes to the centre (1-10). It is the supremum of the ratio of the variance to the mean square of the gradient.

CP=sup⁡fVar⁡μ(f)E(f),E(f)=Eμ[∑ℓ∣∇ℓf∣2],λ1=1CP(11)C_P=\sup_f\frac{\operatorname{Var}_{\mu}(f)}{\mathcal E(f)},\qquad \mathcal E(f)=\mathbb E_\mu\Bigl[\sum_\ell|\nabla_\ell f|^2\Bigr],\qquad \lambda_1=\frac1{C_P} \tag{11}

λ1\lambda_1 is the gap of the Langevin dynamics that preserves μ\mu. The same letter CPC_P is used for three quantities. (α) CPC_P of the vacuum measure at one time (Δ=1/(2CP(α))\Delta=1/(2C_P^{(\alpha)}); convention with kinetic term 12p2\tfrac12p^2, exact for finitely many degrees of freedom; 2-05 §08, A-06 Table 2), (β) CPC_P of the path measure (Wilson measure) (CPC_P of the record kept on this machine), (γ) the difference in normalisation of (β) according to whether the gradient is measured in the link angle ϑ\vartheta or in the field A=β ϑA=\sqrt\beta\,\vartheta (10-01 The line of construction and Assumption H).

EA=Eϑβ,CP[EA]=β CP[Eϑ],in the free approximation  CP(A)=ξ2,  CP(ϑ)=ξ2β(SU(2))(12)\mathcal E_A=\frac{\mathcal E_\vartheta}{\beta},\qquad C_P[\mathcal E_A]=\beta\,C_P[\mathcal E_\vartheta],\qquad \text{in the free approximation}\ \ C_P^{(A)}=\xi^2,\ \ C_P^{(\vartheta)}=\frac{\xi^2}{\beta}\quad(\mathrm{SU}(2)) \tag{12}

The free approximation is the approximation that regards the action as a Gaussian free field keeping only the quadratic terms, and gives CP(A)=1/m2=ξ2C_P^{(A)}=1/m^2=\xi^2 (mm in lattice units). AA in (12) is AA of §04 measured in lattice units (β ϑa=−aAa\sqrt\beta\,\vartheta^a=-aA^a; the same field up to sign).

\n\n

(12) shows that writing "CP≍ξ2C_P\asymp\xi^2" without naming the normalisation can change whether the sentence is true. A sentence comparing power exponents (Assumption H) moves only by the logarithm of β\beta, and is the same sentence in both normalisations. A band statement, that the ratio stays within constant bounds, changes truth value with the normalisation. That is why this book writes band statements with the normalisation, as Hband[Eϑ]\mathrm H_{\rm band}[\mathcal E_\vartheta] (10-01 The line of construction and Assumption H).

Figure 2 Why the normalisation is named (SU(2), free approximation). Horizontal axis log⁡10ξ\log_{10}\xi, vertical axis CP/ξ2C_P/\xi^2 (logarithmic). The solid line is the field normalisation 11, the dashed line the angle normalisation 1/β1/\beta. β\beta is linked by replacing ξ\xi with the one-loop formula for ξRG\xi_{\rm RG}, ξ≈e3π2β/11\xi\approx e^{3\pi^2\beta/11} (up to a constant factor) (asymptotic scaling assumed Physics). Moving ξ\xi with the knob shows the local power exponent ln⁡CP/ln⁡ξ\ln C_P/\ln\xi in the readout.
ξ = 10⁶: β = 5.133, C_P^(ϑ)/ξ² = 0.1948, power exponent 1.8816 (angle) / 2 (field)

ComputedThe numbers in this figure were computed on this machine. The figure computes (12) and the one-loop formula on the spot (the same formulas as Table 9).

Table 9 CP/ξ2C_P/\xi^2 in the angle normalisation and the local power exponent (SU(2), free approximation, replacing ξ\xi by the one-loop formula for ξRG\xi_{\rm RG}, β=113π2ln⁡ξ\beta=\tfrac{11}{3\pi^2}\ln\xi. Asymptotic scaling assumed Physics) Computed
ξ\xiβ\betaCP(ϑ)/ξ2C_P^{(\vartheta)}/\xi^2ln⁡CP(ϑ)/ln⁡ξ\ln C_P^{(\vartheta)}/\ln\xiln⁡CP(A)/ln⁡ξ\ln C_P^{(A)}/\ln\xi
10210^{2}1.71090.58451.88342
10610^{6}5.13260.19481.88162
101210^{12}10.26520.09741.91572
104810^{48}41.06090.02441.96642

The ratio in the angle normalisation goes to 0, so Hband[Eϑ]\mathrm H_{\rm band}[\mathcal E_\vartheta] fails in this free approximation. The power exponent 2−ln⁡β/ln⁡ξ2-\ln\beta/\ln\xi is still 1.97 at ξ=1048\xi=10^{48}, but it goes to 2. This is an example showing a convention of notation, and shows nothing about CPC_P of the Yang–Mills measure.

There are also two exponents. The dynamical exponent zz is the power in CP≍ξzC_P\asymp\xi^z, and η\eta without qualification is ηdyn=2−z\eta_{\rm dyn}=2-z (8-05 §02, 2-10). The static ηs=2ΔO−(d−2)\eta_s=2\Delta_O-(d-2) is the power of correlations fixed by the scaling dimension ΔO\Delta_O of the operator OO, and the two are equal only when the relation z=2−ηsz=2-\eta_s holds. Example. For Glauber dynamics of the two-dimensional Ising model, ηs=1/4\eta_s=1/4 and ηdyn=−0.1665\eta_{\rm dyn}=-0.1665 (8-03) Physics.

Table 10 Symbols for probability, spectrum and relaxation
SymbolMeaningChapterNote
Eμ, Var⁡μ, ⟨⋅⟩\mathbb E_\mu,\ \operatorname{Var}_\mu,\ \langle\cdot\rangleExpectation, variance, physical expectation1-08⟨ψ,ϕ⟩\langle\psi,\phi\rangle is the inner product
σ(H)\sigma(H)Spectrum of an operator1-10Different from the string tension σ\sigma
CP, λ1, Eϑ, EAC_P,\ \lambda_1,\ \mathcal E_\vartheta,\ \mathcal E_A(11)(12)1-10, 10-01The three CPC_P: (α)(β)(γ)
τexp, τint\tau_{\rm exp},\ \tau_{\rm int}Exponential and integrated autocorrelation times2-10, 5-07For continuous-time Langevin, τexp=CP\tau_{\rm exp}=C_P
z, ηdyn, ηsz,\ \eta_{\rm dyn},\ \eta_sDynamical exponent, 2−z2-z, static power2-10, 8-05Different from the metric ημν\eta_{\mu\nu}
09

Different meanings of the same letter — a list for telling them apart by context

The conventions of mathematics and physics have assigned the same letters to different things, so collisions within one book cannot be avoided. This book keeps the strong conventions as they are and declares the meaning at the start of the chapter. The guide for telling them apart is "subscripts and arguments". Example. β(ba)=β(a)−κln⁡b+⋯\beta(ba)=\beta(a)-\kappa\ln b+\cdots in 8-04 is the Wilson inverse coupling taking the lattice spacing as argument, not the β function β(g)\beta(g).

Table 11 Different meanings of the same letter
LetterMeaning (chapter)How to tell apart
β\betaWilson inverse coupling (5-01; the converted βCh\beta_{\mathrm{Ch}} and βSZZ\beta_{\mathrm{SZZ}} are in §06) / inverse temperature 1/kBT1/k_BT (2-08; in 2-07 the length of the loop βℏ\beta\hbar) / the critical exponent β\beta (2-08 §06, 1/81/8 for the two-dimensional Ising model) / the β function (4-06) / (β) of the three CPC_P (10-01)Without qualification, the Wilson inverse coupling. The β function carries the argument gg. The exponent is written alongside α,γ,ν\alpha,\gamma,\nu
Δ\DeltaMass gap (4-11) / Laplacian Δlat\Delta_{\mathrm{lat}} (1-08) / scaling dimension ΔO\Delta_O (8-05; the scaling dimension of 7-08 is the same) / the decrease per step Δ(b)\Delta(b) and the MCRG shift Δβ\Delta\beta (8-04) / coproduct Δ(Γ)\Delta(\Gamma) (4-05) / the group quantity ΔG\Delta_G (Adhikari–Cao in 9-01; ΔG\Delta_G in 9-02 and 9-05 is the mass gap) / difference Δx\Delta x (2-04)The scaling dimension carries an operator subscript, the Laplacian carries lat, the coproduct takes a diagram as argument. For ΔG\Delta_G, see the chapter's declaration
η\etaMetric ημν\eta_{\mu\nu} (2-04) / ηdyn,ηs\eta_{\rm dyn},\eta_s (8-05)With two indices, the metric
κ\kappaOne-loop slope (4-06) / decay rate of the Gaussian chain 1/ξ1/\xi (2-08)Decay rate only within 2-08
λ\lambdaGell-Mann matrices (1-04) / 't Hooft coupling (7-04) / eigenvalue λ1\lambda_1 (1-10)With a colour index, a matrix; with a numeral subscript, an eigenvalue
σ\sigmaPauli matrices (1-04) / string tension (5-02) / spin σx\sigma_x (2-08) / spectrum σ(H)\sigma(H) (1-10)If the argument is an operator, the spectrum
Ω\OmegaGauge transformation Ω(x)\Omega(x) (3-01) / vacuum (4-11)With an argument point xx, a gauge transformation
θ\thetaAngle of the θ term (3-05) / link angle 2ϑ2\vartheta (§05) / gacgac of the plaquette (5-01)Multiplied by QQ, the θ term
Λ\LambdaLorentz transformation (2-04) / scale of dimensional transmutation (4-07)If a matrix, the transformation
μ\muSpacetime index / renormalisation scale (4-06) / measure μβ\mu_\betaIn subscript position, an index
aaLattice spacing (5-01) / spacing fixed by bookkeeping 1/ξRG1/\xi_{\rm RG} (10-01) / starting point of a path (sections 01–06 of 2-07; from section 07, the step width) / colour index (3-02)Superscript, colour. In 2-07 it switches by section
δ\deltaKronecker δab\delta^{ab} (1-04) / shortfall of the bookkeeping δ(b)\delta(b) (10-02)With two indices, Kronecker; with the factor bb as argument, the shortfall
PPPlaquette PP (5-01) / subscript of the Poincaré constant CPC_P (1-10) / assumption (P) (A-06)In brackets, the assumption; as a subscript of CC, the Poincaré constant
HHHamiltonian (4-11) / Assumption H (10-01) / Ising energy function (2-08)The assumption is the name of a sentence
IIIdentity matrix (tr(I−UP)\mathrm{tr}(I-U_P) in 5-01) / modified Bessel function Ik(J)=12π∫02πeJcos⁡θcos⁡kθ dθI_k(J)=\frac1{2\pi}\int_0^{2\pi}e^{J\cos\theta}\cos k\theta\,d\theta (sections 06 and 07 of 0-04)With a subscript kk and an argument, the Bessel function
GhostThe anticommuting Faddeev–Popov fields ca,cˉac^a,\bar c^a (4-08 §03) / states of negative weight in Pauli–Villars regularisation (4-10)If a field, Faddeev–Popov; if a state of negative inner product, Pauli–Villars
Orientation of linksParallel transport carries from the start point to the end point (1-07) / the lattice link Ux,μU_{x,\mu} is its inverse, carrying from x+aμ^x+a\hat\mu to xx, U≈e−igaAU\approx e^{-igaA} (5-01 §02) / numbering of chains: 3-01 uses Uj=U(j+1,j)U_j=U(j{+}1,j), 3-02 uses Un=U(n,n+1)U_n=U(n,n{+}1)The value of the trace does not depend on the orientation. When comparing signs of exponents, see each chapter's declaration (the correspondence with 1-07 in 5-01 §05)
TTGenerators TaT^a, index T(R)T(R) / length in time (5-02) / temperature (2-08) / transfer matrix TT (2-08, 4-11; T=e−aHT=e^{-aH})Superscript, a generator. Inside a matrix power or a trace, the transfer matrix

Detour: can symbol collisions be eliminated?

Detour You may skip this. Assigning a different letter to every quantity would eliminate collisions, but we do not, for two reasons. One is distance from the literature: writing the string tension with anything other than σ\sigma would make the tables of lattice papers unreadable as they are. The other is the number of letters: the number of quantities is far larger than the number of letters in commonly used typefaces. Precisely, a collision does harm only when two meanings stand in the same formula or the same table. For example, "(β)" in A-06 Table 2 stands in the same table as the Wilson β\beta, so it is distinguished with brackets.

What this chapter can say

MatterWhat is saidWhat is not said
Conventions of notation (Tables 1, 3, 5, 8, 10, 11)A list collecting in one place the conventions used by the chapters of this book. The definitions are as in the linked chaptersProperties of the quantities each symbol refers to (existence, positivity and so on). These can be said only within the range of the labels in each chapter
Normalisation of generators (3) and structure constants (Table 2)Checked numerically for SU(2) and SU(3) Computed. Standard convention KnownGeneral GG (the list in 1-04)
Three ways of writing the gauge field (Table 4)That they translate into one another by the substitutions (4). Q=−c2Q=-c_2 ((2) of 3-05) Known—
Conversion of couplings (7) and constants (Tables 6 and 7, Figure 1)Conversions as this book's arithmetic Computed. b0b_0 and κ\kappa rewrite known one-loop coefficients KnownThe content of each paper's conditions (conditions are read in the normalisation of the paper)
Normalisation of CPC_P ((12), Table 9, Figure 2)Arithmetic under the free approximation and the one-loop formula (up to constants) ComputedThe size of CPC_P for the lattice Yang–Mills measure. Whether Assumption H holds
The mass gap—This chapter is only conventions of notation, and shows nothing, on the lattice or in the continuum

Sources and reproduction

ItemKindSource / tools
Definition of each symbol (the "Chapter" column of each table)Chapters of this bookThe linked chapters. Primary sources are as in the source tables of those chapters
Definitions of Δ\Delta and mm in the problem statementPrimary source (text checked)A. Jaffe, E. Witten, “Quantum Yang–Mills Theory” (the official Clay problem description) §4. As in the source table of 4-11
The Wilson action and β=2N/g2\beta=2N/g^2KnownK. G. Wilson, Phys. Rev. D 10 (1974) 2445–2459. As in the source table of 5-01
The convention for βCh\beta_{\mathrm{Ch}}Primary source (text checked)S. Chatterjee, “Yang–Mills for probabilists”, arXiv:1803.01950 (2018) §3. As in the source table of 5-01
The convention for βSZZ\beta_{\mathrm{SZZ}} and the condition 1/(16(d−1))1/(16(d-1))(1.2)(1.3) of the text checked (the reading of the normalisation is in 5-04)H. Shen, R. Zhu, X. Zhu, Comm. Math. Phys. 400 (2023) 805–851, arXiv:2204.12737. As in the source table of 5-04
The one-loop coefficient b0b_0 and its four ways of writingKnownD. J. Gross, F. Wilczek (1973), H. D. Politzer (1973), D. Tong's lecture notes §2.4, the QCD chapter of the PDG. As in the source table of 4-06
The three CPC_P, Eϑ\mathcal E_\vartheta, EA\mathcal E_A, ξRG\xi_{\rm RG}Definitions of the record kept on this machineThe source tables of 10-01 and 10-13
ηs\eta_s, ηdyn\eta_{\rm dyn}, zzPhysics, the recordThe source tables of 8-05 and 2-10
The numbers in Tables 2, 6, 7, 9, (6) and §04Computed on this machinePython 3, NumPy, SciPy: generators.py (normalisation, commutation relations, Casimirs), constants.py (the arithmetic of (7)(8)), normalisation.py ((12) and the one-loop formula). Figures 1 and 2 compute the same formulas in plain JavaScript

Next chapter to read: A-02 Glossary (look up the meaning of a term in one to three lines, and jump to the chapter). The names of assumptions are in A-06 Index of assumptions.

← 11-A1 Table of notation for Part 11ContentsA-02 Glossary →

Revised 2026-10-01: first version.