{"id":"61f192a2-eb7c-48a4-bd65-a116a55d0a84","arxiv_id":"2601.03965","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Multidimensional Lagrange, Euler, and totally symmetric heavy tops remain Liouville integrable after adding a gyroscope with angular momentum in the symmetry subalgebra, with new polynomial Lax representations.","lead":"The authors add a constant internal gyroscope term to several known multidimensional integrable rigid body systems (Lagrange, Euler, and totally symmetric tops), providing Lax pairs and proofs of Liouville integrability. Integrable systems with many degrees of freedom are rare, so these new exactly solvable models matter for the field.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the terse completeness step in Theorem 4.1(ii) is supported by the cited Mishchenko–Fomenko argument-translation theorem; an explicit dimension count closes the gap.","rationale":"The paper's central claims — Lax representations and Liouville integrability for gyroscopic versions of the Lagrange top, Lagrange bitop, totally symmetric case, Lagrange top on e(n)*, and Euler–Manakov top — are supported by the algebraic checks and by standard integrability theorems. The Lax pairs (4.5), (4.10), (5.2), and (6.2) are correctly derived: the λ^0 and λ^1 coefficients reproduce the equations of motion, and the λ^2 identity reduces to the known algebraic relations [M,χ]+(α1+α2)[χ,Ω]=0 or the Manakov identity. The integrability proof follows the standard gyroscope-addition paradigm: after shifting M to K=M+L, the Hamiltonian becomes H0 - H_h(K), with H_h linear in the Noether integrals S; the argument-translation polynomials q_k are first integrals of H_h and commute with the Lax integrals f_i. The only nontrivial step is the completeness of {f_i,q_k}, which the paper asserts via citation. I checked the dimension count: the number of independent f_i from the noncommutative completeness condition plus the number of independent q_k from the Mishchenko–Fomenko theorem equals exactly half the generic symplectic leaf dimension. The cited theorems apply: L is generic, so I^{-1}L is a regular element of h, and the shifted invariants of h are complete. The reader's caveat about the missing explicit count is valid but does not constitute a substantive flaw; the argument is standard and correct. Therefore the ACCEPT verdict should stand unchanged.","tokens_in":16402,"tokens_out":30913,"duration_ms":270857,"concrete_test":"For n=5 (and optionally n=6), evaluate the Jacobian of the set {f_i, q_k} at a generic point of a symplectic leaf of (so(n)×so(n))*, and verify that its rank equals n(n-1)/2 - floor(n/2). If the rank equals this value, the completeness step in Theorem 4.1(ii) is confirmed; if it is deficient, the gyroscopic system would only be noncommutatively integrable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest point is the completeness of the commutative set {f_i, q_k} in the proof of Theorem 4.1(ii), as the paper does not display the dimension count. However, the gap is purely presentational. Let m = [n(n-1) - 2floor(n/2)]/2 be half the generic symplectic leaf dimension of (so(n)×so(n))*. For the Lagrange top/bitop, h = so(2)⊕so(n-2) (or a commutative h for the bitop), with dim h = 1+(n-2)(n-3)/2 and rank h = 1+floor((n-2)/2). Bolsinov's completeness theorem (Theorem 4.3) for the standard system implies that the Lax integrals f_i together with the Noether integrals S give noncommutative integrability; hence the number of independent f_i is m + r/2 - dim h, where r = dim h - rank h is the generic rank of the bracket matrix of S. The argument-translation polynomials q_k, obtained by shifting the invariants of h by a regular element I^{-1}L, form a complete commutative set on h* of size (dim h + rank h)/2 = dim h - r/2. Adding these counts gives exactly m independent functions in involution. Thus the cited theorems supply the missing completeness verification; the omission is a matter of exposition, not a logical gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs multidimensional generalizations of a heavy rigid body with a gyroscope. Starting from the Euler–Poisson systems on (so(n)×so(n))* and e(n)*, it adds a gyroscopic angular momentum L lying in the isotropy subalgebra h associated with the Lagrange top, Lagrange bitop, totally symmetric case, and Euler–Manakov top. For each system it gives a polynomial matrix Lax representation (Theorems 4.1, 4.2, 5.1, 6.1) and claims Liouville integrability for generic L∈h. The proofs verify the Lax-pair coefficients, then combine Noether first integrals from the symmetry subalgebra with argument-translation polynomials via the Mishchenko–Fomenko method and Bolsinov's completeness theorem. The paper also reproduces Zhukovskiy's geometric interpretation of the Euler gyrostat.","tokens_in":16722,"tokens_out":8943,"duration_ms":79163,"significance":"The results, if correct, supply new integrable gyroscopic rigid-body systems in arbitrary dimension, with explicit Lax representations and a clear Hamiltonian formulation. The Lax-pair checks are direct algebraic verifications, and the integrability arguments are anchored in established theorems (Ratiu, Bolsinov, Mishchenko–Fomenko) rather than ad hoc assumptions. The Zhukovskiy geometric section is a valuable historical and conceptual addition. The main weakness is the terseness of the completeness argument in Theorem 4.1(ii), but this is a standard application of the cited theorems and can be made fully explicit by a dimension count.","major_comments":[],"minor_comments":[{"comment":"The Liouville-integrability conclusion rests on the assertion that {f_i, q_k} form a complete commutative set. The text states this without the dimension count, and the phrase 'complete commutative set on (v,{·,·}_0)' seems inaccurate: q_k are functions on h (or h*), not on v. Please add a sentence with the explicit count, e.g. using m = [n(n−1)−2⌊n/2⌋]/2 and the dimensions of h, and correct the space on which the argument-translation polynomials are complete.","section":"Theorem 4.1(ii), final paragraph"},{"comment":"The proof refers to 'the polynomial matrix equations (6.2)' in the first and zero degree in λ; the displayed Lax pair is (4.5). This is a typographical cross-reference.","section":"Theorem 4.1(i) proof"},{"comment":"The Hamiltonian for the Lagrange top on e(n)* appears to contain a stray factor M_{12}^2 inside the first sum: currently it reads Σ M_{pq}^2 M_{12}^2, which is dimensionally inconsistent. It should presumably be Σ M_{pq}^2 + ... as in the Belyaev model.","section":"Equation (5.1)"},{"comment":"The note 'Ω = 2α1M holds' is inverted: from M = JΩ + ΩJ with J = α1 Id one obtains Ω = M/(2α1), i.e. M = 2α1Ω. Please correct this typo.","section":"After Theorem 4.2"},{"comment":"Minor language issues: 'Liuville integrable' should be 'Liouville integrable', and 'follows literarily the same lines' should be 'follows literally the same lines'.","section":"Theorem 5.1(ii) and proof"}],"recommendation":"minor_revision","confidential_remarks":"No concerns about correctness beyond the requested editorial clarifications. The paper fits the journal's scope and the central claims are sound in my reading; the completeness step in Theorem 4.1(ii) is supported by the cited Bolsinov/Mishchenko–Fomenko theorems once the dimension count is written out."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper does what it says: it adds a gyroscope to four known multidimensional integrable tops (Lagrange, Lagrange bitop, totally symmetric, Euler–Manakov) and proves Liouville integrability for each. The new systems are genuine extensions, not repackaging — the closest prior multidimensional gyroscopic cases (Reyman–Semenov–Tian-Shansky Kowalevski type) are different systems. The Lax representations are explicit polynomial matrices, and the algebraic checks in Theorem 4.1(i) are correct: the lambda^0 and lambda^1 coefficients reproduce the Euler–Poisson equations and the lambda^2 term vanishes by the cited identity. The integrability proofs rest on a standard mixture of Noether integrals, the Mishchenko–Fomenko argument-translation method, and Bolsinov's completeness theorem. The reader's worry about the completeness step is fair but minor: the paper does not display a dimension count, but the count closes exactly as the stress-test note says, using Bolsinov's theorem. So the omission is expository, not a logical gap. The Zhukovskiy geometric section is pleasant context and correctly attributed to the 1885/1948 source; it is not load-bearing. There are minor typos (the definition of the Noether set in Section 4 has a ragged index range, and 'Liouville' is misspelled in Theorem 5.1), but nothing that obscures the argument. The self-citations are appropriate — the unperturbed systems are the authors' own previous work, and they are used as benchmarks, not as a substitute for verification. This is a useful contribution for people working in integrable systems and rigid body dynamics: the systems can serve as testbeds for algebro-geometric integration and bifurcation analysis. It is not a breakthrough, but it is careful, correct, and honest work. I would bring it to a reading group and would cite it if I worked in this area. A serious referee should look at it; the main request would be to spell out the dimension count in the completeness step rather than leaving it to the cited theorems. My verdict: engage with it.","headline":"A solid, useful paper: new integrable gyrostat systems in arbitrary dimension with explicit Lax pairs, and the completeness gap in the integrability proof is presentational, not substantive.","tokens_in":17220,"tokens_out":614,"would_cite":true,"duration_ms":6933,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37J35","70E17","70E40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Adding a constant gyroscope to four multidimensional integrable heavy tops preserves their Lax pairs and Liouville integrability.","keywords":["heavy rigid body","gyroscope","multidimensional integrability","Lax pair","Liouville integrability","argument translation","Lagrange top","Euler–Manakov top"],"falsifier":"For the Lagrange top on (so(5)×so(5))*, choose a generic L in the symmetry subalgebra so(2)⊕so(3), count the independent coefficients of tr((Γ+λK+λ²cχ)^{2k}) together with the argument-translation polynomials, and compare the count with half the dimension of a generic symplectic leaf; any shortfall would disprove the claimed Liouville integrability.","tokens_in":1358,"feed_emoji":"⚙️","tokens_out":3545,"duration_ms":80647,"temperature":0.7,"pith_summary":"The paper takes four known integrable multidimensional models of a heavy rigid body—the axisymmetric Lagrange top, the Lagrange bitop, the totally symmetric heavy top, and the symmetric Euler–Manakov top—and adds a constant internal gyroscopic angular momentum. For each model it writes the resulting equations as a polynomial matrix Lax pair, so the motion is isospectral. It then proves, for generic gyroscope angular momentum lying in the symmetry subalgebra, that the systems are Liouville integrable: there are enough commuting first integrals to make generic solutions quasi-periodic. The main mechanism is to shift the angular momentum by the gyroscope spin, turning the gyroscopic term into a linear Hamiltonian on the symmetry subalgebra that is integrable by the argument-translation method.","feed_headline":"Gyroscopes preserve integrability of heavy tops in all dimensions","feed_subtitle":"Four integrable rigid-body models gain gyroscopic spin and still admit Lax pairs and action-angle variables.","key_machinery":"The argument-translation construction for the gyroscope. After shifting K=M+L, the gyroscopic Hamiltonian splits into the original Hamiltonian plus a linear term depending only on the projection of K onto the symmetry subalgebra h. This linear term is integrable through the standard argument-translation method, and its first integrals commute with the trace-polynomial integrals inherited from the unperturbed Lax representation. A completeness theorem (quoted, not reproved) ensures that the total family provides enough commuting integrals for Liouville integrability.","core_discovery":"The central claim is that a gyroscope can be added to four known integrable n-dimensional heavy rigid-body systems without destroying integrability, and with an explicit Lax pair. For the axisymmetric and totally symmetric heavy tops the Lax matrix is L(λ)=Γ+λ(M+L)+λ²cχ, with A(λ)=Ω+λχ; for the symmetric Euler–Manakov top it is L(λ)=M+L+λJ², with A(λ)=Ω+λJ. Expanding in λ reproduces the gyroscopic Euler–Poisson equations exactly, provided L commutes with the symmetry subalgebra containing the gravitational/center-of-mass element. The paper proves, for generic such L, Liouville integrability by combining trace-polynomial first integrals with argument-translation polynomials on the symmetry su","pith_inferences":["The same argument-translation construction could be applied to other integrable rigid-body systems possessing a symmetry subalgebra, such as related axisymmetric gyroscopic systems.","The spectral curves associated to the new Lax matrices should be algebraic curves whose genera grow with n; working them out for small n would give a concrete algebro-geometric description of the dynamics.","A direct dimension count of the constructed commuting integrals would make the completeness step self-contained and would specify exactly which symplectic leaves are generic.","The classical rolling-cone picture of the Euler gyrostat might generalize to the new higher-dimensional Lax pairs, giving a geometric interpretation of the motion."],"forward_implications":["Each gyroscopic model has an explicit polynomial Lax pair, so spectral and algebro-geometric methods can be applied directly.","For generic gyroscope angular momentum, solutions are quasi-periodic on invariant tori by Liouville integrability.","The totally symmetric case yields a genuinely new integrable model for n≥5, while reproducing the axisymmetric top or bitop for n=3,4.","The Euler–Manakov top remains integrable for any gyroscope angular momentum aligned with the symmetry blocks of the mass tensor.","Because L may be any element of the symmetry subalgebra, each model supplies a continuous family of integrable systems parametrized by the gyroscope spin."],"fun_headline_variants":["Gyroscope addition keeps heavy tops integrable in any dimension","Heavy tops with gyroscopes: integrability in n dimensions","New gyroscopic heavy tops: still integrable, with Lax pairs","Adding a gyroscope to heavy tops: integrability survives","Heavy tops plus gyroscope: integrable in all dimensions"],"cache_read_input_tokens":18560,"weakest_assumption_plain":"The load-bearing assumption is that the constructed first integrals form a complete commuting set; the paper invokes a general completeness theorem rather than checking the dimension count explicitly, so if that theorem failed the systems would not be Liouville integrable.","fun_headline_variants_meta":{"raw":{"variants":["Gyroscope addition keeps heavy tops integrable in any dimension","Heavy tops with gyroscopes: integrability in n dimensions","New gyroscopic heavy tops: still integrable, with Lax pairs","Adding a gyroscope to heavy tops: integrability survives","Heavy tops plus gyroscope: integrable in all dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000166,"raw_usage":{"total_tokens":1015,"prompt_tokens":592,"completion_tokens":423,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":336,"completion_tokens_details":{"reasoning_tokens":333}},"tokens_in":336,"tokens_out":423,"duration_ms":3626,"temperature":1.0,"reasoning_tokens":333,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T12:08:57.581249+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the Lagrange top on (so(5)×so(5))*, choose a generic L in the symmetry subalgebra so(2)⊕so(3), count the independent coefficients of tr((Γ+λK+λ²cχ)^{2k}) together with the argument-translation polynomials, and compare the count with half the dimension of a generic symplectic leaf; any shortfall would disprove the claimed Liouville integrability.","supporting_citations":[],"review_version":1}