3 problems

Pemantle–Steif conjecture. If

Pemantle–Steif conjecture. For any Heisenberg model on any graph, SB is equivalent to SB+.

Ferromagnetic Ordering of Energy Levels conjecture. All ferromagnetic Heisenberg models have the FOEL property: if $S'<S$, then