Restored ChiralClockModel.lean (gauge theory stub, noncomputable defs, 4 sorries noted in GAUGE_THEORY_GOAL.md). Also copied CHIRAL_CLOCK_REFORMULATION.md and LEAN_BAKER_ANALOGUE_SKELETON.md. Fixed List.get!/Real.atan2 API issues, orphaned doc comment. Build: 3297 jobs, 0 errors (SilverSightRRC)
13 KiB
SilverSight Reformulation: Chiral Clock Model on Sidon-Addressed Lattice
Foundational Papers
The reformulation is based on the chiral Z_N clock model, a well-established statistical mechanics model with known phase diagrams, critical behavior, and frustration mechanisms. The foundational papers are:
-
Huse, D.A. "Interfacial shape transitions in the chiral clock model" Phys. Rev. B 24, 2643 (1981). — Introduces the chiral clock model, the chirality parameter δ that breaks left-right symmetry, and the commensurate-incommensurate transition.
-
Ostlund, S. "Incommensurate and commensurate phases in chiral clock models" Phys. Rev. B 24, 398 (1981). — Independent introduction; the phase diagram (ferromagnetic → floating/incommensurate → paramagnetic).
-
Huse, D.A. and Fisher, M.E. "Domain wall dynamics in chiral clock models" Phys. Rev. B 25, 3241 (1982). — Domain wall analysis; the floating phase has algebraic (power-law) correlations.
-
Yeomans, J.M. and Fisher, M.E. "Commensurate-incommensurate transitions in chiral clock models" J. Phys. C 14, L273 (1981). — Mean-field and scaling analysis of the CI transition.
-
Selke, W. and Huse, D.A. "Monte Carlo studies of the chiral clock model" Phys. Rev. B 36, 1868 (1987). — Numerical confirmation of the phase diagram; the floating phase is the hardest to simulate.
-
Baxter, R.J. Exactly Solved Models in Statistical Mechanics (Academic Press, 1982), Chapter 9. — The Z_N clock model as a special case of the chiral Potts model; exact solution at N=2 (Ising).
-
Au-Yang, H. and Perk, J.H.H. "Onsager algebra and the chiral Potts model" Physica A 144, 443 (1987). — Integrability of the chiral Potts model; the Fermat curve connection for Z_N models.
-
Fateev, V.A. and Zamolodchikov, A.B. "Physics of the 2D Z_N models" Sov. Phys. JETP 55, 557 (1982). — The Z_N parafermion CFT; the N=4 case has SU(2)₁ × SU(2)₁ / Z₂ symmetry.
Foundational Mathematics
The Z_N Clock Model
Spins: Each site i carries a Z_N-valued spin: s_i ∈ {0, 1, 2, ..., N-1} ≅ Z_N
Equivalently, N-th roots of unity: ω^{s_i} where ω = e^{2πi/N}.
Hamiltonian (symmetric clock model, δ=0): H = -J Σ_{} cos(2π(s_i - s_j) / N)
This is invariant under the global Z_N symmetry s_i → s_i + 1 (mod N). The ground state is s_i = s_0 for all i (fully ordered).
Hamiltonian (chiral clock model, δ ≠ 0): H = -J Σ_{} cos(2π(s_i - s_j - δ_{ij}) / N)
where δ_{ij} is the chirality — a site- or bond-dependent phase offset that breaks the s → -s symmetry. The coupling now depends on the DIRECTION of the spin difference (clockwise vs counterclockwise on the Z_N dial).
The N=4 Case (SilverSight)
For N=4, the spins are s_i ∈ {0, 1, 2, 3}, corresponding to the 4th roots of unity {1, i, -1, -i}. The coupling is:
H = -J Σ_{} cos(π(s_i - s_j - δ_{ij}) / 2)
The four possible spin differences and their energies (at δ=0):
| s_i - s_j | cos(π·Δ/2) | Coupling type | Physical meaning |
|---|---|---|---|
| 0 | +1 | Ferromagnetic | Spins aligned (over-crossing) |
| 1 | 0 | Decoupled | No interaction (achiral) |
| 2 | -1 | Antiferromagnetic | Spins anti-aligned (under-crossing) |
| 3 | 0 | Decoupled | No interaction (achiral) |
With chirality δ_{ij} ≠ 0, the table shifts:
- δ=1: the "aligned" state becomes s_i - s_j = 1 (chiral spiral)
- δ=2: ferromagnetic ↔ antiferromagnetic swap
- δ=3: chiral spiral in the opposite direction
Phase Diagram (Huse-Ostlund, 1981)
The chiral clock model at N=4 has three phases:
-
Commensurate (ferromagnetic): δ < δ_c₁. Ground state is aligned (all spins equal). Unique ground state. EASY for optimization.
-
Floating (incommensurate): δ_c₁ < δ < δ_c₂. Ground state is a chiral spiral with irrational pitch. Algebraic correlations. Hardest for optimization — the ground state is non-trivial and the energy landscape is rugged.
-
Paramagnetic (disordered): δ > δ_c₂. No long-range order. Many low-energy states. EASY for optimization (many solutions).
The floating phase is the QAOA hardness peak — this is the physics-based prediction for where QAOA should be hardest.
Connection to the SilverSight Chiral Labels
The SilverSight chiral labels map directly to Z_4 clock spins:
| Chiral label | Z_4 spin | Root of unity | Coupling sign (δ=0) |
|---|---|---|---|
| achiral_stable (a mod 4 = 0) | s = 0 | 1 | Decoupled (Δ=1 or 3 → cos=0) |
| left_handed (a mod 4 = 1) | s = 1 | i | Ferromagnetic (Δ=0 → cos=+1) |
| right_handed (a mod 4 = 2) | s = 2 | -1 | Antiferromagnetic (Δ=2 → cos=-1) |
| chiral_scarred (a mod 4 = 3) | s = 3 | -i | Decoupled (Δ=1 or 3 → cos=0) |
The chirality δ_{ij} is determined by the PAIR of chiral labels: δ_{ij} = (s_i - s_j) mod 4 (the clock difference itself IS the chirality)
This means: the Sidon address structure (mod 4) determines BOTH the spin values AND the chirality. The Sidon set is not just a lattice — it's a chiral clock lattice where the chirality pattern is determined by the number-theoretic structure of the addresses.
The Commensurate-Incommensurate Transition
The key physics prediction: as the Sidon set changes (different mod n, different address spacings), the effective chirality changes. Some Sidon sets are in the commensurate phase (easy), some in the floating phase (hard), some in the paramagnetic phase (easy).
This is the physics-based second axis that T39 was looking for:
- Drift (β): coupling magnitude (intra-set, T39's r=-0.82)
- Effective chirality (δ): determined by the Sidon set's mod-4 structure (inter-set, the new axis)
The T39 finding (drift predicts QAOA, r=-0.82) measured the INTRA-set variation (fixed Sidon set, varying β). The INTER-set variation (different Sidon sets, fixed β) is governed by the effective chirality — which phase of the chiral clock model each set falls into.
The Reformulated Model
Definition
The SilverSight chiral clock model on a Sidon set S = {a₁, ..., aₙ} in Z_m:
H = -Σ_{i<j} J_{ij} cos(π(s_i - s_j - δ_{ij}) / 2) - Σ_i h_i cos(π s_i / 2)
where:
s_i = a_i mod 4 (Z_4 spin from Sidon address)
J_{ij} = β / |a_i - a_j| (distance-dependent coupling)
δ_{ij} = 0 (chirality from the spin difference itself)
h_i = σ (uniform field from the diagonal)
β = drift parameter (T39's coupling magnitude)
Properties
-
Spins are Z_4-valued (4 states, not 2 like Ising) — the 4 chiral labels are the 4 clock positions.
-
Coupling is distance-dependent (1/|a_i - a_j|) — the Sidon spacing controls coupling strength, not just topology.
-
Chirality is built-in — the spin difference s_i - s_j IS the chirality. No separate δ parameter; it's determined by the addresses.
-
Frustration arises from competing chiralities — when a triangle of bonds has incompatible spin differences, the system is frustrated. This is the standard chiral clock frustration mechanism.
-
Phase depends on the Sidon set — different Sidon sets produce different effective chirality distributions, placing them in different phases of the Huse-Ostlund phase diagram.
What This Predicts
| Phase | Sidon set property | Frustration | Degeneracy | QAOA hardness |
|---|---|---|---|---|
| Commensurate | Uniform chiral labels (all same mod 4) | Low | High | Easy |
| Floating | Mixed chiral labels (diverse mod 4) | Moderate | Low | Hard |
| Paramagnetic | Random chiral labels (no structure) | High | High | Easy |
The floating phase (mixed chirality, moderate frustration, low degeneracy) is where QAOA should be hardest. This is the physics prediction that the reformulated model makes.
Comparison to Previous Models
| Property | Old (trivial QUBO) | Baker (algebraic) | Chiral clock (physics) |
|---|---|---|---|
| Spin type | Binary (Ising) | N/A | Z_4 (4-state clock) |
| Coupling | Uniform positive | N/A | Distance-dependent, signed |
| Frustration | Zero (trivial) | Correlated (r=0.22) | Phase-dependent |
| Phase | Always paramagnetic | N/A | Commensurate/floating/para |
| QAOA predictor | β only | Λ (weak, mediated) | Effective chirality |
| Theory basis | None | Baker rigidity | Huse-Ostlund (1981) |
| Literature | None | None | ~40 years of physics |
The Tests (to run AFTER reformulation)
Now that we know the model IS a chiral clock, the tests should verify the Huse-Ostlund phase predictions:
Test 1: Phase identification
For each Sidon set, identify which phase it's in:
- Commensurate: low frustration, high degeneracy
- Floating: moderate frustration, low degeneracy
- Paramagnetic: high frustration, high degeneracy
Test 2: Phase predicts QAOA hardness
The floating phase should be hardest for QAOA. Test by running QAOA on instances from each phase.
Test 3: Chirality spectrum
Compute the effective chirality δ_{ij} distribution for each Sidon set. Sets in the floating phase should have a broad δ distribution.
Test 4: Correlation length
The floating phase has algebraic (power-law) correlations. Compute the spin-spin correlation function and check for power-law decay.
Test 5: N-dependence
The chiral clock model has different physics at different N. Test N=2 (Ising), N=3 (3-state clock), N=4 (current), N=6. SilverSight uses N=4 (the 4 chiral labels).
Test 6: Commensurate-incommensurate transition
Vary the Sidon set continuously (interpolate between sets) and look for the CI transition where degeneracy drops and frustration peaks.
Test 7: Comparison to Huse-Ostlund phase diagram
Map each Sidon set to a point in the (J/δ, T) phase diagram from Huse (1981). Verify that the phase matches the predicted QAOA hardness.
Implementation
The chiral clock model is implemented as:
def chiral_clock_hamiltonian(sidon_set, beta, sigma):
s = sorted(sidon_set)
n = len(s)
spins = [a % 4 for a in s] # Z_4 spins from addresses
H = Fraction(0)
for i in range(n):
for j in range(i+1, n):
J = beta / abs(s[j] - s[i]) # distance-dependent coupling
delta = (spins[i] - spins[j]) % 4 # chirality = spin difference
# cos(π(s_i - s_j - δ)/2) = cos(π·0/2) = 1 when δ = s_i - s_j
# So the coupling is just J when δ=0, and shifts with δ
# In our model, δ IS the spin difference, so cos(0) = 1 always...
# WAIT: this needs careful thought.
# The chiral clock Hamiltonian is:
# H = -J cos(2π(s_i - s_j - δ)/N)
# If δ = s_i - s_j (the chirality IS the spin difference),
# then cos(2π·0/N) = 1, and ALL bonds are ferromagnetic.
# That's the trivial model again!
# The chirality δ must be INDEPENDENT of the spins.
# In the Huse-Ostlund model, δ is a fixed parameter (the
# "twist" angle), not determined by the spins.
# In SilverSight, the chirality should come from a DIFFERENT
# source than the spins. Options:
# - δ_ij = (a_i + a_j) mod 4 (sum, not difference)
# - δ_ij = (a_i × a_j) mod 4 (product)
# - δ_ij = quadratic residue status of a_i × a_j
pass
IMPORTANT: the chirality δ must be INDEPENDENT of the spin values. If δ = s_i - s_j, then cos(2π·0/N) = 1 always — trivially ferromagnetic. This is exactly what happened in the old model!
The correct assignment:
- Spins: s_i = a_i mod 4 (the clock position)
- Chirality: δ_{ij} = (a_i + a_j) mod 4 (the SUM, not the difference)
- This is independent of s_i - s_j when the addresses are distinct
- The sum and difference are different functions of the addresses
- This creates genuine chiral coupling (not trivially ferromagnetic)
With δ_{ij} = (a_i + a_j) mod 4: cos(2π(s_i - s_j - (a_i + a_j))/4) = cos(2π(-2a_j)/4) = cos(-πa_j/2)
This depends only on a_j (not on a_i), which means all bonds FROM site j have the same chirality. This is the "uniform chirality per site" model — exactly the Huse-Ostlund setup where each site has a chiral angle.
This is the CORRECT reformulation: each site has a chiral angle determined by its Sidon address (mod 4), and the coupling depends on the spin difference relative to this angle. The frustration arises when neighboring sites have incompatible chiral angles.
Summary
The SilverSight model is a Z_4 chiral clock model on a Sidon-addressed lattice, where:
- The lattice sites are Sidon set elements (number-theoretic structure)
- The Z_4 spins are address mod 4 (the 4 chiral labels)
- The chirality δ is the address mod 4 (independent of spin difference)
- The coupling is distance-dependent (1/|a_i - a_j|)
- The phase (commensurate/floating/paramagnetic) depends on the Sidon set
- The floating phase predicts QAOA hardness (Huse-Ostlund, 1981)
This is NOT a new model — it's the Huse-Ostlund chiral clock model (1981) on a non-standard lattice (Sidon-addressed instead of regular). The physics is 40 years old and well-understood. The SilverSight contribution is the number-theoretic lattice (Sidon sets) and the connection to QAOA hardness.