computo ergo sum

2026-10-15 · chapter Yang–Mills and the mass gapPart 13 The crossover bandvortex free energy, slab tension, the step function, the column bias · 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 gather on one page the numbers that Part 13 cites. When the small twisted T2T^2 is widened, the vortex free energy of U(1)U(1) rises and that of SU(2)SU(2) does not (§02). The string tension of the slab increases with T2T^2 and saturates, with no significant overshoot visible (§03). The β\beta-dependence of the vortex free energy (§04). When the whole lattice is doubled, the SU(2)SU(2) vortex becomes cheaper and the U(1)U(1) vortex costlier (§05). The sign of the step function of one step flips for U(1)U(1) at the known phase transition βc≈1.01\beta_c\approx1.01, and does not flip for SU(2)SU(2) in the range measured (§06). The width needed to keep the column bias small with the outer frame held fixed hardly grows with NN for SU(2)SU(2), and grows for U(1)U(1) (§07). A diagnosis of the Z2\mathbb Z_2 glass representation (§08).

Prerequisite chapters — 12-01 (the twisted T2T^2 and flux), 13-01 (the sector bias θ\theta), 13-02 (the lateral-widening inequality), 13-06 (the renormalisation comparison), 5-07 (the Monte Carlo method).

Said first — Every number on this page is a numerical reading [Reading]. The lattices are small, up to 848^4; the points in β\beta and the numbers of seeds (initial values of the random numbers) and frames are few; the errors are statistical only and may come out on the small side. No row is evidence of crossing the band; each is a record of a tendency, for choosing the direction of candidates. Each row states the lattice size, β\beta, the number of seeds or frames, and the error. Rows for which the record does not state the number of seeds are marked "not recorded".

The order of this chapter
  1. How we measured, and symbols — the vortex free energy, the sector bias, notes on artefacts
  2. Widening the T² — U(1)U(1) rises, SU(2)SU(2) does not (Tables 1–3)
  3. The string tension of the slab — it increases and saturates (Tables 4 and 5)
  4. The β-dependence of the vortex free energy (Table 6)
  5. Doubling the whole lattice (Tables 7–10)
  6. The sign of the step function — the U(1)U(1) contrast (Table 11)
  7. The column bias — the ℓ×N\ell\times N scan (Tables 12–14)
  8. A diagnosis of the Z2\mathbb Z_2 glass (Table 15)
  9. Artefacts of small lattices — a list of cautions for reading
  10. The table of the five grades and the dependency graph

01

How we measured, and symbols

The lattice. The slab lattice is (Z/NT)2×(Z/M)2(\mathbb Z/N_T)^2\times(\mathbb Z/M)^2; the first two directions (size NTN_T) are the small T2T^2, and the remaining two (size MM) stand in for the plane R2\mathbb R^2. The T2T^2 carries the 't Hooft twist n12=1n_{12}=1 (12-01). A symmetric torus is written N4N^4. The action is the Wilson action −β2∑pzp tr Up-\frac\beta2\sum_pz_p\,\mathrm{tr}\,U_p (SU(2)SU(2)) and its U(1)U(1) version.

The vortex free energy. We write the free-energy difference with the sector in which the flux n34n_{34} in the planar directions is changed as

ΔF=F(n34=1)−F(n34=0)=−ln⁡Z(n34=1)Z(n34=0)(1)\Delta F=F(n_{34}=1)-F(n_{34}=0)=-\ln\frac{Z(n_{34}=1)}{Z(n_{34}=0)}\tag{1}

and set the sector bias to θ=tanh⁡(ΔF/2)\theta=\tanh(\Delta F/2) (the same quantity as FvF_v of 13-01 §04). The larger ΔF\Delta F, the costlier the vortex (the harder it is to enter), and θ\theta approaches 1. In the confinement regime one expects ΔF→0\Delta F\to0.

How we measured. ΔF\Delta F is obtained by replica exchange (exchanging configurations between replicas with interpolated couplings to produce samples that span the sectors) and by Bennett's acceptance-ratio method (BAR). The errors are statistical. At some points the difference between two runs with different seeds is 1–2 times the stated error, so the errors may come out on the small side. The string tension of the slab is read from the Creutz ratio

