mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-08-18 14:20:34 +00:00
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)
311 lines
13 KiB
Markdown
311 lines
13 KiB
Markdown
# 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:
|
||
|
||
1. **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.
|
||
|
||
2. **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).
|
||
|
||
3. **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.
|
||
|
||
4. **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.
|
||
|
||
5. **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.
|
||
|
||
6. **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).
|
||
|
||
7. **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.
|
||
|
||
8. **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 Σ_{<ij>} 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 Σ_{<ij>} 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 Σ_{<ij>} 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:
|
||
|
||
1. **Commensurate (ferromagnetic):** δ < δ_c₁. Ground state is aligned
|
||
(all spins equal). Unique ground state. EASY for optimization.
|
||
|
||
2. **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.
|
||
|
||
3. **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
|
||
|
||
1. **Spins are Z_4-valued** (4 states, not 2 like Ising) — the 4
|
||
chiral labels are the 4 clock positions.
|
||
|
||
2. **Coupling is distance-dependent** (1/|a_i - a_j|) — the Sidon
|
||
spacing controls coupling strength, not just topology.
|
||
|
||
3. **Chirality is built-in** — the spin difference s_i - s_j IS the
|
||
chirality. No separate δ parameter; it's determined by the addresses.
|
||
|
||
4. **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.
|
||
|
||
5. **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:
|
||
|
||
```python
|
||
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.
|