{"id":"fa3c22f0-57c9-4973-9ea2-7beca52c1001","arxiv_id":"2608.10554","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":8,"one_line_summary":"For alpha less than 1/2, the 3D Navier-Stokes-Korteweg system has smooth initial data whose solutions form a finite-time implosion: the density diverges at a point and the effective velocity blows up.","lead":"The paper proves that, for small density-viscosity exponents alpha, the 3D compressible Navier-Stokes-Korteweg system admits smooth initial data that develop a finite-time implosion singularity, with density becoming infinite while the initial density stays away from vacuum. The result complements earlier global-existence theorems for larger alpha and identifies a regime where the effective bulk viscosity can be negative.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1's parameter regimes do not ensure the inequality f1 < 1−2η that the perturbative bootstrap repeatedly requires; the displayed definitions of Λ*(γ) and α*(γ) appear internally inconsistent with the bounds used in §3.5–3.6.","rationale":"The reader's weakest_assumption pointed to imported Euler-profile and spectral lemmas (Lemmas 5.3, 5.4, 5.7). Those are indeed load-bearing and under-proved in the manuscript. However, the more immediately disqualifying issue is internal: the parameter hierarchy (3.6) and the bootstrap estimates require f1 < 1−2η, but the theorem's regimes only state f1 > 0, and the displayed definitions of Λ*(γ) and α*(γ) do not obviously enforce the stronger bound. The contradiction between (1.33) and (1.39) is explicit in the manuscript text, so this is not a matter of external consensus but of internal consistency. The proof's treatment of the exponentially decaying viscous/capillary terms, which is the conceptual core of the paper, collapses if f1 can be ≥ 1. I therefore partially disagree with the reader: before asking for full proofs of the imported lemmas, the authors should first resolve the parameter incompatibility and provide a derivation that every admissible Λ used in Theorem 1.1 satisfies the inequalities (3.58)–(3.65). The recommended verdict remains CONDITIONAL: the result is plausible but cannot be accepted until this parameter-regime consistency is established and the corresponding estimates are verified.","tokens_in":82967,"tokens_out":25921,"duration_ms":245384,"concrete_test":"Fix γ = 4/3 and γ = 3/2. Compute Λ*(γ) both from the displayed (1.33) and from the reciprocal expression consistent with (1.39). For α = α*(γ)/2 and for the sequence Λ_n → Λ*(γ) from Lemma 5.3(i), evaluate f1(γ, α, Λ_n) and check whether f1 ≤ 1−2η for the η chosen in (3.6), and whether the exponent identities (3.58)–(3.65) hold with the stated sign. If f1 > 1−2η for any such admissible Λ_n, the bound (3.57) in Proposition 3.2 fails and the density lower bound (3.43) is not established; the proof would then need an additional condition or a different handling of the dissipative terms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction treats viscosity and capillarity as exponentially decaying perturbations, and the proof of the bootstrap relies on rapid decay bounds such as (3.57), (3.63), (3.86), and (3.90). After substituting the definition of f1, the exponent inequalities (3.59) and (3.65) reduce to the requirement f1 ≤ 1−2η, and the text attempts to prove this from (3.61)–(3.62) using the formulas for Λ*(γ) and α*(γ). However, this inequality is not stated in Theorem 1.1, whose assumptions only impose f1 > 0 (P1) or α < α*(γ) with Λ_n → Λ*(γ) (P2). Moreover, the displayed formula (1.33) for Λ*(γ) is incompatible with Remark 1.1: for γ = 4/3, (1.33) as printed gives Λ* ≈ 24.8, while (1.39) asserts Λ* < (1+√3)/2 ≈ 1.366. Taking (1.33) literally, one easily finds admissible-looking parameters with f1 > 1, e.g. γ = 4/3, α = 0.1, Λ = 2 gives f1 = 5.4, so the requested decay inequalities fail and the dissipative terms cannot be absorbed as σ0^{9/5}e^{-(τ−τ0)/10} contributions. If (1.33) is meant to be a reciprocal expression, then the manuscript's formula is garbled and the verification of (3.61)–(3.62) is not actually present. Since every bootstrap improvement in Proposition 3.1 depends on these exponential decay estimates, the internal consistency of the parameter regime is load-bearing; without a correct proof that f1 < 1−2η for the chosen admissible Λ, the perturbative framework does not close.","agreement_with_reader":"partial"},"referee_report":null,"author_rebuttal":null,"desk_editor":null,"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-12T21:58:13.513841+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}