χ(R)=−ln⁡W(R,R) W(R−1,R−1)W(R,R−1) W(R−1,R)(2)\chi(R)=-\ln\frac{W(R,R)\,W(R-1,R-1)}{W(R,R-1)\,W(R-1,R)}\tag{2}

(W(R,T)W(R,T) is the R×TR\times T Wilson loop). The Creutz ratio at small RR includes the Coulomb term and overestimates the tension, so we read only the tendency, not the absolute value.

Notes on artefacts (in advance). Cautions common to all the tables are listed in §09. In particular, NT=2N_T=2 is the regime of lattice artefacts, 242^4 is too small to see one-loop behaviour, and column-bias values of about 0.1 are at the statistical floor.

02

Widening the T² — U(1) rises, SU(2) does not

We hold the size MM in the planar directions fixed and widen only the size NTN_T of the T2T^2. This is a test of the sign of the lateral-widening inequality (13-02 §02).

Table 1 ΔF(NT)\Delta F(N_T), M=8M=8 (n12=1n_{12}=1, replica exchange + BAR; number of seeds not recorded) [Reading] — the numbers are the same measurement given in 12-08 Table 3. We do not copy them here.

For U(1)U(1), widening the T2T^2 makes ΔF\Delta F increase sharply, and θ\theta goes 0→0.39→0.78→0.990\to0.39\to0.78\to0.99. SU(2)SU(2) goes 0→0.63→0.33→1.510\to0.63\to0.33\to1.51, much more gently (θ\theta goes 0→0.31→0.16→0.640\to0.31\to0.16\to0.64). Under NT=4→8N_T=4\to8, ln⁡(1/θ)\ln(1/\theta) goes 0.93→0.0120.93\to0.012 for U(1)U(1) (about 1/80), and 1.18→0.451.18\to0.45 for SU(2)SU(2) (about 1/2.6). In this geometry, however, θ\theta is of order 1 and the ceiling θ≤1\theta\le1 weakens the power to discriminate; and NT=8=MN_T=8=M for SU(2)SU(2) is the symmetric torus 848^4 (physical size Lσ≈1.5L\sqrt\sigma\approx1.5). β=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 physical size.

Table 2 ΔF(NT)\Delta F(N_T), M=12M=12 (remeasured with a larger container) [Reading] — the numbers are the same measurement given in 12-08 Table 4. We do not copy them here.

For U(1)U(1) at NT=8N_T=8, 24 replicas gave 0.54±0.530.54\pm0.53 with poor mixing; we give the value with 40. The number of seeds is not recorded.

Table 3 SU(2)SU(2), β=2.4\beta=2.4, M=8M=8 [Reading] — the numbers are the same measurement given in 12-08 Table 5. We do not copy them here.

Reading [Reading]. In three settings (M=8M=8 and 1212 at β=2.5\beta=2.5, M=8M=8 at β=2.4\beta=2.4), the vortex free energy of SU(2)SU(2) does not increase when the transverse T2T^2 is widened (except for the symmetric point NT=M=8N_T=M=8 at β=2.5\beta=2.5, M=8M=8). For U(1)U(1) it increases at both values of MM. This is a numerical sign of the sign of the lateral-widening inequality. The errors are large, 0.1–0.5, and there are only two points in β\beta. That NT=8N_T=8 at β=2.4\beta=2.4 is smaller than the same point at β=2.5\beta=2.5 fits with the same lattice being physically larger at β=2.4\beta=2.4 (Lσ≈2.2L\sqrt\sigma\approx2.2 against 1.51.5).

03

The string tension of the slab — it increases and saturates

One of the necessary conditions for the uniform slab tension (13-02) is that the string tension of the slab σeff(NT)\sigma_{\rm eff}(N_T) does not overshoot much in NTN_T. We measured the Creutz ratio (2) for SU(2)SU(2), β=2.5\beta=2.5, M=16M=16. The four-dimensional value is σa2≈0.036\sigma a^2\approx0.036.

Table 4 Creutz ratios of the slab, 400 measurements (SU(2)SU(2), β=2.5\beta=2.5, NT×NT×16×16N_T\times N_T\times16\times16; number of seeds not recorded) [Reading] — the numbers are the same measurement given in 12-08 Table 6. We do not copy them here.

