computo ergo sum

2026-10-15 · chapter Yang–Mills and the mass gapPart 12 The second road: from the direction of spaceentrance, the ladder of scales, map of ten chapters · 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

Entrance — space, not time

What this chapter shows — Part 10 was a road towards the mass gap from the direction of time (the time over which fluctuations are smoothed out, and the transfer matrix). Part 12 is the second road, towards confinement from the direction of space. We shrink two of the four directions to a small twisted two-dimensional torus T2T^2 and consider the area law of Wilson loops on the remaining plane R2\mathbb R^2. In this chapter we state (1) why we go once by way of a small twisted T2T^2, (2) how the problem then splits in two, (3) which tool works at which scale (Figure 2, "the ladder of scales"), and (4) the map of the ten chapters of Part 12.

Prerequisite chapters — 5-01 (Wilson's lattice), 5-02 (strong coupling), 7-02 centre vortices, 4-06 (asymptotic freedom), 4-07 (dimensional transmutation), 6-07 (what the four-dimensional construction has reached). The entrance of Part 10, 10-00.

Said first — This chapter is a map, and it contains no newly proved statements. "On a small twisted T2T^2 the coupling stays weak up to the size of the T2T^2" is a physical estimate made on the assumption of control of the ultraviolet (a multiscale bound, uniform in aa, from the lattice spacing aa up to the size of the T2T^2). The road of Part 12 heads first for confinement (the area law), not for the mass gap itself. That the two are different statements is as in 7-02 and 9-05.

The order of this chapter
  1. The second road — what we look at, and from which direction
  2. Two walls — the ultraviolet and the crossover band
  3. Why a small twisted T² — two reasons
  4. The ladder of scales — which tool works at which scale (Figure 2, Table 1)
  5. Map of the ten chapters of Part 12 (Table 2)
  6. The conventions of notation and words in this part
  7. Guide to Part 10 and Part 13
  8. What cannot be said
  9. The table of five grades and the dependency graph (Table 3)

01

The second road — what we look at, and from which direction

The road of Part 10 regarded one direction of the lattice as "time", and approached the mass gap from the gap of the transfer matrix and from the time over which fluctuations are smoothed out (the diffusive-relaxation-time assumption, formerly Assumption H). Where it stopped is summarised in 10-15.

In Part 12 we change direction. Of the four directions of the four-dimensional lattice, we wind two (directions 1 and 2) into a torus T2T^2 with small period LL, and regard the other two (directions 3 and 4) as a large plane. We ask whether a Wilson loop W(C)W(C) drawn in the plane decreases as ⟨W(C)⟩≤e−σA\langle W(C)\rangle\le e^{-\sigma A} in the area AA it encloses (the area law). Where the time road looked at "the gap", what this road looks at is "how vortices are counted in the plane".

We put 't Hooft's twist (12-01) on the wound T2T^2. It is known in the physics literature that if one shrinks to a periodic T2T^2 without twist, a family of flat connections (zero modes) remains, and there is no prospect of joining the small T2T^2 to large four dimensions without a phase transition Cited (the title of §2.1 of Tanizaki–Ünsal 2022 is "compactification to periodic T2T^2 and the absence of adiabatic continuity"). For a twisted T2T^2, the same paper states the conjecture that the structure of the weakly coupled vacuum on a small T2×R2T^2\times\mathbb R^2 is joined without a phase transition to the strongly coupled region of R4\mathbb R^4 Cited. This conjecture remains a conjecture, and this book also treats it as one.

02

Two walls — the ultraviolet and the crossover band

If one starts from the lattice, builds the four-dimensional theory and tries to show confinement or a mass gap, one hits two walls of different nature.

  1. The ultraviolet wall. One needs uniform bounds at all scales that do not break down as the lattice spacing aa approaches 0. Thanks to asymptotic freedom (4-06) the coupling becomes weak at short distances, and one can consider a multiscale analysis that controls each scale in perturbative language. For four-dimensional Yang–Mills the closest to this is Bałaban's series; what it reached and what remains are in 6-07. In this book we treat this as an assumption named "control of the ultraviolet" Assumption.
  2. The crossover band. One must cross, without relying on perturbation theory, the intermediate scale at which the coupling passes from weak (short distances) to strong (long distances), around 1/Λ1/\Lambda in physical length (Λ\Lambda is the scale born of dimensional transmutation, 4-07). On each side there are tools (perturbation theory and semiclassics on the weak-coupling side, the strong-coupling expansion on the strong-coupling side, 5-02). That no tool works inside the band is where both the road of Part 10 of this book and this road stop (Part 13).

If one heads straight for four dimensions, the two walls appear at the same time. This is because one has to manage, within a single bound, both making the lattice spacing small (the ultraviolet) and looking at long distances in a large box (crossing the band).

03

Why a small twisted T² — two reasons

The skeleton of this road is that going by way of a small twisted T2T^2 lets us separate the two walls into different stages. There are two reasons.

Reason 1: the twist removes the zero modes, so one can proceed at weak coupling up to the size of the T2T^2 (an estimate). On a twisted T2T^2, the configuration with action 0 is fixed to be unique up to gauge (12-01 Fact 1), and the lattice Laplacian of the adjoint fluctuations around it has a positive gap 4sin⁡2(π/2N)4\sin^2(\pi/2N) (12-01 Fact 2, N=L/aN=L/a) Proved here. In physical units, when NN is large this gap is of order (π/L)2(\pi/L)^2, and all classical fluctuations have masses of order 1/L1/L. The running of the coupling then stops at the size LL of the T2T^2, and if LΛ≪1L\Lambda\ll1 the effective coupling g2(L)g^2(L) is expected to stay small Reading (a physical estimate, on the assumption of control of the ultraviolet). The band does not appear in this stage.

Reason 2: the surface of a vortex winding the T2T^2 closes locally in the plane. A centre vortex (7-02) is a two-dimensional surface in four dimensions, and in four dimensions the vortex surface linked with a Wilson loop in the plane is an extended object whose cost grows with area. In the work of this book, every road that tried to cross the band while staying in four dimensions stopped at one point: "a topological quantity (whether a vortex links a loop) cannot be compared monotonically by local operations" (map in 13-08) Reading. In R2×T2\mathbb R^2\times T^2, the surface {p}×T2\{p\}\times T^2 above a point pp of the plane is a closed surface of area L2L^2, and in the plane it behaves like a point. Adding or removing one vortex sheet becomes an operation inside a bounded region of the plane Proved here (that the surface lies in a bounded region is a fact from the definition). This locality supports all of the containers (12-03), slab confinement (12-04) and the insertion identities (12-05).

In this way the problem splits in two.

Splitting does not make it easier. The band remains whole in the last stage. What the splitting gains is that all the stages before the band can be arranged in a form that can be checked independently of the band, and that the form of the inequality the band demands can be narrowed to one (Part 13).

04

The ladder of scales — which tool works at which scale

Figure 2 takes the physical length LL (the side of the small T2T^2, or the scale being looked at) vertically, and lays out, from the lattice spacing aa at the bottom to infinity at the top, which tool works at which scale. It is a figure for seeing in one picture the shape of the problem: there are tools at the bottom (weak coupling) and at the top (strong coupling), and only the band in the middle is empty. The number and title of the figure match the entrance of Part 13 (Figure 2 "the ladder of scales" of 13-00). Figure 1 (the flow of the logic) is in 9-06.

Figure 2 The ladder of scales. The vertical axis is physical length (shorter towards the bottom). The labels of each stage are in Table 1; the text in the figure summarises the labelled rows and is not itself a claim
Scale L ∞ 1/Λ L₀ a Confinement region (strong coupling) Widening T², the only loss is expected to be the entropy of vortex positions Strong-coupling tools (strong-coupling expansion, area law) work → 5-02 (the match of scale and coupling is an estimate from asymptotic freedom) The crossover band — tools from neither side reach Renormalisation comparison: bound the vortex free energy of the doubled lattice at a smaller β′ One-loop β − β′ = 0.258 / numerical reading about 0.2 (SU(2)); U(1) goes the other way The core that remains: a non-perturbative error bound → Part 13 Dilute gas of fractional instantons (semiclassical) Lumps of topological charge 1/2, action 4π²/g² = π²β → 12-02 String tension ∝ Λ²(ΛL)^(5/3), margin in the exponent 5/3 = 11/3 − 2 (dilute region, one-loop counting, ΛL ≪ 1) Bounds in the direction of widening T² are, in this stage, semiclassical estimates L₀: base point of the small twisted T² Tools of twist, containers, slabs, insertions → 12-01, 12-03–12-05 Ultraviolet: multiscale analysis From a to L₀, bounds uniform in a (Bałaban's series is the closest) In this book an assumption named "control of the ultraviolet" → 6-07

Figure 2 in words is as follows. From the bottom: from the lattice spacing aa up to the base-point length L0L_0 is the ultraviolet stage (multiscale analysis; an assumption in this book); L0L_0 is the base point of the small twisted T2T^2 (where the tools of Part 12 work directly); from L0L_0 to 1/Λ1/\Lambda is the stage of the dilute gas of fractional instantons (a semiclassical estimate, with string tension of order Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}); around 1/Λ1/\Lambda is the crossover band (where the renormalisation comparison is known only at the one-loop level and numerically); and above that is the confinement region (where strong-coupling tools are expected to work).

Table 1 Content and labels of each stage of Figure 2 (conditions in the same row)
StageContentLabelConditions, scopeChapter
aa – L0L_0Multiscale bounds uniform in aa (locality of the effective action, rarity of large fields, flow of the coupling)AssumptionAn assumption named control of the ultraviolet. In Bałaban's series in four dimensions, stages remain that the original sources call unpublished6-07
L0L_0Uniqueness of the vacuum that absorbs the twist, the gap 4sin⁡2(π/2N)4\sin^2(\pi/2N) of the adjoint Laplacian, positive minimal action in the (1,1) sectorProved hereSU(2), lattice, NN fixed, n12=1n_{12}=112-01
L0L_0With the lattice spacing and the T2T^2 fixed, an area law at every β\betaProved hereNN fixed, lattice spacing fixed. In the continuum limit the tension becomes 0. Comparison with earlier work not yet done12-04
L0L_0The gap and the area law on a small T2T^2, uniformly in aaAssumptionA conditional research plan under control of the ultraviolet, uniform acceptance of insertions and frame decorrelation12-09, 14-01
L0L_0 – 1/Λ1/\LambdaThe lower bound 4π2/g24\pi^2/g^2 on the action of a self-dual lump of topological charge 12\tfrac12, and the string tension Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} of the dilute gasCited + ReadingThe former is the BPS bound (a formula of the original source). The latter is a physical estimate from the dilute region and one-loop counting (equations (2.32) and (2.37) of Tanizaki–Ünsal)12-02
Around 1/Λ1/\LambdaRenormalisation comparison: at the one-loop level β−β′=0.258\beta-\beta'=0.258 (per doubling of the lattice)Proved hereOne-loop level, SU(2), β=4/g2\beta=4/g^2. Not a claim outside perturbation theory13-06
Around 1/Λ1/\LambdaNumerical reading: for SU(2) β−β′≈0.2\beta-\beta'\approx0.2; for U(1) the other wayReadingLattices 44→844^4\to8^4 and others; the number of seeds and the errors are in 13-0913-06
Around 1/Λ1/\LambdaAn inequality that crosses the band without relying on perturbation theoryAssumptionUnsolved. Its form is narrowed to one inequality in Part 1313-02
1/Λ1/\Lambda – ∞\inftyArea law on the strong-coupling sideCitedA lattice statement at small β\beta. The match with the scale of physical length is an estimate from asymptotic freedom5-02

