Skip to main content

Part 2· Chapter 10

Chapter 10 — Worked Examples

Prerequisites: Chapters 2--8 (Part I).


10.1 The U(1)U(1) Theory in Full

Setup

  • Gauge group: G=U(1)={eiα:α[0,2π)}G=U(1)=\{e^{i\alpha}:\alpha\in[0,2\pi)\}.
  • Relation transit: gt(i,j)=eiαt(i,j)g_t(i,j)=e^{i\alpha_t(i,j)}.
  • Gauge transformation: h(i)=eiφih(i)=e^{i\varphi_i}.

Gauge action

gth(i,j)=ei(αt(i,j)+φiφj).g_t^h(i,j)=e^{i(\alpha_t(i,j)+\varphi_i-\varphi_j)}.

Holonomy and curvature

For triangle (i,j,k)(i,j,k):

Ωt(i,j,k)=ei(αij+αjk+αki).\Omega_t(i,j,k)=e^{i(\alpha_{ij}+\alpha_{jk}+\alpha_{ki})}.

Discrete curvature:

ωt(i,j,k)=2(1cos(αij+αjk+αki)).\omega_t(i,j,k)=2\bigl(1-\cos(\alpha_{ij}+\alpha_{jk}+\alpha_{ki})\bigr).

Since U(1)U(1) is abelian, the holonomy itself (not just its conjugacy class) is gauge-invariant.

Flattening energy

EF(φ)=i,jFWt(i,j)>0Wt(i,j)2(1cos(αij+φiφj)).\mathcal{E}_{F^\circ}(\varphi)=\sum_{\substack{i,j\in F^\circ\\W_t(i,j)>0}}W_t(i,j)\cdot 2\bigl(1-\cos(\alpha_{ij}+\varphi_i-\varphi_j)\bigr).

Optimal gauge

Critical-point equation: jiWt(i,j)sin(αij+φiφj)=0\sum_{j\sim i}W_t(i,j)\sin(\alpha_{ij}+\varphi_i-\varphi_j)=0 for all iFi\in F^\circ.

At a global minimum with small residual curvature (α~ij<π|\tilde\alpha_{ij}|<\pi for all edges), the Hessian is a weighted graph Laplacian with positive weights (Theorem 7.11), so the minimum is unique up to a constant shift φφ+c\varphi\mapsto\varphi+c.

In the small-curvature regime, the normal equations give:

Lφ=Bdiag(W)α,φ=LBdiag(W)α+c1L\,\varphi^*=-B\,\mathrm{diag}(W)\,\alpha,\qquad\varphi^*=-L^\dagger B\,\mathrm{diag}(W)\,\alpha+c\cdot\mathbf{1}

where L=Bdiag(W)BTL=B\,\mathrm{diag}(W)B^T is the weighted graph Laplacian and LL^\dagger its pseudoinverse.

Canonical connection and residual curvature

α~ij=αij+φiφj,ρ(i)=jiWt(i,j)α~ij2.\tilde\alpha_{ij}=\alpha_{ij}+\varphi_i^*-\varphi_j^*,\qquad\rho(i)=\sum_{j\sim i}W_t(i,j)\,\tilde\alpha_{ij}^2.

The constant cc cancels in α~ij\tilde\alpha_{ij}, confirming Conjecture 7.10 for U(1)U(1).


10.2 Five-Node Example (G=U(1)G=U(1))

Graph

  1 ─── 2
  │ ╲ ╱ │
  │  3   │
  │ ╱ ╲ │
  4 ─── 5

V={1,2,3,4,5}V=\{1,2,3,4,5\}, G=U(1)G=U(1), θ=0.15\theta=0.15, τ=0.8\tau=0.8.

Weights:

  • Internal to {1,2,3}\{1,2,3\}: W(1,2)=W(1,3)=W(2,3)=10W(1,2)=W(1,3)=W(2,3)=10.
  • Internal to {4,5}\{4,5\}: W(4,5)=8W(4,5)=8.
  • Bridge: W(3,4)=1W(3,4)=1, W(2,5)=0.5W(2,5)=0.5.
  • All others: 00.

Step 1: Degrees

iid(i)d(i)Description
110+10=2010+10=20Deep interior of {1,2,3}\{1,2,3\}
210+10+0.5=20.510+10+0.5=20.5Boundary (connected to 5)
310+10+1=2110+10+1=21Boundary (connected to 4)
48+1=98+1=9Boundary of {4,5}\{4,5\}
58+0.5=8.58+0.5=8.5Boundary of {4,5}\{4,5\}

Step 2: Fruit identification

