🔢 mathematics

Finiteness of planar central configurations of five bodies for all positive masses

This paper resolves Smale's sixth problem for the planar five-body problem by proving that for any choice of five positive masses, there are only finitely many central configurations up to similarity, utilizing a combination of algebraic valuation analysis, potential expansion near singular clusters, and computer-assisted exact rational certificates.

Original authors: Tejasvi Singh Tomar

Published 2026-10-12

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Tejasvi Singh Tomar

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a group of stars, planets, or asteroids drifting through the void, each pulling on the others with gravity. In the vast emptiness of space, these bodies do not just move randomly; they can arrange themselves into specific, stable shapes where the gravitational tug on every single object points directly toward the group's center of balance. If the entire group were to shrink or expand while keeping this shape, every object would accelerate in perfect unison, maintaining the pattern as it changes size. These special arrangements are called central configurations. They are the only shapes that allow a group of celestial bodies to move in a synchronized, self-similar way, acting as the fundamental building blocks for understanding how complex gravitational systems can behave. For decades, mathematicians have wondered if, for any given set of five distinct masses, there are only a limited number of these special shapes, or if the possibilities could stretch on forever. This question, known as Smale's sixth problem, has stood as a major challenge in the field of celestial mechanics.

A researcher has now provided a definitive answer for the case of five bodies in a flat plane. They have proven that no matter how you choose the five positive masses—whether they are all equal, or one is vastly heavier than the others—there are always only a finite number of these special shapes. Before this work, mathematicians knew this was true for most mass combinations, but there remained a few tricky, specific ratios where the answer was unclear. Some of these exceptional cases were suspected to allow for an infinite number of solutions, but the new proof shows that even in these difficult scenarios, the number of possible shapes remains strictly limited. The researcher did not just guess or simulate; they constructed a rigorous mathematical argument that covers every possible combination of masses, leaving no gaps in the logic.

To reach this conclusion, the researcher had to navigate a landscape of potential infinite solutions. If there were infinitely many shapes, they would form a continuous curve of possibilities. The researcher analyzed what happens at the very edges of this curve, where the bodies might get infinitely close to each other or drift infinitely far apart. They discovered that for a curve to exist, the masses would have to satisfy very strict, almost impossible conditions. By examining these "singular" moments where the geometry breaks down, they showed that the forces simply cannot balance out in a way that allows an infinite chain of solutions to form. They treated the problem like a complex puzzle, checking every possible way the bodies could cluster together. In many cases, they found that the physics of the situation ruled out the possibility of an infinite curve entirely.

There were a few specific mass ratios where the standard arguments for ruling out infinite curves did not apply directly. These occurred when the masses followed a very particular pattern, such as one body being four times heavier than the others, or two bodies being four times heavier than the rest. In these rare instances, the mathematical equations describing the system did have a continuous set of complex solutions, which initially looked like a threat to the finiteness claim. However, the researcher realized that these complex solutions included shapes that could not exist in the real physical world because they required distances to be negative numbers. By carefully counting only the real, physical configurations in these specific cases, they found that the number was still finite. For the case where one mass is four times the others, they counted exactly 306 distinct shapes. For the case where two masses are four times the others, they found exactly 294 shapes.

The proof is a massive undertaking that blends deep theoretical insight with powerful computer assistance. The researcher broke the problem down into thousands of smaller cases, using exact arithmetic to verify that the conditions for infinite solutions could never be met simultaneously. They developed a method to check their work with absolute certainty, ensuring that no rounding errors or approximations could hide a flaw. The entire argument has been checked by a computer proof assistant, a software tool designed to verify mathematical logic with the precision of a machine. This dual approach of human reasoning and machine verification gives the result an unshakeable foundation. The work settles a long-standing question in physics and mathematics, confirming that the universe of five-body gravitational shapes is vast but always bounded, never stretching into infinity.

Technical Summary: Finiteness of Planar Central Configurations of Five Bodies for All Positive Masses

