HeisenbergXYZ — model index
Spin-½ XYZ chain with three independent exchange couplings
H = Σ_i [ Jx Sˣᵢ Sˣᵢ₊₁ + Jy Sʸᵢ Sʸᵢ₊₁ + Jz Sᶻᵢ Sᶻᵢ₊₁ ].
HeisenbergXYZ(Jx = J, Jy = J, Jz) ≡ XXZ1D(J = J, Δ = Jz / J).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 HeisenbergXYZ. 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 | Spin S (this file) |
| Observable | Spin S (QAtlas-wide spin convention; see docs/src/conventions.md) |
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 1 |
| 🔵 coherent | 1 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 4 |
| total claimed hubs | 6 |
Methods (from @register, derived): closed_form, delegation, xxz_delegation
Quantity × BC matrix
| Quantity | Infinite |
|---|---|
CorrelationLength | 🟠 hub |
Energy | 🟢 hub |
GroundStateEnergyDensity | 🟠 hub |
LuttingerParameter | 🔵 hub |
MassGap | 🟠 hub |
SpontaneousMagnetization | 🟠 hub |
References
Papers cited by this model's @register cards. The full numbered list is on the Reference List.
- [92]
- R. J. Baxter. One-dimensional anisotropic Heisenberg chain. Annals of Physics 70, 323–337 (1972).
- [9]
- E. Lieb, T. Schultz and D. Mattis. Two soluble models of an antiferromagnetic chain. Annals of Physics 16, 407–466 (1961).
- [88]
- A. Luther and I. Peschel. Calculation of critical exponents in two dimensions from quantum field theory in one dimension. Physical Review B 12, 3908–3917 (1975).
- [93]
- B. M. McCoy and T. T. Wu. Two-dimensional Ising field theory in a magnetic field: Breakup of the cut in the two-point function. Physical Review D 18, 1259–1267 (1978).
- [94]
- C. N. Yang and C. P. Yang. One-Dimensional Chain of Anisotropic Spin-Spin Interactions. II. Properties of the Ground-State Energy Per Lattice Site for an Infinite System. Physical Review 150, 327–339 (1966).