Candidate F={4,5}F=\{4,5\}:

  • vol({4,5})=9+8.5=17.5\mathrm{vol}(\{4,5\})=9+8.5=17.5.
  • vol(V)=20+20.5+21+9+8.5=79\mathrm{vol}(V)=20+20.5+21+9+8.5=79.
  • (F1): 17.539.5=127917.5\le 39.5=\frac{1}{2}\cdot 79. Yes.
  • cut({4,5},{1,2,3})=W(4,3)+W(5,2)=1+0.5=1.5\mathrm{cut}(\{4,5\},\{1,2,3\})=W(4,3)+W(5,2)=1+0.5=1.5.
  • ϕ({4,5})=1.5/17.50.0860.15\phi(\{4,5\})=1.5/17.5\approx 0.086\le 0.15. Yes.

{4,5}Ft\{4,5\}\in\mathfrak{F}_t.

Candidate F={1,2,3}F=\{1,2,3\}: vol({1,2,3})=61.5>39.5\mathrm{vol}(\{1,2,3\})=61.5>39.5. Violates (F1). Not a fruit.

Step 3: Door detection

For F={4,5}F=\{4,5\}:

iid(i)d(i)jFW(i,j)\sum_{j\in F}W(i,j)bF,t(i)b_{F,t}(i)Door?
498110.81\ge 0.8: Yes
58.580.50.5<0.80.5<0.8: No

Σ={4}\Sigma=\{4\}, e4=1e_4=1.

Step 4: Existence

F={4,5}{4}={5}F^\circ=\{4,5\}\setminus\{4\}=\{5\}. Single node, no internal edges.

[A][A_\infty] is trivial (empty connection). Existence({4,5},t)=([],{4},{1})\mathrm{Existence}(\{4,5\},t)=([\emptyset],\{4\},\{1\}).

Verification of theorems

  • Theorem A: Internal energy =28=16=2\cdot 8=16; vol=17.5\mathrm{vol}=17.5; ratio =16/17.50.91410.15=0.85=16/17.5\approx 0.914\ge 1-0.15=0.85. Satisfied.
  • Theorem B: Σ=10.1517.5/0.83.28|\Sigma|=1\le 0.15\cdot 17.5/0.8\approx 3.28. Satisfied.
  • Theorem D: Expected escape time 1/(20.15)3.3\ge 1/(2\cdot 0.15)\approx 3.3 steps. Reasonable for a 2-node fruit.

10.3 Ten-Node Example (G=U(1)G=U(1), Complete Calculation)

Graph structure

Fruit A: {1,2,3,4} — complete graph, internal weight 10
Fruit B: {7,8,9,10} — complete graph, internal weight 8
Stem: {5,6}
 
Bridges:
  3 -- 5 (weight 0.5)
  4 -- 5 (weight 0.3)
  5 -- 6 (weight 2.0)
  6 -- 7 (weight 0.4)
  6 -- 8 (weight 0.6)

Parameters: θ=0.1\theta=0.1, τ=0.5\tau=0.5.

Step 1: Degrees

Fruit A internal edges (complete K4K_4, weight 10): each node has 3 internal edges, so internal degree =3×10=30=3\times 10=30.

NodeInternal degBridge degd(i)d(i)
130030
230030
3300.530.5
4300.330.3
500.5+0.3+2.0=2.80.5+0.3+2.0=2.82.8
602.0+0.4+0.6=3.02.0+0.4+0.6=3.03.0
73×8=243\times 8=240.424.4
8240.624.6
924024
1024024

vol(V)=30+30+30.5+30.3+2.8+3.0+24.4+24.6+24+24=223.6\mathrm{vol}(V)=30+30+30.5+30.3+2.8+3.0+24.4+24.6+24+24=223.6.

Step 2: Fruit identification

Fruit A ={1,2,3,4}=\{1,2,3,4\}:

  • vol(A)=30+30+30.5+30.3=120.8\mathrm{vol}(A)=30+30+30.5+30.3=120.8.
  • (F1): 120.8>111.8=12223.6120.8>111.8=\frac{1}{2}\cdot 223.6. Violates (F1).

So {1,2,3,4}\{1,2,3,4\} is too large (majority). Check complement:

Fruit B ={7,8,9,10}=\{7,8,9,10\}:

  • vol(B)=24.4+24.6+24+24=97.0\mathrm{vol}(B)=24.4+24.6+24+24=97.0.
  • (F1): 97.0111.897.0\le 111.8. Yes.
  • cut(B,Bˉ)=W(7,6)+W(8,6)=0.4+0.6=1.0\mathrm{cut}(B,\bar B)=W(7,6)+W(8,6)=0.4+0.6=1.0.
  • ϕ(B)=1.0/97.00.01030.1\phi(B)=1.0/97.0\approx 0.0103\le 0.1. Yes.

{7,8,9,10}Ft\{7,8,9,10\}\in\mathfrak{F}_t.

