This appendix provides a single, comprehensive symbol reference for the entire theory.
A.1 Standing Assumptions (Axioms A0--A5)
| Label | Axiom | Content |
|---|---|---|
| A0 | Gauge group | A compact Lie group with Lie algebra , identity , and bi-invariant metric |
| A1 | Node set | A finite set with $n := |
| A2 | Time set | A totally ordered set |
| A3 | Fruit threshold | |
| A4 | Door threshold | |
| A5 | Intrinsic data axiom | The degree is included in a fruit's intrinsic data (Axiom 6.1) |
A.2 Core Symbols
Relations and Fields (Chapters 2--3)
| Symbol | Definition | Meaning |
|---|---|---|
| Def 2.1 | A relation: source , target , scalar weight , group transit | |
| Def 2.5 | Symmetrised weight: | |
| Def 2.6 | Degree: | |
| Def 3.1 | Raw relational field | |
| Def 3.2 | Gauge group | |
| Def 3.3 | Gauge-transformed transit: | |
| Def 3.6 | Relational field (gauge equivalence class of ) | |
| Prop 3.8 | Holonomy of a closed loop | |
| Cor 3.9 | Discrete curvature: holonomy of triangle | |
| Cor 3.9 | Scalar curvature: |
Fruits and Stems (Chapters 4--5)
| Symbol | Definition | Meaning |
|---|---|---|
| Def 4.1 | Induced weighted graph | |
| Def 4.2 | Volume: | |
| Def 4.2 | Cut: | |
| Def 4.2 | Conductance (Cheeger ratio): | |
| Ax 4.4 | Fruit threshold | |
| Def 4.5 | A fruit: and | |
| Def 4.6 | Set of all fruits at time | |
| Def 4.8 | Normalised graph Laplacian: | |
| -- | -th eigenvalue of | |
| Thm 4.9 | Cheeger constant: | |
| Def 4.13 | Transition matrix: | |
| Def 4.13 | Lazy walk: | |
| Def 5.1 | Union of all fruits | |
| Def 5.2 | Stem region: | |
| Def 5.3 | Bridge edges |
Doors (Chapter 6)
| Symbol | Definition | Meaning |
|---|---|---|
| Ax 6.1 | Intrinsic data: | |
| Lem 6.3 | Boundary coupling: | |
| Def 6.4 | Leakage rate: | |
| Def 6.6 | Fruit boundary: | |
| Ax 6.5 | Door threshold | |
| Def 6.7 | Door set (energy-based): | |
| Def 6.11 | Holonomy door energy | |
| -- | Holonomy-based door set | |
| Def 6.15 | Door energy vector: with |
Existence (Chapter 7)
| Symbol | Definition | Meaning |
|---|---|---|
| Def 7.1 | Kernel of fruit: | |
| Def 7.2 | Flattening energy: | |
| Thm 7.4 | Optimal gauge: | |
| Def 7.5 | Residual (constant) gauge: | |
| Lem 7.6 | Residual curvature at node | |
| Const 7.10 | Canonical connection (gauge class on ) | |
| Def 7.12 | ||
| Def 7.14 | Moduli space of existence |
World (Chapter 8)
| Symbol | Definition | Meaning |
|---|---|---|
| Def 8.1 | Instantaneous world: | |
| Def 8.2 | Full world: | |
| Def 8.3 | Existence functor |
A.3 Theorems at a Glance
| Theorem | Name | Core Statement | Proof Status |
|---|---|---|---|
| A | Energy isolation | Internal energy | Complete |
| B | Finiteness of doors | $ | \Sigma |
| C | Self-interpretation | determined by intrinsic data | Complete |
| D | Metastability | Escape time | Complete |
| E | Curvature localisation | Residual curvature concentrates near doors | Complete |
| F | Spectral stability | Strong fruits persist under perturbation | Complete |
| G | Door stability | Door structure stable under small perturbation | Complete |
| H | Flow stability | is a stable fixed point of discrete YM flow | Complete |
A.4 Conventions
- Numbering: Definition/Theorem/Lemma X.Y means Chapter X, item Y.
- Gauge action is a right action: .
- always denotes the bi-invariant geodesic distance on .
- for any .
- All sums over edges are over ordered pairs unless stated otherwise.
- "Sketch" proofs explicitly list unverified assumptions.