REVIEW 3 major objections 5 minor 2 cited by
Regularity thresholds for anomalous dissipation and related phenomena in passive scalars
T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read Random continuous divergence-free flows almost surely have the renormalization property, ruling out anomalous dissipation and related turbulent laws; in 3D the same holds for Clebsch-structured fields above a 1/8 Hölder threshold.
desk verdict Genuinely new a.s. rigidity result for random autonomous passive scalars; proof is elegant and arithmetic checks out, but the dependence on Alberti–Bianchini–Crippa's exact hypotheses and the local-to-global step need spelling out. 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 central object is the stream function/Clebsch potential: in 2D, v = ∇^⊥φ, and in d≥3, v is defined by ⋆Σ w_i dx_i = dφ_1 ∧ ... ∧ dφ_{d-1}, so that ∇φ_k · v ≡ 0 (the potentials are flow invariants). The mechanism is a two-step dimension argument: a probabilistic bound (relying on the small-ball estimate (2.3)) gives an almost-sure upper bound on the Hausdorff dimension of the set Y where Dφ has rank at most k; then a deterministic lemma bounds the Hausdorff dimension of φ(Y). Playing these two bounds against each other yields the weak Sard property (2D) and the absence of triods in level sets (d≥3, α>1/8), which an imported theorem converts into the DiPerna–Lions renormalization property.
What would settle it
A concrete way to falsify the central claim: construct any continuous divergence-free 2D field whose stream function has a zero-measure critical set (so the weak Sard condition holds) yet whose transport equation admits a bounded weak solution that is not renormalized — such an example would invalidate the imported equivalence on which both theorems rest. In 3D, the analogous counterexample would be a C^{1,α} Clebsch field with α>1/8 meeting (2.3) whose level set φ^{-1}(y) contains a triod for a set of y of positive measure.
Extended reading notes
Core claim
The central discovery is that random smoothness plus a quantitative nondegeneracy forces the critical set of the stream function (2D) or of the Clebsch map (3D) to be small almost surely, and this geometric smallness is exactly what the DiPerna–Lions renormalization property requires. In 2D, the condition P({v(x)=0})=0 for a.e. x directly implies the weak Sard property via Fubini; in d≥3, a small-ball estimate on Dφ yields sharp Hausdorff-dimension bounds on the low-rank locus (Lemma 2.6) which, combined with a deterministic dimension-growth estimate (Lemma 2.7), rule out level-set triods when α>1/8. The authors thus show that anomalous dissipation, Richardson dispersion, anomalous regulariz
Load-bearing premise
The argument depends, at its core, on an imported deterministic theorem stating that the weak Sard property (plus, in d≥3, the absence of triods in level sets) implies the DiPerna–Lions renormalization property; the paper neither reproduces nor relaxes that theorem's hypotheses, so if the theorem does not apply to these exact fields, the almost-sure claims collapse.
Editorial extensions
If this is right
- In d=2, any random continuous divergence-free field with almost surely nonzero pointwise values has, almost surely, unique and renormalized transport solutions for all bounded initial data.
- In d=3, the same conclusion holds for fields of the form ∇φ1 × ∇φ2 whenever φ ∈ C^{1,α}, α>1/8, and Dφ satisfies the small-ball estimate (2.3); no regularity is needed on the scalar itself.
- These flows almost surely cannot exhibit anomalous dissipation: the vanishing-viscosity limit converges strongly in C([0,T],L²) to the inviscid solution.
- They almost surely do not support Richardson dispersion, do not display anomalous regularization (the tracer cannot acquire positive Hölder regularity), and violate the Yaglom law in the spherical-average sense.
- A probabilistic Morse–Sard corollary: random maps T^d → R^{d-1} that are C^{1,α} with α>1/3 and satisfy (2.3) have, almost surely, level sets that are 1-dimensional C¹ submanifolds for a.e. value.
Reading between the lines
- The exponent 1/8 (and 1/3 for classical Sard) comes from the dimension-counting method, so it likely is not the physically relevant boundary; the authors themselves conjecture that the Clebsch structure blocks anomalies already for merely continuous fields, matching the 2D result.
- The small-ball estimate (2.3) is exactly checkable for standard Gaussian random fields and for Fourier/wavelet series with positive coefficients, so the hypotheses are accessible in numerical experiments rather than being black-box.
- The proof separates probability (small critical sets) from deterministic geometry (triods), suggesting that anisotropic or lower-dimensional random fields satisfying an analogous nondegeneracy may also be renormalized almost surely; this is a testable extension.
- Because renormalization also implies convergence of the stochastic Lagrangian flow, the paper indirectly predicts that for these ensembles the 'spontaneous stochasticity' mechanism cannot occur; directly verifying absence of particle separation in simulations would confirm.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies random autonomous divergence-free vector fields on the torus and proves that, under rather mild statistical nondegeneracy assumptions, the DiPerna–Lions renormalization property holds almost surely. In two dimensions the assumption is P({v(x)=0})=0 for a.e. x; in three dimensions the velocity is taken in the Clebsch form v=∇φ1×∇φ2 with φ∈C^{1,α}, α>1/8, and with a small-ball estimate on Dφ. From renormalization the authors infer, almost surely, absence of anomalous dissipation, absence of Richardson dispersion, failure of anomalous regularization, and violation of a Yaglom-type law. The proof combines Fubini with the Alberti–Bianchini–Crippa theorem: probabilistic nondegeneracy yields the weak Sard property, dimension estimates (Lemmas 2.6 and 2.7) rule out triods in the relevant level sets, and the imported ABC theorem then gives renormalization. A separate probabilistic Morse–Sard statement (Theorem 1.5) is proved for random maps φ:T^d→R^{d-1} with α>1/3.
Significance. If the conclusions stand, the paper gives a clean probabilistic mechanism that turns generic nondegeneracy into a strong deterministic rigidity property, and it yields concrete regularity thresholds (α>1/3 for the classical Morse–Sard property, α>1/8 for triod-absence in the Clebsch case). The reduction of several turbulent phenomena to the DiPerna–Lions renormalization property is useful and is collected with proofs, which is a service to the community. The paper is also refreshing in that it is parameter-free: the probabilistic assumptions are explicit and no phenomenon is inserted into the hypotheses. The main theorems are natural counterparts to recent examples of anomalous dissipation and would be a substantial contribution to the passive-scalar literature.
major comments (3)
- [§2.2 and §2.3] The central reduction to the Alberti–Bianchini–Crippa theorem is not fully verifiable as written. The exact theorem from [3] that is being invoked — both the 2D result and the higher-dimensional result in [3, Sec. 6.2–6.3] — is never stated. This matters in two specific places. (i) In §2.2, after treating the mean-zero case, the nonzero-mean case is dismissed with ‘a simple partition of unity’; the authors need [3] to apply on arbitrary simply connected open subsets of the torus, without boundary conditions, and then need a genuine proof that local renormalization in such domains globalizes. (ii) In §2.3, the vector field w from (2.4) is only C^{0,α}, while the authors quote [3] without confirming whether that theorem requires Lipschitz regularity, additional first integrals, or other structure. Since every conclusion in Sections 1 and 3 rests on this step, the exact hypotheses of [3] an
- [Proposition 2.5 / §2.4] The proof of absence of triods has a potentially load-bearing gap. The authors set k=d-3 and aim to prove φ(Y) null for Y={rank Dφ≤d-3}; they then invoke [2, Proof of Lemma 2.16] to assert that level sets intersecting U={rank≥d-2} contain triods only for a null set of y. This is not immediate: at a point of rank d-2 the kernel of Dφ has dimension 2, so triods can be embedded in the level set, and for C^1 maps the image of {rank≤d-2} need not be Lebesgue null. If the reduction to rank≤d-3 is not exactly what [2, Lemma 2.16] provides, then the correct dimension count would involve k=d-2, which would give the threshold α>1/3 rather than α>1/8. Please give the precise statement of [2, Lemma 2.16] and explain why triods that matter for [3] are controlled by rank≤d-3 and not by rank≤d-2.
- [Theorem 3.6 / §3.4] The proof of Theorem 3.6 is written only for d=3: equations (3.16)–(3.18) use integrals over R^3, radial factors r^2 and r^3, and the constant 3/(4π). However, the theorem is stated for both the two-dimensional case of Theorem 1.2 and the three-dimensional case of Theorem 1.4. As written, the d=2 case is not proved; the appropriate constants and Jacobian factors would need to be adjusted to a general dimension d, with 3/(4π) replaced by 1/ω_d. This is likely repairable by a routine dimensional change, but it must be carried out.
minor comments (5)
- [§2.5, display (2.14)] The notation H^{d-c0α+N^{-1}}_∞ is confusing; the exponent should be written as d-c0α+1/N and the Hausdorff pre-measure should be defined explicitly.
- [Theorem 3.1 proof] The upgrade from pointwise strong convergence in L^2 for each t to uniform convergence in C([0,T],L^2) is compressed. It should be justified, for instance by Arzelà–Ascoli applied to the pairings against a countable dense set of test functions, together with the uniform convergence of the norms.
- [Proposition 3.2] The initial data is described as ‘a bounded function which takes a discrete set of values (more than one)’. For the claimed conclusion it is clearer and safer to choose an explicit indicator of a set of positive measure (and not of zero or full measure), so that the obstruction to C^β regularity is transparent.
- [§3.3 and §3.4] Notation is inconsistent: the stochastic flow is denoted X^ε_t, then Y^ε_T and Y_T^ε are used interchangeably; also the spherical-average notation S(θ,v,r) has dimension d but the proof uses R^3. Please harmonize the notation.
- [§4] There is a typo ‘Of coutse’ in the first paragraph; also references [20] and [42]/[43] spell the same author’s name differently (‘Sorella, S.’ vs ‘Sorella, M.’).
Circularity Check
No circularity: the paper's conclusions are derived from external renormalization theorems applied to new probabilistic nondegeneracy inputs; no fitted parameter or self-citation carries the argument.
full rationale
The derivation chain is: probabilistic nondegeneracy assumptions (P({v(x)=0})=0 in d=2; small-ball estimate (2.3) in d≥3) imply, via Fubini and probabilistic dimension estimates, the weak Sard property and absence of triods; then the externally proved Alberti–Bianchini–Crippa theorem [3] gives the DiPerna–Lions renormalization property; finally Sections 3.1–3.4 prove the physical consequences from renormalization. No target phenomenon (anomalous dissipation, Richardson dispersion, anomalous regularization, Yaglom's law) is assumed or fitted; each is shown to contradict renormalization. The key reduction is not to the paper's own prior claims: [3] and [2] are independent external works, not self-citations. The local-to-global partition-of-unity step in §2.2 is compressed and the exact hypotheses of [3] are not restated, but this is a verification/correctness risk, not circularity. The paper explicitly labels the Section 3 consequences as folklore and provides proofs. Conjecture 1.3 is not used in the derivation. The few self-citations ([13], [23], [24]) appear only as standard references inside proofs and are not load-bearing. Therefore no circular step can be exhibited, and the honest score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Alberti–Bianchini–Crippa theorem [3]: weak Sard property (plus no-triods in d≥3) implies the DiPerna–Lions renormalization property for autonomous divergence-free fields.
- domain assumption Alberti–Bianchini–Crippa [2, Lemma 2.16]: triods can only occur over φ(Y) for Y = points where rank Dφ ≤ d−3.
- standard math DiPerna–Lions well-posedness and renormalization theory for transport equations with sufficient regularity.
- standard math Feynman–Kac representation and uniqueness of the martingale problem for SDEs with bounded measurable drift (Stroock–Varadhan).
- standard math Stream-function representation of continuous divergence-free 2D vector fields on simply connected domains, and partition of unity for local-to-global extension.
- standard math Hodge-star construction: v defined by dφ1∧...∧dφ_{d−1} is divergence-free and ∇φ_k·v=0.
Cite this review
Pith. "Pith review of Regularity thresholds for anomalous dissipation and related phenomena in passive scalars." pith.science (2026). https://pith.science/paper/HJP7VSDI
@misc{pith2026260311466,
author = {Pith},
title = {Pith review of: Regularity thresholds for anomalous dissipation and related phenomena in passive scalars},
year = {2026},
howpublished = {\url{https://pith.science/paper/HJP7VSDI}},
note = {Machine review of arXiv:2603.11466}
}
abstract
We prove the absence of anomalous dissipation for passive scalars driven by some random autonomous divergence-free vector fields in $\mathbb T^d$. In dimension $d=2$ we just need continuity almost surely and a mild nondegeneracy condition on the randomness. In dimension $d\geq 3$ we assume a special geometric structure and almost sure H\"older regularity with a H\"older exponent bigger than $\frac{1}{8}$. No regularity is assumed on the passive scalar except for boundedness in the initial data. The proof relies on dimension-theoretic arguments, as opposed to commutator estimates. A consequence of these results is that the same assumptions prevent (almost surely) many other expected properties of turbulent flows, such as anomalous regularization, the Yaglom-Obukhov-Corrsin law, and Richardson diffusion.
Forward citations
Cited by 2 Pith papers
-
Failure of the Weak Sard property without Anomalous Dissipation
There exist autonomous C^α divergence-free planar fields that fail the weak Sard property but induce no anomalous dissipation for advection-diffusion.
-
Non-selection of Lagrangian trajectories in the zero-noise limit for a class of stochastic regularizations
Proves lack of selection of Lagrangian trajectories in the zero-noise limit for SDEs with divergence-free Hölder-α vector fields (α close to 1) under broad additive noises, via Lagrangian flows and stochastic sewing l...
Reference graph
Works this paper leans on
-
[3]
4 [9]Bernard, D., Gawedzki, K., and Kupiainen, A.Slow modes in passive advection.J
4 [8]Bagnara, M., Grotto, F., and Maurelli, M.Anomalous regularization in Kazantsev-Kraichnan model.arXiv:2411.09482(2024). 4 [9]Bernard, D., Gawedzki, K., and Kupiainen, A.Slow modes in passive advection.J. Stat. Phys. 90, 3 (1998), 519–569. 4 [10]Bouchaud, J., Comtet, A., Georges, A., and Le Doussal, P.Anomalous diffusion in random media of any dimensio...
arXiv 2024
-
[1]
[1]Akramov, I., and Wiedemann, E.Renormalization of active scalar equations.Nonlinear Anal. 179 (2019), 254–269. 4 [2]Alberti, G., Bianchini, S., and Crippa, G.Structure of level sets and Sard-type properties of Lipschitz maps.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 12, 4 (2013), 863–902. 6, 7 [3]Alberti, G., Bianchini, S., and Crippa, G.A uniqueness resu...
arXiv 2019
-
[9]
J., and Lions, P.-L.Ordinary differential equations, transport theory and Sobolev spaces
5 [29]DiPerna, R. J., and Lions, P.-L.Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. 98, 3 (1989), 511–547. 2, 5 [30]Donzis, D. A., Sreenivasan, K. R., and Yeung, P. K.Scalar dissipation rate and dissipative anomaly in isotropic turbulence.J. Fluid Mech. 532(2005), 199–216. 1 [31]Drivas, T. D.Anomalous Dissipation, Spo...
1989
-
[14]
S.Onsager’s conjecture on the energy conservation for solutions of Euler’s equation.Comm
4 [21]Constantin, P., E, W., and Titi, E. S.Onsager’s conjecture on the energy conservation for solutions of Euler’s equation.Comm. Math. Phys. 165, 1 (1994), 207–209. 4 [22]Corrsin, S.On the spectrum of isotropic temperature fluctuations in an isotropic turbulence.J. Appl. Phys. 22(1951), 469–473. 2 [23]Crippa, G., and De Lellis, C.Estimates and regulari...
1994
-
[93]
4 [50]Rowan, K.The Obukhov–Corrsin spectrum of passive scalar turbulence through anomalous regulariza- tion.arXiv:2512.02853(2025). 4 [51]Shraiman, B. I., and Siggia, E. D.Scalar turbulence.Nature 405, 6787 (2000),
arXiv 2025
-
[120]
L.Energy dissipation without viscosity in ideal hydrodynamics
4 [36]Eyink, G. L.Energy dissipation without viscosity in ideal hydrodynamics. I. Fourier analysis and local energy transfer.Phys. D 78, 3-4 (1994), 222–240. 4 [37]Eyink, G. L.Local 4/5-law and energy dissipation anomaly in turbulence.Nonlinearity 16, 1 (2003), 137–145. 15 [38]Eyink, G. L., and Xin, J.Self-similar decay in the Kraichnan model of a passive...
arXiv 1994
-
[639]
R.Turbulent mixing: A perspective.Proc
1 [52]Sreenivasan, K. R.Turbulent mixing: A perspective.Proc. Natl. Acad. Sci. 116, 37 (2019), 18175–18183. 1 [53]W arhaft, Z.Passive scalars in turbulent flows.Annu. Rev. Fluid Mech. 32(2000), 203–240. 1 [54]Yaglom, A. M.On the local structure of the temperature field in a turbulent flow.Dokl. Akad. Nauk SSSR 69(1949), 743–746. 2, 15 THRESHOLDS FOR ANOMA...
2019
-
[2017]
3 [32]Drivas, T. D., Elgindi, T. M., Iyer, G., and Jeong, I.-J.Anomalous dissipation in passive scalar transport.Arch. Ration. Mech. Anal. 243(2022), 1151—-1180. 4 [33]Drivas, T. D., Galeati, L., and Pappalettera, U.Anomalous dissipation and regularization in isotropic Gaussian turbulence.arXiv:2509.10211(2025). 4 [34]Duchon, J., and Robert, R.Inertial en...
arXiv 2022
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.