computo ergo sum

2026-10-15 · chapter Yang–Mills and the mass gapPart 12 The second roadwork of driven insertion, vortex free energy, string tension of slabs · 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

The measured record

What this chapter shows — We collect the numerical record of Part 12 in one place. There are three series: (1) the work and acceptance rate of driven insertion (12-06), (2) the vortex free energy of the global flux when the twisted T2T^2 is widened (with a U(1)U(1) control), and (3) the string tension of slabs (Creutz ratios). Finally we annotate the measurement of simultaneous flips, and why its positioning was withdrawn.

Prerequisite chapters — 12-06 (driven insertion, the flow lemma), 12-03 (containers, the bias of the sector θ\theta), 13-02 (the lateral-widening inequality, monotonicity of the string tension). From Part 5, 5-07 (Monte Carlo) and 5-08 (string tension, Creutz ratios).

Said first — The numbers of this chapter are all numerical readings (Reading), and none is a proof. Each row states the group, β\beta, the size of the T2T^2 NTN_T, the size of the plane MM, the number of measurements and the error. Where the error is not in the record, we write "not in the record". The lattices are small, and β\beta takes a few values. The rows with NT=2N_T=2 are a region where the T2T^2 is only 2 in lattice units and lattice artefacts are large.

The order of this chapter
  1. Summary [Y3] — three series
  2. Common setting and how to read it
  3. The work of driven insertion — Tables 1 and 2
  4. The vortex free energy when the T² is widened — Tables 3, 4 and 5
  5. The string tension of slabs — Tables 6 and 7
  6. The measurement of simultaneous flips, and its withdrawn positioning — Tables 8 and 9
  7. What cannot be said
  8. The table of five grades and the dependency graph — Table 10

01

Summary [Y3] — three series

  1. Driven insertion. On SU(2)SU(2) slabs, the cost of inserting a vortex in one go (0 steps) is large and proportional to the area of T2T^2, at 11.8, 24.2 and 44.9 (NT=2,3,4N_T=2,3,4, β=2.3\beta=2.3), but driving it over 256 steps brought it down to 0.50–0.63 Reading (rows A, B and C of Table 1. In rows G and H, under different conditions, the work over 256 steps stays high, at 3.64 and 6.67). When the container (a disc) is smaller than the size of the vortex, increasing the number of steps does not bring it all the way down.
  2. Fixing the container radius at 4 and widening to NT=4,6,8N_T=4,6,8 (β=2.5\beta=2.5, 1024 steps), the work was 1.1–1.6, with no clear increase in NTN_T Reading (10 configurations × 3 positions).
  3. The vortex free energy. The free energy ΔF\Delta F of the global flux sector increased as T2T^2 was widened for U(1)U(1) (β=1.5\beta=1.5), and did not increase, or decreased, for SU(2)SU(2) (β=2.4,2.5\beta=2.4,2.5) Reading (M=8M=8 and 1212; the errors are 0.04–0.78 for U(1)U(1) and 0.1–0.36 for SU(2)SU(2)).
  4. String tension of slabs. For SU(2)SU(2), β=2.5\beta=2.5, M=16M=16, the Creutz ratio χ(4)\chi(4) increased for NT=4→8N_T=4\to8 and was nearly saturated at NT=10N_T=10. No significant overshoot is seen Reading (2000 measurements).
  5. Simultaneous flips. The measurement driving containers simultaneously was found to be unusable as a numerical picture of the crossover band, and that positioning was withdrawn (12-06 §07). It remains only as a tool for lower bounds on the slab tension with the T2T^2 fixed.
02

Common setting and how to read it

03

The work of driven insertion

All are SU(2)SU(2), twist n12=1n_{12}=1. The number of samples is "number of configurations × number of insertion positions per configuration". The figures in brackets for WW are the standard deviations of the samples (from the records of the run outputs), not the errors of the means. Samples at different positions in the same configuration are not independent, so the error of the mean should be taken as larger than the standard deviation divided by the square root of the number of samples.

