pith. machine review for the scientific record. sign in

arxiv: 2602.17987 · v2 · submitted 2026-02-20 · 🧮 math-ph · math.MP

Recognition: no theorem link

Superintegrability and choreographic obstructions in dihedral n-body Hamiltonian systems

A M Escobar-Ruiz , M Fernandez-Guasti
Authors on Pith no claims yet

Pith reviewed 2026-05-15 21:09 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords n-body systemsdihedral symmetrychoreographyFourier sectorsHamiltonian dynamicsperiodic motionsphase matchingdegeneracy
0
0 comments X

The pith

True choreographies in D_n n-body systems arise only on phase-matched loci or via single-sector reductions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines planar n-body Hamiltonian systems whose quadratic interactions are invariant under the dihedral group D_n. Diagonalizing the dynamics into independent discrete Fourier sectors separates the conditions for bounded motion from those for choreography: frequency commensurability produces periodic orbits, yet full equivariance under C_n rotations demands an extra phase-matching condition within each sector. As a result, resonant multi-sector solutions are typically periodic but trace multiple distinct curves, while genuine single-curve choreographies occur only when phases align, when only one irreducible sector is active, or when exact degeneracy collapses the system to an effective single sector. Explicit calculations for n=4, 5 and 6 confirm the distinction, with n=6 first revealing the need for degeneracy beyond mere commensurability.

Core claim

By decomposing the D_n-invariant quadratic Hamiltonian into discrete Fourier sectors the equations decouple, so that superintegrability and periodicity are controlled by the commensurability of the active frequencies while choreography additionally requires a sectorwise C_n phase-matching condition that guarantees rotational equivariance. Consequently generic resonant multi-sector motions remain periodic yet multi-trace, whereas true choreographies appear only on the phase-matched loci, inside single irreducible sectors, or through exact degeneracies that reduce the dynamics to one effective sector, as demonstrated explicitly for n=4,5,6.

What carries the argument

Discrete Fourier sector decomposition of the D_n-invariant quadratic Hamiltonian, which decouples the n-body dynamics into independent modes whose frequencies set periodicity and whose relative phases enforce choreographic equivariance.

If this is right

  • Commensurability of frequencies across sectors produces bounded periodic motions that are generally multi-trace.
  • Sectorwise C_n phase-matching is required to make the motion equivariant under rotations and therefore a genuine choreography.
  • Exact degeneracy can reduce an apparently multi-sector system to an effective one-sector choreography.
  • For n=6 the separation between nondegenerate commensurability and the need for exact degeneracy first appears.
  • Superintegrability follows from the frequency commensurability conditions independently of the choreography requirement.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same phase-matching obstruction may persist approximately when small non-quadratic perturbations are added, provided the sector decoupling remains nearly intact.
  • The mechanism offers a symmetry-based explanation for the scarcity of choreographies in other dihedrally symmetric many-particle models such as molecular vibrations or lattice dynamics.
  • Numerical integration of perturbed n-body systems could test whether the phase condition survives as a selection rule even when exact decoupling is lost.
  • The distinction between periodicity and choreography suggests a route to constructing superintegrable systems that are guaranteed to contain choreographic solutions by enforcing degeneracy from the outset.

Load-bearing premise

The interactions are exactly quadratic and invariant under the full dihedral group D_n, so that the dynamics diagonalize cleanly into uncoupled Fourier sectors without residual couplings.

What would settle it

An explicit collision-free periodic solution in which multiple non-degenerate sectors with commensurate frequencies but mismatched phases produce a single closed curve traced by all bodies would falsify the claimed obstruction.

read the original abstract

We analyze planar $n$-body Hamiltonian systems with quadratic $D_n$-invariant interactions and identify the symmetry obstruction to choreographic motion. Choreographies are taken throughout to be collision-free solutions of the equations of motion in which all bodies traverse one closed curve with uniform time shifts. By diagonalizing the dynamics into discrete Fourier sectors, we show that superintegrability, periodicity, and choreography are governed by distinct conditions: commensurability of the active frequencies closes bounded motions, whereas a sectorwise $C_n$ phase-matching condition is required for full equivariance. At the configuration level this equivariance is already equivalent to a genuine simple choreography. Thus generic resonant multi-sector motions are periodic but multi-trace, while true choreographies occur only on phase-matched loci, in single irreducible sectors, or through effective one-sector reductions produced by exact degeneracy. The cases $n=4,5,6$ exhibit this mechanism explicitly, with $n=6$ marking the first distinction between nondegenerate commensurability and additional exact degeneracy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper analyzes planar n-body Hamiltonian systems with quadratic D_n-invariant interactions and identifies the symmetry obstruction to choreographic motion. Choreographies are collision-free solutions where all bodies traverse one closed curve with uniform time shifts. By diagonalizing the dynamics into discrete Fourier sectors, the work shows that superintegrability, periodicity, and choreography are governed by distinct conditions: commensurability of active frequencies closes bounded motions, while a sectorwise C_n phase-matching condition is required for full equivariance (equivalent to a genuine simple choreography at the configuration level). Generic resonant multi-sector motions are thus periodic but multi-trace, whereas true choreographies occur only on phase-matched loci, in single irreducible sectors, or through effective one-sector reductions from exact degeneracy. Explicit illustrations are provided for n=4,5,6, with n=6 marking the distinction between nondegenerate commensurability and additional exact degeneracy.

