{"id":"14249ee9-d5a3-4efc-846d-fb345dddaea5","arxiv_id":"2608.12901","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Hamiltonian system covering anisotropic Kepler and symmetric n-body reductions admits infinitely many periodic orbits on every compact energy surface when the anisotropy parameter sum condition holds.","lead":"The paper proves that a generalized anisotropic Kepler Hamiltonian, which includes hip-hop (1+2n)-body and n-pyramidal systems as special cases, has infinitely many periodic orbits on every compact regular energy surface. The proof combines a contact-geometry formula with new estimates on rotation numbers of a planar Kepler orbit.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 relies on an unproven rotation-number inequality in the moderate-β regime, imported from the authors' in-press [13]; the small-mass-ratio applications sit exactly in that regime.","rationale":"The reader's weakest_assumption identifies the same point I would flag. I re-read §4.2–4.3 and confirmed that Theorem 4.3 (the genuinely new analytic ingredient) only covers β>β*(e), while the proof of Theorem 1.1 uses Theorem 4.2 to fill all smaller β. The CHHL argument, volume comparison (Prop 3.1), and topological reduction (Prop 2.1) are coherent, and the equality analysis is consistent. The finite inequality n>a(n) for n≤472 in Corollary 1.3 is asserted rather than proved, and the abstract omits the n≤472 restriction, but these affect only an application's statement, not the central mechanism. The external dependency is therefore the single load-bearing risk: the central theorem's coverage of small-β (small-mass-ratio) cases is only as solid as [13]. Since [13] is accepted/to-appear and the inequality is plausible, I do not recommend rejection; the conditional verdict stands until the cited proof is verified or incorporated.","tokens_in":18961,"tokens_out":34599,"duration_ms":338459,"concrete_test":"Inspect the proof of Theorems 2.2 and 2.9 in arXiv:2602.24025 and verify that it covers the full interval β∈(0,6/e+3] for every e∈(0,1), with no hidden restrictions such as β bounded away from 0 or e near 0 or 1, and that the 'β≥6/e+3' extension in the statement of Theorem 4.2 follows either there or from a one-line argument. If the cited proof is complete, the dependency is benign; if it has a gap, restrict Theorem 1.1 to β>β*(e) or add a proof of the moderate-β inequality, and correspondingly weaken Corollaries 1.2–1.3 for small mass ratios.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 (§4.3) requires ρ̂_{p,β,e} > √(1+β) for every β>0, e∈(0,1). Theorem 4.3 establishes this only for β>β*(e). For the complementary range β∈(0,β*(e)] the preprint supplies no derivation; it cites Theorem 4.2 from [13], which is stated ('For every e∈(0,1), β∈(0,6/e+3]') with the additional remark that the inequality also holds for β≥6/e+3, but no proof is reproduced. Since β*(e)<6/e+3, the interval (0,β*(e)] is entirely external to this paper. This is not a cosmetic gap: in Corollary 1.2 the hip-hop parameter satisfies β(n,m0)→0 as m0→∞ and in Corollary 1.3 the pyramidal parameter satisfies β(α)→0 as α→0 (Remark 4.1), so the applications advertised in the abstract use precisely the regime whose inequality is not proved here. A failure or gap in [13] would remove exactly those examples from Theorem 1.1; the central infinitely-many-orbits statement is otherwise internally consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the reduced Gutzwiller-type anisotropic Kepler problem, a two-degree-of-freedom Hamiltonian of the form (3). Under the parameter condition sum_{i=1}^n A_i B_i >= sum_{i=0}^n A_i and the energy-range assumption -C^2 < 2hϖ^2 < -A_0^2, the authors prove (Theorem 1.1) that the Seifert rotation number ρ̂_p of the planar Kepler orbit satisfies ρ̂_p >= T_p^2 / vol(M,λ), with equality only in the isotropic Kepler case, and conclude via the CHHL two-or-infinity formula that every compact regular energy surface carries infinitely many periodic orbits. The proof combines a Jensen-type volume comparison with the comparison system (13)–(14), estimates of the rotation number via the Hill stability equation (6), and applications of the CHHL theorem. The result is then specialized to the hip-hop (1+2n)-body problem (Corollary 1.2) and the n-pyramidal problem (Corollary 1.3), yielding infinitely many relative periodic orbits in those systems.","tokens_in":18982,"tokens_out":28133,"duration_ms":240632,"significance":"If the main theorem holds, the paper gives a substantial generalization of earlier work on the anisotropic Kepler problem and provides new infinite families of relative periodic orbits in two classical n-body problems. The volume comparison argument in Section 3 is clean and the large-β rotation-number estimate in Theorem 4.3 is proved in detail with explicit bounds. The paper also gives an explicit verification of the coefficient conditions for the hip-hop and pyramidal applications. The main reservation is that the proof of Theorem 1.1 for the moderate-β regime depends on an inequality quoted without proof from the in-press paper [13]; this is a load-bearing external dependency that should be addressed before publication.","major_comments":[{"comment":"The proof of Theorem 1.1 for β>0 uses the inequality ρ̂_{p,β,e} > √(1+β) for every β>0 and e∈(0,1). Theorem 4.3 establishes this inequality only for β>β*(e). For the complementary range β∈(0,β*(e)] the paper quotes Theorem 4.2 from the in-press paper [13] and gives no proof. Since the authors themselves show β*(e)<6/e+3, the moderate-β interval is not covered by any argument in this manuscript. Remark 4.1 then shows that the hip-hop parameter β(n,m0)→0 as m0→∞ and the pyramidal parameter β(α)→0 as α→0, so the applications advertised in the abstract lie precisely in the unproved regime. This is a load-bearing external dependency: if Theorem 4.2 of [13] were false or unavailable, Theorem 1.1 would lose exactly the small-β cases. Please include a complete proof of the moderate-β inequality, or state the theorem as conditional and provide the proof of the quoted result for the reader.","section":"§4.3, Theorems 4.2 and 4.3, proof of Theorem 1.1"}],"minor_comments":[{"comment":"The assertion that β*(e) is continuous on (0,1) is made without showing that the two branches agree at e=2/3; please add the one-line verification.","section":"§4.3, Theorem 4.3"},{"comment":"The phrase '2≤n≤472 is equalent to n > a(n)' is imprecise; the numerical range is a sufficient condition, not an equivalence. Please rephrase and correct the spelling of 'equivalent'.","section":"§4.5, Corollary 1.3"},{"comment":"The displayed count of zeros of the comparison solution includes the initial point t=0 through the '+1' term; this does not affect the limit in Eq. (23), but the formula as written only holds for the closed interval [0,τ0]. It would be clearer to count zeros in (0,τ0] and drop the '+1'.","section":"§4.3, Eq. (25)"},{"comment":"There are several typos, including 'then-pyramidal problem' in the abstract and introduction and the missing space in the title 'andn-body problem'. Please correct them throughout.","section":"Title, Abstract, Introduction"}],"recommendation":"major_revision","confidential_remarks":"The main theorem rests on an inequality quoted from the authors' own in-press paper [13]. If that paper is accepted and the proof is valid, the present paper is likely acceptable after a revision that either reproduces the proof of the moderate-β inequality or makes the dependence fully transparent. Given the overlap with [16] and [18], the novelty of the current paper should be clearly framed in terms of the general condition Σ A_i B_i ≥ Σ A_i. I recommend asking for a complete proof of the quoted rotation-number bound, or at least a precise reference to the exact theorem and location in [13]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — read this one if you care about the contact-geometry program for periodic orbits in celestial mechanics. The genuinely new piece is Theorem 4.3: a sharper explicit bound β*(e) with β*(e) < 6/e+3, proved by a blow-up comparison. The volume comparison in Section 3, using Jensen to dominate the multi-term potential by a single-anisotropy comparison system, is clean and does what it claims. From those two ingredients, the derivation of Theorem 1.1 is coherent: the rotation number of the planar Kepler orbit depends on β = D/C − 1, and CHHL does the heavy lifting as an external theorem. I checked the relations (19)–(25) and the splitting of e∈(0,2/3] vs [2/3,1); the comparison argument and the final β* bound look sound. This is a real extension of the group's earlier [16], and the hip-hop application's verification d(n,m0) > c(n,m0) is a direct, valid inequality.\n\nThe soft spots are real but not fatal to the central claim. First, the inequality ρ̂_{p,β,e} > √(1+β) is needed for all β>0, but Theorem 4.3 only proves it for β>β*(e). The complement β∈(0,β*(e)] is imported verbatim from the authors' in-press [13] (Theorem 4.2), so the paper is not self-contained in a regime that matters: in Corollary 1.2, β→0 as m0→∞, and in Corollary 1.3, β→0 as α→0. If [13] changes or has a gap, those applications lose their footing. That is load-bearing, but it is a dependency issue, not an internal contradiction. Second, the abstract states the n-pyramidal result without the restriction 2≤n≤472 that Corollary 1.3 actually contains; for n>472 the condition n>a(n) fails. Third, the finitely many cases 2≤n≤472 are disposed of by assertion, with no table or algorithm shown; that should be supplied. None of these undermines the proof of Theorem 4.3 or the volume comparison. The central infinitely-many-orbits statement is likely correct, and the citation pattern is heavy on the authors' own earlier work but not abusive given the direct lineage.\n\nWho is this for? People working on Reeb dynamics, Maslov index, and symmetric n-body problems. It deserves a serious referee. My recommendation: send to review, and have the referee check Theorem 4.2 in [13] carefully, ask for the abstract/corollary mismatch to be fixed, and request the finite verification for n≤472.","headline":"Genuinely new rotation-number bound and a clean volume comparison, but the main theorem leans on an in-press result from the same group in exactly the regime the n-body applications use.","tokens_in":19779,"tokens_out":2031,"would_cite":true,"duration_ms":19474,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70F10","37J46","53D12","53D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Gutzwiller-type anisotropic Kepler problem has infinitely many periodic orbits on every compact regular energy surface.","keywords":["n-body problem","periodic orbits","hip-hop symmetry","rotation number","Gutzwiller anisotropic Kepler problem","Seifert rotation number","contact volume","CHHL formula"],"falsifier":"Numerically integrate the Hill stability equation with $\\beta=0.02$ and $e=0.995$ (a parameter pair in the moderate range where the paper relies on the imported inequality) and compute the Seifert rotation number of its fundamental solution. If the result does not satisfy $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}\\approx1.00995$, the comparison at the heart of Theorem 1.1 fails in exactly the parameter regime used by the hip-hop and pyramidal applications.","tokens_in":18538,"feed_emoji":"🪐","tokens_out":17123,"duration_ms":146728,"temperature":0.7,"pith_summary":"The paper studies the Gutzwiller-type anisotropic Kepler problem, a family of reduced Hamiltonian systems with two degrees of freedom that contains the classical anisotropic Kepler model, the reduced hip-hop $(1+2n)$-body problem, and the $n$-pyramidal problem. It tries to establish that, on every compact regular energy surface in the parameter range $-C^2<2h\\varpi^2<-A_0^2$, the system admits infinitely many periodic orbits whenever the weighted anisotropy sum $\\sum_{i=1}^n A_iB_i$ is at least $\\sum_{i=0}^n A_i$. The proof computes the Seifert rotation number of a special planar Kepler orbit via the Hill equation and compares it with the contact volume through the CHHL two-or-infinity formula. If true, the result supplies infinite families of hip-hop-symmetric relative periodic orbits in the $(1+2n)$-body problem and infinitely many pyramidal relative periodic orbits, extending earlier work that covered only $B_1\\le 1$ in the classical case.","feed_headline":"Anisotropic Kepler system yields infinitely many periodic orbits","feed_subtitle":"A rotation-number comparison proves infinite relative periodic orbits on every compact regular energy surface, including hip-hop and…","key_machinery":"The central objects are the reduced energy surface $M$, the planar Kepler orbit $\\zeta_p$, and two numerical invariants attached to it: the contact volume $\\operatorname{vol}(M,\\lambda)$ and the Seifert rotation number $\\hat\\rho_p$. After reduction of the $z$-axis symmetry, the Hamiltonian flow on $M$ is the Reeb flow of the contact form $\\lambda$, so periodic Reeb orbits correspond exactly to relative periodic orbits of the original system. The transverse linearized flow along $\\zeta_p$ decouples into a radial and a vertical part; after a $2\\pi$-periodic symplectic change of frame, the vertical part becomes the Hill stability equation $\\ddot{x}+x+\\frac{\\beta}{1+e\\cos\\theta}x=0$ with $\\beta=D/C-1$, and its mean Maslov index determines $\\hat\\rho_p$. For $\\beta>0$, the paper establishes $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}$ for every $e\\in(0,1)$: large $\\beta$ by a blow-up comparison argument, and the moderate range near $e=1$ by importing an in-press inequality from [13]. On the volume side, Jensen's inequality applied to the strictly convex function $f(x)=(x+r^2)^{-1/2}$ gives $\\operatorname{vol}(M,\\lambda)\\ge\\operatorname{vol}(\\hat M_0,\\hat\\lambda_0)=T_p^2/\\sqrt{1+\\beta}$, with equality only in the isotropic equal-anisotropy case. The CHHL two-or-infinity formula then converts the resulting inequality $\\hat\\rho_p\\ge T_p^2/\\operatorname{vol}(M,\\lambda)$ into the existence of infinitely many periodic orbits.","core_discovery":"On the reduced phase space $\\mathbb{R}^2\\times\\mathbb{R}_+\\times\\mathbb{R}$ with symplectic form $\\omega=dp_r\\wedge dr+dp_z\\wedge dz$, the Hamiltonian is $H=\\tfrac12(p_r^2+p_z^2)+\\frac{\\varpi^2}{2r^2}-\\frac{A_0}{r}-\\sum_{i=1}^n \\frac{A_i}{\\sqrt{r^2+B_i z^2}}$. Let $C=\\sum_{i=0}^n A_i$ and $D=\\sum_{i=1}^n A_iB_i$. When $-C^2<2h\\varpi^2<-A_0^2$, the energy surface $M=H^{-1}(h)$ is a compact regular three-sphere carrying a contact form $\\lambda$ with $d\\lambda=\\omega$. The planar Kepler orbit $\\zeta_p\\subset M\\cap\\{p_z=z=0\\}$ has radial expression $r_p(\\theta)=\\varpi^2/(C(1+e\\cos\\theta))$, minimal Reeb period $T_p$, and Seifert rotation number $\\hat\\rho_p$. Theorem 1.1 asserts that if $D\\ge C$, then $\\hat\\rho_p\\ge T_p^2/\\operatorname{vol}(M,\\lambda)$, with equality if and only if $A_0=0$ and $B_i=1$ for every $i$. Because a tight contact three-sphere with exactly two simple Reeb orbits would have to satisfy $\\operatorname{vol}=T_i^2/\\hat\\rho_i$ for both orbits, the strict inequality in every non-Kepler admissible case leaves no room for a two-orbit flow, so infinitely many periodic orbits exist on every such energy surface. The paper verifies the hypothesis $D\\ge C$ for the hip-hop $(1+2n)$-body problem and for the $n$-pyramidal problem with $2\\le n\\le 472$, giving Corollaries 1.2 and 1.3.","pith_inferences":["The restriction $2\\le n\\le 472$ in the pyramidal corollary comes from a finitely checked inequality $n>a(n)$; if that inequality is verified for larger $n$, the same infinite-periodic-orbits conclusion would extend to those cases as well.","The paper proves the rotation-number inequality $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}$ only for large $\\beta$, importing the moderate-$\\beta$ range from [13]; a self-contained proof of that range would remove the only external dependency in Theorem 1.1.","The Jensen volume comparison suggests a general principle: any compact mechanical three-sphere whose potential lies pointwise below a single-anisotropy comparison potential may satisfy the same rotation-number/volume bound, so the theorem likely extends to other perturbed Kepler systems.","Because strict inequality is universal in genuinely anisotropic cases, the Seifert rotation number of the planar orbit can be read as a quantitative measure of how much anisotropy enforces periodic dynamics beyond the Kepler benchmark."],"forward_implications":["Every compact regular energy surface of the Gutzwiller-type Hamiltonian satisfying $-C^2<2h\\varpi^2<-A_0^2$ and $\\sum_{i=1}^n A_iB_i\\ge\\sum_{i=0}^n A_i$ carries infinitely many periodic orbits of the Reeb flow, equivalently infinitely many relative periodic orbits after undoing the angular reduction.","For the classical Gutzwiller anisotropic Kepler problem, combining Theorem 1.1 with the earlier $B_1\\in(0,1]$ result gives infinitely many periodic orbits on every compact regular energy surface for every $B_1>0$.","In the hip-hop $(1+2n)$-body problem, for every $n\\ge2$ and every central mass ratio $m_0\\ge0$ with compact regular reduced energy surface, there are infinitely many hip-hop-symmetric relative periodic orbits.","In the $n$-pyramidal problem, for $2\\le n\\le 472$ and all mass ratios $\\alpha>0$ whose energy surface is compact and regular, infinitely many relative periodic orbits exist around the planar elliptic relative equilibrium.","The equality case is characterized: the comparison $\\hat\\rho_p=T_p^2/\\operatorname{vol}(M,\\lambda)$ holds only for the reduced spatial Kepler problem with $A_0=0$ and $B_i=1$ for all $i$, so any genuine anisotropy forces strict inequality."],"supporting_citations":[{"why":"Supplies the CHHL two-or-infinity dichotomy and the exact-volume identity converting the rotation-number comparison into infinitely many Reeb orbits.","marker":"[6]"},{"why":"Completes the proof of the two-or-infinity conjecture that the tight three-sphere volume/rotation relation relies on.","marker":"[7]"},{"why":"Provides the theorem that mechanical Hamiltonian energy surfaces in $\\mathbb{R}^4$ are contact-type, so the Reeb flow preserves the Hamiltonian dynamics.","marker":"[12]"},{"why":"Gives the in-press inequality $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}$ for the moderate-$\\beta$ window, the load-bearing external ingredient of Theorem 1.1.","marker":"[13]"},{"why":"Introduces the linearized-flow and rotation-number technique and the degenerate-curve description used to estimate $\\hat\\rho_p$.","marker":"[14]"},{"why":"Establishes the earlier $\\hat\\rho_p$ and volume estimates for the $B_1\\in(0,1]$ case that Theorem 1.1 generalizes, including the Kepler benchmark.","marker":"[16]"},{"why":"Supplies the $\\omega$-index and degenerate-curve properties used in the $\\beta=0$ and curve-ordering arguments.","marker":"[17]"},{"why":"Gives the volume-related formula and the pyramidal reduction on which the Corollary 1.3 application is built.","marker":"[18]"}],"fun_headline_variants":["Infinite periodic orbits proven in anisotropic Kepler problem","Anisotropic Kepler problem: infinite periodic orbits","Infinite periodic orbits on every compact energy surface","Kepler-type systems have infinite periodic orbits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the planar Kepler orbit's Seifert rotation number exceeds $\\sqrt{1+\\beta}$ for every eccentricity $e\\in(0,1)$ and every $\\beta>0$; the paper proves this for large $\\beta$ by its own blow-up argument, but for moderate $\\beta$ near $e=1$ it relies without proof on an in-press companion result, so a failure there would undo exactly the parameter regime used in the n-body applications.","fun_headline_variants_meta":{"raw":{"variants":["Infinite periodic orbits proven in anisotropic Kepler problem","Anisotropic Kepler problem: infinite periodic orbits","Infinite periodic orbits on every compact energy surface","Kepler-type systems have infinite periodic orbits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000786,"raw_usage":{"total_tokens":3547,"prompt_tokens":1106,"completion_tokens":2441,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":2383}},"tokens_in":722,"tokens_out":2441,"duration_ms":16744,"temperature":1.0,"reasoning_tokens":2383,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:59:22.699364+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically integrate the Hill stability equation with $\\beta=0.02$ and $e=0.995$ (a parameter pair in the moderate range where the paper relies on the imported inequality) and compute the Seifert rotation number of its fundamental solution. If the result does not satisfy $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}\\approx1.00995$, the comparison at the heart of Theorem 1.1 fails in exactly the parameter regime used by the hip-hop and pyramidal applications.","supporting_citations":[{"cited_title":"Cristofaro-Gardiner, U","cited_arxiv_id":null,"evidence_quote":"Supplies the CHHL two-or-infinity dichotomy and the exact-volume identity converting the rotation-number comparison into infinitely many Reeb orbits."},{"cited_title":"Cristofaro-Gardiner, U","cited_arxiv_id":null,"evidence_quote":"Completes the proof of the two-or-infinity conjecture that the tight three-sphere volume/rotation relation relies on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the in-press inequality $\\hat\\rho_{p,\\beta,e}>\\sqrt{1+\\beta}$ for the moderate-$\\beta$ window, the load-bearing external ingredient of Theorem 1.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the linearized-flow and rotation-number technique and the degenerate-curve description used to estimate $\\hat\\rho_p$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the earlier $\\hat\\rho_p$ and volume estimates for the $B_1\\in(0,1]$ case that Theorem 1.1 generalizes, including the Kepler benchmark."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the $\\omega$-index and degenerate-curve properties used in the $\\beta=0$ and curve-ordering arguments."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the volume-related formula and the pyramidal reduction on which the Corollary 1.3 application is built."}],"review_version":1}