Pith. sign in

REVIEW 1 major objections 6 minor 39 references

Integrable curl-force Hamiltonians: bi-Hamiltonian structure, separability, and periodic orbits

T0 review · 1 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2608.05952 v1 pith:LZ7GSBXN submitted 2026-08-06 nlin.SI math-phmath.MPphysics.class-ph

classification nlin.SImath-phmath.MPphysics.class-ph MSC 37J3570H06
keywords curl-forceHamiltoniansbi-HamiltonianstructureLiouvilleintegrabilityPainlevétestseparabilityLaxpairghostlysystemsPais-Uhlenbeckoscillator
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 6 minor

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.

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 (1)
  1. [Section 4.1, Eq. (4.19)] 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.
minor comments (6)
  1. [Eq. (4.45)] 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.
  2. [Eq. (5.20)] 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.
  3. [Section 7] In the first paragraph, 'a four-parameter an integrable polynomial modification' should read 'a four-parameter integrable polynomial modification'.
  4. [Section 1] In the last paragraph, 'an integrable modofication' should be 'an integrable modification'.
  5. [Section 4.1, after Eq. (4.18)] 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.
  6. [Section 5.4] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the integrability locus α=-β is obtained by explicit, term-by-term constructions (second Hamiltonian, Poisson pair, separation, Lax pair) rather than by fitting or by any load-bearing self-citation.

full rationale

The central claim that H1 in (4.1) is Liouville integrable on α=-β is supported by explicit constructions inside the paper. The Painlevé compatibility condition α=-β appears at order j=2 (Eq. (4.16)), while the second Hamiltonian H2 in (4.23), the Poisson tensor J2 in (4.24), and the equality J1∇H1=J2∇H2 in (4.21) are stated and verified directly; the involution condition (4.28)-(4.29) is a polynomial identity in the potentials. Separability follows from the factorization (4.30) and the canonical transformation (4.31)-(4.34), and the separated Hamiltonians (4.37)-(4.38) reproduce H1 and H2. The Lax pair (4.63)-(4.64) is built from the spectral curve of the separated motion, with H1 and H2 appearing as coefficients of trL², so no external result is imported to force the conclusion. Self-citations to the authors' earlier Pais-Uhlenbeck work (refs [28]-[30]) occur only in the introduction as context and bear no weight in the integrability derivation, so they are not circular. The unexhibited vector C4 at order j=4 in the Painlevé check (Eq. (4.19)) is an omitted verification, not a circular reduction; the explicit bi-Hamiltonian and Lax constructions are independent of that check. The normalization discrepancy in Eq. (4.45) is an algebraic typo, as the spectral invariant (4.67) is consistent with the corrected relation h_u = 1/2(E + iI/√3); this is a correctness issue, not a circular one. Overall, no step in the derivation chain is equivalent by definition to its input.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

The central integrability construction introduces no fitted parameters and no new physical entities; the only tuned number is the shooting parameter used for a single illustrative periodic orbit. The axioms are standard tools in integrable systems theory, and the paper uses them without introducing ad hoc assumptions. The integrable locus alpha=-beta is derived, not imposed.

free parameters (1)
  • shooting parameter y(0)=b* = -0.000595082485
    Chosen by reversible shooting to make the non-integrable example in Section 5.4 close; this illustrates that isolated periodic orbits can exist outside the integrable locus but is not part of the integrability construction.
assumptions (4)
  • domain assumption A dominant balance with a repeated negative resonance cannot support a Laurent series containing the required number of arbitrary constants, so the system fails the standard Painlevé test.
    Used in Section 3 to declare Berry's model non-integrable in the Painlevé sense; the authors themselves note that this does not exclude Liouville integrability.
  • standard math Two functions in involution on a four-dimensional phase space give Liouville integrability on regular compact levels.
    Invoked in Sections 4.2 and 4.3 when the second Hamiltonian is shown to be conserved and in involution.
  • standard math Compatible Poisson tensors define a bi-Hamiltonian hierarchy and guarantee integrability.
    Used in Section 4.2; the paper asserts that by standard arguments H2 is conserved along the H1-flow and vice versa.
  • standard math A Lax equation dL/dt=[M,L] implies the eigenvalues and traces of L are conserved.
    Used in Section 4.4 to derive conserved quantities from the Lax pair.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integrable curl-force Hamiltonians: bi-Hamiltonian structure, separability, and periodic orbits." pith.science (2026). https://pith.science/paper/LZ7GSBXN

@misc{pith2026260805952,
  author       = {Pith},
  title        = {Pith review of: Integrable curl-force Hamiltonians: bi-Hamiltonian structure, separability, and periodic orbits},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LZ7GSBXN}},
  note         = {Machine review of arXiv:2608.05952}
}
read the original abstract

