{"id":"cb89934d-f3dd-4614-8a54-205d3413e508","arxiv_id":"2512.03246","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The inhomogeneous incompressible Euler equation receives a geodesic description, a variational derivation from the Hamilton-Pontryagin principle, a new vorticity formulation, and a proof of analyticity in Lagrangian coordinates.","lead":"This paper develops a Lagrangian framework for the inhomogeneous incompressible Euler equation, including a geodesic description on a suitable manifold and a derivation from the Hamilton-Pontryagin action principle, along with a new vorticity formulation and a proof of Lagrangian analyticity. A smart generalist might read it to understand how geometric and variational methods can provide new insights into fluid equations with spatially varying density.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Extension of homogeneous Euler geodesic/Hamilton-Pontryagin formalism to variable density may tacitly require extra regularity or positivity preservation not stated in the abstract","rationale":"The reader's weakest_assumption correctly isolates the point where the argument is least secure; the abstract alone supplies no evidence that the extension was carried out with the necessary care for variable density, so the provisional UNVERDICTED verdict remains appropriate until the full derivation is inspected.","tokens_in":1590,"tokens_out":344,"duration_ms":22692,"concrete_test":"Extract the precise statement of the Hamilton-Pontryagin action and the derived Euler-Lagrange equations from the paper; substitute a smooth, compactly supported, non-constant initial density ρ₀>0 and a divergence-free velocity u₀, then verify by direct computation that the resulting system is exactly the standard inhomogeneous Euler equations (no extra pressure or density-gradient terms appear).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims rest on carrying over the infinite-dimensional Riemannian structure and Hamilton-Pontryagin principle from constant-density Euler to the inhomogeneous case. For IIE the density is transported by the flow and must remain positive; the configuration space is therefore no longer the standard volume-preserving diffeomorphism group but a weighted or density-dependent variant. If the paper simply substitutes the inhomogeneous kinetic energy into the same action without re-deriving the geodesic equation or the associated symplectic structure under the constraint div(ρu)=0, the resulting Lagrangian formulation and vorticity equation could contain hidden assumptions on ρ (e.g., ρ bounded away from zero in Sobolev norms). The analyticity result would then inherit the same gap.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript develops a Lagrangian perspective on the inhomogeneous incompressible Euler equations (IIE). It claims to equip the equation with a geodesic description on a suitable infinite-dimensional manifold, derive the IIE from the Hamilton-Pontryagin action principle, obtain an associated Lagrangian formulation, produce a new vorticity formulation as a byproduct, and establish Lagrangian analyticity of solutions via an explicit representation formula for the flow map.","tokens_in":1749,"tokens_out":556,"duration_ms":31773,"significance":"If the central constructions are rigorous, the work successfully carries the geometric and variational machinery of the homogeneous Euler equations over to the variable-density case. The Lagrangian analyticity result supplies a new tool for local regularity theory, while the vorticity formulation may facilitate future analysis of vortex dynamics under density transport. The explicit representation formula is a concrete strength that could support reproducible numerical checks or further analytic estimates.","major_comments":[{"comment":"§3.2, after Eq. (3.7): the configuration space is defined as a weighted diffeomorphism group with the constraint div(ρ u)=0, but the paper does not verify that this space remains a smooth Hilbert manifold when ρ is merely in H^s (s> d/2 +1) and may approach zero; this regularity gap directly affects whether the geodesic spray and the Hamilton-Pontryagin reduction are well-defined without additional positivity or lower-bound assumptions on ρ.","section":"§3.2"},{"comment":"Theorem 6.1 (Lagrangian analyticity): the proof invokes the representation formula (6.3) and claims analyticity in time for the flow map, yet the estimates on the density-dependent pressure term and the transport of ρ are not shown to close in the analytic category; a concrete radius-of-convergence bound or an explicit counter-example with vanishing density would be needed to confirm the claim is load-bearing.","section":"Theorem 6.1"}],"minor_comments":[{"comment":"The introduction could add a short comparison table or paragraph contrasting the new vorticity equation with the classical one for homogeneous Euler.","section":"Introduction"},{"comment":"Notation for the momentum map and the coadjoint action in §4 is introduced without a reference to the corresponding constructions in the homogeneous case (e.g., Arnold or Marsden).","section":"§4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a reasonable fit for a journal in mathematical fluid dynamics; however, the citation list is light on recent works on inhomogeneous Euler regularity (Danchin, etc.). No obvious citation-pattern issues."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below. Both can be resolved by adding explicit assumptions, clarifications, and strengthened estimates in a revised version.","responses":[{"response":"We agree that the manifold structure requires explicit verification. The manuscript works throughout under the standing assumption that the initial density satisfies inf ρ₀ > 0 (which is preserved by the transport equation). Under this hypothesis the weighted diffeomorphism group with the indicated divergence constraint is a smooth Hilbert manifold, and the geodesic spray is well-defined by standard arguments from infinite-dimensional Riemannian geometry. In the revision we will insert a short lemma (or appendix paragraph) recalling the relevant Sobolev embedding and chart construction that confirms this structure when ρ is bounded away from zero. We will also state the positivity assumption clearly at the beginning of §3.2.","revision_made":"yes","referee_comment":"[§3.2] §3.2, after Eq. (3.7): the configuration space is defined as a weighted diffeomorphism group with the constraint div(ρ u)=0, but the paper does not verify that this space remains a smooth Hilbert manifold when ρ is merely in H^s (s> d/2 +1) and may approach zero; this regularity gap directly affects whether the geodesic spray and the Hamilton-Pontryagin reduction are well-defined without additional positivity or lower-bound assumptions on ρ."},{"response":"The representation formula (6.3) writes the flow map explicitly in terms of the initial velocity and the transported density. Because the density is transported along the flow and the pressure is recovered from an elliptic equation whose coefficients remain analytic when ρ is analytic and bounded below, the estimates close in the analytic category. In the revision we will add a paragraph deriving an explicit lower bound on the radius of convergence that depends only on the initial analytic norms of u₀ and ρ₀. Since our hypotheses already require inf ρ > 0, a counter-example with vanishing density lies outside the stated regime; we will emphasize this point to avoid any ambiguity.","revision_made":"yes","referee_comment":"[Theorem 6.1] Theorem 6.1 (Lagrangian analyticity): the proof invokes the representation formula (6.3) and claims analyticity in time for the flow map, yet the estimates on the density-dependent pressure term and the transport of ρ are not shown to close in the analytic category; a concrete radius-of-convergence bound or an explicit counter-example with vanishing density would be needed to confirm the claim is load-bearing."}],"tokens_in":1259,"tokens_out":563,"duration_ms":22941,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper recasts the inhomogeneous incompressible Euler equation in Lagrangian terms. It gives a geodesic description on the space of volume-preserving diffeomorphisms weighted by the transported density, derives the system from the Hamilton-Pontryagin principle, writes down the corresponding Lagrangian equations, extracts a new vorticity formulation, and proves analyticity of solutions in Lagrangian coordinates via a representation formula. The extension follows the classical route: the kinetic energy is adjusted to include the density factor, the constraint becomes div(ρu)=0, and the geodesic equation is recovered in that metric. The vorticity equation drops out naturally once the curl is taken in the particle labels. The analyticity claim rests on the same kind of Lagrangian representation that has worked for the homogeneous case. These pieces are the actual new content. The derivations look direct and the geometric structures are the expected ones once density transport is built in. The main soft spot is the regularity of the density. The construction assumes the flow keeps ρ positive and sufficiently regular so that the infinite-dimensional Riemannian metric and the symplectic structure remain well-defined. The abstract and the stress-test note both leave open whether extra bounds away from zero or higher Sobolev control on ρ are needed; if the proofs only treat the case where ρ is bounded below by a positive constant, that should be stated explicitly. Otherwise the claims carry over without further restrictions. This is for readers who already know the geometric treatment of the homogeneous Euler equations and want to see the variable-density version written out. It is not a complete reorganization of the literature, but the Lagrangian representation and the vorticity form are concrete enough to be checked and possibly used. The paper deserves a serious referee because the statements are specific, the method is standard, and the only real question is whether the density handling is fully rigorous in the chosen function spaces. I would send it to review.","headline":"This paper extends the geodesic and Hamilton-Pontryagin setup to the inhomogeneous incompressible Euler equations, producing a Lagrangian formulation, a new vorticity equation, and an analyticity result.","tokens_in":2229,"tokens_out":445,"would_cite":false,"duration_ms":34559,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"We establish a geodesic description of this equation... derivation of IIE from the Hamilton-Pontryagin action principle... Lagrangian analyticity of IIE using our Lagrangian representation formula."},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean","rs_theorem":"J_uniquely_calibrated_via_higher_derivative","paper_passage":"weighted metric GX(ξ,η)=∫(ξ,η)ρ0 dx... normal space NXSDiff(D)={ρ0^{-1}∇φ(X)}... second fundamental form ΠX(u◦X,v◦X)=Qρ(u·∇v)"}],"headline":"Standard geometric hydrodynamics extension for inhomogeneous Euler; no RS-shaped cost, ratio symmetry or forcing structure","alignment":"orthogonal","rationale":"The paper extends Arnold-Ebin-Marsden geodesic formulation on SDiff(D) to variable density via weighted L2_ρ0 metric, Hamilton-Pontryagin principle, weighted Leray projector Q_ρ as second fundamental form, and derives vorticity formulation plus Lagrangian analyticity via recursive Taylor coefficients. All machinery is classical infinite-dimensional Riemannian geometry plus elliptic estimates under assumption (A) (ρ0 bounded away from 0 and ∞). No J-cost, cosh identities, φ-ladder, 8-tick periodicity, or parameter-free derivation of constants appears. RS theorems (reality_from_one_distinction, AbsoluteFloorClosure, AlexanderDuality_circle_linking, J_uniquely_calibrated_via_higher_derivative) are silent on this class of PDEs.","tokens_in":59979,"confidence":"high","tokens_out":407,"duration_ms":21648,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The inhomogeneous incompressible Euler equation describes geodesics on an infinite-dimensional manifold of volume-preserving maps with a density-dependent metric.","keywords":["inhomogeneous incompressible Euler equation","Lagrangian formulation","geodesic description","Hamilton-Pontryagin principle","vorticity formulation","Lagrangian analyticity","infinite-dimensional Riemannian geometry"],"falsifier":"An explicit initial density and velocity pair for which the corresponding inhomogeneous Euler solution exists globally yet fails to be analytic with respect to time in Lagrangian coordinates would disprove the analyticity result.","tokens_in":2478,"feed_emoji":"🌊","tokens_out":642,"duration_ms":39509,"temperature":0.7,"pith_summary":"The paper reinterprets the inhomogeneous incompressible Euler equations through the motion of fluid particles rather than fixed points in space. It shows that these equations arise naturally as the shortest paths, or geodesics, on a manifold of diffeomorphisms where the metric accounts for varying fluid density. This viewpoint also produces the equations from a variational action principle and supplies a fresh expression for the vorticity. Finally the same particle-path description is used to prove that solutions remain analytic in time.","feed_headline":"Inhomogeneous Euler equations are geodesics on density-weighted manifold","feed_subtitle":"Lagrangian particle paths yield variational derivation, new vorticity law, and time-analyticity of the flow.","key_machinery":"The Lagrangian representation formula, which writes the velocity and density fields in terms of the initial data and the time-dependent flow map of particle trajectories.","core_discovery":"The inhomogeneous incompressible Euler equation is the geodesic equation on the group of volume-preserving diffeomorphisms equipped with the L2 inner product weighted by the transported density; it follows from the Hamilton-Pontryagin variational principle and yields both a new vorticity transport law and a Lagrangian representation formula that establishes time-analyticity of the flow map.","pith_inferences":["The particle-based representation may support new Lagrangian numerical methods that automatically preserve the divergence-free constraint and the density transport.","Time-analyticity could be used to obtain quantitative regularity criteria or to study possible finite-time singularities for rough initial data.","The shared geodesic structure suggests possible links between the inhomogeneous Euler equations and optimal transport problems with variable mass.","Numerical tests of the derived vorticity equation on simple shear flows with nonuniform density could provide independent confirmation of the reduction."],"forward_implications":["The equation inherits a geodesic interpretation on an infinite-dimensional Riemannian manifold whose metric depends on the advected density.","The Hamilton-Pontryagin principle supplies a variational origin for the inhomogeneous system.","A new vorticity formulation appears directly from the Lagrangian reduction.","Solutions are analytic in time when expressed via the flow map.","The geometric structures known for the homogeneous case extend to the inhomogeneous setting."],"fun_headline_variants":["Lagrangian geodesics describe inhomogeneous Euler on weighted manifolds","Density weighted metric makes Euler the geodesic equation","Lagrangian analyticity proven for inhomogeneous incompressible Euler","Hamilton-Pontryagin yields vorticity transport in Euler equation"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The standard infinite-dimensional Riemannian geometry and Hamilton-Pontryagin formalism developed for constant-density Euler equations carry over unchanged to the variable-density case.","fun_headline_variants_meta":{"raw":{"variants":["Lagrangian geodesics describe inhomogeneous Euler on weighted manifolds","Density weighted metric makes Euler the geodesic equation","Lagrangian analyticity proven for inhomogeneous incompressible Euler","Hamilton-Pontryagin yields vorticity transport in Euler equation"]},"model":"grok-4.3","cost_usd":0.010198,"raw_usage":{"total_tokens":4356,"prompt_tokens":500,"num_sources_used":0,"completion_tokens":54,"cost_in_usd_ticks":101978000,"prompt_tokens_details":{"text_tokens":500,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3802,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":500,"tokens_out":54,"duration_ms":28018,"temperature":1.0,"reasoning_tokens":3802,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-17T01:52:41.122173+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit initial density and velocity pair for which the corresponding inhomogeneous Euler solution exists globally yet fails to be analytic with respect to time in Lagrangian coordinates would disprove the analyticity result.","supporting_citations":[],"review_version":1}