{"id":"d9def0e3-2f12-4db3-86bd-201028077109","arxiv_id":"2602.18917","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A common Brenier-type dual variational formulation is proved consistent, solvable, and gap-free for barotropic, quantum and Korteweg fluids, with a Dafermos principle for entropy dissipation.","lead":"Barotropic, quantum and Korteweg fluid equations are shown to fit one common variational-duality framework, yielding measure-valued dual solutions, absence of duality gap, and an entropy-dissipation comparison principle. The value is a unified mathematical tool for selecting 'reasonable' weak solutions in systems where weak solutions are highly nonunique.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Korteweg application depends on an unproven equivalence: the augmented system may admit non-EK trajectories in the weak/strong solution class.","rationale":"The reader identified the Korteweg augmented-system equivalence as the weakest assumption; this stress test confirms it is the most load-bearing. The paper's own text supports the concern: Remark 5.8 makes the equivalence assertion without proof, and Section 5.3 ends with the sharp formulation 'left as an exercise'. The transport equation for r=ξ/ρ^ν shows exactly what smoothness is needed for the reduction; that smoothness is not guaranteed by the abstract strong-solution definition. If a counterexample exists, the §5.3 results are about a relaxed system, so the advertised Korteweg application is not established. This does not undermine the abstract duality framework or the barotropic/QHD applications, so the CONDITIONAL verdict remains appropriate. The concrete test—deriving the sharp formulation and checking transport uniqueness—is a finite analytical check that does not require new numerical machinery. It could be performed by the authors or a referee and would settle the concern either way.","tokens_in":25507,"tokens_out":30467,"duration_ms":263078,"concrete_test":"Independently derive the sharp formulation for (5.37)-(5.42) following the pattern of (5.26)-(5.32), and write the evolution equation for r=ξ/ρ^ν obtained from (5.38),(5.40),(5.42). Check whether the regularity in Definition 2.14 (v continuous, transformed measures finite Radon) is sufficient to guarantee uniqueness of this transport equation with r(0)=1. If not, exhibit a continuous non-Lipschitz velocity u=q/ρ for which ∂t r+u·∇r=0 has two weak solutions with the same initial datum (or cite a standard counterexample); then determine whether the corresponding (q,G,ξ,ρ), with G=∇ξ and ξ=ρ^ν(1+w), can be embedded into (5.37)-(5.42) by adjusting the pressure/initial data. Existence of such a solution disproves Remark 5.8 and forces the Korteweg claims to be restated for the constrained system.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.3's claim to cover Euler-Korteweg rests on Remark 5.8, where the nonlinear constraint ξ=ρ^ν is declared 'already built into' (5.37)-(5.42) via (5.38) and (5.40). For smooth solutions this reduction is correct: r=ξ/ρ^ν satisfies ∂t r+(q/ρ)·∇r=0, and r(0)=1 yields r≡1 if u=q/ρ is Lipschitz. But Definition 2.14 allows merely continuous v, with ∂t(Hv#L) and HL*(v#L) finite Radon measures; no Lipschitz or Sobolev regularity is imposed on u. For linear transport with continuous non-Lipschitz coefficients, the standard uniqueness theory (DiPerna-Lions) is unavailable, so the implication r(0)=1 ⇒ r≡1 is not justified. The companion sharp formulation is left as an exercise and no uniqueness argument for the reduction is supplied. If the augmented system admits even one continuous weak solution with the same admissible initial data but ξ/ρ^ν≠1, then the dual solutions and Dafermos principle of §5.3 apply to a relaxation, not to (5.33)-(5.35).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an abstract duality framework for evolutionary PDEs of the form ∂_t v = L(F(v)), with a Lowner-convex matrix-valued F, entropy K = 1/2 Tr F, and a linear constraint Av = 0. The framework is applied to the barotropic Euler, quantum Euler, and Euler–Korteweg systems. The main contributions are: a consistency theorem (Theorem 3.2) showing that any strong solution satisfying a positivity condition yields a maximizer of the dual problem and equality of the primal/dual values under an adaptive weight; a Dafermos principle (Theorem 3.5) asserting that no subsolution dissipates total entropy earlier or faster than a strong solution; an existence and no-gap theorem (Theorem 4.1) for the relaxed dual problem under the assumption L(I)=0, proved via Fenchel–Rockafellar duality; and a detailed revisitation of Brenier's shock-free substitute for Burgers' equation. The arguments are largely self-contained. However, the Korteweg application depends on an unproved equivalence between the original system and an augmented system in the low-regularity solution class, and the advertised 'absence of a duality gap' is stronger than what is proved.","tokens_in":25779,"tokens_out":14020,"duration_ms":116151,"significance":"If the Korteweg reduction is rigorously justified, the paper gives a valuable unified treatment of variational dual solutions for three compressible fluid models, including existence of dual maximizers for continuous vacuum-free initial data and a Dafermos principle that avoids Orlicz-space restrictions. The Fenchel–Rockafellar proof is clean and the Burgers section adds useful clarification to Brenier's construction. The main reservation is that the Korteweg application may address a relaxed system rather than the original Euler–Korteweg system; this is a load-bearing gap that must be resolved before the full claims can be accepted.","major_comments":[{"comment":"The reduction of the Euler–Korteweg system (5.33)–(5.35) to the augmented system (5.37)–(5.42) is not justified for the solution class used in the paper. For smooth solutions, r=ξ/ρ^ν satisfies ∂_t r+(q/ρ)·∇r=0, so r(0)=1 gives r≡1 when q/ρ is Lipschitz. However, Definition 2.14 only requires v∈C([0,T]×Ω;O) with ∂_t(Hv#L), HL*(v#L) finite Radon measures; no Lipschitz or Sobolev regularity of u=q/ρ is assumed. DiPerna–Lions uniqueness is unavailable, so r(0)=1 ⇒ r≡1 may fail for continuous weak solutions/subsolutions. Thus the dual maximizers of Corollary 5.9 and the Dafermos principle in §5.3 apply to a relaxation, not necessarily to the Euler–Korteweg system. The sharp formulation is left as an exercise and no uniqueness argument for the reduction is supplied. Please prove the equivalence under the weak/strong assumptions or restrict the Korteweg claims to a class where the reduction is","section":"§5.3, Remark 5.8 and Corollary 5.9"},{"comment":"The abstract and introduction state an unqualified 'absence of a duality gap'. Theorem 4.1 establishes only the restricted equality ~I(v0,T)=~J(v0,T) (relaxed primal vs dual), and the text explicitly notes that equality between I(v0,T) and ~I(v0,T) is not obtained. The abstract and Section 1 should be amended to say 'absence of a duality gap between the relaxed primal and dual problems' or similar. As written, the advertised claim is stronger than proved.","section":"Abstract and §4"}],"minor_comments":[{"comment":"Typo: 'consevativity' should be 'conservativity' in §§5.1–5.3.","section":"§5.1"},{"comment":"The angle-bracket delimiters appear as corrupted glyphs (⣨); the typesetting should be fixed.","section":"Remark 2.17 and Theorem 3.2"},{"comment":"In the proof, there is a stray '∫_{T1}' on its own line in the chain of equalities; this is a typographical error.","section":"§6, Remark 6.2"}],"recommendation":"major_revision","confidential_remarks":"This is a serious contribution and the abstract framework is likely publishable. However, I would not accept the paper before the Korteweg reduction is rigorously justified; the barotropic and QHD parts may stand even if the Korteweg application is removed or weakened. Please also ensure the abstract's duality-gap claim is qualified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things. First, the core machinery is real: the paper extends Brenier's dual variational scheme to entropies like |q|^2/(2ρ)+U(ρ), which do not generate Orlicz spaces, and applies it to barotropic and quantum Euler systems with a Fenchel-Rockafellar existence theorem for dual maximizers and a Dafermos-type selection principle. The proofs of Theorems 3.2, 4.1 and 3.5 are included and look coherent; the adaptive weight in Remark 3.3 is a genuine improvement, and Section 6 on Brenier's shock-free substitute is a useful clarification. The barotropic and QHD sections are careful. Second, the Korteweg section is not at the same standard. The augmented system (5.37)–(5.42) drops the nonlinear constraint ξ=ρ^ν, and Remark 5.8 asserts it is already built in via (5.38) and (5.40). That is only justified for smooth solutions: the ratio r=ξ/ρ^ν formally solves a transport equation, and for merely continuous velocities (the regularity allowed in Definition 2.14) linear transport lacks the uniqueness needed to conclude r≡1 from r(0)=1. The sharp companion formulation is left as an exercise. So the Dafermos principle and dual-solution existence in §5.3 are proved for the augmented system, not for Euler-Korteweg as stated. That is a real, load-bearing gap for that application. Also, the abstract says 'absence of a duality gap' without qualification, while Section 4 only proves the restricted equality ~I=~J; the inequality I>~I is not ruled out. This is an overstatement, but a fixable one. My overall verdict is conditional rather than reject: the abstract framework and the first two applications are solid, and I found no fatal error in the main theorems. The paper deserves a serious referee; I would send it out, asking the referee to insist that the Korteweg reduction either be proved with explicit uniqueness for the transport equation at the stated regularity, or that the claims be scoped to the augmented system. I would cite it for the barotropic/QHD part, and mention the Korteweg caveat.","headline":"A genuinely useful extension of Brenier duality to non-Orlicz fluid entropies, with a coherent core; the Euler-Korteweg application currently rests on an unproven equivalence and the abstract overstates the no-duality-gap result.","tokens_in":26277,"tokens_out":2862,"would_cite":true,"duration_ms":24842,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","37K58","49Q99","76N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Three fluid models—barotropic Euler, quantum Euler, Euler–Korteweg—share one dual variational framework, giving dual solutions, no duality gap, and an entropy-rate rule against early dissipation.","keywords":["dual variational formulation","compressible Euler system","quantum hydrodynamics","Euler–Korteweg system","entropy dissipation principle","finite Radon measures","no duality gap","shock-free substitute"],"falsifier":"Construct smooth initial data for the augmented Euler–Korteweg system (5.37)–(5.42) for which there are two solutions with different evolutions of the ratio ξ/ρ^ν, one preserving ξ = ρ^ν and one not; if the second is a valid subsolution whose total entropy dips below the strong solution's before time T, the entropy-rate principle fails for the original system. Alternatively, check numerically whether the dual maximizer's reconstruction via (3.10) matches the unique entropy solution for barotropic Euler at time T; a mismatch would falsify the conjectured reconstruction property.","tokens_in":25377,"feed_emoji":"🌊","tokens_out":10927,"duration_ms":79403,"temperature":0.7,"pith_summary":"The paper establishes that three seemingly different compressible fluid models—the barotropic Euler system, the quantum Euler system, and the Euler–Korteweg system—are instances of one abstract duality scheme. For any continuous, vacuum-free initial data, the associated dual optimization problem has a maximizer in spaces of finite Radon measures, and the duality gap between the relaxed primal and the dual vanishes. A time-adaptive weighting of the entropy integral makes the scheme consistent over arbitrarily long time intervals, not just small ones. As a selection principle, the paper proves that no subsolution can dissipate the total entropy earlier or faster than a suitably defined strong solution on the strong solution's lifespan. The same abstract results apply to the inviscid Burgers equation, recovering the shock-free substitute from the dual variables.","feed_headline":"One duality framework covers three compressible fluid models","feed_subtitle":"A time-weighted entropy principle says no subsolution can dissipate entropy sooner than a strong solution.","key_machinery":"The central object is the quadruple (L, F, A, K): a closed linear operator L, a matrix-convex function F (convex with respect to the positive semidefinite order), a closed linear constraint operator A, and entropy K = ½Tr F. The sharp transformation v# = ∇K(v) converts the primal system into a dual formulation whose unknown is a pair of Radon measures (E, B) constrained by the distributional relation ⟨∂_t Ψ, B⟩ + ⟨LΨ, E⟩ = 0. Time-adaptive weights h(t) = exp(−γt) allow consistency on large intervals by guaranteeing the nonnegativity condition hI + 2H L*(v#L) ≥ 0. Fenchel–Rockafellar duality is the tool showing existence of maximizers and vanishing duality gap when L(I) = 0.","core_discovery":"An abstract system ∂_t v = L(F(v)) with constraint Av = 0 and entropy K = ½Tr F admits a dual problem. If a strong solution exists with a time-adapted weight making hI + 2HL*(v#L) ≥ 0, the dual value equals the primal entropy integral—no gap—and a maximizer is explicit via v# = ∇K(v). Under L(I) = 0, a maximizer of the relaxed dual exists for continuous vacuum-free data. Consistency yields an entropy-rate principle: no subsolution can have total entropy ≤ the strong solution's up to t0 and strictly below on (t0, t1). The framework is verified for barotropic Euler, quantum Euler, and Euler–Korteweg, the latter via an augmented set of variables with a linear constraint linking the gradient of","pith_inferences":["The Euler–Korteweg embedding deliberately drops the nonlinear constraint ξ = ρ^ν; if the augmented system admits trajectories not equivalent to the original Korteweg dynamics, the proved dual solutions and entropy-rate principle would apply to a relaxed system rather than to the stated model.","The existence result requires L(I) = 0 and continuous, vacuum-free data; extending it to data with vacuum or discontinuities is left as an open problem in the paper, so the practical reach of the theorem is narrower than the title might suggest.","The entropy-rate principle compares subsolutions with strong solutions; whether it extends to comparisons among weak solutions is not addressed, and known counterexamples for the barotropic Euler system suggest such an extension would fail.","The Burgers reconstruction suggests a general strategy to extract 'generalized' solutions at the terminal time from the dual variables; testing that reconstruction on shock-forming fluid examples would indicate whether it works beyond the scalar case."],"forward_implications":["Variational dual solutions exist for all three fluid models with continuous vacuum-free initial data, even though global weak solutions may not be known.","The entropy-rate principle gives a selection criterion that rules out subsolutions dissipating entropy faster than a strong solution, complementing classical shock-admissibility conditions.","The time-adaptive weighting extends duality consistency from small local intervals to arbitrary finite horizons, making the scheme usable for numerical and analytical purposes over long times.","For the inviscid Burgers equation, the dual variable recovers the shock-free substitute and remains compatible with entropy solutions containing shocks, closing a gap in earlier treatments.","Because the framework treats many models simultaneously, results proven for one of them—such as solvability of the dual problem—transfer automatically to the others."],"fun_headline_variants":["One duality framework tames three compressible fluid systems","Entropy-rate principle unifies Euler, quantum, Korteweg equations","Dual variational principle covers barotropic, quantum, Korteweg fluids","Time-adaptive weights close duality gap for compressible fluids","Dafermos principle extended to three compressible fluid models"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The augmented Korteweg system with variables (q, G, ξ, ρ) and only the linear constraint ∇ξ − G = 0 is assumed to faithfully represent the Euler–Korteweg dynamics even though the nonlinear relation ξ = ρ^ν is deliberately not enforced; if the augmented system allows trajectories that do not come from the original Korteweg flow, the duality and entropy-rate conclusions would apply to a relaxed model, not to the stated one.","fun_headline_variants_meta":{"raw":{"variants":["One duality framework tames three compressible fluid systems","Entropy-rate principle unifies Euler, quantum, Korteweg equations","Dual variational principle covers barotropic, quantum, Korteweg fluids","Time-adaptive weights close duality gap for compressible fluids","Dafermos principle extended to three compressible fluid models"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000138,"raw_usage":{"total_tokens":976,"prompt_tokens":717,"completion_tokens":259,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":185}},"tokens_in":461,"tokens_out":259,"duration_ms":23629,"temperature":1.0,"reasoning_tokens":185,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T21:50:22.799592+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct smooth initial data for the augmented Euler–Korteweg system (5.37)–(5.42) for which there are two solutions with different evolutions of the ratio ξ/ρ^ν, one preserving ξ = ρ^ν and one not; if the second is a valid subsolution whose total entropy dips below the strong solution's before time T, the entropy-rate principle fails for the original system. Alternatively, check numerically whether the dual maximizer's reconstruction via (3.10) matches the unique entropy solution for barotropic Euler at time T; a mismatch would falsify the conjectured reconstruction property.","supporting_citations":[],"review_version":1}