【Read between lines】Hal Tasaki "Physics and mathematics of quantum many body systems" p. 496 (Problem 2.4.a: uniqueness in each M sector of ferromagnetic ground state via Perron-Frobenius theorem)