{"id":"8d7d8f09-dc62-491b-8fb4-7ccaff93276c","arxiv_id":"2607.28758","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Two new canonical Poincaré sections (force-line and trajectory-aligned) plus inverted mappings reveal resonance structures in the planar elastic pendulum that standard sections miss.","lead":"This paper shows that the standard way of slicing phase space to map a swinging spring pendulum can hide entire families of orbits, and introduces two new \"field-conforming\" slicing methods that reveal hidden resonance chains. It matters because Poincaré sections are a universal tool in nonlinear dynamics, and this is a concrete demonstration that the choice of slice is not neutral.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Cup-section Ω2=16/5 claim depends on a Frenet–Serret projection not shown to be single-valued; branch jumps at the evolute could manufacture the 16 crossings.","rationale":"The paper's central claim is that rigid Poincaré sections hide invariant structure and that the new trajectory-aligned section reveals a second-generation resonance, specifically Ω2 = 16/5. That claim is quantitatively anchored to Fig. 8's crossing count. The weakest link is the coordinate construction behind that count: the Frenet–Serret projection is well-defined only inside the tube where the orthogonal projection is single-valued. The paper gives no evidence that the satellite trajectory remains in that tube, nor that the bisection-based root-finding is robust across branch changes. The proposed direct geometric count is a clean, independent check: it removes the projection issue entirely. If it confirms 16 crossings, the concern dissolves and the central claim is strengthened; if not, the paper's headline demonstration is a numerical artifact. This is consistent with the reader's CONDITIONAL verdict but sharpens the specific test needed. I see no reason to escalate to REJECT, since the methodology is promising and the issue is empirically checkable; I also see no reason to downgrade to ACCEPT, because the key quantitative result is not yet secured.","tokens_in":19766,"tokens_out":10743,"duration_ms":128769,"concrete_test":"Reproduce Fig. 8's satellite trajectory with the same initial conditions and integrator (§3.1), then count its intersections with the cup reference curve by a direct 2D segment/curve intersection routine (linear segments of the trajectory against the spline-fitted cup orbit), bypassing the Frenet coordinate qt2 entirely. If the direct geometric count differs from 16, or varies with the spline resolution of the reference orbit, the claimed Ω2 = 16/5 second-generation resonance is an artifact of the Frenet–Serret coordinate construction.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In §5.2, the trajectory-aligned section is defined by qt2 = shortest distance to the reference cup orbit. The coordinate map (qt1, qt2) → γ(qt1)+qt2 N(qt1) has Jacobian (1−κ qt2); it is singular on the evolute qt2 = 1/κ, and the orthogonal projection is multi-valued beyond it. The paper restricts itself to the 'immediate neighborhood' of the reference curve, but the section is used globally in the root-finding that produces Fig. 8. If the satellite trajectory crosses the evolute, the global-minimum projection can jump between branches, so a bisection solver can register spurious sign changes in qt2 or miss genuine piercings. The reported 16 crossings, and the formula Ω2 = 3 + Ω1^{-1}, are exactly the kind of count such branch-switching can corrupt. §5.2.2 explicitly defers generalization to future work, but it does not flag this local-regularity gap for the presented case. Because this count is the paper's strongest concrete demonstration that standard sections hide a second-generation resonance, it is load-bearing. The force-line section's singularity at the equilibrium is acknowledged (§5.1), but no analogous regularity analysis is given for the Frenet–Serret section.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a multi-mapping framework for Poincaré sections in the planar elastic pendulum. It compares standard Cartesian, polar, and inverted sections, then constructs two custom canonical coordinate systems: a force-line coordinate system (qf1, qf2) adapted to the gradient field of the potential, and a trajectory-aligned Frenet–Serret coordinate system (qt1, qt2) adapted to a chosen periodic reference orbit. The central claims are that rigid planar sections distort or hide invariant structures, that inverted mappings reveal apparent separatrices, and that the new sections uncover structures hidden in standard views, most notably a claimed second-generation resonance hierarchy Ω2 = 16/5 (and, generally, Ω2 = 3 + Ω1^{-1}) for a satellite trajectory around the cup orbit. The paper also derives an analytic scaling exponent λ = 1 + 1/ω² for the maximum conjugate momentum near the potential minimum.","tokens_in":20108,"tokens_out":3700,"duration_ms":44317,"significance":"If the claims are correct, the framework would be a genuinely useful diagnostic tool for 2-DOF Hamiltonian systems: the force-line and trajectory-aligned sections are well motivated, the gauge choice qf2 = sqrt(V − Vmin) is derived from the symplectic form, and the scaling exponent is obtained from the local Hessian rather than fitted. The paper is also honest about the absence of a closed-form first integral for the force-line coordinate. However, the main novel quantitative demonstration—the 16 crossings and the Ω2 = 16/5 hierarchy in Fig. 8—rests on a global use of Frenet–Serret coordinates whose regularity is guaranteed only locally. As it stands, this load-bearing result is not established, and the numerical construction of the force-line coordinate lacks the error analysis needed to support the more qualitative structural claims.","major_comments":[{"comment":"The trajectory-aligned section is defined via the orthogonal projection onto the reference curve. The map (s,u) ↦ γ(s)+u N(s) has Jacobian determinant 1 − κ(s)u, which vanishes on the evolute u = 1/κ(s); beyond this curve the projection is multi-valued and the global-minimum definition of qt2 can jump between branches. The text acknowledges only the 'immediate neighborhood' (§5.2), but the section condition qt2 = 0 is then used globally in the bisection root-finding that produces Fig. 8. If the satellite trajectory crosses the evolute, the numerically computed qt2 can switch branches, generating spurious sign changes and hence spurious piercings. The reported 16 crossings and the formula Ω2 = 16/5 are exactly the kind of count that such branch-switching can corrupt. Please prove that the relevant orbits remain inside the single-valued projection tube, or enforce branch continuity along e","section":"§5.2, Fig. 8"},{"comment":"The force-line coordinate qf1 is constructed numerically: arc-length quadrature along the H = 0 contour, numerical integration of −∇V to trace force lines, and a finite-difference Jacobian with neighboring force lines separated by circumferential spacing 10^-4, with linear interpolation between pivot points. No convergence study or error bound is reported. This is not a presentation detail: the claims of a hexagon-like boundary, the balanced density near equilibrium, and the verification of pf1,max ∝ qf2^c depend on the grid being globally regular and on qf1 being sufficiently differentiable to define the conjugate momentum. Please provide a convergence check with respect to the circumferential spacing and interpolation order, or state explicit error bounds for qf1 and pf1 on the section shown in Fig. 5. Without this, the distinctive features of the force-line section could be numerical","section":"§5.1, Fig. 5"},{"comment":"The paper states that for further stable cup trajectories it holds Ω2 = 3 + Ω1^{-1}, but gives no derivation and no table of the trajectories tested. The only concrete example is the single satellite trajectory of Fig. 8. If this is an empirical observation, it needs supporting data (e.g., a table of Ω1 and Ω2 for several satellites); if it is a conjecture, it should be labelled as such. As written, the claim goes beyond the evidence presented and is load-bearing for the conclusion that traditional sections hide a 'second-generation hierarchy.'","section":"§5.2.2"}],"minor_comments":[{"comment":"The manuscript contains many typos and grammatical errors (e.g., 'therfore', 'coice', 'visuabilisable', 'inisilaisation', 'goverend'). A thorough language edit is needed.","section":"Throughout"},{"comment":"The citation 'carretero1994' appears as a raw citation key in the text rather than a formatted reference; the corresponding entry is [6] but the in-text key should be corrected.","section":"§1"},{"comment":"The paragraph beginning 'While the definition of qf1 is less intuitive...' is duplicated verbatim; one copy should be removed.","section":"§5.1"},{"comment":"The reference to 'Fig. 2c' seems to point to the wrong panel: the horizontal section is discussed in Fig. 3, while Fig. 2c shows the cup orbit. Please verify all cross-references to figures.","section":"§4.2"},{"comment":"The numerical tolerance for the bisection root-finding and the step size are stated, but there is no explicit statement of the conservatism of H along the integration (e.g., relative energy drift). Such a check would be useful given the high precision claimed.","section":"§3.1"}],"recommendation":"major_revision","confidential_remarks":"The paper has a promising core idea and some nice geometric reasoning, but the flagship quantitative result (Ω2 = 16/5) is not yet reliable because of the unexamined global validity of the Frenet–Serret projection. The revision should focus on either proving single-valuedness for the orbits used or replacing the count with a branch-aware computation. The force-line section also needs numerical validation before the structural claims can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nQuick take: this paper is worth a careful read, but the central quantitative claim—the hidden Ω2=16/5 resonance chain—looks fragile. The methodological idea, building canonical sections that follow force lines or reference orbits and then using inverted mappings, is real novelty. The authors show convincingly that standard vertical, horizontal, and radial cuts can miss entire island chains, which by itself is a useful caution for anyone who plots Poincaré sections on autopilot.\n\nThe force-line section is the strongest part. The construction is explicit, the equilibrium singularity is acknowledged, and the scaling exponent λ=1+1/ω² is derived from the local Hessian rather than fitted. The hexagon-like boundary from curvature inflection points is a nice observation and looks robust. The inverted mappings are a simple trick that works: they turn the map inside out and reveal features that are otherwise squeezed next to the boundary.\n\nThe soft spot is the Frenet–Serret trajectory-aligned section. The coordinate map (qt1,qt2) → γ(qt1)+qt2N(qt1) has a Jacobian that vanishes on the evolute qt2=1/κ, so the orthogonal projection is multi-valued beyond that curve. The paper restricts the formal description to the immediate neighborhood of the reference orbit but then uses the section globally in the root-finding that produces Fig. 8. The reported 16 piercings and the formula Ω2=3+Ω1^{-1} are exactly the kind of count that branch jumps in the projection could corrupt. The paper does not flag this gap. Until a regularity analysis is done—or a check that the 16 crossings persist under small perturbations of the section—the flagship demonstration should be treated as unverified.\n\nAlso, no code or data accompanies the paper, so the central figures are not reproducible. That is usually fixable, but it matters here because the coordinates are defined numerically with no error analysis.\n\nWho should read it: nonlinear-dynamics researchers who use Poincaré sections regularly and worry about section dependence. It deserves a serious referee, but the referee should be asked to focus on single-valuedness of the Frenet–Serret projection and on reproducibility. I would not cite the 16/5 result yet; I would wait for a revision that addresses those points.\n\nRecommendation: send it to peer review with a strong request for a regularity check and for code/data.","headline":"A genuinely new idea for choosing Poincaré sections, but the key 16/5 claim sits on a coordinate singularity that isn't addressed.","tokens_in":20546,"tokens_out":2077,"would_cite":false,"duration_ms":22802,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70H05","37M05","37D45"],"pacs":["05.45.-a"],"model":"deepseek-v4-flash","headline":"This paper claims that rigid Poincaré slices distort the elastic pendulum's phase space, and it derives two coordinate-adapted sections — one aligned with the force field and one aligned with a reference orbit — that expose resonance chains","keywords":["Poincaré sections","elastic pendulum","canonical transformations","phase-space visualization","force-line coordinates","Frenet-Serret frame","inverted mappings","Hamiltonian chaos"],"falsifier":"Compute the cup-satellite piercings using a finer force-line grid (say 10⁻⁵ or 10⁻⁶ circumferential spacing) and a different spline order for the Frenet-Serret reference, and compare the 16-crossing count and Ω2=16/5; also repeat the scaled inverted map at a second value of ω² (e.g., 1.0 or 0.2) and check whether the unfolding exponent equals λ=1+1/ω². Any change in island multiplicity or exponent invalidates the coordinate-induced interpretation.","tokens_in":19669,"feed_emoji":"🌀","tokens_out":5538,"duration_ms":56129,"temperature":0.7,"pith_summary":"The paper's central claim is that no single Poincaré slice can faithfully represent the phase space of a two-degree-of-freedom Hamiltonian system: rigid cuts distort invariant structures and can clip the very periodic orbits that organize the dynamics. It proposes two new classes of intrinsic sections — one aligned with the force field, one aligned with a reference periodic orbit — and shows that they reveal features invisible in standard vertical, horizontal, and radial cuts, including a hidden apparent separatrix and a second-generation resonance chain Ω2=16/5 (=3+Ω1⁻¹) around the cup orbit. A sympathetic reader would care because the method offers a distortion-free diagnostic for transport barriers, stability islands, and resonance hierarchies in multiply coupled nonlinear systems.","feed_headline":"Custom Poincaré slices reveal a 16/5 resonance chain","feed_subtitle":"New force-aligned and orbit-aligned sections beat rigid cuts at exposing hidden islands in the elastic pendulum.","key_machinery":"The two load-bearing constructs are: (i) the force-line/isopotential coordinate system, where q_f1 indexes gradient-flow lines via normalized arc length along the isoenergetic potential boundary H=0 and q_f2=√(V−V_min) is chosen because it gives a regular, non-vanishing conjugate momentum near equilibrium (pf2→p0>0); and (ii) the Frenet–Serret frame built on a stable reference orbit, with q_t1 the arc length along the orbit and q_t2 the signed normal distance, yielding a section exactly aligned with the flow. In both cases, tailored canonical transformations turn curved sectioning surfaces back into naive sections of the form q_i=constant, so the simple piercing condition p_i>0 suffices. The","core_discovery":"On the paper's own terms, the discovery is that the standard ambiguity in choosing Poincaré sections can be resolved by constructing canonical coordinates from the system's intrinsic geometry. Using the planar elastic pendulum at ω²=0.5, H=0 as a testbed, the authors derive two novel coordinate systems: force-line coordinates (q_f1,q_f2) with q_f2=√(V−V_min), in which a constant q_f1 gives a section that follows a line of force and balances phase-space density near equilibrium, exposing a hexagon-like boundary deformation; and Frenet–Serret trajectory coordinates (q_t1,q_t2) anchored on a stable fixed-point orbit, in which q_t2=0 is a section that unrolls curved invariant manifolds into a re","pith_inferences":["If the power-law exponent for the momentum pinch coincides with the local stiffness ratio λ=1+1/ω² (c=3 for ω²=0.5), then a scan over ω² would provide a quantitative falsification of the force-line scaling law without any new machinery.","The apparent separatrix in the inverted horizontal map may be a projection artifact of grazing torus intersections; readers should be cautious about interpreting visual separatrix-like curves in any single Poincaré map as dynamical barriers.","Generalizing the force-line index to multi-well potentials would require replacing the outer-boundary arc length by internal separatrices or local field-line invariants, as the authors themselves note; a natural test is a double-well system where gradient lines terminate at saddles.","The Ω2=3+Ω1⁻¹ relation suggests the knot/cable description of resonances could be extended to cap and asymmetric reference sections, giving a quantitative family of resonance hierarchies rather than a single case."],"forward_implications":["Phase-space portraits should be built from at least two mutually orthogonal, field-conforming Poincaré sections; a single rigid slice can omit or clip the fixed-point orbits that form the structural backbone.","Inverted mappings transform the outer boundary of a traditional map into the horizontal axis and vice versa, revealing apparent separatrices and centered islands that near-boundary compression hides.","The force-line section gives a balanced density near the elliptic equilibrium, and its scaled inverted map (dividing the momentum by q_f2^c, with c=λ for the studied parameters) verifies the predicted power law and exposes fine chaotic layers near equilibrium.","The trajectory-aligned cup section multiplies the visible piercings of a satellite orbit from 5 to 16, exposing the second-generation resonance Ω2=16/5, and the authors report Ω2=3+Ω1⁻¹ for all cup satellites they tested."],"fun_headline_variants":["Intrinsic Poincaré sections beat rigid cuts in phase-space","Two novel sections expose hidden islands in elastic pendulum","Force-line and orbit-aligned Poincaré slices reveal hidden structure","Intrinsic geometry fixes Poincaré section distortions","Intrinsic sections reveal resonance chains and hidden islands"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The claim rests on the numerical regularity of the two custom coordinates: q_f1 comes from integrating a non-integrable gradient flow and indexing field lines by arc length along an energy contour with finite-difference Jacobians (circumferential spacing 10⁻⁴), and the trajectory section needs orthogonal projection onto a spline-fitted reference orbit to be single-valued; if either construction is locally singular or non-unique, the reported island counts and boundary shapes","fun_headline_variants_meta":{"raw":{"variants":["Intrinsic Poincaré sections beat rigid cuts in phase-space","Two novel sections expose hidden islands in elastic pendulum","Force-line and orbit-aligned Poincaré slices reveal hidden structure","Intrinsic geometry fixes Poincaré section distortions","Intrinsic sections reveal resonance chains and hidden islands"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000692,"raw_usage":{"total_tokens":3003,"prompt_tokens":814,"completion_tokens":2189,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":558,"completion_tokens_details":{"reasoning_tokens":2111}},"tokens_in":558,"tokens_out":2189,"duration_ms":14494,"temperature":1.0,"reasoning_tokens":2111,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T00:28:12.595321+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the cup-satellite piercings using a finer force-line grid (say 10⁻⁵ or 10⁻⁶ circumferential spacing) and a different spline order for the Frenet-Serret reference, and compare the 16-crossing count and Ω2=16/5; also repeat the scaled inverted map at a second value of ω² (e.g., 1.0 or 0.2) and check whether the unfolding exponent equals λ=1+1/ω². Any change in island multiplicity or exponent invalidates the coordinate-induced interpretation.","supporting_citations":[],"review_version":1}