Table 1 Driven insertion (comparison of 0 steps with the slowest driving. Left and right of the slash are the two values of the number of steps or of the radius)
Runβ\betaNTN_TMMrrSteps mmSamplesMean of WW (s.d.)Mean of tanh⁡(W/2)\tanh(W/2)Acceptance rate
P2.32820 / 4 / 166 × 410.7 / 6.5 / 2.9 (not in the record)0.990 / 0.968 / 0.6880.005 / 0.016 / 0.156
A2.32820 / 25612 × 411.8 (2.5) / 0.50 (0.71)1.00 / 0.220.000 / 0.39
B2.33820 / 25612 × 424.2 (4.6) / 0.52 (0.84)1.00 / 0.210.000 / 0.39
C2.34820 / 2568 × 444.9 (6.8) / 0.63 (1.19)1.00 / 0.240.000 / 0.38
D2.3210325612 × 40.19 (0.74)0.090.46
E2.54102 / 410248 × 32.40 (2.11) / 0.44 (1.21)0.67 / 0.170.17 / 0.41
F2.74122 / 410246 × 36.00 (1.34) / 3.77 (1.18)0.99 / 0.920.006 / 0.04
G2.74188256 / 10244–6 × 33.64 (3.98) / 2.72 (2.53)0.54 / 0.590.23 / 0.20
H2.58124256 / 10244–6 × 36.67 (2.63) / 0.51 (1.64)0.98 / 0.170.012 / 0.42

Row P is the measurement cited in 12-06 §04. Rows P, A and D are NT=2N_T=2 (the region of lattice artefacts).

Reading Reading: (i) The cost at 0 steps is roughly proportional to NT2N_T^2 (11.8, 24.2, 44.9 for A, B, C). (ii) If the container is large enough, the work of driven insertion comes down to near 0. (iii) The container radius needed appears to roughly double each time the lattice spacing halves (2 at β=2.3\beta=2.3, 4 at 2.52.5; at 2.72.7, 4 is not enough and even 8 does not reach near 0). This is consistent with the thickness of the vortex being fixed by a physical length. (iv) The work 0.51 at 1024 steps for H (NT=8N_T=8) is almost the same as 0.44 for E (NT=4N_T=4), but at 256 steps it is high, 6.67, depending strongly on the speed of driving.

Table 2 Driven insertion with more statistics (SU(2)SU(2), twist n12=1n_{12}=1)
Runβ\betaNTN_TMMrrSteps mmSamplesMean of WW (s.d.)−ln⁡⟨e−W⟩-\ln\langle e^{-W}\rangleMean of tanh⁡(W/2)\tanh(W/2)Acceptance rate
I42.54124102410 × 31.32 (1.12)0.720.480.26
I62.56124102410 × 31.14 (1.03)0.590.440.28
I82.58124102410 × 31.64 (1.59)0.220.520.24
J2.741884096Not in the record2.84 (0.84)2.440.850.07

Reading Reading: (i) I: fixing the container radius at 4 and widening to NT=4,6,8N_T=4,6,8, the work is 1.1–1.6, with no clear increase in NTN_T (the error of the mean is the standard deviation /30/\sqrt{30}, about 0.2–0.3). The 0.44 and 0.51 of E and H in Table 1 were fluctuations from little statistics. (ii) J: at β=2.7\beta=2.7, r=8r=8, driving four times more slowly than G still gives W≈2.8W\approx2.8 (2.7 with 1024 steps for G), and the Jarzynski estimate is 2.4. Most of the work can be read not as dissipation due to the speed of driving but as a genuine free energy. NT=4N_T=4 at β=2.7\beta=2.7 is a physically small T2T^2 (Lσ≈0.4L\sqrt\sigma\approx0.4), on the side of the dilute region, so the reading is that the vortex really is expensive (physics).

On the Jarzynski estimate. −ln⁡⟨e−W⟩-\ln\langle e^{-W}\rangle is an estimate of the sector free energy by Corollary 3 of 12-06, but it is dominated by rare small WW, so with few samples it fluctuates strongly. It is a column not shown in Table 1, but negative values have occurred (for example −0.30-0.30 for E at radius 4 with 1024 steps, −0.085-0.085 for A with 64 steps). This column is a guide for checking, and the values themselves are not reliable.

The limits of this series. What confinement on R⁴ needs is that the bias becomes small exponentially in the area as LL grows (13-01), and that is not visible in this measurement. β\beta takes a few values between 2.3 and 2.7, and the error estimates are still rough.

04

The vortex free energy when the T² is widened

The container is the whole plane (M×MM\times M), and the T2=NT×NTT^2=N_T\times N_T is widened. It is a test of the sign of the lateral-widening inequality (13-02). All by replica exchange + BAR, twist n12=1n_{12}=1, 24 replicas (unless otherwise stated). The number of iterations is not in the record.

