The whole book Contents and reading orders
- Part 0 Entrance — how to read this book
- 0-01 How to read this book
- 0-02 One picture
- 0-03 Reading the problem statement word by word
- 0-04 Four dimensions in mathematics and four dimensions in physics
- Part 1 Mathematical preparation
- 1-01 Vector spaces and linear maps
- 1-02 What a group is
- 1-03 Lie groups and Lie algebras
- 1-04 SU(2) and SU(3)
- 1-05 Manifolds and tangent spaces
- 1-06 Differential forms and the exterior derivative
- 1-07 Vector bundles and connections
- 1-08 Probability and measure
- 1-09 Probability in infinite dimensions
- 1-10 Hilbert spaces and self-adjoint operators
- 1-11 Fourier analysis and distributions
- 1-12 Detour: what happens only in four dimensions
- Part 2 Physical preparation
- 2-01 Lagrangians and the action
- 2-02 The idea of a field
- 2-03 Electromagnetism is a gauge theory
- 2-04 Special relativity and spacetime
- 2-05 The bones of quantum mechanics
- 2-06 The harmonic oscillator and creation and annihilation
- 2-07 The idea of the path integral
- 2-08 Statistical mechanics and phase transitions
- 2-09 Detour: the gap and the correlation length in the Ising model
- 2-10 The relaxation time and the dynamical exponent z
- Part 3 Yang–Mills theory (classical)
- 3-01 The gauge principle
- 3-02 Non-abelian gauge fields
- 3-03 The action and the equations
- 3-04 Gauge theory as geometry
- 3-05 Instantons and topology
- 3-06 Detour: Donaldson and exotic R⁴
- 3-07 Yang–Mills inside the Standard Model
- Part 4 Quantisation
- 4-01 Canonical quantisation and the Hamiltonian
- 4-02 The path integral and Euclideanisation
- 4-03 Perturbation theory and Feynman diagrams
- 4-04 Divergences and renormalisation
- 4-05 The algebra of divergences
- 4-06 Asymptotic freedom
- 4-07 Dimensional transmutation and Λ
- 4-08 Gauge fixing and Faddeev–Popov
- 4-09 The axioms of quantum field theory
- 4-10 The Osterwalder–Schrader axioms and reconstruction
- 4-11 The definition of the mass gap
- 4-12 Detour: the perturbation series diverges
- Part 5 Lattice gauge theory
- 5-01 Wilson's lattice
- 5-02 The strong-coupling expansion
- 5-03 Reflection positivity and the transfer matrix
- 5-04 The infinite-volume limit and the cluster expansion
- 5-05 Weak coupling and the continuum limit
- 5-06 How U(1) differs from the non-abelian case
- 5-07 The Monte Carlo method
- 5-08 Measuring glueballs and the string tension
- 5-09 What to hold fixed when taking the limit
- 5-10 Lattice gauge theory with finite groups
- 5-11 Detour: Bakry–Émery and one-link integration
- Part 6 Constructive field theory
- 6-01 What constructive field theory is
- 6-02 Solvability in two dimensions and the Yang–Mills measure
- 6-03 Constructing scalar fields
- 6-04 The cluster expansion
- 6-05 The sequence of renormalisation group steps
- 6-06 Ultraviolet stability of three-dimensional Yang–Mills
- 6-07 Four dimensions
- 6-08 Triviality of φ⁴ in four dimensions
- 6-09 Stochastic quantisation and regularity structures
- 6-10 Where four dimensions stops
- 6-11 Obstacles other than divergence
- 6-12 Detour: "if 1/0 is given a symbol"
- Part 7 From the side of physics
- 7-01 How physics sees it
- 7-02 Mechanisms of confinement
- 7-03 The string picture
- 7-04 Large N
- 7-05 String theory and extra dimensions
- 7-06 How extra dimensions become invisible
- 7-07 Where gauge fields come from
- 7-08 Holography
- 7-09 The mass gap becomes geometry
- 7-10 Back to four dimensions
- 7-11 Supersymmetry and Seiberg–Witten
- 7-12 The sentence that plays the role of an equivalence principle
- 7-13 Where the way physics digs parts from mathematics
- Part 8 A dictionary of two languages — the physical and the mathematical view
- 8-01 How to read the dictionary
- 8-02 Dictionary A
- 8-03 Dictionary B
- 8-04 Dictionary C
- 8-05 The physical counterparts of our assumptions
- Part 9 Where things stand, and open tasks
- 9-01 How far the world has come
- 9-02 Where the two ways of digging part
- 9-03 Candidates for new concepts
- 9-04 The list of open tasks
- 9-05 Common misconceptions
- Part 10 Towards a proof of the mass gap — building the first step of the staircase
- 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
- 10-01 The line of construction and Assumption H
- 10-02 Roads tried on the four-dimensional lattice, and walls
- 10-03 The four steps of the staircase — why we start from 0+1 dimensions
- 10-04 The path measure of the double well, and kinks
- 10-05 The statement of the first step — four conditions and Proposition 4.5
- 10-06 (H1) Local Poincaré within a phase
- 10-07 The map of (H2) — seven routes and the seam of the ring
- 10-08 What computer-assisted means — the conditions on the chain inside the window
- 10-09 The sector framework and the three strands of route 5
- 10-10 The list of detour plans — types of breakage
- 10-11 (H3)(H4) and the constant of the core
- 10-12 The integrated table and the dependency graph
- 10-13 Lean statements and the limits of machine checking
- 10-14 Reconciliation — the numbers of the record and the known numbers
- 10-15 What remains and its cost — the distance to a theorem
- 10-16 What is not claimed
- 10-17 Insights and small questions
- Part 11 Further considerations — beyond Assumption H, and other views
- 11-00 Further considerations — entrance
- 11-01 One form that obstructs H — a nearly conserved global quantity
- 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
- 11-03 Two ways to repair H — the sector H and the local H
- 11-04 Which H the one-sided bridge needs
- 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
- 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
- 11-07 Because it is four dimensions — the dimensionless coupling and topology
- 11-08 Questions, and what is not claimed
- 11-A1 Table of notation for Part 11
- Appendices
- A-01 Table of notation
- A-02 Glossary
- A-03 Guide to the literature
- A-04 Lean and machine checking
- A-05 How this book was made
- 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 are set out with conversion formulas, tables and moving figures. Different meanings of the same letter (, , , , 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.
- How to use this table — the common conventions, and three choices of convention
- Spacetime and indices — the signature and imaginary time (Table 1)
- Groups and Lie algebras — normalisation of generators and structure constants (Tables 2 and 3)
- Three ways of writing the gauge field — where and go (Table 4). Detour: why physics likes to attach
- Lattice symbols — links, plaquettes, link angles (Table 5)
- Six ways of writing the coupling — conversions and one-loop coefficients (Table 6, Figure 1, Table 7)
- Scales, lengths, masses — lattice units and physical units, the symbol (Table 8)
- Probability, spectrum, relaxation — three and two (Figure 2, Tables 9 and 10)
- Different meanings of the same letter — a list for telling them apart (Table 11). Detour: can symbol collisions be eliminated?
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, . An index appearing twice in the same term is summed. Both and 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.
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, , becomes in four dimensions (), and in this book's Wilson it is for SU(2) and 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.
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 , with time rotated to imaginary values (4-02).
(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 becomes when rotated, positive except at the origin.
| Symbol | Meaning | Chapter | Note |
|---|---|---|---|
| Minkowski coordinates () | 2-04 | Some textbooks use the opposite signature | |
| Imaginary time and Euclidean indices | 4-02 | ||
| Spatial indices | 3-02 | Do not mix with the colour indices | |
| Colour electric and magnetic fields | 3-02 | ; in Euclidean signature | |
| Dimension of (Euclideanised) spacetime | 0-03 | The problem statement has | |
| The integer lattice, the lattice with spacing | 5-01 | §05 |
Groups and Lie algebras — generators are normalised by
The gauge group is a compact simple Lie group, and in almost all examples it is (1-04). For generators we take Hermitian in the physics style. Unless the normalisation is fixed, both the structure constants and the coupling constant are off by constant factors.
In the mathematics style one takes anti-Hermitian , giving the form without . It is the same . Example. For SU(2), and ; for SU(3), (half the Gell-Mann matrices). The adjoint Casimir () is , the fundamental Casimir () is , and the index of the representation () is for the fundamental representation. What enters the one-loop coefficient (4-06) is and .
| Group | Independent non-zero () | |||
|---|---|---|---|---|
| SU(2) | 0 | 0.75 | 2 | |
| SU(3) | 1.333333 | 3 | ; ; ; |
Table 2 was obtained by writing out the matrices, computing , and checking the residual on substituting back into (3) (at most ) and that the Casimir is a constant multiple of the identity matrix.
| Symbol | Meaning | Chapter | Note |
|---|---|---|---|
| Gauge group, Lie algebra, the size of | 1-03 | Large is in 7-04 | |
| Hermitian generators, structure constants | 1-04, 3-02 | Normalisation is (3) | |
| Pauli matrices, Gell-Mann matrices | 1-04 | is also used in other meanings (§09) | |
| Casimirs and the index of a representation | 4-06 | Values in the text | |
| Character and dimension of the representation | 5-02 | ||
| Gauge transformation (a group element at each point) | 3-01 | The letter is kept for the coupling |
Three ways of writing the gauge field — where to put , and where to attach
The same gauge field is written in three ways. The physics chapters "separate Hermitian from the coupling ", the path-integral and dictionary chapters "absorb into the field and put in front of the action", and the geometry chapters use "an anti-Hermitian 1-form ". The translation is one line.
"Absorbing" is just multiplying by , and "geometry" is just multiplying further by . But changes the sign of . For Hermitian , , while for anti-Hermitian it is , so the geometric action carries a minus sign.
| Physics ( placed in ) | Physics ( absorbed) | Geometry (anti-Hermitian) | |
|---|---|---|---|
| Covariant derivative | |||
| Field strength | |||
| Gauge transformation | |||
| Action | |||
| Chapters that use it | 3-02, 3-03, Part 4 (except 4-02; 4-03 uses both) | 0-01, 4-02, 8-04 | 1-07, 3-04, 3-05 |
The topological charge is related to the second Chern number by ((2) of 3-05; the difference in sign is , coming from ), and the action has the lower bound Known. Example. For SU(2) with (), the action of one instanton is , and the weight is about Computed.
Detour: why physics likes to attach
Lattice symbols — links, plaquettes, Wilson loops
Lattice gauge theory replaces spacetime by a lattice of spacing and places a group element on each edge (link) (5-01). The key symbols are the Wilson action and its coefficient .
(5) sums the deviations from the identity of the product around every small square (plaquette ). is the value for which it matches the continuum action, coefficient included, for smooth fields as (5-01 §05) Known. Unless stated otherwise, this book's is this Wilson . in the SU(2) chapters (10-01, 10-02, 8-05) is the same formula with . A link sees the field only in the form . 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 , while the book's (3) gives , so they are related by .
Example. For , computed with the matrix exponential and are both Computed. The difference in how the angle is taken acts as a constant factor on in §08.
| Symbol | Meaning | Chapter | Note |
|---|---|---|---|
| Lattice spacing, number of points on a side of the periodic lattice | 5-01 | links, plaquettes | |
| Group element on the link | 5-01 | ||
| Plaquette and the product around it | 5-01 | ||
| Wilson measure | 5-01 | is the Haar measure | |
| Wilson loop , rectangle | 5-02 | is the length in time | |
| String tension: | 5-02, 5-08 | Lattice units. In physical units | |
| SU(2) link angle, | (6), 10-13 | Different from of the θ term | |
| Factor per step, number of steps, the shortfall of the bookkeeping | 10-02 | Definitions of the record kept on this machine |
Six ways of writing the coupling — , , , , ,
The same coupling 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).
is Chatterjee's form, writing the action as ; is 't Hooft's convention, writing the inverse coupling as (Shen–Zhu–Zhu, 5-04); is the 't Hooft coupling; 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 is the coefficient for , and that for the Wilson .
The right of (8) is the one-loop prediction that the same physics is kept if is raised by each time is halved Known. 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 1 of 4-06) | ||||||
|---|---|---|---|---|---|---|
| 2 | 3 | 0.04644 | 0.09288 | 0.3715 | 0.2575 | 0.5836 |
| 3 | 8 | 0.06966 | 0.13932 | 0.8359 | 0.5794 | 0.8754 |
ComputedThe numbers in this figure were computed on this machine. The figure computes (7) on the spot (the same formulas as Table 7).
| Case | ||||||
|---|---|---|---|---|---|---|
| SU(2), | 2.5 | 1.25 | 0.625 | 3.2 | 1.6 | 0.12732 |
| SU(3), | 6 | 2 | 0.66667 | 3 | 1 | 0.07958 |
| SU(2), edge of the condition | 0.08333 | 0.04167 | 0.02083 | 96 | 48 | 3.81972 |
| SU(3), edge of the condition | 0.1875 | 0.0625 | 0.02083 | 96 | 32 | 2.54648 |
In 't Hooft's convention, and , the edge of the condition does not depend on . The SU(2) often used in numerical computation and the edge of the condition are about 30 times apart in . The conditions are to be read in the normalisation of each paper; the conversion here is this book's arithmetic.
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).
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, and are taken together so that the product stays constant. Example. If and , then . Halving needs , which at one loop corresponds to raising by . That two quantities are the same up to constant factors is written with the following symbol.
(10) says that the ratio goes neither to 0 nor to infinity; it is stronger than , which compares only power exponents, and tells apart differences in logarithmic factors (Figure 2 of §08).
| Symbol | Meaning | Chapter | Note |
|---|---|---|---|
| Hamiltonian, vacuum, Hilbert space | 4-11 | ||
| : the constant in the problem statement that bounds the energy of excitations from below. : the largest value that can be taken as (the lower end of the spectrum) | 0-03, 4-11 | . There is a gap | |
| Correlation length (lattice units), , | 2-08, 8-03 | (9) | |
| Renormalisation scale (momentum) | 4-06 | Same letter as indices and measures (§09) | |
| The scale of dimensional transmutation ( at one loop) | 4-07 | Its value depends on the scheme. The ratio does not | |
| The bookkeeping length , and the lattice spacing fixed by it | 10-01 | Definition of the record kept on this machine. Agrees with of Part 5 under chain (iii) |
Probability, spectrum, relaxation — three and two
In the second half of the book, the Poincaré constant , 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.
is the gap of the Langevin dynamics that preserves . The same letter is used for three quantities. (α) of the vacuum measure at one time (; convention with kinetic term , exact for finitely many degrees of freedom; 2-05 §08, A-06 Table 2), (β) of the path measure (Wilson measure) ( of the record kept on this machine), (γ) the difference in normalisation of (β) according to whether the gradient is measured in the link angle or in the field (10-01 The line of construction and Assumption H).
The free approximation is the approximation that regards the action as a Gaussian free field keeping only the quadratic terms, and gives ( in lattice units). in (12) is of §04 measured in lattice units (; the same field up to sign).
\n\n(12) shows that writing "" without naming the normalisation can change whether the sentence is true. A sentence comparing power exponents (Assumption H) moves only by the logarithm of , 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 (10-01 The line of construction and Assumption H).
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).
| 1.7109 | 0.5845 | 1.8834 | 2 | |
| 5.1326 | 0.1948 | 1.8816 | 2 | |
| 10.2652 | 0.0974 | 1.9157 | 2 | |
| 41.0609 | 0.0244 | 1.9664 | 2 |
The ratio in the angle normalisation goes to 0, so fails in this free approximation. The power exponent is still 1.97 at , but it goes to 2. This is an example showing a convention of notation, and shows nothing about of the Yang–Mills measure.
There are also two exponents. The dynamical exponent is the power in , and without qualification is (8-05 §02, 2-10). The static is the power of correlations fixed by the scaling dimension of the operator , and the two are equal only when the relation holds. Example. For Glauber dynamics of the two-dimensional Ising model, and (8-03) Physics.
| Symbol | Meaning | Chapter | Note |
|---|---|---|---|
| Expectation, variance, physical expectation | 1-08 | is the inner product | |
| Spectrum of an operator | 1-10 | Different from the string tension | |
| (11)(12) | 1-10, 10-01 | The three : (α)(β)(γ) | |
| Exponential and integrated autocorrelation times | 2-10, 5-07 | For continuous-time Langevin, | |
| Dynamical exponent, , static power | 2-10, 8-05 | Different from the metric |
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. in 8-04 is the Wilson inverse coupling taking the lattice spacing as argument, not the β function .
| Letter | Meaning (chapter) | How to tell apart |
|---|---|---|
| Wilson inverse coupling (5-01; the converted and are in §06) / inverse temperature (2-08; in 2-07 the length of the loop ) / the critical exponent (2-08 §06, for the two-dimensional Ising model) / the β function (4-06) / (β) of the three (10-01) | Without qualification, the Wilson inverse coupling. The β function carries the argument . The exponent is written alongside | |
| Mass gap (4-11) / Laplacian (1-08) / scaling dimension (8-05; the scaling dimension of 7-08 is the same) / the decrease per step and the MCRG shift (8-04) / coproduct (4-05) / the group quantity (Adhikari–Cao in 9-01; in 9-02 and 9-05 is the mass gap) / difference (2-04) | The scaling dimension carries an operator subscript, the Laplacian carries lat, the coproduct takes a diagram as argument. For , see the chapter's declaration | |
| Metric (2-04) / (8-05) | With two indices, the metric | |
| One-loop slope (4-06) / decay rate of the Gaussian chain (2-08) | Decay rate only within 2-08 | |
| Gell-Mann matrices (1-04) / 't Hooft coupling (7-04) / eigenvalue (1-10) | With a colour index, a matrix; with a numeral subscript, an eigenvalue | |
| Pauli matrices (1-04) / string tension (5-02) / spin (2-08) / spectrum (1-10) | If the argument is an operator, the spectrum | |
| Gauge transformation (3-01) / vacuum (4-11) | With an argument point , a gauge transformation | |
| Angle of the θ term (3-05) / link angle (§05) / of the plaquette (5-01) | Multiplied by , the θ term | |
| Lorentz transformation (2-04) / scale of dimensional transmutation (4-07) | If a matrix, the transformation | |
| Spacetime index / renormalisation scale (4-06) / measure | In subscript position, an index | |
| Lattice spacing (5-01) / spacing fixed by bookkeeping (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 | |
| Kronecker (1-04) / shortfall of the bookkeeping (10-02) | With two indices, Kronecker; with the factor as argument, the shortfall | |
| Plaquette (5-01) / subscript of the Poincaré constant (1-10) / assumption (P) (A-06) | In brackets, the assumption; as a subscript of , the Poincaré constant | |
| Hamiltonian (4-11) / Assumption H (10-01) / Ising energy function (2-08) | The assumption is the name of a sentence | |
| Identity matrix ( in 5-01) / modified Bessel function (sections 06 and 07 of 0-04) | With a subscript and an argument, the Bessel function | |
| Ghost | The anticommuting Faddeev–Popov fields (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 links | Parallel transport carries from the start point to the end point (1-07) / the lattice link is its inverse, carrying from to , (5-01 §02) / numbering of chains: 3-01 uses , 3-02 uses | 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) |
| Generators , index / length in time (5-02) / temperature (2-08) / transfer matrix (2-08, 4-11; ) | Superscript, a generator. Inside a matrix power or a trace, the transfer matrix |
Detour: can symbol collisions be eliminated?
What this chapter can say
| Matter | What is said | What 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 chapters | Properties 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 Known | General (the list in 1-04) |
| Three ways of writing the gauge field (Table 4) | That they translate into one another by the substitutions (4). ((2) of 3-05) Known | — |
| Conversion of couplings (7) and constants (Tables 6 and 7, Figure 1) | Conversions as this book's arithmetic Computed. and rewrite known one-loop coefficients Known | The content of each paper's conditions (conditions are read in the normalisation of the paper) |
| Normalisation of ((12), Table 9, Figure 2) | Arithmetic under the free approximation and the one-loop formula (up to constants) Computed | The size of 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
| Item | Kind | Source / tools |
|---|---|---|
| Definition of each symbol (the "Chapter" column of each table) | Chapters of this book | The linked chapters. Primary sources are as in the source tables of those chapters |
| Definitions of and in the problem statement | Primary 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 | Known | K. G. Wilson, Phys. Rev. D 10 (1974) 2445–2459. As in the source table of 5-01 |
| The convention for | 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 and the condition | (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 and its four ways of writing | Known | D. 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 , , , | Definitions of the record kept on this machine | The source tables of 10-01 and 10-13 |
| , , | Physics, the record | The source tables of 8-05 and 2-10 |
| The numbers in Tables 2, 6, 7, 9, (6) and §04 | Computed on this machine | Python 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 →