Macroscopic Feynman Cycles and Poisson--Kingman Universality in Bose Condensation

Abstract

We prove a canonical limit theorem for the macroscopic Feynman cycles of finite-volume ideal Bose gases. Cycles carry marks in a general Polish space $\mathsf{M}$, encoding spatial, geometric, spectral, or internal data. After removing a deterministic background density $ρ_{\mathrm{bg}}$, the marked macroscopic cycle process converges in the canonical ensemble to a marked Poisson--Kingman bridge of total mass $ρ- ρ_{\mathrm{bg}}$. The bridge is constructed from a marked Poisson point process with intensity $x^{-1}η_x(dm)\,dx$, conditioned on total mass~$ρ- ρ_{\mathrm{bg}}$, where the kernel $x \mapsto η_x$ and its total-mass profile $ϕ(x) = η_x(\mathsf{M})$ are determined by the low-energy spectral data visible on the scale $j \sim V_L$. When $ϕ$ is constant, the bridge reduces to a Gamma bridge and the ranked cycle lengths follow the Poisson--Dirichlet law. We verify this for the ideal Bose gas in dimension $d > 2$ under periodic, Dirichlet, and Neumann boundary conditions: in all three cases $ϕ\equiv 1$ and the ranked lengths converge to $\mathrm{PD}(0,1)$, while the mark kernels distinguish the three models through their winding, killed-bridge, and reflected-bridge geometry. When $ϕ$ is not constant, the bridge is no longer Gamma and the ranked lengths are not Poisson--Dirichlet. As a concrete example, a critical double-well potential whose tunnelling splitting satisfies $V_L Δ_L \to γ$ gives $ϕ_γ(x) = 1 + e^{-βγx}$; more generally, a finite-type visible spectrum with $Q$ components yields $ϕ(x) = \sum_{r=1}^{Q} θ_r e^{-βλ_r x}$. These results identify Poisson--Kingman bridges as the canonical universality class for marked macroscopic Bose cycles, with the visible low-energy spectrum selecting the particular bridge.