Significance. If the decoupling and phase-matching claims hold, the manuscript supplies a symmetry-based classification that cleanly separates periodic multi-trace motions from true choreographies in these systems. The explicit treatment of small-n cases and the identification of degeneracy-induced reductions (especially at n=6) offer concrete, falsifiable predictions that could guide searches for choreographies in symmetric potentials. The parameter-free nature of the sectorwise conditions is a strength, as is the direct link between configuration-level equivariance and the Fourier-sector analysis.

major comments (2)
  1. [Diagonalization into discrete Fourier sectors] The central claim that quadratic D_n-invariant interactions permit exact decoupling into independent Fourier sectors with vanishing cross-coupling between distinct irreps is load-bearing for all subsequent results on multi-sector vs. choreographic motions. The manuscript must explicitly compute or display the relevant matrix elements (or symmetry arguments) showing that off-diagonal blocks between different Fourier modes are identically zero; without this verification the distinction between generic resonant motions and phase-matched choreographies remains unproven.
  2. [n=6 case] For the n=6 case, the distinction between nondegenerate commensurability and additional exact degeneracy is presented as marking a new mechanism. The explicit algebraic condition or eigenvalue degeneracy that produces the effective one-sector reduction must be derived and shown to be independent of the frequency-commensurability condition already used for periodicity; otherwise the claim that n=6 exhibits a qualitatively new phenomenon is not yet substantiated.
minor comments (2)
  1. Clarify the precise definition of 'superintegrability' used here and how it differs from mere periodicity arising from frequency commensurability; a short paragraph relating the two would help readers.
  2. Ensure that all Fourier-sector notation (e.g., labels for irreducible representations) is introduced with explicit basis vectors or transformation rules before being used in the phase-matching conditions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The two major comments identify points where additional explicit verification will strengthen the manuscript. We address each below and will incorporate the requested material in a revised version.

read point-by-point responses

  1. Referee: The central claim that quadratic D_n-invariant interactions permit exact decoupling into independent Fourier sectors with vanishing cross-coupling between distinct irreps is load-bearing for all subsequent results on multi-sector vs. choreographic motions. The manuscript must explicitly compute or display the relevant matrix elements (or symmetry arguments) showing that off-diagonal blocks between different Fourier modes are identically zero; without this verification the distinction between generic resonant motions and phase-matched choreographies remains unproven.

    Authors: We agree that an explicit verification of the decoupling is necessary. The D_n-invariance of the quadratic potential implies that the interaction matrix is block-diagonal in the discrete Fourier basis because the Fourier modes transform under distinct irreducible representations of the cyclic subgroup C_n. In the revision we will add a short appendix (or subsection) that computes the relevant matrix elements explicitly, confirming that all off-diagonal blocks between distinct irreps vanish identically by character orthogonality. This will make the separation into independent sectors fully rigorous and directly support the subsequent claims on periodicity versus choreography. revision: yes

  2. Referee: For the n=6 case, the distinction between nondegenerate commensurability and additional exact degeneracy is presented as marking a new mechanism. The explicit algebraic condition or eigenvalue degeneracy that produces the effective one-sector reduction must be derived and shown to be independent of the frequency-commensurability condition already used for periodicity; otherwise the claim that n=6 exhibits a qualitatively new phenomenon is not yet substantiated.

    Authors: We accept that the n=6 degeneracy mechanism requires an explicit derivation. In the revised manuscript we will derive the algebraic condition on the potential parameters that produces the eigenvalue degeneracy, showing that it forces two distinct Fourier sectors to share the same frequency and thereby reduces the dynamics to an effective single-sector problem. We will also demonstrate that this degeneracy condition is independent of the rational frequency ratios used for commensurability, thereby establishing the qualitatively new reduction mechanism at n=6. revision: yes

