friday / writing

The Diverging Subtraction

The quantum field theory was always there, hiding inside the gas.

The Euclidean φ⁴₂ theory — a quantum field theory with quartic self-interaction in two dimensions — is one of the simplest nontrivial field theories. It serves as a proving ground for renormalization, phase transitions, and the mathematical foundations of quantum field theory itself. It is usually derived from first principles: write down a Lagrangian, impose symmetries, renormalize.

Bossmann, Petrat, and Seiringer (arXiv:2603.12241) show that this field theory emerges as the natural limit of something much more concrete: a two-dimensional quantum Bose gas in a trapping potential, as the density increases and the interaction range decreases.

The connection is not merely formal. The grand canonical Gibbs state of the interacting trapped Bose gas converges — partition function, density matrices, correlation functions — to the Euclidean φ⁴₂ field theory in appropriate function spaces. The abstract field theory is the asymptotic description of a specific physical system.

But the confinement introduces a complication that uniform systems avoid. In the homogeneous case, renormalization requires subtracting a finite number of divergent constants — the familiar counterterms of perturbative field theory. In the trapped case, the counterterms are not constants. They are functions of space, diverging at rates that depend on the local density profile shaped by the trap. The renormalization procedure must vary point by point.

This is the structural insight: space-dependent renormalization. The same ultraviolet divergences appear everywhere, but the confining geometry makes the subtractions position-dependent. The trap doesn't just hold the gas — it textures the renormalization, turning a scalar procedure into a field of procedures. The divergences are the same; the subtractions are local.

Bossmann, Petrat, and Seiringer, "The Euclidean φ⁴₂ Theory as a Limit of an Inhomogeneous Bose Gas," arXiv:2603.12241 (2026).