XYh1D — model index
Anisotropic XY chain in a transverse field (Lieb-Schultz-Mattis 1961):
H = -Σ_i ( Jx σ^x_i σ^x_{i+1} + Jy σ^y_i σ^y_{i+1} ) - h Σ_i σ^z_i.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 XYh1D. 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 | Pauli σ (this file) |
| Observable | Spin S = σ/2 (QAtlas-wide spin convention; see docs/src/conventions.md) |
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 0 |
| 🔵 coherent | 0 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 13 |
| total claimed hubs | 13 |
Methods (from @register, derived): analytic, bdg, quadgk
Quantity × BC matrix
| Quantity | OBC | PBC | Infinite |
|---|---|---|---|
Energy | 🟠 hub | — | 🟠 hub |
EnergyLocal | 🟠 hub | — | — |
MagnetizationXLocal | 🟠 hub | — | — |
MagnetizationYLocal | 🟠 hub | — | — |
MagnetizationZ | 🟠 hub | — | 🟠 hub |
MagnetizationZLocal | 🟠 hub | — | — |
MassGap | 🟠 hub | 🟠 hub | 🟠 hub |
SusceptibilityZZ | 🟠 hub | — | 🟠 hub |
References
Papers cited by this model's @register cards. The full numbered list is on the Reference List.
- [9]
- E. Lieb, T. Schultz and D. Mattis. Two soluble models of an antiferromagnetic chain. Annals of Physics 16, 407–466 (1961).
- [11]
- P. Pfeuty. The one-dimensional Ising model with a transverse field. Annals of Physics 57, 79–90 (1970).