Feed

Spectral Gaps in Quantum Spin Chains: Companion and Proof Audit is a 172-page, computation-guided exploration of spectral gaps in spin-one Heisenberg chains. Written for graduate students, researchers, and mathematically prepared readers, it transforms an advanced proof into a carefully explained pathway—expanding omitted steps, clarifying assumptions, and distinguishing rigorous certification from numerical diagnosis.

Beginning with spin operators, open and periodic chains, and endpoint magnetic fields, the book develops the transfer-operator framework, parity decomposition, purity estimates, concentration inequalities, doubling scales, and coupled recurrences needed for the finite-volume gap argument. Worked examples, precise derivations, and original diagrams illuminate both the mathematics and the reasoning behind it.

The computational companion reproduces all fifteen Appendix A thermal traces and four exact Appendix B matrix-product-state certificates. Reproducible Python programs supply thirteen verification suites with 1,404 passing checks, while printed outputs are matched against captured results for transparency.

A closing proof audit maps sixteen formal source statements, identifies the remaining external mathematical inputs, and presents a nine-phase Lean 4 formalization roadmap without claiming completed formal proofs.

Rigorous, detailed, and computationally verifiable, this book is both a study companion to spectral-gap methods and a practical model for auditing advanced mathematical physics—one derivation, certificate, and computation at a time.