A Structural Audit of Navier-Stokes Obstruction Calculus

Runlong Yu

arxiv: 2606.25341 · v1 · pith:HNZNEFZEnew · submitted 2026-06-24 · 🧮 math.AP

A Structural Audit of Navier-Stokes Obstruction Calculus

Runlong Yu This is my paper

Pith reviewed 2026-06-25 21:17 UTC · model grok-4.3

classification 🧮 math.AP

keywords Navier-Stokes equationsregularity problemobstruction calculusCaffarelli-Kohn-Nirenbergdefect decompositionspartial regularitystretching-diffusion estimate

0 comments

The pith

The Navier-Stokes obstruction calculus tracks how CKN badness moves across scales but cannot yet exclude surviving obstructions.

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

This paper audits a finite-scale program for local regularity of the three-dimensional incompressible Navier-Stokes equations. The program builds critical ledgers, coarse-grained defect decompositions, pressure-flux identities, and bad-scale counters that together form an obstruction calculus. These tools locate how Caffarelli-Kohn-Nirenberg badness can be transported, hidden, or reproduced across scales. The audit proves a resolution lemma that splits full CKN badness into coarse badness and subfilter residual, and shows that no unconditional single-scale domination by a signed combined-work detector holds. It concludes that the calculus requires one additional ingredient, a filtered stretching-diffusion estimate with subgrid forcing, leakage, pressure tails, and direction-incoherence defects, to become a coercive regularity or exclusion mechanism.

Core claim

The existing decomposition theory locates how CKN badness may be transported, hidden, or reproduced across scales, but does not by itself provide a coercive estimate excluding a surviving obstruction. A resolution lemma separates full CKN badness into coarse badness and subfilter residual. No unconditional single-scale domination by a signed combined-work detector is available. The next necessary target is therefore a filtered stretching-diffusion estimate, including subgrid forcing, leakage, pressure tails, and direction-incoherence defects, that can convert the decomposition theory into a genuine regularity or obstruction-exclusion mechanism.

What carries the argument

The obstruction calculus built from critical ledgers, coarse-grained defect decompositions, pressure-flux work identities, quotient cleanings, and bad-scale counting mechanisms, which tracks transport of CKN badness but lacks a coercive exclusion step.

If this is right

The resolution lemma permits separate control of coarse and residual badness components in future estimates.
Absence of single-scale domination requires any exclusion argument to operate across multiple scales simultaneously.
Addition of the filtered stretching-diffusion estimate would turn existing decomposition identities into an obstruction-exclusion tool.
Successful derivation would advance the local regularity question by converting the audit's diagnostic tools into a proof mechanism.

Where Pith is reading between the lines

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

The identified gap suggests that computational searches for near-singular structures should incorporate subfilter diagnostics to test the proposed estimate.
The same obstruction-calculus structure may apply to other supercritical PDEs where partial regularity results already exist.
If the filtered estimate can be closed, it would likely yield quantitative bounds on the size of any potential singular set.

Load-bearing premise

That a filtered stretching-diffusion estimate incorporating subgrid forcing, leakage, pressure tails, and direction-incoherence defects exists and can be derived from current tools to turn the obstruction calculus into a coercive regularity mechanism.

What would settle it

Explicit construction of a filtered stretching-diffusion estimate that produces a coercive bound excluding surviving CKN obstructions, or a concrete counterexample showing that no such estimate can be obtained within the existing decomposition framework.

read the original abstract

We audit a finite-scale program for the local regularity problem of the three-dimensional incompressible Navier--Stokes equations. The program develops critical ledgers, coarse-grained defect decompositions, pressure--flux work identities, quotient cleanings, and bad-scale counting mechanisms. These results form an obstruction calculus: they locate how Caffarelli--Kohn--Nirenberg badness may be transported, hidden, or reproduced across scales, but they do not by themselves provide a coercive estimate excluding a surviving obstruction. We prove a resolution lemma separating full CKN badness into coarse badness and subfilter residual, and show that no unconditional single-scale domination by a signed combined-work detector is available. The audit therefore identifies the next necessary target: a filtered stretching--diffusion estimate, including subgrid forcing, leakage, pressure tails, and direction-incoherence defects, capable of converting the existing decomposition theory into a genuine regularity or obstruction-exclusion mechanism.

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.

Desk Editor's Note private letter to a colleague

This is an internal audit of a Navier-Stokes program that proves a resolution lemma and names a missing estimate, but adds no new coercive bound.

read the letter

The paper audits a finite-scale obstruction calculus for 3D Navier-Stokes regularity. It organizes prior tools—critical ledgers, defect decompositions, pressure-flux identities—and proves a resolution lemma that splits CKN badness into coarse and subfilter parts. It also shows there is no unconditional single-scale domination by a signed work detector.

