{"id":"f2d3e822-c584-4cea-87f2-4cd027d0f83a","arxiv_id":"2607.15471","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For general Lagrangian costs on the torus, the paper re-proves the known equivalences among Lagrangian, Eulerian, convex-momentum, Hamilton-Jacobi, and Hamiltonian formulations of the transport distance.","lead":"This preprint collects six standard variational formulations of optimal transport — particle paths, density-velocity fields, a convex momentum problem, a Hamilton-Jacobi dual, a Hamiltonian flow, and a formal Riemannian metric — and states they coincide for Tonelli Lagrangians on the torus. Most of these equivalences were already established in the papers it cites; the contribution is the packaging.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2's zero-duality-gap step is asserted, not verified: Fenchel–Rockafellar constraint qualification and smooth-solution existence are both unproven, so I4=I5 hangs on an unsecured linchpin.","rationale":"The reader's weakest assumption centers on the unverified zero-duality-gap claim and the existence of smooth solutions to the coupled system; I agree that this is the most fragile step in the proof chain. However, I would sharpen the concern: the real issue is not merely the absence of a smooth solution to the coupled PDEs but the failure to establish the constraint qualification for Fenchel–Rockafellar duality. The paper's construction of a smooth solution is a sufficient condition for zero duality gap, but not necessary; the missing necessary check is the Slater condition. This is why I mark agreement as partial: the reader identifies the right area but the precise pivot is the interior-point condition for J. The concrete test I propose directly checks that condition. If the test passes, the duality gap is zero under standard convex analysis, and the proof's Step 3 can be repaired; if it fails, the equivalence I4=I5 is genuinely open. Either way, the paper as written does not establish the central claim rigorously, so the verdict should remain CONDITIONAL, pending this verification or an explicit alternate argument.","tokens_in":11800,"tokens_out":14662,"duration_ms":150120,"concrete_test":"Check the Slater condition for the Fenchel–Rockafellar duality in Step 3. Let ρ0, ρ1 be smooth strictly positive densities on T^d. Define ρ(t,x) = (1−t)ρ0(x) + tρ1(x) and choose the smooth vector field m(t,x) = ∇ψ(t,x) on T^d, where ψ(t,·) solves Δψ = ∂tρ(t,·) = ρ1 − ρ0 with mean-zero constraint. Verify that (ρ,m) is smooth, satisfies the continuity equation and endpoint conditions, and that J(ρ,m) = sup_{σ,ξ} ∫ (σρ + ξ·m) dxdt is finite (equivalently, that the convex perspective ρL(x,m/ρ) is integrable, which holds if ρ > 0 and L is finite). If J(ρ,m) < ∞, then (ρ,m) lies in the relative interior of the domain of J, so the Slater condition is satisfied and (3.11) is valid. If this natural interpolation yields infinite J, the duality assertion requires further hypotheses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 3.2 Step 3, the paper states that the duality relation (3.11), inf_{ρ,m} J = sup_φ K(φ), 'follows directly from the Fenchel–Rockafellar duality theorem.' This is load-bearing because the proof of IL = I4 = I5 depends on this equality; without it, the chain IL ≥ inf J ≥ sup K and IL ≤ sup K (the latter proved separately) does not close. The paper does not verify the hypotheses of Fenchel–Rockafellar: (i) that J defined in (3.9) is a proper, lower semicontinuous convex functional on a suitable Banach space; (ii) that the affine constraint ∂_tρ + ∇·m = 0 with endpoint conditions is feasible in the interior of the domain of J. Instead, the text attempts to justify the exchange by assuming the existence of a smooth solution to the coupled Hamilton–Jacobi/continuity system with prescribed endpoints — a nontrivial regularity result not established for a general Tonelli Lagrangian. Moreover, the saddle functional L(ρ,m,φ) is written formally; when ρ and m are measures (as in the superposition construction of Step 4), J may be infinite. If the constraint qualification fails, (3.11) could have a duality gap, and the asserted equality of I4 and I5 is unsupported. The paper itself acknowledges an alternative inequality route in Step 4 but does not spell it out, leaving the central equivalence conditional on this unproven step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies optimal transport on the flat torus for costs induced by a Tonelli Lagrangian L(x,v) via the action c(x,y)=inf∫L(ω,ω̇)dt. It proposes six variational formulations: a formal Riemannian/geometric distance I1, a Lagrangian flow formulation I2, an Eulerian formulation I3, a convex momentum formulation I4 obtained by the Benamou–Brenier change of variables m=ρv, a Hamilton–Jacobi dual formulation I5, and a Hamiltonian flow formulation I6. Theorem 3.2 claims IL=I2=I3 and IL=I4=I5; Theorem 3.3 claims IL=I6 under strong convexity. The proof strategy is to prove I3≥IL, convexify to I4, use Fenchel–Rockafellar duality to identify I4 with I5, and then construct admissible (ρ,m) from an optimal plan to close the chain. Examples include quadratic cost, mechanical Lagrangians, translation-invariant costs, anisotropic quadratic costs, and control/neural-ODE settings.","tokens_in":12052,"tokens_out":13395,"duration_ms":142969,"significance":"If fully established, the paper would provide a unified presentation of several known equivalences for Lagrangian optimal transport and would connect them to Wasserstein–Hamiltonian flows and mean-field-game-type systems. The individual statements are consistent with results in the literature (e.g., Bernard–Buffoni, Fathi–Figalli), so the conceptual contribution is mainly organizational, with the I6 Hamiltonian reformulation being the clearest potentially new element. The paper contains no computational artifacts; its value would be a clean synthetic framework. However, the proof as written has substantial gaps in exactly the steps needed to make the framework rigorous, so the contribution is currently conditional.","major_comments":[{"comment":"The proof does not establish the claimed equalities IL=I2=I3. It shows that every admissible Eulerian pair has cost at least ∫ρ0 c(x,X(1,x))dx ≥ IL, i.e., I3≥IL, and similarly I2≥IL. No reverse inequality is provided. To prove IL≤I3 one needs a representation/approximation of an optimal transport plan by smooth Eulerian flows (e.g., superposition principle or the generalized Benamou–Brenier theorem). This is a load-bearing omission for the theorem's first assertion.","section":"Theorem 3.2, Step 1 (pp. 8–9)"},{"comment":"The zero-duality-gap assertion is not proved. The text invokes Fenchel–Rockafellar duality but does not verify constraint qualification for the functional J in (3.9) on a suitable Banach space. The attempted verification instead assumes existence of a global smooth solution to the coupled system with ∂tφ+H(x,∇φ)=0 and only ρ endpoint data. For a Tonelli Hamiltonian on T^d such classical HJ solutions generally do not exist globally for arbitrary smooth ρ0,ρ1; the canonical Kantorovich potentials for quadratic cost are often only semiconcave, not C^1. Thus the equality I4=I5 is unsupported as written.","section":"Theorem 3.2, Step 3, Eq. (3.11)"},{"comment":"The argument intended to prove IL≤supφ K(φ) is logically reversed. The derivation shows that every C^1 HJ subsolution yields an admissible Kantorovich pair, which implies the supremum over HJ subsolutions is ≤ the Kantorovich supremum, i.e., sup K ≤ IL. To obtain IL≤sup K one must prove that every optimal Kantorovich pair can be represented by an (even nonsmooth) HJ subsolution; this is not supplied. The superposition construction also produces measure-valued ρ(t,x), while J in (3.9) is initially defined for densities; the passage to measures requires justification or approximation.","section":"Theorem 3.2, Step 4 (pp. 11–13)"},{"comment":"The proof of IL=I6 relies on solving, for each t, the nonlinear elliptic problem ∇·(m−ρ∇pH(x,∇φ))=0 on the torus and asserting existence and smoothness via 'standard elliptic regularity'. Existence of a periodic solution, the choice of additive constant, and smooth dependence on t are not demonstrated. These are nontrivial for a general Tonelli Lagrangian; without them the converse inequality I6≤I4 is not established.","section":"Theorem 3.3, Eq. (3.13)"}],"minor_comments":[{"comment":"The text says 'We now show that all of the preceding formulations are equivalent,' but the theorem omits I1 (the geometric/Riemannian formulation). Either include I1 in the theorem or rephrase the introduction and discussion.","section":"§3, Theorem 3.2 statement"},{"comment":"In the final displayed equation of Step 3, the boundary term is written as ∫(φ(1)ρ1 − ρ(0)ρ0)dx; the second term should be φ(0)ρ0.","section":"Step 3, boundary term"},{"comment":"The function dH is defined inconsistently: earlier as L+H−v·ξ, later as L−v·ξ+H−v·ξ. This typo makes the Legendre identity in Step 4 hard to follow.","section":"Step 4, notation"},{"comment":"The regularity class of φ in the dual formulation K(φ) is not specified (C^1 vs. viscosity solution). Also, the domain of J in (3.9) should be stated precisely to distinguish densities from measures.","section":"Throughout"},{"comment":"Several typographical errors: 'Lebesque' should be 'Lebesgue'; 'preformed' should be 'performed'; in reference [13] 'Di!erential' should be 'Differential'; in the definition of I6, ∂tρ+∇x(ρ∇pH) should be ∂tρ+∇x·(ρ∇pH).","section":"Typos"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to be an early draft: the main theorems are plausible and consistent with known results, but the proof as written contains several gaps in load-bearing steps, including a reversed inequality direction in Step 4 of Theorem 3.2. The novelty over existing literature (e.g., Bernard–Buffoni, Fathi–Figalli, and the Benamou–Brenier theory) should be clarified, and the proof needs to be either completed with standard weak-KAM/viscosity arguments or substantially revised. I recommend major revision rather than rejection because the core claims are likely salvageable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the punchline: the paper is a clean, well-cited catalog of known equivalences among Lagrangian, Eulerian, convex, and Hamilton–Jacobi formulations of Lagrangian optimal transport on the torus. What is actually new is modest: a numbering scheme that puts six forms side by side and a direct Hamiltonian-flow formulation I6 obtained by substituting the first-order condition into the convex problem. The author knows the literature—Bernard–Buffoni, Fathi–Figalli, Villani, Ambrosio–Gigli–Savaré are all there—and the examples are correct.\n\nThe soft spots are where the proof leans on assertions. In Theorem 3.2, Step 3, the zero-duality-gap is announced and then a smooth solution to the coupled HJ/continuity system is assumed; the Fenchel–Rockafellar constraint qualification is never checked. That is load-bearing for I4=I5, and the alternative inequality route in Step 4 is sketched, not completed. Theorem 3.3's elliptic step is similarly a one-line 'standard elliptic regularity,' which may be fine for smooth data but needs a statement. The geometric formulation I1 is introduced but never proved equivalent; the Discussion overclaims it. There are also numerous typos in the displays that obscure the steps.\n\nThese are real gaps, but they are the kind a referee could force the author to either fix or label as formal. The central equivalences are true in the literature, so the paper is not building on sand; it is just not a new theorem. The value is organizational, not foundational.\n\nWho is this for? A reader who wants one place to see how the Lagrangian, Eulerian, convex, and HJ viewpoints align, and who is willing to track down the original proofs. For a research contribution, it needs a clear statement of what is new relative to [6], [19], and [37], and a complete duality argument. I would not desk reject it—a referee can help sort that out—but I would send it back for major revision, not accept the current version.\n\nRecommendation: engage with it if the author is willing to be honest about the overlap; otherwise, it is a survey note.","headline":"Organized repackaging of classical equivalences; true but not new, and the main proof has an unverified duality gap.","tokens_in":12652,"tokens_out":4188,"would_cite":false,"duration_ms":34533,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49K20","49L20","49Q20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any Tonelli Lagrangian, five formulations of a transport distance coincide.","keywords":["optimal transport","Lagrangian cost","Tonelli Lagrangian","convex duality","Hamilton-Jacobi equations","Wasserstein-Hamiltonian flow","transport distance","Eulerian formulation"],"falsifier":"Take the circle T, L(x,v)=|v|^4/4, and smooth normalized densities ρ0=1+0.1 cos(2πx), ρ1=1−0.1 cos(2πx). The paper predicts I4=I5=IL; compute IL via direct discretization of the plan problem and I5 via the supremum over φ with ∂tφ + (3/4)|∂xφ|^{4/3} ≤ 0. Agreement to numerical tolerance confirms the duality, while any gap beyond solver error would falsify the zero-duality-gap assertion.","tokens_in":11537,"feed_emoji":"📐","tokens_out":6532,"duration_ms":58158,"temperature":0.7,"pith_summary":"This paper claims that optimal transport with a general Lagrangian cost—not just the quadratic one—has a fully unified variational description. For smooth densities on a flat torus and any Tonelli Lagrangian, five (and with strong convexity, six) apparently distinct formulations of the induced distance coincide: trajectory, Eulerian, convex momentum, Hamilton–Jacobi dual, and Hamiltonian flow. The reason they coincide is a pointwise Legendre-duality lemma that converts the action integrand into a linear functional over a convex set, plus a zero-duality-gap argument. A sympathetic reader would care because it extends the classic dynamical reformulation of the quadratic Wasserstein distance to arbitrary mechanical and optimal-control actions, and it makes the optimality system a coupled Hamilton–Jacobi/continuity PDE pair with a natural Poisson structure on the space of densities. The key load-bearing step is the claimed zero duality gap in the sup–inf interchange; the paper asserts it follows from standard convex duality without checking the relevant constraint qualification in detail.","feed_headline":"One distance, five equivalent formulations for Tonelli costs","feed_subtitle":"Proof unifies Lagrangian, Eulerian, convex, dual, and Hamiltonian views of optimal transport beyond the quadratic case.","key_machinery":"The engine is Lemma 3.1: for each point x, define the Hamiltonian H(x,p)=sup_q(p·q − L(x,q)) and the convex set Q(x)={(a,b) : a+H(x,b)≤0}. Then for any (τ,y), sup_{(a,b)∈Q(x)} (aτ+b·y)=τ L(x,y/τ) (with the convention 0 for (0,0) and +∞ elsewhere). This identity rewrites the action density ρ L(x,m/ρ) as a supremum over linear functions, turning the nonconvex Eulerian problem into a convex one and leading via Legendre duality to the Hamilton–Jacobi constraint. The zero-duality-gap step in Theorem 3.2 and the elliptic projection in Theorem 3.3 are secondary mechanisms that close the equivalence chain.","core_discovery":"The paper proves that when the cost is the least action of a Tonelli Lagrangian—one that is strictly convex and grows superlinearly in velocity, with complete Euler–Lagrange flow—the induced transport distance between two smooth densities on the torus can be computed in any of five (six with strong convexity) equivalent ways: (1) minimizing over particle trajectories, (2) Eulerian density–velocity fields, (3) a convex problem in density–momentum, (4) a supremum over potentials satisfying a Hamilton–Jacobi inequality, and (5) an infimum over density–phase pairs obeying a Hamiltonian flow. The proof goes through four steps: Eulerian configurations dominate trajectory configurations; the Euleri","pith_inferences":["Editorial: If the zero-duality-gap assertion truly holds, a natural testable extension is to non-smooth densities and non-Tonelli but convex Lagrangians; failure there would localize the breakpoint of the chain without affecting the Eulerian–Lagrangian equality.","Editorial: The elliptic projection in Theorem 3.3 suggests a general recipe—project any admissible momentum onto a velocity-gradient form—which could yield a canonical gauge choice for velocity fields in numerical Eulerian schemes for non-quadratic costs.","Editorial: The Hamiltonian-flow formulation invites a concrete numerical experiment comparing I4 and I6 values for a non-quadratic strongly convex Lagrangian on T², which would either confirm the elliptic projection step or expose the regularity gap behind it."],"forward_implications":["For computation, any of the equivalent formulations gives the same number, so a practitioner can choose the most tractable form—typically the convex momentum problem or the Hamilton–Jacobi supremum.","The optimality conditions for the transport problem are exactly the coupled Hamilton–Jacobi and continuity equations, ∂tφ + H(x,∇φ)=0 and ∂tρ + ∇·(ρ∇pH(x,∇φ))=0, with density endpoints prescribed; this gives a PDE characterization of optimal transport.","The induced distance inherits a formal Hamiltonian structure on the space of probability densities, with Hamiltonian ∫ H(x,∇φ)ρ dx; dynamics on the density manifold follow Hamilton's equations.","The framework covers quadratic, kinetic-plus-potential, anisotropic quadratic, and optimal-control-induced Lagrangians, giving each a canonical transport metric and connecting to mean-field games and continuous-depth network training.","The equivalence implies that the formal Riemannian geodesic distance I1 agrees with all Eulerian formulations for smooth densities, so the metric geometry of the density manifold is consistent across perspectives."],"fun_headline_variants":["Five equivalent ways to compute a transport distance","Transport distance: five views, one answer","Hamiltonian structure unifies optimal transport","Beyond quadratic cost: unified transport theory","Five formulations for one transport distance"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The central load-bearing premise is that the convex momentum infimum and the Hamilton–Jacobi supremum have zero duality gap, asserted from a general convex-duality theorem without verifying the interior feasibility condition; if a gap exists for some admissible density–momentum pair, the equality I4=I5, and hence the full chain, collapses.","fun_headline_variants_meta":{"raw":{"variants":["Five equivalent ways to compute a transport distance","Transport distance: five views, one answer","Hamiltonian structure unifies optimal transport","Beyond quadratic cost: unified transport theory","Five formulations for one transport distance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000235,"raw_usage":{"total_tokens":1291,"prompt_tokens":656,"completion_tokens":635,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":400,"completion_tokens_details":{"reasoning_tokens":587}},"tokens_in":400,"tokens_out":635,"duration_ms":6513,"temperature":1.0,"reasoning_tokens":587,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T23:17:00.259096+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the circle T, L(x,v)=|v|^4/4, and smooth normalized densities ρ0=1+0.1 cos(2πx), ρ1=1−0.1 cos(2πx). The paper predicts I4=I5=IL; compute IL via direct discretization of the plan problem and I5 via the supremum over φ with ∂tφ + (3/4)|∂xφ|^{4/3} ≤ 0. Agreement to numerical tolerance confirms the duality, while any gap beyond solver error would falsify the zero-duality-gap assertion.","supporting_citations":[],"review_version":1}