{"id":"e69add58-0643-4d78-8bc9-31c295c388f3","arxiv_id":"2607.20983","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"New Lax pairs and r-matrices are constructed for 2d isotropic harmonic, quartic anharmonic and Fock–Darwin-type oscillators, including a Lax pair whose conserved quantities are not all in involution.","lead":"This paper constructs new Lax pairs and r-matrices—mathematical objects that encode a system's conserved quantities—for several circularly symmetric two-dimensional oscillators, including harmonic and quartic anharmonic cases. The results give new integrability structures and connect these oscillators to the Rajeev–Ranken model.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"RR-model Lax pairs and r-matrix rest on an unverified Poisson-map/leaf assumption; an independent symbolic check of (108)-(112) against (95)-(96) would settle it.","rationale":"The reader identified the RR-model Poisson-structure assumption as the weakest point; I agree. The rest of the paper is explicit and verifiable by direct substitution, and the minor overclaim in §2.3 about completeness does not undermine the core harmonic-oscillator constructions. The RR extension is the least directly verified part because it relies on a nontrivial mapping between two distinct Poisson structures and contains only a terse 'we have verified.' A concrete symbolic check would either confirm the three-parameter RR Lax family or expose a hidden error. Therefore the conditional verdict is appropriate, unchanged in direction but with a clear path to resolution.","tokens_in":796,"tokens_out":681,"duration_ms":160220,"concrete_test":"Independently verify, using a computer algebra system (e.g., sympy), that the RR Lax pair (108)-(109) satisfies dA/dt=[B,A] along the RR EOM (95) for generic parameters κ2, κ4, θ and a generic point on a symplectic leaf, and that the r-matrix (112) satisfies the FPB identity (111) with respect to the brackets (96). Use the explicit transformation (98) and the definitions of α,β,γ in (99). If both identities hold for random numerical parameter choices, the RR extension is sound; if either fails, the central RR claim is invalid.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central claim for the Rajeev-Ranken (RR) model in §4.3 is that a 3-parameter family of Lax pairs and r-matrices is obtained by transforming the Fock-Darwin anharmonic oscillator (FD-AHO) results. This requires three premises: (i) the RR Poisson brackets (96) with Casimirs L3 and C are correct as given in [20]; (ii) the change of variables (98) is a Poisson map onto the symplectic leaf labeled by L3=-mk and fixed p_z; and (iii) the transformed Lax pair (108)-(109) satisfies the Lax equation with respect to the RR EOM (95) and the r-matrix (112) reproduces the FPBs (111). The text only states 'we have verified' these identities without presenting the computation. If any of these premises fail—particularly if the leaf assignment or the nilpotent bracket (96) is incorrect—the RR Lax pairs are not valid Lax pairs for the RR model and the associated r-matrix does not encode the FPBs. This is the most load-bearing assumption for the RR portion of the paper, which is a substantial part of the abstract and conclusions. The §2.3 completeness overclaim ('our procedure leads to all Lax pairs...') is secondary because it does not affect the validity of the explicitly constructed harmonic-oscillator examples.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":23229,"tokens_out":19017,"duration_ms":161046,"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":[{"comment":"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).","section":"§4.3, after Eq. (103)"},{"comment":"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).","section":"§4.3, Eqs. (108)–(112)"}],"minor_comments":[{"comment":"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.","section":"Eq. (112)"},{"comment":"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.","section":"§2.3"},{"comment":"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.","section":"§4.1, Eq. (87)"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about the RR section is warranted. The paper's text contains a demonstrably false statement about the Poisson brackets, and the r-matrix transformation for the RR model is asserted rather than shown. The oscillator parts (IHO, AHO, FD-AHO) are largely self-contained and appear sound; the RR portion needs either a direct verification or a corrected explanation before publication. I would not recommend rejection if the authors can supply the missing computation or adjust the claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this one. It's a genuinely useful construction paper. The 2×2 Lax pairs for the isotropic harmonic oscillator that yield all three conserved quantities, with a nonabelian Poisson algebra, are the cleanest example I know of a Lax pair whose spectral invariants are not in involution. The 4×4 block pair and the r-matrix depending on a single spectral parameter are also new, and the algebra is checked carefully in Appendix A. The quartic and Fock–Darwin anharmonic extensions are constructive and pass the spot checks I did. Credit where due: the coefficient matching in §§3–4 is explicit and reproducible; the equations are consistent dimensionally; the limiting behavior (singular as β→0) is honestly discussed.\n\nSoft spots, in order of severity. First, §4.3's RR-model extension rests on the Poisson structure of [20] and a change of variables (98) that is not a canonical Poisson map—the authors themselves note the RR bracket gives {px,py}≠0 while the FD-AHO is canonical. They show the equations of motion map into each other, which is enough for the Lax equation, but for the r-matrix to transfer you need the FPB relations to match, and they only say 'we have verified' for (111)–(112). Given that the reduction depends on a leaf assignment and the prior bracket, this deserves an explicit computation or a supplementary notebook. It's not a fatal flaw, but it is the part I'd want a referee to check.\n\nSecond, the §2.3 sentence 'our procedure leads to all Lax pairs with A linear in positions and momenta and constant B' overreaches. The search covers permutations of the four EOMs, not general linear equivalences or gauge transformations. Since the examples stand on their own, I'd soften that claim rather than defend it.\n\nThird, minor: several checks are asserted as 'we have checked' inside the text (e.g., Jacobi identity for the λ-bracket). Standard for this literature, but a reader—or referee—would benefit from more detail.\n\nWho it's for: integrable systems people who want explicit structures for these textbook models, and anyone teaching Lax pairs with nonabelian conserved algebras. I'd send it to peer review; with the RR section made fully traceable and the completeness claim softened, it would be a solid published paper.","headline":"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.","tokens_in":23777,"tokens_out":3249,"would_cite":true,"duration_ms":31440,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","37J35","70H06"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Lax pairs","r-matrices","isotropic harmonic oscillator","superintegrable systems","quartic anharmonic oscillator","Fock-Darwin oscillator","Rajeev-Ranken model","nonabelian Poisson algebra"],"falsifier":"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.","tokens_in":22760,"feed_emoji":"","tokens_out":5934,"duration_ms":58839,"temperature":0.7,"pith_summary":"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.","feed_headline":"New Lax pairs capture all three invariants of the 2D oscillator","feed_subtitle":"Explicit matrix pairs and r-matrices also extend to quartic anharmonic, Fock-Darwin, and Rajeev–Ranken systems.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["New Lax pairs capture all three 2D oscillator invariants","Explicit Lax pairs for 2D harmonic oscillator at last","2D oscillator Lax pairs with noncommuting conserved quantities","Lax pairs and r-matrices for 2D isotropic oscillators","Nonabelian Poisson algebra from oscillator Lax pairs"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["New Lax pairs capture all three 2D oscillator invariants","Explicit Lax pairs for 2D harmonic oscillator at last","2D oscillator Lax pairs with noncommuting conserved quantities","Lax pairs and r-matrices for 2D isotropic oscillators","Nonabelian Poisson algebra from oscillator Lax pairs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000499,"raw_usage":{"total_tokens":2308,"prompt_tokens":800,"completion_tokens":1508,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":544,"completion_tokens_details":{"reasoning_tokens":1420}},"tokens_in":544,"tokens_out":1508,"duration_ms":12442,"temperature":1.0,"reasoning_tokens":1420,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T08:48:54.904851+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}