{"id":"ab6dc0c8-abd4-4346-8f20-ecc0f311f167","arxiv_id":"2412.14700","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A phase-space Lagrangian one-form with a one-step variational principle recovers the multi-time Euler-Lagrange equations and closure, and its Lie-group version makes Hamiltonian group actions variational.","lead":"This paper puts Lagrangian multiform theory into symplectic phase-space form, treating positions, momenta and times equally in a single variational principle. It also shows Hamiltonian Lie group actions can be derived from a variational principle.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The weak point is the claimed universality of the Legendre transform: equations (3.4)/(3.7) require solvability and convexity assumptions that are not proved or generic, and Section 3.4 explicitly leaves the linear-velocity case open.","rationale":"The reader's weakest_assumption identifies exactly the right place. I verified that the univariational principle, the Frobenius-rank argument, and the moment-map derivation in Section 4 are internally coherent; the issue is not a computational error in the main construction. Instead, the advertised universality is undercut by the paper's own conditions. Since the text explicitly flags the degenerate linear-velocity case as beyond scope, the concern is not speculative: the manuscript itself concedes an unhandled class. The core phase-space formalism and its group extension can stand as conditional results; only the universality claim should be weakened. Hence the verdict remains CONDITIONAL; I would not move it to REJECT because the main construction is explicitly conditional and the group-action part is independent of the contested Legendre transform.","tokens_in":19763,"tokens_out":16372,"duration_ms":143654,"concrete_test":"Take the velocity-linear one-form from Section 3.4 with m = 1 and p(q) = q^2, i.e. L_k = q^2 q_k - V_k(q) on a multi-time with n >= 1, so Omega = d(q^2) wedge dq = 0 is degenerate. Attempt step (2): the derivative partial L_k / partial v^mu_j is independent of v, so equation (3.4) cannot be solved and the Legendre transform is undefined. If the authors cannot exhibit a phase-space recasting of this or any analogous degenerate velocity-linear system, the abstract's 'any finite-dimensional system' must be restricted to non-degenerate cases; this one computation settles the scope of the central claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing claim is in the abstract and introduction: any finite-dimensional Lagrangian one-form, or any Liouville integrable system, can be recast in the phase-space framework. The proof of this equivalence is the inverse Legendre transform of Section 3.1. Step (2) requires solving equation (3.4), an overdetermined system for the velocities v^mu_j, and step (3) requires choosing alpha so that alpha^i H_i is a convex function of p_mu, with invertible Hessian g_mu_nu, in order to solve (3.7). No theorem is given that these conditions hold for a given integrable system. The Toda example shows the issue concretely: for beta different from zero the combination alpha^i H_i is cubic in p_mu, hence not globally convex, and the solution formula (3.33) is two-valued, so the 'unique solution' promised by the convexity assumption is absent. Section 3.4 then states that if L_k is linear in velocities the right-hand side of (3.4) is independent of velocity, so the equation cannot be solved; the degenerate case Omega = 0 is declared 'much more complicated and beyond the scope of this article.' Thus the universal recasting is not demonstrated; at most it holds for a generic class satisfying the Legendre hypotheses. This does not undermine the phase-space derivation or the Hamiltonian group-action result, but it is a genuine scope overclaim in the paper's headline claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper introduces a phase-space reformulation of Lagrangian multiform theory for finite-dimensional systems. The central object is the one-form L = p_µ dq^µ - H_i dt^i on M × R^n, together with a univariational principle that requires every curve in an n-dimensional submanifold to be stationary. Section 2.2 derives the resulting equations (2.26)-(2.28) and shows that they combine the multi-time Euler-Lagrange equations with the closure relation, and that local solutions exist if and only if the Hamiltonians Poisson commute. Section 3 attempts to prove equivalence with conventional position-space Lagrangian one-forms through a generalized Legendre transform, claiming in the abstract and introduction that any finite-dimensional Lagrangian one-form, or any Liouville integrable system, can be recast in the new framework. Section 4 replaces R^n by a Lie group and shows that the Euler-Lagrange equations imply {H_i,H_j} = c^k_ij H_k, so that H is a moment map for a Hamiltonian group action. The proof of the universal recasting claim rests on the solvability of equation (3.4) and on the convexity and invertibility of a chosen combination α^i H_i in equation (3.7); these hypotheses are not shown to hold generally, and the paper's own Toda example and the velocity-linear discussion in Section 3.4 illustrate that the claimed universality goes beyond what is proved.","tokens_in":20018,"tokens_out":11345,"duration_ms":78817,"significance":"Section 2.2 is clean and checkable: substitution of (2.26)-(2.27) into (2.28) directly yields the Poisson commutator, and the Frobenius argument gives local existence of integral manifolds. The nonabelian extension in Section 4 is genuinely interesting and appears to give a new variational derivation of the moment-map condition for Hamiltonian group actions. However, the headline claim that every finite-dimensional Lagrangian one-form, or every Liouville integrable system, can be recast in the position-space framework is not supported by the proof. The inverse Legendre transform of Section 3.1 requires assumptions that fail in the paper's own Toda example for β ≠ 0, where the solution (3.33) is two-valued, and in the velocity-linear case treated only partially in Section 3.4. These gaps do not undermine the phase-space derivation or the Hamiltonian group-action result, but they are load-bearing for the advertised universality of the method.","major_comments":[{"comment":"The claim that any finite-dimensional Lagrangian one-form, or any Liouville integrable system, can be recast in the phase-space framework is not established. The inverse Legendre transform requires solving the overdetermined system (3.4) for the velocities v^µ_j, and then requires that a vector α exist such that α^i H_i is a convex function of p_µ with invertible Hessian g_µν, so that equation (3.7) determines p_µ uniquely. No theorem is given showing that these conditions hold for arbitrary Lagrangian one-forms or arbitrary Liouville integrable systems; the text introduces them as assumptions immediately after (3.4). Section 3.4 then explicitly excludes the velocity-linear degenerate case. The abstract and introduction should either state these hypotheses precisely or the universality claim should be withdrawn.","section":"Abstract and Section 3.1, Eqs. (3.4), (3.7)"},{"comment":"The Toda example contradicts the uniqueness premise of the inverse Legendre transform. For β ≠ 0 the combination α^1 H_1 + α^2 H_2 is cubic in p_µ and therefore not globally convex, and the displayed solution (3.33) is two-valued, parameterized by m sign choices. The paper presents this as a family of Lagrangian multiforms, but the unique-solution statement in Step (3) and the right-inverse calculation (3.11)-(3.16) do not apply in this case. The revision should either prove an extended theorem covering non-convex or branching cases, or explicitly restrict the equivalence theorem to the convex regime and present the Toda construction as a formal extension rather than as an instance of the general proof.","section":"Section 3.3, Eq. (3.33)"},{"comment":"The treatment of velocity-linear Lagrangian one-forms is incomplete in a way that directly affects the universality claim. The Lagrangian multiforms constructed in earlier work [5,6] for large classes of finite-dimensional integrable models are linear in velocities, so this is not a marginal case. The paper handles only the case where Ω in (3.40) is nondegenerate and can be brought to Darboux form by a point transformation; the degenerate multi-time case is explicitly declared 'much more complicated and beyond the scope of this article.' Thus the claimed systematic construction of position-space Lagrangian one-forms for any Liouville integrable system is not achieved for this class.","section":"Section 3.4"}],"minor_comments":[{"comment":"In the variation of the global action, the intermediate integral is written over Σ while ∆ is the surface defined in (2.36); this should be ∆ to avoid confusion.","section":"Eq. (2.37)"},{"comment":"The statement that (4.13) holds for all Y^j because of 'similar arguments to those presented in section 2.2' would benefit from the explicit invertibility argument used in (2.33)-(2.35), since in the nonabelian case the submanifold is not a priori a graph over G.","section":"Section 4.2"},{"comment":"There are typographical errors in the displayed system: a double comma appears after the first brace, and the spacing is inconsistent. The affiliation line also contains 'Unite d Kingdom' and Section 4.3 contains 'framewoork'; these should be corrected.","section":"Section 4.3, Eq. (4.35)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope for a mathematical physics journal. The core derivation in Section 2.2 and the nonabelian construction in Section 4 are sound and publishable. The main revision needed is to align the advertised universality with the actual hypotheses of the Legendre transform. I do not think new results on the degenerate velocity-linear case are required for publication, but the abstract, introduction, and Section 3 must be rewritten so that the claims match the theorems. The novelty of Section 4 relative to reference [22] should also be made explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth your time. It introduces a phase-space Lagrangian one-form and a univariational principle that packages the multi-time Euler-Lagrange equations and the closure relation into one step. The derivation in Section 2.2 is clean: stationary curves give the Hamiltonian flows, the extra equation enforces Poisson commutativity, and the Frobenius argument gives local existence exactly when {H_i,H_j}=0. I checked the algebra and it's all there.\n\nWhat's actually new: the phase-space univariational formulation itself, the generalized Legendre transform connecting it to position-space multiforms, and the variational derivation of Hamiltonian group actions in Section 4. The moment-map condition {H_i,H_j}=c^k_ij H_k falls out of the Euler-Lagrange equations, which is a genuine conceptual step. The reinterpretation as compatible non-autonomous flows is neat, and the Lorentz group example makes it concrete.\n\nThe soft spot is the scope claim. The abstract says any finite-dimensional system can be recast, but the proof relies on solving (3.4) for velocities and choosing alpha so that alpha^i H_i is convex in p with invertible Hessian. Those are assumptions, not theorems. The Toda example shows the issue: for beta not equal to zero the solution (3.33) is two-valued, so the unique solution promised by convexity is absent. Section 3.4 then explicitly excludes the velocity-linear case and calls the degenerate case 'much more complicated and beyond the scope of this article.' So the paper does not actually prove universality; it proves an equivalence for the class where the Legendre hypotheses hold. That is a fixable overclaim, not a fatal flaw. The phase-space results and the group-action result stand on their own.\n\nThe citation pattern is fine; the paper builds on [22] and gives credit. It also acknowledges the referee's contribution to the symplectic quotient interpretation. No data, but the derivations are reproducible by hand.\n\nWho should read it: anyone working on Lagrangian multiforms or on variational principles for integrable hierarchies. The path-integral comments in the conclusion are speculative but clearly marked as outlook.\n\nRecommendation: send it to a good referee. The universality claim should be softened, and the assumptions behind the inverse Legendre transform should be stated as hypotheses rather than delivered facts. The core is solid and worth publishing after revision.","headline":"Clean phase-space reformulation of Lagrangian multiforms with a genuine variational derivation of Hamiltonian group actions; the 'any finite-dimensional system' claim outruns the proved Legendre-transform assumptions.","tokens_in":20562,"tokens_out":3121,"would_cite":true,"duration_ms":22526,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37J35","53D20","70H05","53D12"],"pacs":[],"model":"deepseek-v4-flash","headline":"A single variational principle now derives both the equations of motion and integrability's closure relation.","keywords":["integrable hierarchies","variational principle","Lagrangian multiforms","Hamiltonian group actions","phase-space Lagrangian one-form","Liouville integrable systems","symplectic geometry","moment map"],"falsifier":"Choose $H_1=p^2/2+q^2/2$ and $H_2=p$ on a two-dimensional phase space. Their Poisson bracket is nonzero, so the paper's theorem predicts that the overdetermined system (2.26)\\u2013(2.28) has no solution surface; solving it directly for a curve of the form $(p(t^1,t^2),q(t^1,t^2))$ should give an inconsistency. If a local solution exists for these non-commuting Hamiltonians, the claimed equivalence between the univariational principle and Poisson involutivity would be false.","tokens_in":19482,"feed_emoji":"📐","tokens_out":11265,"duration_ms":80276,"temperature":0.7,"pith_summary":"The paper introduces a phase-space variant of Lagrangian one-forms, objects whose integral over a curve in multi-time (one time per Hamiltonian in an integrable hierarchy) is meant to produce both the equations of motion and the mutual compatibility of the flows. Its central claim is that with the one-form $L=p_\\mu dq^\\mu-H_i dt^i$, a single univariational principle\\u2014every curve inside an $n$-dimensional solution surface must be a critical point\\u2014yields both the multi-time Euler-Lagrange equations and the closure relation that encodes integrability. This matters because it makes the construction of Lagrangian one-forms systematic: starting from the commuting Hamiltonians of any Liouville integrable system, one can write one down by an inverse Legendre transform. The same one-form, with the time coordinates replaced by a Lie group and the multi-time one-forms replaced by the Maurer-Cartan form, makes Hamiltonian Lie group actions emerge as Euler-Lagrange equations.","feed_headline":"One phase-space form collapses two variational steps into one","feed_subtitle":"It also turns Hamiltonian group actions into Euler-Lagrange equations for the first time.","key_machinery":"The engine is the exterior derivative of the phase-space one-form and the kernel distribution it defines. In coordinates the Pfaffian system is $\\theta_\\mu=dp_\\mu+(\\partial H_i/\\partial q^\\mu)dt^i$, $\\varphi_\\mu=dq^\\mu-(\\partial H_i/\\partial p_\\mu)dt^i$; the rank of the kernel is $n$ precisely when $\\{H_i,H_j\\}=0$, and since $dL$ is closed the distribution is Frobenius-integrable. In the Lie-group generalisation the same role is played by the Maurer-Cartan form $g^{-1}dg$, whose structure constants convert the condition into the moment-map relation.","core_discovery":"The discovery is that the variational content of an integrable hierarchy is carried by a single phase-space one-form $L=p_\\mu dq^\\mu-H_i dt^i$ on $M\\times \\mathbb{R}^n$, rather than by a position-space Lagrangian one-form plus a separate closure condition. The univariational principle demands that every curve in an $n$-dimensional hypersurface $\\Sigma\\subset M\\times \\mathbb{R}^n$ be stationary for $S[\\gamma]=\\int \\gamma^*L$; this is equivalent to $\\gamma'\\lrcorner dL=0$ for all tangent directions, which in graph coordinates becomes equations (2.26)\\u2013(2.28). Substituting the flow equations into the third relation gives $\\{H_j,H_i\\}=0$, and conversely, the Frobenius theorem applied to the kernel of $dL$ gives local solution surfaces exactly when the $H_i$ Poisson-commute; on such surfaces the one-form is closed. In the nonabelian case, $L=\\alpha-(H,g^{-1}dg)$ on $M\\times G$ and the Maurer-Cartan equation turn the analogous computation into $\\{H_i,H_j\\}=c^k_{ij}H_k$, so $H$ is a moment map and the solutions are orbits of a Hamiltonian $G$-action.","pith_inferences":["If the univariational principle is taken as basic, integrability becomes the statement that $dL$ vanishes on the solution surface; a natural next step, not taken in the paper, is to read the closure relation as a flatness condition and to search for a cohomological classification of Lagrangian one-forms.","The nonabelian version suggests a variational principle for any Hamiltonian group action; one could test whether known time-dependent invariants, such as Ermakov\\u2013Lewis-type quantities, arise as moment-map components in some group parametrisation, which would extend the paper's time-dependent example.","Because the phase-space multiforms of AKNS-type field theories share the same coadjoint-orbit structure, the same one-step reformulation may lift to $1+1$ field hierarchies; the authors only note this as an open question.","A path-integral quantization over curves in $M\\times \\mathbb{R}^n$ using $\\int \\gamma^*L$ would automatically sum over multi-time surfaces, with on-shell closedness of $L$ making the result surface-independent; the paper mentions this direction but does not develop it."],"forward_implications":["Every Liouville integrable hierarchy whose Hamiltonians satisfy the stated convexity condition admits a position-space Lagrangian one-form, so the previously ad hoc construction becomes systematic.","The multi-time Euler-Lagrange equations and the closure relation are obtained from one variational principle, with no separate variation of the submanifold.","For noncommuting flows on a Lie group $G$, the Euler-Lagrange equations of $L=\\alpha-(H,g^{-1}dg)$ are $\\{H_i,H_j\\}=c^k_{ij}H_k$, so $H$ is a moment map and the dynamics is a Hamiltonian $G$-action.","In local coordinates on $G$, the same equations become compatible non-autonomous Hamiltonian flows, which accommodate explicitly time-dependent conserved quantities such as $C=J-tH_0$ in the worked example.","The construction reproduces known position-space multiforms, such as the periodic Toda-chain coefficients recovered at a special parameter value."],"supporting_citations":[{"why":"Founds Lagrangian multiform theory and supplies the original two-step variational principle that the new phase-space formulation collapses into one step.","marker":"[1]"},{"why":"Derives the position-space multi-time Euler-Lagrange equations and the closure relation expressing Poisson involutivity, the traditional formulation being reworked.","marker":"[3]"},{"why":"Gives the Toda-chain Lagrangian coefficients recovered at a special parameter value by the inverse Legendre transform.","marker":"[4]"},{"why":"Constructs velocity-linear Lagrangian one-forms on coadjoint orbits, the class whose nondegenerate case motivates the symplectic phase-space formulation.","marker":"[5]"},{"why":"Constructs further velocity-linear Lagrangian multiforms for cyclotomic Gaudin models, supporting the claim that the coadjoint-orbit structure is generic.","marker":"[6]"},{"why":"First introduced Lagrangian multiforms on Lie groups with non-commuting flows, the idea that Section 4 generalises into a variational derivation of Hamiltonian group actions.","marker":"[22]"},{"why":"Shows how the degenerate single-time, velocity-linear case can be reduced, the reference point for the paper's handling of degeneracy.","marker":"[24]"},{"why":"Supplies the coordinate expression for left-invariant one-forms used in the local non-autonomous Hamiltonian reformulation on the Lie group.","marker":"[25]"}],"fun_headline_variants":["Single phase-space one-form unifies integrable hierarchy variations","One phase-space form yields multi-time Euler-Lagrange","Symplectic one-form replaces closure condition","One-form on phase space derives Euler-Lagrange and closure","Phase-space one-form yields closure and flows in one step"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim that any finite-dimensional integrable system fits the framework rests on the inverse Legendre transform being solvable: equation (3.7) must determine the momenta as functions of positions and velocities, which the paper ensures by assuming some direction in which $\\alpha^i H_i$ is convex in momenta, and the velocity-linear degenerate case is explicitly left out.","fun_headline_variants_meta":{"raw":{"variants":["Single phase-space one-form unifies integrable hierarchy variations","One phase-space form yields multi-time Euler-Lagrange","Symplectic one-form replaces closure condition","One-form on phase space derives Euler-Lagrange and closure","Phase-space one-form yields closure and flows in one step"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001418,"raw_usage":{"total_tokens":5715,"prompt_tokens":926,"completion_tokens":4789,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":542,"completion_tokens_details":{"reasoning_tokens":4710}},"tokens_in":542,"tokens_out":4789,"duration_ms":24609,"temperature":1.0,"reasoning_tokens":4710,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:00:34.970697+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose $H_1=p^2/2+q^2/2$ and $H_2=p$ on a two-dimensional phase space. Their Poisson bracket is nonzero, so the paper's theorem predicts that the overdetermined system (2.26)\\u2013(2.28) has no solution surface; solving it directly for a curve of the form $(p(t^1,t^2),q(t^1,t^2))$ should give an inconsistency. If a local solution exists for these non-commuting Hamiltonians, the claimed equivalence between the univariational principle and Poisson involutivity would be false.","supporting_citations":[{"cited_title":"Lobb, F.W","cited_arxiv_id":null,"evidence_quote":"Founds Lagrangian multiform theory and supplies the original two-step variational principle that the new phase-space formulation collapses into one step."},{"cited_title":"Suris, Variational formulation of commuting Hamiltonian flows: mu lti-time Lagrangian 1-forms, J","cited_arxiv_id":null,"evidence_quote":"Derives the position-space multi-time Euler-Lagrange equations and the closure relation expressing Poisson involutivity, the traditional formulation being reworked."},{"cited_title":"Petrera, Y.B","cited_arxiv_id":null,"evidence_quote":"Gives the Toda-chain Lagrangian coefficients recovered at a special parameter value by the inverse Legendre transform."},{"cited_title":"Caudrelier, M","cited_arxiv_id":null,"evidence_quote":"Constructs velocity-linear Lagrangian one-forms on coadjoint orbits, the class whose nondegenerate case motivates the symplectic phase-space formulation."},{"cited_title":"Caudrelier, A.A","cited_arxiv_id":null,"evidence_quote":"Constructs further velocity-linear Lagrangian multiforms for cyclotomic Gaudin models, supporting the claim that the coadjoint-orbit structure is generic."},{"cited_title":"Caudrelier, F","cited_arxiv_id":null,"evidence_quote":"First introduced Lagrangian multiforms on Lie groups with non-commuting flows, the idea that Section 4 generalises into a variational derivation of Hamiltonian group actions."},{"cited_title":"Faddeev and R","cited_arxiv_id":null,"evidence_quote":"Shows how the degenerate single-time, velocity-linear case can be reduced, the reference point for the paper's handling of degeneracy."},{"cited_title":"Magazev, V.V","cited_arxiv_id":null,"evidence_quote":"Supplies the coordinate expression for left-invariant one-forms used in the local non-autonomous Hamiltonian reformulation on the Lie group."}],"review_version":1}