pith. sign in

arxiv: 2606.21783 · v1 · pith:5GCHHII6new · submitted 2026-06-19 · 🧮 math.AP

Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

Runlong Yu This is my paper

Pith reviewed 2026-06-26 13:20 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationsCKN bad scalesfinite-chain countingone-component compactnesssuitable weak solutionscanonical detectorpressure residuals
0
0 comments X

The pith

Finite sets of CKN-bad scales for 3D Navier-Stokes have weighted size bounded by nonnegative channel costs from vertical concentration and residuals.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves a finite-chain counting theorem for Caffarelli-Kohn-Nirenberg bad scales of suitable weak solutions to the three-dimensional incompressible Navier-Stokes equations. The main result bounds the weighted size of a finite set of these bad scales by nonnegative costs from vertical one-component concentration, annular leakage, pressure-tail terms, and pressure-flux-energy residuals. The proof closes using qualitative one-component compactness under a full local critical bound, where small vertical components imply CKN smallness at smaller radii. It also constructs an amended canonical detector with energy, flux, pressure-tail, low-pressure-mode, and residual coordinates to prove the counting properties.

Core claim

The central discovery is that the weighted size of any finite collection of CKN-bad scales in suitable weak solutions of the 3D Navier-Stokes equations is bounded by the sum of nonnegative channel costs consisting of vertical one-component concentration, annular leakage, pressure-tail terms, and pressure-flux-energy residuals. This bound is established via the closing mechanism of qualitative one-component compactness under a full local critical bound. Additionally, an amended canonical detector is defined and shown to satisfy upper realization, lower audit, CKN extraction, and finite-chain bad-scale counting.

What carries the argument

Qualitative one-component compactness under a full local critical bound, which serves as the closing mechanism by ensuring that a small vertical velocity component forces CKN smallness at a smaller radius.

If this is right

  • The size of bad scales can be controlled using physical quantities like energy concentration and pressure residuals.
  • This provides a standard PDE closure for the finite-chain counting of bad scales.
  • The canonical detector allows for a realization of the counting without relying on the original abstract detector.
  • Finite-chain counting applies to both the standard PDE channels and the amended detector.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If this compactness mechanism generalizes, it could apply to other nonlinear PDEs with similar scaling.
  • The detector coordinates might enable numerical algorithms to detect and count bad scales in simulations of fluid flows.
  • Connections to other partial regularity results may allow refining the bounds using additional physical constraints.

Load-bearing premise

Qualitative one-component compactness holds under a full local critical bound so that small vertical components force CKN smallness at smaller radii.

What would settle it

Observation of a suitable weak solution to the Navier-Stokes equations where a small vertical velocity component fails to imply CKN smallness at a smaller radius under the local critical bound.

read the original abstract

This paper proves a finite-chain counting theorem for Caffarelli--Kohn--Nirenberg bad scales of suitable weak solutions to the three-dimensional incompressible Navier--Stokes equations. The main standard-PDE result bounds the weighted size of a finite set of CKN-bad scales by nonnegative channel costs consisting of vertical one-component concentration, annular leakage, pressure-tail terms, and pressure--flux--energy residuals. The proved closing mechanism is qualitative one-component compactness under a full local critical bound: small vertical component forces CKN smallness at a smaller radius. The paper then gives a canonical detector realization of the same finite-window counting philosophy. The original abstract detector is not identified with standard PDE channels; instead, a new amended canonical detector is defined using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates. For this amended detector, we prove upper realization, lower audit, CKN extraction, and finite-chain bad-scale counting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves a finite-chain counting theorem for CKN-bad scales of suitable weak solutions to the 3D incompressible Navier-Stokes equations. It bounds the weighted size of a finite set of such bad scales by nonnegative channel costs from vertical one-component concentration, annular leakage, pressure-tail terms, and pressure-flux-energy residuals. The closing mechanism is a qualitative one-component compactness result under a full local critical bound, whereby small vertical velocity component implies CKN smallness at a strictly smaller radius. The paper also constructs an amended canonical detector using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates, proving for it upper realization, lower audit, CKN extraction, and the finite-chain counting.

Significance. If the compactness implication holds without hidden assumptions on pressure or annular terms, the work supplies an explicit nonnegative channel decomposition for controlling the weighted measure of CKN-bad scales together with a concrete amended detector realization. This could be useful for further regularity analysis or numerical detection of potential singularities, provided the channel costs close the estimate as claimed.

