{"id":"713ef996-7bce-4a2b-830b-d2aa4e73b33f","arxiv_id":"2608.09843","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every sufficiently small smooth compact perturbation of a constant state in 3D irrotational compressible Euler blows up in finite time, with the expected lifespan.","lead":"Three-dimensional irrotational compressible Euler flows with any smooth, tiny, compactly supported disturbance from a constant state must form a shock in finite time, even with no symmetry. The proof gives the first general small-data blow-up theorem for this system and shows the shock time matches the standard radiation-field prediction.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof hinges on the unverified applicability of [11, Theorem 17.1] to the ε-small annulus data of Prop. 4.1; if that external theorem requires initial compression or a short-pulse structure not guaranteed for arbitrary f,g, the concluded shock formation at the boundary does not follow.","rationale":"Read in good faith, the paper's internal mechanism is coherent and inventive: Prop. 5.1 generates compression at t_1 = 1/(2ε) from the Friedlander radiation field, Prop. 5.5 derives a Riccati equation with the correct positive quadratic term, the ODE comparison yields the matching upper bound for ε log T_e^ε, and the John–Hörmander lower bound gives the matching asymptotic lifespan. The computation of G in Section 6.1 and the radiation-field approximations are standard, and no fitted parameters or circular input were found. The paper is not obviously wrong; it is a serious attempt that outsources the most delicate part of the shock-formation statement. The load-bearing concern is the exact scope of [11, Theorem 17.1]. The paper's own Remark 1.5 states: 'Shock formation is then a consequence of the criterion established in [11, Theorem 17.1] (see Proposition 4.2 (2)).' Thus the central claim inherits every hidden hypothesis of that external theorem. Prop. 4.1 is the only bridge: it asserts the needed smallness on the annulus at t_0 = 5c̄^{-1}, but its proof is omitted, and the bridge data are not arbitrary — they are the time-t_0 evolution of arbitrary compactly supported data, with fixed O(1) width in q. If Theorem 17.1 is a compression condition theorem (as the paper's own survey of [10,11] suggests), the bridge fails and Riccati blow-up of z̃ cannot be upgraded to shock formation. The reader's second concern about Cor. 4.4 is accurate as a statement in D^+: the proof via (4.4) gives O(ε(log⟨t⟩)^2), which is not uniformly O(ε(log(1/ε))^2); however, at t_1 the bound needed for Prop. 5.1 holds, and in Step 5 the acoustical label u is constant along a geodesic and lies in the bounded interval [−c̄^{-1}, c̄^{-1}], so the logarithmic comparison suffers only O(ε) error. Therefore this is a misstatement rather than the central obstruction. The decisive check is whether the precise hypotheses of [11, Theorem 17.1] are met; until that is verified, conditional acceptance is the correct verdict.","tokens_in":28874,"tokens_out":19955,"duration_ms":198978,"concrete_test":"Obtain the exact statement of [11, Theorem 17.1] (Christodoulou–Miao, Section 17.5, pp. 450–451) and check line-by-line whether the annulus data of Prop. 4.1 satisfy its hypotheses: (i) the smallness is controlled by a standard Sobolev norm ∥∂Φ∥_{H^{l0}(Σ_{t0})} ≤ Cε for a fixed l0, not a short-pulse norm with a separate small width δ; (ii) no initial compression condition such as inf_{S_{t0,u}} (−Lϱ) ≥ c0 ε or a sign condition on trχ is required; (iii) the weighted r-derivatives used in [11] are controlled on the fixed-width annulus {q0 ∈ [−1,1]} using Prop. 4.1. If either (i) or (ii) fails, Prop. 4.2 is unjustified and the main theorem needs a new argument; if all hold, the import is sound.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim 'shock forms at the boundary of the maximal Cauchy development' rests on the exterior acoustical package imported from Christodoulou–Miao via Prop. 4.2: the decay estimates (4.2), the transported-coordinate statement (3), and the breakdown criterion inf_{Σ^m_t} b → 0 when T_e^ε < ∞. The only bridge from the concrete data of Theorem 1.2 to that theorem is Prop. 4.1, whose proof is omitted ('We omit the details here for simplicity'). The paper itself notes that [11] imposes a compression condition on the initial data; the data here arise from arbitrary compactly supported f,g and no such condition is known to hold. If [11, Theorem 17.1] requires initial compression or a short-pulse structure rather than merely smallness of ∥∂Φ∥_{H^{l0}} on the annulus, then Prop. 4.2 is inapplicable: Riccati blow-up of z̃ from Prop. 5.5 would only imply breakdown of an auxiliary quantity, not inf b → 0 and hence not a shock at T_e^ε. Note that Prop. 4.2(2) is itself derived from (4.2) by a continuation argument, so the entire weight falls on the imported estimates (4.2). The Cor. 4.4 q-drift overclaim is real but secondary: (4.4) yields O(ε(log⟨t⟩)^2), not O(ε(log(1/ε))^2) uniformly in D^+, but at the point of use t_1 it is valid, and the u-label in Step 5 is constant in the fixed interval [−c̄^{-1},c̄^{-1}], so it does not threaten the main argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that for the 3-D irrotational compressible Euler equations, every smooth, compactly supported, sufficiently small perturbation of a non-vacuum constant state develops a shock in finite time, without symmetry or initial-compression assumptions. The proof combines the John–Hörmander lower bound on the lifespan (Theorem 1.1) with an exterior acoustical-geometry analysis. After passing to a thin annulus at t0 = 5 cbar^{-1}, the authors import the Christodoulou–Miao exterior estimates (Proposition 4.2), introduce a 'physical radiation field' tilde z, show from the Friedlander radiation field that a positive compression of size ε forms at the intermediate time t1 = 1/(2ε) (Proposition 5.1), derive a Riccati equation with positive quadratic term (Proposition 5.5), and thereby obtain an upper bound on the exterior lifespan that matches the lower bound. The imported breakdown criterion converts the finite exterior lifespan into vanishing of the null lapse b, and a contradiction argument upgrades this to |∂Φ| → ∞ at the shock.","tokens_in":29101,"tokens_out":37212,"duration_ms":329144,"significance":"If the main theorem is correct, it establishes a major result in the small-data theory of 3-D compressible Euler: smallness alone forces shock formation for arbitrary compactly supported irrotational data, and the asymptotic lifespan is sharply predicted by the linear radiation field. The paper gives a clean conceptual mechanism — the compact support of the data creates compression at an intermediate time, after which a Riccati equation drives blow-up — and the asymptotic constant τ* is computed from the linearized data rather than fitted. The geometric framework is introduced carefully, and the proof has a clear modular structure. The main obstacle to accepting the proof is the unverified applicability of the imported exterior theorem from [11]; this is the central issue that needs to be resolved.","major_comments":[{"comment":"The bridge from the concrete data of Theorem 1.2 to the Christodoulou–Miao exterior estimates is not established. Proposition 4.1 is stated with a one-sentence proof ('We omit the details here for simplicity') and supplies only H^{l0} smallness (4.1) at t0. The text then asserts in Proposition 4.2 that [11, Theorem 17.1] applies to the thin annulus data, but the hypotheses of that theorem are never stated, and the introduction (Section 1.1 and Remark 1.5) indicates that [11] works under an initial compression condition. For arbitrary compactly supported f,g, no compression condition is verified. If [11, Theorem 17.1] requires such a condition, then the estimates (4.2), the coordinate statement (3), and especially the breakdown criterion (2) cannot be used; the Riccati blow-up of tilde z in Proposition 5.5 would then imply only the blow-up of an auxiliary quantity, not inf_{Σ^m_t} b → 0 and hence not shock formation at the boundary of the maximal development. The authors should state the exact hypotheses of [11, Theorem 17.1], prove that the ε-small annulus data of Proposition 4.1 satisfy them, or replace Proposition 4.2 with a self-contained proof of the exterior estimates.","section":"§4, Propositions 4.1–4.2"},{"comment":"The proof of the breakdown criterion is only sketched. From (4.2) and the assumption that inf_{Σ^m_t} b ≥ c0 > 0, the text asserts that the solution extends past T_e^ε by 'the standard energy argument and the local existence result'. The estimates displayed in (4.2) include only a subset of the derivatives needed for a continuation principle for a quasilinear second-order hyperbolic system; for example, |b^2∂^2Φ| and /∆Φ are controlled, but the full high-order energy estimates that would justify extension are not listed. Since Proposition 4.2(2) is exactly what upgrades finite exterior lifespan to vanishing null lapse (and hence to shock), the authors should either quote the full statement of [11, Theorem 17.1] including all derivative estimates, or supply the continuation argument in detail.","section":"§4, Proposition 4.2(2)"}],"minor_comments":[{"comment":"The theorem should exclude the trivial case f ≡ 0, g ≡ 0. In that case τ* = 0 but the solution is the global trivial solution, so (1.15) cannot hold. The statement should explicitly assume that (f,g) is not identically zero.","section":"Theorem 1.2"},{"comment":"Corollary 4.4 as stated is incorrect: (4.4) gives q - q0 = O(ε(log⟨t⟩)^2), which near t ∼ T_e ∼ exp(c/ε) is O(1/ε), not O(ε(log(1/ε))^2). The proof should restrict the claim to t ≤ t1, where it is used in Proposition 5.1 and Corollary 5.4, or prove a genuinely uniform bound. The main argument survives because only the t = t1 case is needed.","section":"Corollary 4.4"},{"comment":"In (1.17), tilde z = c e^r(Lϱ - hϱ) should read tilde z = c tilde r(Lϱ - hϱ); the symbol e^r is undefined and appears to be a typographical error.","section":"Equation (1.17)"},{"comment":"The notation 2^- in (5.12) and in Step 5 is introduced only in a footnote; it should be defined at first use in the main text to avoid ambiguity.","section":"Between (5.12) and (5.16)"},{"comment":"Please correct typographical errors such as 'compressbile' in Section 1.2 and 'Corrollary' in the proof of Corollary 5.4.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is a potentially important paper whose main theorem is plausible and well motivated. The central gap is the unverified applicability of [11, Theorem 17.1] to arbitrary small compactly supported data; the authors explicitly omit the proof of Proposition 4.1 and do not state the hypotheses of the imported theorem. Given the authors' prior work [38], it is likely that the needed exterior estimates can be supplied or proved directly, so major revision rather than rejection seems appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is the genuine article. The main theorem, Theorem 1.2, delivers what the title says: every sufficiently small, smooth, compactly supported irrotational perturbation of a non-vacuum constant state in 3-D compressible Euler develops a shock at the boundary of the maximal Cauchy development, with lifespan log T ≈ τ_*/ε and no symmetry, compression, or non-degeneracy assumptions. That is a real breakthrough in the area, and the proof strategy is arguably as interesting as the result. The authors use the Friedlander radiation field of the linearized problem to show that, by the intermediate time t1 = 1/(2ε), the 'physical radiation field' z̃ has become positive along the outgoing null geodesic selected by τ_*; from there a Riccati equation with positive quadratic term gives the finite-time blow-up, and the matching with the John–Hörmander lower bound pins the constant.\n\nThe work does several things well. The radiation-field-to-compression argument is carefully executed with honest error estimates, the appendix supplies the needed geometric computations, and the authors are transparent about what they import: the whole exterior acoustical package, Proposition 4.2, taken from Christodoulou–Miao’s monograph [11].\n\nThe soft spots are concentrated at that import, and they are the reason I would not call this fully verified yet. Proposition 4.1, which is supposed to supply the smallness hypotheses for [11, Theorem 17.1] on the annulus at t0, has its proof omitted. Worse, the paper never states the hypotheses of the theorem it is importing. The prior shock-formation theorems in [10, 11] assume an initial compression condition, and the present data — arbitrary f,g supported in the unit ball — have no such condition. If Theorem 17.1 in [11] is really a small-data theorem without compression, then Prop 4.2 stands and the proof goes through; if it assumes compression, then the breakdown criterion inf b → 0 is not available, and the Riccati blow-up of z̃ alone does not imply shock formation. One of the two authors of [11] is on this paper, so the import may be sound, but the burden is on the authors to make the hypotheses and their verification explicit.\n\nA secondary issue: Corollary 4.4 states q-drift O(ε(log(1/ε))^2) in all of D+, but the derivation from (4.4) gives O(ε(log⟨t⟩)^2), which is only the claimed size at t ≈ 1/ε. It is used where it is valid, so this looks like an overstatement rather than a fatal flaw.\n\nNo circularity: τ_* is computed from the linear data, and the matching upper/lower bounds are the theorem. I’d send this to a serious referee without hesitation; the referee’s main job should be to check the Christodoulou–Miao import and fill the gap in Prop 4.1. If that checks out, this is a landmark paper.","headline":"A landmark no-symmetry shock-formation theorem for 3D irrotational Euler, with a clever radiation-field-to-Riccati pipeline; the proof's load-bearing import from Christodoulou–Miao needs explicit hypothesis verification.","tokens_in":29791,"tokens_out":5841,"would_cite":true,"duration_ms":55556,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L67","35Q31","76N15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Any smooth, sufficiently small, compactly supported irrotational perturbation of a constant state in three-dimensional compressible Euler must blow up in finite time, forming a shock at the boundary of the maximal Cauchy development with…","keywords":["compressible Euler equations","shock formation","blow-up","irrotational flow","quasilinear wave equations","radiation field","lifespan asymptotics","acoustical geometry"],"falsifier":"For a specific pair $(f,g)$, compute the radiation field $F_0$, locate the maximizing point $(\\omega_*,q_*)$ in $\\tau^*$, solve the Riccati equation (5.10) with initial value given by (5.1), and compare its blow-up time with a high-resolution numerical solution of (1.9) for several small $\\varepsilon$; smooth solutions surviving well past the predicted $\\tau^*$ lifespan would disprove the mechanism. Alternatively, a direct verification that the hypotheses of the Christodoulou–Miao exterior theorem hold for the thin-annulus data at $t_0=5\\bar c^{-1}$ would close the one unproved input.","tokens_in":28526,"feed_emoji":"💥","tokens_out":9839,"duration_ms":82681,"temperature":0.7,"pith_summary":"The paper proves that in three-dimensional irrotational compressible Euler flow, every sufficiently small, smooth, compactly supported perturbation of a non-vacuum constant state develops a shock in finite time; no symmetry, compression, or non-degeneracy condition on the data is needed. The shock appears at the boundary of the maximal Cauchy development, and the formation time obeys $\\varepsilon \\log T_\\varepsilon \\to \\tau^*$, the same asymptotic lifespan predicted by the radiation-field lower bound. The mechanism is new: compact support alone encodes an outgoing compression region, which forms dynamically by the intermediate time $t_1 = 1/(2\\varepsilon)$ along the null geodesic selected by the radiation field. A Riccati equation for a specially designed physical radiation field then forces finite-time blow-up, so smallness alone makes shock formation inevitable.","feed_headline":"Tiny ripples in 3-D gas must form a shock","feed_subtitle":"Without symmetry or initial compression, small 3-D perturbations of a constant state blow up at the predicted time.","key_machinery":"The central object is the physical radiation field $\\tilde z = c\\tilde r(L\\varrho - h\\varrho)$, defined on the outgoing acoustical null foliation, where $c$ is the sound speed, $\\tilde r=t+u$ with $u$ the acoustical retarded time, $L$ the null generator, $\\varrho$ the normalized log-density, and $h$ half the null expansion of the acoustical spheres. Along each outgoing null geodesic $\\Upsilon_{\\omega,q}$ it satisfies a Riccati equation $d\\tilde z/dt = \\tfrac12 \\wp\\tilde r^{-1}\\tilde z^2 + \\mathrm{Er}_1\\tilde z + \\mathrm{Er}_0$ with controlled small errors and positive coefficient $\\wp=(\\gamma+1)/2$. At the intermediate time $t_1=1/(2\\varepsilon)$ the value of $\\tilde z$ along the distinguished geodesic $\\Upsilon_*$ selected by the maximum in $\\tau^*$ is $-2\\varepsilon\\bar c^{-1}\\partial_q^2 F_0(\\omega_*,q_*)+o(\\varepsilon)$, which is positive, i.e. compression has formed. The Riccati blow-up then bounds the exterior lifespan from above, while the transport estimate $L(bz)=O(\\varepsilon\\log\\langle t\\rangle\\,\\langle t\\rangle^{-2})$ keeps $bz$ nearly constant along null geodesics, which is the tool that turns the lifespan bound into the statement that $|\\partial\\Phi|$ blows up at the shock.","core_discovery":"The main theorem (Theorem 1.2) states that for any smooth $f,g$ compactly supported in $\\{|x|\\le 1\\}$ there exists $\\varepsilon_0>0$ such that for all $0<\\varepsilon\\le \\varepsilon_0$ the irrotational Euler potential equation (1.9) has a unique smooth solution for $0