π’ XYh1D/Energy/Infinite
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.
src claim
- method
analytic, reliabilityhigh, refs: Lieb-Schultz-Mattis 1961 | Pfeuty 1970 - Phase 1: isotropic XX limit (Jx = Jy) only; closed-form free-fermion ground-state energy density E/N = -h + (2h/Ο)Β·arccos(h/2J) - (4J/Ο)Β·β(1-(h/2J)Β²) for |h|<2J, E/N = -|h| for |h|β₯2J. h=0 gives E/N = -4J/Ο. Anisotropic Jx β Jy deferred to Phase 2.
Corroboration
| regime | mechanism | independence | refs | file |
|---|---|---|---|---|
@sweep | second_closed_form | π’ structural | Lieb-Schultz-Mattis 1961: XX chain e0 = -4/pi (Pauli Ο convention) | test/models/quantum/misc/test_xyh1d.jl |
@xx | second_closed_form | π’ structural | Lieb-Schultz-Mattis 1961: free XY chain (h=0) eβ = -4/Ο per spin | test/models/quantum/misc/test_xyh1d.jl |
Test calls
The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):
verify(XYh1D(), Energy(:per_site), Infinite(); route = :second_closed_form, independent = -4 / pi, agree_within = 1.0e-9, refs = ["Lieb-Schultz-Mattis 1961: XX chain e0 = -4/pi (Pauli Ο convention)"])verify(XYh1D(; h = 0.0), Energy(:per_site), Infinite(); route = :second_closed_form, independent = -4 / Ο, agree_within = 1.0e-12, refs = ["Lieb-Schultz-Mattis 1961: free XY chain (h=0) eβ = -4/Ο per spin"])Assurance (provisional)
- level: corroborated-at-p π’
- cards: 2 Β· model ED-feasible
- RES not wired β measured residuals / confidence are not shown yet.