Pith. sign in

REVIEW 4 minor 43 references

Stable ballistic prograde cycler orbits exist as continuous families in the three-body problem, born by a saddle-center bifurcation that always creates a stable branch.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-14 17:06 UTC pith:UYOENQTP

load-bearing objection Solid numerical discovery of continuous stable ballistic prograde cycler families, with a clean geometric construction and a well-supported (if still conjectural) birth mechanism.

arxiv 2606.29189 v2 pith:UYOENQTP submitted 2026-06-28 nlin.CD astro-ph.EPphysics.class-ph

Stable Ballistic Prograde Cyclers in the Three-Body Problem

Shane D. Ross , Michael Roberts-Tsoukkas This is my paper
classification nlin.CD astro-ph.EPphysics.class-ph MSC 70F0737J2070H12 PACS 05.45.-a95.10.Ce
keywords cycler orbitscircular restricted three-body probleminvariant manifold tubessaddle-center bifurcationballistic capturelinear stabilityLyapunov orbitJacobi constant
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper shows that the circular restricted three-body problem contains continuous families of stable, unpowered, prograde cyclers: periodic orbits that take temporary turns around each of the two main bodies. Earlier examples of this class were either retrograde, needed propulsion, or were unstable. The authors build the orbits geometrically from the stable and unstable manifold tubes of the L1 Lyapunov orbit, then continue them into families. Every family they compute is born, at its highest Jacobi constant, by a saddle-center bifurcation of the return map; that birth simultaneously produces a planar-stable branch and a hyperbolic companion. Out-of-plane instability appears only through isolated parametric resonances, so every family also contains a subfamily that is linearly stable in both planar and vertical directions. The same stable orbits appear from Sun–Jupiter mass ratios up to equal masses, and they survive into the full three-body problem when the third mass is small. The authors conjecture that the saddle-center birth mechanism is universal, which would make stable cyclers a generic feature of three-body dynamics.

Core claim

Continuous families of stable, ballistic, prograde (k1,k2)-cyclers exist in the circular restricted three-body problem across more than two orders of magnitude in mass ratio. Every computed family is born in a saddle-center bifurcation of the return map at its maximal Jacobi constant, simultaneously creating a planar-stable branch and a hyperbolic branch; every family therefore contains a subfamily that is linearly stable both in-plane and out-of-plane.

What carries the argument

Intersections of the stable and unstable manifold tubes of the L1 Lyapunov orbit, restricted to the symmetry line of the Poincaré sections. Those intersections seed the cyclers; pseudo-arclength continuation then traces the families, revealing that each family appears through a saddle-center bifurcation that automatically supplies a planar-stable branch.

Load-bearing premise

The claim that every cycler family must be born by a saddle-center bifurcation (so a stable branch is automatic) rests on the generic theory of area-preserving maps and on the observation that the section-to-section map meets the symmetry line in at most two points; it is still a conjecture verified only for the symmetric families that were actually computed.

What would settle it

Compute or rigorously prove the existence of even one continuous symmetric (k1,k2)-cycler family whose birth is not a saddle-center bifurcation of the return map, or show that a family born that way has no interval of simultaneous planar and vertical linear stability.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The manuscript reports continuous families of stable, ballistic, prograde (k1,k2)-cyclers in the planar circular restricted three-body problem. Symmetric cyclers are constructed from intersections of the stable and unstable manifold tubes of the L1 Lyapunov orbit with Poincaré sections near the primaries (Eqs. 3–5), refined by differential correction and continued by pseudo-arclength methods. Linear stability is assessed via planar and vertical monodromy indices sp and sv. Every computed family is born at a maximal Jacobi constant through a saddle-center bifurcation that simultaneously creates a planar-stable and a hyperbolic branch; out-of-plane instability arises only through isolated parametric resonances of the Hill equation. Explicit, fully stable examples (max{|sp|,|sv|}<1) are tabulated across µ from 0.001 to 0.5 (Table I). The authors conjecture that saddle-center birth is universal among cycler families and note that the orbits persist into the full three-body problem for sufficiently small third mass.

Significance. If the numerical families and their linear-stability indices hold, the paper supplies the first continuous families of stable ballistic prograde cyclers in the CR3BP, spanning more than two orders of magnitude in mass ratio. The geometric construction from L1 manifold tubes is transparent and standard, the saddle-center birth mechanism is observed uniformly and is consistent with generic area-preserving-map theory, and the tabulated initial conditions (Table I) make the central existence claim directly checkable. The result is of clear interest for both celestial-mechanics theory and practical cislunar or binary-system transport. The universality conjecture is left open and is not required for the existence claim; the restriction to symmetric orbits is a natural first step rather than a flaw.

