Pith. sign in

REVIEW 2 major objections 3 minor 29 references

This paper constructs explicit Lax pairs and r-matrices for two-dimensional isotropic oscillators, including 2×2 pairs for the harmonic oscillator that deliver all three conserved quantities.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 08:48 UTC pith:ACBGWHOE

load-bearing objection A constructive paper that mostly delivers: new Lax pairs and r-matrices for textbook oscillators, with a real noninvolution example; the RR-model transfer section needs explicit verification before I'd be fully convinced. the 2 major comments →

arxiv 2607.20983 v1 pith:ACBGWHOE submitted 2026-07-23 nlin.SI math-phmath.DSmath.MPphysics.class-ph

Lax pairs and r-matrices for some two-dimensional isotropic oscillators

Govind S. Krishnaswami , Garima Rajpoot , Srividya N. Vaidya This is my paper
classification nlin.SI math-phmath.DSmath.MPphysics.class-ph MSC 37K1037J3570H06
keywords Lax pairsr-matricesisotropic harmonic oscillatorsuperintegrable systemsquartic anharmonic oscillatorFock-Darwin oscillatorRajeev-Ranken modelnonabelian Poisson algebra
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper sets out to show that even the simplest 2D isotropic harmonic oscillator, despite being bi-Hamiltonian and obtainable as a limit of a Calogero model, has its own explicit Lax-pair integrability structure. It constructs a 4×4 block-form Lax pair with a spectral parameter whose conserved quantities are the two mode energies in involution, together with a dynamical r-matrix. It also finds 2×2 Lax pairs that give all three independent conserved quantities, which satisfy a nonabelian su(2)-type Poisson algebra rather than being pairwise in involution. The same constructive scheme is then applied to the quartic anharmonic oscillator, the Fock-Darwin oscillator with a quartic potential, and, via a change of variables, to the Rajeev–Ranken model. If correct, these are new explicit Lax pairs and r-matrices for well-studied integrable systems, including a minimal example of a Lax pair whose conserved quantities are not all in involution.

Core claim

The central discovery is that the circularly symmetric 2D isotropic harmonic oscillator, although bi-Hamiltonian and obtainable as the zero-coupling limit of a harmonic Calogero model, does not inherit a Lax pair from either route; nevertheless, explicit Lax pairs do exist. A 4×4 block-form Lax pair with spectral parameter ζ yields the two mode energies in involution, and its dynamical r-matrix depends on only one spectral parameter, in contrast to the usual dependence on the difference of spectral parameters. In addition, 2×2 traceless symmetric-antisymmetric Lax pairs give all three independent conserved quantities of the harmonic oscillator, and these conserved quantities satisfy a nonabe

What carries the argument

The central object is a Lax pair (A, B) with spectral parameter ζ: a pair of matrices whose entries depend on the dynamical variables such that the matrix equation ɵA = [B, A] is equivalent to Hamilton's equations, making the traces of powers of A conserved quantities. For the anharmonic systems, the machinery is an ansatz for traceless antihermitian 2×2 matrices whose entries are Laurent polynomials in ζ, with coefficients fixed by matching orders of ζ in the Lax equations; the conserved energy and angular momentum emerge as coefficients of tr A². The associated r-matrix, proportional to the permutation operator divided by ζ − ζ', encodes the fundamental Poisson brackets and guarantees that

Load-bearing premise

The construction's strongest reliance is on the assumed nilpotent Poisson brackets and Casimirs of the Rajeev–Ranken model; if those brackets or Casimir assignments are incorrect, the transferred Lax pairs and r-matrices do not govern the RR dynamics.

What would settle it