We investigate Hamiltonian curl-force systems with indefinite kinetic energy. We first reconsider Berry's polynomial Hamiltonian curl-force model, whose numerically observed closed trajectories motivated an integrability conjecture. A Painlev\'e analysis yields a non-principal resonance spectrum, so that the corresponding Laurent series cannot accommodate the required number of arbitrary constants of the general solution. The model therefore fails the standard Painlev\'e test. We then introduce a four-parameter curl-force family and identify the parameter locus on which this system is integrable. We construct a second Hamiltonian, compatible Poisson tensors, separated complex characteristic variables, and a Lax representation. More generally, the separated form yields polynomial integrable curl-force Hamiltonians of arbitrary degree. We also show that the same construction admits a higher time-derivative potentialisation whose free limit is the degenerate Pais-Uhlenbeck oscillator. Finally, we analyse zero-curl invariant reductions and elliptic periodic solutions, and exhibit an isolated periodic orbit outside the integrable regime. This illustrates that closed trajectories alone do not imply Liouville or Painlev\'e integrability.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    M. V. Berry and P. Shukla, Classical dynamics with curl forces, and motion driven by time-dependent flux, J. Phys. A: Math. and Theor.45(30), 305201 (2012)

  2. [2]

    M. V. Berry and P. Shukla, Physical curl forces: dipole dynamics near optical vortices, J. Phys. A: Math. and Theor.46(42), 422001 (2013)

  3. [3]

    Scheibner, A

    C. Scheibner, A. Souslov, D. Banerjee, P. Sur´ owka, W. T. Irvine, and V. Vitelli, Odd elasticity, Nat. Phys.16(4), 475–480 (2020)

  4. [4]

    Y. Chen, X. Li, C. Scheibner, V. Vitelli, and G. Huang, Realization of active metamaterials with odd micropolar elasticity, Nat. Commun.12(1), 5935 (2021)

  5. [5]

    P. Gao, Y. Qu, and J. Christensen, Non-Hermitian elastodynamics in gyro-odd continuum media, Commun. Mat.3(1), 74 (2022)

  6. [6]

    Zhang and Z

    Y.-H. Zhang and Z. Yao, Anisotropic odd elasticity with Hamiltonian curl forces, J. Phys. A: Math. and Theor.57(45), 455204 (2024)

  7. [7]

    Avron, R

    J. Avron, R. Seiler, and P. G. Zograf, Viscosity of quantum Hall fluids, Phys. Rev. Lett. 75(4), 697 (1995)

  8. [8]

    Avron, Odd viscosity, J

    J. Avron, Odd viscosity, J. Stat. Phys.92(3), 543–557 (1998)

