SixVertex — model index
Classical six-vertex model on the infinite square lattice in the standard (a, b, c) parameterisation (Lieb 1967, Baxter 1982 ch. 8):
ω₁ = ω₂ = a, ω₃ = ω₄ = b, ω₅ = ω₆ = c
Δ = (a² + b² − c²) / (2 a b)Generated by docs/atlas/generate.jl — a pure VIEW over the *_registry.jl claims + the static test/INVENTORY.jsonl AST scan. No test is executed and no src is run; test/INVENTORY.jsonl is regenerated in-place (idempotently) from that static scan; fetch/@register untouched. Assurance labels are PROVISIONAL: residuals / confidence are not shown yet (RES not wired). Badges reflect the committed test AST, not the latest CI run — a hub can read green while its @test is red between regenerations. @sweep = a graceful regime-resolution gap, not card omission.
All (Quantity, BC) hubs src claims for SixVertex. Cells link to the per-hub card; — = not yet implemented at that BC. The shape of the matrix is the gap visualisation: empty cells are where physics could be added next.
Convention
| Field | Value |
|---|---|
| Hamiltonian | see file-header description above |
| Observable | per src/core/quantities.jl (matches the dispatch tag) |
| Reference | docs/src/conventions.md (project-wide convention policy) |
| STATUS | backfilled by PR (audit gate); per-field domain content |
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 2 |
| 🔵 coherent | 1 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 2 |
| total claimed hubs | 5 |
Methods (from @register, derived): analytic, numerical
Quantity × BC matrix
| Quantity | Infinite |
|---|---|
Energy | 🟠 hub |
FreeEnergy | 🟢 hub |
Polarization | 🔵 hub |
ResidualEntropy | 🟢 hub |
UniversalityClass | 🟠 hub |
References
Papers cited by this model's @register cards. The full numbered list is on the Reference List.
- [62]
- R. J. Baxter. Exactly Solved Models in Statistical Mechanics (Academic Press, 1982).
- [123]
- E. H. Lieb. Exact Solution of the Problem of the Entropy of Two-Dimensional Ice. Physical Review Letters 18, 692–694 (1967).
- [125]
- E. H. Lieb. Exact Solution of the F Model of an Antiferroelectric. Physical Review Letters 18, 1046–1048 (1967).
- [124]
- E. H. Lieb. Exact Solution of the Two-Dimensional Slater KDP Model of a Ferroelectric. Physical Review Letters 19, 108–110 (1967).
- [126]
- B. Sutherland. Exact Solution of a Two-Dimensional Model for Hydrogen-Bonded Crystals. Physical Review Letters 19, 103–104 (1967).