Table 5 The same setting with five times the statistics (2000 measurements) and NT=10N_T=10 [Reading] — the numbers are the same measurement given in 12-08 Table 7. We do not copy them here.

Reading [Reading]. The peak in χ(4)\chi(4) at NT=6N_T=6 seen with 400 measurements (0.089±0.0130.089\pm0.013, about 2.3σ from NT=8N_T=8) became 0.061±0.0040.061\pm0.004 with 2000 measurements; it was a statistical fluctuation. χ(4)\chi(4) increases over NT=4→8N_T=4\to8 and nearly saturates at NT=10N_T=10 with 0.0710.071 (1.7σ from NT=8N_T=8). No significant overshoot is visible. χ(4)\chi(4) includes the Coulomb term, so it comes out larger than the four-dimensional σa2≈0.036\sigma a^2\approx0.036. We read only the tendency in NTN_T, and β\beta is a single point.

04

The β-dependence of the vortex free energy

Table 6 SU(2)SU(2), NT=4N_T=4, M=8M=8 (4×4×8×84\times4\times8\times8, n12=1n_{12}=1, replica exchange + BAR, number of seeds not recorded) [Reading]
β\beta2.22.32.42.452.52.552.62.7
ΔF\Delta F0.05±0.050.05\pm0.050.00±0.050.00\pm0.050.31±0.100.31\pm0.100.30±0.130.30\pm0.130.63±0.180.63\pm0.180.66±0.130.66\pm0.131.43±0.191.43\pm0.192.97±0.332.97\pm0.33

Reading [Reading]. Within the errors, it increases monotonically in β\beta. The reading is that this does not contradict β-monotonicity (13-06 §02) (β-monotonicity has not been shown for SU(2)SU(2)). For β≤2.3\beta\le2.3 the vortex is nearly free (θ≈0\theta\approx0), and at β=2.6\beta=2.6–2.72.7 it becomes costly sharply. This can be read as the fixed lattice 4×4×8×84\times4\times8\times8 becoming physically small and entering the dilute regime (θ→1\theta\to1). The points at 2.45 and 2.55 are interpolation points added for the fit in §05.

05

Doubling the whole lattice

We test the renormalisation comparison (13-06 §05) directly. We measure ΔF\Delta F on the fine lattice (all directions doubled) and read off, from the curve of the coarse lattice (Table 6 and others), the β′\beta' of the coarse lattice that gives the same value. The prediction of asymptotic freedom is β′<β\beta'\lt\beta for SU(2)SU(2), and β′≥β\beta'\ge\beta for U(1)U(1), which does not run.

Table 7 Slab (NT,M)=(4,8)→(8,16)(N_T,M)=(4,8)\to(8,16) (n12=1n_{12}=1) [Reading]
Groupβ\betaΔF(4,8,β)\Delta F(4,8,\beta)ΔF(8,16,β)\Delta F(8,16,\beta): per seedCombinedSeedsMatching β′\beta'β−β′\beta-\beta'
SU(2)SU(2)2.72.97±0.332.97\pm0.330.65±0.390.65\pm0.39, 1.31±0.481.31\pm0.48 (the second run has a minimum exchange acceptance rate of 0.10)0.92±0.300.92\pm0.30 (error-weighted mean)2≈2.57\approx2.57 (2.45–2.65 including the error of the curve)≈+0.13\approx+0.13 (+0.05+0.05–+0.25+0.25)
SU(2)SU(2)2.61.43±0.191.43\pm0.19−0.57±0.46-0.57\pm0.46, −0.41±0.51-0.41\pm0.51−0.50±0.34-0.50\pm0.34 (consistent with 0)2≲2.45\lesssim2.45≳+0.15\gtrsim+0.15
SU(2)SU(2)2.50.63±0.180.63\pm0.180.41±0.340.41\pm0.34—12.2–2.50–+0.3+0.3
U(1)U(1)1.50.83±0.110.83\pm0.112.32±0.452.32\pm0.45 (48 replicas, minimum exchange acceptance rate 0.37)—1>1.7\gt1.7 (outside the curve)<−0.2\lt-0.2

