{"id":"d09d389f-3a30-4195-a7dd-8d51e4e5ad80","arxiv_id":"2412.08493","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Bounded incompressible Euler solutions with bilateral velocity and pressure traces have zero Duchon-Robert dissipation on every codimension-1 rectifiable set, yielding energy conservation in a special bounded deformation class.","lead":"This paper proves that weak solutions of the incompressible Euler equations cannot dissipate energy on thin, sheet-like singular sets when both velocity and pressure have well-defined traces on those sets. It also gives a unified explanation of when smooth approximations force energy conservation in critical Onsager spaces.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 1.4's advertised 'only longitudinal increment' criterion silently assumes pressure bilateral traces; the proof of Theorem 1.3 genuinely needs them, and they are not implied by SBD_{x,t}.","rationale":"The main trace argument in Section 4 is internally consistent: equations (4.2)–(4.5) are algebraically sound, and the case splits Σ1, Σ2, Σ3 cover all possibilities. The cited external results [17, 18] are not independently verified here, but they are not the weakest link in the paper's own assumptions. The real soft spot is the pressure trace hypothesis: it is genuinely used in the proof, it is not a consequence of the SBD_{x,t} regularity of the velocity, and it is understated in the abstract and Remark 1.6, which advertise a criterion based only on longitudinal increments. The dimensional mismatch in Definition 2.6 when applied to space-time is minor and likely notational, but it reinforces the need for a precise statement. Since the reader's CONDITIONAL verdict already flags the pressure trace assumption as the least guaranteed input, this stress-test does not move the verdict; it sharpens the reason why the corollary's advertised novelty should be qualified.","tokens_in":18407,"tokens_out":10883,"duration_ms":116921,"concrete_test":"Analyze the pressure in a model SBD_{x,t} vortex-sheet solution: choose u with a tangential jump across a Lipschitz space-time hypersurface, solve −Δp = div div(u⊗u) with the pressure determined by the Euler equations, and check whether p has bilateral traces in the sense of Definition 2.6. If p lacks traces, the pressure assumption in Corollary 1.4 is essential and cannot be removed; if p always has traces, the hidden assumption is automatically satisfied and the 'only longitudinal' phrasing is merely imprecise.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing condition is the bilateral trace assumption on the pressure in Theorem 1.3 (Definition 2.6). The proof computes normal traces of V = (u(|u|^2/2+p), |u|^2/2) and W = (u⊗u+p Id, u); the chain from (4.3) to (4.5) needs p± on Σ to conclude p+ = p− on {nx≠0} and then either velocity continuity or a zero factor in (4.2). Nothing in SBD_{x,t} or in the Euler equations supplies these pressure traces: p is only L∞, and the pressure equation −Δp = div div(u⊗u) does not, from L∞∩SBD data, force one-sided Lebesgue limits on codimension-1 sets. Hence Corollary 1.4 is not a criterion in which 'only an assumption on the longitudinal increment is made', as Remark 1.6 and the abstract state: the pressure-trace hypothesis is hidden and essential. A smaller notational ambiguity is that Definition 2.6 is written in R^d with H^{d−1}-negligible sets, while the theorem applies it in space-time R^{d+1} with H^d-rectifiable hypersurfaces; the intended rescaling is clear but should be stated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies energy dissipation for weak solutions of the incompressible Euler equations. The first part proves a general principle (Theorem 1.2): if the Duchon–Robert or Constantin–E–Titi dissipation commutators are viewed as trilinear operators that are bounded on a product of critical spaces and vanish when one entry is smooth, then the approximating dissipation converges to zero in L1 whenever smooth functions are dense in one of the spaces. This recovers several known Onsager-critical energy conservation criteria. The second part proves Theorem 1.3: for bounded weak solutions (u,p) with bilateral traces on Lipschitz space-time hypersurfaces and with D a Radon measure, the dissipation measure |D| vanishes on every countably H^d-rectifiable set. As a corollary, for u in SBD_{x,t} and p with such traces, D is identically zero. The paper argues that this excludes codimension-one dissipative structures and offers a new energy conservation criterion based only on longitudinal increments.","tokens_in":18642,"tokens_out":20148,"duration_ms":204685,"significance":"The main novel result, Theorem 1.3, is significant if correct: it shows that under trace assumptions, the anomalous dissipation of bounded incompressible Euler solutions cannot concentrate on any rectifiable codimension-one space-time set, extending Shvydkoy's vortex-sheet mechanism to very rough and densely distributed singular sets. The proof is transparent and the trace algebra in Section 4 is internally consistent. The general density principle in Theorem 1.2 is clean and useful for unifying existing Onsager-critical results, and Proposition 4.1, which controls D by the singular part of the symmetric gradient, is a valuable tool. The paper is honest about several limitations (e.g., Remark 4.3) and does not rely on fitted parameters. However, the advertised corollary's claim that only a longitudinal increment assumption is needed is not supported: the pressure-trace assumption is hidden and essential, which materially weakens the advertised novelty of Corollary 1.4.","major_comments":[{"comment":"The abstract and Remark 1.6 state that Corollary 1.4 provides the first energy conservation criterion in an Onsager critical class in which only an assumption on the longitudinal increment is made. This is not accurate. Corollary 1.4 assumes, in addition to u in SBD_{x,t}, that p has bilateral traces on Lipschitz space-time hypersurfaces in the sense of Definition 2.6. This pressure-trace condition is not implied by u in SBD_{x,t} nor by the Euler equations, and it is load-bearing: the proof of Theorem 1.3 needs the traces of both u and p to compute the normal traces of W=(u⊗u+pId,u) and to derive p^+=p^- on {n_x≠0} via (4.5). Without p-traces, the chain (4.3)–(4.5) cannot be started and the conclusion can fail in principle, as the paper itself notes for Cantor-type singular parts in Remark 4.3. The wording of Remark 1.6 and the abstract should be revised to list the pressure-trace hypothesis explicitly, or the claim should be weakened accordingly.","section":"Abstract, Remark 1.6, Corollary 1.4, and Section 4 (equations (4.3)–(4.5))"},{"comment":"Definition 2.6 is written for domains in R^d, using H^{d-1}-negligible sets and half-balls in R^d. Theorem 1.3 applies this definition in space-time R^{d+1}, where the relevant sets are H^d-rectifiable and the averaging is on d-dimensional half-balls. The intended rescaling is clear, but it is not stated. Since the hypothesis 'bilateral traces on Lipschitz space-time hypersurfaces in the sense of Definition 2.6' is formally undefined in the dimension used by the main theorem, the authors should either restate the definition in R^{d+1} or add an explicit remark that all definitions adapt by replacing d with d+1 and H^{d-1} with H^d.","section":"Definition 2.6 and Theorem 1.3"}],"minor_comments":[{"comment":"There are several typos: 'underling PDE' should be 'underlying PDE'; 'posses traces' should be 'possess traces'; the title contains an extra space ('DISSIP A TION').","section":"Abstract and title"},{"comment":"The displayed bound in (2.4) appears to contain a spurious factor ε on the right-hand side. For u in BD, the expected estimate is |ε^{-1} y·δε y u|_{L1(A)} ≤ |y|^2 |Eu|((A)_ε), with no ε factor; as written, the bound would vanish as ε→0, contradicting the characterization of BD in Lemma 2.11. Please check and correct the display.","section":"Equation (2.4)"},{"comment":"The ± signs in equations (2.1) and (2.2) are not explained and seem inconsistent with the proof, where the trace of g(V) is shown to be g(V^{Σ±}) without a sign. Please clarify the sign convention for inner/outer traces in Definition 2.6 and in the statement of Corollary 2.9.","section":"Corollary 2.9"},{"comment":"The passage from weak* convergence of (Esu)_ℓ to the bound limsup ∫_{Spt φ}|(Esu)_ℓ| ≤ |Esu|(Spt φ) is terse. It is a standard estimate for mollifications of measures, but it would help readers if the authors indicated that the inequality follows from the total-variation bound for the mollified measure rather than from weak* convergence alone.","section":"Section 4, proof of Proposition 4.1"},{"comment":"The phrase 'for p ∈ [1,2) the assumption stays only at the longitudinal level' is not fully precise, because the pressure-trace assumption remains present in the corollary. Once the pressure-trace issue is addressed, this sentence should be reworded.","section":"Introduction, Remark 1.6"}],"recommendation":"major_revision","confidential_remarks":"The mathematical core of the paper appears sound: Theorem 1.3's trace algebra is internally consistent and the proof of Proposition 4.1 is plausible. The main problem is the overstatement of Corollary 1.4's novelty in the abstract and Remark 1.6; the hidden pressure-trace assumption is essential and should be made prominent. I do not see a fatal mathematical error that would require rejection, but the paper's advertised contribution needs to be corrected before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: Theorem 1.3 is the real content, and it holds up. For L^∞ weak solutions with bilateral traces of u and p on Lipschitz space-time hypersurfaces, the Duchon–Robert measure D gives zero mass to every countably H^d-rectifiable set. The proof is a very clean trace computation: incompressibility forces equality of normal traces of u, the momentum equation forces the pressure trace to match, and then the velocity trace must match wherever the normal component is nonzero, killing the flux jump. That generalizes Shvydkoy's vortex-sheet argument to rougher and more densely distributed singular sets. The paper is honest that Theorem 1.2 is a unifying observation rather than a new mechanism; as a bundling of existing conservation proofs it is useful but not deep. Corollary 1.4, giving conservation for SBD_{x,t} solutions, is genuinely new as far as I know, and Proposition 4.1's bound |D| ≤ C|E^s u| is a nice tool.\n\nThe soft spots are mostly about packaging, not mathematics. The abstract and Remark 1.6 say Corollary 1.4 is the first energy conservation criterion where only an assumption on the longitudinal increment is made. That overstates it: the corollary also assumes p has bilateral traces on Lipschitz space-time hypersurfaces, and that assumption is essential to Theorem 1.3. It is not implied by SBD_{x,t}, and this is not a trivial technicality. If you only impose the longitudinal increment condition on u, the trace machinery has no pressure to work with. So the headline claim should be softened. It is a pedantic point, but it matters in a literature where people count hypotheses.\n\nA smaller issue: Definition 2.6 is written in R^d with H^{d-1}-negligible sets, but Theorem 1.3 applies it in R^{d+1} with H^d-rectifiable hypersurfaces. The intended rescaling is obvious but should be stated.\n\nThe papers cited from the same group, [17] and [18], are used as black boxes for D ≪ H^d and trace machinery. Those are published results, so this is acceptable, but a reader who does not know them will have to take a lot on faith. No fitted parameters, no code, all proof.\n\nBottom line: this deserves a serious referee. I would send it to a good math.AP journal. The referee will want the authors to fix the overstatement in the abstract and explicitly flag the pressure-trace hypothesis in Corollary 1.4. The core theorem looks sound to me.\n\nRecommendation: send to peer review, with attention to the packaging issue.","headline":"Shvydkoy's no-dissipation-on-sheets argument is cleanly extended to arbitrary H^d-rectifiable space-time sets, and the SBD corollary is new, but the abstract oversells it by hiding the pressure-trace hypothesis.","tokens_in":19214,"tokens_out":3829,"would_cite":true,"duration_ms":37077,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35D30","26A45","28A75"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bounded Euler solutions cannot lose energy on any rectifiable codimension-one surface when velocity and pressure have bilateral traces.","keywords":["incompressible Euler equations","dissipation measure","Onsager critical regularity","energy conservation","normal traces","special bounded deformation","rectifiable sets","vortex sheets"],"falsifier":"Take a weak solution that is piecewise constant across a plane, with a velocity jump tangent to the plane and a pressure jump chosen so the space-time momentum balance holds, and compute $D$ from (1.2)–(1.3) directly on the plane. The theorem forces that value to be zero; a nonzero value for a balanced jump configuration would refute it.","tokens_in":18189,"feed_emoji":"🌊","tokens_out":16011,"duration_ms":161779,"temperature":0.7,"pith_summary":"The paper establishes a geometric constraint on the dissipation of ideal incompressible fluids: if a bounded weak solution and its pressure admit one-sided limits on a space-time surface, then no energy can be lost on that surface, wherever such surfaces accumulate. The proof traces through incompressibility and the momentum equation to show that nothing jumps across any Lipschitz hypersurface—normal velocity cannot jump, pressure cannot jump, and tangential velocity cannot jump where the normal velocity is nonzero—so the energy-flux defect $D$ has zero mass on every countably $\\mathcal H^d$-rectifiable set. A second, PDE-free theorem explains many known Onsager-critical energy-conservation results at once: if the approximate energy flux is a bounded trilinear operator on critical spaces and vanishes on smooth entries, then density of smooth functions in one critical space forces $D\\equiv 0$. A corollary supplies the first critical-class energy-conservation criterion for bounded solutions of special bounded deformation, where only longitudinal increments are controlled.","feed_headline":"Dissipation of ideal fluids vanishes on codimension-1 sets","feed_subtitle":"Bounded Euler solutions cannot lose energy on rectifiable codimension-one surfaces, ruling out shock-like dissipation.","key_machinery":"The central objects are the dissipation measure $D=\\lim_{\\ell\\to 0}D^\\ell_{DR}$ from (1.2)–(1.3), and the bilateral normal-trace machinery for measure-divergence vector fields. A vector field $V$ whose divergence is a measure has a distributional normal trace on an oriented Lipschitz hypersurface $\\Sigma$, and $|\\operatorname{div} V|(\\Sigma)=\\int_\\Sigma |\\operatorname{Tr}_n(V,\\Sigma_+)-\\operatorname{Tr}_n(V,\\Sigma_-)|\\,d\\mathcal H^{d-1}$. Stronger bilateral traces in the sense of Definition 2.6 let one pass traces through nonlinear functions via the composition formula, so the incompressibility of $U=(u,1)$ yields equality of normal traces, the momentum equation yields equality of pressure traces, and the combined identities force the velocity jump to vanish wherever the normal component does not vanish; this kills the energy-flux jump on each Lipschitz hypersurface, while the $\\mathcal H^d$-negligible part of a rectifiable set is killed by the support theorem $D\\ll\\mathcal H^d$. For the critical-class theorem, the machinery is a multilinear approximation lemma: the flux $D^\\ell$ is trilinear, uniformly bounded in critical norms, and vanishes strongly when one entry is smooth; density of smooth functions in one entry transfers vanishing to the whole space.","core_discovery":"The paper proves Theorem 1.3: for $(u,p)\\in L^\\infty_{x,t}$ solving the incompressible Euler equations with forcing $f\\in L^1_{x,t}$, if the dissipation distribution $D$ is a Radon measure and both $u$ and $p$ have bilateral traces on Lipschitz space-time hypersurfaces, then $|D|(\\Sigma)=0$ for every countably $\\mathcal H^d$-rectifiable set $\\Sigma\\subset\\Omega\\times(0,T)$. The mechanism is a chain of trace identities: incompressibility forces the normal component of $u$ to agree from both sides of a hypersurface, the momentum equation then forces the pressure trace to agree, and the momentum equation again forces the tangential part of $u$ to agree wherever the normal component is nonzero; the jump of the energy flux across the surface therefore vanishes. The paper also proves a general conservation principle (Theorem 1.2): whenever the approximate dissipation is a uniformly bounded multilinear operator on critical spaces and vanishes when one entry is smooth, smooth functions being dense in one critical space forces energy conservation. This yields Corollary 1.4, energy conservation for bounded weak solutions in the special bounded deformation class $SBD_{x,t}$ with pressure traces, a critical-class criterion phrased only through longitudinal increments.","pith_inferences":["If Theorem 1.3 is right, then sheet-like energy dissipation seen in numerical simulations of incompressible turbulence is an artefact of filtering or a sign of compressibility; a testable diagnostic is to measure normal-velocity jumps and pressure jumps across thin vortical layers.","A natural next step is to drop or weaken the pressure-trace assumption, since pressure is only $L^\\infty$ and its traces are not forced by the equations; if pressure traces fail on a Cantor-type set, dissipation might concentrate there, making the rectifiable/non-rectifiable distinction a measure of exactly where pressure regularity fails.","Because Theorem 1.2 is PDE-free, the same density principle plausibly transfers to any system whose energy flux is trilinear and critically bounded, such as compressible or density-dependent Euler, giving energy conservation in every dense-smoothness critical space.","The trace-chain argument suggests a general rule for constrained systems: any conserved current whose divergence is a measure and whose normal trace is forced continuous by the constraint cannot support a codimension-one energy defect."],"forward_implications":["If Theorem 1.3 holds, the support of the dissipation measure $D$ for a bounded solution with bilateral traces must be non-rectifiable: every rectifiable codimension-one set, no matter how densely distributed, carries zero $|D|$-mass.","Corollary 1.4 yields energy conservation for bounded weak solutions in $SBD_{x,t}$ with pressure traces, a critical class where only the longitudinal structure function is controlled and the energy flux does not vanish for kinematic reasons.","Theorem 1.2 shows that any Onsager-critical space in which smooth functions are dense automatically gives energy conservation, so such critical spaces behave like subcritical ones despite having minimal regularity.","The result sharpens the contrast with compressible Euler, where codimension-one shock surfaces carry dissipation: incompressibility forbids that geometry for the energy defect.","The proof generalizes the vortex-sheet mechanism and applies to rougher singular sets, not only to smoothly evolving sheets."],"supporting_citations":[{"why":"Defines the dissipation measure $D$ and the approximating fluxes $D^\\ell_{DR}$ and $D^\\ell_{CET}$ used throughout the paper.","marker":"[22]"},{"why":"Supplies the support theorem $D\\ll\\mathcal H^d$ used to dispose of the $\\mathcal H^d$-negligible part of a rectifiable set.","marker":"[17]"},{"why":"Proves energy conservation across regularly evolving vortex sheets, the mechanism that Theorem 1.3 generalizes and makes more robust.","marker":"[36]"},{"why":"Provides the distributional normal trace theory for measure-divergence vector fields and the trace-jump formula for $|\\operatorname{div} V|(\\Sigma)$.","marker":"[3]"},{"why":"Gives the inner/outer Lebesgue normal trace notion and its identification with distributional traces used in Theorem 1.3.","marker":"[14]"},{"why":"Supplies the bilateral-trace and composition machinery used for Lemma 2.8 and Corollary 2.9 in the $BV\\cap L^\\infty$ setting.","marker":"[18]"},{"why":"Supplies the decomposition of symmetric gradients into jump and Cantor parts and the trace formula for bounded-deformation fields used in Corollary 1.4.","marker":"[2]"},{"why":"Provides the critical $B^{1/3}_{3,VMO}$ flux estimates that make the density argument of Theorem 1.2 apply to the standard Onsager-critical spaces.","marker":"[5]"}],"fun_headline_variants":["No energy loss on codimension-1 sets in ideal fluids","Bounded Euler solutions can't dissipate on rectifiable hypersurfaces","Dissipation vanishes on singular sets for incompressible Euler","Incompressibility prevents dissipation on codimension-1 surfaces","Energy conservation from longitudinal increments alone"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the pressure, which is only bounded and is not regularized by the equations, has bilateral traces (one-sided Lebesgue limits) on every Lipschitz space-time hypersurface; nothing in the Euler equations guarantees this.","fun_headline_variants_meta":{"raw":{"variants":["No energy loss on codimension-1 sets in ideal fluids","Bounded Euler solutions can't dissipate on rectifiable hypersurfaces","Dissipation vanishes on singular sets for incompressible Euler","Incompressibility prevents dissipation on codimension-1 surfaces","Energy conservation from longitudinal increments alone"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000214,"raw_usage":{"total_tokens":1469,"prompt_tokens":1036,"completion_tokens":433,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":652,"completion_tokens_details":{"reasoning_tokens":367}},"tokens_in":652,"tokens_out":433,"duration_ms":4834,"temperature":1.0,"reasoning_tokens":367,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T17:45:46.269084+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a weak solution that is piecewise constant across a plane, with a velocity jump tangent to the plane and a pressure jump chosen so the space-time momentum balance holds, and compute $D$ from (1.2)–(1.3) directly on the plane. The theorem forces that value to be zero; a nonzero value for a balanced jump configuration would refute it.","supporting_citations":[{"cited_title":"De Rosa and M","cited_arxiv_id":null,"evidence_quote":"Supplies the bilateral-trace and composition machinery used for Lemma 2.8 and Corollary 2.9 in the $BV\\cap L^\\infty$ setting."},{"cited_title":"Bardos, P","cited_arxiv_id":null,"evidence_quote":"Provides the critical $B^{1/3}_{3,VMO}$ flux estimates that make the density argument of Theorem 1.2 apply to the standard Onsager-critical spaces."}],"review_version":1}