Those two results are the concrete additions. The audit is clear about its own limits: the existing pieces locate how badness can move across scales but do not yet exclude it. The next target it names is a filtered stretching-diffusion estimate that would have to absorb subgrid forcing, leakage, pressure tails, and direction defects.

The soft spot is exactly what the abstract states. The paper does not derive or verify that missing estimate; it only identifies it as necessary. Because the whole argument stays inside the authors' own program, an outsider cannot easily check whether the new estimate is reachable from the current ledger machinery or whether hidden inconsistencies remain. The self-reference is not hidden, but it does limit independent assessment.

This is for readers already working inside that specific program. A general analyst of Navier-Stokes regularity will find the terminology and scope too narrow. It deserves a serious referee because the resolution lemma is a verifiable claim and the gap diagnosis is explicit, even though the paper does not close the regularity question.

Referee Report

0 major / 0 minor

Summary. The manuscript audits a finite-scale program for the local regularity problem of the three-dimensional incompressible Navier-Stokes equations. It develops critical ledgers, coarse-grained defect decompositions, pressure-flux work identities, quotient cleanings, and bad-scale counting mechanisms that together constitute an obstruction calculus capable of locating how CKN badness may be transported, hidden, or reproduced across scales. The paper proves a resolution lemma separating full CKN badness into coarse badness and subfilter residual, shows that no unconditional single-scale domination by a signed combined-work detector exists, and identifies the next necessary target as a filtered stretching-diffusion estimate that incorporates subgrid forcing, leakage, pressure tails, and direction-incoherence defects.

Significance. If the audit's internal claims hold, the work supplies a precise diagnostic map of the current obstruction-calculus toolkit, explicitly distinguishing what the existing decompositions and work identities can achieve from the coercive estimate still required. This structured identification of a concrete missing ingredient (the filtered stretching-diffusion estimate) is a constructive contribution that can focus subsequent research, even though the manuscript itself does not derive or verify that estimate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; audit is diagnostic and self-contained

full rationale

The paper is an explicit structural audit that develops and then evaluates its own obstruction calculus tools (ledgers, decompositions, work identities, resolution lemma) while openly stating that these do not yet yield a coercive regularity mechanism. It identifies the missing filtered stretching-diffusion estimate as a future target without claiming to construct or prove it. No load-bearing claim reduces by definition, by fitted input renamed as prediction, or by self-citation chain to its own inputs. The derivation chain consists of internal proofs (resolution lemma, absence of single-scale domination) whose scope is delimited in the text itself; the audit structure does not smuggle an ansatz or rename a known result as new unification. This is the normal case of a self-contained diagnostic paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be extracted or verified from the full text.

pith-pipeline@v0.9.1-grok · 5677 in / 1070 out tokens · 19346 ms · 2026-06-25T21:17:42.706658+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 26 canonical work pages · 4 internal anchors