The coarse-lattice curve for U(1)U(1) is ΔF(4,8,β′)=0.42,0.55,0.83,0.92,1.46\Delta F(4,8,\beta')=0.42,0.55,0.83,0.92,1.46 (β′=1.3,1.4,1.5,1.6,1.7\beta'=1.3,1.4,1.5,1.6,1.7). The first run for U(1)U(1) (32 replicas) gave −0.18±0.12-0.18\pm0.12, but the minimum exchange acceptance rate was 0.03 and the mixing poor, so it is not used.

Reading [Reading]. For SU(2)SU(2), doubling lowers the vortex free energy (2.97→0.922.97\to0.92 at β=2.7\beta=2.7), and the matching β′\beta' is smaller than β\beta. For U(1)U(1) it rises (0.83→2.320.83\to2.32, about 3σ), and β′>β\beta'\gt\beta. The direction of the comparison separates between the two groups. The +0.13+0.13 at β=2.7\beta=2.7 is somewhat smaller (about 1.5σ) than the one-loop 0.258 and than the roughly 0.23 expected from the known values of aσa\sqrt\sigma. The record notes that the reversed direction for U(1)U(1) may also include artefacts of the small lattice.

Next, on the symmetric torus N4N^4, we look at the two steps 24→442^4\to4^4 and 44→844^4\to8^4.

Table 8 SU(2)SU(2), ΔF(N4,β)\Delta F(N^4,\beta) on the symmetric torus (n12=1n_{12}=1, one seed each) [Reading]
β\beta1.01.251.51.752.02.252.52.753.0
242^40.0340.0940.2130.5731.392.714.295.957.88
444^40.01−0.01-0.010.010.01−0.03-0.030.502.465.107.33

The errors are 0.01–0.08 at 242^4 and 0.03–0.26 at 444^4. The β′\beta' of the single step 24→442^4\to4^4 (fitting the 444^4 values to the 242^4 curve) is as in Table 9.

Table 9 The single step 24→442^4\to4^4 for SU(2)SU(2) [Reading]
β\beta≤2.0\le2.02.252.52.753.0
β′\beta'<1.0\lt1.0 (outside the curve)1.722.202.622.93
β−β′\beta-\beta'>0.75\gt0.75–10.530.300.130.07

At every readable β\beta (1.75–3.0), β−β′>0\beta-\beta'\gt0; that is, the step function of one step has no fixed point. The motion per step grows towards strong coupling; that it falls to 0.07 on the weak-coupling side is seen as an artefact of 242^4 being too small for the one-loop regime.

Table 10 44→844^4\to8^4 for SU(2)SU(2). ΔF\Delta F is given per seed and as their simple mean (the error is half the difference between seeds; for three runs, the mean and the spread) [Reading]
β\betaΔF(44)\Delta F(4^4): per seed → combinedΔF(84)\Delta F(8^4): per seed → combinedSeeds (848^4)β−β′\beta-\beta'
2.1—−0.04±0.17-0.04\pm0.171— (≈0\approx0)
2.3—−0.04±0.10-0.04\pm0.101≳0.1\gtrsim0.1
2.52.46 (1 run)0.48±0.480.48\pm0.481≈+0.25\approx+0.25 (+0.19+0.19–+0.5+0.5)
2.63.96±0.133.96\pm0.13 (1 run)———
2.74.96, 4.47 → 4.72±0.254.72\pm0.253.57, 2.65 → 3.11±0.463.11\pm0.462+0.16+0.16 (+0.13+0.13–+0.19+0.19)
2.755.10, 5.26 → 5.18±0.105.18\pm0.10———
2.85.33, 5.87 → 5.60±0.275.60\pm0.27———
2.96.88, 6.23 → 6.56±0.336.56\pm0.335.68, 3.52, 4.84 → 4.68±0.634.68\pm0.633+0.20+0.20 (+0.12+0.12–+0.29+0.29)
3.07.33, 7.83 → 7.58±0.257.58\pm0.255.38, 6.17 → 5.78±0.405.78\pm0.402+0.18+0.18 (+0.14+0.14–+0.25+0.25)

