Search results

Clebsch-Gordan total-spin lower bound for the toy ground state (Tasaki §2.5 Theorem 2.3 core) -- #3658

Status: Open.

#3674 In phasetr/lattice-system;

· phasetr opened on May 26, 2026

Casimir spectral max bound + predicted-spin Marshall-positive witness (final obligation of Tasaki §2.5 Theorem 2.3) -- #3542

Status: Open.

#3658 In phasetr/lattice-system;

· phasetr opened on May 26, 2026

Tasaki §2.5 Theorem 2.3 final-boundary API refactor audit

Status: Open.

#3631 In phasetr/lattice-system;

· phasetr opened on May 25, 2026

Tasaki §2.5 Theorem 2.3 callback discharge

Status: Open.

#3542 In phasetr/lattice-system;

· phasetr opened on May 24, 2026

Tasaki §2.5: Marshall–Lieb–Mattis theorem (formalization)

enhancementNew feature or requestNew feature or request

Status: Open.

#412 In phasetr/lattice-system;

· phasetr opened on Apr 30, 2026

Tasaki §2.5: Antiferromagnetic Heisenberg + Néel state

enhancementNew feature or requestNew feature or request

Status: Open.

#240 In phasetr/lattice-system;

· phasetr opened on Apr 22, 2026