major comments (2)
  1. [standard-PDE result (abstract and introduction)] The standard-PDE finite-chain result invokes qualitative one-component compactness under a full local critical bound as the mechanism that absorbs the vertical one-component concentration channel into the weighted bad-scale measure. No specific lemma, proposition, or self-contained argument establishing that small vertical component forces CKN smallness at a smaller radius is referenced or outlined, making it impossible to verify whether the implication holds without additional assumptions on the pressure-tail or annular terms.
  2. [canonical detector realization section] The amended canonical detector is defined using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates. The proofs of upper realization, lower audit, and CKN extraction are stated to hold, but without visible details on how these coordinates interact with the original CKN counting or whether the finite-dimensional residual is controlled independently of the bad-scale set, the lower-audit and extraction steps cannot be assessed for circularity.
minor comments (2)
  1. [abstract] The abstract states that the original abstract detector is not identified with standard PDE channels, but does not clarify the precise relation between the amended detector and the channel costs used in the standard-PDE count.
  2. [introduction] Notation for the 'full local critical bound' and the precise meaning of 'qualitative one-component compactness' should be defined at first use with an explicit statement of the radius reduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the identification of points where additional clarity would strengthen the presentation. We respond to each major comment below.

read point-by-point responses

  1. Referee: [standard-PDE result (abstract and introduction)] The standard-PDE finite-chain result invokes qualitative one-component compactness under a full local critical bound as the mechanism that absorbs the vertical one-component concentration channel into the weighted bad-scale measure. No specific lemma, proposition, or self-contained argument establishing that small vertical component forces CKN smallness at a smaller radius is referenced or outlined, making it impossible to verify whether the implication holds without additional assumptions on the pressure-tail or annular terms.

    Authors: The qualitative one-component compactness is established as Proposition 3.4 in the manuscript. Under the full local critical bound, the argument shows that a sufficiently small vertical velocity component implies CKN smallness at a strictly smaller radius; the proof uses only the local energy inequality for suitable weak solutions and does not rely on further assumptions about pressure-tail or annular terms (those quantities are controlled separately by the other channel costs). We will insert an explicit forward reference to Proposition 3.4 in the abstract and introduction. revision: yes

  2. Referee: [canonical detector realization section] The amended canonical detector is defined using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates. The proofs of upper realization, lower audit, and CKN extraction are stated to hold, but without visible details on how these coordinates interact with the original CKN counting or whether the finite-dimensional residual is controlled independently of the bad-scale set, the lower-audit and extraction steps cannot be assessed for circularity.

    Authors: The coordinate interactions and the independence of the finite-dimensional residual are treated in Lemmas 5.2 and 5.4. The residual is controlled by a compactness argument on a fixed finite set of modes that does not reference the bad-scale set. The logical sequence is upper realization, followed by lower audit performed on the detector coordinates, followed by CKN extraction; this ordering precludes circularity. We will add a brief explanatory paragraph summarizing these dependencies in the revised version. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation chain presented as self-contained.

full rationale

The abstract states that the paper proves the qualitative one-component compactness under a full local critical bound as the explicit closing mechanism, and separately proves upper realization, lower audit, CKN extraction, and finite-chain counting for the amended detector. No load-bearing step is shown reducing by construction to an input, self-citation, or fitted parameter; the central bound is described as following from the proved compactness implication rather than being equivalent to it by definition. The provided text supplies no equations or citations that would trigger any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Assessment based solely on abstract; full text not available so ledger entries are minimal inferences from stated assumptions.

axioms (1)
  • domain assumption Suitable weak solutions to the 3D incompressible Navier-Stokes equations satisfy the standard local energy inequality and are defined in the usual distributional sense.
    Required for the CKN-bad scale definition and the one-component compactness statement.
invented entities (1)
  • Amended canonical detector no independent evidence
    purpose: Realizes the finite-window counting philosophy using energy, flux, pressure-tail, retained low-pressure-mode, and finite-dimensional residual coordinates.
    Newly defined construction whose properties are proved in the paper.

pith-pipeline@v0.9.1-grok · 5692 in / 1093 out tokens · 39273 ms · 2026-06-26T13:20:40.075028+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Structural Audit of Navier-Stokes Obstruction Calculus

    math.AP 2026-06 unverdicted novelty 3.0

    Audit of Navier-Stokes obstruction calculus shows existing decompositions locate CKN badness transport but lack coercive estimates, proving a resolution lemma and identifying the need for a filtered stretching-diffusi...

Reference graph

Works this paper leans on

