computo ergo sum

2026-10-15 · chapter Yang–Mills and the mass gapPart 12 The second roadthe band, lateral widening, the end of the road · Kiichi, Shiori and Rin

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. The map
  97. Part 9 Where things stand, and open tasks
  98. 9-01 How far the world has come
  99. 9-02 Where the two ways of digging part
  100. 9-03 Candidates for new concepts
  101. 9-04 The list of open tasks
  102. 9-05 Common misconceptions
  103. 9-06 The stages a proof must contain — the table of seven stages
  104. The first road — from the direction of time
  105. Part 10 The first road, first half — from the direction of time: the mass gap and the diffusive-relaxation-time assumption
  106. 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
  107. 10-01 The line of construction and Assumption ξ²
  108. 10-02 Roads tried on the four-dimensional lattice, and walls
  109. 10-03 The four steps of the staircase — why we start from 0+1 dimensions
  110. 10-04 The path measure of the double well, and kinks
  111. 10-05 The statement of the first step — four conditions and Proposition 4.5
  112. 10-06 (H1) Local Poincaré within a phase
  113. 10-07 The map of (H2) — seven routes and the seam of the ring
  114. 10-08 What computer-assisted means — the conditions on the chain inside the window
  115. 10-09 The sector framework and the three strands of route 5
  116. 10-10 The list of detour plans — types of breakage
  117. 10-11 (H3)(H4) and the constant of the core
  118. 10-12 The integrated table and the dependency graph
  119. 10-13 Lean statements and the limits of machine checking
  120. 10-14 Reconciliation — the numbers of the record and the known numbers
  121. 10-15 What remains and its cost — the distance to a theorem
  122. 10-16 What is not claimed
  123. 10-17 Insights and small questions
  124. Part 11 The first road, second half — repairing the form of the assumption, making time continuous
  125. 11-00 Further considerations — entrance
  126. 11-01 One form that obstructs Assumption ξ² — a nearly conserved global quantity
  127. 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
  128. 11-03 Two ways to repair Assumption ξ² — the sector Assumption ξ² and the local Assumption ξ²
  129. 11-04 Which Assumption ξ² the one-sided bridge needs
  130. 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
  131. 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
  132. 11-07 Because it is four dimensions — the dimensionless coupling and topology
  133. 11-08 Questions, and what is not claimed
  134. 11-A1 Table of notation for Part 11
  135. The second road — from the direction of space
  136. Part 12 The second road: from the direction of space — a small twisted T² and confinement
  137. 12-00 Entrance — space, not time
  138. 12-01 The twisted T² and 't Hooft flux
  139. 12-02 Vortices and fractional instantons
  140. 12-03 Containers — conditioning on the frame makes things independent
  141. 12-04 Slab confinement
  142. 12-05 Vortex-insertion identities
  143. 12-06 Driven insertion and the flow lemma
  144. 12-07 Why fixed maps fail
  145. 12-08 The measured record
  146. 12-09 Where this road stops — widening the T² is the band
  147. The crossover band — two roads reach the same wall
  148. Part 13 The crossover band — two roads reach the same wall
  149. 13-00 Entrance — confluence
  150. 13-01 The correct form of the band
  151. 13-02 Reduction to a single inequality
  152. 13-03 The only place where non-abelian enters
  153. 13-04 Structure alone cannot cross
  154. 13-05 The chessboard and simultaneous flips
  155. 13-06 Renormalisation comparison — a comparison that distinguishes groups
  156. 13-07 The band seen from the side of time
  157. 13-08 A map of the roads tried and stopped
  158. 13-09 The measured record
  159. 13-10 Candidate new viewpoints
  160. 13-11 Ultraviolet control — what it means to close at infinitely many steps
  161. Closing
  162. Part 14 Closing — conditional statements
  163. 14-00 Entrance — the promise of this part
  164. 14-01 The conditional statement — the mass gap and confinement, arrow by arrow
  165. 14-02 The ledger of conditions
  166. 14-03 The table of questions (a cross-index)
  167. 14-04 What is not claimed (a cross-index)
  168. Appendices
  169. A-01 Table of notation
  170. A-02 Glossary
  171. A-03 Guide to the literature
  172. A-04 Lean and machine checking
  173. A-05 How this book was made
  174. A-06 Index of assumptions
  175. 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 T2T^2, stops. It stops at the stage of widening the side LL of the T2T^2 beyond the correlation-length scale 1/Λ1/\Lambda, and this is the crossover band (the band for short). At the two ends of the band — the region of dilute fractional instantons where LL is small, and the confinement region where LL is large — there is a prospect that the needed inequality holds, and all that remains is to pass non-perturbatively through the middle, L∼1/ΛL\sim1/\Lambda.

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 order of this chapter
  1. The stage where it stops — what is in hand on a small T2T^2, and the stage of widening
  2. The two ends and the middle of the band — the dilute region, the confinement region, and between them (Table 1)
  3. The statement to show in the band — the correct form, and intermediate goals
  4. To Part 13

01