Table 3 ΔF\Delta F, plane M=8M=8
Theoryβ\betaNT=2N_T=2NT=4N_T=4NT=6N_T=6NT=8N_T=8
U(1)U(1) (control)1.5−0.03±0.04-0.03\pm0.040.83±0.110.83\pm0.112.10±0.472.10\pm0.475.14±0.785.14\pm0.78
SU(2)SU(2)2.5−0.01±0.12-0.01\pm0.120.63±0.180.63\pm0.180.33±0.220.33\pm0.221.51±0.291.51\pm0.29
Table 4 ΔF\Delta F, plane M=12M=12 (remeasurement with a larger container)
Theoryβ\betaNT=4N_T=4NT=6N_T=6NT=8N_T=8
U(1)U(1) (control)1.50.20±0.210.20\pm0.211.35±0.301.35\pm0.301.72±0.471.72\pm0.47 (40 replicas; with 24, 0.54±0.530.54\pm0.53, with poor mixing)
SU(2)SU(2)2.50.57±0.220.57\pm0.220.42±0.240.42\pm0.24−0.15±0.36-0.15\pm0.36
Table 5 ΔF\Delta F, SU(2)SU(2), β=2.4\beta=2.4, plane M=8M=8
NTN_T48
ΔF\Delta F0.31±0.100.31\pm0.100.11±0.250.11\pm0.25

Reading Reading: (i) For U(1)U(1), ΔF\Delta F increases as the T2T^2 is widened (at M=8M=8, θ\theta goes 0→0.39→0.78→0.990\to0.39\to0.78\to0.99; at M=12M=12, 0.20→1.35→1.720.20\to1.35\to1.72). (ii) For SU(2)SU(2), in three settings (M=8M=8 and 1212 at β=2.5\beta=2.5, M=8M=8 at β=2.4\beta=2.4), it does not increase or decreases when widened. The exception is 1.51 at NT=8=MN_T=8=M (the symmetric torus T84T^4_8) for β=2.5\beta=2.5, M=8M=8. (iii) For NT=4→8N_T=4\to8, ln⁡(1/θ)\ln(1/\theta) goes 0.93 → 0.012 for U(1)U(1) (about 1/80) and 1.18 → 0.45 for SU(2)SU(2) (about 1/2.6) (M=8M=8). This can be read as a numerical sign of the sign of the lateral-widening inequality. (iv) That NT=8N_T=8 at β=2.4\beta=2.4 is smaller than at β=2.5\beta=2.5 is consistent with the same lattice being physically larger (Lσ≈2.2L\sqrt\sigma\approx2.2 against 1.5).

Limits. This is a regime where θ\theta is not close to 1 (it is O(1)O(1)), so the U(1)U(1) ratio is also held down because θ≤1\theta\le1, and in this geometry the lateral-widening inequality has little power to discriminate. The errors are large, 0.04–0.78 for U(1)U(1) and 0.1–0.36 for SU(2)SU(2), and β\beta is one or two points. β=1.5\beta=1.5 for U(1)U(1) and β=2.5\beta=2.5 for SU(2)SU(2) are not matched to "the same physics". The NT=2N_T=2 column is in the region of lattice artefacts.

05

The string tension of slabs

SU(2)SU(2), β=2.5\beta=2.5, plane M=16M=16, twist n12=1n_{12}=1. We measured the Creutz ratio χ(R)\chi(R) of Wilson loops in the plane for each size NTN_T of the T2T^2. It is a test of "monotonicity of the reduced two-dimensional string tension σeff(NT)\sigma_{\rm eff}(N_T)" contained in the strong form of the lateral-widening inequality of 13-02, and of an "overshoot" in which the tension once becomes large at L∼1/ΛL\sim1/\Lambda. In the record, the four-dimensional value at β=2.5\beta=2.5 is given as σa2≈0.036\sigma a^2\approx0.036 Reading.