Checking smaller subsets: {5,6}\{5,6\} has vol=5.8\mathrm{vol}=5.8, cut=0.5+0.3+0.4+0.6=1.8\mathrm{cut}=0.5+0.3+0.4+0.6=1.8, ϕ=1.8/5.80.31>0.1\phi=1.8/5.8\approx 0.31>0.1. Not a fruit.

Summary of fruits: Ft={{7,8,9,10}}\mathfrak{F}_t=\{\{7,8,9,10\}\} (only Fruit B qualifies under the strict (F1) condition).

Remark. If we relax (F1) or embed this graph in a larger graph so that vol(A)12vol(V)\mathrm{vol}(A)\le\frac{1}{2}\mathrm{vol}(V), then AA would also be a fruit with ϕ0.007\phi\approx 0.007.

Step 3: Door detection for Fruit B

Noded(i)d(i)jBW(i,j)\sum_{j\in B}W(i,j)bB,t(i)b_{B,t}(i)Door?
724.4240.40.4<0.50.4<0.5: No
824.6240.60.60.50.6\ge 0.5: Yes
924240No
1024240No

Σ={8}\Sigma=\{8\}, e8=0.6e_8=0.6.

Step 4: Kernel and existence

B={7,9,10}B^\circ=\{7,9,10\}.

Internal edges of BB^\circ: (7,9),(7,10),(9,10)(7,9),(7,10),(9,10), all with weight 8. This is a complete triangle K3K_3.

Transit angles (assign): α79=0.3\alpha_{79}=0.3, α7,10=0.1\alpha_{7,10}=0.1, α9,10=0.2\alpha_{9,10}=0.2.

Holonomy of triangle (7,9,10)(7,9,10): Ω=ei(0.3+0.20.1)=e0.4i\Omega=e^{i(0.3+0.2-0.1)}=e^{0.4i}. Non-trivial curvature.

Optimal gauge (small-curvature approximation):

Incidence matrix for K3K_3 on {7,9,10}\{7,9,10\} (edges ordered as e1=(7,9),e2=(7,10),e3=(9,10)e_1=(7,9),e_2=(7,10),e_3=(9,10)):

B=(110101011),W=diag(8,8,8)=8I.B=\begin{pmatrix}-1&1&0\\-1&0&1\\0&-1&1\end{pmatrix},\quad W=\mathrm{diag}(8,8,8)=8I.

L=BWBT=8(211121112).L=BWB^T=8\begin{pmatrix}2&-1&-1\\-1&2&-1\\-1&-1&2\end{pmatrix}.

α=(0.3,0.1,0.2)T\alpha=(0.3,0.1,0.2)^T.

Bdiag(W)α=8Bα=8(0.3+0.10.3+0.20.1+0.2)=8(0.20.10.1)=(1.60.80.8).B\,\mathrm{diag}(W)\alpha=8B\alpha=8\begin{pmatrix}-0.3+0.1\\-0.3+0.2\\-0.1+0.2\end{pmatrix}=8\begin{pmatrix}-0.2\\-0.1\\0.1\end{pmatrix}=\begin{pmatrix}-1.6\\-0.8\\0.8\end{pmatrix}.

Normal equation: Lφ=(1.60.80.8)L\varphi^*=\begin{pmatrix}1.6\\0.8\\-0.8\end{pmatrix} (note sign).

LL has eigenvalues 0,24,240,24,24 with kerL=span((1,1,1)T)\ker L=\mathrm{span}((1,1,1)^T). Projecting out the kernel:

φ=L(1.60.80.8)+c(111).\varphi^*=L^\dagger\begin{pmatrix}1.6\\0.8\\-0.8\end{pmatrix}+c\begin{pmatrix}1\\1\\1\end{pmatrix}.

The RHS has zero mean already: 1.6+0.80.8=1.601.6+0.8-0.8=1.6\ne 0. Project: vˉ=1.6/30.533\bar v=1.6/3\approx 0.533. Centered: (1.067,0.267,1.333)(1.067, 0.267, -1.333).

L=124(2/31/31/31/32/31/31/31/32/3)L^\dagger=\frac{1}{24}\begin{pmatrix}2/3&-1/3&-1/3\\-1/3&2/3&-1/3\\-1/3&-1/3&2/3\end{pmatrix} (pseudoinverse of LL on the orthogonal complement of 1\mathbf{1}).

Actually, for a 3×33\times 3 Laplacian L=83(I1311T)=24(I1311T)L=8\cdot 3(I-\frac{1}{3}\mathbf{1}\mathbf{1}^T)=24(I-\frac{1}{3}\mathbf{1}\mathbf{1}^T), the pseudoinverse is L=124(I1311T)L^\dagger=\frac{1}{24}(I-\frac{1}{3}\mathbf{1}\mathbf{1}^T).

