{"id":"0c73c4b3-ca62-43d9-82e4-43247aca0835","arxiv_id":"2605.25137","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Axisymmetric Navier–Stokes flow past a cone with total-slip boundary admits a unique global bounded strong solution whenever the swirl angular momentum is zero-averaged and sup r|v_θ| is below an absolute threshold — no parity and no smallness on the other components.","lead":"This paper proves that swirling fluid passing a cone with fully slippery walls stays smooth for all time, as long as the swirl is small and its angular-momentum mean is zero — with no restrictions on the other velocity components. It also builds external forces supported away from the symmetry axis that make arbitrary axisymmetric flows globally smooth, and shows that any finite-time breakdown would be accompanied by an unstable breakdown nearby.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Limit passage D_m→D rests on unproved uniform L∞/H² bounds (Props 10.1–10.2); the mixed boundary condition on A_{1,m} may introduce m-dependent constants, and the paper does not verify NTS in the limit.","rationale":"The reader correctly identifies the admissible class A and the limit passage as a weak point. My stress-test converges on a more specific load-bearing gap: the existence proof depends on uniform estimates whose proofs are not supplied. Propositions 10.1 and 10.2 are not minor lemmas; they supply exactly the bounds needed to pass from D_m to D, and the boundary condition on A_{1,m} differs from the NHL condition treated in [25]. Without a proof that the relevant boundary integrals are uniform in m, the m→∞ limit is not established. This is a gap rather than a demonstrated contradiction: the estimates may be true, and the rest of the paper's structure (energy estimates for (K,F,O), Hardy inequalities, pressure estimates) is coherent and carefully executed. The admissible-class caveat compounds the issue but is secondary: even if A is dense in natural NTS data, the missing uniform estimates prevent the theorem from being complete. I therefore do not move the verdict from the reader's CONDITIONAL; the manuscript should be accepted only if the omitted proofs are supplied or replaced by precise references with the boundary-condition adaptation explicitly checked.","tokens_in":80161,"tokens_out":32579,"duration_ms":284581,"concrete_test":"Carry out the omitted proof of Propositions 10.1 and 10.2 for the mixed boundary condition (2.2), tracking the inner-arc boundary term at ρ=1/m. Concretely, after deriving the H² estimate from the Biot–Savart system (8.3), isolate the surface integral over A_{1,m} involving ∂_ρ v_φ and v_φ, and show it is bounded independently of m. If the bound contains a factor m^k (k>0), the uniform estimates fail, so the compactness argument in Theorem 1.3 Step 1 collapses. A complementary check: compute ∥∇²v^(m)∥_{L²_tL²_x} on D_m for a simple admissible initial datum (e.g., the truncated pure-swirl field vθ=Ar) for m=10^3,10^4,10^5; growth with m would falsify the claimed uniformity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central existence claim is obtained in Theorem 1.3 Step 1 by taking m→∞ in the approximating problems on D_m with the mixed condition (2.5) on the artificial inner arc A_{1,m}. For this limit to yield a strong solution on D, the approximate solutions need uniform (in m) bounds in L∞_tx, L²_t H²_x, and H¹_t L²_x. These are precisely Propositions 10.1 and 10.2, but both are asserted without proof: the text says the proof 'can be derived by adapting contents in Section 4.7 of [25]' and 'We omit the details here.' The adaptation is not routine because [25] uses the NHL condition on all boundaries, whereas here the inner arc uses a mixed NTS/NHL condition (2.5), and the whole point of the paper is that NTS boundary terms have bad signs near the cone. A uniform bound must control, as m→∞, boundary integrals on A_{1,m} such as ∫_{A_{1,m}} v·∂_n v dS; if any constant grows like a power of m, the compactness argument fails. Moreover, even with uniform bounds, the limit solution's boundary trace must be checked to satisfy NTS (1.5) on the rays and outer arc, and the artificial condition ω_θ=0 on A_{1,m} must disappear in the limit; this is related to the admitted uncertainty in Definition 2.2 whether all C² NTS data lie in A. Thus the theorem's advertised 'only small mean-zero swirl' conclusion is not yet supported for natural data.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies axially symmetric Navier-Stokes equations in an exterior conic domain D with the Navier total-slip (NTS) boundary condition. The main result, Theorem 1.3, asserts that if the initial swirl has zero weighted mean, ∫_D r v_{0,θ}=0, and satisfies a smallness condition sup r|v_{0,θ}| ≤ C_*, then for every T>0 there is a unique global bounded strong solution, uniformly in time, with a quantitative energy inequality. The proof proceeds by approximating D by domains D_m with a mixed NTS/NHL condition on an artificial inner arc, introducing three modified good unknowns (K,F,O), deriving pressure estimates, a De Giorgi iteration for Γ=rv_θ, and anisotropic Hardy/Korn inequalities with constants independent of m. The paper also proves a controlled-regularity theorem with forcing supported away from the axis, and a corollary on existence of unstable blow-up solutions if any finite-time blow-up occurs.","tokens_in":80435,"tokens_out":6662,"duration_ms":76836,"significance":"If the proof is completed, this would be a substantial advance: it removes the parity assumption of the prior NHL-boundary work [25] and treats a more physical total-slip boundary, requiring only smallness of a mean-zero swirl component with no smallness on the radial/axial components. The paper has real strengths: the estimates are unusually concrete, with explicit constants in the Hardy/Korn inequalities (e.g. 2/19, 3/25, 8/3), an explicit energy identity (6.1), a De Giorgi recursion (7.26) with a computable constant (7.29), and a non-vacuous counterexample in Remark 1.5 showing the mean-zero condition is necessary. The controlled-regularity results, if valid, are also interesting. However, the core compactness passage from the approximating domains to D rests on two propositions stated without proof, and the theorem is formulated only for an admissible class that is not shown to contain all natural NTS data.","major_comments":[{"comment":"The m→ ∞ limit in the proof of Theorem 1.3 Step 1 requires uniform-in-m bounds in L∞_{tx}, L²_t H²_x, and H¹_t L²_x. These are precisely Propositions 10.1 and 10.2, but both are asserted without proof: the text says the proof 'can be derived by adapting contents in Section 4.7 of [25]' and 'We omit the details here.' This is not a routine adaptation because the approximating problem uses the mixed condition (2.5) on A_{1,m}, and the whole point of the paper is that NTS boundary terms have bad signs. One must show that constants do not depend on m and that the limit solution satisfies the NTS condition on the original boundary. This is load-bearing for the existence claim.","section":"§10.1, Propositions 10.1–10.2"},{"comment":"Theorem 1.3 is stated for the admissible class A, defined as C²-limits of data on D_m satisfying the mixed boundary condition. The paper explicitly admits (after Definition 2.2) that 'it is not clear whether every function in C²(D) that satisfies the Navier total-slip boundary condition (1.5) belongs to A.' As a consequence, the advertised conclusion — that any natural C² NTS data with small mean-zero swirl yield a global strong solution — is not established. The limit passage also must verify that NTS holds on the limiting boundary; this is related to the unresolved density question. The theorem is internally consistent as stated for A, but the significance is reduced unless the admissible class is enlarged or shown to be the natural one.","section":"Definition 2.2 and Theorem 1.3"},{"comment":"There is a sign inconsistency in the boundary contribution on the inner arc. With the outward normal on ρ=1/m pointing in the −e_ρ direction, as explicitly noted in Remark 3.2, the inner-arc term ∂_nΓ equals −(2/ρ)Γ, so the contribution is negative, not the positive term displayed in (7.4). The subsequent text says this term 'carries a good sign' and drops it, which is consistent with a negative sign but not with the displayed formula. If this is a typo, it should be corrected; if not, Lemma 7.1, and hence the propagation of the Γ bound used in Proposition 9.1, needs repair.","section":"§7, Lemma 7.1, Eq. (7.4)"}],"minor_comments":[{"comment":"The existence/uniqueness assertion on D_m is stated as 'standard' with reference to [3] and [25], but the precise compatibility of the mixed boundary condition (2.5) with strong H² solutions is not discussed. A short explanation or a precise theorem statement would help.","section":"§2.2, Proposition 2.4"},{"comment":"In the uniqueness proof, Lemma 6.1 is applied on D with η_m replaced by the constant function 1. Since D is only Lipschitz, the boundary integration by parts near the vertex and edges should be justified for the regularity class in Definition 1.2.","section":"§10.2, Step 2"},{"comment":"In the proof of Theorem 1.7, the claim that '(1−η_1)v^{(2)} is a bounded smooth vector field' for a Leray-Hopf solution requires justification; standard local regularity is available only away from the axis and boundary, and the support of (1−η_1) touches the outer boundary.","section":"§11, Step 2"},{"comment":"The notation η for the cut-off in (1.21) and η_m for the family in (2.6) is easy to confuse, especially in Section 9 where both appear. Please clarify or rename.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is a technically substantial paper, and the main idea is credible. The missing uniform estimates in Propositions 10.1–10.2 are the key issue; if the authors can supply the omitted proofs, or at least a detailed reduction to [25] with explicit treatment of the mixed boundary condition, the paper may be acceptable. The admissible-class gap should also be addressed openly. I would not recommend rejection at this stage because the omissions appear localized rather than fundamental."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this is the natural next step beyond [25]: it replaces the NHL boundary condition with the harder Navier total-slip condition, drops the parity assumption in favor of a mean-zero swirl condition, and confines smallness to the swirl. Second, the existence proof for the limit domain D is not complete as written. Propositions 10.1 and 10.2, which supply the uniform L∞ and H² bounds needed to pass from D_m to D, are asserted with “we omit the details.” That is not a routine adaptation, because the inner arc A_{1,m} carries a mixed NTS/NHL condition and m-dependent constants could enter. The paper’s own Definition 2.2 admits that the admissible class A may exclude natural C² NTS data. So the theorem, as stated, covers an admissible class that may be strictly smaller than the natural data set.\n\nWhat is genuinely new and useful: the adapted unknowns K, F, O; the pressure-elliptic boundary control; the anisotropic Hardy inequality Lemma 4.4 with the 2/(19+k) constant; the Korn-type inequality for vθ eθ; and the De Giorgi scheme for Γ. The constants are tracked and the inequalities close with headroom. The claim that mean-zero swirl is necessary is backed by an explicit counterexample in Remark 1.5, which is honest and non-vacuous. I do not see circularity in the choice of C*.\n\nThe central estimate chain looks sound; I did not find an arithmetic error. The main soft spots are, in proportion: the missing details in Section 10 (a genuine gap, not a cosmetic one), the admissible-class uncertainty, and two minor issues — Theorem 1.7 relies on an uncited “standard theory” claim, and C* is existential with no numerical size. None of these is a demonstrated error, but the first one is load-bearing for the advertised conclusion.\n\nWho is this for: people working on axisymmetric Navier-Stokes boundary-value problems and Navier-slip geometries. It deserves a serious referee; the gaps look repairable in principle, and the tools are worth engaging. I would send it to review, with a referee asked to focus on Section 10 and Definition 2.2.","headline":"A substantial and largely coherent extension of the NHL-cone result to the Navier total-slip case, with genuinely new tools — but the existence proof has a load-bearing gap at the m→∞ limit that the authors leave in three-line omissions.","tokens_in":81111,"tokens_out":2248,"would_cite":true,"duration_ms":29216,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Small, mean-zero swirl guarantees global smooth flow past a cone under total-slip walls.","keywords":["axially symmetric Navier-Stokes","Navier total-slip boundary","cone domain","global strong solution","swirl smallness","anisotropic Hardy inequality","De Giorgi iteration","controlled regularity"],"falsifier":"Construct a natural C², divergence-free, total-slip initial field on the cone that satisfies sup r|v_{0,θ}| ≤ C_* and ∫ r v_{0,θ}=0 but cannot be approximated in C² by the truncated admissible fields A_m; if such a field exists, Theorem 1.3 would not cover it. Alternatively, exhibit a finite-time blow-up for data satisfying the theorem's smallness and mean-zero conditions, which would directly contradict the claim.","tokens_in":79883,"feed_emoji":"🌊","tokens_out":3402,"duration_ms":41049,"temperature":0.7,"pith_summary":"The paper proves a global regularity theorem for the axially symmetric Navier–Stokes equations in the exterior of a cone when the boundary obeys the Navier total-slip condition. It shows that if the initial swirl, measured by r v_{0,θ}, is bounded by an absolute constant and has vanishing weighted integral over the cone, then for any time T a unique strong solution exists, is bounded, has finite energy, and satisfies the natural energy inequality. The result holds without any smallness on the radial and axial components and without parity assumptions. The proof pivots on three new 'good unknowns' that absorb the boundary-induced singularities, a new anisotropic Hardy inequality for mean-zero functions, and a De Giorgi iteration that propagates the smallness of r v_θ for all times. As applications, the authors derive 'controlled regularity' — a forcing supported away from the symmetry axis can force any suitable initial data to produce global strong solutions — and show that any finite-time blow-up solution implies the existence of an unstable blow-up solution.","feed_headline":"Small, mean-zero swirl: global smooth flow past a cone","feed_subtitle":"Axially symmetric Navier–Stokes with the total-slip wall condition admits bounded global strong solutions — no smallness on other components","key_machinery":"The backbone is a triple (K,F,O) of second-order 'good unknowns' built from vorticity and velocity: K = sinφ/ρ² ∂φ(vθ/sinφ), F = −∂ρ(vθ/ρ), and O = Ω − 2v_φη/(ρ² sinφ), where Ω=ω_θ/(ρ sinφ) is Ladyzhenskaya's quantity. These are chosen so that K vanishes on the cone rays and O vanishes on the whole boundary, converting the bad boundary integrals of the total-slip condition into Robin-type or vanishing terms. The argument closes an energy estimate for (K,F,O) using: an elliptic Neumann problem for the pressure with boundary data that are quadratic in velocity; a De Giorgi iteration for Γ=rv_θ to propagate its smallness; and an anisotropic Hardy inequality with constant 2/19 (instead of the cl","core_discovery":"The central claim is Theorem 1.3: on a cone-like domain with aperture α≤π/6, under the Navier total-slip boundary condition, if sup r|v_{0,θ}| ≤ C_* and ∫ r v_{0,θ} = 0, then global bounded strong solutions exist for all T>0, with v in L∞_tx ∩ H1_t L2_x ∩ L2_t H2_x and P in L2_t H1_x; the weighted angular momentum ∫ r v_θ is conserved and the energy inequality holds. Uniqueness holds among strong solutions. The genuinely new content is that the total-slip (β=0) boundary is treated directly: unlike the NHL case, boundary terms from integration by parts have bad signs, and the proof absorbs them through the new unknowns K, F, O, a pressure estimate, a De Giorgi argument for L∞ control of Γ=rv_","pith_inferences":["The anisotropic Hardy inequality with constant 2/19 suggests a template for other wedge or sector geometries where a weighted mean-zero condition can replace symmetry assumptions; one can test it on apertures larger than π/6 or on non-conic corners.","The theorem's scope depends on the admissible class A: if it turns out that every natural C² total-slip field is in A, Theorem 1.3 is fully general; a density proof in that direction would remove the current artificial restriction.","The controlled-regularity construction implicitly raises a control-theoretic question: what is the minimal support or minimal norm of a forcing placed away from the axis that still guarantees global regularity, and can the construction be made quantitative in terms of the initial data alone?","The mean-zero condition on r v_{0,θ} is shown necessary for the energy inequality to hold; this suggests exploring near-zero, rather than exactly zero, angular momentum as a possible route to nearly-global bounds."],"forward_implications":["For any initial velocity in the admissible class with small, mean-zero swirl, the cone-flow problem has a unique global bounded strong solution with finite energy, for every T>0.","The result removes the parity and symmetry assumptions used in earlier cone-flow work, extending to asymmetric cone-like domains with two different aperture angles.","Controlled regularity holds: for suitable initial data without any smallness, an external force supported away from the symmetry axis can be chosen so that the forced problem has a global strong solution; the same construction works in R³.","If the unforced problem ever possesses a strong solution that blows up in finite time, then it also possesses an unstable blow-up solution in the sense that arbitrarily small C² perturbations of its swirl component yield global solutions."],"fun_headline_variants":["Total-slip cone flow: global solutions from small, mean-zero swirl alone","Axisymmetric cone flow survives small swirl with total-slip walls","Global strong flow past a cone: tiny swirl is enough","Cone flow goes global: no parity needed, just small zero-mean swirl","Small swirl, zero mean: global strong solutions on a cone with total slip"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The theorem is proved only for initial data in the admissible class A — C² limits of fields on domains truncated away from the cone vertex — and the paper itself says it is unclear whether every C² field satisfying the total-slip boundary condition lies in A; if the approximation limit does not reinstate total-slip at the vertex strongly enough for the uniqueness argument, the result covers a strict subclass.","fun_headline_variants_meta":{"raw":{"variants":["Total-slip cone flow: global solutions from small, mean-zero swirl alone","Axisymmetric cone flow survives small swirl with total-slip walls","Global strong flow past a cone: tiny swirl is enough","Cone flow goes global: no parity needed, just small zero-mean swirl","Small swirl, zero mean: global strong solutions on a cone with total slip"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00072,"raw_usage":{"total_tokens":3174,"prompt_tokens":957,"completion_tokens":2217,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":701,"completion_tokens_details":{"reasoning_tokens":2132}},"tokens_in":701,"tokens_out":2217,"duration_ms":19090,"temperature":1.0,"reasoning_tokens":2132,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T13:13:16.118225+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a natural C², divergence-free, total-slip initial field on the cone that satisfies sup r|v_{0,θ}| ≤ C_* and ∫ r v_{0,θ}=0 but cannot be approximated in C² by the truncated admissible fields A_m; if such a field exists, Theorem 1.3 would not cover it. Alternatively, exhibit a finite-time blow-up for data satisfying the theorem's smallness and mean-zero conditions, which would directly contradict the claim.","supporting_citations":[],"review_version":3}