lattice-system

Tasaki (2020)

Prototype navigation only. The version 1 structured catalogue is not yet complete or authoritative. These pages provide the agreed source/topic layout without copying declaration status. For complete status and capstone decisions, use the interim legacy catalogue until #5228.

These links are navigation over the interim legacy authority, not copied status records. Mixed catalogue pages remain labelled as mixed rather than being reclassified.

Chapter layout

• Chapter 2
• Chapter 3
• Chapter 4
• Chapter 5
• Chapter 6
• Chapter 7
• Chapter 8
• Chapter 9
• Chapter 10
• Chapter 11
• Appendix A

Generated formalization-status view. Do not edit this section by hand.

The interim legacy catalogue remains authoritative until Issue #5228.

• Catalogue state: prototype
• Schema version: 1
• Input SHA-256: 2947141f80d09350b8e19dca92bd87005cb314b6bdb949e0ed185684e2377f45
• Deploy revision: 55b265b15cd60bbc25d2cd1b54546f33642da290
• Machine data: version 1 catalogue
• Schema: version 1 schema
• Build metadata: publication sidecar
• Current authority: complete interim legacy catalogue

Generated record projection

• 4 record(s)
• The static staggered susceptibility of normalized ground states on even one-dimensional antiferromagnetic Heisenberg rings is bounded by a size-uniform constant times the ring length.
• The Pauli X matrix squares to the identity.
• A normalized low-Rayleigh-energy trial state orthogonal to a ground eigenvector yields a low-lying energy eigenstate; the long-range-order estimate remains an application input.
• The staggered order parameter of the one-dimensional antiferromagnetic Heisenberg ring vanishes in the thermodynamic-then-zero-field limit.