2007.12531
Critical homoclinics in a restricted four body problem numerical continuation and center manifold computations
Wouter Hetebrij, J.D. Mireles James
incompletemedium confidence
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper frames its four statements explicitly as conjectures supported by numerics and normal-form calculations, not as theorems, so it is intentionally incomplete regarding rigorous proofs (see “Conclusions,” Conjectures 1–4, and the surrounding discussion) . The candidate model correctly reproduces the characteristic polynomial and the identification of the critical curve D via b=ΩxxΩyy−Ωxy^2=0 (matching Eq. (5)) but makes a key factual error in asserting that L0 is never a saddle‑focus. The paper’s own configuration summary states that L0 has saddle‑focus stability for some mass values, and its review of the triple Copenhagen computations treats homoclinics at a saddle‑focus equilibrium at L0 (e.g., Section 1.3 and Fig. 2 caption) . Consequently, the model’s attempted refutation of Conjecture 1 (on Belyakov–Devaney transitions) is not supported. Overall: the paper remains conjectural; the model’s core counterclaim about L0’s stability is incorrect; hence both are incomplete for a final resolution.
Referee report (LaTeX)
\textbf{Recommendation:} major revisions
\textbf{Journal Tier:} specialist/solid
\textbf{Justification:}
The manuscript offers a coherent, numerically informed conjectural picture of how the short homoclinic families behave across the CRFBP mass simplex and at the critical curve, including evidence for BD transitions and a plausible organization by loci D, D', and Dj. However, the headline conclusions are conjectures; a higher-impact contribution would require strengthened, ideally validated numerics and/or rigorous computer-assisted proofs. Clearer delineation of stability regions for L0 and a precise definition/plot of D' would improve clarity and reproducibility.