Wenming, S. Spontaneous U(1) Symmetry Breaking and Phase Transitions in Rotating Interacting Bose Gases. Ann Math Phys 2025, 221-239.