Of the rows of Table 1 at L0L_0, the upper two are statements with the lattice spacing fixed, and differ in strength from the third row, "uniform in aa". This difference (making things uniform in the lattice spacing) is the ultraviolet wall, and each chapter of Part 12 writes in the same row on which side each statement lies.

05

Map of the ten chapters of Part 12

Part 12 consists of the following ten chapters. The labels are the main labels of the rows in each chapter; the finer division is in each chapter's table of five grades. The "Conditions" column gives the conditions that always attach to the chapter's main statements.

Table 2 The ten chapters of Part 12 (labels and conditions in the same row)
ChapterTitleContent in one lineMain labelsConditions
12-00Entrance — space, not timeThis chapterReading + Cited"Stays weakly coupled" is an estimate under the assumption of control of the ultraviolet
12-01The twisted T² and 't Hooft fluxn12=1n_{12}=1, sectors, the flux free energy, the twist-summed ensemble. Three elementary factsCited (definitions) / Proved here (three facts)SU(2), lattice, NN fixed, n12=1n_{12}=1
12-02Vortices and fractional instantonsLumps of topological charge 12\tfrac12, action 4π2/g24\pi^2/g^2, the dilute gas, string tension Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}, and that the lattice action approaches π2β\pi^2\beta from belowCited / Reading / Computer-assisted / AssumptionDilute region, one loop, SU(2). The cooled action is an upper bound
12-03Containers — conditioning on the frame makes things independentThe container identity (Mack–Petkova), nesting in the directions of the plane, limits in four dimensionsCited / Proved hereThe identity is known. Lean covers only the finite algebra
12-04Slab confinementWith the lattice spacing and the T2T^2 fixed, an area law at every β\betaProved hereNN fixed, lattice spacing fixed, tension 0 in the continuum limit. Comparison with earlier work not yet done
12-05Vortex-insertion identitiesExpectation 1 of the insertion ratio, correlation with the sign of the sector, averaged bounds, second momentsProved hereFinite configuration space, positive weights, a bijection that flips the sector
12-06Insertion driven by dynamics, and the flow lemmaA Jarzynski-type identity, bounds on simultaneous flipsProved here / CitedBounds on the kernel of one step cannot be used to test the band
12-07Why fixed maps failA map that does not change the shape of fluctuations cannot see the 4 of antiscreening. 11/3=−1/3+411/3=-1/3+4Proved here / ReadingOne-loop level
12-08The measured recordWork of driven insertion, vortex free energy, string tension of the slabReadingGroup, β\beta, lattice size, number of measurements and errors in each row
12-09Where this road stopsWidening the T2T^2 = the crossover bandAssumption + Reading—