Table 6 Creutz ratios, 400 measurements
NTN_Tχ(3)\chi(3)χ(4)\chi(4)χ(5)\chi(5)
20.098±0.0060.098\pm0.0060.034±0.0290.034\pm0.029−0.02±0.14-0.02\pm0.14
40.113±0.0070.113\pm0.0070.070±0.0180.070\pm0.0180.07±0.060.07\pm0.06
60.108±0.0030.108\pm0.0030.089±0.0130.089\pm0.0130.11±0.050.11\pm0.05
80.113±0.0030.113\pm0.0030.051±0.0100.051\pm0.0100.07±0.040.07\pm0.04
Table 7 Creutz ratios, 2000 measurements (5 times the statistics) and NT=10N_T=10
NTN_Tχ(3)\chi(3)χ(4)\chi(4)χ(5)\chi(5)
40.103±0.0020.103\pm0.0020.059±0.0090.059\pm0.0090.03±0.040.03\pm0.04
60.115±0.0010.115\pm0.0010.061±0.0040.061\pm0.0040.084±0.0190.084\pm0.019
80.116±0.0020.116\pm0.0020.076±0.0020.076\pm0.0020.070±0.0220.070\pm0.022
100.112±0.0020.112\pm0.0020.071±0.0020.071\pm0.0020.076±0.0090.076\pm0.009

Reading Reading: (i) With 400 measurements χ(4)\chi(4) was largest at NT=6N_T=6 (0.089), and its difference from NT=8N_T=8 was about 2.3 standard deviations. It looked like a sign of overshoot, but with 2000 measurements NT=6N_T=6 gives 0.061±0.0040.061\pm0.004, so it was a statistical fluctuation. (ii) With 2000 measurements χ(4)\chi(4) increases for NT=4→8N_T=4\to8, and at NT=10N_T=10 it is 0.071 (1.7 standard deviations from NT=8N_T=8), almost saturated. No significant overshoot is seen. This is consistent with monotonicity of the tension (a necessary condition of 13-02). (iii) χ(4)\chi(4) contains the Coulomb term, so it comes out larger than the four-dimensional σa2≈0.036\sigma a^2\approx0.036. We read only the trend in NTN_T, not the absolute value. (iv) The NT=2N_T=2 row (Table 6) is in the region of lattice artefacts, with only 400 measurements.

Limits. β\beta is the single value 2.5, and the plane the single size M=16M=16. From χ(5)\chi(5) on the errors are large, and the value of the tension itself is not determined. NT=10N_T=10 is about 2 in LσL\sqrt\sigma, and the trend as L→∞L\to\infty is an extrapolation.

06

The measurement of simultaneous flips, and its withdrawn positioning

A measurement that uses Theorem 10 of 12-06 (E∏θ≤P(no container flips)\mathbb E\prod\theta\le\mathbb P(\text{no container flips})) numerically. SU(2)SU(2), β=2.5\beta=2.5, containers placed with spacing BB, and driven insertions (512 steps) with acceptance min⁡(1,e−W)\min(1,e^{-W}) performed simultaneously in 4 containers per configuration. We write aˉ\bar a for the mean acceptance rate.

Table 8 Container radius fixed at r=4r=4 (B=10B=10, M=20M=20, 512 steps)
NTN_TConfigurationsaˉ\bar aMean of WWW/NT2W/N_T^2
4300.36±0.030.36\pm0.031.60.10
6200.25±0.040.25\pm0.042.60.07
8100.12±0.030.12\pm0.034.50.07
1060.02±0.010.02\pm0.018.20.08
Table 9 Remeasurement with container radius proportional to NTN_T (r=NTr=N_T, B=2r+2B=2r+2, M=2BM=2B, 512 steps)
NTN_TrrConfigurationsaˉ\bar aMean of WW
44300.35±0.030.35\pm0.031.6
66110.34±0.050.34\pm0.052.0
8830.16±0.080.16\pm0.084.5

Reading Reading: (i) Table 8: widening the T2T^2 with the radius fixed, the work increases roughly in proportion to NT2N_T^2, and the acceptance rate falls. The size of the vortex is fixed by the size of the T2T^2, so the reading is that a container of radius r<Lr\lt L cannot hold the vortex, which then pays a cost proportional to the area as a sheet inside a thin tube. The lateral-widening inequality is a claim about containers of size at least LL, so this is not a counterexample. The guaranteed tension (−ln⁡P(no flip)-\ln\mathbb P(\text{no flip}) divided by the number of containers and B2B^2) was about 0.005 at NT=4N_T=4. (ii) Table 9: if the containers are enlarged together with LL, the acceptance rate is almost constant for NT=4→6N_T=4\to6 (NT=8N_T=8 cannot be judged from 3 configurations).

