[Paper Review] The mean-field quantum Heisenberg ferromagnet via representation theory

Gil Alon, Gady Kozma|arXiv (Cornell University)|Nov 26, 2018

Markov Chains and Monte Carlo Methods21 references4 citations

TL;DR

This paper uses representation theory to derive a closed-form expression for the magnetisation in the mean-field quantum Heisenberg ferromagnet, establishing a spectral decomposition of cycle-counting functions in permutations. The key result is a rigorous analysis of the phase transition, proving that magnetisation remains extensive (scaling linearly with system size) below a critical inverse temperature, confirming the existence of spontaneous long-range order.

ABSTRACT

We use representation theory to write a formula for the magnetisation of the quantum Heisenberg ferromagnet. The core new result is a spectral decomposition of the function $α_k 2^{α_1+\dotsb+α_n}$ where $α_k$ is the number of cycles of length k of a permutation. In the mean-field case, we simplify the formula further, arriving at a closed-form expression for the magnetisation, which allows to analyse the phase transition.

Motivation & Objective

• To rigorously analyze the magnetisation in the mean-field quantum Heisenberg ferromagnet using representation theory.
• To resolve the open problem of phase transition in the ferromagnetic case, where previous methods like quantum reflection positivity failed.
• To establish a precise connection between the quantum Heisenberg model and the interchange process via cycle structure of random permutations.
• To prove that the magnetisation remains extensive (scaling linearly with system size) below a critical inverse temperature, indicating spontaneous long-range order.
• To provide a closed-form expression for the magnetisation in the mean-field regime, enabling detailed analysis of critical behavior.

Proposed method

• Applies representation theory to decompose the function $ \alpha_k 2^{\alpha_1 + \cdots + \alpha_n} $, where $ \alpha_k $ counts cycles of length $ k $ in a permutation.
• Uses spectral decomposition of symmetric group representations to linearize the problem in the mean-field case (complete graph).
• Translates the quantum Heisenberg model into a random walk on the symmetric group $ \operatorname{Sym}_n $, modeling the interchange process.
• Derives expressions for the partition function $ Z(t) = \mathbb{E}[2^{\alpha(\pi(t))}] $ and squared magnetisation $ m^2(t) = \frac{1}{Z(t)} \mathbb{E}\left[ \left( \sum_k k^2 \alpha_k(\pi(t)) \right) 2^{\alpha(\pi(t))} \right] $.
• Employs asymptotic analysis and integral estimates to bound the magnetisation, using estimates on integrals involving $ x^a(1-x)^{k-1} $ and binomial coefficients.
• Establishes that $ m^2(t) \lesssim n $ for $ t < 2 $, and proves $ m^2(t) \gtrsim n $ implies non-vanishing residual magnetisation, confirming phase transition.

Experimental results

Research questions

• RQ1 Does the mean-field quantum Heisenberg ferromagnet exhibit a phase transition at finite temperature, as predicted by physics heuristics?
• RQ2 Can representation theory provide a closed-form expression for the magnetisation in the mean-field regime?
• RQ3 What is the precise asymptotic behavior of the magnetisation as system size $ n \to \infty $, and does it remain extensive below a critical inverse temperature?
• RQ4 How does the cycle structure of the interchange process relate to the physical observables of the quantum Heisenberg model?
• RQ5 Is there a non-zero residual magnetisation below the critical temperature, indicating spontaneous long-range order?

Key findings

• The paper derives a closed-form expression for the magnetisation in the mean-field quantum Heisenberg ferromagnet using spectral decomposition of cycle-counting functions.
• It proves that for $ t < 2 $, the squared magnetisation satisfies $ m^2(t) \lesssim n $, indicating no divergence and no phase transition in this regime.
• For $ t < 2 $, the magnetisation remains extensive, with $ m^2(t) \gtrsim n $, implying the existence of spontaneous long-range order.
• The residual magnetisation $ m^* $ is bounded below by a positive constant $ \varepsilon^2 > 0 $ when $ m(t) \gtrsim cn $, confirming non-zero long-range order.
• The analysis confirms the existence of a phase transition at $ t_c = 2 $, with a sharp change in magnetisation behavior at this critical point.
• The method establishes a rigorous connection between the quantum Heisenberg model and the interchange process via representation theory, resolving a long-standing gap in the mathematical understanding of the ferromagnetic case.