We recommend reading in numerical order. A reader in a hurry can follow the skeleton of the road by reading 12-01 §01–§02 (the setting), 12-02 §01–§03 (fractional instantons and the dilute gas), 12-04 (slab confinement) and 12-09 (where it stops), in that order.

06

The conventions of notation and words in this part

07

Guide to Part 10 and Part 13

To Part 10 (the first road). Part 10 is the road towards the mass gap from the direction of time, and it built the diffusive-relaxation-time assumption (formerly Assumption H) in the model of the first step. The entrance is 10-00, where it stopped is 10-15, and the considerations beyond are in Part 11 (11-00). The two roads aim to show different statements (Part 10 the gap, Part 12 first the area law).

To Part 13 (the band). Both roads stop just before a statement of the type "the same constant at all scales". Part 13 (13-00) treats the correct form of that statement (13-01), its reduction to one inequality (13-02), and the same band seen from the side of time (13-07). The last chapter of Part 12 (12-09) is the bridge to Part 13.

To the table of stages. The table of the stages a proof must contain (the container, the ultraviolet, the gap on a small T2T^2, confinement on a small T2T^2, the band, R4\mathbb R^4, general groups) is in 9-06. Part 12 fills the two "small T2T^2" stages of that table and the entrance to the "band" stage.