The withdrawn positioning. This measurement was originally designed as "a numerical picture of the uniform slab tension (the crossover band)", but that positioning has been withdrawn. The reason is as in 12-06 §07: the guarantee of the flow lemma is θ≤1−a\theta\le1-a, and the aa of a one-step kernel levels off at about 12\tfrac12 (the acceptance rates of Tables 1, 2, 8 and 9 are all at most 0.46), so all that can be said is "for containers of size LL, θ≤θ0\theta\le\theta_0 with θ0∼12\theta_0\sim\tfrac12", and the resulting σ≥ln⁡(1/θ0)/L2\sigma\ge\ln(1/\theta_0)/L^2 is the weak form that U(1)U(1) also satisfies (13-01). Checking the form of the band θ≤e−cL2\theta\le e^{-cL^2} needs a kernel with a→1a\to1. This measurement can be used only as a tool for measuring lower bounds on the slab tension with the T2T^2 fixed. The continuation of Table 9 at NT=6,8N_T=6,8 has been stopped.

07

What cannot be said

(a) Proof. None of the numbers of this chapter is a proof, and the hypotheses of no inequality have been checked.

(b) The band. The trends of Table 2, Tables 3–5 and Table 7 do not show the crossover band (θ≤e−cL2\theta\le e^{-cL^2} uniform in LL) numerically. The T2T^2 measured go only up to about Lσ≈2L\sqrt\sigma\approx2, and L→∞L\to\infty is an extrapolation.

(c) Errors. The error estimates of driven insertion are still rough (sample standard deviations only), the errors of replica exchange are the record's estimates, and the treatment of autocorrelation is not in the record.

(d) Lattice artefacts. The rows with NT=2N_T=2 are the region of lattice artefacts. Even at NT=4N_T=4, small-lattice corrections remain.

(e) Balance of the control. β=1.5\beta=1.5 for U(1)U(1) and β=2.5\beta=2.5 for SU(2)SU(2) are not a comparison with matched physical sizes.

(f) Simultaneous flips. Reading Tables 8 and 9 as a numerical picture of the band has been withdrawn.

08

The table of five grades and the dependency graph

Table 10 The rows of this chapter (all numerical readings. Conditions in the scope column of each row)
RowStatement (one line)GradeEvidenceScopeMachine checking
[01]The cost of insertion at 0 steps is roughly proportional to NT2N_T^2ReadingTable 1 (A, B, C)SU(2)SU(2), β=2.3\beta=2.3, M=8M=8, r=2r=2, 8–12 configurations × 4—
[02]If the container is large enough, the driven work comes down to near 0ReadingTable 1β=2.3\beta=2.3 to 2.52.5, 256–1024 steps, includes NT=2N_T=2 rows—
[03]The container radius needed roughly doubles each time the lattice spacing halvesReadingTable 1 (E, F, G)β=2.3,2.5,2.7\beta=2.3,2.5,2.7, little statistics—
[04]With radius 4 fixed, the work does not clearly increase for NT=4→8N_T=4\to8ReadingTable 2 (I)β=2.5\beta=2.5, M=12M=12, 1024 steps, 10 configurations × 3, error 0.2–0.3—
[05]The work at β=2.7\beta=2.7, r=8r=8 is free energy, not dissipationReading (physics)Table 1 (G), Table 2 (J)NT=4N_T=4, M=18M=18, the Jarzynski estimate fluctuates strongly—
[06]Widening the T2T^2 increases the ΔF\Delta F of U(1)U(1)ReadingTables 3 and 4β=1.5\beta=1.5, M=8,12M=8,12, errors 0.04–0.78—
[07]Widening the T2T^2 does not increase, or decreases, the ΔF\Delta F of SU(2)SU(2) (except NT=M=8N_T=M=8)ReadingTables 3–5β=2.4,2.5\beta=2.4,2.5, M=8,12M=8,12, errors 0.1–0.36—
[08][06][07] are a sign of the sign of the lateral-widening inequalityReading (physics)§04 ⟸ [06][07]Weak discriminating power in the region where θ\theta is O(1)O(1)—
[09]The overshoot at NT=6N_T=6 was a statistical fluctuationReadingTables 6 and 7β=2.5\beta=2.5, M=16M=16, 400 and 2000 measurements—
[10]χ(4)\chi(4) increases for NT=4→8N_T=4\to8 and nearly saturates at NT=10N_T=10ReadingTable 7β=2.5\beta=2.5, M=16M=16, 2000 measurements, includes the Coulomb term—
[11]With the radius fixed, the work of simultaneous flips grows in proportion to NT2N_T^2ReadingTable 8β=2.5\beta=2.5, r=4r=4, 6–30 configurations × 4 containers—
[12]The acceptance rate of one-step kernels is at most 0.46 in the range measuredReadingTables 1, 2, 8 and 9The range of β\beta, NTN_T and containers measured—
[13]The measurement of simultaneous flips cannot be used to test the band (positioning withdrawn)Proved here§06, 12-06 §07 ⟸ [12]When only the flow lemma θ≤1−a\theta\le1-a is used— (the core is FluxLemma (FluxLemma.flip_le_one_sub_abs) of 12-06)

