{"id":"1248148b-f622-46d6-99e3-0277233bd0e6","arxiv_id":"2608.05952","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A four-parameter polynomial curl-force Hamiltonian is shown to be Liouville integrable exactly on the locus alpha=-beta, with explicit bi-Hamiltonian, separated, and Lax structures, while Berry's original model fails the Painlevé test.","lead":"The paper proves that a proposed integrable model of curl forces fails the standard Painlevé test, then builds a modified four-parameter family that is genuinely integrable through a bi-Hamiltonian structure, separation of variables, and a Lax pair. The work clarifies that closed numerical orbits alone do not certify integrability, and it connects the models to higher-derivative Pais-Uhlenbeck oscillators.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly identifies the only genuinely unverified step in the paper. I checked the bi-Hamiltonian and separation claims, which are the actual proof of integrability, and found them consistent; the missing C4 does not change the overall verdict because even if the Painlevé compatibility at order j=4 failed, H1 would remain Liouville integrable via H2 and the compatible Poisson pair. It would only mean that the Painlevé test is not the right diagnostic for this model, contrary to the paper's claimed coincidence of criteria. The Eq. (4.45) factor is a typo: substituting the separated Hamiltonians into H2 = i sqrt(3) (h_v - h_u) at x=1, y=0, px=1, py=0, mu=nu=0, omega^2=1 gives h_v - h_u = -i/sqrt(3), so the coefficient of I must be 1/sqrt(3), and Eq. (4.67) uses that corrected value. Therefore the correct disposition is to keep the conditional verdict until C4 is supplied, with no change from the reader's assessment.","tokens_in":21883,"tokens_out":29844,"duration_ms":259920,"concrete_test":"Recompute the recursion at order j=4 for the complex branch s=(1+i sqrt(3))/2 under alpha=-beta: build C4 from the Laurent recursions (4.13) using the coefficients a0, b0, a1, b1, a2, b2, a3, b3 determined in Sec. 4.1 and check that the left null vector (1/s,1) of the matrix in (4.19) is orthogonal to C4. Independently, evaluate (4.45) at a generic point such as x=1, y=0, px=1, py=0, mu=nu=0, omega^2=1: if H2 is defined by (4.23), the relation should give 1/2(E + i I / sqrt(3)).","verdict_should_be":"UNCHANGED","load_bearing_attack":"After independent checks, the central claim that H1 is Liouville integrable on alpha=-beta is supported by explicit, consistent constructions. The second Hamiltonian H2 in (4.23), the Poisson tensor J2 in (4.24), the involution condition (4.28), and the equality J2 grad H2 = J1 grad H1 all hold term-by-term; the separated Hamiltonians (4.37)-(4.38) reproduce H1 and H2, so no load-bearing gap remains in the integrability argument. The weakest unverified step is the order-j=4 compatibility in the Painlevé analysis of Sec. 4.1: Eq. (4.19) is asserted to be solvable with C4 not displayed, so the claim that the four-constant Laurent expansion exists on alpha=-beta is not independently checkable from the paper. This gap does not threaten the explicit integrability construction, but it does leave the Painlevé-based characterization of the integrable locus conditional. A separate normalization inconsistency appears in Eq. (4.45): since H2 = i sqrt(3) (h_v - h_u), the correct relation is h_u = 1/2 (E + i I / sqrt(3)), not 1/2 (E + i sqrt(3) I); Eq. (4.67) is consistent with the corrected relation, indicating a typo rather than a structural defect.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies two-dimensional Hamiltonian curl-force systems with indefinite kinetic energy. It first analyzes Berry's quartic curl-force Hamiltonian and shows through a Painlevé analysis that the dominant balances are non-principal, with resonance spectrum r = -1,-1,4,4, so the standard Painlevé test fails. The paper then introduces a four-parameter polynomial family H1 and shows that on the locus α = -β the system is Liouville integrable: it constructs a second conserved Hamiltonian H2, compatible constant Poisson tensors J1,J2, separation in complex characteristic variables u = y + ρx, v = y + ρ̄x, and a block-diagonal Lax pair. It also derives exact elliptic-function periodic solutions on two zero-curl invariant lines, with periods matching numerical simulations, constructs an isolated periodic orbit outside the integrable regime by reversible shooting, and gives a higher time-derivative potentialisation whose free limit is the degenerate Pais-Uhlenbeck oscillator.","tokens_in":22117,"tokens_out":17130,"duration_ms":139763,"significance":"If the results hold, the paper provides a clean resolution of an integrability question for a class of curl-force systems. The explicit bi-Hamiltonian pair, separated variables, and Lax pair are mutually consistent and independently verifiable; the exact elliptic periods agree with numerics, and the isolated periodic orbit outside the integrable locus is a useful illustration that closed trajectories do not imply integrability. The negative Painlevé result for Berry's model is also a valuable clarification. The main limitation is the unshown order-j=4 compatibility in the Painlevé analysis, which leaves the Painlevé-based characterization of the integrable locus conditional, though the explicit integrability construction itself does not depend on that step.","major_comments":[{"comment":"The compatibility check at order j=4 is asserted but not shown. The text states that C4 is a complicated non-vanishing vector whose explicit form is not reported, and that the authors verified that the equation may be solved for a4 and b4 without additional constraints. Since the resonance r=4 is required to introduce the fourth arbitrary constant c4 in the Laurent expansion, the claim that the Painlevé test passes on the locus α=-β cannot be independently verified from the paper. This is a load-bearing step for the Painlevé-based characterization of the integrable locus. I request that the authors provide the explicit vector C4 and the resulting expressions for a4 and b4, or a reproducible computer algebra verification in an appendix or supplementary file, or alternatively state clearly that the Painlevé test was verified by computer algebra with details omitted.","section":"Section 4.1, Eq. (4.19)"}],"minor_comments":[{"comment":"The relations between the separated energies ε_u, ε_v and the conserved quantities E, I are incorrect as printed. Since H1 = h_u + h_v = E and H2 = i√3 (h_v - h_u) = I, the correct expressions are ε_u = 1/2 (E + i I/√3) and ε_v = 1/2 (E - i I/√3), not 1/2 (E ± i√3 I). Equation (4.67) is consistent with the corrected relations, so this appears to be a typo, but it should be fixed.","section":"Eq. (4.45)"},{"comment":"The expression for q(t) as typeset appears to be r + (P'_4(r)/4)(℘(t-t0) - P''_4(r)/24), which would not be regular at the pole of ℘. From the transformation (5.14) and the stated finite limit q(t0)=r, the intended formula is q(t) = r + P'_4(r)/[4(℘(t-t0) - P''_4(r)/24)]. Please correct the typesetting.","section":"Eq. (5.20)"},{"comment":"In the first paragraph, 'a four-parameter an integrable polynomial modification' should read 'a four-parameter integrable polynomial modification'.","section":"Section 7"},{"comment":"In the last paragraph, 'an integrable modofication' should be 'an integrable modification'.","section":"Section 1"},{"comment":"It may be worth noting explicitly that the nonsingularity of the matrix at j=3 is consistent with the absence of a resonance at r=3, which helps the reader follow the resonance count.","section":"Section 4.1, after Eq. (4.18)"},{"comment":"The text correctly states that the orbit is isolated on the one-dimensional shooting section; it may be useful to add a sentence clarifying that this does not by itself establish isolation in the full four-dimensional phase space.","section":"Section 5.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the scope of nlin.SI and the central integrability construction appears sound. The main request is to supply the missing order-j=4 Painlevé verification, either in the text or as a supplementary computation, so that the Painlevé-based claim is fully checkable. The normalization error in (4.45) is minor but should be corrected. With these fixes the paper would be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful result here is the integrable deformation, and it holds up. The four-parameter family H1 in (4.1) is shown to be Liouville integrable on alpha=-beta via three independent constructions: an explicit second Hamiltonian H2 in involution, compatible constant Poisson tensors J1,J2, and separation in the complex variables u=y+rho x, v=y+bar rho x, which also yields a block-diagonal Lax pair. The Appendix A generalization to arbitrary polynomial degree is a nice bonus, and the separated form connects cleanly to the degenerate Pais-Uhlenbeck oscillator. The isolated periodic orbit outside the integrable regime, found by reversible shooting, is a clean illustration that closed trajectories don't imply integrability. The exact elliptic periods match the numerics.\n\nThe Painlevé analysis of Berry's original model gives a non-principal resonance spectrum r=-1,-1,4,4, so the model fails the standard Painlevé test. The authors properly qualify that failure of the test does not exclude Liouville integrability, so the negative claim is appropriately scoped.\n\nThe soft spots are minor. The order-j=4 compatibility check in Sec 4.1 is asserted with C4 not displayed; the text says \"we verified\" but doesn't show the vector, so the four-constant Laurent expansion claim is not independently checkable from the paper. This is not load-bearing: even if that resonance caused trouble, the explicit bi-Hamiltonian structure and separated variables already prove integrability on the locus; the Painlevé test is supporting evidence. Still, a referee should ask for the computation or a supplementary file. There is also a normalization slip in Eq (4.45): since H2 = i sqrt3 (h_v - h_u), the correct relation is h_u = (E + i I / sqrt3)/2, not (E + i sqrt3 I)/2; Eq (4.67) is consistent with the corrected relation, so it's a typo, not a structural error. The citation pattern looks reasonable; the self-citations are to prior Pais-Uhlenbeck work and are appropriate.\n\nThis paper is for readers working on Hamiltonian curl forces, ghostly Hamiltonians, or integrable deformations. It deserves a serious referee. The unshown check and the typo are fixable; I would accept it with minor revision.","headline":"A solid integrable deformation of Berry's curl-force model with consistent bi-Hamiltonian, separation, and Lax structures; the missing j=4 Painlevé check is a minor gap, not a threat.","tokens_in":22626,"tokens_out":2925,"would_cite":true,"duration_ms":26993,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37J35","70H06"],"pacs":[],"model":"deepseek-v4-flash","headline":"A four-parameter curl-force Hamiltonian is Liouville integrable on the locus alpha = -beta, where it acquires a second Hamiltonian, compatible Poisson tensors, separated complex variables, and a block-diagonal Lax pair.","keywords":["curl-force Hamiltonians","bi-Hamiltonian structure","Liouville integrability","Painlevé test","separability","Lax pair","ghostly systems","Pais-Uhlenbeck oscillator"],"falsifier":"Compute the omitted step: insert the full Laurent expansions (4.12) into (4.2)-(4.3) at order $j=4$ on the branch $s=(1+i\\sqrt3)/2$, evaluate the vector $C_4$ in (4.19), and test whether it lies in the column space of the singular matrix on the left. If it does not, the compatibility at $r=4$ imposes a new constraint and the Painlevé test does not pass on the claimed locus.","tokens_in":21679,"feed_emoji":"🌀","tokens_out":14562,"duration_ms":125486,"temperature":0.7,"pith_summary":"The paper sets out to decide whether the visually closed trajectories seen in an earlier polynomial curl-force model indicate genuine integrability. It answers no: the model fails the standard Painlevé test, because its dominant singularity balances are non-principal and carry resonance spectrum $\\{-1,-1,4,4\\}$, too poor to supply the four arbitrary constants of the general solution. The paper then exhibits a four-parameter deformation $H_1$ and claims it is Liouville integrable on the locus $\\alpha=-\\beta$. On that locus a second Hamiltonian $H_2$, two compatible constant Poisson tensors, separation in the complex characteristic variables $u=y+\\rho x$, $v=y+\\bar\\rho x$ with $\\rho=e^{2\\pi i/3}$, and a block-diagonal Lax pair all coexist. If right, the result makes curl-force systems a systematic source of polynomial integrable Hamiltonians of arbitrary degree, connects them to the degenerate equal-frequency Pais-Uhlenbeck oscillator, and warns that isolated closed orbits, such as one constructed outside the integrable locus, do not imply integrability.","feed_headline":"A curl-force Hamiltonian becomes Liouville integrable at alpha = -beta","feed_subtitle":"A second Hamiltonian, compatible Poisson brackets, and a Lax pair all appear on that locus; closed orbits alone mislead.","key_machinery":"The carrying object is the complex characteristic pair $(u,v)=(y+\\rho x,\\,y+\\bar\\rho x)$ with $\\rho=e^{2\\pi i/3}$, together with the factorisation $\\partial_x^2+\\partial_x\\partial_y+\\partial_y^2=(\\partial_x-\\rho\\partial_y)(\\partial_x-\\rho^2\\partial_y)$. The condition $\\alpha+\\beta=0$ is exactly what puts the potential into the kernel of this factorised operator, so the potential separates as $V=F(u)+G(v)$ and both Hamiltonians split into one-dimensional quartic oscillators. From that separation the block-diagonal Lax matrix is built from spectral polynomials $P_u,P_v$ satisfying $\\det(\\eta I-L_u(\\lambda))=0$ on the energy curve $\\eta^2=P_u(\\lambda)/4$; the compatible constant Poisson tensors $J_1,J_2$ give a bi-Hamiltonian route to Liouville integrability independent of the singularity analysis.","core_discovery":"The paper's central claim is that the four-parameter Hamiltonian (4.1) is Liouville integrable on the locus $\\alpha=-\\beta$, and that on this locus all the standard integrability data appear together. The full Laurent expansion contains the four arbitrary constants $t_0,c_1,c_2,c_4$; the second Hamiltonian $H_2$ in (4.23) is in involution with $H_1$; the two constant skew-symmetric matrices (4.24) are compatible Poisson tensors (any linear combination remains Poisson) and generate the same flow; the change to $u=y+\\rho x$, $v=y+\\bar\\rho x$ with $\\rho=e^{2\\pi i/3}$ separates both Hamiltonians into one-dimensional anharmonic oscillators; and the block-diagonal Lax matrix $L(\\lambda)=\\mathrm{diag}(L_u(\\lambda),L_v(\\lambda))$ satisfies $\\dot L=[M,L]$, with $\\operatorname{tr}L^2$ having $H_1$ and $H_2$ as spectral coefficients. The same separated form produces polynomial integrable potentials of arbitrary degree. By contrast, the earlier polynomial curl-force model has only non-principal Painlevé balances and so fails the standard singularity-analysis test; and an isolated periodic orbit constructed outside the integrable locus shows that closed trajectories alone do not certify integrability.","pith_inferences":["Beyond the paper, the separated one-dimensional oscillators invite a WKB quantisation; the paper lists this as a future direction but leaves the complex-contour and normalisability analysis open.","Beyond the paper, the isolated periodic orbit's stability is not analysed; a numerical Floquet or Lyapunov-exponent check for nearby initial conditions would show whether the orbit is a stable island or a saddle in the nonintegrable regime.","Beyond the paper, the pattern that $H_1$ vanishes on the zero-curl reductions while $H_2$ drives the bounded motion could serve as a diagnostic for identifying hidden integrable sectors in other indefinite-metric ghostly systems."],"forward_implications":["On the locus $\\alpha=-\\beta$, the system has two independent conserved quantities in involution, so its regular compact level sets are Liouville tori and the motion is not chaotic.","The separated-variable form generates integrable polynomial curl-force Hamiltonians of arbitrary degree: any real potential $V=V_0+2\\operatorname{Re}\\sum_{n=1}^N c_n(y+\\rho x)^n$ is paired with a second Hamiltonian through the same construction.","In the free limit the higher time-derivative formulation reduces to the degenerate Pais-Uhlenbeck equation $(\\frac{d^2}{dt^2}+\\omega^2)^2 q=0$, with the harmonic kernel giving a gauge redundancy in the potentialisation.","On the zero-curl lines, exact periodic solutions are elliptic functions with periods $T=6.5897621034$ and $T\\simeq 3.31109013325$ for the two invariant reductions.","Since an isolated periodic orbit exists at $\\alpha=1,\\beta=-2$ outside the integrable locus, numerical closed trajectories are not a reliable integrability diagnostic."],"supporting_citations":[{"why":"introduces the Hamiltonian curl-force formulation and the constant-metric realizability condition used in section 2.","marker":"[22]"},{"why":"supplies the earlier polynomial model whose closed trajectories motivate the integrability conjecture, which the paper's Painlevé obstruction targets.","marker":"[32]"},{"why":"provides the Painlevé property test applied to the singularity analysis of the models.","marker":"[33]"},{"why":"supplies the standard resonance-counting criterion used to conclude that the earlier model's balances are non-principal.","marker":"[35]"},{"why":"introduces the Lax equation $\\dot L=[M,L]$ that the block-diagonal pair is built to satisfy.","marker":"[37]"},{"why":"defines the degenerate equal-frequency Pais-Uhlenbeck equation recovered when $\\mu=\\nu=0$ in the higher-derivative potentialisation.","marker":"[24]"}],"fun_headline_variants":["Liouville integrable curl-force system found at alpha=-beta","Closed orbits mislead: curl-force integrability needs alpha=-beta","Bi-Hamiltonian curl-force family integrable exactly at alpha=-beta","Painleve test fails for one curl-force model; new family integrable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the unshown fourth-order compatibility calculation succeeds: the paper asserts, without displaying the vector $C_4$, that the singular linear system at $j=4$ can be solved with no extra parameter constraint, and the claimed four-constant Painlevé pass depends on that.","fun_headline_variants_meta":{"raw":{"variants":["Liouville integrable curl-force system found at alpha=-beta","Closed orbits mislead: curl-force integrability needs alpha=-beta","Bi-Hamiltonian curl-force family integrable exactly at alpha=-beta","Painleve test fails for one curl-force model; new family integrable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001623,"raw_usage":{"total_tokens":6498,"prompt_tokens":1025,"completion_tokens":5473,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":641,"completion_tokens_details":{"reasoning_tokens":5396}},"tokens_in":641,"tokens_out":5473,"duration_ms":39283,"temperature":1.0,"reasoning_tokens":5396,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T20:23:30.454242+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the omitted step: insert the full Laurent expansions (4.12) into (4.2)-(4.3) at order $j=4$ on the branch $s=(1+i\\sqrt3)/2$, evaluate the vector $C_4$ in (4.19), and test whether it lies in the column space of the singular matrix on the left. If it does not, the compatibility at $r=4$ imposes a new constraint and the Painlevé test does not pass on the claimed locus.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the Hamiltonian curl-force formulation and the constant-metric realizability condition used in section 2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the earlier polynomial model whose closed trajectories motivate the integrability conjecture, which the paper's Painlevé obstruction targets."},{"cited_title":"Weiss, M","cited_arxiv_id":null,"evidence_quote":"provides the Painlevé property test applied to the singularity analysis of the models."},{"cited_title":"Ramani, B","cited_arxiv_id":null,"evidence_quote":"supplies the standard resonance-counting criterion used to conclude that the earlier model's balances are non-principal."},{"cited_title":"Lax, Integrals of nonlinear equations and solitary waves, Commun","cited_arxiv_id":null,"evidence_quote":"introduces the Lax equation $\\dot L=[M,L]$ that the block-diagonal pair is built to satisfy."},{"cited_title":"Pais and G","cited_arxiv_id":null,"evidence_quote":"defines the degenerate equal-frequency Pais-Uhlenbeck equation recovered when $\\mu=\\nu=0$ in the higher-derivative potentialisation."}],"review_version":1}