Improbability of non-collision singularities in the n-body problem
For every integer and every choice of positive masses , consider the Newtonian -body problem in . Let be the set of collision-free initial conditions whose maximal forward solution exists only up to some finite time , has no collision as , and satisfies as . The problem asks whether has Lebesgue measure zero in the collision-free phase space for every .
References
Primary source
Additional references
Progress summary
A September 2026 preprint proves the exceptional behavior is rare for several broader four-particle cluster patterns, but the full many-body question remains open.
This problem, on Barry Simon’s list, asks whether initial conditions producing finite-time escape without collisions form a measure-zero set in every system with more than three bodies. Earlier work established important special cases but described the general statement as almost completely open.
Known results
- Saari proved the four-body case by 2014, according to the contemporaneous literature.
- Xue constructed a Cantor set of planar four-body initial conditions producing non-collision singularities; it has measure zero and codimension on suitable energy levels.
- Xia constructed spatial five-body non-collision singularities.
- Gerver constructed planar examples with sufficiently many bodies.
September 2026 cluster-decomposition result
A new preprint proves improbability when the dynamics decompose into arbitrarily many total-collision subsystems and four-particle non-collision-singular subsystems with distinct asymptotic directions. A 2023 preprint also claims to solve a Marchal–Saari conjecture in a related model, but its precise scope is unclear; neither source verifies the full general statement.
Current status (as of September 2026): The conjecture is settled in the four-body case and in the newly specified cluster configurations, while the full -body improbability problem remains open.
Sources
- arxiv.org
- math.harvard.edu
- en.wikipedia.org
- arxiv.org
- export.arxiv.org
- scienceworld.wolfram.com
- theorems.home.blog
- quantamagazine.org
- deepmind.google
- scientificamerican.com
- ar5iv.labs.arxiv.org
- arxiv.org
- ar5iv.labs.arxiv.org
- mathstodon.xyz
- cdn.openai.com
- mathstodon.xyz
- mathstodon.xyz
- scientificamerican.com
- cdn.openai.com
- scientificamerican.com
Solutions 0
No solutions have been posted yet.