lattice-system

Low-energy spectrum

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 grouped links are a navigation projection over explicit legacy headings. They do not copy or override status.

• Horsch–von der Linden low-lying states (Tasaki §3.4, Theorem 3.1) — part 1 of 2
• Horsch–von der Linden low-lying states (Tasaki §3.4, Theorem 3.1) — part 2 of 2
• Gibbs state (Tasaki §3.3)
• Heisenberg chain (Tasaki §3.5) — part 1 of 2
• Heisenberg chain (Tasaki §3.5) — part 2 of 2
• Perron-Frobenius theorem (Math/PerronFrobenius.lean, Math/PerronFrobeniusPrimitive.lean, Math/CollatzWielandt.lean, Math/PerronFrobeniusMain.lean)

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 Low-energy spectrum records

• 1 record(s)
• 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.