For the sample anharmonic Lax pair, expand the expression ɵA − [B, A] in powers of ζ and compare the coefficients with Hamilton's equations for generic x, y, p_x, p_y; any nonvanishing residual coefficient would falsify the Lax-pair claim. For the Rajeev–Ranken section, one instead checks the fundamental bracket {S₁, S₂} = (λ/μ²)L₃ and the Casimir property of L₃ and C on a generic symplectic leaf; a failure there would invalidate the transferred Lax pairs and r-matrices.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The 2D isotropic harmonic oscillator, though maximally superintegrable, has explicit Lax pairs that deliver all three independent conserved quantities, providing a minimal example of a Lax pair whose conserved quantities are not all in involution.
  • The 4×4 block-form Lax pair comes with a dynamical r-matrix depending on only one spectral parameter, a form that differs from the standard ζ − ζ' rational, trigonometric, and elliptic r-matrices yet still ensures the two mode energies Poisson-commute.
  • For the isotropic quartic anharmonic oscillator and the Fock–Darwin oscillator with a quartic potential, the constructed families of Lax pairs come with nondynamical rational r-matrices, so the energy and angular momentum are in involution.
  • A change of variables connects the Fock–Darwin anharmonic oscillator to the Rajeev–Ranken model, producing a three-parameter family of Lax pairs and r-matrices for the RR model beyond the single pair previously known.
  • The anharmonic Lax pairs are singular in the vanishing-anharmonicity limit, and neither the bi-Hamiltonian recursion operator nor the Calogero-limit procedure yields a Lax pair for the harmonic oscillator, indicating that these routes are structurally closed off.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • We infer that the nonabelian Poisson algebra of the harmonic oscillator's conserved quantities is not an obstruction to a Lax representation itself, but only to an r-matrix in the standard form; these pairs could serve as a tractable testing ground for generalized r-matrix or classical Yang-Baxter structures.
  • Because the anharmonic families are singular as the quartic coupling tends to zero, we infer that a continuous Lax-pair deformation interpolating between the anharmonic and linear oscillators may be impossible, and the paper's negative results on bi-Hamiltonian and Calogero limits point toward a structural barrier rather than a merely technical gap.
  • The parameter families are not all related by orthogonal gauge transformations, so we infer that different members likely correspond to different spectral curves or different choices of separation variables; a testable extension is to compute and compare spectral curves across the families.
  • The RR-model transfer works on symplectic leaves labeled by L₃ = −mk and fixed p_z; we infer that other leaves, with different values of m and p_z, should yield oscillator Lax pairs with shifted α, β, γ parameters through the same formulas, thereby extending the known RR Lax-pair family further.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper constructs explicit Lax pairs and classical r-matrices for several circularly symmetric two-dimensional oscillator systems. For the 2D isotropic harmonic oscillator, it presents a 4×4 block-form Lax pair with a dynamical r-matrix that yields the two mode energies in involution, and a family of 2×2 Lax pairs that yield all three independent conserved quantities, which satisfy a nonabelian (su(2)) Poisson algebra. For the isotropic quartic anharmonic oscillator and its Fock–Darwin-type extension, it constructs traceless antihermitian 2×2 Lax pairs and rational non-dynamical r-matrices. Finally, using a change of variables, it claims a 3-parameter family of Lax pairs and r-matrices for the Rajeev–Ranken model.

Significance. If correct, these are new integrability structures for well-studied systems: the IHO Lax pair gives the first explicit example of a Lax pair whose spectral invariants include all conserved quantities of a superintegrable system but with nonabelian Poisson algebra; the 4×4 r-matrix is a rare dynamical r-matrix depending on a single spectral parameter; and the anharmonic and Fock–Darwin constructions provide families of Lax pairs with rational r-matrices. The main derivations are constructive and many identities are shown explicitly. The RR-model portion, if valid, extends known results and provides new r-matrices for that model.

major comments (2)
  1. [§4.3, after Eq. (103)] The statement 'the canonical x, y, px, py PBs imply the nilpotent L, S PBs of (96)' is incorrect. With (98) and canonical brackets {x,px}={y,py}=1, a direct computation gives {S1,S2}=0, whereas (96) gives {S1,S2}=λL3/µ^2 = −λmk/µ^2. The correct relation is the reverse: the RR bracket (96) induces noncanonical brackets on x,y,px,py (e.g. {px,py}=−λmk). This error is load-bearing because the transformation of the r-matrix in (111)–(112) is justified by the claimed relation between the FPBs. Please correct this and provide a direct derivation of the RR FPBs (111) from (96).
  2. [§4.3, Eqs. (108)–(112)] The Lax equations and the r-matrix equation for the RR model are asserted to be verified without presenting the computation. Since the change of variables (98)/(102) is not a Poisson map from the canonical bracket to (96), the r-matrix is not automatically preserved under the transformation. Please include a symbolic verification (or a detailed representative computation) that (108) satisfies the Lax equation along (95) and that (112) reproduces the FPBs (111) computed with the bracket (96).
