{"id":"4358736d-c1a8-499d-a33c-2eef8799704f","arxiv_id":"2607.00517","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves existence of nontrivial periodic solutions in symmetric 3DOF Hamiltonian systems reduced to 2DOF via minimax on Maupertuis functional, with applications to three-body and Kepler problems.","lead":"The paper proves existence of periodic solutions (including nontrivial spatial ones) on energy surfaces in reduced 2DOF Hamiltonian systems from symmetric 3DOF ones, using a minimax variational method on the Maupertuis functional, with a Morse-index condition for nontriviality. It applies the result to the isosceles three-body problem and spatial anisotropic Kepler problem.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the topological hypotheses required for the minimax step; these are the only non-routine ingredients. Because the manuscript supplies an explicit sufficient condition for nontriviality and verifies it in the two concrete applications, the conditional nature of the theorem does not constitute a load-bearing flaw. The low-confidence UNVERDICTED verdict is therefore left unchanged once the full text is taken into account.","tokens_in":1694,"tokens_out":349,"duration_ms":17750,"concrete_test":"Extract the precise topological hypotheses stated in the existence theorem (likely in §3 or §4) and recompute the topology (e.g., connectedness, fundamental group, or Lusternik–Schnirelmann category) of the Hill region for the isosceles three-body problem at a sample energy level where compactness holds; confirm the hypotheses are satisfied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim establishes conditional existence of periodic orbits (including nontrivial spatial ones) in the reduced 2DOF system via a minimax argument on the Maupertuis functional, provided the compact Hill regions satisfy suitable topological hypotheses that enable the saddle-point theorem. A separate Morse-index criterion is then derived to guarantee the obtained critical points are nontrivial rather than planar brake orbits. The paper applies the framework to the isosceles three-body problem and the spatial anisotropic Kepler problem, explicitly verifying the nontriviality condition in each case. No internal gap in the logical chain (reduction, functional setup, index computation, or application) is visible; the result is a standard conditional variational existence theorem whose hypotheses are stated and checked where claimed.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that, under suitable topological assumptions on compact Hill regions, a minimax argument applied to the Maupertuis functional yields periodic solutions on every energy surface of the reduced 2DOF Hamiltonian system obtained by fixing angular momentum in a 3DOF system invariant under z-axis rotations and xy-plane reflections. These critical points are either nontrivial spatial periodic orbits or trivial planar brake orbits; a Morse-index criterion is derived to guarantee nontriviality, and the criterion is verified explicitly for the isosceles three-body problem and the spatial anisotropic Kepler problem.","tokens_in":1803,"tokens_out":346,"duration_ms":19553,"significance":"If the topological hypotheses hold and the index computations are correct, the work supplies a conditional variational existence theorem for relative periodic orbits in symmetric Hamiltonian systems, together with concrete nontriviality verifications in two standard celestial-mechanics examples. The approach combines established minimax and Morse-theory techniques in a manner that is directly applicable once the topological assumptions are checked.","major_comments":[],"minor_comments":[{"comment":"The topological assumptions required for the minimax theorem are referred to only as 'suitable' in the abstract and introduction; a concise, self-contained list of these hypotheses (e.g., connectedness, genus, or homology conditions on the Hill region) would improve readability.","section":null},{"comment":"Notation for the reduced Maupertuis functional and the associated Sobolev space should be introduced once and used consistently; occasional shifts between the original 3DOF and reduced 2DOF variables can be confusing.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary of our work and the recommendation of minor revision. No specific major comments were raised in the report, so we have no point-by-point rebuttals to provide. We will incorporate any minor editorial or typographical suggestions in the revised manuscript.","responses":[],"tokens_in":1208,"tokens_out":75,"duration_ms":8015,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that the paper reduces symmetric 3DOF Hamiltonian systems to 2DOF by fixing angular momentum, then applies a minimax argument to the Maupertuis functional on compact Hill regions to get periodic solutions on each energy surface. It next derives a Morse index condition to ensure the critical points are nontrivial spatial orbits rather than planar brake orbits, and checks that this condition holds for the isosceles three-body problem and the spatial anisotropic Kepler problem.\n\nThe new element is the sufficient condition based on the Morse index for nontriviality, together with its explicit verification in those two concrete cases. The reduction and the use of the Maupertuis functional follow known techniques, but the index step makes the result more useful for finding the spatial solutions of interest.\n\nThe paper handles the setup cleanly: it states the symmetry, the reduction, the topological assumptions on the Hill regions, and then carries out the checks in the examples without apparent circularity. The logic chain from reduction to functional to index computation looks intact.\n\nThe limitation is that existence still depends on the Hill regions satisfying the right topological hypotheses, which are only confirmed for the two problems treated. Outside those cases the result does not apply, and the work stays within the range where the regions are compact. No other gaps stand out.\n\nThis is for people working on periodic orbits in Hamiltonian systems with symmetry, especially in celestial mechanics. A reader who needs existence proofs with concrete checks will get something usable. It is grounded enough to deserve peer review.","headline":"This is a conditional variational existence proof for nontrivial periodic orbits in two symmetric Hamiltonian systems, using minimax on the Maupertuis functional plus a Morse index check that is verified in the applications.","tokens_in":2270,"tokens_out":392,"would_cite":false,"duration_ms":20360,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Under topological assumptions on compact Hill regions, a minimax method on the Maupertuis functional yields periodic solutions on every energy surface of the reduced two-degree-of-freedom system.","keywords":["relative periodic orbits","Hamiltonian systems","minimax method","Maupertuis functional","Hill regions","three-body problem","Kepler problem"],"falsifier":"An explicit energy value and Hill region whose topology satisfies the stated assumptions yet whose Maupertuis functional possesses only the trivial planar critical points.","tokens_in":2584,"feed_emoji":"","tokens_out":477,"duration_ms":14158,"temperature":0.7,"pith_summary":"The paper examines three-degree-of-freedom Hamiltonian systems that remain unchanged under rotation about the z-axis and reflection across the xy-plane. Angular momentum is fixed to reduce the system to two degrees of freedom. On ranges of energy where the Hill regions stay compact, suitable topological assumptions allow a variational minimax argument to locate periodic solutions as saddle points of the Maupertuis functional. These solutions are either nontrivial spatial periodic orbits or trivial planar brake orbits in the reduced system. A Morse-index condition is given that guarantees the solutions are nontrivial, and the results are checked on the isosceles three-body problem and the spatial anisotropic Kepler problem.","feed_headline":"Minimax locates periodic solutions on every energy surface of reduced Hamiltonian systems","feed_subtitle":"Topological assumptions on compact Hill regions let the Maupertuis functional produce saddle-point orbits that are nontrivial under a Morse-","key_machinery":"The Maupertuis functional defined on the energy surfaces of the reduced two-degree-of-freedom system, with a minimax procedure locating its saddle points.","core_discovery":"Under suitable assumptions on the topology of these compact Hill regions, periodic solutions exist on each prescribed energy surface of the reduced system as saddle points of the Maupertuis functional. The resulting solutions are either nontrivial spatial periodic solutions or trivial planar brake solutions in the reduced system. Computing the Morse index supplies a sufficient condition that ensures the periodic solutions obtained are nontrivial.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Minimax locates periodic orbits on every reduced energy surface","Maupertuis saddles yield periodic solutions on each energy surface","Hill region topology enables minimax periodic orbits in reductions","Morse index ensures nontrivial minimax orbits on energy surfaces"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The topology of the compact Hill regions permits the minimax method to be applied to the Maupertuis functional on each energy surface.","fun_headline_variants_meta":{"raw":{"variants":["Minimax locates periodic orbits on every reduced energy surface","Maupertuis saddles yield periodic solutions on each energy surface","Hill region topology enables minimax periodic orbits in reductions","Morse index ensures nontrivial minimax orbits on energy surfaces"]},"model":"grok-4.3","cost_usd":0.005654,"raw_usage":{"total_tokens":2606,"prompt_tokens":635,"num_sources_used":0,"completion_tokens":65,"cost_in_usd_ticks":56540500,"prompt_tokens_details":{"text_tokens":635,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1906,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":635,"tokens_out":65,"duration_ms":13676,"temperature":1.0,"reasoning_tokens":1906,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-02T05:31:46.973889+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit energy value and Hill region whose topology satisfies the stated assumptions yet whose Maupertuis functional possesses only the trivial planar critical points.","supporting_citations":[],"review_version":1}