quantum spin, phase transition, reflection positivity, classical limit, Berezin-Lieb inequality, large-entropy model