title: Painlevé conjecture
text: # Painlevé conjecture
  
  In physics, the Painlevé conjecture is a theorem about singularities among the solutions to the n-body problem: there are noncollision singularities for n ≥ 4.
  
  The theorem was proven for n ≥ 5 in 1988 by Jeff Xia and for n=4 in 2014 by Jinxin Xue.
  
  ## Background and statement
  
  Solutions $(\mathbf {q} ,\mathbf {p} )$ of the n-body problem ${\dot {\mathbf {q} }}=M^{-1}\mathbf {p} ,\;{\dot {\mathbf {p} }}=\nabla U(\mathbf {q} )$ (where M are the masses and U denotes the gravitational potential) are said to have a singularity if there is a sequence of times $t_{n}$ converging to a finite $t^{*}$ where $\nabla U\left(\mathbf {q} \left(t_{n}\right)\right)\rightarrow \infty$. That is, the forces and accelerations become infinite at some finite point in time.
  
  A collision singularity occurs if $\mathbf {q} (t)$ tends to a definite limit when $t\rightarrow t^{*},t<t^{*}$. If the limit does not exist the singularity is called a pseudocollision or noncollision singularity.
  
  Paul Painlevé showed that for n = 3 any solution with a finite time singularity experiences a collision singularity. However, he failed at extending this result beyond 3 bodies. His 1895 Stockholm lectures end with the conjecture that
  
      For n ≥ 4 the n-body problem admits noncollision singularities.
  
  ## Development
  
  Edvard Hugo von Zeipel proved in 1908 that if there is a collision singularity, then $J(\mathbf {q} (t))$ tends to a definite limit as $t\rightarrow t^{*}$, where $J(\mathbf {q} )=\sum _{i}m_{i}|\mathbf {q} _{i}|^{2}$ is the moment of inertia. This implies that a necessary condition for a noncollision singularity is that the velocity of at least one particle becomes unbounded (since the positions $\mathbf {q}$ remain finite up to this point).
  
  Mather and McGehee managed to prove in 1975 that a noncollision singularity can occur in the co-linear 4-body problem (that is, with all bodies on a line), but only after an infinite number of (regularized) binary collisions.
  
  Donald G. Saari proved in 1977 that for almost all (in the sense of Lebesgue measure) initial conditions in the plane or space for 2, 3 and 4-body problems there are singularity-free solutions.
  
  In 1984, Joe Gerver gave an argument for a noncollision singularity in the planar 5-body problem with no collisions. He later found a proof for the 3n body case.
  
  Finally, in his 1988 doctoral dissertation, Jeff Xia demonstrated a 5-body configuration that experiences a noncollision singularity.
  
  Joe Gerver has given a heuristic model for the existence of 4-body singularities.
  
  In his 2013 doctoral thesis at University of Maryland, Jinxin Xue considered a simplified model for the planar four-body problem case of the Painlevé conjecture. Based on a model of Gerver, he proved that there is a Cantor set of initial conditions which lead to solutions of the Hamiltonian system whose velocities are accelerated to infinity within finite time avoiding all earlier collisions. In 2014, Xue extended his previous work and proved the conjecture for n=4.
  
  