The stage where it stops — what is in hand on a small T2T^2, and the stage of widening

The road of this part went by way of a small twisted T2T^2 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 LL of the T2T^2, and the vortex sheets winding the T2T^2 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 T2T^2, stages 3 and 4 of the seven) and a stage where all other walls gather (widening the T2T^2, stage 5).

What is in hand on the side of the small T2T^2 is all either conditional or stated with the lattice spacing fixed. With the lattice spacing and the T2T^2 fixed, the area law holds at every β\beta, 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 T2T^2 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 R4\mathbb R^4, so L→∞L\to\infty is needed. One must widen LL from well below the correlation length 1/Λ1/\Lambda to well above it, keeping a bound with the same constant at every LL. 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 ℏ\hbar, the time window) (note in 13-00).

02

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 θ(R;TL2)\theta(R;T^2_L) (container side RR, side LL of the transverse T2T^2, 12-03), has the form that the bias does not grow when the transverse T2T^2 is widened (the lateral-widening inequality, 13-02). The situation differs at the two ends and in the middle.

Table 1 The two ends and the middle of the band (Λ\Lambda is the dynamical scale, LL the side of the transverse T2T^2)
RegionPictureWhen the transverse T2T^2 is widenedLabelConditions written in the same row
L≪1/ΛL\ll1/\Lambda (dilute region)Vortices are self-dual lumps of charge 12\tfrac12 (fractional instantons), and the action 4π2/g24\pi^2/g^2 does not depend on the shape of the T2T^2. In the dilute gas ln⁡(1/θ)∝AD L5/3\ln(1/\theta)\propto A_D\,L^{5/3} (ADA_D is the area of the container)ln⁡(1/θ)\ln(1/\theta) grows and the bias becomes smaller. The exponent 5/3=11/3−25/3=11/3-2 is the margin by which the coefficient of asymptotic freedom beats the entropy of the two transverse dimensionsReading (physics: one-loop and dilute-gas counting). The formula of the tension Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} is CitedDilute region, one loop, SU(2). For U(1) the same counting gives exponent −2-2
L≫1/ΛL\gg1/\Lambda (confinement region)The free energy of the vortex sheet in a container is tension ×\times area, and the dependence on the area of the T2T^2 is only the entropy of the position of the vortex sheet (logarithmic)The ratio of biases stays of order s2s^2Reading (physics: on the picture of confinement)A picture that assumes confinement. Not shown
L∼1/ΛL\sim1/\Lambda (middle)Neither the weak-coupling picture nor the strong-coupling picture can be usedThe statement to be shown itselfAssumptionNeeds 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 U(1)U(1) can only spread uniformly, and U(1)U(1) on a slab becomes at long distances a two-dimensional U(1)U(1) with coupling e2/ATe^2/A_T (ATA_T is the area of the T2T^2), so ln⁡(1/θ)∝AD/AT\ln(1/\theta)\propto A_D/A_T, and the ratio of biases when the T2T^2 is widened (after over before) becomes arbitrarily large Reading (physics: the estimate counting of Paper 2). Weakly coupled four-dimensional Z2\mathbb Z_2 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 T2T^2 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.

03

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" (sup⁡Lθ(L;TL2)≤θ0<1\sup_L\theta(L;T^2_L)\le\theta_0\lt1). This form is satisfied by four-dimensional U(1)U(1) too, and the tension it gives is ln⁡(1/θ0)/L2→0\ln(1/\theta_0)/L^2\to0 (13-01). The correct form is that the vortex free energy of the container becomes small exponentially in the area,

ln⁡1θ(L;TL2) ≥ c L2(in physical units, uniform in the lattice spacing a)(1)\ln\frac1{\theta(L;T^2_L)}\ \ge\ c\,L^2\qquad(\text{in physical units, uniform in the lattice spacing }a\text{}) \tag{1}

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 L→∞L\to\infty (a restatement of there being no deconfined phase). (b) ln⁡(1/θ)≥cL2/ln⁡L\ln(1/\theta)\ge cL^2/\ln L (an almost-area law). Neither has been shown.

04

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 β→∞\beta\to\infty" (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 saidWhat is not said
That the stage at which the road from the direction of space stops is the stage of widening the transverse T2T^2 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: 5/3=11/3−25/3=11/3-2 in the dilute region, logarithmic entropy in the confinement region Reading (physics)Passing non-perturbatively through the middle L∼1/ΛL\sim1/\Lambda. Proofs of the prospects at the two ends

Sources and reproduction

ItemKindSource / tools
The string tension Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} on a small T2T^2CitedY. Tanizaki, M. Ünsal, arXiv:2201.06166, equations (2.32) and (2.37) (the source table of 12-02)
5/3=11/3−25/3=11/3-2 in the dilute region, −2-2 for U(1)U(1)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 U(1)U(1)Assumption, Reading13-01. The Tomboulis–Yaffe inequality is Cited
Intermediate goals (a)(b)AssumptionThe 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 θ(R;TL2)\theta(R;T^2_L), 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 →

Revised 2026-10-15: first version.