TFIM — model index
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 TFIM. 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 | 28 |
| 🔵 coherent | 9 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 16 |
| total claimed hubs | 53 |
Methods (from @register, derived): analytic, bdg, cft, delegation, pfaffian
References (aggregated):
- Barouch-McCoy-Dresden 1970 | Calabrese-Essler-Fagotti 2012
- Belavin-Polyakov-Zamolodchikov 1984
- Calabrese-Cardy 2004 | Calabrese-Cardy 2009
- Calabrese-Cardy 2009
- Gu IJMPB 24 4371 (2010) | Damski PRB 87 165101 (2013)
- Heyl-Polkovnikov-Kehrein PRL 110, 135704 (2013) | Heyl Rep. Prog. Phys. 81, 054001 (2018)
- Lieb-Schultz-Mattis 1961
- Lieb-Schultz-Mattis 1961 | Sachdev 2011
- Onsager 1944 | Pfeuty 1970
- Peschel 2003
- Peschel 2003 | Calabrese-Cardy 2009
- Pfeuty 1970
- Rigol et al. PRL 98 (2007) | Calabrese-Essler-Fagotti J. Stat. Mech. (2012)
Quantity × BC matrix
| Quantity | OBC | PBC | Infinite |
|---|---|---|---|
CentralCharge | — | — | 🟢 hub |
CorrelationLength | — | — | 🟢 hub |
CriticalExponents | — | — | 🟠 hub |
Energy | 🟢 hub | 🔵 hub | 🟢 hub |
EnergyLocal | 🟠 hub | — | — |
FidelitySusceptibility | 🟢 hub | — | 🟢 hub |
FreeEnergy | 🟢 hub | 🟢 hub | 🟢 hub |
GGEValue | — | — | 🟠 hub |
LoschmidtEcho | 🟢 hub | — | 🟢 hub |
MagnetizationX | 🟢 hub | 🟢 hub | 🟢 hub |
MagnetizationXLocal | 🟠 hub | — | 🟠 hub |
MagnetizationY | 🟢 hub | — | — |
MagnetizationZ | — | — | 🟢 hub |
MagnetizationZLocal | 🟠 hub | — | — |
MassGap | 🟢 hub | 🟠 hub | 🟢 hub |
RenyiEntropy | 🟢 hub | — | 🟠 hub |
SpecificHeat | 🔵 hub | 🔵 hub | 🔵 hub |
SpontaneousMagnetization | — | — | 🟢 hub |
SusceptibilityXX | 🟠 hub | 🟢 hub | 🟠 hub |
SusceptibilityYY | 🟠 hub | — | — |
SusceptibilityZZ | 🟠 hub | — | 🟠 hub |
ThermalEntropy | 🔵 hub | 🔵 hub | 🔵 hub |
VonNeumannEntropy | 🟢 hub | — | 🟠 hub |
XXCorrelation | 🟢 hub | — | 🟢 hub |
XXStructureFactor | 🟢 hub | — | 🔵 hub |
YYCorrelation | 🟢 hub | — | — |
YYStructureFactor | 🟢 hub | — | 🔵 hub |
ZZCorrelation | 🟢 hub | — | — |
ZZStructureFactor | 🟠 hub | — | 🟠 hub |
Derivation notes
Matched by filename substring (no annotation; substrate-derived):