φ=124(I1311T)(1.60.80.8)=124(1.60.5330.80.5330.80.533)=124(1.0670.2671.333)(0.04440.01110.0556).\varphi^*=\frac{1}{24}(I-\frac{1}{3}\mathbf{1}\mathbf{1}^T)\begin{pmatrix}1.6\\0.8\\-0.8\end{pmatrix}=\frac{1}{24}\begin{pmatrix}1.6-0.533\\0.8-0.533\\-0.8-0.533\end{pmatrix}=\frac{1}{24}\begin{pmatrix}1.067\\0.267\\-1.333\end{pmatrix}\approx\begin{pmatrix}0.0444\\0.0111\\-0.0556\end{pmatrix}.

(Taking c=0c=0.)

Residual angles:

  • α~79=0.3+(0.04440.0111)=0.3+0.0333=0.333\tilde\alpha_{79}=0.3+(0.0444-0.0111)=0.3+0.0333=0.333.
  • α~7,10=0.1+(0.0444(0.0556))=0.1+0.1=0.2\tilde\alpha_{7,10}=0.1+(0.0444-(-0.0556))=0.1+0.1=0.2.
  • α~9,10=0.2+(0.0111(0.0556))=0.2+0.0667=0.267\tilde\alpha_{9,10}=0.2+(0.0111-(-0.0556))=0.2+0.0667=0.267.

Check: holonomy =0.333+0.2670.2=0.4=0.333+0.267-0.2=0.4 (unchanged, as expected---gauge transformation preserves holonomy).

Residual curvature:

  • ρ(7)=8(0.3332+0.22)=8(0.111+0.04)=1.208\rho(7)=8(0.333^2+0.2^2)=8(0.111+0.04)=1.208.
  • ρ(9)=8(0.3332+0.2672)=8(0.111+0.071)=1.456\rho(9)=8(0.333^2+0.267^2)=8(0.111+0.071)=1.456.
  • ρ(10)=8(0.22+0.2672)=8(0.04+0.071)=0.888\rho(10)=8(0.2^2+0.267^2)=8(0.04+0.071)=0.888.

Total energy: E=8(0.3332+0.22+0.2672)=8(0.111+0.04+0.071)=1.776\mathcal{E}=8(0.333^2+0.2^2+0.267^2)=8(0.111+0.04+0.071)=1.776.

Existence of Fruit B:

Existence({7,8,9,10},t)=([g~B]Gconst,  {8},  {0.6})\mathrm{Existence}(\{7,8,9,10\},t)=\bigl([\tilde g|_{B^\circ}]_{\mathcal{G}_{\mathrm{const}}},\;\{8\},\;\{0.6\}\bigr)

where g~\tilde g encodes residual angles (0.333,0.2,0.267)(0.333, 0.2, 0.267) on the triangle {7,9,10}\{7,9,10\}.

Verification

  • Theorem A: Internal energy =6×2×8=96=6\times 2\times 8=96 (6 directed pairs in K4K_4, each weight 8). vol(B)=97\mathrm{vol}(B)=97. Ratio =96/970.99010.1=0.9=96/97\approx 0.990\ge 1-0.1=0.9. Satisfied.
  • Theorem B: Σ=10.1×97/0.5=19.4|\Sigma|=1\le 0.1\times 97/0.5=19.4. Satisfied.
  • Theorem E: Curvature is distributed over the K3K_3 kernel. Node 10 (farthest from door 8) has the smallest ρ\rho, consistent with localisation.

10.4 SU(2)SU(2) Example (Sketch)

Setup

G=SU(2)G=SU(2), with elements g=(abˉbaˉ)g=\begin{pmatrix}a&-\bar b\\b&\bar a\end{pmatrix}, a2+b2=1|a|^2+|b|^2=1.

Non-abelian features

  • Holonomy conjugacy class \ne holonomy itself (base-point dependence remains).
  • Scalar curvature ωt()=dSU(2)(Ω,I)2\omega_t(\triangle)=d_{SU(2)}(\Omega,I)^2 is still gauge-invariant.
  • Energy landscape EF(h)\mathcal{E}_{F^\circ}(h) is non-convex: multiple local minima possible.

Triangle example

{1,2,3}\{1,2,3\} with:

g(1,2)=eiπσx/4,g(2,3)=eiπσy/4,g(3,1)=eiπσz/4g(1,2)=e^{i\pi\sigma_x/4},\quad g(2,3)=e^{i\pi\sigma_y/4},\quad g(3,1)=e^{i\pi\sigma_z/4}

Holonomy: Ω=eiπσx/4eiπσy/4eiπσz/4I\Omega=e^{i\pi\sigma_x/4}\cdot e^{i\pi\sigma_y/4}\cdot e^{i\pi\sigma_z/4}\ne I. Non-zero curvature that cannot be removed by gauge transformation (topological obstruction from holonomy).

This illustrates that for non-abelian GG, complete flattening may be impossible, and the residual curvature reflects genuine topological content.