Non-collision singularities in a planar 4-body problem

Abstract

In this paper, we show that there is a Cantor set of initial conditions in the planar 4-body problem such that all four bodies escape to infinity in a finite time, avoiding collisions. This proves the Painlevé conjecture for the 4-body case, and thus settles the last open case of the conjecture.