minor comments (3)
  1. [Eq. (112)] The denominator 'κ3^2' appears to be a typo; from (94) and the special-case check against (105), the correct expression should involve κ2^3. Please correct and ensure notation for κ2, κ4 is consistent.
  2. [§2.3] The claim that the procedure leads to 'all Lax pairs with A linear in positions and momenta and constant B' is not fully proved; the analysis of orderings is sketched but no exhaustive list is given. This does not affect the validity of the explicit Lax pairs, but a clarification or proof would strengthen the statement.
  3. [§4.1, Eq. (87)] The expression for h is ambiguous: 'h=−i κ4 κ2 2' should read h = −i κ4/κ2^2. Similarly, check the derivation of (87) for clarity.

Circularity Check

0 steps flagged

No significant circularity; derivations are constructive and self-contained, with a non-circular dependency on the prior RR-model Poisson structure.

full rationale

The paper's derivation chain is constructive rather than circular. The harmonic-oscillator Lax pairs in §2 are obtained from explicit ansätze (20) and by coefficient matching against Hamilton's equations; the conserved quantities (35) are read off as coefficients of tr A^2, not imposed as inputs. The 4×4 block pair (14) is assembled from 1d oscillator Lax matrices, and the r-matrix (17)/(120) is solved from the canonical FPBs (15), with the check given in Appendix A. The anharmonic and Fock–Darwin sections follow the same pattern: ansätze (46)–(49) and (77) are fixed by requiring the Lax equation to be equivalent to the EOM, and the r-matrices (70) and (94) are solved from the FPBs. The only external input with author overlap is the Rajeev–Ranken nilpotent Poisson structure (96) and Hamiltonian (97), taken from [20]; this is load-bearing for §4.3, but it is a previously published, externally checkable result, not an input being redisguised as a prediction. The paper's own 'we have verified' statements in §4.3 are not accompanied by computations, but an omitted verification is a correctness risk, not circularity. No fitted data enter, no uniqueness theorem is imported to force a choice, and no claimed prediction is equivalent by construction to a fitted parameter. Accordingly no circular step can be exhibited.

Axiom & Free-Parameter Ledger

3 free parameters · 6 axioms · 0 invented entities

The construction introduces no new physical entities or exotic axioms. It relies on standard integrable-systems machinery (Lax pairs, r-matrices, Magri recursion, known Poisson structures for the IHO and RR model). The only free choices are the family parameters of the Lax pairs, which are not fitted to data and are the standard nonuniqueness of Lax representations.

free parameters (3)
  • IHO 2×2 Lax pair scalings b3, b'4
    Free nonzero constants in (28), set to unity for the displayed examples; they merely scale the terms in the Lax matrix and do not affect the existence of the pair.
  • AHO family parameters (g, κ1, κ3, arg a)
    Section 3: a 4-parameter family of Lax pairs for the quartic anharmonic oscillator. The parameters are chosen by hand and constrained by (60), not fitted to data.
  • FD-AHO family parameters (κ2, κ4, θ=arg a)
    Section 4.1: a 3-parameter family of Lax pairs for the Fock–Darwin anharmonic oscillator; free real factors plus a phase, subject to (79)–(87). These parameterize the family but are not empirical fits.
axioms (6)
  • standard math Lax equation ˙A=[B,A] implies isospectral evolution and conserved traces trA^n
    Used throughout the paper as the definition of a Lax pair; classical background from [9].
  • standard math Babelon–Viallet theorem: existence of an r-matrix of the stated form guarantees involutivity of spectral invariants
    Invoked in §2.2.1 and used in the r-matrix computations; cited to [28].
  • domain assumption The 2d isotropic harmonic oscillator is bi-Hamiltonian with the second Poisson tensor and Hamiltonian given in Eq. (5)
    Background assumption from [23,24] needed for the negative result in §2 that the recursion operator does not produce a Lax pair.
  • domain assumption The harmonic Calogero model admits the generalized Lax pair (L±,M) from [27]
    Used in §2.1 to examine the zero-coupling limit; a prior result the paper relies on.
  • domain assumption The Rajeev–Ranken model has the nilpotent Poisson structure (96) and Hamiltonian (97) from [20]
    Load-bearing for §4.3: the transformed Lax pairs and r-matrices are valid only if this Poisson structure is correct.
  • standard math Canonical Poisson brackets {x_i, p_j}=δ_ij for oscillator variables
    Fundamental assumption in §§2–4 for the oscillator phase space.

