{"id":"aa5aa9d1-ef86-44e2-8e63-001190c8af19","arxiv_id":"2606.29189","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Continuous families of stable ballistic prograde cyclers exist in the CR3BP from Sun-Jupiter to equal-mass ratios, born via saddle-center bifurcations of the return map.","lead":"The paper finds continuous families of stable, fuel-free prograde orbits that repeatedly loop around both bodies in a two-body system. These cyclers, built from manifold tubes near the L1 point, could support natural space transport and cycling planets in binaries.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the unproved universality conjecture, but that conjecture is not load-bearing for the strongest claim actually advanced: the existence of continuous stable families that have been explicitly constructed and continued. The geometric construction, the observed saddle-center births, and the tabulated fully-stable examples stand independently of the conjecture. Vertical stability is handled carefully via the Hill equation and is shown empirically not to destroy the planar-stable branches. Consequently the ACCEPT verdict with high confidence remains appropriate; no adjustment is warranted.","tokens_in":9004,"tokens_out":416,"duration_ms":3369,"concrete_test":"Independently recompute one tabulated orbit (e.g., Earth–Moon (3,3) at x0 = -0.322477620583087, C = 3.183379082910527) by integrating the CR3BP variational equations over one period and verifying that both |sp| and |sv| remain <1 and that the monodromy matrix has the expected double unit eigenvalue; agreement to the reported digits confirms the stability claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central numerical claim—continuous families of stable ballistic prograde cyclers across a wide mass-ratio range, each born with a planar-stable branch—is supported by a transparent geometric construction (manifold-tube intersections on Poincaré sections, eqs. 3–5), standard differential correction and pseudo-arclength continuation, and high-precision tabulated examples (Table I) spanning µ from 0.001 to 0.5. The saddle-center birth is observed uniformly in every computed family and is consistent with generic area-preserving map theory; the universality conjecture is explicitly left open and is not required for the existence claim. Restriction to symmetric orbits and the absence of shipped code are limitations but do not undermine the reported families or their linear stability indices. No load-bearing inconsistency or unsupported leap is present that would reverse an ACCEPT verdict.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":9150,"tokens_out":661,"duration_ms":5727,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The reader’s and skeptic’s assessments align with my own: the central numerical claim is solid, the conjecture is properly flagged, and no load-bearing inconsistency is present. I see no reason to withhold acceptance pending code release or further families; the tabulated orbits already allow independent verification."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is that continuous families of stable, ballistic, prograde (k1,k2)-cyclers exist in the CR3BP across µ from 0.001 to 0.5, and every family they computed is born with a planar-stable branch via a saddle-center bifurcation. That overturns the old presumption that prograde cyclers are unstable and supplies concrete initial conditions (Table I) that anyone can check.\n\nWhat is new is the tube-intersection construction on the Poincaré sections (eqs. 3–5), the systematic continuation of the resulting families, and the uniform observation that each family appears at its maximal Jacobi constant as an elliptic–hyperbolic pair. Prior literature they cite is correctly characterized as retrograde, propulsive, or linearly unstable; the continuous stable prograde families and the explicit geometric generator are not there. The planar/vertical stability split is cleanly handled: vertical motion is a Hill equation, so instability is only parametric resonance, and they show that the planar-stable branch usually stays vertically stable as well. The math and numerics look standard and carefully done—manifold cuts, differential correction, monodromy eigenvalues—with no free parameters fitted to force the result.\n\nSoft spots are modest and already flagged by the authors. The universality conjecture (every cycler family is born this way) rests on generic area-preserving-map theory plus the observation that the section-to-section map hits the symmetry line in at most two points; it is verified only for the symmetric families they computed and is left open. Restriction to symmetric orbits and the absence of shipped code are real limitations for reproducibility, but they do not undercut the existence claim or the tabulated stability indices. Persistence into the full three-body problem is asserted only for small third mass, which is reasonable but not demonstrated here.\n\nThis is for people who work on three-body dynamics, cislunar transport, or binary-system capture. The construction is transparent enough that a serious referee can evaluate it, and the central numerical claim is strong enough to deserve that time. I would engage with it and expect it to pass peer review with ordinary requests for more families or code.","headline":"Solid numerical discovery of continuous stable ballistic prograde cycler families, with a clean geometric construction and a well-supported (if still conjectural) birth mechanism.","tokens_in":9733,"tokens_out":534,"would_cite":true,"duration_ms":5305,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70F07","37J20","70H12"],"pacs":["05.45.-a","95.10.Ce"],"model":"grok-4.5","headline":"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.","keywords":["cycler orbits","circular restricted three-body problem","invariant manifold tubes","saddle-center bifurcation","ballistic capture","linear stability","Lyapunov orbit","Jacobi constant"],"falsifier":"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.","tokens_in":9902,"feed_emoji":"🪐","tokens_out":758,"duration_ms":5669,"temperature":0.7,"pith_summary":"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.","feed_headline":"Stable unpowered cyclers found across mass ratios","feed_subtitle":"Saddle-center birth always creates a planar-stable branch; every family has a fully stable subfamily.","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Stable ballistic prograde cyclers span mass ratios","Saddle-center births always yield planar-stable cyclers","First continuous stable cycler families in three-body problem","Every cycler family holds a fully stable subfamily","Stable unpowered cyclers from Sun-Jupiter to equal mass"],"cache_read_input_tokens":128,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Stable ballistic prograde cyclers span mass ratios","Saddle-center births always yield planar-stable cyclers","First continuous stable cycler families in three-body problem","Every cycler family holds a fully stable subfamily","Stable unpowered cyclers from Sun-Jupiter to equal mass"]},"model":"grok-4.5","effort":"low","cost_usd":0.006838,"raw_usage":{"total_tokens":1679,"prompt_tokens":761,"num_sources_used":0,"completion_tokens":83,"cost_in_usd_ticks":68380000,"prompt_tokens_details":{"text_tokens":761,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":835,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":761,"tokens_out":83,"duration_ms":6677,"temperature":1.0,"reasoning_tokens":835,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T17:06:16.552361+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":2}