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
- The map
- 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
- 9-06 The stages a proof must contain — the table of seven stages
- The first road — from the direction of time
- Part 10 The first road, first half — from the direction of time: the mass gap and the diffusive-relaxation-time assumption
- 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
- 10-01 The line of construction and Assumption ξ²
- 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 The first road, second half — repairing the form of the assumption, making time continuous
- 11-00 Further considerations — entrance
- 11-01 One form that obstructs Assumption ξ² — 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 Assumption ξ² — the sector Assumption ξ² and the local Assumption ξ²
- 11-04 Which Assumption ξ² 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
- The second road — from the direction of space
- Part 12 The second road: from the direction of space — a small twisted T² and confinement
- 12-00 Entrance — space, not time
- 12-01 The twisted T² and 't Hooft flux
- 12-02 Vortices and fractional instantons
- 12-03 Containers — conditioning on the frame makes things independent
- 12-04 Slab confinement
- 12-05 Vortex-insertion identities
- 12-06 Driven insertion and the flow lemma
- 12-07 Why fixed maps fail
- 12-08 The measured record
- 12-09 Where this road stops — widening the T² is the band
- The crossover band — two roads reach the same wall
- Part 13 The crossover band — two roads reach the same wall
- 13-00 Entrance — confluence
- 13-01 The correct form of the band
- 13-02 Reduction to a single inequality
- 13-03 The only place where non-abelian enters
- 13-04 Structure alone cannot cross
- 13-05 The chessboard and simultaneous flips
- 13-06 Renormalisation comparison — a comparison that distinguishes groups
- 13-07 The band seen from the side of time
- 13-08 A map of the roads tried and stopped
- 13-09 The measured record
- 13-10 Candidate new viewpoints
- 13-11 Ultraviolet control — what it means to close at infinitely many steps
- Closing
- Part 14 Closing — conditional statements
- 14-00 Entrance — the promise of this part
- 14-01 The conditional statement — the mass gap and confinement, arrow by arrow
- 14-02 The ledger of conditions
- 14-03 The table of questions (a cross-index)
- 14-04 What is not claimed (a cross-index)
- 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
- A-07 Papers that came out of this book
Where this road stops — widening the T² is the band
What this chapter shows — At which stage the road from the direction of space, starting from a small twisted , stops. It stops at the stage of widening the side of the beyond the correlation-length scale , and this is the crossover band (the band for short). At the two ends of the band — the region of dilute fractional instantons where is small, and the confinement region where is large — there is a prospect that the needed inequality holds, and all that remains is to pass non-perturbatively through the middle, .
Prerequisite chapters — 12-00 (the entrance of this part), 12-02 (vortices and fractional instantons), 12-04 (slab confinement), 9-06 (stage 5 of the table of seven stages).
Said first — This is a short guiding chapter, and it places no new proofs. Every statement crossing the band is an assumption, and the prospects at the two ends are physical estimates resting on one-loop and dilute-gas counting, or on the picture of confinement.
- The stage where it stops — what is in hand on a small , and the stage of widening
- The two ends and the middle of the band — the dilute region, the confinement region, and between them (Table 1)
- The statement to show in the band — the correct form, and intermediate goals
- To Part 13
The stage where it stops — what is in hand on a small , and the stage of widening
The road of this part went by way of a small twisted in order to split the four-dimensional problem in two (12-00). Since the twist removes the zero modes, the theory stays weakly coupled at scales up to the size of the , and the vortex sheets winding the close locally as fractional instantons. In this way the problem splits into an intermediate goal where only the ultraviolet wall remains (the gap and confinement on a small , stages 3 and 4 of the seven) and a stage where all other walls gather (widening the , stage 5).
What is in hand on the side of the small is all either conditional or stated with the lattice spacing fixed. With the lattice spacing and the fixed, the area law holds at every , but the tension is fixed by the cost of thin vortices and becomes 0 in the continuum limit Proved here (12-04). The insertion identities and averaged bounds reduce confinement to a single local quantity Proved here (12-05). Confinement and the gap on a small with the lattice spacing sent to 0 are a strand resting on assumptions such as control of the ultraviolet Assumption (arrows G1 and C2 of 14-01).
What the problem statement asks for is the theory on , so is needed. One must widen from well below the correlation length to well above it, keeping a bound with the same constant at every . This stage is where this road stops, and in this book we call it the crossover band (the band for short) Assumption. It is a different word from the "windows" of Parts 10 and 11 (the site window, the window in , the time window) (note in 13-00).
The two ends and the middle of the band
The statement to show in the band, in the language of the bias of the sector of a container (container side , side of the transverse , 12-03), has the form that the bias does not grow when the transverse is widened (the lateral-widening inequality, 13-02). The situation differs at the two ends and in the middle.
| Region | Picture | When the transverse is widened | Label | Conditions written in the same row |
|---|---|---|---|---|
| (dilute region) | Vortices are self-dual lumps of charge (fractional instantons), and the action does not depend on the shape of the . In the dilute gas ( is the area of the container) | grows and the bias becomes smaller. The exponent is the margin by which the coefficient of asymptotic freedom beats the entropy of the two transverse dimensions | Reading (physics: one-loop and dilute-gas counting). The formula of the tension is Cited | Dilute region, one loop, SU(2). For U(1) the same counting gives exponent |
| (confinement region) | The free energy of the vortex sheet in a container is tension area, and the dependence on the area of the is only the entropy of the position of the vortex sheet (logarithmic) | The ratio of biases stays of order | Reading (physics: on the picture of confinement) | A picture that assumes confinement. Not shown |
| (middle) | Neither the weak-coupling picture nor the strong-coupling picture can be used | The statement to be shown itself | Assumption | Needs non-perturbative input. Structural inputs (reflection positivity, duality, the transfer matrix) alone do not give it (13-04) |
Putting U(1) beside it as a control: the flux of can only spread uniformly, and on a slab becomes at long distances a two-dimensional with coupling ( is the area of the ), so , and the ratio of biases when the is widened (after over before) becomes arbitrarily large Reading (physics: the estimate counting of Paper 2). Weakly coupled four-dimensional breaks it in the same way. What separates SU(2) from U(1) is that non-abelian flux can localise into lumps of finite action independent of scale (13-03). The measured record (the vortex free energy when the is widened goes up for U(1) and not for SU(2); the slab tension grows and saturates) is in 12-08 and 13-09 Reading.
The statement to show in the band — the correct form, and intermediate goals
The goal of the band is not "the bias stays uniformly away from 1" (). This form is satisfied by four-dimensional too, and the tension it gives is (13-01). The correct form is that the vortex free energy of the container becomes small exponentially in the area,
a local version, conditioned on the frame, of 't Hooft's criterion for confinement Assumption. (1) follows by iterating doubling, given the base point, frame decorrelation and the lateral-widening inequality (Theorem 1 of 14-01 §03 and its premises). In the language of the chessboard, the content of (1) becomes two uniformities: the uniform slab tension and the uniform slab gap (13-05).
As intermediate goals before reaching (1), two weaker statements have been named Assumption. (a) That the vortex free energy of the container approaches 0 as (a restatement of there being no deconfined phase). (b) (an almost-area law). Neither has been shown.
To Part 13
This road came as far as just before the band and stopped. What is needed in the band can be narrowed in form with the tools of this part: the correct form (1), the reduction to one inequality, where non-abelianness enters, and that structure alone cannot cross, in that order. The road from the direction of time (Parts 10 and 11) also arrives at a uniformity of the same type when its four-dimensional goal is written in the form "a constant uniform in " (10-15 §08). That the two roads meet at this band is treated in the entrance of Part 13.
What this chapter can say
| What is said | What is not said |
|---|---|
| That the stage at which the road from the direction of space stops is the stage of widening the transverse beyond the correlation-length scale (the band). The correct form (1) of the statement to show in the band, and the naming of the intermediate goals (a)(b) | Each of (1), (a) and (b) is Assumption |
| The prospects at the two ends: in the dilute region, logarithmic entropy in the confinement region Reading (physics) | Passing non-perturbatively through the middle . Proofs of the prospects at the two ends |
Sources and reproduction
| Item | Kind | Source / tools |
|---|---|---|
| The string tension on a small | Cited | Y. Tanizaki, M. Ünsal, arXiv:2201.06166, equations (2.32) and (2.37) (the source table of 12-02) |
| in the dilute region, for | Reading (physics) | The proposition "the inequality separates theories" in Paper 2 (draft, A-07) (the paper itself states that it is an estimate) |
| The correct form (1) and the counterexample | Assumption, Reading | 13-01. The Tomboulis–Yaffe inequality is Cited |
| Intermediate goals (a)(b) | Assumption | The row of task 8 in 14-02 |
Words used in this chapter — the crossover band (the band), the lateral-widening inequality, the bias of the sector , the dilute region, the confinement region, intermediate goals. Their meanings are in A-02 Glossary.
Next chapter to read: 13-00 Entrance — confluence — that the two roads arrive at a statement of one type, "the same constant at all scales".
← 12-08 The measured recordContents13-00 Entrance — confluence →