{"id":"16782720-0f0b-4b49-995c-58418e98eb1b","arxiv_id":"2501.15701","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For gamma = 5/3, corresponding to a monatomic gas, there exist smooth initial data for which the 3-D compressible Navier-Stokes equations blow up in finite time in a self-similar implosion.","lead":"This paper proves that the 3-D compressible Navier-Stokes equations for a monatomic gas can form finite-time blow-up, closing a case left open in a 2022 Annals of Mathematics work. The proof constructs smooth self-similar imploding Euler profiles and converts them to viscous blow-up via a recent abstract theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central existence theorem hinges on the numerically asserted bound S∞ > 1/2 in (4.71), stated without code or certificate; every downstream step in §4–§6 is conditional on it.","rationale":"The reader identified the numerical claim (4.71) as the weakest assumption, and I agree: it is the single most load-bearing concern. The proof of Theorem 2.1 and hence Corollary 1.3 depends on the positivity of S∞ to obtain uniform lower bounds on the coefficient sequence {a_n} relative to the comparison sequence {M_n}. These bounds are used in essential ways: Lemma 4.1 (positivity of a_{N+1}), the barrier arguments of Section 5, and the global extension in Section 6. If S∞ were not positive, the discrete sequence r_n would not exist. The paper's reliance on 'computer assistance' without providing code, interval arithmetic, or a certificate makes the result conditional rather than fully rigorous. I did not find a more fundamental objection: the analytic steps after (4.71) are extensive and appear internally consistent, and the use of the external theorem from [14] is plausible since the constructed profiles are shown to satisfy the required properties (1.8)–(1.11). Therefore the reader's CONDITIONAL verdict is appropriate, and my stress-test does not change it.","tokens_in":69357,"tokens_out":5284,"duration_ms":47801,"concrete_test":"Compute S∞ independently using the rational recurrence (4.19) and (4.68) with high-precision interval arithmetic for the first N terms (e.g., N = 10^6), together with a certified tail bound based on the asymptotic behavior a∞_n ≍ √(Γ(C+n))/A_*^n stated in §2.2. If the resulting rigorous interval satisfies lower bound > 1/2, the numerical premise is confirmed; if not, the construction of {r_n} is invalid. Alternatively, require the authors to release a reproducible interval-arithmetic script with a tail certificate, ideally machine-checked; the existence of such a certificate would settle the issue.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (4.71) asserts S∞ > 1/2, where S∞ = lim_n (a∞_n + λ∞_n a∞_{n−1})/M̂∞_n, with the sequences generated by the explicit recurrence (4.19) and (4.68). This positivity is the only non-analytic input in the proof. It enters at Lemma 4.15 to prove (a_n + λ_n a_{n−1})/M_n > c00 for n ∈ [N0, A^{3/2}]; Lemma 4.16 converts this into a_n/M_n > c01 on [A, A^{3/2}], and Proposition 4.12 extends it to [√R, R). These lower bounds underpin Lemma 4.1 (a_{N+1}<0), the barrier arguments in Propositions 2.4 and 2.5, and the sonic-point crossing (Proposition 5.2) that yields the parameters R_N ∈ (N, N+1). Without S∞ > 0, the discrete sequence {r_n} in Theorem 2.1 does not exist and Corollary 1.3 fails. The paper merely states that S∞ > 0 was checked with the help of a computer; no code, precision, interval bounds, or certificate is provided, and the stated assertion is stronger (S∞ > 1/2). This is a localized rigor gap, not an internal contradiction: the analytic framework is detailed and coherent, but the pivotal numerical premise is unverified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper treats the three-dimensional isentropic compressible Navier-Stokes equations (1.1) at the monatomic endpoint γ=5/3 (d=3, ℓ=3), the degenerate case left open by Merle–Raphaël–Rodnianski–Szeftel. After the Emden transform (2.1), the construction of smooth self-similar Euler profiles is reduced to the autonomous ODE system (2.2). The authors build a local analytic solution through the sonic point Q2 as a power series whose coefficients {a_n} satisfy an explicit recurrence (3.10); Sections 4–6 develop a long quantitative analysis of this recurrence (comparison sequences M_n, M*_n, M̂_n, barriers) and combine it with the intermediate-value theorem and with a global barrier argument to obtain the sequence r_n → 3−√3 of Theorem 2.1. Proposition 2.2 then gives the repulsivity estimates needed to apply the abstract non-radial stability theorem of Cao-Labora–Gómez-Serrano–Shi–Staffilani (Theorem 1.2), yielding Corollary 1.3: smooth non-radially symmetric initial data with inf ρ_0 > 0 whose Navier-Stokes solutions blow up at any sufficiently small T with self-similar asymptotics (1.12)–(1.13). The only non-analytic input in the proof is the numerical claim S∞ > 1/2 in (4.71).","tokens_in":69607,"tokens_out":6170,"duration_ms":58075,"significance":"The claimed result has high significance: it removes the last physically relevant endpoint γ=5/3 from the range of the front-compression mechanism, provides smooth self-similar Euler implosions in the degenerate case, and, through [14], gives non-radial finite-time blow-up for the Navier-Stokes system rather than only radial data. The paper is careful and explicit: the recurrence and comparison sequences are written in closed form, the barrier inequalities are displayed, and there are no fitted parameters—the numerical claim concerns a fixed constant defined by an explicit recurrence. If (4.71) is supplied with a rigorous computer-assisted verification or an analytic proof, the paper would constitute a major advance. The dependence on the external Theorem 1.2 is clearly stated and its hypotheses are checked.","major_comments":[{"comment":"The proof of Theorem 2.1 contains a single unproved numerical assertion: S∞ > 1/2. This is not a peripheral aid. Lemma 4.15 uses it to obtain the positive lower bound (a_n + λ_n a_{n-1})/M_n > c00 on [N0, A^{3/2}]; Lemma 4.16 and Proposition 4.12 then propagate this to a_n/M_n > c0 on [√R, R). These lower bounds are used in Lemma 4.1 to prove a_{N+1}<0, in Propositions 2.4–2.5 for the barrier inequalities, and in Proposition 5.2 to obtain RN ∈ (N,N+1). Thus without (4.71) the discrete sequence {r_n} of Theorem 2.1 and Corollary 1.3 is not established. The manuscript states only that the limit was verified with computer assistance; no code, no interval arithmetic, no certificate, and no explicit truncation bound is given. Because the recurrence (4.19) and (4.68) is explicit, a rigorous computer-assisted proof, or an analytic proof of positivity, should be supplied; I regard this as a load-bearing gap rather than a stylistic deficiency.","section":"§4.3, Eq. (4.71), and Lemma 4.15"},{"comment":"Corollary 4.14 proves only that the limit defining S∞ exists; positivity is not proved. The numerical claim states the stronger inequality S∞ > 1/2, which is used in Lemma 4.15 to produce a uniform constant c00 independent of A. The text should specify the finite truncation level and the rigorous error bounds that certify the sign of the infinite limit. Without such data, readers cannot reproduce or audit the verification, and the theorem remains conditional on an unavailable computation.","section":"§1.2, Remark 1, and Corollary 4.14"}],"minor_comments":[{"comment":"There is a typo in the proof: 'Cn is te Catalan number' should read 'Cn is the Catalan number'.","section":"§3.2, Lemma 3.2"},{"comment":"The bullet 'P5 and P2 lies in the curve σ 7→ (σ, w−_2(σ));2' contains a stray trailing '2' and a subject-verb disagreement.","section":"§2.1, bullets after (2.12)"},{"comment":"The statement 'A 7→ an is analytic for A ∈ (1,+∞] \\ {√k : k ∈ Z ∩ [0,n]}' includes the endpoint +∞; since a∞_n is defined as a limit, the authors should clarify whether analyticity is meant only for finite A or in a neighborhood of +∞.","section":"§4.1, after (4.3)"},{"comment":"The text repeatedly refers to the green and blue curves, but in black-and-white printing the colors may be indistinguishable; the captions should state the corresponding analytic definitions (for example, ug and ub).","section":"Figures 2 and 4"}],"recommendation":"major_revision","confidential_remarks":"This is a serious paper with a focused gap. The analytic framework is substantial and the numerical claim is clearly flagged, but as it stands the main theorem depends on an unverified computer check. I would be open to accepting after a rigorous, reproducible computer-assisted verification or an analytic proof of (4.71) is added; without that, the paper is not a complete proof in its current form. There is no indication of circularity, and I do not see a need to question the authors' good faith."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe headline: this is the first construction of finite-time blow-up for the 3D isentropic compressible Navier-Stokes equations at gamma = 5/3, the monatomic gas case that Merle–Raphael–Rodnianski–Szeftel and Buckmaster et al. left open. The paper is mostly analytic and the new machinery for the triple-point degeneracy — the renormalization (2.16), the reformulated recurrence (4.9), and the comparison sequences — looks like a genuine advance. I checked the structure of Section 4: the upper and lower bounds on the coefficients are explicit and the barrier arguments are detailed. The proof of Theorem 2.1 is conditional on one numerical input, the assertion S_infinity > 1/2 in (4.71). Everything downstream — Lemma 4.15, the lower bound on a_n/M_n, the sonic-point crossing, and hence the discrete sequence r_n — rests on it. The paper states this was computer-verified but gives no code, no precision, no interval bounds, no certificate. That is a real soft spot, but it is localized, not a circular fit: the constant is fixed and no parameter is tuned. The dependence on [14, Theorem 1.2] to go from Euler profiles to Navier-Stokes blow-up is legitimate black-box use; the caveats they note about d=3 only are appropriate. Self-citations to their own prior ODE machinery are appropriate; the novel part is the degeneracy treatment.\n\nMy main criticism is not the use of computation per se — the field has accepted such checks in the MRRS work — but the lack of reproducibility. A serious referee should ask for either a rigorous proof of S_infinity > 1/2 or a fully documented computer-assisted certificate with sharable code and interval arithmetic. The rest of the proof seems coherent, and the significance of closing the gamma = 5/3 case is high. If the numerical claim checks out, this is a major result. I would send it to peer review, with the numerical verification as the central condition for acceptance. It is also worth reminding the authors that their Remark about extension to general d=ell is not a proved theorem.\n\nWho is this for? Specialists in fluid blow-up and self-similar profiles, and people interested in the interaction of computer-assisted verification with PDE analysis. A reading group could profitably study Section 4 and the numerical claim; the rest is standard ODE fighting.\n\nRecommendation: engage with it; the referee should spend time on (4.71) and the transition from the Euler profile to Navier-Stokes. Conditional accept after the numerical input is made rigorous or fully certified.","headline":"First blow-up construction for the monatomic gas case gamma=5/3 rests on a single numerically verified constant that needs a real certificate; the analytic machinery is otherwise coherent and worth refereeing.","tokens_in":70254,"tokens_out":3298,"would_cite":true,"duration_ms":29837,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","35Q31","35B44","35C06"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the 3-D isentropic compressible Navier-Stokes equations with adiabatic exponent $\\gamma = 5/3$, the monatomic-gas law, have smooth finite-time blow-up solutions, settling the degenerate case left open by earlier…","keywords":["compressible Navier-Stokes","monatomic gases","adiabatic exponent 5/3","self-similar blow-up","sonic point degeneracy","compressible Euler","front compression","repulsivity"],"falsifier":"Evaluate $S_\\infty$ directly from the explicit recurrence (4.19) and definitions (4.67)-(4.68): compute the ratio $(a^\\infty_n + \\lambda^\\infty_n a^\\infty_{n-1})/\\hat{M}^\\infty_n$ for $n$ up to, say, $10^4$ terms with interval arithmetic; if the limit is at or below $1/2$, Lemma 4.15 fails and the sequence $r_n$ cannot be constructed.","tokens_in":69077,"feed_emoji":"💥","tokens_out":8162,"duration_ms":70128,"temperature":0.7,"pith_summary":"The paper proves that the 3-D isentropic compressible Navier-Stokes equations for a monatomic gas, whose adiabatic exponent is $\\gamma = 5/3$, admit smooth solutions that blow up in finite time. Earlier constructions of implosion-type blow-up for compressible fluids covered $1 < \\gamma < 1 + 2/\\sqrt{3}$ with $\\gamma = 5/3$ excluded because the self-similar analysis degenerates at a triple point. The authors remove that exclusion by building a sequence of smooth, self-similar imploding profiles for the compressible Euler equations in the degenerate case, then feeding them through an abstract non-radial blow-up theorem for Navier-Stokes. If correct, this settles the physically relevant monatomic-gas case and provides a template for the general degenerate dimension-exponent relation $d = \\ell$.","feed_headline":"Monatomic-gas blow-up proven for 3-D Navier-Stokes","feed_subtitle":"Self-similar imploding Euler profiles drive non-radial viscous solutions to blow up at any small prescribed time.","key_machinery":"The load-bearing object is the renormalized $(\\tau,u)$ ODE (2.17) near the sonic point $Q_2$, obtained from the Emden-transformed radial Euler equations through the renormalization (2.16). Around $Q_2$, local analytic solutions are power series $u_L(\\tau) = \\sum a_n\\tau^n$, and the recurrence for $\\{a_n\\}$ is rewritten so that its leading behavior is captured by a comparison sequence $\\{M_n\\}$ defined in (4.17). The ratio $R = \\lambda_-/\\lambda_+$ of the two eigenvalues at the sonic point becomes the free parameter; for $R \\in (N, N+1)$ with $N$ odd and large, an intermediate-value and barrier-function argument shows that the local series matches the incoming solution at the sonic point and then extends to the origin, producing global smooth Euler profiles. Those profiles satisfy the repulsivity estimates (2.7)-(2.10), which are exactly the hypotheses of the abstract Navier-Stokes blow-up theorem imported from reference [14].","core_discovery":"The central discovery is that, at $d = 3$ and $\\gamma = 5/3$, the triple-point degeneracy that blocked previous constructions can be resolved by a renormalized analysis near the sonic point $P_2$ of the radial ODE for self-similar Euler profiles. After the Emden transform, the profile equation becomes an autonomous two-component system; the degenerate sonic point is renormalized to $Q_2$ in $(\\tau,u)$-coordinates, where local solutions are represented by power series $u_L(\\tau) = \\sum_{n=0}^\\infty a_n\\tau^n$. The coefficients satisfy a recurrence that, in the limit $R \\to \\infty$ corresponding to $r \\to 3 - \\sqrt{3}$, degenerates to a second-order recurrence whose solutions grow like $\\sqrt{\\Gamma(C+n)/A_*^n}$. The paper establishes that for each large odd integer $N$ there is a parameter $R_N \\in (N, N+1)$ at which the local series solution and the global incoming solution $u_F$ join smoothly across the sonic point, and that the resulting curve extends globally and satisfies the repulsivity estimates needed for blow-up. The proof relies on a numerically verified positivity condition, $S_\\infty > 1/2$ in equation (4.71), for a parameter-free limit obtained from the recurrence.","pith_inferences":["The single point where the argument is not fully analytic is the computer-verified inequality $S_\\infty > 1/2$; replacing that check with a rigorous interval-arithmetic certificate would make the whole construction independent of numerical assistance.","The limiting recurrence's $\\sqrt{\\Gamma(C+n)/A_*^n}$ growth suggests the degenerate case sits at a critical transition in the coefficient asymptotics, and the parameter-free limit $S_\\infty$ may be expressible in terms of known special functions, which could be tested symbolically.","The same renormalized coefficient estimates could give a shorter proof of the non-degenerate Euler-profile construction for other $\\gamma$; a natural test is to re-derive the known $\\gamma = 7/5$ case with these methods.","Because the blow-up time $T$ can be taken arbitrarily small, the construction yields smooth solutions with arbitrarily fast singularity formation, which could serve as test cases for continuation criteria or uniqueness questions near the blow-up set."],"forward_implications":["For each $r_n$ approaching $3 - \\sqrt{3}$ from below, smooth non-radially symmetric initial data exist for which the 3-D Navier-Stokes solution with $\\gamma = 5/3$ blows up at any sufficiently small prescribed time $T$, with the explicit self-similar asymptotics (1.12)-(1.13).","The blow-up initial data form a finite co-dimensional set, so the phenomenon is stable within that class of data.","The construction yields smooth global radial self-similar Euler profiles with the decay and non-degeneracy properties (1.8)-(1.11) required by the abstract theorem.","According to remarks in the paper, the result extends to general viscosity tensors $-\\mu\\Delta u - (\\lambda+\\mu)\\nabla\\mathrm{div}\\,u$ with $\\mu>0$ and $2\\mu+3\\lambda>0$, and to solutions blowing up at multiple points.","For the compressible Euler equations, the same renormalization is expected to work for all $d = \\ell \\geq 2$; what currently limits the Navier-Stokes conclusion to $d=3$ is the abstract theorem imported from [14]."],"supporting_citations":[{"why":"Establishes the front-compression framework for smooth self-similar Euler imploding profiles, defines the non-degeneracy function $S_\\infty$, and identifies $d=\\ell$ as the degenerate case treated here.","marker":"[58]"},{"why":"Proves the first Navier-Stokes blow-up for $1<\\gamma<1+2/\\sqrt{3}$ outside a countable exceptional set; the present paper extends this result to the excluded value $\\gamma=5/3$.","marker":"[59]"},{"why":"Supplies the abstract theorem converting Euler profiles with repulsivity estimates (1.8)-(1.11) into non-radial Navier-Stokes blow-up solutions; it is used directly as Theorem 1.2.","marker":"[14]"},{"why":"Constructs smooth self-similar Euler imploding solutions for all $\\gamma>1$ and proves the $\\gamma=7/5$ Navier-Stokes blow-up, providing the comparison construction and motivation for the degenerate case.","marker":"[6]"},{"why":"Develops the analogous power-series and barrier analysis for relativistic Euler self-similar profiles; the coefficient recurrence lemmas and sonic-point crossing arguments in this paper are modeled on it.","marker":"[66]"}],"fun_headline_variants":["Blow-up proven for 3-D Navier-Stokes at gamma=5/3","Self-similar implosion drives viscous blow-up at gamma=5/3","Triple-point degeneracy resolved: Navier-Stokes blow-up in 3D","Renormalized sonic point yields compressible Navier-Stokes blow-up"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on a computer-verified inequality, $S_\\infty > 1/2$ for the limit of an explicitly defined coefficient ratio; if that limit is actually at most $1/2$, the lower-bound estimates on the solution coefficients and the whole construction break down.","fun_headline_variants_meta":{"raw":{"variants":["Blow-up proven for 3-D Navier-Stokes at gamma=5/3","Self-similar implosion drives viscous blow-up at gamma=5/3","Triple-point degeneracy resolved: Navier-Stokes blow-up in 3D","Renormalized sonic point yields compressible Navier-Stokes blow-up"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001324,"raw_usage":{"total_tokens":5416,"prompt_tokens":995,"completion_tokens":4421,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":4334}},"tokens_in":611,"tokens_out":4421,"duration_ms":27999,"temperature":1.0,"reasoning_tokens":4334,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T14:01:52.369384+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate $S_\\infty$ directly from the explicit recurrence (4.19) and definitions (4.67)-(4.68): compute the ratio $(a^\\infty_n + \\lambda^\\infty_n a^\\infty_{n-1})/\\hat{M}^\\infty_n$ for $n$ up to, say, $10^4$ terms with interval arithmetic; if the limit is at or below $1/2$, Lemma 4.15 fails and the sequence $r_n$ cannot be constructed.","supporting_citations":[{"cited_title":"Merle, P","cited_arxiv_id":null,"evidence_quote":"Establishes the front-compression framework for smooth self-similar Euler imploding profiles, defines the non-degeneracy function $S_\\infty$, and identifies $d=\\ell$ as the degenerate case treated here."},{"cited_title":"Merle, P","cited_arxiv_id":null,"evidence_quote":"Proves the first Navier-Stokes blow-up for $1<\\gamma<1+2/\\sqrt{3}$ outside a countable exceptional set; the present paper extends this result to the excluded value $\\gamma=5/3$."},{"cited_title":"Smooth imploding solutions for 3D compressible fluids","cited_arxiv_id":"2208.09445","evidence_quote":"Constructs smooth self-similar Euler imploding solutions for all $\\gamma>1$ and proves the $\\gamma=7/5$ Navier-Stokes blow-up, providing the comparison construction and motivation for the degenerate case."}],"review_version":1}