Reading [Reading]. For 44→844^4\to8^4 too, β−β′>0\beta-\beta'\gt0 at every β\beta measured, with a mean of about +0.2+0.2. This is close to the one-loop asymptotic value 0.258 and to the roughly 0.23 expected from the known values of aσa\sqrt\sigma. At some points the difference between seeds is 1–2 times the stated error (at β=2.9\beta=2.9, 848^4 gives 5.68 and 3.52), and we read the errors as quite likely on the small side. The reading with added seeds came closer to the asymptotic behaviour than the single-seed reading (+0.08+0.08–+0.13+0.13). It also fits the reading of the 8×168\times16 slab at β=2.7\beta=2.7 (Table 7, +0.13+0.13).

06

The sign of the step function — the U(1) contrast

We carried out the same 24→442^4\to4^4 scan for U(1)U(1). Four-dimensional U(1)U(1) has a phase transition at βc≈1.01\beta_c\approx1.01 from the confining phase to the Coulomb phase.

Table 11 U(1)U(1), ΔF(N4,β)\Delta F(N^4,\beta) on the symmetric torus and the single step 24→442^4\to4^4 (n12=1n_{12}=1, one seed each, errors not recorded) [Reading]
β\beta0.60.80.91.01.11.21.41.6
242^40.140.621.151.802.463.104.185.23
444^40.000.000.051.072.713.684.465.85
β−β′\beta-\beta'>0.3\gt0.3>0.3\gt0.3>0.3\gt0.3+0.12+0.12−0.04-0.04−0.11-0.11−0.05-0.05<0\lt0

Reading [Reading]. The sign of β−β′\beta-\beta' for U(1)U(1) flips between β=1.0\beta=1.0 and 1.11.1. This is the position of the known phase transition βc≈1.01\beta_c\approx1.01. In the confining phase β′<β\beta'\lt\beta, and in the Coulomb phase β′>β\beta'\gt\beta. For SU(2)SU(2), the same scan gave β−β′>0\beta-\beta'\gt0 at every β\beta measured (Tables 9 and 10). The sign of the step function of one step works as a diagnostic that tells whether there is a phase transition. This is the numerical face of criterion (m) (13-06 §08), which an argument that closes the band must satisfy.

What this sign test can say is only that, on lattices up to 848^4 and at the β\beta points of the table, the sign for SU(2)SU(2) did not change. It is not evidence that SU(2)SU(2) has no phase transition.

Relatedly, there are two readings [Reading] concerning the intermediate goal of seeing ΔF(L,L)→0\Delta F(L,L)\to0 at any rate (13-06 §08). For U(1)U(1) (β=1.2\beta=1.2), 24→442^4\to4^4 gives 3.10→3.683.10\to3.68, flat, which does not contradict the picture of heading towards the classical half-flux value in the Coulomb phase. For SU(2)SU(2) (β=2.75\beta=2.75), it falls, 5.95→5.105.95\to5.10.

07

The column bias — the ℓ × N scan

We measure the column face f(ℓ)f(\ell) (13-10 §02). The outer frame of the column TN2×ℓ×ℓT^2_N\times\ell\times\ell is taken from an equilibrium configuration and held fixed; for each frame, the conditional free energy ΔFB=ln⁡ZB(+)/ZB(−)\Delta F_B=\ln Z_B(+)/Z_B(-) when a sheet of n34n_{34} is put inside the column, and the bias θB=tanh⁡(ΔFB/2)\theta_B=\tanh(\Delta F_B/2), are obtained by replica exchange + BAR, and we take E∣θB∣\mathbb E|\theta_B| over the frames. It is this E∣θB∣\mathbb E|\theta_B| that enters the chessboard estimate (13-05). SU(2)SU(2) is at β=2.3\beta=2.3, and U(1)U(1) at β=1.3\beta=1.3 in the Coulomb phase.

Table 12 Varying ℓ\ell at N=4N=4 (numbers of frames in parentheses) [Reading]
ℓ\ellSU(2)SU(2), β=2.3\beta=2.3: E∣θB∣\mathbb E|\theta_B|U(1)U(1), β=1.3\beta=1.3: E∣θB∣\mathbb E|\theta_B|
20.93±0.060.93\pm0.06 (5)—
30.58±0.170.58\pm0.17 (4)0.95±0.050.95\pm0.05 (4)
40.23±0.040.23\pm0.04 (12)0.61±0.210.61\pm0.21 (4)
50.07±0.030.07\pm0.03 (12)0.49±0.090.49\pm0.09 (12)
60.09±0.040.09\pm0.04 (4)0.41±0.060.41\pm0.06 (12)
8—0.25±0.050.25\pm0.05 (8)

