{"id":"1257064e-98f6-430a-9a64-8accc14ff5a1","arxiv_id":"2412.16671","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"This note reduces an existence question about bi-normal orbits in the spatial three-body problem to wrapped Floer homology, yielding a conditional proof that relies on an unverified twist assumption.","lead":"Using symplectic geometry, a new note argues that, if an unproven 'twist condition' is true, the restricted three-body problem has infinitely many orbits that start and end perpendicular to a reference plane. The paper offers a clear heuristic bridge from celestial mechanics to modern Floer homology, but the main theorem is explicitly speculative and conditional.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The conclusion rests on two unproven links: the twist condition (no example known, Remark 1.2) and a boundary-degenerate version of the relative Poincaré–Birkhoff theorem that is neither stated nor proved.","rationale":"The paper is unusually honest: Theorem A is labeled 'speculative,' and Remark 1.2 explicitly lists both missing ingredients—no known Hamiltonian satisfying the twist condition, and no fixed-point theorem for the degenerate/continuous boundary setups. The reduction of bi-normal trajectories to chords on L2=N*S1∩W is a clean and credible contribution, and the computation HW*(L2)≅H*(P_{S1}S2) is standard and infinite-dimensional. My concern is not that the authors are hiding something, but that the logical chain from the physical problem to [ML24]'s theorem contains an unproven 'modified version' of that theorem. This is more load-bearing than the twist condition alone, because even granting Assumption 1, the physical page is not a non-degenerate Liouville domain with smooth τ; it is either degenerate at the boundary or irregular at the boundary, and no theorem covers that case. Therefore the paper establishes a research program, not a theorem. Since the reader already assigned CONDITIONAL with high correctness risk, my read does not move the verdict; it reaffirms it.","tokens_in":7539,"tokens_out":27166,"duration_ms":246904,"concrete_test":"Analytical check: trace the proof of Theorem 1 in [ML24] and identify the first step that requires non-degeneracy of ω at ∂W (e.g., the chord action functional or compactness of the Floer equation). Test whether that step survives in setup (a), where ω degenerates on ∂W but τ is smooth, and in setup (b), where τ is only continuous. If the step fails and no replacement argument is supplied, the 'modified version' invoked by the paper is a genuine gap; if it survives, the gap is closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Load-bearing concern: Theorem A is inferred by applying Theorem 1 ([ML24]) to the page W of the SCR3BP open book. For this inference to go through, two hypotheses must be met that the paper does not establish. First, Assumption 1 (twist condition) is an open condition: Remark 1.2 states that, although Hamiltonians generating the return map τ are known in setup (a), none is known to satisfy X_H|∂W = h_t R_α. Second—and more seriously—Theorem 1 is a statement about Liouville domains with non-degenerate symplectic form. The SCR3BP page is not such an object: by Remark 1.2 and Mor24 Sec. 6, one has either a smooth τ with ω degenerate at ∂W (setup (a)) or ω non-degenerate but τ only continuous (setup (b)). The paper 'assumes these technicalities away' and invokes 'a modified version' of [ML24] without stating or proving it. Remark 1.2 concedes the fixed-point problem for the degenerate/continuous setting 'has not yet been successfully addressed.' Thus the proof chain contains two missing links, not one. This is not an internal contradiction—the paper honestly labels Theorem A 'speculative'—but it means the central claim is a research roadmap, not a demonstrated conditional theorem. The weakest point is the unproven modified theorem; without it, even a true twist condition would not yield the chord-counting conclusion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the spatial circular restricted three-body problem (SCR3BP). It claims that, under an unproved twist condition of Moreno–van Koert, in the convexity range and near the primaries, there are infinitely many trajectories bi-normal to the xz-plane. The proof interprets such trajectories as Hamiltonian chords on a Lagrangian L2 (the regularized fixed point set of an anti-symplectic involution) in a page W of an adapted open book, and applies the relative Poincaré–Birkhoff theorem of the authors' preprint [ML24]. A conjecture for bi-normal trajectories to the x-axis is also stated, and a known result of Broćić–Cant–Shelukhin is invoked for a single Reeb chord.","tokens_in":7916,"tokens_out":11843,"duration_ms":105074,"significance":"The paper's main contribution is conceptual: it reduces a concrete celestial-mechanics question to a Floer-theoretic chord-counting statement and identifies L2 as a conormal bundle whose wrapped Floer cohomology is infinite-dimensional. If the twist condition and a suitable boundary-degenerate version of the relative Poincaré–Birkhoff theorem were established, the result would be a significant application of symplectic topology to the spatial three-body problem. The authors are admirably explicit about the conditional and speculative nature of Theorem A. However, the central claim is not a fully proven theorem, and the two missing ingredients are load-bearing.","major_comments":[{"comment":"Theorem A is conditional on Assumption 1, but Remark 1.2 states that no Hamiltonian generating the return map τ is known to satisfy the twist condition in the spatial problem. Thus the hypothesis of the main theorem is an open problem, not an established property of the SCR3BP. The paper should state this explicitly as an assumption in the theorem and should not present Theorem A as a theorem of the SCR3BP; at present it is a conjecture or a conditional statement.","section":"§1, Assumption 1 & Remark 1.2"},{"comment":"The proof applies 'a modified version' of Theorem 1 ([ML24]) to the page W, but no such modified theorem is stated or proved. Remark 1.2 concedes that the fixed-point theorem in the degenerate/continuous boundary setting 'has not yet been successfully addressed.' Since Theorem 1 is formulated for a Liouville domain with non-degenerate symplectic form and a smooth exact symplectomorphism, while in the SCR3BP one has either a smooth τ with degenerate ω (setup (a)) or a non-degenerate ω with only continuous τ (setup (b)), the chord-counting conclusion does not follow from the stated Theorem 1. This is a load-bearing gap.","section":"§3, Theorem 1 & Proof of Theorem A"},{"comment":"The identification L2 = N^*R ∩ W and the infinite-dimensionality of HW^*(L2) rely on the symplectomorphism W ≅ D^*S^2. In the setup where the symplectic form is non-degenerate, the conjugation is only continuous at the boundary, so the smoothness hypotheses needed for wrapped Floer cohomology and for Theorem 1 are not justified for the actual page. The paper should either prove the required modification or state it as an explicit additional assumption.","section":"§2, Proposition 2.3 & Lemma 3.4"}],"minor_comments":[{"comment":"There is a missing space in 'theecliptic'; it should read 'the ecliptic'.","section":"Page 4, line 1"},{"comment":"The passage from the coordinates in (2.12) to the coordinates in T^*S^2 is not self-contained; please spell out the symplectomorphism W ≅ D^*S^2 or give a precise reference to [MvK22b].","section":"§3, Eq. (3.13)"},{"comment":"The reference to [Lim25] is used for the 'standard methods of algebraic topology' and for the weakened twist condition; since it is a PhD thesis 'to appear', please replace it by a stable publication or include the relevant arguments in the paper.","section":"References [Lim25]"},{"comment":"The 'convexity range' is defined only by reference to [AFF+12]; a precise statement of the range of (µ,c) would make the paper more self-contained.","section":"§1, 'convexity range'"}],"recommendation":"major_revision","confidential_remarks":"This is a short, honest research announcement. The main theorem is not proven, and the gaps are explicitly acknowledged by the authors. If the journal's scope includes speculative notes or open problems, a major revision turning the paper into a clearly labelled conjecture paper could be considered; otherwise, I would not recommend acceptance. There is also a heavy reliance on the authors' own recent work ([ML24], [Lim25]), which the editor may wish to take into account."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: a clear, honest research note that identifies a new route to a classical existence problem, but the main theorem is explicitly conditional on two unproven technical bridges. The paper is best read as a roadmap, not a demonstrated theorem.\n\nThe genuinely new step is the reduction of bi-normal trajectories to Hamiltonian chords on the Lagrangian L2 = Fix(ρ2) ∩ W in a page of the SCR3BP open book, together with the explicit identification L2 = N*R, the conormal bundle of an equator in D*S2. From there, the wrapped Floer cohomology computation via Abbondandolo–Portaluri–Schwarz is clean and gives HW*(L2) infinite-dimensional. The exposition is also unusually candid: Remark 1.2 states that no Hamiltonian generating the return map is known to satisfy the twist condition, and that the boundary degeneracy of the symplectic form has not been resolved. The authors call Theorem A 'speculative' themselves, and that label is accurate.\n\nThe soft spots are exactly where the stress-test points. The proof chain needs two unproven links: first, the twist condition (Assumption 1) is an open condition with no known example in the spatial problem; second, Theorem 1 from [ML24] is for a non-degenerate Liouville domain, while the page W is either smoothly mapped with degenerate ω or continuously mapped with non-degenerate ω. The paper simply assumes the technicalities away and invokes \"a modified version\" of the theorem without stating or proving it. That means even if the twist condition were verified, the chord-counting conclusion would not follow without a genuinely new boundary-degenerate fixed-point theorem. The authors acknowledge this in Remark 1.2, which is to their credit, but it is a hard gap, not a formality.\n\nMinor concerns: the exactness claim for L2 near the boundary deserves a referee's check, and the paper relies heavily on the authors' own prior machinery (MvK22a, MvK22b, ML24), which is defensible but makes independent verification slower. None of that is a flaw in the work's logic.\n\nWho should read this: symplectic topologists working on celestial mechanics and anyone interested in the existence of special orbits in the three-body problem. The paper deserves a serious referee: the framework is new, the writing is clear, and the open issues are stated honestly. I would send it to peer review, with the expectation that the referee assesses the reduction and the plausibility of the missing links rather than demanding an unconditional proof. My own position: it is a promising conditional roadmap, not an established theorem.","headline":"Honest, well-written conditional roadmap connecting bi-normal orbits to wrapped Floer chords, but the main theorem rests on two unproven technical bridges.","tokens_in":8321,"tokens_out":3540,"would_cite":true,"duration_ms":29628,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D40","37J46","70F07"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that, under a twist condition on the first-return map, the spatial circular restricted three-body problem admits infinitely many trajectories that meet the xz-plane normally at both their initial and final times.","keywords":["circular restricted three-body problem","spatial problem","bi-normal trajectories","Hamiltonian chords","wrapped Floer cohomology","twist condition","open book decomposition","conormal bundle"],"falsifier":"For one concrete mass ratio and Jacobi constant in the convexity range below $H(L_1)$, numerically integrate the regularized spatial flow near the boundary of the page $W$ with $\\xi_3=0$ and $\\eta_3\\ge 0$, extract the first-return map, and check whether its boundary linearization is a positive multiple of the Reeb field; finding any boundary point with non-positive or zero proportionality would falsify Assumption 1, and with it the theorem's hypothesis in the spatial problem.","tokens_in":7364,"feed_emoji":"🛰️","tokens_out":15238,"duration_ms":109898,"temperature":0.7,"pith_summary":"This paper argues that, in the spatial circular restricted three-body problem, there should be infinitely many satellite trajectories that lie in the xz-plane at their initial and final times, with velocity perpendicular to that plane at those instants. The argument is conditional: it assumes a twist condition on the first-return map of the flow on a page of an open book decomposition, and it deliberately assumes away a degeneracy of the symplectic form at the boundary. The interest of the claim is that these bi-normal trajectories are concrete geometric constraints, and the proof reduces their existence to a chord-counting problem on a Lagrangian submanifold that is known to have infinite-dimensional wrapped Floer cohomology. If the twist condition is eventually verified or replaced by a workable weaker version, the same counting argument would give the infinite family for energies below or slightly above the first critical value, in the convexity range and near the two primaries.","feed_headline":"Infinite bi-normal orbits near primaries, if twist holds","feed_subtitle":"The theorem converts a twist condition on the return map into infinitely many exact start-and-end-normal paths.","key_machinery":"The machinery is a three-part chain. First, the regularized energy level set is viewed as a Reeb flow on a fibrewise star-shaped domain in $T^*S^3$, and an open book decomposition supplies a page $W$ with $\\xi_3=0$ and $\\eta_3\\ge 0$ that is a global hypersurface of section, symplectomorphic to a fibre-wise star-shaped domain in $T^*S^2$. Second, bi-normal trajectories are reinterpreted as Hamiltonian chords on the Lagrangian $L_2 = N^*R \\cap W$, the conormal bundle of the equator in $S^2$; exactness of $L_2$ lets wrapped Floer cohomology be computed as $HW^*(L_2) \\cong H^*(P_{S^1}S^2)$, which is infinite-dimensional. Third, the relative Poincaré–Birkhoff theorem converts the twist condition on the return map — that it is generated by a Hamiltonian whose boundary vector field is a positive multiple of the Reeb field — together with infinite-dimensional wrapped Floer cohomology and finite interior chords, into infinitely many interior Hamiltonian chords of arbitrarily large order.","core_discovery":"The paper's central claim is that, in the spatial circular restricted three-body problem, for energies below or slightly above the first critical value and in the convexity range, infinitely many trajectories are bi-normal to the xz-plane, provided the first-return map on a page of the associated open book satisfies a twist condition. The reduction is geometric: a bi-normal trajectory is exactly a Hamiltonian chord with endpoints on the Lagrangian submanifold $L_2 = \\widetilde{F}_2 \\cap W$, the regularized fixed-point set of an anti-symplectic involution. The paper identifies $L_2$ with the conormal bundle $N^*R \\cap W$ of the equator $R \\subset S^2$ inside a page $W \\simeq D^*S^2$, so that wrapped Floer cohomology $HW^*(L_2)$ is isomorphic to $H^*(P_{S^1}S^2)$, which is infinite-dimensional. Applying the relative Poincaré–Birkhoff theorem then yields infinitely many interior chords, hence infinitely many bi-normal trajectories; the paper marks the conclusion speculative because the twist condition is not yet known to hold in the spatial problem and the boundary degeneracy of the symplectic form is assumed away.","pith_inferences":["Editorial inference: if the twist condition is later weakened to allow boundary degeneracy, the same computation of $HW^*(L_2)$ should extend the conclusion beyond the convexity range, since the wrapped Floer cohomology computation is independent of the twist condition.","Editorial inference: the identification of $L_2$ with the conormal bundle of the equator suggests a concrete numerical check—integrate the regularized flow near the boundary of $W$ and measure whether the linearized return map rotates positively relative to the Reeb direction; sustained positive rotation would be direct evidence for Assumption 1.","Editorial inference: bi-normal trajectories are exactly the kind of constraint used in orbit design (start and end in a fixed plane with matching velocity), so a verified infinite family would provide a countable set of candidate transfer orbits between out-of-plane states near the Earth and Moon; the paper does not pursue this application."],"forward_implications":["Under Assumption 1, in the convexity range and for energies below $H(L_1)$, infinitely many trajectories are bi-normal to the $xz$-plane in each bounded component near the primaries.","For energies slightly above $H(L_1)$, where the page is a connected sum of two copies of $W$, the same conclusion follows by the same argument.","The chords produced by the relative Poincaré–Birkhoff theorem have arbitrarily large order, so the bi-normal trajectories form an infinite family rather than finitely many low-order families.","If a boundary analog of the theorem can be proved, the paper conjectures infinitely many trajectories bi-normal to the $x$-axis; already, the chord conjecture for conormal bundles yields at least one such trajectory."],"supporting_citations":[{"why":"Supplies the relative Poincaré–Birkhoff theorem for Liouville domains that turns infinite-dimensional wrapped Floer cohomology plus a twist condition into infinitely many Hamiltonian chords.","marker":"[ML24]"},{"why":"Constructs the open book decomposition of the regularized spatial problem whose pages are global hypersurfaces of section, including the page $W$ used in the proof.","marker":"[MvK22a]"},{"why":"Defines the twist condition and establishes strong index-definiteness for energies below $H(L_1)+\\varepsilon$ in the convexity range; also gives the Hamiltonian extension used in the setup.","marker":"[MvK22b]"},{"why":"Provides the theorem $HW^*(L)\\cong H^*(P_RM)$ for conormal Lagrangians, which the paper uses to prove $HW^*(L_2)$ is infinite-dimensional.","marker":"[AS08]"},{"why":"Shows the regularized low-energy spatial problem is a Reeb flow on a fibrewise star-shaped domain in $T^*S^3$, the starting point for the open book construction.","marker":"[CJK20]"},{"why":"Supplies the original twist condition in the planar problem, which Assumption 1 generalizes to arbitrary dimension.","marker":"[Poi12]"},{"why":"Gives a chord conjecture for conormal bundles used to produce at least one boundary Reeb chord, supporting the paper's conjecture on trajectories bi-normal to the $x$-axis.","marker":"[BCS24]"}],"fun_headline_variants":["Twist condition yields infinite bi-normal orbits","Bi-normal paths infinite near primaries, given twist","Infinite bi-normal trajectories if twist holds","Twist on return map: infinite bi-normal chords"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Assumption 1, the twist condition: the first-return map on the page of the open book must be generated by a Hamiltonian whose vector field on the boundary is a positive multiple of the Reeb field, and the paper itself notes that no Hamiltonian satisfying this condition is currently known in the spatial problem, while the boundary degeneracy of the symplectic form is simply assumed away.","fun_headline_variants_meta":{"raw":{"variants":["Twist condition yields infinite bi-normal orbits","Bi-normal paths infinite near primaries, given twist","Infinite bi-normal trajectories if twist holds","Twist on return map: infinite bi-normal chords"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000177,"raw_usage":{"total_tokens":1266,"prompt_tokens":889,"completion_tokens":377,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":318}},"tokens_in":505,"tokens_out":377,"duration_ms":4435,"temperature":1.0,"reasoning_tokens":318,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:21:28.133058+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For one concrete mass ratio and Jacobi constant in the convexity range below $H(L_1)$, numerically integrate the regularized spatial flow near the boundary of the page $W$ with $\\xi_3=0$ and $\\eta_3\\ge 0$, extract the first-return map, and check whether its boundary linearization is a positive multiple of the Reeb field; finding any boundary point with non-positive or zero proportionality would falsify Assumption 1, and with it the theorem's hypothesis in the spatial problem.","supporting_citations":[],"review_version":1}