08

What cannot be said

(a) Weak coupling. "The coupling stays weak up to the size of the T2T^2" is a physical estimate on the assumption of control of the ultraviolet, not a theorem. Bounds uniform in the lattice spacing appear nowhere in this book.

(b) Adiabatic continuity. That the small T2T^2 and R4\mathbb R^4 are joined without a phase transition is a conjecture, and this book does not use it. What it uses is only the form "if they are joined, what must be shown".

(c) Confinement and the gap. The goal of this road is the area law, and there is no known road from the area law to the mass gap. The two are different statements (9-06, 14-01).

(d) Figure 2. Figure 2 is a map of where the tools sit, and the match of scale and coupling (which LL corresponds to which β\beta) is an estimate from asymptotic freedom. The numbers in the figure summarise the labelled rows of Table 1.

09

The table of five grades and the dependency graph

Table 3 The rows of this chapter ("—" is a row without machine checking)
RowStatement (one line)GradeEvidenceScopeMachine checking
[01]On a periodic T2T^2 adiabatic continuity does not hold (as stated in the physics literature)CitedTanizaki–Ünsal §2.1Physical argument—
[02]The conjecture of continuity from the twisted T2×R2T^2\times\mathbb R^2 to R4\mathbb R^4CitedSame, abstractAs a conjecture—
[03]Uniqueness of the vacuum that absorbs the twist, and the gap of the adjoint LaplacianProved hereFacts 1 and 2 of 12-01SU(2), lattice, NN fixed, n12=1n_{12}=1—
[04]The surface {p}×T2\{p\}\times T^2 lies in a bounded region of the planeProved hereDefinition——
[05]Control of the ultravioletAssumption6-07From aa to L0L_0—
[06]Weak coupling up to the size of the T2T^2 ⟸ [03][05]ReadingPhysical estimateLΛ≪1L\Lambda\ll1—
[07]The one point at which the roads that tried to cross the band in four dimensions stopped (topological quantities cannot be compared locally)ReadingMap of 13-08Within the roads tried—
[08]The problem splits into an intermediate goal and a last stage ⟸ [04][06][07]AssumptionThis chapter §03The form of a research plan—
[09]Figure 2 and each stage of Table 1 ⟸ [05][06][08]The label of each rowTable 1Conditions of Table 1—

