TightBinding1D — model index

1D non-interacting spinless-fermion chain.

H = -t Σᵢ (c†ᵢ c_{i+1} + h.c.) - μ Σᵢ c†ᵢ cᵢ
Provisional v2 view — RES not wired

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 TightBinding1D. 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

FieldValue
HamiltonianFermion bilinears c†c
ObservableFermion (number n = c†c, bilinear ⟨c†i cj⟩); derived spin observables follow spin S = σ/2
Referencedocs/src/conventions.md §Fermion convention

Coverage

LevelCount
🟣 universality-corroborated0
🟢 corroborated-at-p4
🔵 coherent0
⚪ cited-only0
🟠 uncorroborated-but-feasible15
total claimed hubs19

Methods (from @register, derived): analytic

Quantity × BC matrix

QuantityOBCPBCInfinite
Energy🟠 hub🟠 hub🟢 hub
FermiVelocity🟢 hub
FreeEnergy🟠 hub🟠 hub🟠 hub
MassGap🟠 hub🟠 hub🟢 hub
NMRSpinRelaxationRate🟠 hub🟠 hub🟢 hub
SpecificHeat🟠 hub🟠 hub🟠 hub
ThermalEntropy🟠 hub🟠 hub🟠 hub

References

Papers cited by this model's @register cards. The full numbered list is on the Reference List.

[174]
N. W. Ashcroft and N. D. Mermin. Solid State Physics (Holt, Rinehart and Winston, 1976).
[111]
P. Coleman. Introduction to Many-Body Physics (Cambridge University Press, 2015).
[185]
J. Korringa. Nuclear magnetic relaxation and resonance line shift in metals. Physica 16, 601–610 (1950).
[112]
G. D. Mahan. Many-Particle Physics (Springer US, 2000).

← Atlas index · Model list →