HEXAGONbeta

Uniqueness of four-body convex central configurations for all masses

A mix of human-written and AI-generated textHuman understanding: all partsmath.DS — Dynamical Systems

Contributed by Tejasvi Singh Tomar ↗

Version 1 / Oct 26, 2026/ arXiv: 2609.35632 / CC BY 4.0

Abstract

We prove that for every choice of four positive masses and every cyclic ordering of the bodies there is exactly one strictly convex planar central configuration with that ordering, up to similarity. This answers Problem 10 in the list of Albouy, Cabral and Santos, which Santoprete calls the Simó--Yoccoz conjecture. The main step is a uniform lower bound for the Hessian at convex central configurations: it is at least one quarter of its radial part, which vanishes only on translations and rotations. Dziobek's relations turn the indefinite part of the Hessian into a negative multiple of a square, and a Cauchy--Schwarz argument bounds this term by the radial part times the trace of an explicit 2×22\times2 matrix in which the masses do not appear. We prove that this trace is less than 34\frac34 by interval arithmetic on the three-dimensional set of normalized convex central configurations, in the coordinates of Corbera, Cors and Roberts. Uniqueness then follows by a covering argument from the case of four equal masses. The computation has been repeated with a second, independently written program. The Hessian bound and the uniqueness theorem, including the computation, have been formalized in the Lean proof assistant and checked by its kernel, using only the standard axioms. As consequences, every degenerate four-body central configuration is concave, the convex central configuration depends analytically on the masses, and the known symmetry theorems for kites, isosceles trapezoids and rhombi follow in a few lines. The analytic dependence and the symmetry theorems are also formalized.

References

  1. A. Albouy, Symétrie des configurations centrales de quatre corps , C. R. Acad. Sci. Paris Sér. I 320 (1995), 217--220.
  2. A. Albouy, The symmetric central configurations of four equal masses , Contemp. Math. 198 (1996), 131--135.
  3. A. Albouy, H. E. Cabral and A. A. Santos, Some problems on the classical nn-body problem , Celest. Mech. Dyn. Astron. 113 (2012), 369--375.
  4. A. Albouy, Y. Fu and S. Sun, Symmetry of planar four-body convex central configurations , Proc. R. Soc. A 464 (2008), 1355--1365.
  5. A. Albouy and V. Kaloshin, Finiteness of central configurations of five bodies in the plane , Ann. of Math. 176 (2012), 535--588.
  6. M. Corbera, J. M. Cors, J. Llibre and R. Moeckel, Bifurcation of relative equilibria of the (1+3)(1+3)-body problem , SIAM J. Math. Anal. 47 (2015), 1377--1404.
  7. M. Corbera, J. M. Cors, J. Llibre and E. Pérez-Chavela, Trapezoid central configurations , Appl. Math. Comput. 346 (2019), 127--142.
  8. M. Corbera, J. M. Cors and G. E. Roberts, A four-body convex central configuration with perpendicular diagonals is necessarily a kite , Qual. Theory Dyn. Syst. 17 (2018), 367--374.
  9. M. Corbera, J. M. Cors and G. E. Roberts, Classifying four-body convex central configurations , Celest. Mech. Dyn. Astron. 131 (2019), Paper No. 34.
  10. J. M. Cors and G. E. Roberts, Four-body co-circular central configurations , Nonlinearity 25 (2012), 343--370.
