{"id":"9ea337f9-bd5a-4326-95fa-68c85b092349","arxiv_id":"2607.19148","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For small mass ratios, positive curvature creates new collinear equilibria and enlarges the parameter range in which the triangular Lagrange points L4 and L5 are linearly stable.","lead":"This paper rigorously classifies the Lagrange points of the circular restricted three-body problem on curved surfaces, focusing on small mass ratios and positive curvature. It proves with analytic arguments and computer-assisted interval arithmetic that curvature changes how many equilibrium points exist and how stable they are.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised 'positive curvature stabilizes L4/L5' is overclaimed: Sec. 8 provides CAPs only on a subregion plus a conjecture, not a proof for all allowed positive curvature.","rationale":"The reader's verdict is CONDITIONAL and already flags the gap between the introduction's 'proved' claim and Section 8's CAPs-plus-conjecture status. I agree with that concern. The reader's weakest_assumption, however, is the obtuse-branch exclusion; that is a scope limitation rather than the main load-bearing issue for the advertised stabilization result. The topological theorem (4.1) and its application in Corollary 4.2 are sound for the acute branch as scoped, and the analytic existence/stability results for small κ and small μ are supported by detailed proofs. The central weakness is that the paper's headline physical conclusion 'positive curvature stabilizes L4/L5' is not established rigorously for the full allowed parameter domain: the only rigorous evidence is a CAP-validated subregion, with the global statement left as Conjecture 8.1. This does not invalidate the core mathematics, but it does mean the introduction's phrasing overclaims. The proposed concrete test would settle whether the CAPs can be extended to the missing regions, especially near κ=0; if not, the claim must be narrowed. Since the reader already reached CONDITIONAL on essentially this basis, my stress-test does not move the verdict.","tokens_in":62845,"tokens_out":23349,"duration_ms":227951,"concrete_test":"Run the authors' stability CAPs on a descending sequence of κ values (e.g. 10^-4, 10^-5, 10^-6) for fixed μ=0.06 and μ=0.01 using the cited Julia code, and check whether the elliptic/stable classification of L4/L5 remains conclusive down to κ=0. If the CAPs become inconclusive or terminate at κ_s(μ)>0 without an analytic continuation, the paper must explicitly restrict its 'positive curvature stabilizes' claim to the validated subregion and label the rest as conjecture. If the CAPs validate a neighborhood of κ=0 and the whole strip (0,π²/4)×(0,μ_T), the advertised claim would be supported on that region.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core topological and existence results (Thm 4.1, Cor 4.2, Thms 5.2 and 7.2) are internally coherent; I found no flaw in the Poincaré–Hopf balance or in the analytic continuation of L1–L5 and the new collinear points. The soft spot is the paper's advertised stabilizing-effect conclusion. The Introduction states that Sec. 8 'prove[s] that positive curvature has a stabilizing effect for L4 and L5', but Sec. 8 contains no analytic stability theorem for triangular RE. It offers CAPs (Fig. 15) on a CAP-validated subregion of P_{μ_T}, explicitly inconclusive near κ=0 and near bifurcations, plus numerical panels and Conjecture 8.1, which is not proved. There is no rigorous proof that the elliptic (gyroscopically stabilized) region extends to all κ>0 for any fixed μ, nor a quantitative statement as κ→0. Theorem 6.2 is existential and gives no κ* or μ-dependence. Thus the general stabilization statement is stronger than the proven content: the rigorous part is a CAP-verified subregion and numerical evidence, while the full claim remains conjectural.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper formulates the restricted three-body problem on surfaces of constant curvature as an autonomous two-degree-of-freedom Lagrangian system whose only parameters are the mass ratio μ and the curvature κ, with the Riemannian distance between the primaries normalized to 1. For κ>0, the authors prove a Poincaré–Hopf balance relation for the critical points of the amended potential V_{κ,μ} (Theorem 4.1), which forces the existence of new relative equilibria beyond the continuations of L1,...,L5. They then give analytic existence and stability results for these equilibria for small μ and small κ>0 (Theorems 5.2, 6.2, 7.2), computer-assisted proofs (CAPs) on the parameter region P_{μ_T}, asymptotic expansions as κ→0 (Theorems 9.1 and 9.2), and numerical bifurcation analyses. Several full classifications are stated as Conjectures 5.6, 6.4, 7.4, and 8.1.","tokens_in":63098,"tokens_out":3068,"duration_ms":31459,"significance":"If the main results hold, the paper makes a valuable contribution to the curved N-body problem: it gives a rigorous topological explanation for the appearance of new relative equilibria in positive curvature, proves analytic continuation and stability for several branches, and supplies reproducible, machine-checked CAPs with cited code. The stability criteria in Propositions 4.11 and 4.12 are derived, not fitted, and the asymptotic expansions sharpen previous numerical observations. The main advertised conclusion—that positive curvature stabilizes L4 and L5—is, however, only partially supported by the rigorous results: the analytic theorems do not cover the triangular equilibria, and the CAPs are restricted to a subregion and are inconclusive near κ=0 and near bifurcations. This gap must be addressed before the stabilization claim can be accepted as proven.","major_comments":[{"comment":"The Introduction states that Section 8 'prove[s] that positive curvature has a stabilizing effect for L4 and L5', and §1.1 repeats this claim. But Section 8 contains no analytic stability theorem for triangular RE. It offers CAPs on a subregion of P_{μ_T} (Fig. 15(a),(c)), explicitly inconclusive near κ=0 and near bifurcations, numerical panels, and Conjecture 8.1. There is no rigorous proof that the elliptic/gyroscopically-stabilized region extends to all κ>0 for any fixed μ, nor a quantitative statement as κ→0. The abstract's weaker language ('indicates') is appropriate; the Introduction's 'prove' is not. Please either strengthen the proof or revise the claim to 'provide CAP-verified and numerical evidence'.","section":"§6, Theorem 6.2"},{"comment":"Theorem 6.2 asserts existence of exactly two triangular RE for sufficiently small κ>0, but gives no explicit κ* and no dependence on μ. The proof in Appendix B.2 also does not produce a constructive bound. As a result, the theorem cannot be combined with the CAPs (which are validated only for κ≥5.075×10^{-5}) to prove that the 'two triangular RE' found by CAPs are continuations of L4 and L5; this identification is left as a conjecture (see the discussion after Fig. 10). Since this identification is used in the stability conclusions of Section 8, the missing quantitative threshold is load-bearing for the claimed stabilization story.","section":"§1.2, §5.3–5.5, §6.2–6.3"},{"comment":"The paper consistently distinguishes proved results from conjectures, which is commendable. However, the abstract and introduction describe the work as providing classification results for the curved R3BP, while the full classification in the main parameter region P_{μ_T} rests on Conjectures 5.6, 6.4, 7.4, and 8.1. Remark 5.7 explicitly admits that the existence proofs for parts of P_{μ_T} and the bifurcation curves are missing. This is not a flaw in the proven theorems, but the manuscript should state more prominently, in the abstract and introduction, that the complete classification in P_{μ_T} is partly conjectural, with rigorous results covering a substantial subregion.","section":"Remark 2.3"},{"comment":"All positive-curvature results assume the primaries move on the acute circular relative-equilibrium branch, with the obtuse branch explicitly excluded. This is a legitimate scope choice, and it is clearly flagged in Remark 2.3. Nevertheless, because the abstract's 'spaces of constant curvature' could be read as covering the whole sphere, the limitation should be echoed in the abstract or the opening of the introduction. The current phrasing in §1.2 mentions the acute-angle restriction only in a parenthetical about circular motions.","section":"Appendix C.2"},{"comment":"In the first paragraph of Appendix C.2, the text refers to 'Propositions 4.3.1 or 4.15'. Proposition 4.3.1 does not exist; the intended references are presumably Proposition 4.11 (collinear) and Proposition 4.12 or 4.15 (triangular). This typo should be corrected, along with the surrounding cross-reference style.","section":"Footnotes 3 and 10"},{"comment":"The abuse of notation V_{\\kappa,\\mu} to denote potentials on both M^\\pm and S_\\kappa is used heavily; in Eq. (3.9) the potential is defined on the rescaled space, but in later sections the same symbol is used for the physical potential. This is not a mathematical error but makes the text harder to follow; a short notational remark would help.","section":"§1.3, §2.3, §5.4"},{"comment":"There are several typographical issues: 'whlie' in §1.3, 'attaraction' in §2.3, and 'F or' at the start of items in Conjectures 5.6, 6.4, 7.4, and 8.1. The reference [2] also has a doubled slash in the URL. These do not affect the mathematics but should be cleaned up.","section":null}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":"The paper is technically solid in its core analytic theorems and CAP methodology, and the authors are appropriately candid about the conjectural status of the full classification. The main issue is the overstatement in the Introduction that Section 8 proves the stabilizing effect of positive curvature on L4 and L5. This is fixable by rewording; it does not, in my view, undermine the validity of Theorems 4.1, 5.2, 6.2, or 7.2. I recommend major revision because the claim is load-bearing for the paper's advertised message, not because the mathematics is wrong."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real contribution, not just a numerical study dressed up. The analytic theorems are the meat: Theorem 4.1 gives a Poincaré–Hopf balance that forces new relative equilibria for κ>0, Theorem 5.2 classifies collinear RE for small κ with explicit parameter ranges, Theorem 6.2 proves uniqueness of triangular RE for small κ, and Theorem 7.2 establishes stability of the collinear RE. The CAPs extend these results to larger regions and are backed by cited Julia code using interval arithmetic. The asymptotic expansions in Section 9 cleanly connect the new equilibria to the planar limit. The topological explanation—compactness of the sphere forces extra equilibria—is genuinely novel and a nice addition.\n\nCredit where it's due: the problem is formulated carefully, with the distance normalized to 1 so that κ and μ are the only parameters, and the stability criteria are derived rather than fitted. The paper is honest in the body: Conjectures 5.6, 6.4, 7.4, and 8.1 are explicitly labeled as conjectures, and Remark 2.3 clearly states the obtuse-branch exclusion.\n\nThe soft spot is the advertised 'positive curvature stabilizes L4 and L5.' The introduction says Section 8 'prove[s]' this, but Section 8 contains no analytic stability theorem for triangular RE. It offers CAPs on a subregion of P_{μ_T}, which are inconclusive near κ=0 and near bifurcations, along with numerical evidence and Conjecture 8.1. The stress-test note is correct here. This is not a fatal flaw—the core existence/stability theorems are proven—but the intro should be toned down to match the actual content. Minor issues: Theorem 6.2 is existential and gives no explicit κ*; there is a small typo in Appendix B.1 about endpoint behavior of f4; and the CAP code is cited without a commit hash. These are easy fixes.\n\nOverall, the paper is a solid contribution to celestial mechanics and Hamiltonian dynamics, and it deserves a serious referee. I would recommend sending it to peer review, with a request that the authors revise the introduction and clarify the distinction between proven results and numerical evidence.","headline":"Solid rigorous progress on the curved restricted three-body problem, but the introduction overclaims what Section 8 actually proves about stabilization of the triangular equilibria.","tokens_in":735,"tokens_out":623,"would_cite":true,"duration_ms":32958,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70F07","37N05","37J20","37J25","65G30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Positive curvature forces new Lagrange-type equilibria in the curved three-body problem and stabilizes the classical triangular points.","keywords":["N-body problem in curved spaces","restricted three-body problem","Lagrange points","relative equilibria","bifurcation","stability","computer-assisted proofs","constant curvature"],"falsifier":"A direct numerical count of all nondegenerate critical points of V_{κ,μ} on the sphere for a fixed μ ∈ (0,1) and κ ∈ (0,π²/4) that does not yield exactly #maxima + #minima − #saddles = −2 would refute the topological theorem; equivalently, a numerical continuation showing that E2, E3, or A1 persists (rather than unbinding to infinite distance) as κ → 0+ would falsify the corollary that new equilibria must appear and then disappear when the space flattens.","tokens_in":62697,"feed_emoji":"🌐","tokens_out":6991,"duration_ms":58582,"temperature":0.7,"pith_summary":"The paper studies the circular restricted three-body problem on surfaces of constant curvature, the curved analogue of the classical planar problem with five Lagrange points. Its central claim is that on a positively curved sphere the surface's topology imposes a rigid balance among equilibrium types: however the amended potential's critical points are counted, #maxima + #minima − #saddles must equal −2. Since the five planar Lagrange points alone do not satisfy this balance, extra relative equilibria must appear for small positive curvature; the paper identifies them as three collinear points, E2, E3, and A1, and rigorously proves their existence and stability for small mass ratios. It also proves that the triangular points L4 and L5 are linearly stable for a wider range of mass ratios when curvature is positive and unstable when it is negative. These results convert earlier numerical observations into rigorous analysis, with computer-assisted proofs covering a substantial region of the parameter plane.","feed_headline":"Positive curvature creates three new Lagrange points","feed_subtitle":"The five classical points can’t satisfy the sphere’s balance requirement, so three hidden equilibria appear—and vanish as space flattens.","key_machinery":"The central object is the amended potential V_{κ,μ} on the unit sphere (or pseudosphere), obtained by rescaling the curved problem; its critical points are in one-to-one correspondence with relative equilibria. The load-bearing identity is the index balance #maxima + #minima − #saddles = −2, derived from the classical index theorem for vector fields on a sphere after extending the gradient field over the four singular points (the two primaries and their antipodes). A second piece of machinery is the 'triangular-balanced configuration' condition sin(d₁) = Λ sin(d₂) (with a hyperbolic analogue for negative curvature), expressed in distance coordinates, which reduces the search for triangular e","core_discovery":"On its own terms, the discovery is that the relative equilibria (the curved analogues of the Lagrange points) are governed by a topological balance condition: for fixed mass ratio μ ∈ (0,1) and curvature 0 < κ < π²/4, every nondegenerate critical point of the amended potential V_{κ,μ} obeys #maxima + #minima − #saddles = −2. The balance follows from the index theorem for vector fields on the sphere, with the two primaries and their antipodal points acting as four additional sources and sinks after the gradient flow is extended. The immediate corollary, that new relative equilibria must exist for small positive curvature, is made constructive: for small μ these are shown to be the collinear p","pith_inferences":["An immediate extension the authors leave implicit: the same index-balance argument should apply to the obtuse branch of the two-body problem on the sphere, yielding a separate count; completing that analysis would give a truly complete classification of relative equilibria on the sphere rather than only on the acute branch.","The index-balance identity is independent of the specific gravitational potential as long as the amended potential has the same attracting/repelling behavior at the four singular points; any interaction law with the same singularity structure on the sphere should obey the same −2 constraint, suggesting the count is geometric, not dynamical.","The stabilizing effect of positive curvature on L4 and L5 suggests a testable physical analogue: in a slightly curved model of a Sun–planet–massless-satellite system, the stability window for the triangular points should broaden relative to the Euclidean estimate; numerical integration of the full curved equations would settle whether the gyroscopic stabilization persists nonlinearly."],"forward_implications":["For small positive curvature and small mass ratio, the curved restricted three-body problem has exactly six collinear relative equilibria: the continuations of L1, L2, L3 plus the new points E2, E3, A1; as κ → 0+ the new ones escape to infinite distance from the rotation center.","The new collinear point E2 is a local minimum of the potential and hence Lyapunov stable, while L1, L2, L3, E3, and A1 are saddle-type (center–saddles) in the proven parameter ranges.","For sufficiently small positive curvature, the only triangular relative equilibria are the continuations of L4 and L5, for every mass ratio μ ∈ (0,1).","Positive curvature stabilizes L4 and L5: the interval of mass ratios for which they are linearly (gyroscopically) stable is strictly larger than in the planar problem; negative curvature destabilizes them.","Asymptotic expansions as κ → 0 and μ → 0 determine the locations of all collinear equilibria, showing which ones converge to the planar Lagrange points and which ones diverge."],"fun_headline_variants":["Curved space adds three Lagrange points","Three new Lagrange points on curved spheres","Positive curvature yields extra equilibria","Topology explains extra Lagrange points on sphere"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The primaries are assumed to move on the acute circular relative-equilibrium branch of the two-body problem that connects smoothly to the planar circular solution, with their mutual distance fixed to 1; the other (obtuse) branch on the sphere is excluded, so the classification and the count apply only to that branch.","fun_headline_variants_meta":{"raw":{"variants":["Curved space adds three Lagrange points","Three new Lagrange points on curved spheres","Positive curvature yields extra equilibria","Topology explains extra Lagrange points on sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000306,"raw_usage":{"total_tokens":1599,"prompt_tokens":763,"completion_tokens":836,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":785}},"tokens_in":507,"tokens_out":836,"duration_ms":7920,"temperature":1.0,"reasoning_tokens":785,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T13:18:38.358291+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical count of all nondegenerate critical points of V_{κ,μ} on the sphere for a fixed μ ∈ (0,1) and κ ∈ (0,π²/4) that does not yield exactly #maxima + #minima − #saddles = −2 would refute the topological theorem; equivalently, a numerical continuation showing that E2, E3, or A1 persists (rather than unbinding to infinite distance) as κ → 0+ would falsify the corollary that new equilibria must appear and then disappear when the space flattens.","supporting_citations":[],"review_version":1}