Problem Statement
The paper addresses Smale's sixth problem (Problem 9 in Smale's list of problems for the 21st century) regarding the $n$ -body problem. Specifically, it asks whether, for any choice of positive masses, the number of central configurations in the planar five-body problem is finite up to similarity. A central configuration is a shape where the acceleration of each body is proportional to its position relative to the center of mass, corresponding to homographic solutions and relative equilibria. While finiteness was established for $n=3$ (Euler and Lagrange) and $n=4$ (Hampton and Moeckel), the case for $n=5$ remained open for all positive masses. Previous work by Albouy and Kaloshin proved finiteness for masses outside a closed algebraic subset of codimension two, but a "special" set of mass vectors (including specific rays and points) required separate treatment.

Methodology
The paper follows the method of Albouy and Kaloshin, utilizing a proof by contradiction. They assume the existence of infinitely many central configurations, which implies the existence of an irreducible algebraic curve in the complex solution space where the potential energy $U$ is constant and non-zero. The proof proceeds by analyzing the behavior of such a curve at its "places at infinity" (singular sequences).

Valuation and Balancing: At a singular place, the mutual distances exhibit specific valuations (orders of magnitude). The author defines a "type" vector $\rho(P)$ based on these valuations. A fundamental balancing condition requires that the sum of these type vectors over all singular places of the curve must be zero.
Classification of Singular Places: The author classifies the possible limit diagrams (geometric configurations of bodies as they approach infinity or collision) that a singular sequence can approach. There are sixteen such diagrams. For each diagram and labeling, they determine the possible type vectors and the specific algebraic conditions on the masses required for such a configuration to occur.
Lexicographic Separation: To prove finiteness, the author demonstrates that for any given set of positive masses, the set of possible type vectors (restricted by the mass conditions) does not contain a set of points whose positive linear combination sums to zero. This is achieved via "certificates": a sequence of linear functionals that separate the possible type vectors, proving that no vanishing positive combination exists.
Handling Exceptional Cases:
- Zero Potential Energy Clusters: For diagrams where four bodies form a cluster with zero potential energy (Diagrams 14 and 15), the author performs a detailed expansion of the potential energy function. They show that the conditions imposed by the constancy of the potential and the vanishing of its gradient lead to contradictions for all positive masses, effectively excluding these diagrams.
- Special Rays: For mass vectors lying on specific rays (positive multiples of permutations of $(1, 4, 4, 4, 4)$ and $(1, 1, 4, 4, 4)$ ), the separation method fails because the complexified system admits a continuum of solutions (a modified Roberts continuum). For these specific cases, the author bypasses the algebraic exclusion and directly counts the real central configurations using interval arithmetic, branch-and-bound search, and Krawczyk's test.
- Computer Algebra: The verification of mass conditions and the construction of certificates rely heavily on exact computer algebra (standard bases, minimal primes, rational certificates) and interval arithmetic to handle numerical approximations rigorously.

Key Contributions and Results

Main Theorem: The paper proves that for every choice of five positive masses, the planar five-body problem has a finite number of central configurations up to similarity. This settles Smale's sixth problem for the five-body case completely, removing the exceptional algebraic subset left open by previous work.
Exclusion of Diagrams: The author provides rigorous proofs excluding the occurrence of Diagrams 2, 9, 14, and 15 for all positive masses. This involves new expansions of the potential energy and analysis of the resulting algebraic constraints on the mass ratios.
Exact Counts on Special Rays: For the mass vectors on the rays through $(1, 4, 4, 4, 4)$ $(1, 4, 4, 4, 4)$ and $(1, 1, 4, 4, 4)$ $(1, 1, 4, 4, 4)$ , the author provides exact counts of the real central configurations up to orientation-preserving similarity:
- For $(1, 4, 4, 4, 4)$ : 306 configurations (183 up to similarity).
- For $(1, 1, 4, 4, 4)$ : 294 configurations (177 up to similarity).
- These counts include 60 collinear configurations in each case, consistent with Moulton's count.
Formal Verification: The proof is supported by computer-generated certificates and a formal proof of the main theorem in the Lean proof assistant, ensuring the correctness of the computer-assisted steps.

Significance
The paper claims to provide the first complete proof of the finiteness of central configurations for the planar five-body problem for all positive masses. By resolving the exceptional cases that previous methods could not handle—specifically through a combination of refined algebraic analysis (energy expansions) and rigorous numerical counting—the author closes a long-standing gap in the theory of the $n$ -body problem. The work demonstrates the power of combining symbolic computation, numerical interval analysis, and formal verification to solve difficult problems in dynamical systems and celestial mechanics.

More like this