Quantum spin
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.
- Single-site Pauli operators
- Spin-1/2 operators (Tasaki §2.1)
- Spin-1/2 rotation operators (Tasaki §2.1 eq. (2.1.26))
- 3D rotation matrices
R^(α)_θ (general θ, Tasaki §2.1 eq. (2.1.11))
- Z₂ × Z₂ representation (Tasaki §2.1 eqs. (2.1.27)-(2.1.34))
- 3D rotation matrices
R^(α)_π (Tasaki §2.1 eq. (2.1.28))
- Pauli-basis decomposition (Tasaki §2.1 Problem 2.1.a, S = 1/2)
- Polynomial-basis decomposition for S = 1 (Tasaki §2.1 Problem 2.1.a, S = 1)
- S = 1 matrix representations (Tasaki §2.1 eq. (2.1.9))
- Spin-
S operators (general S ≥ 0, parameterised by N = 2S : ℕ)
- Basis states and raising/lowering (Tasaki §2.1)
- Basis states and raising/lowering for S = 1 (Tasaki §2.1)
- Time-reversal map for
S = 1/2 (Tasaki §2.3)
- Multi-body operator space (abstract lattice)
- Generic matrix-analysis helpers (
Math/MatrixAnalysis/)
- 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
- Bose–Einstein condensation of hard-core bosons (Tasaki §5.1–§5.2)
- Antiferromagnetic Heisenberg chains and the Haldane conjecture (Tasaki §6.1)
- The AKLT model (Tasaki §7.1)
- Total spin operator (Tasaki §2.2 eq. (2.2.7), (2.2.8)) — part 1 of 5
- Total spin operator (Tasaki §2.2 eq. (2.2.7), (2.2.8)) — part 2 of 5
- Total spin operator (Tasaki §2.2 eq. (2.2.7), (2.2.8)) — part 3 of 5
- Total spin operator (Tasaki §2.2 eq. (2.2.7), (2.2.8)) — part 4 of 5
- Total spin operator (Tasaki §2.2 eq. (2.2.7), (2.2.8)) — part 5 of 5
- Two-site spin inner product (Tasaki §2.2 eq. (2.2.16))
- Gibbs state (Tasaki §3.3)
- Heisenberg chain (Tasaki §3.5) — part 1 of 2
- Heisenberg chain (Tasaki §3.5) — part 2 of 2
- Spin-
S Marshall–Lieb–Mattis on the magnetization sector (Tasaki §2.5 Theorem 2.2 generic S, sector form) — part 1 of 4
- Spin-
S Marshall–Lieb–Mattis on the magnetization sector (Tasaki §2.5 Theorem 2.2 generic S, sector form) — part 2 of 4
- Spin-
S Marshall–Lieb–Mattis on the magnetization sector (Tasaki §2.5 Theorem 2.2 generic S, sector form) — part 3 of 4
- Spin-
S Marshall–Lieb–Mattis on the magnetization sector (Tasaki §2.5 Theorem 2.2 generic S, sector form) — part 4 of 4
- Spin-
S saturated ferromagnetic state (Tasaki §2.4 generalised) — part 1 of 2
- Spin-
S saturated ferromagnetic state (Tasaki §2.4 generalised) — part 2 of 2
Generated formalization-status view. Do not edit this section by hand.
The interim legacy catalogue remains authoritative until Issue #5228.
Generated Quantum spin records