minor comments (4)
  1. Title page and running head contain several line-break artifacts (“Restri cted”, “Blacksbur g”, “re stricted”, “a bout”, “pro-grade”, etc.). These should be cleaned for the final version.
  2. Abstract and main text both state that the stable cyclers “persist into the full three-body problem for sufficiently small third mass.” A brief remark on the continuation argument (or a citation) would strengthen the claim.
  3. Figure 1 caption and panel labels would benefit from explicit indication of the mass-ratio values already listed in Table I, so that the figure is self-contained.
  4. The Outlook paragraph mentions possible persistence under eccentricity and solar gravity; a single sentence noting that these are open numerical tests rather than proven results would avoid any ambiguity.

Circularity Check

0 steps flagged

No significant circularity: families and stability indices are obtained by direct numerical construction from the CR3BP vector field, not by fitting or self-definitional reduction.

full rationale

The paper's central claims rest on a transparent geometric construction (manifold-tube intersections on Poincaré sections, eqs. 3–5), standard differential correction and pseudo-arclength continuation of the CR3BP equations of motion, and direct integration of the variational equations to obtain monodromy multipliers and the indices sp, sv. No free parameters are fitted to data and then re-presented as predictions; the tabulated orbits (Table I) and the observed saddle-center births are numerical outputs of that construction. The universality conjecture is explicitly left open and is not required for the existence or stability claims. Self-citations are to prior methodological or historical work and are not load-bearing for the reported families. The derivation is therefore self-contained against the standard CR3BP model; score 0 is appropriate.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper works entirely inside the classical circular restricted three-body problem and standard Hamiltonian dynamical-systems tools. No free parameters are fitted; the only axioms are the usual modeling assumptions of the CR3BP and textbook facts about Lyapunov orbits, manifold tubes and area-preserving maps. No new physical entities are postulated.

axioms (4)
  • domain assumption The circular restricted three-body problem equations (1) with conserved Jacobi integral (2) accurately describe the motion of a massless particle in the field of two primaries on circular orbits.
    Stated in the Model section; all subsequent constructions and stability calculations are performed inside this model.
  • domain assumption For each C < C1 there exists a unique planar L1 Lyapunov orbit whose stable and unstable manifolds are two-dimensional tubes that act as codimension-one separatrices for transit.
    Invoked in the Construction section and attributed to Conley, Llibre-Martinez-Simó and Koon et al.; the entire geometric construction rests on these tubes.
  • standard math Appearance of fixed points of an area-preserving return map from none is generically a saddle-center bifurcation.
    Used in the Universality paragraph to argue that a planar-stable branch must accompany every family birth; cited to Meiss, Meyer-Hall and Golubitsky-Stewart-Marsden.
  • standard math Out-of-plane linearization about a planar periodic orbit decouples into the scalar Hill equation (7).
    Stated in the Stability section; used to separate vertical from planar stability indices.

pith-pipeline@v1.1.0-grok45 · 13128 in / 2586 out tokens · 51551 ms · 2026-07-14T17:06:16.552361+00:00 · methodology

0 comments
read the original abstract

We report the first continuous families of stable, ballistic, prograde cycler orbits in the circular restricted three-body problem: periodic trajectories that alternately undergo temporary capture and orbit each primary. We construct continuous families of symmetric cyclers from intersections of the stable and unstable manifold tubes of the $L_1$ Lyapunov orbit and exhibit stable examples across more than two orders of magnitude in mass ratio, from the Sun--Jupiter regime to the equal-mass limit. Linear stability separates naturally into planar and out-of-plane components. A planar-stable branch of every computed family is created simultaneously with a hyperbolic branch in a saddle-center bifurcation of the return map at the family's maximal Jacobi constant, while out-of-plane instability occurs only through isolated parametric resonances. Every computed family contains a subfamily that is linearly stable to both planar and out-of-plane perturbations. These stable cyclers persist into the full three-body problem for sufficiently small third mass. We conjecture that saddle-center birth is universal among cycler families, suggesting that stable cyclers are a generic feature of three-body dynamics.

Figures

Figures reproduced from arXiv: 2606.29189 by Michael Roberts-Tsoukkas, Shane D. Ross.

