J1J2Heisenberg1D — model index
Spin-½ J₁-J₂ Heisenberg chain:
H = J₁ Σ_i Sᵢ · Sᵢ₊₁ + J₂ Σ_i Sᵢ · Sᵢ₊₂, J₁ > 0, J₂ ≥ 0.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 J1J2Heisenberg1D. 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 | 0 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 0 |
| total claimed hubs | 1 |
Methods (from @register, derived): delegation
Quantity × BC matrix
| Quantity | Infinite |
|---|---|
Energy | 🟢 hub |
References
Papers cited by this model's @register cards. The full numbered list is on the Reference List.
- [87]
- L. Hulthén. Über das Austauschproblem eines Kristalles. Arkiv för Matematik, Astronomi och Fysik 26A, 1–106 (1938).
- [114]
- C. K. Majumdar and D. K. Ghosh. On Next-Nearest-Neighbor Interaction in Linear Chain. I. Journal of Mathematical Physics 10, 1388–1398 (1969).
- [115]
- S. R. White and I. Affleck. Dimerization and incommensurate spiral spin correlations in the zigzag spin chain: Analogies to the Kondo lattice. Physical Review B 54, 9862–9869 (1996).