For ℓ≥5\ell\ge5, the column bias of SU(2)SU(2) is 1/5 to 1/7 of that of U(1)U(1). U(1)U(1) decreases slowly (about ℓ−1.4\ell^{-1.4} over ℓ=5→8\ell=5\to8), while SU(2)SU(2) drops to 1/3 over ℓ=4→5\ell=4\to5. The values of SU(2)SU(2) for ℓ≥5\ell\ge5, however, are close to the floor made by the per-frame statistical errors (which bias ∣θB∣|\theta_B| positive), and at these sizes one cannot decide whether it is e−σℓ2e^{-\sigma\ell^2} or a power. The sign can change from frame to frame (for SU(2)SU(2) at ℓ=4\ell=4, the mean of ΔFB\Delta F_B is −0.05-0.05). In frames where the holonomy around the block is close to −1-1, the sector with the sheet is favoured.

Table 13 Varying NN at ℓ=5\ell=5 (numbers of frames in parentheses) [Reading]
NNSU(2)SU(2), β=2.3\beta=2.3U(1)U(1), β=1.3\beta=1.3
40.07±0.030.07\pm0.03 (12)0.49±0.090.49\pm0.09 (12)
60.20±0.050.20\pm0.05 (6)0.97±0.010.97\pm0.01 (6)
80.39±0.050.39\pm0.05 (5; the sixth frame stopped partway at the time limit)—

With ℓ\ell fixed, the bias approaches 1 with NN for both groups. While the bias is small, it grows roughly in proportion to N2N^2 (ΔFB∝N2f(ℓ)\Delta F_B\propto N^2f(\ell)), and the proportionality coefficient for SU(2)SU(2) is about 1/7 of that for U(1)U(1). The difference between the groups should appear in how the ℓ\ell needed to keep θ\theta small grows, so we varied both ℓ\ell and NN.

Table 14 The ℓ×N\ell\times N scan: E∣θB∣\mathbb E|\theta_B| (numbers of frames in parentheses) [Reading]
ℓ=4\ell=4567810
SU(2)SU(2), β=2.3\beta=2.3, N=4N=40.23 (12)0.07 (12)0.09 (4)0.11 (4)
SU(2)SU(2), N=6N=60.43 (4)0.20 (6)0.15 (4)0.08 (4)
SU(2)SU(2), N=8N=80.43 (4)0.38 (5)0.13 (4)0.29±0.060.29\pm0.06 (3)
U(1)U(1), β=1.3\beta=1.3, N=4N=40.61 (4)0.49 (12)0.41 (12)0.25 (8)0.27 (4)
U(1)U(1), N=6N=60.97 (6)0.98 (4)0.51 (4)0.45 (4)

Reading [Reading]. For SU(2)SU(2), at every one of N=4,6,8N=4,6,8, the bias falls to the statistical floor (about 0.1) at ℓ≈6\ell\approx6–77, and the needed ℓ\ell hardly grows with NN. For U(1)U(1), even at N=4N=4 it stays at 0.27 at ℓ=10\ell=10, and at N=6N=6 it is 0.45 even at ℓ=10\ell=10; the needed ℓ\ell grows with NN, and the fall is slower. The 0.29 at N=8N=8, ℓ=7\ell=7 comes from only 3 frames (cut off at the time limit); that it is larger than the 0.13 at ℓ=6\ell=6 we take as a fluctuation due to the small number of frames (all 3 frames have ΔFB>0\Delta F_B\gt0, 0.43–0.85). This does not contradict the expectation (ℓ∼ln⁡N\ell\sim\sqrt{\ln N} for SU(2)SU(2), ℓ∝N\ell\propto N for U(1)U(1)), but the lattices are small and the frames few, so the form of the growth cannot be determined.

08

A diagnosis of the Z₂ glass