27 extracted references · 23 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica63(1934), 193–248

    J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace,Acta Mathematica 63(1934), 193–248. DOI:https://doi.org/10.1007/BF02547354

    work page doi:10.1007/bf02547354 1934

  2. [2]

    Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen,Mathema- tische Nachrichten4(1951), 213–231

    E. Hopf, ¨Uber die Anfangswertaufgabe f¨ ur die hydrodynamischen Grundgleichungen. Erhard Schmidt zu seinem 75. Geburtstag gewidmet,Mathematische Nachrichten4 (1950/51), no. 1–6, 213–231. DOI:https://doi.org/10.1002/mana.3210040121

    work page doi:10.1002/mana.3210040121 1950

  3. [3]

    Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no

    V. Scheffer, Partial regularity of solutions to the Navier–Stokes equations,Pacific Journal of Mathematics66(1976), no. 2, 535–552. DOI:https://doi.org/10.2140/ pjm.1976.66.535

    1976

  4. [4]

    Scheffer, Hausdorff measure and the Navier–Stokes equations,Communications in Mathematical Physics55(1977), no

    V. Scheffer, Hausdorff measure and the Navier–Stokes equations,Communications in Mathematical Physics55(1977), no. 2, 97–112. DOI:https://doi.org/10.1007/ BF01626512

    1977

  5. [5]

    Caffarelli, R

    L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier–Stokes equations,Communications on Pure and Applied Mathematics35 (1982), no. 6, 771–831. DOI:https://doi.org/10.1002/cpa.3160350604. 15

    work page doi:10.1002/cpa.3160350604 1982

  6. [6]

    Sohr and W

    H. Sohr and W. von Wahl, On the regularity of the pressure of weak solutions of Navier–Stokes equations,Archiv der Mathematik46(1986), 428–439. DOI:https: //doi.org/10.1007/BF01210782

    work page doi:10.1007/bf01210782 1986

  7. [7]

    Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no

    F.-H. Lin, A new proof of the Caffarelli–Kohn–Nirenberg theorem,Communications on Pure and Applied Mathematics51(1998), no. 3, 241–257. DOI:https://doi.org/10. 1002/(SICI)1097-0312(199803)51:3<241::AID-CPA2>3.0.CO;2-A

    1998

  8. [8]

    Constantin, W

    P. Constantin, W. E, and E. S. Titi, Onsager’s conjecture on the energy conservation for solutions of Euler’s equation,Communications in Mathematical Physics165(1994), no. 1, 207–209. DOI:https://doi.org/10.1007/BF02099744

    work page doi:10.1007/bf02099744 1994

  9. [9]

    G. L. Eyink, Energy dissipation without viscosity in ideal hydrodynamics. I. Fourier analysis and local energy transfer,Physica D78(1994), no. 3–4, 222–240. DOI: https://doi.org/10.1016/0167-2789(94)90117-1

    work page doi:10.1016/0167-2789(94)90117-1 1994

  10. [10]

    Duchon and R

    J. Duchon and R. Robert, Inertial energy dissipation for weak solutions of incompressible Euler and Navier–Stokes equations,Nonlinearity13(2000), no. 1, 249–255. DOI: https://doi.org/10.1088/0951-7715/13/1/312

    work page doi:10.1088/0951-7715/13/1/312 2000

  11. [11]

    G. A. Seregin and V. ˇSver´ ak, Navier–Stokes equations with lower bounds on the pres- sure,Archive for Rational Mechanics and Analysis163(2002), no. 1, 65–86. DOI: https://doi.org/10.1007/s002050200199

    work page doi:10.1007/s002050200199 2002

  12. [12]

    Escauriaza, G

    L. Escauriaza, G. Seregin, and V. ˇSver´ ak,L3,∞-solutions of Navier–Stokes equations and backward uniqueness,Russian Mathematical Surveys58(2003), no. 2, 211–250. DOI:https://doi.org/10.1070/RM2003v058n02ABEH000609

    work page doi:10.1070/rm2003v058n02abeh000609 2003

  13. [13]

    Kukavica and M

    I. Kukavica and M. Ziane, One component regularity for the Navier–Stokes equations, Nonlinearity19(2006), no. 2, 453–469. DOI:https://doi.org/10.1088/0951-7715/ 19/2/012

    work page doi:10.1088/0951-7715/ 2006

  14. [14]

    Cao and E

    C. Cao and E. S. Titi, Global regularity criterion for the 3D Navier–Stokes equa- tions involving one entry of the velocity gradient tensor,Archive for Rational Me- chanics and Analysis202(2011), no. 3, 919–932. DOI:https://doi.org/10.1007/ s00205-011-0439-6

    2011

  15. [15]

    G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2015, x+258 pp. DOI: https://doi.org/10.1142/9314

    work page doi:10.1142/9314 2015

  16. [16]

    Chemin and P

    J.-Y. Chemin and P. Zhang, On the critical one component regularity for 3-D Navier– Stokes system,Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, S´ erie 449(2016), no. 1, 131–167. DOI:https://doi.org/10.24033/asens.2278

    work page doi:10.24033/asens.2278 2016

  17. [17]

    Chemin, P

    J.-Y. Chemin, P. Zhang, and Z. Zhang, On the critical one component regularity for 3-D Navier–Stokes system: general case,Archive for Rational Mechanics and Analysis 224(2017), no. 3, 871–905. DOI:https://doi.org/10.1007/s00205-017-1089-0

    work page doi:10.1007/s00205-017-1089-0 2017

  18. [18]

    B. Han, Z. Lei, D. Li, and N. Zhao, Sharp one component regularity for Navier– Stokes,Archive for Rational Mechanics and Analysis231(2019), no. 2, 939–970. DOI: https://doi.org/10.1007/s00205-018-1292-7

    work page doi:10.1007/s00205-018-1292-7 2019

  19. [19]

    Barker and C

    T. Barker and C. Prange, Quantitative regularity for the Navier–Stokes equations via spatial concentration,Communications in Mathematical Physics385(2021), no. 2, 717–792. DOI:https://doi.org/10.1007/s00220-021-04122-x. 16

    work page doi:10.1007/s00220-021-04122-x 2021

  20. [20]

    Kang and D

    K. Kang and D. D. Nguyen, Local regularity criteria in terms of one velocity component for the Navier–Stokes equations,Journal of Mathematical Fluid Mechanics25(2023), no. 1, article no. 10, 15 pp. DOI:https://doi.org/10.1007/s00021-022-00754-8

    work page doi:10.1007/s00021-022-00754-8 2023

  21. [21]

    Albritton, T

    D. Albritton, T. Barker, and C. Prange, Epsilon regularity for the Navier–Stokes equa- tions via weak–strong uniqueness,Journal of Mathematical Fluid Mechanics25(2023), no. 3, article no. 49, 12 pp. DOI:https://doi.org/10.1007/s00021-023-00780-0

    work page doi:10.1007/s00021-023-00780-0 2023

  22. [22]

    Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier-Stokes Equations

    R. Yu, Finite-Scale One-Component Regularity via Harmonic Pressure for the 3D Navier–Stokes Equations, arXiv preprint arXiv:2606.08352 [math.AP], 2026. DOI: https://doi.org/10.48550/arXiv.2606.08352

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.08352 2026

  23. [23]

    Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

    R. Yu, Strict 2.5D Shadows for One-Component Navier–Stokes Regularity, arXiv preprint arXiv:2606.11720 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv. 2606.11720

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv 2026

  24. [24]

    Schur Visibility and Anti-Phantom Reduction in One-Component Navier-Stokes Degeneration

    R. Yu, Schur Visibility and Anti-Phantom Reduction in One-Component Navier–Stokes Degeneration, arXiv preprint arXiv:2606.12267 [math.AP], 2026. DOI:https://doi. org/10.48550/arXiv.2606.12267

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.12267 2026

  25. [26]

    Yu, Critical Ledgers and Scale-Defect Cascades for Navier–Stokes, arXiv preprint arXiv:2606.13887 [math.AP], 2026

    R. Yu, Critical Ledgers and Scale-Defect Cascades for Navier–Stokes, arXiv preprint arXiv:2606.13887 [math.AP], 2026. DOI:https://doi.org/10.48550/arXiv.2606. 13887

    work page doi:10.48550/arxiv.2606 2026

  26. [27]

    Yu, Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier–Stokes, arXiv preprint arXiv:2606.15086 [math.AP], 2026

    R. Yu, Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier–Stokes, arXiv preprint arXiv:2606.15086 [math.AP], 2026. DOI:https: //doi.org/10.48550/arXiv.2606.15086

    work page doi:10.48550/arxiv.2606.15086 2026

  27. [28]

    Yu, Finite-Window Computational Anti-Phantom Theorems for Scale-Critical Navier– Stokes Defects, arXiv preprint arXiv:2606.15456 [math.AP], 2026

    R. Yu, Finite-Window Computational Anti-Phantom Theorems for Scale-Critical Navier–Stokes Defects, arXiv preprint arXiv:2606.15456 [math.AP], 2026. DOI: https://doi.org/10.48550/arXiv.2606.15456. 17

    work page doi:10.48550/arxiv.2606.15456 2026