The whole book Contents and reading orders
- Part 0 Entrance — how to read this book
- 0-01 How to read this book
- 0-02 One picture
- 0-03 Reading the problem statement word by word
- 0-04 Four dimensions in mathematics and four dimensions in physics
- Part 1 Mathematical preparation
- 1-01 Vector spaces and linear maps
- 1-02 What a group is
- 1-03 Lie groups and Lie algebras
- 1-04 SU(2) and SU(3)
- 1-05 Manifolds and tangent spaces
- 1-06 Differential forms and the exterior derivative
- 1-07 Vector bundles and connections
- 1-08 Probability and measure
- 1-09 Probability in infinite dimensions
- 1-10 Hilbert spaces and self-adjoint operators
- 1-11 Fourier analysis and distributions
- 1-12 Detour: what happens only in four dimensions
- Part 2 Physical preparation
- 2-01 Lagrangians and the action
- 2-02 The idea of a field
- 2-03 Electromagnetism is a gauge theory
- 2-04 Special relativity and spacetime
- 2-05 The bones of quantum mechanics
- 2-06 The harmonic oscillator and creation and annihilation
- 2-07 The idea of the path integral
- 2-08 Statistical mechanics and phase transitions
- 2-09 Detour: the gap and the correlation length in the Ising model
- 2-10 The relaxation time and the dynamical exponent z
- Part 3 Yang–Mills theory (classical)
- 3-01 The gauge principle
- 3-02 Non-abelian gauge fields
- 3-03 The action and the equations
- 3-04 Gauge theory as geometry
- 3-05 Instantons and topology
- 3-06 Detour: Donaldson and exotic R⁴
- 3-07 Yang–Mills inside the Standard Model
- Part 4 Quantisation
- 4-01 Canonical quantisation and the Hamiltonian
- 4-02 The path integral and Euclideanisation
- 4-03 Perturbation theory and Feynman diagrams
- 4-04 Divergences and renormalisation
- 4-05 The algebra of divergences
- 4-06 Asymptotic freedom
- 4-07 Dimensional transmutation and Λ
- 4-08 Gauge fixing and Faddeev–Popov
- 4-09 The axioms of quantum field theory
- 4-10 The Osterwalder–Schrader axioms and reconstruction
- 4-11 The definition of the mass gap
- 4-12 Detour: the perturbation series diverges
- Part 5 Lattice gauge theory
- 5-01 Wilson's lattice
- 5-02 The strong-coupling expansion
- 5-03 Reflection positivity and the transfer matrix
- 5-04 The infinite-volume limit and the cluster expansion
- 5-05 Weak coupling and the continuum limit
- 5-06 How U(1) differs from the non-abelian case
- 5-07 The Monte Carlo method
- 5-08 Measuring glueballs and the string tension
- 5-09 What to hold fixed when taking the limit
- 5-10 Lattice gauge theory with finite groups
- 5-11 Detour: Bakry–Émery and one-link integration
- Part 6 Constructive field theory
- 6-01 What constructive field theory is
- 6-02 Solvability in two dimensions and the Yang–Mills measure
- 6-03 Constructing scalar fields
- 6-04 The cluster expansion
- 6-05 The sequence of renormalisation group steps
- 6-06 Ultraviolet stability of three-dimensional Yang–Mills
- 6-07 Four dimensions
- 6-08 Triviality of φ⁴ in four dimensions
- 6-09 Stochastic quantisation and regularity structures
- 6-10 Where four dimensions stops
- 6-11 Obstacles other than divergence
- 6-12 Detour: "if 1/0 is given a symbol"
- Part 7 From the side of physics
- 7-01 How physics sees it
- 7-02 Mechanisms of confinement
- 7-03 The string picture
- 7-04 Large N
- 7-05 String theory and extra dimensions
- 7-06 How extra dimensions become invisible
- 7-07 Where gauge fields come from
- 7-08 Holography
- 7-09 The mass gap becomes geometry
- 7-10 Back to four dimensions
- 7-11 Supersymmetry and Seiberg–Witten
- 7-12 The sentence that plays the role of an equivalence principle
- 7-13 Where the way physics digs parts from mathematics
- Part 8 A dictionary of two languages — the physical and the mathematical view
- 8-01 How to read the dictionary
- 8-02 Dictionary A
- 8-03 Dictionary B
- 8-04 Dictionary C
- 8-05 The physical counterparts of our assumptions
- The map
- Part 9 Where things stand, and open tasks
- 9-01 How far the world has come
- 9-02 Where the two ways of digging part
- 9-03 Candidates for new concepts
- 9-04 The list of open tasks
- 9-05 Common misconceptions
- 9-06 The stages a proof must contain — the table of seven stages
- The first road — from the direction of time
- Part 10 The first road, first half — from the direction of time: the mass gap and the diffusive-relaxation-time assumption
- 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
- 10-01 The line of construction and Assumption ξ²
- 10-02 Roads tried on the four-dimensional lattice, and walls
- 10-03 The four steps of the staircase — why we start from 0+1 dimensions
- 10-04 The path measure of the double well, and kinks
- 10-05 The statement of the first step — four conditions and Proposition 4.5
- 10-06 (H1) Local Poincaré within a phase
- 10-07 The map of (H2) — seven routes and the seam of the ring
- 10-08 What computer-assisted means — the conditions on the chain inside the window
- 10-09 The sector framework and the three strands of route 5
- 10-10 The list of detour plans — types of breakage
- 10-11 (H3)(H4) and the constant of the core
- 10-12 The integrated table and the dependency graph
- 10-13 Lean statements and the limits of machine checking
- 10-14 Reconciliation — the numbers of the record and the known numbers
- 10-15 What remains and its cost — the distance to a theorem
- 10-16 What is not claimed
- 10-17 Insights and small questions
- Part 11 The first road, second half — repairing the form of the assumption, making time continuous
- 11-00 Further considerations — entrance
- 11-01 One form that obstructs Assumption ξ² — a nearly conserved global quantity
- 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
- 11-03 Two ways to repair Assumption ξ² — the sector Assumption ξ² and the local Assumption ξ²
- 11-04 Which Assumption ξ² the one-sided bridge needs
- 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
- 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
- 11-07 Because it is four dimensions — the dimensionless coupling and topology
- 11-08 Questions, and what is not claimed
- 11-A1 Table of notation for Part 11
- The second road — from the direction of space
- Part 12 The second road: from the direction of space — a small twisted T² and confinement
- 12-00 Entrance — space, not time
- 12-01 The twisted T² and 't Hooft flux
- 12-02 Vortices and fractional instantons
- 12-03 Containers — conditioning on the frame makes things independent
- 12-04 Slab confinement
- 12-05 Vortex-insertion identities
- 12-06 Driven insertion and the flow lemma
- 12-07 Why fixed maps fail
- 12-08 The measured record
- 12-09 Where this road stops — widening the T² is the band
- The crossover band — two roads reach the same wall
- Part 13 The crossover band — two roads reach the same wall
- 13-00 Entrance — confluence
- 13-01 The correct form of the band
- 13-02 Reduction to a single inequality
- 13-03 The only place where non-abelian enters
- 13-04 Structure alone cannot cross
- 13-05 The chessboard and simultaneous flips
- 13-06 Renormalisation comparison — a comparison that distinguishes groups
- 13-07 The band seen from the side of time
- 13-08 A map of the roads tried and stopped
- 13-09 The measured record
- 13-10 Candidate new viewpoints
- 13-11 Ultraviolet control — what it means to close at infinitely many steps
- Closing
- Part 14 Closing — conditional statements
- 14-00 Entrance — the promise of this part
- 14-01 The conditional statement — the mass gap and confinement, arrow by arrow
- 14-02 The ledger of conditions
- 14-03 The table of questions (a cross-index)
- 14-04 What is not claimed (a cross-index)
- Appendices
- A-01 Table of notation
- A-02 Glossary
- A-03 Guide to the literature
- A-04 Lean and machine checking
- A-05 How this book was made
- A-06 Index of assumptions
- A-07 Papers that came out of this book
The measured record
What this chapter shows — We gather on one page the numbers that Part 13 cites. When the small twisted is widened, the vortex free energy of rises and that of does not (§02). The string tension of the slab increases with and saturates, with no significant overshoot visible (§03). The -dependence of the vortex free energy (§04). When the whole lattice is doubled, the vortex becomes cheaper and the vortex costlier (§05). The sign of the step function of one step flips for at the known phase transition , and does not flip for in the range measured (§06). The width needed to keep the column bias small with the outer frame held fixed hardly grows with for , and grows for (§07). A diagnosis of the glass representation (§08).
Prerequisite chapters — 12-01 (the twisted and flux), 13-01 (the sector bias ), 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 ; the points in 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, , 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".
- How we measured, and symbols — the vortex free energy, the sector bias, notes on artefacts
- Widening the T² — rises, does not (Tables 1–3)
- The string tension of the slab — it increases and saturates (Tables 4 and 5)
- The β-dependence of the vortex free energy (Table 6)
- Doubling the whole lattice (Tables 7–10)
- The sign of the step function — the contrast (Table 11)
- The column bias — the scan (Tables 12–14)
- A diagnosis of the glass (Table 15)
- Artefacts of small lattices — a list of cautions for reading
- The table of the five grades and the dependency graph
How we measured, and symbols
The lattice. The slab lattice is ; the first two directions (size ) are the small , and the remaining two (size ) stand in for the plane . The carries the 't Hooft twist (12-01). A symmetric torus is written . The action is the Wilson action () and its version.
The vortex free energy. We write the free-energy difference with the sector in which the flux in the planar directions is changed as
and set the sector bias to (the same quantity as of 13-01 §04). The larger , the costlier the vortex (the harder it is to enter), and approaches 1. In the confinement regime one expects .
How we measured. 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
( is the Wilson loop). The Creutz ratio at small 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, is the regime of lattice artefacts, is too small to see one-loop behaviour, and column-bias values of about 0.1 are at the statistical floor.
Widening the T² — U(1) rises, SU(2) does not
We hold the size in the planar directions fixed and widen only the size of the . This is a test of the sign of the lateral-widening inequality (13-02 §02).
Table 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 , widening the makes increase sharply, and goes . goes , much more gently ( goes ). Under , goes for (about 1/80), and for (about 1/2.6). In this geometry, however, is of order 1 and the ceiling weakens the power to discriminate; and for is the symmetric torus (physical size ). for and for are not matched to the same physical size.
Table 2 , (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 at , 24 replicas gave with poor mixing; we give the value with 40. The number of seeds is not recorded.
Table 3 , , [Reading] — the numbers are the same measurement given in 12-08 Table 5. We do not copy them here.
Reading [Reading]. In three settings ( and at , at ), the vortex free energy of does not increase when the transverse is widened (except for the symmetric point at , ). For it increases at both values of . 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 . That at is smaller than the same point at fits with the same lattice being physically larger at ( against ).
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 does not overshoot much in . We measured the Creutz ratio (2) for , , . The four-dimensional value is .
Table 4 Creutz ratios of the slab, 400 measurements (, , ; 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 [Reading] — the numbers are the same measurement given in 12-08 Table 7. We do not copy them here.
Reading [Reading]. The peak in at seen with 400 measurements (, about 2.3σ from ) became with 2000 measurements; it was a statistical fluctuation. increases over and nearly saturates at with (1.7σ from ). No significant overshoot is visible. includes the Coulomb term, so it comes out larger than the four-dimensional . We read only the tendency in , and is a single point.
The β-dependence of the vortex free energy
| 2.2 | 2.3 | 2.4 | 2.45 | 2.5 | 2.55 | 2.6 | 2.7 | |
|---|---|---|---|---|---|---|---|---|
Reading [Reading]. Within the errors, it increases monotonically in . The reading is that this does not contradict β-monotonicity (13-06 §02) (β-monotonicity has not been shown for ). For the vortex is nearly free (), and at – it becomes costly sharply. This can be read as the fixed lattice becoming physically small and entering the dilute regime (). The points at 2.45 and 2.55 are interpolation points added for the fit in §05.
Doubling the whole lattice
We test the renormalisation comparison (13-06 §05) directly. We measure on the fine lattice (all directions doubled) and read off, from the curve of the coarse lattice (Table 6 and others), the of the coarse lattice that gives the same value. The prediction of asymptotic freedom is for , and for , which does not run.
| Group | : per seed | Combined | Seeds | Matching | |||
|---|---|---|---|---|---|---|---|
| 2.7 | , (the second run has a minimum exchange acceptance rate of 0.10) | (error-weighted mean) | 2 | (2.45–2.65 including the error of the curve) | (–) | ||
| 2.6 | , | (consistent with 0) | 2 | ||||
| 2.5 | — | 1 | 2.2–2.5 | 0– | |||
| 1.5 | (48 replicas, minimum exchange acceptance rate 0.37) | — | 1 | (outside the curve) |
The coarse-lattice curve for is (). The first run for (32 replicas) gave , but the minimum exchange acceptance rate was 0.03 and the mixing poor, so it is not used.
Reading [Reading]. For , doubling lowers the vortex free energy ( at ), and the matching is smaller than . For it rises (, about 3σ), and . The direction of the comparison separates between the two groups. The at is somewhat smaller (about 1.5σ) than the one-loop 0.258 and than the roughly 0.23 expected from the known values of . The record notes that the reversed direction for may also include artefacts of the small lattice.
Next, on the symmetric torus , we look at the two steps and .
| 1.0 | 1.25 | 1.5 | 1.75 | 2.0 | 2.25 | 2.5 | 2.75 | 3.0 | |
|---|---|---|---|---|---|---|---|---|---|
| 0.034 | 0.094 | 0.213 | 0.573 | 1.39 | 2.71 | 4.29 | 5.95 | 7.88 | |
| 0.01 | 0.01 | 0.01 | 0.50 | 2.46 | 5.10 | 7.33 |
The errors are 0.01–0.08 at and 0.03–0.26 at . The of the single step (fitting the values to the curve) is as in Table 9.
| 2.25 | 2.5 | 2.75 | 3.0 | ||
|---|---|---|---|---|---|
| (outside the curve) | 1.72 | 2.20 | 2.62 | 2.93 | |
| –1 | 0.53 | 0.30 | 0.13 | 0.07 |
At every readable (1.75–3.0), ; 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 being too small for the one-loop regime.
| : per seed → combined | : per seed → combined | Seeds () | ||
|---|---|---|---|---|
| 2.1 | — | 1 | — () | |
| 2.3 | — | 1 | ||
| 2.5 | 2.46 (1 run) | 1 | (–) | |
| 2.6 | (1 run) | — | — | — |
| 2.7 | 4.96, 4.47 → | 3.57, 2.65 → | 2 | (–) |
| 2.75 | 5.10, 5.26 → | — | — | — |
| 2.8 | 5.33, 5.87 → | — | — | — |
| 2.9 | 6.88, 6.23 → | 5.68, 3.52, 4.84 → | 3 | (–) |
| 3.0 | 7.33, 7.83 → | 5.38, 6.17 → | 2 | (–) |
Reading [Reading]. For too, at every measured, with a mean of about . This is close to the one-loop asymptotic value 0.258 and to the roughly 0.23 expected from the known values of . At some points the difference between seeds is 1–2 times the stated error (at , 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 (–). It also fits the reading of the slab at (Table 7, ).
The sign of the step function — the U(1) contrast
We carried out the same scan for . Four-dimensional has a phase transition at from the confining phase to the Coulomb phase.
| 0.6 | 0.8 | 0.9 | 1.0 | 1.1 | 1.2 | 1.4 | 1.6 | |
|---|---|---|---|---|---|---|---|---|
| 0.14 | 0.62 | 1.15 | 1.80 | 2.46 | 3.10 | 4.18 | 5.23 | |
| 0.00 | 0.00 | 0.05 | 1.07 | 2.71 | 3.68 | 4.46 | 5.85 | |
Reading [Reading]. The sign of for flips between and . This is the position of the known phase transition . In the confining phase , and in the Coulomb phase . For , the same scan gave at every 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 and at the points of the table, the sign for did not change. It is not evidence that has no phase transition.
Relatedly, there are two readings [Reading] concerning the intermediate goal of seeing at any rate (13-06 §08). For (), gives , flat, which does not contradict the picture of heading towards the classical half-flux value in the Coulomb phase. For (), it falls, .
The column bias — the ℓ × N scan
We measure the column face (13-10 §02). The outer frame of the column is taken from an equilibrium configuration and held fixed; for each frame, the conditional free energy when a sheet of is put inside the column, and the bias , are obtained by replica exchange + BAR, and we take over the frames. It is this that enters the chessboard estimate (13-05). is at , and at in the Coulomb phase.
| , : | , : | |
|---|---|---|
| 2 | (5) | — |
| 3 | (4) | (4) |
| 4 | (12) | (4) |
| 5 | (12) | (12) |
| 6 | (4) | (12) |
| 8 | — | (8) |
For , the column bias of is 1/5 to 1/7 of that of . decreases slowly (about over ), while drops to 1/3 over . The values of for , however, are close to the floor made by the per-frame statistical errors (which bias positive), and at these sizes one cannot decide whether it is or a power. The sign can change from frame to frame (for at , the mean of is ). In frames where the holonomy around the block is close to , the sector with the sheet is favoured.
| , | , | |
|---|---|---|
| 4 | (12) | (12) |
| 6 | (6) | (6) |
| 8 | (5; the sixth frame stopped partway at the time limit) | — |
With fixed, the bias approaches 1 with for both groups. While the bias is small, it grows roughly in proportion to (), and the proportionality coefficient for is about 1/7 of that for . The difference between the groups should appear in how the needed to keep small grows, so we varied both and .
| 5 | 6 | 7 | 8 | 10 | ||
|---|---|---|---|---|---|---|
| , , | 0.23 (12) | 0.07 (12) | 0.09 (4) | 0.11 (4) | ||
| , | 0.43 (4) | 0.20 (6) | 0.15 (4) | 0.08 (4) | ||
| , | 0.43 (4) | 0.38 (5) | 0.13 (4) | (3) | ||
| , , | 0.61 (4) | 0.49 (12) | 0.41 (12) | 0.25 (8) | 0.27 (4) | |
| , | 0.97 (6) | 0.98 (4) | 0.51 (4) | 0.45 (4) |
Reading [Reading]. For , at every one of , the bias falls to the statistical floor (about 0.1) at –, and the needed hardly grows with . For , even at it stays at 0.27 at , and at it is 0.45 even at ; the needed grows with , and the fall is slower. The 0.29 at , comes from only 3 frames (cut off at the time limit); that it is larger than the 0.13 at we take as a fluctuation due to the small number of frames (all 3 frames have , 0.43–0.85). This does not contradict the expectation ( for , for ), but the lattices are small and the frames few, so the form of the growth cannot be determined.
A diagnosis of the Z₂ glass
Writing (, a section of ), the twisted sector becomes "a random-plaquette gauge model on an background" (13-10 §03). The effective coupling per plaquette is , and the frustration (a monopole) is a cube for which .
| Fraction with | Fraction with | Frustrated cubes | ||||
|---|---|---|---|---|---|---|
| 1.0 | 0.243 | 0.297 | 0.455 | 0.494 | 0.481 | 0.209 |
| 1.5 | 0.363 | 0.204 | 0.741 | 0.282 | 0.452 | 0.162 |
| 2.0 | 0.501 | 0.109 | 1.120 | 0.149 | 0.349 | 0.091 |
| 2.3 | 0.602 | 0.051 | 1.437 | 0.081 | 0.216 | 0.045 |
| 2.5 | 0.653 | 0.029 | 1.660 | 0.051 | 0.140 | 0.027 |
| 2.7 | 0.686 | 0.018 | 1.870 | 0.034 | 0.093 | 0.017 |
is the frustration density of the cubes, converted to a probability of independent sign flips by . is the transition point of pure gauge theory, and the value to compare with is the Nishimori multicritical point of the four-dimensional random-plaquette gauge model (checking not yet done).
Reading [Reading]. For , the mean coupling is 3–4 times , and . The glass is likely on the side of the ordered phase. For , , and soft plaquettes () 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).
Artefacts of small lattices — a list of cautions for reading
- (and ) is the regime of lattice artefacts. At one side of the is two lattice sites, the frustration of the twist is large, and it is far from the continuum picture (a gas of fractional instantons). That the of the single step falls to 0.07 on the weak-coupling side (Table 9) is also seen as due to being too small for the one-loop regime. Values at are kept as "a reference for the direction".
- The ceiling of . In geometries where is of order 1 ( of Table 1), holds the ratio down and weakens the power to discriminate between the groups.
- The statistical floor. The column bias is biased positive by the per-frame statistical errors. Values of about 0.1 are close to the floor, and one cannot decide between an area exponent and a power (Tables 12 and 14).
- The Coulomb term. The Creutz ratio at small includes the Coulomb term and overestimates the tension (Tables 4 and 5).
- Poor mixing. Runs with a small minimum replica-exchange acceptance rate (replicas 24 and 32 for , the 0.10 of the second run) fluctuate strongly in value. Runs we did not use are noted under the tables.
- Number of seeds and errors. There are 1–3 seeds. At some points the difference between two runs with different seeds is 1–2 times the stated error, so the errors are quite likely on the small side.
- How is matched. The of and of are not matched to the same physical size. What we compare is only the direction (sign) within each group.
- A withdrawn measurement. We have withdrawn reading the measurement that flips containers simultaneously as "the numerical face of the band". The flip probability of the one-step kernel levels off at about 1/2, and what comes out is only the weak form, which also satisfies (C5 of 13-08 §05). The measurement itself is in 12-08.
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.
| Row | Statement (one line) | Grade | Basis | Scope | Machine checking |
|---|---|---|---|---|---|
| [01] | Widening the increases for and not for | Reading | Tables 1–3 | , (), (), | — |
| [02] | The slab increases with and saturates, with no significant overshoot | Reading | Tables 4 and 5 | , , 2000 measurements, | — |
| [03] | increases in | Reading | Table 6 | , – | — |
| [04] | Doubling the whole lattice: for , for | Reading | Tables 7–10 | , , , 1–3 seeds | — |
| [05] | for averages about , close to the one-loop 0.258 | Reading | Table 10 | –, 1–3 seeds | — |
| [06] | The sign of the single step for flips between and ; for it does not flip in the range measured | Reading | Tables 9 and 11 | , one seed | — |
| [07] | The that keeps the column bias small hardly grows with for , and grows for | Reading | Tables 12–14 | , , 3–12 frames | — |
| [08] | The glass is on the ordered side for and on the disordered side for | Reading (physics) | Table 15 | ; 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–§07 | Tendencies 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 said | What is not said |
|---|---|
| Reading That on small lattices the directions of and separate in every test: widening the , doubling the lattice, widening the column | Behaviour on large lattices. Determining the values. The lateral-widening inequality and the renormalisation comparison themselves |
| Reading That the sign of the step function for flips at the position of the known transition, and that for it does not flip in the range measured | That has no phase transition |
| Reading (physics) That the glass is on the ordered side in the upper half of the band | The position of the phase boundary of the glass (the conversion is crude) |
Sources and reproduction
| Item | Kind | Source / tools |
|---|---|---|
| All the tables | Reading | The 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 -dependence, tests of the renormalisation comparison, scans of the step function on the symmetric torus, the contrast, the added runs and the combining of seeds, the twist cost of the column, the diagnosis of the 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 of | Reading | Known numerical lattice values (5-06) |
| The Nishimori multicritical point | Checking not yet done | Numerical literature on the four-dimensional random-plaquette gauge model |
| The one-loop 0.258 | Proved here | Chapter 12-07 (one-loop level) |
Terms used in this chapter — the vortex free energy , the sector bias , the Creutz ratio, replica exchange, BAR, the step function, the column bias , the 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 →