Figure 1
Figure 1. Figure 1: FIG. 1. Representative stable, ballistic, prograde cycler [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Geometric construction of symmetric cyclers on the [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Saddle-center bifurcation creating the Earth–Moon [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗

Review history (2 revisions) →

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

43 extracted references · 1 linked inside Pith

  1. [1]

    Stable cyclers persist across more than two orders of magnitude in mass ratio, from the Sun–Jupiter regime to the equal-mass limit

    5, (1 , 1). Stable cyclers persist across more than two orders of magnitude in mass ratio, from the Sun–Jupiter regime to the equal-mass limit. Panel (c) indicates the Poincar´ e sections U − 1 and U + 2 ; their crossings define the indices ( k1, k 2). multiplier pair is real and the fixed point is hyperbolic. The critical values sp = ± 1 and sv = ± 1 mark ...

  2. [2]

    001 (1 , 1) -0.647047499999966 3.031605708907296 14.77450279097 4823 0.4121 -0.2943

  3. [3]

    012150584270572 (1 , 1) -0.768217354461248 3.151175879917331 10.29189364193 6499 0.8210 0.6358

  4. [4]

    012150584270572 (3 , 3) -0.322477620583087 3.183379082910527 19.50376358707 0285 0.9855 0.6207

  5. [5]

    1 (3 , 2) -0.694376003123377 3.573367616904619 12.29526387401 4290 0.5686 0.9175

  6. [6]

    3 (3 , 1) -0.804725783387797 3.701958166478617 9.094576400494 693 0.0294 0.8307

  7. [7]

    At such a bifurcation an elliptic and a hyperbolic fixed point are created simultaneously when λ p = 1 ( sp = 1)

    5 (1 , 1) -0.519689929077496 3.628400000000000 8.792013561462 247 0.9376 0.2130 In the return map, the appearance of fixed points from none is generically governed by a saddle-center bifurcation [31–33]. At such a bifurcation an elliptic and a hyperbolic fixed point are created simultaneously when λ p = 1 ( sp = 1). As the parameter moves away from the bifu...

  8. [8]

    Poincar´ e, Les M´ ethodes Nouvelles de la M´ ecanique C´ eleste (New Methods in Celestial Mechanics) , Vol

    H. Poincar´ e, Les M´ ethodes Nouvelles de la M´ ecanique C´ eleste (New Methods in Celestial Mechanics) , Vol. 1-3 (Gauthier-Villars, Paris, 1892-1899) reprinted by Dover, New York, 1957

    1957

  9. [9]

    Moore, Phys

    C. Moore, Phys. Rev. Lett. 70, 3675 (1993)

    1993

  10. [10]

    Chenciner and R

    A. Chenciner and R. Montgomery, Ann. of Math. 152, 881 (2000)

    2000

  11. [11]

    E. J. Doedel, R. C. Paffenroth, H. B. Keller, D. J. Dich- mann, J. Galan, and A. Vanderbauwhede, Int. J. Bifurc. Chaos 13, 1353 (2003)

    2003

  12. [12]

    ˇSuvakov and V

    M. ˇSuvakov and V. Dmitraˇ sinovi´ c, Phys. Rev. Lett.110, 114301 (2013)

    2013

  13. [13]

    R. R. Newton, Smithson. Contrib. Astrophys. 3, 69 (1959)

    1959

  14. [14]

    R. F. Arenstorf, AIAA Journal 1, 238 (1963)

    1963

  15. [15]

    M. C. Davidson, Astronaut. Acta 10, 308 (1964)

    1964

  16. [16]

    Szebehely, Theory of Orbits: The Restricted Problem of Three Bodies (Academic, New York, 1967)

    V. Szebehely, Theory of Orbits: The Restricted Problem of Three Bodies (Academic, New York, 1967)

    1967

  17. [17]

    Aldrin, Cyclic trajectory concepts (1985), Presenta- tion to the Interplanetary Rapid Transit Study Meeting, Jet Propulsion Laboratory, Pasadena, CA, October 28, 1985

    B. Aldrin, Cyclic trajectory concepts (1985), Presenta- tion to the Interplanetary Rapid Transit Study Meeting, Jet Propulsion Laboratory, Pasadena, CA, October 28, 1985

    1985

  18. [18]

    Uphoff and M

    C. Uphoff and M. Crouch, J. Astronaut. Sci. 41, 189 (1993)

    1993

  19. [19]

    Casoliva, K

    J. Casoliva, K. Mease, J. Mondelo, B. Villac, E. Barrabes, and M. Olle, in AIAA/AAS Astrodynamics Specialist Conference and Exhibit , AlAA 2008-6434 (2008). 5

    2008

  20. [20]

    Casoliva, J

    J. Casoliva, J. M. Mondelo, B. F. Villac, K. D. Mease, E. Barrabes, and M. Olle, J. Guid. Control Dyn. 33, 1623 (2010)

    2010

  21. [21]

    A. L. Genova and B. Aldrin, in AAS/AIAA Astrodynam- ics Specialist Conference , AAS 15-794 (2015)

    2015

  22. [22]

    De Leo and M

    L. De Leo and M. Pontani, Aerotecnica Missili & Spazio 101, 171 (2022)

    2022

  23. [23]

    A. P. Wilmer and R. A. Bettinger, in International Astro- nautical Congress, Paper No. IAC-22-E2.2 (Paris, France, 2022)

    2022

  24. [24]

    M. M. Wittal, S. Miaule, and B. W. Asher, in Inter- national Astronautical Congress , IAC-22-C1. 6.6 (Paris, France, 2022)

    2022

  25. [25]

    Leiva and C

    A. Leiva and C. Briozzo, Acta Astronaut. 58, 379 (2006)

    2006

  26. [26]

    A. M. Leiva and C. B. Briozzo, Celest. Mech. Dyn. As- tron. 101, 225 (2008)

    2008

  27. [27]

    Jaff´ e, S

    C. Jaff´ e, S. D. Ross, M. W. Lo, J. E. Marsden, D. Farrelly, and T. Uzer, Phys. Rev. Lett. 89, 011101 (2002)

    2002

  28. [28]

    Dellnitz, O

    M. Dellnitz, O. Junge, M. W. Lo, J. E. Marsden, K. Pad- berg, R. Preis, S. D. Ross, and B. Thiere, Phys. Rev. Lett. 94, 231102 (2005)

    2005

  29. [29]

    W. S. Koon, M. W. Lo, J. E. Marsden, and S. D. Ross, Dynamical Systems, the Three-Body Problem and Space Mission Design (Marsden Books, ISBN 978-0-615-24095- 4, 2022)

    2022

  30. [30]

    C. C. Conley, SIAM J. Appl. Math. 16, 732 (1968)

    1968

  31. [31]

    Llibre, R

    J. Llibre, R. Martinez, and C. Sim´ o, J. Diff. Eqns. 58, 104 (1985)

    1985

  32. [32]

    W. S. Koon, M. W. Lo, J. E. Marsden, and S. D. Ross, Chaos 10, 427 (2000)

    2000

  33. [33]

    G´ omez, W

    G. G´ omez, W. S. Koon, M. W. Lo, J. E. Marsden, J. Mas- demont, and S. D. Ross, Nonlinearity 17, 1571 (2004)

    2004

  34. [34]

    R. S. MacKay, Physics Letters A 145, 425 (1990)

    1990

  35. [35]

    S. D. Ross, A. E. BozorgMagham, S. Naik, and L. N. Virgin, Phys. Rev. E 98, 052214 (2018)

    2018

  36. [36]

    Zhong and S

    J. Zhong and S. D. Ross, Appl. Math. Model. 97, 81 (2021)

    2021

  37. [37]

    S. D. Ross and M. Roberts-Tsoukkas, in AAS/AIAA As- trodynamics Specialist Conference, AAS 25-621 (2025)

    2025

  38. [38]

    J. D. Meiss, Rev. Mod. Phys. 64, 795 (1992)

    1992

  39. [39]

    K. R. Meyer and R. Hall, Hamiltonian Mechanics and the N-Body Problem, Texts in Applied Mathematics Science (Springer-Verlag, Berlin, 1992)

    1992

  40. [40]

    Golubitsky, I

    M. Golubitsky, I. Stewart, and J. Marsden, Physica D 24, 391 (1987)

    1987

  41. [41]

    H´ enon, Astron

    M. H´ enon, Astron. Astrophys.28, 415 (1973)

    1973

  42. [42]

    J. V. Breakwell and J. V. Brown, Celestial Mechanics 20, 389 (1979)

    1979

  43. [43]

    Braik and S

    A. Braik and S. D. Ross, Orbital networks in the three- body problem (2026), arXiv:2605.31543 [math.DS]

    Pith/arXiv arXiv 2026