{"id":"3d7037c3-4aa0-47c6-afc5-6cdf6db72960","arxiv_id":"1909.02550","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 3D compressible Euler flow with vorticity and entropy, the time of classical existence is controlled by the H^{2+} norm of the wave-part and Holder/Sobolev norms of a smoother transport-part.","lead":"This paper proves an a priori lifespan bound for 3D compressible Euler solutions with vorticity and entropy, requiring only H^{2+} regularity on the sound-wave part of the data. It is the first low-regularity result of its kind for a quasilinear system with multiple characteristic speeds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Missing proof of Theorem 7.2 is load-bearing: the bootstrap closes only if the deferred frequency-localized Strichartz estimate holds for the rescaled Euler system with vorticity and entropy, and the paper itself notes that this proof is deferred to [54]/[56] and that full local well-posedness is…","rationale":"The reader's weakest-assumption analysis correctly identifies Theorem 7.2 as the central unsupported ingredient. The proof of Theorem 1.2 is explicitly conditional on this theorem, and the manuscript defers its proof to a companion paper and to [56] rather than presenting it. The concern is not about disagreement with the community's expectations; it is about internal completeness: the published text states in §11 and Remark 1.2 that key steps are omitted. The new-in-this-paper aspects, namely coupling with vorticity and entropy and the H^{2+} regularity of the wave part, are precisely the places where the imported single-speed quasilinear-wave arguments could fail. The proposed check, writing out the compatibility of [56]'s conformal-energy argument with equations (157)-(160) and the null-flux controls of Prop. 6.1, would settle whether the deferral is legitimate or whether a new geometric ingredient is needed. A second, smaller gap--the absence of a full existence/uniqueness proof--is also stated in Remark 1.2, but it is secondary to the missing Strichartz estimate, since even the a priori estimate that controls the lifespan depends on Theorem 7.2. I therefore keep the reader's CONDITIONAL verdict; no adjustment is needed beyond clearly requiring the deferred proof or an exact theorem reference with all hypotheses verified.","tokens_in":68905,"tokens_out":5851,"duration_ms":69158,"concrete_test":"Resolve the deferral by supplying a complete proof of Theorem 7.2 for the rescaled Euler system (9.1)-(9.2). Starting from Prop. 10.1 and the reductions in §11, carry out the weighted conformal-energy estimate (Prop. 11.1) and the dispersive-decay step for the coupled wave-transport system, tracking the λ-dependent source terms λL(Ψ)[C,D] in (157) and using the null-flux bounds (103). At each step, verify which estimate in [56] is being adapted and that its hypotheses are satisfied by the acoustic metric at H^N regularity with vorticity and entropy; if any step requires a single wave speed or higher metric regularity, the adaptation fails. A minimal consistency check: in the irrotational isentropic limit curl v = 0 and s = constant, Theorem 7.2 must reduce exactly to the corresponding frequency-localized Strichartz estimate of [56].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.2 is gated on Theorem 7.2, the frequency-localized Strichartz estimate for the covariant linear wave equation □g(Ψ)ϕ = 0. Section 11 does not prove Theorem 7.2; it announces that the argument is 'essentially the same' as in [56] and defers to [54]. That deferral is the linchpin of the bootstrap: without (110), the improved Strichartz bound (106) in Theorem 7.1 fails, and hence the L1t L∞x estimate (1) that controls the lifespan is unsupported. The setting differs from [56] in two ways that the manuscript itself highlights: the acoustic metric coefficients gαβ(Ψ) are only at H^N regularity with N ≤ 5/2, and the system contains transport-div-curl variables C,D that enter the acoustic geometry through Raychaudhuri-type source terms, e.g., equation (27). The deferred theorem must hold for this coupled, multiple-speed, lower-regularity problem, not just for a single quasilinear wave equation. If the imported result in [54] or [56] secretly requires stronger metric regularity, a single wave speed, or additional structure on the transport part, then Theorem 7.2 is not available and the bootstrap does not close. Remark 1.2 compounds the gap: the text explicitly states that only a priori estimates are proved and that the remaining aspects of a full local well-posedness proof are anticipated but not provided. Thus Theorem 1.2, as a statement about the time of classical existence for solutions arising from the stated data, is not fully established even modulo Theorem 7.2.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a framework for proving low-regularity control of the classical existence time for 3D compressible Euler with vorticity and entropy. The main theorem (Theorem 1.2) states that for smooth data satisfying H^N wave-part bounds (2<N≤5/2), H^{N+1} entropy and H^N vorticity bounds, and C^{0,α} bounds on the modified variables (C,D), the time of existence depends only on the data norms and a compact state-space set, with propagation of Sobolev and Hölder regularity. The proof is structured as a bootstrap: energy and elliptic estimates along constant-time slices (Sections 4-5), null-hypersurface estimates (Section 6), Strichartz estimates for the wave part (Theorem 7.1, conditional on frequency-localized estimate Theorem 7.2), and Schauder-transport estimates (Section 8). Sections 9-10 construct the acoustic geometry and estimate the eikonal quantities; Section 11 summarizes reductions of Theorem 7.2, deferring the main proof to references [54] and [56]. The paper explicitly states (Remark 1.2) that only a priori estimates are established and full local well-posedness is not provided.","tokens_in":69215,"tokens_out":7078,"duration_ms":71970,"significance":"If completed, the result would be a significant advance: it would lower the regularity threshold for the wave part of compressible Euler with vorticity and entropy by half a derivative relative to classical local well-posedness, combining geometric null-frame techniques, Strichartz estimates, and Schauder estimates for genuinely multi-characteristic-speed quasilinear systems. The paper contains substantial and careful a priori estimates, including the null-hypersurface control of the modified variables (Prop. 6.1), the acoustic-geometry estimates (Prop. 10.1), and the Schauder estimates for transport-div-curl systems (Lemma 8.2, Theorem 8.1), with parameters tracked explicitly. These components are likely to be valuable beyond the present application. However, the advertised bootstrap is not closed within the manuscript: the proof of the key frequency-localized Strichartz estimate (Theorem 7.2) is deferred, and the main theorem is, by the authors' own statement, an a priori estimate result. The significance is therefore conditional on completing or correctly importing the missing ingredient.","major_comments":[{"comment":"The frequency-localized Strichartz estimate Theorem 7.2 is the load-bearing ingredient of the bootstrap: Theorem 7.1, and hence the a priori estimate (1) and Theorem 1.2, depend on it. Section 11 does not prove Theorem 7.2; it defers to [54] and describes the argument as 'essentially the same' as in [56]. The setting here differs from the single-quasilinear-wave setting of [56] in ways the paper itself emphasizes: the acoustic metric coefficients have only H^N regularity with N≤5/2, and the vorticity/entropy variables enter the geometry through source terms such as (27) and (228a). A statement that the imported theorem applies to this coupled multiple-speed system, with a proof or a precise citation of a published proof, is required for the bootstrap to close. As written, Theorem 1.2 is not established.","section":"§7.3, Theorem 7.2/eq. (110); §11"},{"comment":"Theorem 1.2 asserts that Hölder regularity is propagated by the flow, but footnote 10 states that the Hölder exponent that is actually controlled may be smaller than the α appearing in the data assumption. The theorem should be restated with the propagated exponent, or the C^{0,α} propagation should be proved; otherwise the statement is stronger than the demonstrated estimates.","section":"Theorem 1.2 and footnote 10"},{"comment":"The paper proves a priori estimates for smooth solutions, but Theorem 1.2 is titled and stated as a control of the time of classical existence. Remark 1.2 explicitly says that the remaining aspects of a full local well-posedness proof (existence and uniqueness) are anticipated but not provided. If the contribution is intended as an a priori-estimate paper, the theorem should be reformulated accordingly; if the full local well-posedness statement is intended, the approximation and uniqueness argument must be included or the claim explicitly weakened.","section":"§1.2, Remark 1.2, and equation (1)"}],"minor_comments":[{"comment":"The notation H^{2^+} in the abstract and H^{2+} in the introduction should be unified and defined precisely.","section":"Abstract / §1.2"},{"comment":"In the discussion of the L∞ norm, the phrase 'the L∞x norm norm on the LHS' appears to contain a typo.","section":"§1.8"},{"comment":"The line 'RHS (96) ≲ RHS (95)' is confusing because (95) is an inequality; the intended comparison is with the right-hand side of (95).","section":"§5.3"},{"comment":"The summary of reductions would benefit from a precise list of the equations and estimates imported from [54] and [56], since the local reader does not have the details of those papers.","section":"§11"}],"recommendation":"major_revision","confidential_remarks":"The role of [54] in the proof of Theorem 7.2 should be verified; the paper should state clearly whether [54] is published or available, and whether the imported estimate covers the exact regularity and multiple-speed structure needed here. The paper's heavy reliance on the authors' own prior work [45,56] is natural, but it should not substitute for a self-contained proof of the central estimate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line first: this is a real advance, and you should send it to a serious referee, but the paper as submitted is not self-contained. The main theorem controls the classical existence time for 3D compressible Euler with vorticity and entropy at H^{2+} regularity for the wave-part, which is the first multi-speed result of this kind. The new ingredients matter: a wave-transport split that isolates modified variables C and D, acoustic geometry estimates where vorticity and entropy enter Ricci curvature and Raychaudhuri source terms, and Schauder estimates for transport-div-curl systems. The first half of the proof (Sects. 2-8) is detailed and credible; I cannot find a manufactured flaw there.\n\nThe soft spot is exactly where the reader puts it. The bootstrap closes only through Theorem 7.2, the frequency-localized Strichartz estimate for □g φ = 0 at the rescaled level. That theorem is not proved here. Section 11 defers to [54] and says the argument is essentially the same as in [56]. That deferral is load-bearing: the improved Strichartz bound, then the L1_t L∞_x estimate, then Theorem 1.2 all hang on it. The setting differs from [56] in real ways—the acoustical metric is only H^N with N ≤ 5/2, and C and D enter the acoustic geometry through modified connection coefficients—so 'essentially the same' needs to be checked line-by-line. Remark 1.2 compounds this: the authors state clearly that they only prove a priori estimates and that the remaining local-well-posedness steps are anticipated, not supplied. So Theorem 1.2 as a full existence statement is not established even assuming Theorem 7.2.\n\nI want to be fair about both issues. They are not hidden. The paper is transparent that the Strichartz proof will appear elsewhere and that LWP is not fully addressed. In this subfield, deferring a long technical estimate to a companion paper is common and can be acceptable, but only if the companion actually exists and the imported hypotheses match. The referees need to verify that [54] covers a metric with H^N regularity and transport-div-curl sources, not merely the single-wave case. The self-citations to [45] and [56] are not a problem; those papers supply the formulation and the framework, and the claims made about them are specific.\n\nWho is this for? Researchers working on low-regularity quasilinear systems, shock formation, or geometric wave-transport methods. They should read it; it will shape the next round of results. For now the correct verdict is conditional: the main line is believable, the machinery is substantial, but the proof as written is a paper plus a promised companion, not a completed proof. I would send it to peer review, with instructions to obtain [54] and to check the transfer of Theorem 7.2 carefully.","headline":"Real advance in low-regularity 3D Euler with vorticity and entropy, but the proof as submitted is not self-contained: the key Strichartz estimate is deferred and full local well-posedness is not proved.","tokens_in":69805,"tokens_out":2021,"would_cite":true,"duration_ms":22127,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35Q35","35L10","35L67"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that classical solutions to 3D compressible Euler flow with vorticity and entropy exist for a time controlled by the $H^{2+}$ norm of the sound-wave part of the data, one half-derivative below the standard threshold, and…","keywords":["compressible Euler","low regularity","vorticity","entropy","Strichartz estimates","acoustic geometry","eikonal equation","shock formation"],"falsifier":"A reader could try to construct a smooth solution to the 3D compressible Euler equations with nonzero vorticity and entropy whose initial data satisfy the bounds of Theorem 1.2 but for which the time of classical existence is strictly smaller than any function of the stated norms and compact set, or for which the solution loses the propagated Hölder regularity before that time. Alternatively, testing the imported frequency-localized Strichartz estimate in numerical experiments for rough data with vorticity could reveal a loss of dispersion that would invalidate the bootstrap.","tokens_in":68664,"feed_emoji":"🌊","tokens_out":2244,"duration_ms":26678,"temperature":0.7,"pith_summary":"The paper proves a low-regularity existence theorem for the 3D compressible Euler equations with nontrivial vorticity and entropy. It shows that the time of classical existence can be controlled by the $H^{2+}$ Sobolev norm of the sound-wave part of the initial data together with extra Sobolev and Hölder regularity of the vorticity and entropy (the transport part). This lowers the required regularity of the wave part by half a derivative compared to classical local well-posedness, and the paper shows this is the best possible in the Sobolev scale: merely $H^2$ wave data can lead to immediate shock formation. The proof works by coupling a geometric wave-transport formulation, Strichartz estimates for sound waves, and Schauder estimates for the transport-div-curl part, and it is the first such result for a quasilinear system with multiple characteristic speeds.","feed_headline":"One-half derivative lower: Euler waves survive with vorticity at H^2+","feed_subtitle":"Classical existence time depends only on the H^2+ wave data plus extra transport regularity, and H^2 alone fails.","key_machinery":"The central object is the geometric wave-transport formulation of the compressible Euler equations, which decomposes the solution into a wave part satisfying covariant wave equations for the acoustical metric $g(\\rho,v,s)$ and a transport-div-curl part for the specific vorticity $\\Omega=\\mathrm{curl}\\,v/e^{\\rho}$ and the entropy gradient $S=\\partial s$. The argument carries through a bootstrap that combines frequency-localized energy estimates, Strichartz estimates for the wave part, and Schauder estimates for the transport part, and it relies on controlling the acoustic geometry—in particular, an eikonal function whose level sets are sound cones—through quantities such as the null mean curvature, which evolves via Raychaudhuri's equation with source terms involving vorticity and entropy.","core_discovery":"For smooth solutions to the 3D compressible Euler equations whose initial data satisfy the bounds of Theorem 1.2, the time of classical existence $T$ depends only on the data norms $D_{N;\\alpha}$ and the compact state-space set $K$, and the solution propagates the assumed Sobolev and Hölder regularity up to time $T$. The key structural discovery is that the wave part (density and velocity, governed by the acoustical wave operator) and the transport part (vorticity and entropy, governed by material-derivative transport) can be separated in a geometric formulation, and that the transport part—even though it interacts nonlinearly with the rougher wave part—remains smoother and can be used to control the acoustic geometry. The regularity threshold $H^{2+}$ for the wave part is optimal, since Lindblad's results show that $H^2$ data can produce instantaneous shock singularities.","pith_inferences":["A natural testable extension would be to check whether the additional Hölder regularity of $C$ and $D$ can be replaced by a weaker condition, such as $BMO$, or whether the Schauder approach fundamentally requires Hölder spaces; the paper suggests BMO control would be insufficient for closing the energy estimates.","The geometric decomposition may be adapted to other fluid models with multiple characteristic speeds, but the paper's remark that general multi-speed systems are out of reach suggests that the specific structure of the acoustic metric and the transport-div-curl system is load-bearing.","The optimality at $H^2$ suggests that the full range $N\\in(2,5/2]$ is natural: one might conjecture that the same theorem holds for all $N$ in this range, and that the restriction $N\\le 5/2$ is an artifact of the proof technique rather than a sharp barrier.","The methods could potentially be combined with shock-formation results to determine, for open sets of data with vorticity, the precise critical regularity at which shocks form instantly versus persist for a positive time."],"forward_implications":["If the theorem is correct, local well-posedness for compressible Euler with vorticity and entropy holds at the $H^{2+}$ regularity threshold for the wave part, matching the known optimal result for scalar quasilinear wave equations.","The result provides a rigorous a priori estimate for smooth solutions from which existence and uniqueness in the stated spaces would follow, completing the low-regularity Cauchy theory for this system.","The new control of the acoustic geometry in the presence of transport phenomena can be used in future work on shock formation, since it shows how far the geometry can be controlled before singularities develop.","The Strichartz and Schauder estimates derived here are of independent interest for other quasilinear systems with multiple speeds, such as magnetohydrodynamics, though the paper notes that current techniques do not extend to general multi-speed systems.","The optimality statement indicates that any further lowering of the wave-part regularity would require a fundamentally different mechanism, since instantaneous shock formation prevents $H^2$ data from being well-posed."],"supporting_citations":[{"why":"Provides the geometric wave-transport formulation of the Euler equations that the proof exploits.","marker":"[45]"},{"why":"Supplies the frequency-localized Strichartz estimate framework and the eikonal-function-based reduction used in the proof of Theorem 7.2.","marker":"[56]"},{"why":"Establishes stable shock formation with vorticity in two dimensions, motivating the regularity assumptions and the notion of wave-part blowup.","marker":"[31]"},{"why":"Christodoulou's proofs of stable shock formation for irrotational, isentropic Euler set the standard for studying the acoustic geometry and shock singularity formation.","marker":"[4, 7]"},{"why":"Proves low-regularity well-posedness for quasilinear wave equations, which the present results recover in the irrotational and isentropic case.","marker":"[43]"},{"why":"Show ill-posedness for $H^2$ data due to instantaneous shock formation, establishing optimality of the $H^{2+}$ threshold.","marker":"[17, 29]"},{"why":"Provides linear Strichartz estimates for rough-coefficient wave equations that would only yield the $H^{13/6+}$ threshold, highlighting the need for nonlinear structure.","marker":"[49]"},{"why":"Shows Tataru's linear Strichartz estimates are optimal without further information about the principal coefficients, motivating the use of the specific nonlinear structure.","marker":"[42]"}],"fun_headline_variants":["H^2+ wave data controls Euler existence time, H^2 fails","One-half derivative up: rough Euler waves survive with vorticity","Optimal H^2+ regularity for 3D Euler with vorticity","Shocks lurk at H^2: existence proven only above that"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof relies on a frequency-localized Strichartz estimate (Theorem 7.2) whose proof is not included in this paper but is deferred to results in [54] and said to be essentially the same as in [56]; if this imported theorem does not hold at the stated low regularity with vorticity and entropy, or if the geometric hypotheses from [54]/[56] are not satisfied, the bootstrap argument does not close and Theorem 1.2 is unsupported.","fun_headline_variants_meta":{"raw":{"variants":["H^2+ wave data controls Euler existence time, H^2 fails","One-half derivative up: rough Euler waves survive with vorticity","Optimal H^2+ regularity for 3D Euler with vorticity","Shocks lurk at H^2: existence proven only above that"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1402,"prompt_tokens":1090,"completion_tokens":312,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":706,"completion_tokens_details":{"reasoning_tokens":233}},"tokens_in":706,"tokens_out":312,"duration_ms":3814,"temperature":1.0,"reasoning_tokens":233,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:47:22.487066+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A reader could try to construct a smooth solution to the 3D compressible Euler equations with nonzero vorticity and entropy whose initial data satisfy the bounds of Theorem 1.2 but for which the time of classical existence is strictly smaller than any function of the stated norms and compact set, or for which the solution loses the propagated Hölder regularity before that time. Alternatively, testing the imported frequency-localized Strichartz estimate in numerical experiments for rough data with vorticity could reveal a loss of dispersion that would invalidate the bootstrap.","supporting_citations":[{"cited_title":"A New Formulation of the $3D$ Compressible Euler Equations With Dynamic Entropy: Remarkable Null Structures and Regularity Properties","cited_arxiv_id":"1701.06626","evidence_quote":"Provides the geometric wave-transport formulation of the Euler equations that the proof exploits."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the frequency-localized Strichartz estimate framework and the eikonal-function-based reduction used in the proof of Theorem 7.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes stable shock formation with vorticity in two dimensions, motivating the regularity assumptions and the notion of wave-part blowup."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves low-regularity well-posedness for quasilinear wave equations, which the present results recover in the irrotational and isentropic case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides linear Strichartz estimates for rough-coefficient wave equations that would only yield the $H^{13/6+}$ threshold, highlighting the need for nonlinear structure."},{"cited_title":"Smith and Daniel Tataru, Sharp counterexamples for Strichartz estimates for low regularity metrics , Math","cited_arxiv_id":null,"evidence_quote":"Shows Tataru's linear Strichartz estimates are optimal without further information about the principal coefficients, motivating the use of the specific nonlinear structure."}],"review_version":1}