Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-343/2/b/solution

Taking the sum once over each unordered pair, write the All-to-all Heisenberg model as
For even , the minimum total spin is , hence
For odd , and . If the paper's counts ordered pairs or includes , the corresponding harmless factors and additive constant change, but the minimizing total-spin sector is the same.
Now partition an even number of spins into disjoint pairs and put every pair in a spin-one-half singlet state. Each pair has total spin zero, so their tensor product also has and is itself a ground state. Its internal pair contributes , while correlations between different singlets vanish, giving in total. Therefore
The large degeneracy is special to equal all-to-all coupling: the Hamiltonian sees only total spin and cannot distinguish different singlet coverings.

New to topics? Read the docs here!