Circularity Check

0 steps flagged

Symmetry diagonalization of D_n-invariant quadratic Hamiltonians yields independent Fourier sectors without circular reduction

full rationale

The paper's derivation begins from the given quadratic D_n-invariant interactions and applies standard representation-theoretic diagonalization into discrete Fourier modes. This decoupling is a direct algebraic consequence of the symmetry assumption and does not reduce to any fitted parameter, self-defined quantity, or load-bearing self-citation. The phase-matching condition for choreography is then imposed on the resulting independent sectors; the distinction between multi-trace periodic orbits and true choreographies follows immediately from the absence of cross-sector coupling, which is guaranteed by the invariance. Explicit verification for n=4,5,6 is performed within the same framework and introduces no external self-referential premise. No step matches any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard assumptions of Hamiltonian mechanics and Fourier decomposition for cyclic symmetries; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The Hamiltonian is quadratic and invariant under the dihedral group D_n
    Defines the class of systems under study as stated in the abstract.
  • standard math The dynamics diagonalize into independent discrete Fourier sectors
    Standard technique invoked to separate the motion into modes.

pith-pipeline@v0.9.0 · 5478 in / 1212 out tokens · 19056 ms · 2026-05-15T21:09:10.814899+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Physical Review Letters70(24), 3675– 3679 (1993) https://doi.org/10.1103/PhysRevLett.70.3675

    Moore, C.: Braids in classical dynamics. Physical Review Letters70(24), 3675– 3679 (1993) https://doi.org/10.1103/PhysRevLett.70.3675

    work page doi:10.1103/physrevlett.70.3675 1993

  2. [2]

    Annals of Mathematics152(3), 881–901 (2000) https://doi.org/10.2307/2661357

    Chenciner, A., Montgomery, R.: A remarkable periodic solution of the three-body problem in the case of equal masses. Annals of Mathematics152(3), 881–901 (2000) https://doi.org/10.2307/2661357

    work page doi:10.2307/2661357 2000

  3. [3]

    In: Celletti, A., Sim´ o, C

    Sim´ o, C.: Dynamical properties of the figure-eight solution of the three-body problem. In: Celletti, A., Sim´ o, C. (eds.) Celestial Mechanics. Contemporary Mathematics, vol. 292, pp. 209–228. American Mathematical Society, Providence, RI (2002)

    work page 2002

  4. [4]

    Elsevier, Amsterdam (2012)

    Marchal, C.: The Three-Body Problem. Elsevier, Amsterdam (2012)

    work page 2012

  5. [5]

    Celestial Mechanics and Dynamical Astronomy83(1–4), 325–353 (2002) https: //doi.org/10.1023/A:1020128408706

    Marchal, C.: How the method of minimization of action avoids singularities. Celestial Mechanics and Dynamical Astronomy83(1–4), 325–353 (2002) https: //doi.org/10.1023/A:1020128408706

    work page doi:10.1023/a:1020128408706 2002

  6. [6]

    Nonlinearity17(6), 2015–2039 (2004) https:// doi.org/10.1088/0951-7715/17/6/002

    Barutello, V., Terracini, S.: Action minimizing orbits in then-body problem with simple choreography constraint. Nonlinearity17(6), 2015–2039 (2004) https:// doi.org/10.1088/0951-7715/17/6/002

    work page doi:10.1088/0951-7715/17/6/002 2015

  7. [7]

    Inventiones Mathematicae155(2), 305–362 (2004) https://doi.org/10.1007/s00222-003-0322-7

    Ferrario, D., Terracini, S.: On the existence of collisionless equivariant minimiz- ers for the classicaln-body problem. Inventiones Mathematicae155(2), 305–362 (2004) https://doi.org/10.1007/s00222-003-0322-7

    work page doi:10.1007/s00222-003-0322-7 2004

  8. [8]

    Archive for Rational Mechanics and Analysis190(1), 189–237 (2008) https://doi.org/10.1007/s00205-008-0131-7

    Barutello, V., Ferrario, D., Terracini, S.: Symmetry groups of the planarn-body problem and action-minimizing solutions. Archive for Rational Mechanics and Analysis190(1), 189–237 (2008) https://doi.org/10.1007/s00205-008-0131-7

    work page doi:10.1007/s00205-008-0131-7 2008

  9. [9]

    the threeγi families

    Chenciner, A., F´ ejoz, J., Montgomery, R.: Rotating eights: I. the threeγi families. Nonlinearity18(3), 1407–1424 (2005) https://doi.org/10.1088/0951-7715/18/3/ 024

    work page doi:10.1088/0951-7715/18/3/ 2005

  10. [10]

    In: Casacuberta, C., Mir´ o-Roig, R.M., Verdera, J

    Sim´ o, C.: New families of solutions in then-body problem. In: Casacuberta, C., Mir´ o-Roig, R.M., Verdera, J. (eds.) European Congress of Mathematics. Progress in Mathematics, vol. 201, pp. 101–115. Birkh¨ auser, Basel (2001)

    work page 2001

  11. [11]

    In: Newton, P., Holmes, P., Weinstein, A

    Chenciner, A., Gerver, J., Montgomery, R., Sim´ o, C.: Simple choreographic motions of N bodies: A preliminary study. In: Newton, P., Holmes, P., Weinstein, A. (eds.) Geometry, Mechanics, and Dynamics, pp. 287–308. Springer, New York, 34 NY (2002). https://doi.org/10.1007/0-387-21791-6 9

    work page doi:10.1007/0-387-21791-6 2002

  12. [12]

    Archive for Rational Mechanics and Analysis225, 901–935 (2017) https://doi.org/10

    Yu, G.: Simple choreographies of the planar newtonianN-body problem. Archive for Rational Mechanics and Analysis225, 901–935 (2017) https://doi.org/10. 1007/s00205-017-1116-1

    work page 2017

  13. [13]

    Celestial Mechanics and Dynamical Astronomy95(1–4), 67–80 (2006) https://doi.org/10.1007/s10569-006-9030-0

    Barutello, V., Terracini, S.: Double choreographical solutions forn-body type problems. Celestial Mechanics and Dynamical Astronomy95(1–4), 67–80 (2006) https://doi.org/10.1007/s10569-006-9030-0

    work page doi:10.1007/s10569-006-9030-0 2006

  14. [14]

    Nonlinearity11(2), 363–376 (1998) https://doi.org/10.1088/ 0951-7715/11/2/011

    Montgomery, R.: Then-body problem, the braid group, and action-minimizing periodic solutions. Nonlinearity11(2), 363–376 (1998) https://doi.org/10.1088/ 0951-7715/11/2/011

    work page 1998

  15. [15]

    Topology and its Appli- cations58(3), 223–298 (1994) https://doi.org/10.1016/0166-8641(94)00147-2

    Boyland, P.: Topological methods in surface dynamics. Topology and its Appli- cations58(3), 223–298 (1994) https://doi.org/10.1016/0166-8641(94)00147-2

    work page doi:10.1016/0166-8641(94)00147-2 1994

  16. [16]

    Nonlinearity20(5), 1241 (2007) https: //doi.org/10.1088/0951-7715/20/5/010

    Kapela, T., Sim´ o, C.: Computer assisted proofs for nonsymmetric planar chore- ographies and for stability of the eight. Nonlinearity20(5), 1241 (2007) https: //doi.org/10.1088/0951-7715/20/5/010

    work page doi:10.1088/0951-7715/20/5/010 2007

  17. [17]

    Journal of Physics A: Mathematical and General36(11), 2791 (2003) https://doi.org/10.1088/0305-4470/36/11/310

    Fujiwara, T., Fukuda, H., Ozaki, H.: Choreographic three bodies on the lem- niscate. Journal of Physics A: Mathematical and General36(11), 2791 (2003) https://doi.org/10.1088/0305-4470/36/11/310

    work page doi:10.1088/0305-4470/36/11/310 2003

  18. [18]

    Archive for Rational Mechanics and Analysis185, 481–494 (2007) https://doi.org/10.1007/s00205-006-0047-z

    P´ erez-Chavela, E., Santoprete, M.: Convex four-body central configurations with some equal masses. Archive for Rational Mechanics and Analysis185, 481–494 (2007) https://doi.org/10.1007/s00205-006-0047-z

    work page doi:10.1007/s00205-006-0047-z 2007

  19. [19]

    part I: Relative equilibria

    Diacu, F., P´ erez-Chavela, E., Santoprete, M.: Then-body problem in spaces of constant curvature. part I: Relative equilibria. Journal of Nonlinear Science22, 247–266 (2012) https://doi.org/10.1007/s00332-011-9116-z

    work page doi:10.1007/s00332-011-9116-z 2012

  20. [20]

    Journal of Physics A: Mathematical and Theoretical46, 423001 (2013) https://doi.org/10.1088/1751-8113/46/42/423001

    Miller, W., Post, S., Winternitz, P.: Classical and quantum superintegrability with applications. Journal of Physics A: Mathematical and Theoretical46, 423001 (2013) https://doi.org/10.1088/1751-8113/46/42/423001

    work page doi:10.1088/1751-8113/46/42/423001 2013

  21. [21]

    (eds.): Superintegrability in Classical and Quantum Systems

    Tempesta, P., Winternitz, P., Harnad, J., Miller Jr., W., Pogosyan, G., Rodr´ ıguez, M.A. (eds.): Superintegrability in Classical and Quantum Systems. CRM Pro- ceedings & Lecture Notes, vol. 37. American Mathematical Society, Providence, RI (2004)

    work page 2004

  22. [22]

    Journal of Mathematical Physics 12(3), 419–436 (1971) https://doi.org/10.1063/1.1665604

    Calogero, F.: Solution of the one-dimensionaln-body problem with quadratic and/or inversely quadratic pair potentials. Journal of Mathematical Physics 12(3), 419–436 (1971) https://doi.org/10.1063/1.1665604

    work page doi:10.1063/1.1665604 1971

  23. [23]

    35 Birkh¨ auser, Basel (1990)

    Perelomov, A.M.: Integrable Systems of Classical Mechanics and Lie Algebras. 35 Birkh¨ auser, Basel (1990)

    work page 1990

  24. [24]

    Celestial Mechanics and Dynamical Astronomy137(24) (2025) https://doi.org/10.1007/ s10569-025-10255-1

    Escobar-Ruiz, A.M., Fern´ andez-Guasti, M.: On the four-body lima¸ con chore- ography: maximal superintegrability and choreographic fragmentation. Celestial Mechanics and Dynamical Astronomy137(24) (2025) https://doi.org/10.1007/ s10569-025-10255-1

    work page 2025

  25. [25]

    Journal of Physics A: Mathematical and Theoretical57(10), 105202 (2024) https://doi.org/10.1088/1751-8121/ad2a1c

    Escobar-Ruiz, A.M., Azuaje, R.: On particular integrability in classical mechan- ics. Journal of Physics A: Mathematical and Theoretical57(10), 105202 (2024) https://doi.org/10.1088/1751-8121/ad2a1c

    work page doi:10.1088/1751-8121/ad2a1c 2024

  26. [26]

    Journal of Physics A: Mathematical and Theoretical46(2), 025203 (2012) https://doi.org/ 10.1088/1751-8113/46/2/025203

    Turbiner, A.V.: Particular integrability and (quasi)-exact-solvability. Journal of Physics A: Mathematical and Theoretical46(2), 025203 (2012) https://doi.org/ 10.1088/1751-8113/46/2/025203

    work page doi:10.1088/1751-8113/46/2/025203 2012

  27. [27]

    Addison-Wesley, Reading, MA (1962)

    Hamermesh, M.: Group Theory and Its Application to Physical Problems. Addison-Wesley, Reading, MA (1962)

    work page 1962

  28. [28]

    Dover Publications, New York (2003)

    Tinkham, M.: Group Theory and Quantum Mechanics. Dover Publications, New York (2003). Reprint of the 1964 McGraw–Hill edition

    work page 2003

  29. [29]

    Graduate Texts in Mathematics, vol

    Fulton, W., Harris, J.: Representation Theory: A First Course. Graduate Texts in Mathematics, vol. 129. Springer, New York (1991)

    work page 1991

  30. [30]

    Celestial Mechanics and Dynamical Astronomy137(4) (2025) https://doi.org/10.1007/ s10569-024-10235-x

    Fern´ andez-Guasti, M.: Analytic four-body lima¸ con choreography. Celestial Mechanics and Dynamical Astronomy137(4) (2025) https://doi.org/10.1007/ s10569-024-10235-x

    work page 2025

  31. [31]

    Journal of Differential Equations454, 113940 (2026) https://doi.org/10.1016/j.jde.2025.113940

    Fernandez-Guasti, M., Fujiwara, T., P´ erez-Chavela, E., Zhu, S.: N-body chore- ographies on a p-lima¸ con curve. Journal of Differential Equations454, 113940 (2026) https://doi.org/10.1016/j.jde.2025.113940

    work page doi:10.1016/j.jde.2025.113940 2026

  32. [32]

    Evans, N.W.: Superintegrability in classical mechanics. Physical Review A41(10), 5666–5676 (1990) https://doi.org/10.1103/PhysRevA.41.5666 A Separation of variables: normal mode decomposition This appendix collects technical details underlying the explicit solutions discussed in the main text. For completeness, we present the separation of variables, norm...

    work page doi:10.1103/physreva.41.5666 1990