Dependency graph (the numbers of premises are smaller than the number of the conclusion):

[01] CIT PER    no continuity on a periodic T²                     physical argument
[02] CIT ADI    continuity from twisted T² × R² to R⁴ (conj.)      conjecture
[03] PRV TW     unique vacuum absorbing twist, gap 4sin²(π/2N)     SU(2), N fixed, n₁₂ = 1
[04] PRV LOC    surface {p} × T² lies in a bounded region of plane
[05] ASM UV     control of the ultraviolet                         a to L₀
[06] RDG WEAK   weak coupling up to size of T² ⟸ [03][05]          physical estimate, LΛ ≪ 1
[07] RDG STOP   the one point where 4D crossing roads stopped      within roads tried
[08] ASM SPLIT  splits into intermediate goal and last stage ⟸ [04][06][07]
[09] MIX LAD    Figure 2, Table 1 ⟸ [05][06][08]

The way to check is to see by eye that every number to the right of "⟸" is smaller than the number on the left. There are no circles. The only nodes with proofs placed are [03] (proved in 12-01) and [04] (definition). The conjecture [02] enters as a premise of no node. The assumption row [05] does not contain the quantities of the conclusion (gap, area law) and states only the form of a multiscale bound. The nodes on the conclusion side of this chapter, [06] and [08], are "Reading" and "Assumption", and there is neither a node of confinement nor a node of the mass gap.


What this chapter can say

What is saidWhat is not said
Proved here Uniqueness of the configuration with action 0 on the twisted T2T^2 and the gap of the adjoint Laplacian (proved in 12-01); that the vortex surface is local in the planeA gap uniform in the lattice spacing. The form of the area law on a small T2T^2 uniform in aa
Cited What the physics literature says about the difference between a periodic T2T^2 and a twisted T2T^2; the conjecture of continuity (as a conjecture)The conjecture of continuity itself
Reading "Weak coupling up to the size of the T2T^2" (a physical estimate under the assumption of control of the ultraviolet); the arrangement of Figure 2The quantitative form of the match of scale and coupling. The width of the band
Assumption The form of the research plan in which the problem splits into two stagesNeither stage is closed. An inequality that crosses the band

Sources and reproduction

ItemKindSource / tools
Compactification on periodic T2T^2 and on twisted T2T^2, the conjecture of continuityCitedY. Tanizaki, M. Ünsal, Center vortex and confinement in Yang–Mills theory and QCD with anomaly-preserving compactifications, arXiv:2201.06166 (v2, 2022). Abstract, the title of §2.1 and §2.2–2.3 checked in the text
Numerics of the gas of fractional instantons on the latticeCitedG. Bergner, A. González-Arroyo, I. Soler, Fractional instantons and confinement: first results on a T2×R2T_2\times R^2 roadmap, arXiv:2502.09463 (2025). Abstract checked
Twisted boundary conditionsCitedG. 't Hooft, Nucl. Phys. B 153 (1979) 141 / G. 't Hooft, Commun. Math. Phys. 81 (1981) 267 (bibliographic data as in 3-05)
What the ultraviolet has reachedThis book6-07
One-loop β−β′=0.258\beta-\beta'=0.258Proved hereβ=4/g2\beta=4/g^2, and from the one-loop coefficient b0=22/(48π2)b_0=22/(48\pi^2), 8b0ln⁡2≈0.25758b_0\ln2\approx0.2575. The derivation is in 13-06
Numerical β−β′≈0.2\beta-\beta'\approx0.2ReadingThe numerical record of this book's work (13-09)
Titles and labels of the ten chaptersThis bookTable 2. Each chapter's table of five grades is authoritative

Words used in this chapter — the second road, the small twisted T2T^2, the ultraviolet wall, the crossover band, control of the ultraviolet, the intermediate goal, the ladder of scales, the base point L0L_0, the dilute gas of fractional instantons, the renormalisation comparison. Their meanings are in A-02 Glossary.

Next chapter to read: 12-01 The twisted T² and 't Hooft flux — the setting, sectors, the flux free energy, and three elementary facts.

← 11-A1 Table of notation for Part 11Contents12-01 The twisted T² and 't Hooft flux →

Revised 2026-10-15: first version.