REVIEW 2 major objections 4 minor 1 references
Instantaneous blowup of incompressible flow with passive tracer
T0 review · 2 major / 4 minor · reviewed 2026-07-12 · grok-4.5
Pith's one-line read Weak solutions of incompressible flow with a passive tracer can have both velocity and tracer blow up instantly at a finite time while remaining smooth away from that instant.
desk verdict Solid convex-integration extension: new tensor-vector lemma lets them get simultaneous L^∞ blow-up for velocity and passive tracer, plus a clean critical-rate 2D MHD family. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The simultaneous tensor-vector decomposition lemma (Lemma 3.2), which realises a prescribed symmetric stress and a prescribed vector field with a common set of directional amplitudes; it supplies the recursive amplitude identities needed to propagate both the velocity cascade and the passive tracer while keeping residual errors small enough for a fixed-point corrector to close.
What would settle it
An explicit numerical check that the simultaneous geometric identities (4.15) fail for every admissible choice of amplitudes once the frequency hierarchy is fixed, or a proof that the residual stresses cannot be made smaller than the principal cascade terms for any parameter regime.
Extended reading notes
Core claim
There exists a family of weak solutions (u,b) of the incompressible flow with passive tracer such that both ||u(t)||_L^∞ and ||b(t)||_L^∞ blow up as t approaches a finite time T_*, while the solutions remain classical away from T_*. An infinite family of instantaneous blow-up solutions of the two-dimensional MHD system is also obtained, with critical velocity blow-up rate, and the non-uniqueness is sharp relative to the endpoint Ladyzhenskaya–Prodi–Serrin space L^{2}_t L^∞_x.
Load-bearing premise
That the recursive amplitudes produced by the new tensor-vector decomposition can be made to satisfy all the required geometric identities at once while still keeping every residual stress and transport error small enough for the final corrector to converge.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs weak solutions (u,b) of the 2D incompressible Navier–Stokes system with a passive tracer (1.1) such that both ||u(t)||_L^∞ and ||b(t)||_L^∞ blow up as t o T_*, while remaining smooth away from T_*. The construction adapts the inverse-cascade convex-integration scheme of [CDP25] by introducing a simultaneous tensor-vector decomposition (Lemma 3.2) that realizes the three geometric identities (4.15) with common amplitude coefficients; the principal ansatz, residual estimates (Props. 5.1–5.4), and fixed-point corrector (Section 6) then close. An infinite family of instantaneous blow-up solutions for genuine 2D MHD (1.2) is obtained perturbatively around the NSE profile of [CDP25], with critical velocity rate and non-uniqueness borderline to L^{2}_t L^∞_x (Theorems 1.2, 1.5). Higher-dimensional statements are asserted by reference to [Dai26].
Significance. If correct, the result is a substantial extension of the recent instantaneous-blow-up theory for Navier–Stokes: it shows that an advected scalar can be forced to blow up simultaneously with the velocity while preserving the same principal profiles, and that the non-uniqueness is sharp relative to the Ladyzhenskaya–Prodi–Serrin endpoint. The new simultaneous decomposition lemma is a clean structural contribution that may be reusable for other coupled systems. The 2D-MHD perturbative route is especially economical, converting an existing NSE blow-up profile into an infinite family of MHD solutions with controlled magnetic field. The work sits squarely in the active convex-integration program and supplies a concrete, checkable mechanism rather than an abstract existence argument.
major comments (2)
- The load-bearing compatibility step is the simultaneous realization of the three identities (4.15) by the amplitudes of Lemma 4.2 via the new decomposition Lemma 3.2, followed by the residual bounds of Propositions 5.1–5.4 that feed the fixed-point of Section 6. The argument appears internally consistent: Lemma 3.2 is elementary, the recursion keeps the input inside the open set of the decomposition by taking ε small, and the error estimates recycle the heat-kernel/commutator/oscillation machinery of [CDP25] with only notational substitutions. No algebraic obstruction is visible. Nevertheless, because the constants are non-explicit and the hierarchy (4.1)–(4.3) must be chosen after all other parameters, a short clarifying paragraph (or a schematic dependence diagram) listing the order in which λ, μ, N_{0}, ε and the times t_q are fixed would make the closure transparent to a reader who h
- Theorem 1.4 (higher dimensions) is asserted by a one-sentence reference to the proof of Theorem 1.1 in [Dai26]. While the 2D case is the technically harder one and the higher-D argument is expected to be simpler, a journal-length paper should at least sketch the modifications (or the absence of modifications) required by the passive scalar in d≥3, rather than leaving the claim entirely external.
minor comments (4)
- Abstract and Theorem 1.5: “an infinitely family” should be “an infinite family”.
- Section 3.3: the vanishing of the leading-order magnetic interaction is correctly identified as the obstruction to a direct cascade for genuine 2D MHD; a one-sentence pointer to the corresponding geometric observation in [FLS21] would help the reader.
- Notation: the same symbol ε is used both for the small amplitude constant and for the mollification scale; a brief local redefinition or a different letter for one of them would reduce momentary confusion.
- References: [CDP25] and [Dai26] are still arXiv preprints; if they have been accepted or updated, the bibliographic data should be refreshed before final publication.
Circularity Check
Minor self-citation of the authors' prior NSE cascade [CDP25/Dai26] for the base inverse-cascade mechanism and technical lemmas; the new tensor-vector decomposition and passive-scalar estimates are derived self-containedly inside the paper.
-
self citation load bearing
[Abstract; §1 (after Thm 1.5); §3.1; §8 (Prop 8.5 and final paragraph)]
"The argument adapts the inverse cascade mechanism from [CDP25] to the presence of an advected scalar... We also show... instantaneous blowup solutions to the 2D MHD system... Therefore, the statement of Theorem 1.5 follows from Proposition 8.5 and the 2D NSE blowup profile established in [CDP25]."
The base cascade geometry, frequency hierarchy, pipe cut-offs, and heat-kernel/commutator estimates that drive the principal part are taken from the overlapping-author preprint [CDP25] (and the companion [Dai26] for higher-D). For the genuine 2D MHD result the entire velocity blow-up profile is imported as a black box. While the new compatibility lemma and residual estimates are proved here, the load-bearing scaffolding of the construction is not re-derived from scratch; the circularity is mild because those prior works are independent constructions, not tautological re-statements of the present claims.
full rationale
The paper is an existence construction via convex integration / inverse cascade. The genuinely new load-bearing step (simultaneous realization of the three geometric identities (4.15) by shared amplitudes) is proved from first principles: Lemma 3.2 is elementary (standard geometric lemma plus an auxiliary family of directions that cancel the vector contribution), the amplitude recursion of Lemma 4.2 keeps the input inside the open set of the decomposition by taking ε small, and Propositions 5.1–5.4 recycle heat-kernel/commutator/oscillation estimates with only notational substitutions for the passive-scalar terms. The fixed-point corrector of Section 6 then closes by the same contraction argument used for pure NSE. No quantity is defined in terms of the claimed blow-up rate, no parameter is fitted to data and then re-labeled a prediction, and no uniqueness theorem is imported to forbid alternatives. The only self-citations that carry weight are the adaptation of the cascade geometry and semigroup estimates from the overlapping-author preprints [CDP25, Dai26] and the use of the already-constructed 2D NSE blow-up profile as a black-box background for the perturbative 2D-MHD argument of Section 8. Those citations supply independent geometric and analytic ingredients that are not redefined here; they do not reduce the central claim of the present paper to a tautology. Hence the circularity score remains low (2).
Assumptions & free parameters
free parameters (3)
- frequency growth parameters λ, μ and integer N0
- small amplitude constant ε and cutoff radii
- decreasing sequence of times t_q and frequency scales λ_q
assumptions (4)
- standard math Symmetric geometric lemma (Lemma 3.1) allowing a positive-definite matrix to be written as a sum of rank-one tensors with controlled coefficients
- standard math Heat-semigroup, Littlewood-Paley, and commutator estimates of Lemmas 2.1-2.3
- domain assumption Existence of an instantaneous blowup profile for 2D Navier-Stokes from [CDP25]
- ad hoc to paper Simultaneous tensor-vector decomposition (Lemma 3.2) can be realized with smooth coefficient maps on a neighborhood of the identity
invented entities (2)
-
Simultaneous tensor-vector decomposition lemma (Lemma 3.2)
-
Coupling potential profile marked 'c' in the principal ansatz
Cite this review
Pith. "Pith review of Instantaneous blowup of incompressible flow with passive tracer." pith.science (2026). https://pith.science/paper/OGCEDUDT
@misc{pith2026260411769,
author = {Pith},
title = {Pith review of: Instantaneous blowup of incompressible flow with passive tracer},
year = {2026},
howpublished = {\url{https://pith.science/paper/OGCEDUDT}},
note = {Machine review of arXiv:2604.11769}
}
abstract
We construct a family of solutions $(u,b)$ of the incompressible flow with a passive tracer for which both $\|u(t)\|_{L^\infty}$ and $\|b(t)\|_{L^\infty}$ blow up at time $T_*$. Away from $T_*$, the solutions remain smooth in both space and time. The argument adapts the inverse cascade mechanism from [CDP25] to the presence of an advected scalar, but the passive component creates a new compatibility constraint: the iteration must propagate the tracer while preserving the same principal velocity profiles from one stage to the next. We resolve it by introducing a simultaneous decomposition lemma for a symmetric tensor and a vector field. We also show the existence of an infinitely family of instantaneous blowup solutions to the 2D MHD system, with critical blowup rate for the velocity component according to the scaling of the system. Moreover, the non-uniqueness is sharp in the sense that it occurs in spaces borderline to $L^2_tL_x^\infty$, the endpoint space of the Ladyzhenskaya--Prodi--Serrin type where uniqueness is known.
Reference graph
Works this paper leans on
-
[1]
[BLFNL15] Anne C. Bronzi, Milton C. Lopes Filho, and Helena J. Nussenzveig Lopes,���� ��������� ��� �� �������������� ����� ��� ���� ������� ������, Communications in Mathematical Sciences13(2015), no. 5, 1333–1343. MR3344429 [CDP25] Alexey Cheskidov, Mimi Dai, and Stan Palasek,������������� ���� � ������� ��� �������������� �� ������ ��������� �� ��� ���...
arXiv 2015
Reviewed July 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.