pith-pipeline@v1.3.0-alltime-deepseek · 22512 in / 26122 out tokens · 257522 ms · 2026-08-01T08:48:54.904851+00:00 · methodology

0 comments
read the original abstract

This paper concerns Lax pairs for circularly symmetric harmonic, Fock-Darwin-type and quartic anharmonic oscillators in two dimensions. Although the 2d isotropic harmonic oscillator is bi-Hamiltonian, its recursion operator does not lead to a Lax pair, nor do we obtain such a pair by taking a limit of the harmonic Calogero model. On the other hand, we show that this superintegrable harmonic oscillator admits a $4 \times 4$ block-form Lax pair with spectral parameter giving two conserved mode energies in involution and a corresponding dynamical $r$-matrix. Interestingly, we also find $2 \times 2$ Lax pairs with spectral parameter that give all three independent conserved quantities satisfying a nonabelian Poisson algebra, thereby providing a simple example of a Lax pair whose conserved quantities are not all in involution. Next, we construct a family of $su(2)$ Lax pairs and $r$-matrices for the quadratic+quartic isotropic anharmonic oscillator. This is then extended to an isotropic oscillator with a rotational energy, which may be viewed as the Fock-Darwin oscillator with a quartic potential. With a change of variables, these Lax pairs and $r$-matrices also apply to the Rajeev-Ranken model, although its noncanonical Poisson structure is distinct from that of the anharmonic oscillator.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 2 linked inside Pith

  1. [1]

    Fock,Bemerkung zur Quantelung des harmonischen Oszillators im Magnetfeld, Z

    V. Fock,Bemerkung zur Quantelung des harmonischen Oszillators im Magnetfeld, Z. Phys.47, 446 (1928). 1, 3

    1928

  2. [2]

    C. G. Darwin,The diamagnetism of the free electron, Proc. Cambridge Philos. Soc.27, 86 (1930). 1, 3

    1930

  3. [3]

    S. G. Rajeev and E. Ranken,Highly nonlinear wave solutions in a dual to the chiral model, Phys. Rev. D 93, 105016 (2016). 1, 3, 12, 15

    2016

  4. [4]

    G. S. Krishnaswami and T. R. Vishnu,Quantum Rajeev-Ranken model as an anharmonic oscillator, J. Math. Phys.63, 032101 (2022). 1, 3, 13, 17

    2022

  5. [5]

    Luban, J

    M. Luban, J. H. Luscombe, M. A. Reed and D. L. Pursey,Anharmonic oscillator model of a quantum dot nanostructure, App. Phys. Lett.54, 1997 (1989). 1

    1997

  6. [6]

    B. P. van Zyl, R. K. Bhaduri and J. Sigetich,Dilute Bose gas in a quasi-two-dimensional trap, J. Phys. B: At. Mol. Opt. Phys.,35, 1251 (2002). 2

    2002

  7. [7]

    Drigho-Filho, S

    E. Drigho-Filho, S. Kuru, J. Negro and L. M. Nieto,Superintegrability of the Fock-Darwin system, Ann. Phys. (N.Y.)383, 101 (2017). 2, 13

    2017

  8. [8]

    Sinha, A

    A. Sinha, A. Ghosh and B. Bagchi,Dynamical symmetries of the anisotropic oscillator, Phys. Scr. 98, 095253 (2023), arXiv:2304.14306. 2

    Pith/arXiv arXiv 2023

  9. [9]

    Lax,Integrals of nonlinear equations of evolution and solitary waves, Comm

    P. Lax,Integrals of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math.21, 467 (1968). 2

    1968

  10. [10]

    Flaschka,The Toda lattice

    H. Flaschka,The Toda lattice. II. Existence of integrals, Phys. Rev.B9, 1924 (1974). 2

    1924

  11. [11]

    Calogero,Solution of One-Dimensional N-Body Problems with Quadratic and/or Inversely Quadratic Pair Potentials, J

    F. Calogero,Solution of One-Dimensional N-Body Problems with Quadratic and/or Inversely Quadratic Pair Potentials, J. Math. Phys.12, 419 (1971). 2

    1971

  12. [12]

    Sutherland,Exact Results for a Quantum Many-Body Problem in One Dimension, Phys

    B. Sutherland,Exact Results for a Quantum Many-Body Problem in One Dimension, Phys. Rev. A4, 2019 (1971). 2

    2019

  13. [13]

    Sutherland,Exact Results for Quantum Many-Body Problem in One Dimension

    B. Sutherland,Exact Results for Quantum Many-Body Problem in One Dimension. II., Phys. Rev. A5, 1372 (1972). 2

    1972

  14. [14]

    Moser,Three integrable Hamiltonian systems connnected with isospectral deformations, Adv

    J. Moser,Three integrable Hamiltonian systems connnected with isospectral deformations, Adv. Math.16, 197 (1975). 2

    1975

  15. [15]

    Arutyunov,Elements of Classical and Quantum Integrable Systems, Springer Nature Switzerland AG (2019)

    G. Arutyunov,Elements of Classical and Quantum Integrable Systems, Springer Nature Switzerland AG (2019). 2, 4

    2019

  16. [16]

    Hoppe,Lectures on Integrable Systems, Springer-Verlag, Berlin (1992)

    J. Hoppe,Lectures on Integrable Systems, Springer-Verlag, Berlin (1992). 2

    1992

  17. [17]

    Avan and M

    J. Avan and M. Talon,Poisson structures and integrability of the Neumann-Moser-Uhlenbeck model, Int. J. Mod. Phys.A5, 4477 (1989). 2

    1989

  18. [18]

    N. A. Kudryashov,Lax pair and first integrals for two of nonlinear coupled oscillators, Advanced Technolo- gies in Robotics and Intelligent Systems, Proceedings of ITR80(2019), Springer, Cham (2020), 2

    2019

  19. [19]

    Babelon, D

    O. Babelon, D. Bernard and M. Talon,Introduction to Classical Integrable Systems, Cambridge University Press, New York (2003). 2, 4, 12

    2003

  20. [20]

    G. S. Krishnaswami and T. R. Vishnu,On the Hamiltonian formulation, integrability and algebraic struc- tures of the Rajeev-Ranken model, J. Phys. Commun.3, 025005 (2019), arXiv:1804.02859. 3, 12, 15, 17, 18

    Pith/arXiv arXiv 2019

  21. [21]

    Eilbeck, V

    J. Eilbeck, V. Z. Enol’skij, V. B. Kuznetsov, A. V. Tsiganov,Linearr-matrix algebra for classical separable systems, J. Phys. A, 27, 567 (1994). 19

    1994

  22. [22]

    Dubrovin and T

    B. Dubrovin and T. Skrypnyk,Separation of variables for linear Lax algebras and classicalr-matrices, J. Math. Phys.59, 091405 (2018). 19

    2018

  23. [23]

    Das,Integrable Models, World Scientific (1989)

    A. Das,Integrable Models, World Scientific (1989). 3

    1989

  24. [24]

    R. A. L. Fernandes,Completely integrable bi-Hamiltonian systems, PhD Thesis, Univ of Illinois Urbana- Champaign (1994). 3

    1994

  25. [25]

    Magri,A simple model of the integrable Hamiltonian equation, J

    F. Magri,A simple model of the integrable Hamiltonian equation, J. Math. Phys.191156 (1978). 4

    1978

  26. [26]

    Magri and C

    F. Magri and C. Morosi,A geometric characterization of the integrable Hamiltonian systems through the theory of Poisson Nijenhuis manifolds, Publ. Universita degli Studi de Milano (1984). 4

    1984

  27. [27]

    Abanov, A

    A. Abanov, A. Gromov and M. Kulkarni,Soliton solutions of a Calogero model in a harmonic potential, J. Phys. A.44, 21 (2011). 4

    2011

  28. [28]

    Babelon and C-M

    O. Babelon and C-M. Viallet,Hamiltonian structures and Lax equations, Phys. Lett. B 237, 411 (1990). 5

    1990

  29. [29]

    Bandyopadhyay,Orbital magnetism of two-dimensional electron gas in a crossed electromagnetic field: the effect of spin-orbit interaction, confined geometries and defects, J

    M. Bandyopadhyay,Orbital magnetism of two-dimensional electron gas in a crossed electromagnetic field: the effect of spin-orbit interaction, confined geometries and defects, J. Stat. Mech. 2006, P10010 (2006). 13 21

    2006