{"id":"805792f0-24c1-48fa-b2d4-14e48f1d0529","arxiv_id":"2506.07113","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper identifies the Toda symmetry algebra with a central extension of the stochastic Lie algebra, but the claimed Lie-Bianchi integrability on the full phase space is not established.","lead":"This paper claims to prove that the full symmetric Toda system is integrable in the Lie-Bianchi sense by building a solvable algebra of symmetry vector fields. The proof has a structural mismatch: the symmetry fields act only on the isospectral leaves, not on the full phase space, so the stated conclusion does not follow.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The constructed symmetries are isospectral: on the full phase space M they preserve eigenvalues and span only the tangent space of an SO_n-orbit, so the Lie-Bianchi local-freeness condition fails on M.","rationale":"The reader's verdict is REJECT, and the reader's weakest assumption identifies exactly the load-bearing gap: the paper verifies local freeness on SO_n(R), not on the phase space M of traceless symmetric matrices. My independent reading of the manuscript confirms this. Section 2.1 explicitly transfers the SO_n(R) fields by conjugation, so the resulting fields on M are commutators with L and preserve the spectrum. Therefore their values, together with the Toda field, lie in the tangent space of an isospectral leaf of dimension n(n-1)/2, which is strictly smaller than dim M for n ≥ 3. Remark 3.5 does not repair this; it only shows that the T^{ij} span the tangent space of SO_n(R). The algebraic content of the paper, including the commutator computation and the identification with a central extension of the stochastic Lie algebra, appears correct and is independently checkable, but Theorem 3.4 as stated overreaches. No other concern is equally load-bearing: the main theorem's applicability to the full phase space fails at the local-freeness condition, and that failure is decisive for the abstract's central claim.","tokens_in":10942,"tokens_out":5206,"duration_ms":55887,"concrete_test":"Fix n = 3 and choose a generic point L0 = Ψ0 Λ0 Ψ0^{-1} with distinct eigenvalues λ1, λ2, λ3 and with Ψ0 ∈ SO_3(R) chosen so that all entries in its last row are nonzero, so the fields T^{ij} are defined. In the local coordinates (Ψ, Λ) of Section 2.1, compute the pushforwards of the six fields T^{ij} (i ≤ j) and of the Toda field T^Λ at L0. Because each pushforward has the form [M(Ψ0 F_{ij} E_{ij} Ψ0^{-1}), L0], verify that every value lies in T_{L0}(SO_3·L0), the tangent space of the isospectral leaf, and that the span has dimension at most 3. Since dim M = 5 for n = 3, this directly violates the local-freeness condition required by the Lie-Bianchi theorem on M.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the full symmetric Toda system satisfies Lie-Bianchi integrability on M = traceless symmetric matrices, requiring a solvable algebra of dim M vector fields whose values plus the Toda field span T_p M at a generic point. The proof, however, establishes local freeness only on SO_n(R), not on M. In Section 2.1 the fields T^X are defined on SO_n(R) and transferred to symmetric matrices by sending a trajectory Ψ(t) to Ψ(t)ΛΨ(t)^{-1}. When transferred this way, the resulting vector field on M is [M(Ψ X Ψ^{-1}), L], a commutator with L. Hence every T^{ij} = F_{ij} T^{E_{ij}} preserves the spectrum of L: its value at L lies in the tangent space of the isospectral leaf SO_n(R)·L, of dimension n(n-1)/2. The Toda field itself is also a commutator and lies in the same leaf. Remark 3.5 checks linear independence of the T^{ij} on the tangent space of SO_n(R), i.e. within a leaf, not on the full phase space. For n ≥ 3, dim M = n(n+1)/2 − 1 exceeds n(n-1)/2, so the symmetry fields together with the Toda field cannot span T_p M at any point. Thus the local-freeness hypothesis of Theorem 1.1 is not satisfied on M. The algebraic computation identifying the Lie algebra as a central extension of the stochastic Lie algebra is a genuine contribution, but it does not support the stated Lie-Bianchi integrability on the full phase space.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the full symmetric Toda system on M, the space of traceless real symmetric n x n matrices, satisfies the Lie-Bianchi integrability criterion. The authors recall a construction from their earlier work of rational vector fields T^{ij} on SO_n(R) that commute with the Toda field, compute their commutators in Eq. (3.5), identify the resulting finite-dimensional Lie algebra with a central extension of the stochastic Lie algebra in Eq. (3.9), and then use a solvable subalgebra, for example the upper Borel subalgebra, to conclude the existence of a solvable symmetry algebra of dimension equal to dim M. The main theorem is Theorem 3.4. The algebraic part, namely the commutator closure and the stochastic-Lie-algebra isomorphism, is carried out by direct computation and appears sound. The geometric step, transferring these symmetries to the full phase space M and checking the local-freeness hypothesis of Theorem 1.1, is where the argument fails.","tokens_in":11248,"tokens_out":12591,"duration_ms":139842,"significance":"If correct, the result would establish a new integrability property for the full symmetric Toda system, of a different nature from the known Liouville and Nekhoroshev integrability. The explicit commutator computation and the identification with the stochastic Lie algebra are genuinely useful: they identify a finite-dimensional Lie algebra of rational vector fields on SO_n(R) that commute with the Toda flow. However, the claimed Lie-Bianchi integrability on M does not follow and is, in fact, incompatible with the local-freeness condition. Every constructed field preserves the spectrum of L, so the constructed fields together with the Toda field span at most the tangent space of an isospectral leaf. The central theorem is therefore not established; the paper's genuine contribution is narrower than the title and abstract claim.","major_comments":[{"comment":"The local-freeness hypothesis of the Lie-Bianchi criterion is checked only on SO_n, not on the phase space M. The transfer described in Section 2.1 sends a field T^X on SO_n to the vector field L -> [M(ΨXΨ^{-1}), L] on M; in particular, every T^{ij} and the Toda field preserve the spectrum of L and take values in the tangent space of the isospectral leaf SO_n·L, of dimension n(n−1)/2. For n ≥ 3 this is strictly smaller than dim M = n(n+1)/2 − 1, so the fields T^{ij} together with the Toda field cannot span T_L M at a generic point and Theorem 1.1 does not apply. Remark 3.5 verifies spanning of T_Ψ SO_n only, i.e. of a leaf, not of M. A repair by merely changing M to a leaf is not immediate: the Borel-derived solvable algebra has dimension n(n+1)/2, which is larger than the leaf dimension n(n−1)/2, and no (leaf-dimension −1)-dimensional subalgebra satisfying local freeness is exhibited.","section":"Section 2.1; Section 3; Remark 3.5"},{"comment":"The statement of the claimed result does not line up with the Lie-Bianchi theorem as stated in Theorem 1.1. Theorem 1.1 requires a solvable symmetry algebra of dimension n−1 for a system on an n-dimensional space, with the system field providing the final vector in the local spanning set. The abstract and introduction instead promise a solvable algebra of dimension N = dim M. No subalgebra of dimension dim M −1 with the required spanning property is identified. Even apart from the isospectrality problem, the hypotheses of the criterion are therefore not verified.","section":"Abstract; Theorem 1.1"}],"minor_comments":[{"comment":"There is a typo, 'Lie-Binchi' for 'Lie-Bianchi', and the text uses 'local transitivity' where the theorem's hypothesis is called 'local freeness' in Theorem 1.1.","section":"Remark 3.5"},{"comment":"The assertion that all solvable subalgebras of gl_n(R) are upper or lower triangular with respect to some ordering is only true after complexification; as stated it is imprecise and is not needed for the main construction.","section":"Remark 3.5"},{"comment":"The notation T^{ii} is used in formulas such as (3.5) and implicitly identified with T^{E_{ii}}, but this identification is never made explicit; the appendix similarly introduces T^{ij}_a and T^{kl}_b through examples rather than by a formal definition.","section":"Section 3; Appendix A"},{"comment":"There are several typographical issues: the diacritic in 'na¨ıve' is broken, 'Plukker' should be 'Plücker', and the rendering of 'Fr¨olicher' is corrupted.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The algebraic core of the paper, namely the commutator formula (3.5) and the isomorphism (3.9), seems sound and could support a more modest paper about symmetries on SO_n or about the stochastic Lie algebra structure. The Lie-Bianchi claim on the full phase space is not salvageable as stated because the constructed fields are isospectral, so the main theorem is false under the paper's own definition of the phase space."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the paper has a real and checkable algebraic result buried inside an overclaimed theorem. The commutator computation (3.5) showing the T^{ij} fields close into a Lie algebra, and the identification of that algebra with a central extension of the stochastic Lie algebra (Lemma 3.2), are new and, as far as I can tell, correct. That part deserves credit.\n\nThe soft spot is the jump from that algebra to Lie-Bianchi integrability on the full phase space of traceless symmetric matrices. The symmetries T^{ij} are constructed on SO_n(R) and transferred to symmetric matrices by conjugation. Every transferred field, and the Toda field itself, is a commutator with L, so it preserves the spectrum. The values at a point L lie in the tangent space of the isospectral leaf SO_n(R)·L, of dimension n(n-1)/2. The full phase space has dimension n(n+1)/2 − 1, which is strictly larger for n ≥ 3. So the symmetry fields plus the Toda field can never span T_L M, and the local-freeness condition in Theorem 1.1 fails on M. Remark 3.5 checks linear independence only on the tangent space of SO_n(R), which is a leaf, not the phase space. The paper's own Section 2.1 already notes that T^Λ induces the Toda system only 'on the space of matrices with fixed spectrum' — the giveaway.\n\nWhat this means: the abstract's claim and Theorem 3.4, as statements about the full symmetric Toda system on M, are not supported and are in fact false. The proof establishes a solvable algebra of symmetry fields on each isospectral leaf, not on M. A referee should ask the authors to either correct the theorem to say 'on each isospectral leaf' and check whether the dimension counts then work, or drop the Lie-Bianchi claim entirely and present the stochastic-Lie-algebra identification as the standalone result, which is valuable on its own.\n\nThe algebraic core is sound and reproducible: the commutation relations are explicit, no hidden parameters, no circularity. This is not a desk-reject paper; it has a serious flaw in its headline claim and a real contribution underneath. A serious referee will need moderate time to check the dimension counts and the transfer of fields, which is exactly what peer review is for.\n\nI would not cite the Lie-Bianchi claim, but I might cite the commutator-closure result once it is stated correctly. Bring it to a reading group if you want to discuss how a true algebraic result can fail to imply the advertised geometric conclusion.","headline":"A genuine algebraic discovery — the T^{ij} symmetries close into a central extension of the stochastic Lie algebra — is buried under an unsupported Lie-Bianchi integrability claim that fails on dimensional grounds.","tokens_in":11803,"tokens_out":6821,"would_cite":false,"duration_ms":69634,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37J35","17B80"],"pacs":[],"model":"deepseek-v4-flash","headline":"The full symmetric Toda system passes the Lie-Bianchi integrability test.","keywords":["full symmetric Toda system","Lie-Bianchi criterion","integrability in quadratures","solvable Lie algebra","stochastic Lie algebra","infinitesimal symmetries","Lax equation"],"falsifier":"Evaluate the rank of the span of $\\{T^\\Lambda,\\tau(\\phi^{-1}(\\mathfrak b_+\\oplus\\mathbb R^n))\\}$ at a generic point of the phase space with distinct eigenvalues, for $n\\ge3$. If the rank is $n(n-1)/2$, the dimension of an isospectral leaf, rather than $\\frac{n(n+1)}2-1$, then the Lie-Bianchi direction-filling condition fails on the full phase space, and only integrability on each isospectral leaf is established.","tokens_in":10732,"feed_emoji":"🧮","tokens_out":19769,"duration_ms":185200,"temperature":0.7,"pith_summary":"The paper proves that the full symmetric Toda system, the flow $\\dot L=[M(L),L]$ on the space of traceless real symmetric matrices, satisfies the Lie-Bianchi integrability criterion: it admits a solvable Lie algebra of vector-field symmetries of dimension equal to the dimension of the phase space, under which the system is invariant. Lie-Bianchi integrability means the solutions can be obtained by quadratures, so the result is a symmetry-based proof of integrability that does not rely on finding many conserved quantities. The proof exhibits rational vector fields $T^{ij}$ on $SO_n(\\mathbb{R})$ that commute with every Toda field, shows they close into a Lie algebra isomorphic to the stochastic Lie algebra (zero-row-sum matrices) with an $n$-dimensional center, and pulls back a solvable triangular subalgebra to get symmetries of the required dimension. The main theorem (Theorem 3.4) states that any solvable subalgebra of $\\mathfrak{gl}_n$, for instance the upper Borel subalgebra, yields such a symmetry algebra.","feed_headline":"Toda flow passes Lie-Bianchi integrability test","feed_subtitle":"A solvable algebra of rational symmetries proves integrability by quadratures.","key_machinery":"The load-bearing object is the family of rational vector fields $T^{ij}=\\frac{\\psi_{ni}}{\\psi_{nj}}T^{E_{ij}}$ on $SO_n(\\mathbb R)$, together with the commutator formula (3.5) that identifies their Lie algebra with the stochastic Lie algebra $\\mathfrak{st}_n(\\mathbb R)$ (matrices annihilating the vector $(1,\\ldots,1)$) plus a central $\\mathbb R^n$. This identification turns the analytic construction of symmetries into an algebraic one: solvable subalgebras of $\\mathfrak{gl}_n$, for example the upper Borel subalgebra, can be pulled back through the isomorphism to produce solvable subalgebras of the symmetry algebra (Theorem 3.3). The local-freeness input is the projection $M:\\mathfrak{sl}_n\\to\\mathfrak{so}_n$, whose image at $\\Psi$ close to the identity spans the tangent space of $SO_n(\\mathbb R)$.","core_discovery":"The central claim is that the full symmetric Toda system, with Lax equation $\\dot L=[M(L),L]$ where $M(L)=L_+-L_-$, is integrable in the Lie-Bianchi sense: there is a solvable Lie algebra of vector fields, of dimension equal to the dimension of the phase space, under which the system is invariant, and the action is locally free at a generic point. The fields are built from the tautological representation of $\\mathfrak{sl}_n$: on $SO_n(\\mathbb R)$ one sets $T^{ij}=\\frac{\\psi_{ni}}{\\psi_{nj}}T^{E_{ij}}$, where $T^X(\\Psi)=M(\\Psi X\\Psi^{-1})\\Psi$. The ratio of last-row entries is exactly the factor needed to cancel the commutator with the Toda field $T^\\Lambda$. Formula (3.5) computes $[T^{ij},T^{kl}]$, showing these fields form a finite-dimensional Lie algebra isomorphic to $\\mathfrak{st}_n(\\mathbb R)\\oplus\\mathbb R^n$, the stochastic Lie algebra extended by a central $\\mathbb R^n$ (Lemma 3.2). Theorem 3.4 then takes a solvable subalgebra of $\\mathfrak{gl}_n$, such as the upper Borel subalgebra, and maps it to a solvable algebra of symmetries; Remark 3.5 checks local freeness by observing that the fields $T^{E_{ij}}$ with $1\\le i\\le j\\le n$ span the tangent space of $SO_n(\\mathbb R)$ near the identity.","pith_inferences":["The paper leaves implicit that the direction-filling condition must be repeated on the full phase space of traceless symmetric matrices: the transferred fields preserve eigenvalues, so together with the Toda field they a priori fill only the directions that keep the eigenvalues fixed, of dimension $n(n-1)/2$ rather than $\\frac{n(n+1)}2-1$ for $n\\ge3$.","The appearance of Toda-flow invariants in the commutators of the appendix's exterior-square example suggests that for higher representations the natural symmetry object is a Lie algebroid with point-dependent structure functions; a generalized Lie-Bianchi criterion for such objects would cover the tautological and exterior-square cases uniformly.","A concrete test of the stochastic-Lie-algebra picture would be to look for a matrix-valued conserved quantity whose row sums are preserved by the symmetries, making the stochastic interpretation of $\\mathfrak{st}_n$ visible in the Toda dynamics."],"forward_implications":["The nonzero entries of the last row of $\\Psi$ appear as rational coefficients, so the system has explicit rational vector-field symmetries commuting with the Toda flow.","Any solvable subalgebra of $\\mathfrak{gl}_n$, not only the Borel, produces a solvable symmetry algebra, so the construction is stable under changes of triangular structure.","For the exterior-square representation of $\\mathfrak{sl}_4$, the same construction yields symmetry fields whose commutators involve Toda-flow invariants, extending the pattern beyond the tautological representation.","The paper's concluding conjecture is that the method extends to the full Kostant–Toda system."],"supporting_citations":[{"why":"It constructs the vector-field symmetries of the full symmetric Toda system that the present paper proves close under commutation.","marker":"[1]"},{"why":"It states the Lie-Bianchi theorem converting a solvable free symmetry algebra into integrability in quadratures.","marker":"[15]"},{"why":"It provides the modern treatment of Lie-Bianchi integrability used to formulate the criterion.","marker":"[16]"},{"why":"It supplies the contractibility of the quotient of the special linear group by the rotation group, used to transfer fields to symmetric matrices.","marker":"[17]"}],"fun_headline_variants":["Solvable algebra of symmetries proves Toda integrability","Full symmetric Toda shown integrable by solvable symmetries","Lie-Bianchi integrability proven for Toda flow","Toda system integrable via solvable symmetry algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the symmetry fields built on the rotation group $SO_n(\\mathbb R)$ can be carried over to the full space of traceless symmetric matrices and that, together with the Toda flow, they fill out every direction in that space at a generic point; the paper checks the direction-filling property on the rotation group, not on the larger phase space.","fun_headline_variants_meta":{"raw":{"variants":["Solvable algebra of symmetries proves Toda integrability","Full symmetric Toda shown integrable by solvable symmetries","Lie-Bianchi integrability proven for Toda flow","Toda system integrable via solvable symmetry algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000923,"raw_usage":{"total_tokens":3963,"prompt_tokens":957,"completion_tokens":3006,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":2948}},"tokens_in":573,"tokens_out":3006,"duration_ms":23894,"temperature":1.0,"reasoning_tokens":2948,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:43:48.605145+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the rank of the span of $\\{T^\\Lambda,\\tau(\\phi^{-1}(\\mathfrak b_+\\oplus\\mathbb R^n))\\}$ at a generic point of the phase space with distinct eigenvalues, for $n\\ge3$. If the rank is $n(n-1)/2$, the dimension of an isospectral leaf, rather than $\\frac{n(n+1)}2-1$, then the Lie-Bianchi direction-filling condition fails on the full phase space, and only integrability on each isospectral leaf is established.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It constructs the vector-field symmetries of the full symmetric Toda system that the present paper proves close under commutation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It states the Lie-Bianchi theorem converting a solvable free symmetry algebra into integrability in quadratures."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It provides the modern treatment of Lie-Bianchi integrability used to formulate the criterion."},{"cited_title":"Helgason, Differential geometry, Lie groups and symmetric spaces, Academic Press 1978, 7th edn","cited_arxiv_id":null,"evidence_quote":"It supplies the contractibility of the quotient of the special linear group by the rotation group, used to transfer fields to symmetric matrices."}],"review_version":1}