{"id":"782b7a2b-dc0d-4576-b230-57f12e7784c2","arxiv_id":"2607.08866","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"If vorticity direction lies in log-weighted bmo and the profile is a critical point singularity, logarithmic depletion of stretching plus harmonic measure rules out finite-time blow-up.","lead":"A geometric condition on vorticity direction that allows wild oscillations still depletes vortex stretching enough to block certain critical blow-ups in 3D Navier-Stokes. Specialists tracking the regularity problem get a weaker-than-continuity criterion that still forces sparseness below the analyticity radius.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Far-field dyadic BMO tail bound in Theorem 4.1 may not close uniformly under the critical-point profile.","rationale":"The reader correctly flags Definition 2.1 as indispensable for localization, but that assumption is stated explicitly and is used consistently; the more delicate internal step is the far-field commutator estimate that converts the bmo_ϕ control into a vanishing envelope. The telescoping argument as written appears to lose a logarithmic factor that would cancel the desired gain. Because the rest of the architecture (unidirectional cancellation, Lorentz interpolation, sparseness-to-harmonic-measure) is standard once the log envelope is secured, the paper remains a coherent conditional geometric criterion, but the soundness of the key estimate needs specialist verification. Hence the verdict stays CONDITIONAL, now with a sharper technical target.","tokens_in":18653,"tokens_out":612,"duration_ms":5226,"concrete_test":"Re-derive the mid-shell bound (19)–(21) keeping the full telescoping sum ∑_{j=1}^{k+1} ϕ(2^j R) without pulling a uniform 2ϕ(R). Compute the resulting double sum explicitly (or bound it by ∫ ϕ(r)/r dr over [R,R^{1/2}]) and check whether the final L^{3/2,∞}(B_R) norm is still O(1/|log R|) or only O(1). If the latter, Theorem 4.1 fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim (Theorem 7.4) rests on the log-vanishing of the restricted stretching eigenvalue in Theorem 4.1. In the far-field mid-shell estimate (eqs. 16–21), the telescoping of ball averages produces |c_{k+1}-c_0| ≲ ∑_{j=1}^{k+1} ϕ(2^j R). Because ϕ(r)=1/|log r| is slowly varying and the sum runs up to N∼(1/2)log(1/R), the accumulated drift is O(ϕ(R)·log(1/R))=O(1). The subsequent Fubini rearrangement (eq. 20) and the claim that ϕ can be pulled out as 2ϕ(R) therefore appear to under-count the telescoping sum; after multiplication by the kernel scaling 1/R^{2} and the volume factor R^{2} the resulting L^{3/2,∞}(B_R) bound may remain O(1) rather than O(ϕ(R)). If that occurs, the absorption step (25)–(26) fails for large λ and the whole logarithmic pump collapses. The near-field Coifman–Rochberg–Weiss piece is standard; the dyadic tail is the load-bearing step that is least secure.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.5","summary":"The paper proves a conditional regularity criterion for the 3D incompressible Navier-Stokes equations: if a mild solution develops a critical point singularity (vorticity of the form Φ/|x|^{-2} with Φ bounded and |∇Φ| ≲ |x|^{-1}, hence ω ∈ L^∞_t L^{3/2,∞}_x and high super-level sets A_λ contained in balls of radius O(λ^{-1/2})) and the vorticity direction ξ lies in L^∞_t bmo_{1/|log r|}, then the first possible singular time T* cannot be singular. The argument isolates a unidirectional cancellation that rewrites the stretching eigenvalue α as a Calderón–Zygmund commutator, obtains a localized logarithmic bound ||α||_{L^{3/2,∞}(B_R)} ≲ 1/|log R| via Coifman–Rochberg–Weiss plus dyadic BMO tails, feeds the gain into an interpolated De Giorgi energy estimate that places ω in a subcritical Lorentz–Zygmund class, transfers the gain to the velocity via O’Neil’s lemma, and finally shows that the resulting 1D sparseness scale of velocity super-level sets falls below the uniform radius of spatial analyticity, yielding a contradiction by the harmonic-measure maximum principle.","tokens_in":19041,"tokens_out":901,"duration_ms":48752,"significance":"If correct, the result meaningfully weakens the geometric hypotheses of earlier criteria (Constantin–Fefferman Lipschitz, Beirão da Veiga–Berselli ½-Hölder, Giga–Miura uniform continuity) to a log-weighted BMO space that fails the Dini condition and therefore permits highly oscillatory phase defects. The mechanism is self-contained, parameter-free once the sparseness density and leap constant are fixed a priori, and interfaces cleanly with the author’s prior sparseness/analyticity framework. It supplies a concrete geometric-analytic pathway that could rule out certain critical concentration scenarios (including viscous analogues of Moffatt–Kimura configurations) without requiring self-similarity or smallness.","major_comments":[],"minor_comments":[{"comment":"Definition 2.1 contains the typographical error “sconsequence”; correct to “consequence”.","section":null},{"comment":"Section 3, line after (6): “Fundamentaly” should be “Fundamentally”.","section":null},{"comment":"Section 7.2: “sufficently” should be “sufficiently”.","section":null},{"comment":"The ASCII art of Figure 1 is difficult to parse in the arXiv source; a proper vector graphic with clearer panel labels would improve readability.","section":null},{"comment":"In the far-field mid-shell argument of Theorem 4.1 (display (19)–(21)), the Fubini rearrangement that converts the double sum into ∑ 4^{-j} ϕ(2^j R) is essential for obtaining the vanishing factor ϕ(R) rather than an O(1) bound. A short remark emphasizing why the crude telescoping estimate is insufficient would help the reader.","section":null},{"comment":"Several Lorentz-space embeddings (e.g., L^2(B_R) ↪ L^{3/2,∞}(B_R) and the real-interpolation identity L^{3,1}=(L^{3/2,∞},L^{6,2})_{2/3,1}) are used without explicit citation of the precise constants or references; adding standard pointers (Hunt, O’Neil, etc.) would be useful.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The skeptic’s concern about the dyadic tail producing only an O(1) bound is understandable on a first reading, but the Fubini rearrangement together with the geometric decay of the kernel does close the estimate at order ϕ(R). I therefore do not regard it as a load-bearing error. The paper is a solid, self-contained contribution in the geometric-regularity tradition and is appropriate for a strong analysis journal after the minor polishing indicated above."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new piece is a conditional regularity theorem: if vorticity is a critical-point profile (L^{3/2,\\infty} with super-level sets inside R ~ \\lambda^{-1/2} balls) and the direction lives in bmo with weight 1/|log r| (fails Dini, so oscillatory defects are allowed), then no finite-time blow-up. That is a genuine weakening of the Constantin–Fefferman / Beirão–Berselli / Giga–Miura line, which needed Lipschitz, ½-Hölder or uniform continuity.\n\nWhat works well is the architecture. Unidirectional cancellation turns stretching into a commutator; near-field CRW via Jones extension is standard and clean; Lorentz interpolation + De Giorgi produces the Zygmund gain; O’Neil transfers it to velocity; sparseness then sits below the analyticity radius and harmonic measure finishes the contradiction. The free parameters (\\delta=3/4, M) are fixed a priori, not fitted. Citations sit inside the author’s own sparseness program and the classical geometric literature; nothing looks padded.\n\nThe soft spot is real but localized. In the far-field mid-shell of Theorem 4.1 the telescoping of ball averages can accumulate O(1) rather than O(\\varphi(R)) because the sum runs over ~log(1/R) dyadic scales. After the 1/R^{2} kernel and R^{2} volume factors the restricted L^{3/2,\\infty} norm may stay O(1). If that happens the absorption step fails and the log pump collapses. Near-field is fine; the dyadic tail is the load-bearing estimate that needs a specialist re-check. Definition 2.1 is restrictive by design—it is the setting, not a hidden circularity.\n\nThis is for people already inside geometric regularity for NSE. It deserves a serious referee who can verify the dyadic BMO tails. I would send it out; the idea is clean enough that a fix (or a clarification) would still leave a publishable result.","headline":"Solid conditional geometric criterion that weakens direction regularity to log-weighted bmo, but the far-field dyadic tail in Theorem 4.1 needs a careful check before the log pump is trusted.","tokens_in":19601,"tokens_out":538,"would_cite":true,"duration_ms":5979,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","42B20"],"pacs":[],"model":"grok-4.5","headline":"A mild log-weighted condition on vorticity direction depletes stretching enough to stop critical-point blow-up in 3D Navier-Stokes.","keywords":["Navier-Stokes equations","vortex stretching","critical point singularity","bmo log-weighted","Lorentz spaces","harmonic measure","geometric regularity"],"falsifier":"Construct (numerically or analytically) a critical-point concentration of vorticity whose direction lies in bmo_{1/|log r|} yet whose L^{3/2,∞} stretching eigenvalue on the super-level sets remains bounded away from zero as the radius tends to zero; any such example would break the depletion step.","tokens_in":19538,"feed_emoji":"🌀","tokens_out":793,"duration_ms":7655,"temperature":0.7,"pith_summary":"The paper claims that certain candidate finite-time singularities of the three-dimensional Navier-Stokes equations cannot form if the direction of the vorticity field is only mildly regular. The singularities under study are those in which vorticity concentrates critically like 1 over distance squared, so that it sits in the Lorentz space L^{3/2,∞}. The regularity assumed on the direction is membership in a logarithmically weighted BMO space that fails the Dini condition and therefore still allows wild oscillatory defects. Under that geometric hypothesis the nonlinear vortex-stretching term is shown to vanish like 1 over log on the shrinking super-level sets. The depletion upgrades the vorticity into a subcritical Lorentz-Zygmund space, the same logarithmic gain is transferred to the velocity, and the resulting scale of local sparseness falls inside the radius of spatial analyticity. A harmonic-measure maximum principle then yields a contradiction with blow-up. The result matters because it replaces classical continuity or Hölder requirements with a far weaker geometric condition that is still strong enough to suppress the most dangerous critical concentrations.","feed_headline":"Log-weighted vorticity direction stops critical Navier-Stokes blow-up","feed_subtitle":"A mild geometric condition depletes stretching enough to force sparseness inside the analyticity radius","key_machinery":"Unidirectional geometric cancellation: the stretching eigenvalue is rewritten exactly as a Calderón-Zygmund commutator with the direction field; a localized Coifman-Rochberg-Weiss estimate plus dyadic BMO tails then show that the restricted L^{3/2,∞} norm of this commutator is O(1/|log R|) on balls of radius R ~ λ^{-1/2}.","core_discovery":"If a mild solution of the 3D Navier-Stokes equations develops a critical-point singularity (vorticity of order |x|^{-2} in L^{3/2,∞}) while its direction field remains bounded in the space bmo_{1/|log r|}, then the first possible singular time cannot actually be singular. The logarithmic weight forces the stretching eigenvalue to vanish on the super-level sets, improves the distribution function of vorticity, and ultimately drives the geometric sparseness of the velocity below the analyticity radius, contradicting blow-up via the harmonic-measure maximum principle.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Log BMO vorticity direction depletes stretch to avert critical NS blow-up","Mild log-weight on direction blocks finite-time Navier-Stokes singularity","Logarithmic geometric cancellation forces sparseness below analyticity radius","bmo_{1/|log r|} direction vanishes stretching eigenvalue on superlevel sets","Log envelope depletes vortex stretch and drives NS vorticity subcritical"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The vorticity must concentrate in the precise critical-point form that forces every high super-level set inside a ball whose radius shrinks exactly like one over square-root of the height; without that localization the logarithmic vanishing of the stretching does not close.","fun_headline_variants_meta":{"raw":{"variants":["Log BMO vorticity direction depletes stretch to avert critical NS blow-up","Mild log-weight on direction blocks finite-time Navier-Stokes singularity","Logarithmic geometric cancellation forces sparseness below analyticity radius","bmo_{1/|log r|} direction vanishes stretching eigenvalue on superlevel sets","Log envelope depletes vortex stretch and drives NS vorticity subcritical"]},"model":"grok-4.5","effort":"low","cost_usd":0.005972,"raw_usage":{"total_tokens":1578,"prompt_tokens":826,"num_sources_used":0,"completion_tokens":101,"cost_in_usd_ticks":59720000,"prompt_tokens_details":{"text_tokens":826,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":651,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":826,"tokens_out":101,"duration_ms":5918,"temperature":1.0,"reasoning_tokens":651,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T15:26:18.014537+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct (numerically or analytically) a critical-point concentration of vorticity whose direction lies in bmo_{1/|log r|} yet whose L^{3/2,∞} stretching eigenvalue on the super-level sets remains bounded away from zero as the radius tends to zero; any such example would break the depletion step.","supporting_citations":[],"review_version":2}