{"id":"b2103c0f-a63d-423d-a2dc-c1b543bfb652","arxiv_id":"2607.20290","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Bounded weak solutions of 3D compressible Euler that propagate no faster than sound have finite lifespan, and entropy-admissible ones that persist must penetrate the background at super-classical speed with an L-infinity-profile jump.","lead":"New theorems bound the lifetime of weak solutions to the 3D compressible Euler equations when disturbances stay inside the classical sound cone: such solutions must break down by a computable time, and any entropy-admissible solution with no vacuum that lasts longer must push into the quiet region faster than sound speed, with a jump in its one-sided L-infinity profile. A specialist would read it because it is the first finite-lifespan and super-classical-propagation theorem","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The paper's central claim is a conditional necessary condition: if an entropy-admissible bounded weak solution with bounded inverse density persists beyond the classical lifespan bound T0, then it must exhibit super-classical penetration with a jump in a one-sided L∞ profile. I read the full proofs and checked the main vulnerable points: (i) the derivation of (4.10) from the weak formulation; (ii) the Jensen step leading to (4.12)–(4.13); (iii) the iteration and the convergence of B_n for 1<γ≤2; (iv) the relative-energy inequality (5.3), the construction of φα, and the dropping of the nonnegative boundary term; (v) the shifted version of Theorem 2 at a non-Lebesgue time τ; (vi) the comparability of f and g in Theorem 3. I found no gap. The assumptions of entropy admissibility and finite ∥ρ^{-1}∥_{L∞} are used exactly where the reader says; if either fails, the conclusion may fail or be unprovable, but the paper does not claim otherwise. The theorem is thus a well-stated conditional result whose hypotheses are explicit. The appropriate verdict is unchanged: ACCEPT with the existing caveats about lack of formal verification and the conditional nature of the assumptions.","tokens_in":26291,"tokens_out":46913,"duration_ms":328767,"concrete_test":"Compute the profile g(c)=∥ρ-1∥_{L∞(H_{τ,τ'}^{ν,c})}+∥u∥_{L∞(H_{τ,τ'}^{ν,c})} for a concrete super-classical entropy-admissible no-vacuum solution (e.g., the Ginsberg–Rodnianski weak shocks, arXiv:2403.13568) with τ,τ' chosen inside the lifespan, and verify that g has a jump with g(c1-)>g(c1+)=0 for some 1<c1≤c0. This would test the theorem's central prediction in a nontrivial regime where its hypotheses are known to hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After a careful pass over the argument, I find no load-bearing technical flaw. The representation formula (4.10), the Jensen-based reduction to (4.13), the relative-energy inequality (5.3), and the shift-to-τ argument in Theorem 3 all hold together: the dropped boundary term in the ε→0 limit of (5.3) is nonnegative, the comparability of f and g is uniform, and the contrapositive of Theorem 1 correctly yields the transition time. The entropy-admissibility and bounded-inverse-density hypotheses (∥ρ^{-1}∥_{L∞}<∞) are indeed essential: without them the relative-energy machinery in §5 and its application in Corollary 1/Theorem 3 have no basis. However, this is an explicit scope limitation rather than a hidden inconsistency; the paper states the assumptions clearly and notes where they enter. I concur with the reader that these are the weakest assumptions, but they do not make the central claim unsound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies bounded weak solutions of the 3D isentropic compressible Euler equations. Theorem 1 gives a finite upper bound T0(k0) on the lifespan of any weak solution satisfying a classical-speed support condition (2.1b), under a positive outgoing-data condition (2.1c). The bound has the John-type form exp(C/ε) for data of size ε. Theorem 2 establishes a quantitative localized weak-strong uniqueness estimate near the constant state (1,0), using the relative-energy method; it yields a finite propagation speed c0=1+C(γ)m for entropy-admissible weak solutions with bounded inverse density. Theorem 3 combines these results: any such entropy-admissible solution that persists beyond T0(k0) must at some time τ≤T0(k0) penetrate outside the classical cone |x|≤1+t, and this penetration is necessarily super-classical and accompanied by a jump in a one-sided L∞ profile g(c). The proofs derive a d'Alembert representation for the half-space average v from the weak formulation, use convexity/Jensen to obtain a nonlinear integral inequality, iterate it à la John, and use a relative-energy inequality in moving domains.","tokens_in":26365,"tokens_out":50109,"duration_ms":379294,"significance":"The result is significant if correct. It transfers Sideris's classical lifespan bound to the bounded weak setting under an explicit propagation hypothesis, and it articulates a sharp dichotomy: either the solution breaks down by T0(k0), or it must violate classical finite-speed propagation. The conditional nature of Theorem 3 is handled honestly; the entropy-admissibility and bounded-inverse-density assumptions are stated and used explicitly. Strengths include self-contained derivations of all key estimates, explicit constants depending only on γ (no fitted parameters), and a quantitative propagation speed c0. The paper also candidly identifies the limitation of its front-regularity analysis (Section 3, data with j+μ>1). If the reader is willing to accept the clearly stated propagation hypothesis (2.1b), the argument is internally consistent.","major_comments":[],"minor_comments":[{"comment":"The recurrence for B_n is printed as B_n = B_{n-1}(q_n^2)^{γ^{-n}}; the superscript is easy to misread as γ-n. Please use unambiguous notation, e.g., γ^{-n}.","section":"§4, Eq. (4.26b)"},{"comment":"In the passage from V1,V2 to the L1-convergence estimate, the (x_1-s)^2 weight is suppressed after integrating over s. This is justified because x_1-s ≤ 1-k_0 ≤ 1 on the support, but a one-line remark would help the reader.","section":"§4, after Eq. (4.10)"},{"comment":"The displayed inequality for -∂_t φ_α - |∇φ_α| ≥ h((τ-t)/ε)(1/α - 1) omits the nonnegative term h'((τ-t)/ε)d_α/ε. The later dropping of this term is correct, but the displayed inequality should include the extra term or a note explaining why it is discarded.","section":"§5, near Eq. (5.4)"},{"comment":"The 'standard time-cutoff argument' asserting that a.e. Lebesgue values give entropy-admissible weak solutions on shifted strips is used later (Corollary 1, Theorem 3). A short proof or precise reference would make the paper more self-contained.","section":"§1, Lebesgue times"},{"comment":"The set of penetration times and the lifespan T share the same letter T in the proof. Please use calligraphic T consistently to avoid confusion.","section":"§7, proof of Theorem 3"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is technically sound; I found no load-bearing flaw. The only issues are notational and presentational. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is that this is a solid extension of your own classical finite-lifespan result to bounded weak solutions, under an explicit finite-speed hypothesis, plus a genuinely new necessity result: entropy-admissible bounded weak solutions with bounded inverse density that survive past the classical lifespan have to propagate at super-classical speed and show a jump in an L∞ half-space profile.\n\nThe genuinely new content is Theorem 1, which replaces Hs regularity by L∞ and derives the d'Alembert representation (4.10) directly from the weak formulation. The derivation is careful: the L1 time-translation continuity step is legitimate, the Jensen/convexity reduction is valid, and the John iteration is carried out with explicit constants depending only on γ. Theorem 3's jump-profile conclusion is new, and the proof holds together. I checked the dropped boundary term in the ε→0 limit of (5.3) and it is nonnegative; the comparability of f and g is uniform. The paper is self-contained and does not assume the target bounds; the self-citations supply the method, not the conclusion.\n\nThe soft spots are the hypotheses, and they are real but not hidden. The finite-speed support condition (2.1b) builds in the classical propagation rate; it is exactly what the theorem tests. That is not a flaw—Theorem 3 is the contrapositive—but it means Theorem 1 is conditional. More seriously, Theorems 2 and 3 rely on entropy admissibility and ∥ρ^{-1}∥_{L∞}<∞. Without those, convex-integration examples show wild behavior, so the dichotomy is confined to the admissible no-vacuum class. Section 3 honestly records that for data vanishing faster than Lipschitz at the front, the method yields no bound on T*; that is a genuine limitation, and the paper says so explicitly. The proofs are not machine-formalized and some error estimates are sketched, so moderate confidence is the right level. The citation pattern is honest; no fitted parameters.\n\nWho this is for: anyone working on weak solutions of multidimensional conservation laws, especially compressible Euler and the limits of convex integration. It deserves a serious referee, and I would send it to peer review rather than desk reject. I'd bring it to a reading group and would cite it when discussing lifespan bounds for weak solutions.","headline":"Careful extension of Sideris's classical finite-lifespan theorem to bounded weak solutions, with a genuinely new super-classical penetration dichotomy; deserves a serious referee.","tokens_in":26943,"tokens_out":2508,"would_cite":true,"duration_ms":22677,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35L65","35B44","76N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weak 3D Euler solutions have a finite lifespan unless they break the classical speed limit, and then they do so with a jump.","keywords":["weak solutions","compressible Euler equations","lifespan","blow-up","finite-speed propagation","entropy admissibility","super-classical propagation","relative energy"],"falsifier":"Run a shock-capturing numerical simulation of the 3D isentropic Euler equations from initial data supported in |x|<=1 satisfying the compressive condition w0(k)>0 decreasing. If an entropy-admissible weak solution is observed whose essential support remains within |x|<=1+t for some t>T0(k0), or whose half-space profile g(c) has no jump discontinuity for any 1<c1<=c0, then Theorem 3 is false. A complementary check: attempt an explicit convex-integration construction of an entropy-admissible weak solution with bounded inverse density, compact initial support, and w0(k)>0 that survives beyond T0(","tokens_in":26079,"feed_emoji":"💥","tokens_out":5441,"duration_ms":54512,"temperature":0.7,"pith_summary":"The paper proves that under a finite-speed propagation assumption, any bounded weak solution of the 3D isentropic compressible Euler equations with compressive outgoing initial data blows up in finite time, with an explicit exponential upper bound on the lifespan. It then shows that if an entropy-admissible weak solution with bounded inverse density manages to survive beyond that bound, it must penetrate the undisturbed background at a strictly super-classical speed. Moreover, that accelerated penetration is accompanied by a discontinuity: the one-sided L-infinity profile measuring the disturbance ahead of a moving plane jumps from a positive value to zero at a speed between the classical sound speed and a controlled upper bound. This converts the classical finite-lifespan result into a dichotomy for weak solutions: either lifespan is bounded by the explicit T0, or propagation is super-classical and discontinuous.","feed_headline":"Surviving weak Euler flows outrun the classical wave front","feed_subtitle":"A weak 3D Euler solution that outlives the classical deadline must jump and propagate super-classically.","key_machinery":"The proof reduces the 3D dynamics to a one-dimensional wave equation for the half-space moment v(t,s)=integral_{x1>s}(rho-1)(x1-s)^2 dx. Using the weak formulation with carefully chosen test functions, the author obtains the d'Alembert representation v=v0+double-integral_{K(t,s)} G, where G(t,s)=integral(rho(u·omega)^2+Phi(rho-1))dx and Phi is the strictly convex excess pressure. Jensen's inequality plus the explicit 3D volume factor M(t,s)=(pi/30)(4(1+t)+s)(1-s+t)^4 yield a nonlinear integral inequality that is iterated in the manner of John's method to produce the exponential lifespan bound. For the propagation results, a quantitative relative-energy inequality in moving half-spaces gives","core_discovery":"The paper establishes a lifespan-propagation dichotomy. Theorem 1 states that if a weak solution's essential support moves no faster than the sound speed (condition 2.1b) and the initial data have a positive, decreasing outgoing weight w0(k) (condition 2.1c), then the lifespan T is at most T0(k0), an explicit number exponential in a quantity inversely proportional to (k-k0)w0(k). Theorems 2 and 3 say that for entropy-admissible weak solutions with bounded inverse density, surviving past T0 forces a transition time tau not exceeding T0 after which, on every later time interval, there is a direction and a speed c1 between 1 and c0 such that the one-sided profile g(c)=||rho-1||_{L-infty(H^nu,c)","pith_inferences":["The dichotomy likely persists under weaker hypotheses: the bounded-inverse-density assumption may be replaceable by a one-sided bound on rho, since the convexity of Phi and the relative-energy structure are what carry the argument.","The jump profile could serve as a selection criterion among the many entropy-admissible weak solutions built by convex integration, filtering out those that violate the fixed-speed propagation bound.","Existing numerical simulations of irrotational shocks in 3D should already show super-classical penetration for Holder-regular fronts; the predicted L-infinity jump may be hidden only by numerical diffusion.","Optimizing the free parameter k in the definition of T0(k0) may yield sharper lifespan bounds for specific initial data, and the same integral-inequality iteration should adapt to other equations of state with convex pressure."],"forward_implications":["Classical finite-lifespan theorems for smooth solutions extend to the much wider class of bounded weak solutions, provided the finite-speed propagation condition holds.","Any entropy-admissible weak solution with bounded inverse density that survives beyond T0 must exhibit super-classical propagation; there is no 'soft landing' beyond the classical lifespan.","The jump in the one-sided L-infinity profile gives a quantitative, measurable signature of the failure of classical propagation, available for numerical or physical detection.","For initial data with only Holder regularity at the front, the transition time tau can be zero, meaning super-classical penetration starts immediately.","The super-classical speed cannot exceed the explicit bound c0=1+C(gamma)m, which depends only on gamma and the L-infinity size m of the disturbance.","If the density inverse is bounded and the entropy inequality holds, the lifespan bound T0(k0) applies uniformly regardless of the amplitude of the initial data."],"fun_headline_variants":["Weak Euler flows that outlive the bound must break sound speed","Surviving weak Euler solutions must propagate super-classically","Lifespan bound for weak Euler flows forces super-classical jumps","Weak Euler solutions that outlive the bound must outrun sound"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise for the super-classical conclusion is that the weak solution is entropy-admissible and has uniformly bounded inverse density (no vacuum); if either fails, the finite propagation speed c0 and the jump-profile conclusion are not established.","fun_headline_variants_meta":{"raw":{"variants":["Weak Euler flows that outlive the bound must break sound speed","Surviving weak Euler solutions must propagate super-classically","Lifespan bound for weak Euler flows forces super-classical jumps","Weak Euler solutions that outlive the bound must outrun sound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00064,"raw_usage":{"total_tokens":2747,"prompt_tokens":673,"completion_tokens":2074,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":2002}},"tokens_in":417,"tokens_out":2074,"duration_ms":15094,"temperature":1.0,"reasoning_tokens":2002,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T10:17:04.103745+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a shock-capturing numerical simulation of the 3D isentropic Euler equations from initial data supported in |x|<=1 satisfying the compressive condition w0(k)>0 decreasing. If an entropy-admissible weak solution is observed whose essential support remains within |x|<=1+t for some t>T0(k0), or whose half-space profile g(c) has no jump discontinuity for any 1<c1<=c0, then Theorem 3 is false. A complementary check: attempt an explicit convex-integration construction of an entropy-admissible weak solution with bounded inverse density, compact initial support, and w0(k)>0 that survives beyond T0(","supporting_citations":[],"review_version":1}