🟢 TFIM/Energy/OBC
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
bdg, reliabilityhigh, refs: Pfeuty 1970 - Total ⟨H⟩(β) via the BdG spectrum; ground state when no β kwarg.
Corroboration
| regime | mechanism | independence | refs | file |
|---|---|---|---|---|
@disordered | sum_rule | 🟡 asserted | Tr(σz σz) = Tr(σx) = 0 => ⟨H⟩_{β=0} = 0 | test/models/quantum/TFIM/test_TFIM_thermal.jl |
@sweep | second_closed_form | 🟢 structural | J=0 decoupled spins: ε = -h tanh(βh) per site | test/identities/test_TFIM_limits_cross_model.jl |
@sweep | ed_finite_size | 🟢 structural | GS energy = min eigenvalue of buildtfim_dense | test/models/quantum/TFIM/test_TFIM_dynamics_verify.jl |
@sweep | ed_finite_size | 🟢 structural | GS energy = min eigenvalue of buildtfim_dense (black-box ED) | test/models/quantum/TFIM/test_TFIM_local.jl |
@sweep | ed_finite_size | 🟢 structural | Direct OBC dense ED via buildtfimdense + thermofrom_spectrum | test/models/quantum/TFIM/test_TFIM_thermal.jl |
@sweep | ed_finite_size | 🟢 structural | Independent dense-ED of build_tfim Lattice2D OBC chain (eigvals of Symmetric H = -J Σ σᶻσᶻ − h Σ σˣ) — cross-checks BdG analytical Energy OBC | test/verification/tfim_ising/test_tfim_gap_closure.jl |
@sweep | limiting_case | 🟡 asserted | Classical Ising limit h=0: E_0^OBC = -J(N-1) exact (independent of dense ED) | test/verification/tfim_ising/test_tfim_gap_closure.jl |
@sweep | limiting_case | 🟡 asserted | Strong-field PT² limit h ≫ J: E_0^OBC ≈ -hN - J²(N-1)/(4h) (Rayleigh-Schrödinger, | +⟩^N unperturbed g.s., bond perturbation V = -J Σ σᶻσᶻ) |
@sweep | ed_finite_size | 🟢 structural | Independent sparse-ED via buildtfimsparse (KrylovKit Lanczos, krylovdim=30, tol=1e-11) on the real-space 2^N basis — pushes the BdG cross-check past dense-ED reach (N ≤ 12) | test/verification/universality/test_universality_cross_check.jl |
Test calls
The exact verify(...) call the harness executed for this hub (reconstructed from the test AST):
verify(TFIM(; J = 1.0, h = 1.3), Energy(), OBC(6); route = :sum_rule, fetch_kw = (; beta = 0.0), independent = 0.0, agree_within = 1.0e-10, refs = ["Tr(σz σz) = Tr(σx) = 0 => ⟨H⟩_{β=0} = 0"])verify(TFIM(; J = 0.0, h = h), Energy(:per_site), OBC(6); route = :second_closed_form, fetch_kw = (; beta = β), independent = -h * tanh(β * h), agree_within = 1.0e-8, refs = ["J=0 decoupled spins: ε = -h tanh(βh) per site"])verify(TFIM(; J = J, h = h), Energy(), OBC(N); route = :ed_finite_size, fetch_kw = (; beta = Inf), independent = (dense_spectrum(_build_tfim_dense(N, J, h)))[1], agree_within = 1.0e-9, refs = ["GS energy = min eigenvalue of _build_tfim_dense"])verify(TFIM(; J = J, h = h), Energy(), OBC(N); route = :ed_finite_size, fetch_kw = (; beta = Inf), independent = (dense_spectrum(_build_tfim_dense(N, J, h)))[1], agree_within = 1.0e-9, refs = ["GS energy = min eigenvalue of _build_tfim_dense (black-box ED)"])verify(TFIM(; J = J, h = h), Energy(), OBC(N); route = :ed_finite_size, fetch_kw = (; beta = beta), independent = E_ind, agree_within = 1.0e-8, refs = ["Direct OBC dense ED via _build_tfim_dense + thermo_from_spectrum"])verify(TFIM(; J = J, h = h), Energy(), OBC(N); route = :ed_finite_size, independent = E0_ed, agree_within = max(1.0e-12, 1.0e-10 * abs(E0_ed)), at = ["J=$(J)", "h=$(h)", "N=$(N)"], refs = ["Independent dense-ED of build_tfim Lattice2D OBC chain (eigvals of Symmetric H = -J Σ σᶻσᶻ − h Σ σˣ) — cross-checks BdG analytical Energy OBC"])verify(TFIM(; J = J, h = 0.0), Energy(), OBC(N); route = :limiting_case, independent = -J * (N - 1), agree_within = 1.0e-12, at = ["J=$(J)", "h=0.0", "N=$(N)"], refs = ["Classical Ising limit h=0: E_0^OBC = -J(N-1) exact (independent of dense ED)"])verify(TFIM(; J = J, h = h_large), Energy(), OBC(N); route = :limiting_case, independent = E0_pt, agree_within = max(1.0e-12, 1.0e-9 * abs(E0_pt)), at = ["J=$(J)", "h=$(h_large)", "N=$(N)"], refs = ["Strong-field PT² limit h ≫ J: E_0^OBC ≈ -hN - J²(N-1)/(4h) (Rayleigh-Schrödinger, |+⟩^N unperturbed g.s., bond perturbation V = -J Σ σᶻσᶻ)"])verify(TFIM(; J = J, h = h), Energy(), OBC(N); route = :ed_finite_size, independent = vals[1], agree_within = max(1.0e-10, 1.0e-8 * abs(vals[1])), at = ["J=$(J)", "h=$(h)", "N=$(N)"], refs = ["Independent sparse-ED via build_tfim_sparse (KrylovKit Lanczos, krylovdim=30, tol=1e-11) on the real-space 2^N basis — pushes the BdG cross-check past dense-ED reach (N ≤ 12)"])Assurance (provisional)
- level: corroborated-at-p 🟢
- cards: 9 · model ED-feasible
- RES not wired — measured residuals / confidence are not shown yet.