Show all 40 referencesShow fewer references
  1. T. Dias, Brehm--Wintner--Conley dimension, Plücker coordinates, and generalized Dziobek--Williams equations for central configurations , arXiv:2608.07771 (2026).arXiv
  2. O. Dziobek, Über einen merkwürdigen Fall des Vielkörperproblems , Astron. Nachr. 152 (1900), 33--46.
  3. A. C. Fernandes, J. Llibre and L. F. Mello, Convex central configurations of the 44-body problem with two pairs of equal adjacent masses , Arch. Ration. Mech. Anal. 226 (2017), 303--320.
  4. M. Hampton, Concave central configurations in the four-body problem , PhD thesis, University of Washington, 2002.
  5. M. Hampton and R. Moeckel, Finiteness of relative equilibria of the four-body problem , Invent. Math. 163 (2006), 289--312.
  6. F. Johansson, Arb: efficient arbitrary-precision midpoint-radius interval arithmetic , IEEE Trans. Comput. 66 (2017), 1281--1292.
  7. E. S. G. Leandro, Finiteness and bifurcations of some symmetrical classes of central configurations , Arch. Ration. Mech. Anal. 167 (2003), 147--177.
  8. Y. Liu, N. Poudel, R. Raut and Z. Xie, Concave kite central configurations in the planar four-body problem with three equal masses , arXiv:2606.19596 (2026).arXiv
  9. Y. Liu and Z. Xie, Symmetric central configurations in the concave 44-body problem with two pairs of equal masses , arXiv:2510.25638 (2025).arXiv
  10. Y. Long and S. Sun, Four-body central configurations with some equal masses , Arch. Ration. Mech. Anal. 162 (2002), 25--44.
  11. W. D. MacMillan and W. Bartky, Permanent configurations in the problem of four bodies , Trans. Amer. Math. Soc. 34 (1932), 838--875.
  12. R. Moeckel, Generic finiteness for Dziobek configurations , Trans. Amer. Math. Soc. 353 (2001), 4673--4686.
  13. R. Moeckel, Central configurations , in: J. Llibre, R. Moeckel and C. Simó, Central Configurations, Periodic Orbits, and Hamiltonian Systems, Adv. Courses Math. CRM Barcelona, Birkhäuser, 2015, 105--167.
  14. R. E. Moore, R. B. Kearfott and M. J. Cloud, Introduction to Interval Analysis , SIAM, 2009.
  15. F. Pacella, Central configurations of the NN-body problem via equivariant Morse theory , Arch. Ration. Mech. Anal. 97 (1987), 59--74.
  16. J. I. Palmore, Classifying relative equilibria. I , Bull. Amer. Math. Soc. 79 (1973), 904--908.
  17. J. I. Palmore, Classifying relative equilibria. II , Bull. Amer. Math. Soc. 81 (1975), 489--491.
  18. E. Pérez-Chavela and M. Santoprete, Convex four-body central configurations with some equal masses , Arch. Ration. Mech. Anal. 185 (2007), 481--494.
  19. G. E. Roberts, On kite central configurations , Nonlinearity 38 (2025), 075001.
  20. M. Santoprete, On the uniqueness of co-circular four-body central configurations , Arch. Ration. Mech. Anal. 240 (2021), 971--985.
  21. M. Santoprete, On the uniqueness of trapezoidal four-body central configurations , Nonlinearity 34 (2021), 424--437.
  22. M. Santoprete, The Hessian of planar central configurations in pair space: decomposition, Morse index and symmetry reduction , arXiv:2609.01857 (2026).arXiv
  23. M. Shub, Appendix to Smale's paper: Diagonals and relative equilibria , in: Manifolds--Amsterdam 1970, Lecture Notes in Math. 197 , Springer, 1971, 199--201.
  24. C. Simó, Relative equilibrium solutions in the four body problem , Celestial Mech. 18 (1978), 165--184.
  25. S. Smale, Topology and mechanics. II. The planar nn-body problem , Invent. Math. 11 (1970), 45--64.
  26. S. Sun, Z. Xie and P. You, On the uniqueness of convex central configurations in the planar 44-body problem , Regul. Chaotic Dyn. 28 (2023), 512--532.
  27. S. Sun, Z. Xie and P. You, Degeneracy of planar central configurations in the NN-body problem , arXiv:2510.25649 (2025).arXiv
  28. W. Tucker, Validated Numerics: A Short Introduction to Rigorous Computations , Princeton Univ. Press, 2011.
  29. Z. Xia, Convex central configurations for the nn-body problem , J. Differential Equations 200 (2004), 185--190.
  30. Z. Xie, Isosceles trapezoid central configurations of the Newtonian four-body problem , Proc. Roy. Soc. Edinburgh Sect. A 142 (2012), 665--672.

Version history

  1. v1Submitted by Tejasvi Singh TomarInitial depositCurrentOct 26, 2026