Only [13] is a row of logic rather than numerics: an application of [16] of 12-06, that only the weak form follows from θ≤1−a\theta\le1-a; the reading [12] shows how far that takes effect.

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

[01] RDG COST0    cost at 0 steps ∝ N_T²                     β = 2.3, M = 8
[02] RDG DRIVE    driven work → near 0 in large containers   β = 2.3–2.5
[03] RDG RADIUS   radius needed doubles per halving of a ⟸ [02]
[04] RDG FIXR     radius 4, widening N_T: no increase        β = 2.5, 10 confs × 3
[05] RDG FREE     work at β = 2.7 is free energy (physics)   Jarzynski fluctuates
[06] RDG U1UP     ΔF of U(1) grows with T²                   β = 1.5
[07] RDG SU2FLAT  ΔF of SU(2) does not grow                  β = 2.4, 2.5
[08] RDG SIGN     sign of lateral widening (physics) ⟸ [06][07]
[09] RDG NOOVER   overshoot at N_T = 6 was a fluctuation     2000 measurements
[10] RDG SATUR    χ(4) grows and saturates ⟸ [09]           includes Coulomb term
[11] RDG AREA     fixed-radius simultaneous flips ∝ area
[12] RDG HALF     one-step acceptance ≤ 0.46 (range measured)
[13] PRV RETRACT  simultaneous flips cannot test band ⟸ [12]  flow lemma of 12-06

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. There are no assumption rows. 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
Reading Driven insertion brings the work down to near 0 if the container is larger than the vortex (SU(2)SU(2), β=2.3\beta=2.3 to 2.52.5)That the upper bound on the work is uniform in LL and the lattice spacing
Reading Widening the T2T^2 makes the vortex of U(1)U(1) more expensive and that of SU(2)SU(2) not (β=2.4,2.5\beta=2.4,2.5, M=8,12M=8,12)The lateral-widening inequality. Discrimination in the region where θ\theta is small
Reading The string tension of slabs (Creutz ratios) grows with NTN_T and saturates, with no significant overshoot (β=2.5\beta=2.5, 2000 measurements)The value of the tension itself. The behaviour as L→∞L\to\infty
Proved here The guarantee of simultaneous flips cannot be used to test the bandA numerical test of the band with a kernel with a→1a\to1

Sources and reproduction

ItemKindSource / tools
All the numbers of Tables 1–9ReadingThe Monte Carlo record of this book's work (heat bath, driven insertion, replica exchange with BAR, Creutz ratios). Compared against the output records of each run; the standard deviations of Table 1 were copied from the output records
Row P of Table 1ReadingThe same measurement as the numerical section of Paper 1 of A-07 (A-07)
Tables 3–5, Table 7ReadingThe same measurement as the numerical section of Paper 2 of A-07
LσL\sqrt\sigma and the four-dimensional σa2≈0.036\sigma a^2\approx0.036ReadingConversion in the record (by known values of aσa\sqrt\sigma; the values of the original source not compared)
The Jarzynski equalityCitedThe source table of 12-06
The logic of [13]Proved here12-06 §07

Words used in this chapter — driven insertion, number of steps, work, acceptance rate, the free energy of the global flux, replica exchange, BAR, Creutz ratio, overshoot, simultaneous flips, guaranteed tension. Their meanings are in A-02 Glossary (the words of Part 12 are to be added). The numerics of Part 13 (the test doubling the whole lattice, step functions, column biases) are in 13-09.

Next chapter to read: 12-09 Where this road stops — confirms that widening the T2T^2 is exactly the crossover band, and summarises what the road from the direction of space has reached.

← 12-07 Why fixed maps failContents12-09 Where this road stops — widening the T² is the band →

Revised 2026-10-15: first version.