Writing U=σVU=\sigma V (σ∈Z2\sigma\in\mathbb Z_2, VV a section of SO(3)SO(3)), the twisted sector becomes "a Z2\mathbb Z_2 random-plaquette gauge model on an SO(3)SO(3) background" (13-10 §03). The effective Z2\mathbb Z_2 coupling per plaquette is Kp=(β/2)∣tr Up∣K_p=(\beta/2)|\mathrm{tr}\,U_p|, and the frustration (a Z2\mathbb Z_2 monopole) is a cube cc for which ∏p∈∂csign tr Up=−1\prod_{p\in\partial c}\mathrm{sign}\,\mathrm{tr}\,U_p=-1.

Table 15 SU(2)SU(2), periodic 848^4, heat bath with 150 thermalisation sweeps and 100 measurements (number of seeds not recorded, errors not recorded) [Reading]
β\beta⟨P⟩\langle P\rangleFraction with tr Up<0\mathrm{tr}\,U_p\lt0⟨K⟩\langle K\rangleFraction with K<Kc=0.4407K\lt K_c=0.4407Frustrated cubespeffp_{\rm eff}
1.00.2430.2970.4550.4940.4810.209
1.50.3630.2040.7410.2820.4520.162
2.00.5010.1091.1200.1490.3490.091
2.30.6020.0511.4370.0810.2160.045
2.50.6530.0291.6600.0510.1400.027
2.70.6860.0181.8700.0340.0930.017

peffp_{\rm eff} is the frustration density ρ\rho of the cubes, converted to a probability of independent sign flips by (1−2peff)6=1−2ρ(1-2p_{\rm eff})^6=1-2\rho. KcK_c is the transition point of pure Z2\mathbb Z_2 gauge theory, and the value to compare with is the Nishimori multicritical point pc≈0.11p_c\approx0.11 of the four-dimensional random-plaquette gauge model (checking not yet done).

Reading [Reading]. For β≳2.0\beta\gtrsim2.0, the mean coupling ⟨K⟩\langle K\rangle is 3–4 times KcK_c, and peff<0.11p_{\rm eff}\lt0.11. The Z2\mathbb Z_2 glass is likely on the side of the ordered phase. For β≲1.5\beta\lesssim1.5, peff≥0.16p_{\rm eff}\ge0.16, and soft plaquettes (K<KcK\lt K_c) are 28–49%: the disordered side. The conversion to independent signs is crude (soft plaquettes and frustration are correlated), so the boundary is a rough guide. From this diagnosis, the glass road is limited to the lower half of the band (C4 of 13-08 §05).

09

Artefacts of small lattices — a list of cautions for reading

10

The table of the five grades and the dependency graph

All the rows of this page are numerical readings. The label is "Reading", with "(physics)" added for readings that include a physical estimate.

Table 16 The rows of this chapter ("—" marks a row with no machine checking)
RowStatement (one line)GradeBasisScopeMachine checking
[01]Widening the T2T^2 increases ΔF\Delta F for U(1)U(1) and not for SU(2)SU(2)ReadingTables 1–3M=8,12M=8,12, β=2.4,2.5\beta=2.4,2.5 (SU(2)SU(2)), β=1.5\beta=1.5 (U(1)U(1)), NT≤8N_T\le8—
[02]The slab χ(4)\chi(4) increases with NTN_T and saturates, with no significant overshootReadingTables 4 and 5β=2.5\beta=2.5, M=16M=16, 2000 measurements, NT≤10N_T\le10—
[03]ΔF\Delta F increases in β\betaReadingTable 64×4×8×84\times4\times8\times8, β=2.2\beta=2.2–2.72.7—
[04]Doubling the whole lattice: β′<β\beta'\lt\beta for SU(2)SU(2), β′>β\beta'\gt\beta for U(1)U(1)ReadingTables 7–10(4,8)→(8,16)(4,8)\to(8,16), 24→442^4\to4^4, 44→844^4\to8^4, 1–3 seeds—
[05]β−β′\beta-\beta' for 44→844^4\to8^4 averages about +0.2+0.2, close to the one-loop 0.258ReadingTable 10β=2.5\beta=2.5–3.03.0, 1–3 seeds—
[06]The sign of the single step for U(1)U(1) flips between β=1.0\beta=1.0 and 1.11.1; for SU(2)SU(2) it does not flip in the range measuredReadingTables 9 and 1124→442^4\to4^4, one seed—
[07]The ℓ\ell that keeps the column bias small hardly grows with NN for SU(2)SU(2), and grows for U(1)U(1)ReadingTables 12–14N≤8N\le8, ℓ≤10\ell\le10, 3–12 frames—
[08]The Z2\mathbb Z_2 glass is on the ordered side for β≳2\beta\gtrsim2 and on the disordered side for β≲1.5\beta\lesssim1.5Reading (physics)Table 15848^4; the conversion to independent signs is crude—
[09][01]–[07] do not contradict the directions of the lateral-widening inequality, the renormalisation comparison and criterion (m)Reading (physics)§02–§07Tendencies on small lattices. Not evidence—

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

