{"id":"261b80ad-48b2-4a09-b374-6c25064f8f0b","arxiv_id":"2506.05842","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"If a planar non-circular periodic orbit is non-degenerate, then it persists under small 3D electromagnetic perturbations, and for fixed period at least five distinct spatial periodic solutions bifurcate.","lead":"This paper proves that certain non-circular periodic orbits of a particle moving under a central force in three-dimensional space survive as periodic orbits when small electric and magnetic perturbations are added. It reduces the three-dimensional problem to a two-dimensional one, so all previously known planar cases immediately give new spatial results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Load-bearing premise is the Mishchenko–Fomenko normal form (3.10); the paper cites [31,22] but does not verify that the extra pair (Xi,xi) is constant and decoupled, and the monodromy reduction to the planar determinant depends entirely on this.","rationale":"The paper is careful and the main theorems are plausible. My read agrees with the reader that the weakest point is the black-box use of the Mishchenko-Fomenko normal form in Section 3.2. This is not a demonstrated error: for central forces such coordinates are classical (Delaunay variables for Kepler, and reference [13] indicates the construction), so the concern is a verification gap rather than a fatal flaw. The alpha-exclusion inconsistency noted by the reader is real but minor and does not affect the central results. Because the coordinate premise is load-bearing but likely correct, the appropriate verdict remains CONDITIONAL: the authors should either provide a precise statement and hypotheses check of the Mishchenko-Fomenko theorem in this setting, or an explicit local construction, and fix the alpha = 0 slip. I therefore do not change the reader's verdict, and I identify the same weakest assumption.","tokens_in":26566,"tokens_out":17678,"duration_ms":186011,"concrete_test":"Construct explicitly, for the Kepler potential and for a homogeneous potential V(r)=kappa/(alpha r^alpha) with alpha < 2 and alpha not in {-2,0,1}, the symplectic extension Psi-tilde of the planar action-angle chart using Euler or Delaunay-type variables, and verify that H0 = K0(I1,I2) is independent of (Xi,xi), {H0,Xi} = {H0,xi} = 0, and {Xi,xi} = 1. If such a construction fails for any non-circular orbit, the reduction in Theorems 5.8-5.9 is not justified; a numerical check of the monodromy kernel dimension along a non-circular orbit would be a complementary test.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proofs of Theorems 5.8 and 5.9 reduce spatial non-degeneracy of M3 to the planar conditions (1.6)/(1.7) by passing to partial action-angle coordinates (I1,I2,phi1,phi2,Xi,xi) in which system (5.17) becomes (3.10): the planar block linearizes to delta I' = 0, delta phi' = nabla^2 K0(I*) delta I, and the pair (Xi,xi) contributes an identity block. The dimension of ker(I-Q) is then 4 iff det(nabla^2K0(I*)) != 0 (fixed period) or the bordered determinant is nonzero (fixed energy). If the Mishchenko-Fomenko theorem does not apply on a neighborhood of M3 with these coordinates - for instance if H0 depends on Xi (so xi' != 0) or if (Xi,xi) are not symplectically decoupled from (I,phi) - then the monodromy gains off-diagonal blocks and the kernel dimension may differ from the planar Hessian nullity. The paper describes the construction informally ('provided by the plane on which the solution lies') and cites [31,22] without checking the hypotheses of the theorem for the central force system or providing the explicit extension of the planar chart Psi to Psi-tilde. Since M3 has dimension 4 and is not covered by a single chart, the local nature of the coordinates is also a point to pin down, although invariance of the kernel dimension under the O(3) x T^1 action makes a one-chart check plausible.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies bifurcation of T-periodic solutions for a three-dimensional central force equation with electromagnetic perturbation, from the four-dimensional manifold M3 of orthogonal transforms and time shifts of a fixed non-circular non-rectilinear planar periodic solution. The main results (Theorems 5.8 and 5.9) assert that if the planar periodic manifold M2 is non-degenerate in the fixed-period or fixed-energy sense ((1.6) or (1.7)), then bifurcation occurs from M3, with five distinct solutions in the fixed-period case. The proof uses a Hamiltonian variational formulation on H^{1/2}, a cut-off, an abstract bifurcation theorem, and a reduction via partial action-angle coordinates (Mishchenko–Fomenko) of the spatial non-degeneracy to the planar determinant conditions.","tokens_in":26878,"tokens_out":30025,"duration_ms":288604,"significance":"If the coordinate reduction is made fully rigorous, the paper gives a clean and useful conditional theorem: spatial non-degeneracy of M3 is exactly equivalent to planar non-degeneracy of M2. It extends previous planar results to 3D and to electromagnetic (not just potential) perturbations, and it yields a sharp multiplicity bound via Lusternik–Schnirelmann category. The variational framework with cut-offs is carefully handled, and the topological computation cat(M3)=5 is a nice feature.","major_comments":[{"comment":"The proof that non-degeneracy of M2 implies non-degeneracy of M3 relies entirely on the existence of local symplectic coordinates (I1,I2,φ1,φ2,Ξ,ξ) in which the unperturbed system takes the form (3.10) with the pair (Ξ,ξ) constant and decoupled. The paper does not state the Mishchenko–Fomenko theorem with hypotheses, does not verify them for the central force system (2.6), and the description 'Without entering into the details... provided by the plane...' is not a proof (nor is [13, p. 42] a theorem statement). Since the monodromy computation in Section 5.2 reduces the kernel dimension to the planar Hessian/bordered determinant only through this normal form, this gap is load-bearing. Please provide (i) a precise statement of the theorem used, (ii) a verification that its hypotheses hold on a neighborhood of M3 for the integrals H0,L1,L2,L3, and (iii) either an explicit symplectic construction of Ψ-tilde or a precise reference where it is constructed for this system.","section":"Section 3.2, equations (3.9)–(3.10); proofs of Theorems 5.8 and 5.9"}],"minor_comments":[{"comment":"The extension Ψ-tilde is only described informally; please state explicitly that it is a local symplectomorphism onto a neighborhood of U_V4 and how the coordinates (Ξ,ξ) are related to the orientation of the plane of motion.","section":"Section 3.2, around (3.9)"},{"comment":"In the injectivity argument, the step from M x*(t) = x*(t) for all t to M = I3 should be justified by noting that x*(0) and p*(0) are linearly independent for a non-rectilinear planar orbit.","section":"Proof of Proposition 3.1"},{"comment":"The set N = {(z(T(z)s), T(z)) : z in M} is asserted to be a manifold; please add a sentence explaining why the map is an embedding (for instance, for M3 one can choose T constant, and in general the graph of the period function works).","section":"Theorem 5.2"},{"comment":"The identification between the space F of Proposition 4.2(i) and the corresponding space G in partial action-angle coordinates is delegated to [20, Appendix A]; a brief explanation of why the symplectic change of variables preserves this condition would improve readability.","section":"Section 5.2, proof of Theorem 5.9"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the unverified application of the Mishchenko–Fomenko normal form; please ensure the revision addresses it thoroughly, either by stating and checking the theorem's hypotheses or by giving a direct symplectic construction for the central force system."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Know this: the spatial non-circular bifurcation result is real, and the Mishchenko–Fomenko coordinate step is fine. I read the stress-test worry about the extra pair (Ξ, ξ) possibly coupling into the monodromy; it doesn't. The central force problem is the canonical non-commutatively integrable system, and (3.10) is exactly the MF normal form. The paper cites [31,22] rather than re-proving the theorem, which is acceptable; this is a textbook setting. The locality concern is also not a problem, since the kernel dimension is invariant under O(3) × S^1 along M3, so checking at x* is enough.\n\nWhat is genuinely new: prior work covered planar non-circular orbits or spatial circular orbits; this paper does the spatial non-circular case. The reduction of the 4D non-degeneracy check to the planar Hessian determinant is clean, and the Lusternik–Schnirelmann multiplicity (cat(M3)=5) is a nice bonus. The fixed-energy version is honestly stated with no multiplicity claim, and the cut-off procedure in H^{1/2} is carefully handled. The heavy self-citation is not a real flaw because the cited planar conditions come from published papers.\n\nSoft spots, all minor. In the application paragraph, α=0 is missing from the exclusion set (α<2, α∉{−2,1}), although the cited planar result excludes it. Theorem 5.8 says “five solutions” but the proof gives at least five via cat(M3)=5; the wording should say “at least five.” Proposition 3.1’s reduction from O(3) to SO(3) is terse but correct; the authors could spell out why the extra reflection ambiguity collapses. None of these affect the central theorem.\n\nThis paper is for researchers in Hamiltonian perturbation theory and celestial mechanics. It is a solid, useful extension, and it deserves a serious referee. I would send it out; with the small corrections it should be publishable.","headline":"Spatial non-circular bifurcation for central force problems is done cleanly; the Mishchenko–Fomenko coordinate reduction is legitimate and the paper deserves a serious referee.","tokens_in":27436,"tokens_out":6234,"would_cite":true,"duration_ms":67646,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["34C25","37J20","70H12","70H40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that non-circular periodic solutions of three-dimensional central force problems persist under small electromagnetic perturbations whenever the same solution is non-degenerate viewed as a planar problem; in the…","keywords":["central force problems","periodic solutions","bifurcation","electromagnetic perturbations","superintegrable systems","action-angle coordinates","Lusternik-Schnirelmann category","relativistic Kepler problem"],"falsifier":"Compute the dimension of the space of $T$-periodic solutions of the linearization of the spatial system along a planar non-circular solution $x^*$ for a potential that satisfies the planar non-degeneracy condition, e.g., the homogeneous potential $\\alpha=0$; if this dimension exceeds four, the central equivalence between spatial and planar non-degeneracy fails. A cheaper check is to verify directly that the Mishchenko-Fomenko coordinates are symplectic on a full neighborhood of $\\mathcal{M}_3$ for that potential.","tokens_in":26348,"feed_emoji":"🪐","tokens_out":6583,"duration_ms":61084,"temperature":0.7,"pith_summary":"This paper shows that periodic orbits of a particle moving under a central force in three-dimensional space are robust: when a small time-periodic electric and magnetic field is added, nearby periodic solutions still exist, provided the same orbit is non-degenerate when viewed in its own orbital plane. The result covers both classical mechanics and the special-relativistic equation of motion. In the fixed-period setting it guarantees at least five distinct bifurcating solutions; with a time-independent perturbation and fixed energy it guarantees at least one. The key insight is that the required non-degeneracy in three dimensions is exactly equivalent to a determinant condition for the planar problem in action-angle coordinates.","feed_headline":"3D central-force periodic orbits survive small electromagnetic fields","feed_subtitle":"A planar non-degeneracy check is all it takes: spatial bifurcation follows, with five solutions when the period is fixed.","key_machinery":"The device that carries the argument is the system of partial action-angle coordinates of the Mishchenko-Fomenko theorem for superintegrable Hamiltonian systems, applied to the spatial unperturbed problem. Locally around $\\mathcal{M}_3$, the flow is written as $\\dot I_i = 0$, $\\dot \\phi_i = \\partial_{I_i} K_0(I_1,I_2)$ for $i=1,2$, and $\\dot \\Xi = \\dot \\xi = 0$, where $(I_1,I_2,\\phi_1,\\phi_2)$ are the planar action-angle coordinates and $(\\Xi,\\xi)$ is an extra conjugate pair that stays constant. The monodromy of the linearized system along $x^*$ then has the block form $(X,Y,\\alpha,\\beta)\\mapsto (X,\\,T\\nabla^2 K_0(I^*)X+Y,\\,\\alpha,\\,\\beta)$, so the kernel of $I-Q$ has dimension $2+2+\\operatorname{nullity}(\\nabla^2 K_0(I^*))$; requiring this dimension to equal $\\dim\\mathcal{M}_3=4$ is exactly the planar non-degeneracy condition. For the fixed-energy problem the same reduction turns the bordered determinant of Proposition 4.2(iv) into the spatial condition.","core_discovery":"The central claim is Theorem 5.8 (fixed period) and Theorem 5.9 (fixed energy): if $x^*$ is a non-circular, non-rectilinear $T$-periodic solution of the unperturbed central force problem in $\\mathbb{R}^3$, and if the planar manifold $\\mathcal{M}_2$ made from time-translations and planar rotations of $x^*$ is non-degenerate, meaning $\\det \\nabla^2 K_0(I^*) \\neq 0$ for the fixed-period problem, or the analogous bordered determinant $\\det\\begin{pmatrix} \\nabla^2 K_0(I^*) & \\nabla K_0(I^*)^\\top \\\\ \\nabla K_0(I^*) & 0 \\end{pmatrix} \\neq 0$ for the fixed-energy problem, where $K_0$ is the planar Hamiltonian in action-angle coordinates and $I^*$ the action value of the torus, then for every small $\\varepsilon$ there are solutions of the perturbed electromagnetic problem branching from the four-dimensional manifold $\\mathcal{M}_3 = \\{M x^*(t-\\theta): M\\in O(3), \\theta\\in\\mathbb{R}\\}$, staying uniformly close to it. In the fixed-period case the number of such solutions is at least five, because $\\mathcal{M}_3$ is homeomorphic to $SO(3)\\times T^1$ and its Lusternik-Schnirelmann category equals five. Thus spatial non-degeneracy of $\\mathcal{M}_3$ is precisely equivalent to planar non-degeneracy of $\\mathcal{M}_2$.","pith_inferences":["The planar-to-spatial reduction suggests a general recipe: for superintegrable systems with extra constants that are 'just geometry' (like the orbital plane), non-degeneracy of a lower-dimensional section may be the only obstruction to bifurcation.","The $H^{1/2}$ Hamiltonian formulation for the fixed-energy problem used here could be exported to other Hamiltonian systems where the Lagrangian action is not $C^2$, a situation that arises for relativistic kinetic terms.","One testable extension is to numerically continue the five predicted branches for a homogeneous potential like $\\alpha=0$ and verify that no additional branches appear; the excluded degenerate cases $\\alpha=-2$ and $\\alpha=1$ should show an enlarged kernel, which would confirm the sharpness of the conditions."],"forward_implications":["Bifurcation from non-circular periodic solutions now holds in three spatial dimensions for any perturbation of the form (1.9), covering classical mechanics and special relativity.","The number of bifurcating solutions in the fixed-period problem is at least five, matching the Lusternik-Schnirelmann category of $\\mathcal{M}_3$.","The results apply to the homogeneous central force problem for $\\alpha<2$, $\\alpha\\notin\\{-2,1\\}$, to the Levi-Civita equation, and to the relativistic Kepler problem.","A spatial problem that is superintegrable and therefore KAM-degenerate can still be non-degenerate for bifurcation purposes, as long as the associated planar problem is non-degenerate.","The fixed-energy version yields at least one solution; multiple solutions are not claimed because the autonomous perturbed problem retains time-translation invariance."],"supporting_citations":[{"why":"Supplies the Mishchenko-Fomenko theorem producing the partial action-angle coordinates used to compute the monodromy.","marker":"[31]"},{"why":"Revisited and detailed the generalized action-angle coordinate theory for superintegrable systems, underpinning the coordinates used in Section 3.2.","marker":"[22]"},{"why":"Provides the abstract variational bifurcation theorem (used as Theorem 5.5) from which both main theorems follow.","marker":"[8]"},{"why":"Establishes the planar fixed-period non-degeneracy condition (1.6) and the bifurcation result that this paper extends to 3D.","marker":"[16]"},{"why":"Establishes the planar fixed-energy non-degeneracy condition (1.7) that is assumed in Theorem 5.9.","marker":"[18]"},{"why":"Proves non-degeneracy of the planar relativistic Kepler problem, an application of the new spatial result.","marker":"[15]"},{"why":"Covers the fixed-energy relativistic Kepler problem in the plane, another application.","marker":"[17]"},{"why":"Introduced the Hamiltonian-framework and regularization techniques in $H^{1/2}$ used here for both the fixed-period and fixed-energy problems.","marker":"[20]"}],"fun_headline_variants":["Planar check guarantees 3D orbit branching under EM fields","Five periodic orbits emerge under small EM perturbations","3D central-force orbits keep periodicity under EM fields","EM fields don't destroy 3D central-force periodic orbits","Non-circular 3D orbits survive with planar non-degeneracy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the local existence of the partial action-angle coordinates $(I_1,I_2,\\phi_1,\\phi_2,\\Xi,\\xi)$ given by the Mishchenko-Fomenko theorem, in particular that the extra pair $(\\Xi,\\xi)$ is constant along the flow and does not contribute to the monodromy; the paper cites this theorem from the literature rather than proving it.","fun_headline_variants_meta":{"raw":{"variants":["Planar check guarantees 3D orbit branching under EM fields","Five periodic orbits emerge under small EM perturbations","3D central-force orbits keep periodicity under EM fields","EM fields don't destroy 3D central-force periodic orbits","Non-circular 3D orbits survive with planar non-degeneracy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000549,"raw_usage":{"total_tokens":2748,"prompt_tokens":1201,"completion_tokens":1547,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":817,"completion_tokens_details":{"reasoning_tokens":1464}},"tokens_in":817,"tokens_out":1547,"duration_ms":13651,"temperature":1.0,"reasoning_tokens":1464,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:15:32.167656+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the dimension of the space of $T$-periodic solutions of the linearization of the spatial system along a planar non-circular solution $x^*$ for a potential that satisfies the planar non-degeneracy condition, e.g., the homogeneous potential $\\alpha=0$; if this dimension exceeds four, the central equivalence between spatial and planar non-degeneracy fails. A cheaper check is to verify directly that the Mishchenko-Fomenko coordinates are symplectic on a full neighborhood of $\\mathcal{M}_3$ for that potential.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Mishchenko-Fomenko theorem producing the partial action-angle coordinates used to compute the monodromy."},{"cited_title":"Fassò, Superintegrable Hamiltonian systems: geometry and perturbations, Acta Appl","cited_arxiv_id":null,"evidence_quote":"Revisited and detailed the generalized action-angle coordinate theory for superintegrable systems, underpinning the coordinates used in Section 3.2."},{"cited_title":"Ambrosetti, V","cited_arxiv_id":null,"evidence_quote":"Provides the abstract variational bifurcation theorem (used as Theorem 5.5) from which both main theorems follow."},{"cited_title":"Boscaggin, W","cited_arxiv_id":null,"evidence_quote":"Establishes the planar fixed-period non-degeneracy condition (1.6) and the bifurcation result that this paper extends to 3D."},{"cited_title":"Bifurcation of closed orbits of Hamiltonian systems with application to geodesics of the Schwarzschild metric","cited_arxiv_id":"2310.02615","evidence_quote":"Establishes the planar fixed-energy non-degeneracy condition (1.7) that is assumed in Theorem 5.9."},{"cited_title":"Boscaggin, W","cited_arxiv_id":null,"evidence_quote":"Covers the fixed-energy relativistic Kepler problem in the plane, another application."}],"review_version":1}