Show all 39 references
  1. [9]

    Fruchart, C

    M. Fruchart, C. Scheibner, and V. Vitelli, Odd viscosity and odd elasticity, Annu. Rev. Condens. Matter Phys.14(1), 471–510 (2023)

  2. [10]

    Caprini and U

    L. Caprini and U. Marini Bettolo Marconi, Odd active solids: vortices, velocity oscillations and dissipation-free modes, New J. Phys.27(5), 054401 (2025)

  3. [11]

    Marini Bettolo Marconi, A

    U. Marini Bettolo Marconi, A. Petrini, R. Maire, and L. Caprini, Emergent hydrodynamics of chiral active fluids: vortices, bubbles and odd diffusion, New J. Phys.28(6), 064401 (2026)

  4. [12]

    M. F. Lapa and T. L. Hughes, Swimming at low Reynolds number in fluids with odd, or Hall, viscosity, Phys. Rev. E89(4), 043019 (2014)

  5. [13]

    Kogan, Lift force due to odd Hall viscosity, Phys

    E. Kogan, Lift force due to odd Hall viscosity, Phys. Rev. E94(4), 043111 (2016)

  6. [14]

    X. Lou, Q. Yang, Y. Ding, P. Liu, K. Chen, X. Zhou, F. Ye, R. Podgornik, and M. Yang, Odd viscosity-induced Hall-like transport of an active chiral fluid, Proc. Natl. Acad. Sci. U.S.A.119(42), e2201279119 (2022)

  7. [15]

    R. Lier, C. Duclut, S. Bo, J. Armas, F. J¨ ulicher, and P. Sur´ owka, Lift force in odd compressible fluids, Phys. Rev. E108(2), L023101 (2023)

  8. [16]

    Dundas, E

    D. Dundas, E. J. McEniry, and T. N. Todorov, Current-driven atomic waterwheels, Nat. Nanotechnol.4(2), 99–102 (2009)

  9. [17]

    N. Bode, S. V. Kusminskiy, R. Egger, and F. Von Oppen, Scattering theory of current-induced forces in mesoscopic systems, Phys. Rev Lett.107(3), 036804 (2011). 28 Integrable curl-force Hamiltonians

  10. [18]

    J.-T. L¨ u, M. Brandbyge, P. Hedeg ˚ ard, T. N. Todorov, and D. Dundas, Current-induced atomic dynamics, instabilities, and Raman signals: Quasiclassical Langevin equation approach, Phys. Rev. B85(24), 245444 (2012)

  11. [19]

    Roichman, B

    Y. Roichman, B. Sun, A. Stolarski, and D. G. Grier, Influence of nonconservative optical forces on the dynamics of optically trapped colloidal spheres: the fountain of probability, Phys. Rev. Lett.101(12), 128301 (2008)

  12. [20]

    P. Wu, R. Huang, C. Tischer, A. Jonas, and E.-L. Florin, Direct measurement of the nonconservative force field generated by optical tweezers, Phys. Rev. Lett.103(10), 108101 (2009)

  13. [21]

    Gloppe, P

    A. Gloppe, P. Verlot, E. Dupont-Ferrier, A. Siria, P. Poncharal, G. Bachelier, P. Vincent, and O. Arcizet, Bidimensional nano-optomechanics and topological backaction in a non-conservative radiation force field, Nat. Nanotechnol.9(11), 920–926 (2014)

  14. [22]

    M. V. Berry and P. Shukla, Hamiltonian curl forces, Proc. R. Soc. A471(2176) (2015)

  15. [23]

    Guha, Curl forces and their role in optics and ion trapping, Eur

    P. Guha, Curl forces and their role in optics and ion trapping, Eur. Phys. J. D74(5), 99 (2020)

  16. [24]

    Pais and G

    A. Pais and G. E. Uhlenbeck, On field theories with non-localized action, Phys. Rev.79(1), 145 (1950)

  17. [25]

    Smilga, Benign vs

    A. Smilga, Benign vs. malicious ghosts in higher-derivative theories, Nucl. Phys. B706(3), 598–614 (2005)

  18. [26]

    M. V. Berry and P. Shukla, Quantising a Hamiltonian curl force, J. Phys. A: Math. and Theor.57(40), 405302 (2024)

  19. [27]

    M. V. Berry, Classical and quantum complex Hamiltonian curl forces, J. Phys. A: Math. and Theor.53(41), 415201 (2020)

  20. [28]

    Felski, A

    A. Felski, A. Fring, and B. Turner, Lie symmetries and Ghost-free representations of the Pais-Uhlenbeck model, Mod. Phys. Lett. A , 2650019 (2026)

  21. [29]

    Felski, A

    A. Felski, A. Fring, and B. Turner, Three-dimensional ghost-free representations of the Pais-Uhlenbeck model from Tri-Hamiltonians, Phys. Lett. A , 131332 (2026)

  22. [30]

    Fring, T

    A. Fring, T. Taira, and B. Turner, Ghost-free quantization of higher time-derivative theories via nonunitary similarity transformations, Int. J. of Mod. Phys. A , 2650121 (2026)

  23. [31]

    M. V. Berry and P. Shukla, Curl force dynamics: symmetries, chaos and constants of motion, New J. Phys.18(6), 063018 (2016)

  24. [32]

    M. V. Berry , Six illustrations of curl force dynamics, Eur. J. of Phys.46(6), 065003 (2025)

  25. [33]

    Weiss, M

    J. Weiss, M. Tabor, and G. Carnevale, The Painlev´ e property for partial differential equations, J. Math. Phys.24, 522–526 (1983)

  26. [34]

    Weiss, The Painlev´ e property for partial differential equations

    J. Weiss, The Painlev´ e property for partial differential equations. II: B¨ acklund transformation, Lax pairs, and the Schwarzian derivative, J. Math. Phys.24, 1405–1413 (1983). 29 Integrable curl-force Hamiltonians

  27. [35]

    Ramani, B

    A. Ramani, B. Grammaticos, and T. Bountis, The Painlev´ e property and singularity analysis of integrable and non-integrable systems, Phys. Rep.180(3), 159–245 (1989)

  28. [36]

    Ramani, B

    A. Ramani, B. Grammaticos, and S. Tremblay, Integrable systems without the Painlev´ e property, J. Phys. A: Math. and Gen.33(15), 3045–3052 (2000)

  29. [37]

    Lax, Integrals of nonlinear equations and solitary waves, Commun

    P. Lax, Integrals of nonlinear equations and solitary waves, Commun. Pure Appl. Math.21, 467–490 (1968)

  30. [38]

    M. A. Olshanetsky and A. M. Perelomov, Completely integrable Hamiltonian systems connected with semisimple Lie algebras, Invent. Math.37, 93–108 (1976)

  31. [39]

    M. A. Olshanetsky and A. M. Perelomov, Classical integrable finite dimensional systems related to Lie algebras, Phys. Rep.71, 313–400 (1981). 30

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.