[01] RDG WID     widening T²: U(1) rises, SU(2) does not              M = 8, 12
[02] RDG SLAB    slab tension increases and saturates                 β = 2.5, 2000 meas.
[03] RDG BETA    ΔF increases in β                                    4×4×8×8
[04] RDG DBL     doubling test: SU(2) β′ < β, U(1) the opposite ⟸ [03]  1–3 seeds
[05] RDG ASY     β − β′ ≈ +0.2 for 4⁴ → 8⁴ ⟸ [04]                     1–3 seeds
[06] RDG SIGN    sign of the step function: U(1) flips at β_c ⟸ [04]  2⁴ → 4⁴
[07] RDG COL     ℓ × N of the column bias                             N ≤ 8, ℓ ≤ 10
[08] RDG GLASS   diagnosis of the Z₂ glass                            8⁴
[09] RDG FIT     consistency of directions ⟸ [01][02][04][06][07]     tendency

The check is to see by eye that every number to the right of a "⟸" is smaller than the number on the left. There are no cycles. This page has no "Proved here", "Cited" or "Assumption" rows. Nor does it have nodes for the statements that cross the band (the uniform slab tension, the lateral-widening inequality, the renormalisation comparison); those are placed as assumptions in the ledger of Part 14 (14-02).


What this chapter can say

What is saidWhat is not said
Reading That on small lattices the directions of SU(2)SU(2) and U(1)U(1) separate in every test: widening the T2T^2, doubling the lattice, widening the columnBehaviour on large lattices. Determining the values. The lateral-widening inequality and the renormalisation comparison themselves
Reading That the sign of the step function for U(1)U(1) flips at the position of the known transition, and that for SU(2)SU(2) it does not flip in the range measuredThat SU(2)SU(2) has no phase transition
Reading (physics) That the Z2\mathbb Z_2 glass is on the ordered side in the upper half of the bandThe position of the phase boundary of the glass (the conversion is crude)

Sources and reproduction

ItemKindSource / tools
All the tablesReadingThe record of numbers from this book's study (numerical computations of vortex insertion: the global flux free energy, the string tension of the slab, the β\beta-dependence, tests of the renormalisation comparison, scans of the step function on the symmetric torus, the U(1)U(1) contrast, the added 44→844^4\to8^4 runs and the combining of seeds, the twist cost of the column, the diagnosis of the Z2\mathbb Z_2 glass), and the numerical section of the survey of roads that would close the crossover band. Replica exchange and BAR, heat bath, Creutz ratios
The phase transition βc≈1.01\beta_c\approx1.01 of U(1)U(1)ReadingKnown numerical lattice values (5-06)
The Nishimori multicritical point pc≈0.11p_c\approx0.11Checking not yet doneNumerical literature on the four-dimensional random-plaquette gauge model
The one-loop 0.258Proved hereChapter 12-07 (one-loop level)

Terms used in this chapter — the vortex free energy ΔF\Delta F, the sector bias θ\theta, the Creutz ratio, replica exchange, BAR, the step function, the column bias E∣θB∣\mathbb E|\theta_B|, the Z2\mathbb Z_2 glass, frustration. Their meanings are in A-02 Glossary.

Next chapter: 13-10 Candidate new viewpoints — into inequalities for which local quantities these tendencies might be grown.

← 13-08 A map of the roads tried and stoppedContents13-10 Candidate new viewpoints →

Revised 2026-10-15: first version.