[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 Mathematica63 (1934), no. 1, 193–248. DOI:https://doi.org/10.1007/BF02547354

work page doi:10.1007/bf02547354 1934
[2]

Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math- ematische Nachrichten4(1951), no

E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Mathe- matische Nachrichten4(1950/51), no. 1–6, 213–231. DOI:https://doi.org/10.1002/mana. 3210040121

work page doi:10.1002/mana 1950
[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

work page doi:10.2140/pjm.1976.66.535 1976
[4]

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

work page doi:10.1002/cpa.3160350604 1982
[5]

Integrals and derivatives for correlated Gaussian functions using matrix differentialcalculus

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

work page doi:10.1002/(sici)1097- 1998
[6]

Escauriaza, G

L. Escauriaza, G. Seregin, and V. Šverák,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
[7]

G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific, Hackensack, NJ, 2015. DOI:https://doi.org/10.1142/9314

work page doi:10.1142/9314 2015
[8]

Kukavica and M

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

work page doi:10.1088/0951-7715/19/2/012 2006
[9]

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’École Normale Supérieure49(2016), no. 1, 131–167. DOI: https://doi.org/10.24033/asens.2278

work page doi:10.24033/asens.2278 2016
[10]

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. 25

2019
[11]

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

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

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
[13]

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

1994
[14]

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
[15]

T. M. Leslie and R. Shvydkoy, The energy measure for the Euler and Navier–Stokes equations, Archive for Rational Mechanics and Analysis230(2018), no. 2, 459–492. DOI:https://doi. org/10.1007/s00205-018-1250-4

work page doi:10.1007/s00205-018-1250-4 2018
[16]

Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no

J. Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no. 5/6, 305–338. DOI:https://doi.org/10.57262/ade/ 1489802453

work page doi:10.57262/ade/ 2017
[17]

Compactsetsinthespace𝐿 𝑝 (0, 𝑇;𝐵).AnnalidiMatematica Pura ed Applicata, 146:65–96, 1986

J. Simon, Compact sets in the spaceLp(0,T ;B),Annali di Matematica Pura ed Applicata146 (1986), 65–96. DOI:https://doi.org/10.1007/BF01762360

work page doi:10.1007/bf01762360 1986
[18]

Constantin and C

P. Constantin and C. Fefferman, Direction of vorticity and the problem of global regularity for the Navier–Stokes equations,Indiana University Mathematics Journal42(1993), no. 3, 775–789. DOI:https://doi.org/10.1512/iumj.1993.42.42034

work page doi:10.1512/iumj.1993.42.42034 1993
[19]

T. M. Elgindi, Finite-time singularity formation for C1,αsolutions to the incompressible Euler equations on R3,Annals of Mathematics194(2021), no. 3, 647–727. DOI: https: //doi.org/10.4007/annals.2021.194.3.2

work page doi:10.4007/annals.2021.194.3.2 2021
[20]

Chen and T

J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis, arXiv:2210.07191, 2023. DOI:https://doi.org/10. 48550/arXiv.2210.07191

arXiv 2023
[21]

Chen and T

J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics,Multiscale Modeling & Simulation23 (2025), no. 1, 25–130. DOI:https://doi.org/10.1137/23M1580395

work page doi:10.1137/23m1580395 2025
[22]

Córdoba, L

D. Córdoba, L. Martinez-Zoroa, and F. Zheng, Finite time singularities to the 3D incompressible Euler equations for solutions inC∞(R3\{0})∩C1,α∩L2,Annals of PDE11(2025), article no. 19. DOI:https://doi.org/10.1007/s40818-025-00214-2

work page doi:10.1007/s40818-025-00214-2 2025
[23]

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 degenera- tion, arXiv:2606.12267, 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
[24]

Invisible Defect Cascades for Navier-Stokes Regularity

R. Yu, Invisible defect cascades for Navier–Stokes regularity, arXiv:2606.12756, 2026. DOI: https://doi.org/10.48550/arXiv.2606.12756. 26

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.12756 2026
[25]

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

R. Yu, Critical ledgers and scale-defect cascades for Navier–Stokes, arXiv:2606.13887, 2026. DOI:https://doi.org/10.48550/arXiv.2606.13887

work page doi:10.48550/arxiv.2606.13887 2026
[26]

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:2606.15086, 2026. DOI:https://doi.org/10.48550/arXiv.2606.15086

work page doi:10.48550/arxiv.2606.15086 2026
[27]

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:2606.15456, 2026. DOI:https://doi.org/10.48550/arXiv.2606.15456

work page doi:10.48550/arxiv.2606.15456 2026
[28]

Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

R. Yu, Finite-window local-to-clean transfer and anti-phantom detection for sharp Navier–Stokes packages, arXiv:2606.18476, 2026. DOI:https://doi.org/10.48550/arXiv.2606.18476

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.18476 2026
[29]

Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

R. Yu, Finite-window recursive audit chains for Navier–Stokes generated packages, arXiv:2606.20899, 2026. DOI:https://doi.org/10.48550/arXiv.2606.20899

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.20899 2026
[30]

Yu, Finite-chain CKN-bad scale counting for Navier–Stokes: standard PDE closure and canonical detector realization, arXiv:2606.21783, 2026

R. Yu, Finite-chain CKN-bad scale counting for Navier–Stokes: standard PDE closure and canonical detector realization, arXiv:2606.21783, 2026. DOI:https://doi.org/10.48550/ arXiv.2606.21783. 27

Pith/arXiv arXiv 2026

[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 Mathematica63 (1934), no. 1, 193–248. DOI:https://doi.org/10.1007/BF02547354

work page doi:10.1007/bf02547354 1934

[2] [2]

Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Math- ematische Nachrichten4(1951), no

E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen,Mathe- matische Nachrichten4(1950/51), no. 1–6, 213–231. DOI:https://doi.org/10.1002/mana. 3210040121

work page doi:10.1002/mana 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

work page doi:10.2140/pjm.1976.66.535 1976

[4] [4]

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

work page doi:10.1002/cpa.3160350604 1982

[5] [5]

Integrals and derivatives for correlated Gaussian functions using matrix differentialcalculus

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

work page doi:10.1002/(sici)1097- 1998

[6] [6]

Escauriaza, G

L. Escauriaza, G. Seregin, and V. Šverák,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

[7] [7]

G. A. Seregin,Lecture Notes on Regularity Theory for the Navier–Stokes Equations, World Scientific, Hackensack, NJ, 2015. DOI:https://doi.org/10.1142/9314

work page doi:10.1142/9314 2015

[8] [8]

Kukavica and M

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

work page doi:10.1088/0951-7715/19/2/012 2006

[9] [9]

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’École Normale Supérieure49(2016), no. 1, 131–167. DOI: https://doi.org/10.24033/asens.2278

work page doi:10.24033/asens.2278 2016

[10] [10]

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. 25

2019

[11] [11]

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

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

[12] [12]

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

[13] [13]

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

1994

[14] [14]

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

[15] [15]

T. M. Leslie and R. Shvydkoy, The energy measure for the Euler and Navier–Stokes equations, Archive for Rational Mechanics and Analysis230(2018), no. 2, 459–492. DOI:https://doi. org/10.1007/s00205-018-1250-4

work page doi:10.1007/s00205-018-1250-4 2018

[16] [16]

Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no

J. Wolf, On the local pressure of the Navier–Stokes equations and related systems,Advances in Differential Equations22(2017), no. 5/6, 305–338. DOI:https://doi.org/10.57262/ade/ 1489802453

work page doi:10.57262/ade/ 2017

[17] [17]

Compactsetsinthespace𝐿 𝑝 (0, 𝑇;𝐵).AnnalidiMatematica Pura ed Applicata, 146:65–96, 1986

J. Simon, Compact sets in the spaceLp(0,T ;B),Annali di Matematica Pura ed Applicata146 (1986), 65–96. DOI:https://doi.org/10.1007/BF01762360

work page doi:10.1007/bf01762360 1986

[18] [18]

Constantin and C

P. Constantin and C. Fefferman, Direction of vorticity and the problem of global regularity for the Navier–Stokes equations,Indiana University Mathematics Journal42(1993), no. 3, 775–789. DOI:https://doi.org/10.1512/iumj.1993.42.42034

work page doi:10.1512/iumj.1993.42.42034 1993

[19] [19]

T. M. Elgindi, Finite-time singularity formation for C1,αsolutions to the incompressible Euler equations on R3,Annals of Mathematics194(2021), no. 3, 647–727. DOI: https: //doi.org/10.4007/annals.2021.194.3.2

work page doi:10.4007/annals.2021.194.3.2 2021

[20] [20]

Chen and T

J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis, arXiv:2210.07191, 2023. DOI:https://doi.org/10. 48550/arXiv.2210.07191

arXiv 2023

[21] [21]

Chen and T

J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics,Multiscale Modeling & Simulation23 (2025), no. 1, 25–130. DOI:https://doi.org/10.1137/23M1580395

work page doi:10.1137/23m1580395 2025

[22] [22]

Córdoba, L

D. Córdoba, L. Martinez-Zoroa, and F. Zheng, Finite time singularities to the 3D incompressible Euler equations for solutions inC∞(R3\{0})∩C1,α∩L2,Annals of PDE11(2025), article no. 19. DOI:https://doi.org/10.1007/s40818-025-00214-2

work page doi:10.1007/s40818-025-00214-2 2025

[23] [23]

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 degenera- tion, arXiv:2606.12267, 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

[24] [24]

Invisible Defect Cascades for Navier-Stokes Regularity

R. Yu, Invisible defect cascades for Navier–Stokes regularity, arXiv:2606.12756, 2026. DOI: https://doi.org/10.48550/arXiv.2606.12756. 26

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

[25] [25]

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

R. Yu, Critical ledgers and scale-defect cascades for Navier–Stokes, arXiv:2606.13887, 2026. DOI:https://doi.org/10.48550/arXiv.2606.13887

work page doi:10.48550/arxiv.2606.13887 2026

[26] [26]

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:2606.15086, 2026. DOI:https://doi.org/10.48550/arXiv.2606.15086

work page doi:10.48550/arxiv.2606.15086 2026

[27] [27]

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:2606.15456, 2026. DOI:https://doi.org/10.48550/arXiv.2606.15456

work page doi:10.48550/arxiv.2606.15456 2026

[28] [28]

Finite-Window Local-to-Clean Transfer and Anti-Phantom Detection for Sharp Navier-Stokes Packages

R. Yu, Finite-window local-to-clean transfer and anti-phantom detection for sharp Navier–Stokes packages, arXiv:2606.18476, 2026. DOI:https://doi.org/10.48550/arXiv.2606.18476

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

[29] [29]

Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

R. Yu, Finite-window recursive audit chains for Navier–Stokes generated packages, arXiv:2606.20899, 2026. DOI:https://doi.org/10.48550/arXiv.2606.20899

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

[30] [30]

Yu, Finite-chain CKN-bad scale counting for Navier–Stokes: standard PDE closure and canonical detector realization, arXiv:2606.21783, 2026

R. Yu, Finite-chain CKN-bad scale counting for Navier–Stokes: standard PDE closure and canonical detector realization, arXiv:2606.21783, 2026. DOI:https://doi.org/10.48550/ arXiv.2606.21783. 27

Pith/arXiv arXiv 2026