REVIEW 3 major objections 3 minor 5 cited by
The Leibenson process
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Barenblatt solutions are the marginals of a single stochastic process.
desk verdict Novel McKean–Vlasov representation of the Leibenson equation with derivative-dependent coefficients; plausible and important, but abstract-only and the free-boundary regularity of the marginals is the load-bearing assumption. 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 key object is the McKean-Vlasov SDE whose coefficients are evaluated at the path's own time-marginal density and its first two spatial derivatives, making the stochastic equation a closure of the nonlinear Fokker-Planck picture. The Barenblatt profile — the explicit self-similar source solution of the PDE — is the benchmark this representation must reproduce, and the nonlinear Markov process built from these marginals is the 'Leibenson process' that carries the representation.
What would settle it
Choose a parameter regime of strong degeneracy where the Barenblatt solution has a non-smooth interface or cusp. If the first or second spatial derivative of the marginal density fails to be a well-defined pointwise function at the interface, the coefficient evaluation in the McKean-Vlasov SDE is undefined and the claimed representation cannot hold; one could look for a time where the simulated marginal's derivative diverges while the PDE's Barenblatt solution remains finite.
Extended reading notes
Core claim
The central claim is a probabilistic representation with two parts. First, the Leibenson equation $\partial_t u = \Delta_p u^q$ is identified as the nonlinear Fokker-Planck equation associated with a McKean-Vlasov SDE whose coefficients are functionals of the time-marginal density and its first and second derivatives. Second, the Barenblatt solutions of the PDE are represented as the one-dimensional marginal density curve $u(t,\cdot)$ of those SDE solutions, and the resulting family of laws forms a nonlinear Markov process. The paper also asserts that these solutions are strong in the probabilistic sense — measurable with respect to the driving Brownian motion and initial condition — even th
Load-bearing premise
The main load-bearing premise is that the time-marginal densities of the McKean-Vlasov solution are smooth enough for their first and second spatial derivatives to appear as pointwise coefficients in the SDE; if any density loses enough regularity, the SDE is not even well-posed.
Editorial extensions
If this is right
- If the representation is correct, the Barenblatt solutions of the Leibenson equation can be obtained pathwise from a stochastic equation, not only from PDE analysis.
- The existence of strong solutions means the PDE's probabilistic counterpart has a pathwise meaning, not just a law-level meaning, despite the irregular coefficients.
- The results extend the stochastic approach that works for the porous-medium and p-Laplace equations to a single equation that contains both as special cases.
- The well-posedness of the SDE is tied to regularity of the marginal densities, so the paper's PDE regularity analysis and stochastic existence proof support each other.
Reading between the lines
- One testable extension is that a particle system approximating the McKean-Vlasov SDE could produce numerical Barenblatt solutions in regimes where direct PDE solvers struggle with the degenerate interface.
- The paper's coefficient structure — depending pointwise on derivatives of the marginal density — defines a new class of mean-field SDEs that may appear in other nonlinear diffusion problems beyond this equation.
- The probabilistic representation may suggest a notion of weak solution for the Leibenson equation in low-regularity regimes, defined through SDE paths rather than PDE a priori estimates.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to identify the Leibenson equation ∂_t u = Δ_p u^q, a simultaneous generalization of the porous medium equation and the p-Laplace equation, as a nonlinear Fokker–Planck equation. It further claims to construct a McKean–Vlasov SDE whose coefficients depend pointwise on the time-marginal density and its first and second spatial derivatives, and to show that the Barenblatt solutions of the PDE are exactly the one-dimensional marginal densities of the unique solutions to this SDE. The resulting process, called the Leibenson process, is asserted to be a nonlinear Markov process. A further central claim is that, despite degenerate diffusion and a drift of bounded variation, these solutions are probabilistically strong.
Significance. If the claimed results hold, the paper would provide a substantive bridge between nonlinear PDEs of Leibenson type and Markovian stochastic processes, extending known probabilistic representations for porous medium and p-Laplace equations to a broader family. The novelty of an SDE whose coefficients depend on derivatives of the marginal density, together with strong uniqueness under degenerate diffusion and irregular drift, would be a valuable contribution. However, the abstract alone provides no proofs or derivations, and the central regularity requirement for the marginal densities is not addressed. The full text may supply the necessary theorems, but they are not visible in the abstract.
major comments (3)
- [Abstract, regularity of marginal densities] The SDE coefficients depend pointwise on ρ_t(x), ∂_x ρ_t(x), and ∂_xx ρ_t(x). For the construction to be well-posed, these derivatives must exist and be finite at the points visited by the process. The abstract states only that the drift is of bounded variation, which does not control second derivatives of the density. This is particularly delicate at the free boundary of the Barenblatt solution, where the pressure v = u^q behaves like a power of the distance to the boundary; after taking the q-th root, the density u may have singular derivatives, and ∂_xx v entering the coefficients may be unbounded for some p > 1, q > 0. The manuscript must contain a regularity theorem for the marginal density, or a parameter restriction, proving that ∂_xx ρ is bounded (or at least integrable in a suitable sense) on the support. Without this, the SDE is not even well-defined, and the claimed representa
- [Abstract, uniqueness and strong existence] The abstract asserts that the McKean–Vlasov SDE has unique solutions and that these solutions are probabilistically strong. Because the drift depends on the solution's marginal density and its derivatives, the usual theory of SDEs with BV drift does not directly apply; there is a circular dependence of the coefficients on the law, and the diffusion is degenerate. The manuscript must provide a precise definition of solution (weak vs. strong, pathwise uniqueness vs. uniqueness in law) and prove existence and uniqueness in that class. The abstract gives no indication of the method, but this is essential to the central claim.
- [Abstract, parameter range] The abstract states the equation is considered for p > 1 and q > 0, but the existence and form of Barenblatt solutions, as well as the required regularity of their marginals, may depend on additional restrictions on p and q. For the porous medium case (p = 2) the range q > 0 is natural, but for general p the regularity at the free boundary can differ. If the theorem does not cover all p > 1, q > 0, the abstract should state the exact parameter range. If it does cover all, the regularity claim becomes stronger and must be justified.
minor comments (3)
- [Abstract, notation] The notation Δ_p f is defined, but the reader is not told how u^q is interpreted when u is nonnegative (which is presumably the relevant case for Barenblatt solutions). This should be clarified.
- [Abstract, references] The abstract cites no prior work on probabilistic representations for porous medium or p-Laplace equations. A brief contextualization in the abstract or introduction would help position the novelty.
- [General] This review is based on the abstract only; the full manuscript was not available. Consequently, my comments are limited to what can be inferred from the abstract, and I cannot verify the actual derivations or proofs.
Circularity Check
No circularity identified in abstract-only review.
full rationale
Based solely on the abstract, the paper's claim is a probabilistic representation theorem: it identifies the Leibenson PDE as the Fokker-Planck equation of a McKean-Vlasov SDE and states existence/uniqueness of strong solutions to that SDE. This is a standard equivalence construction and does not reduce to the inputs by definition. No fitted parameters are renamed as predictions; no self-citations are invoked as load-bearing; no ansatz is smuggled in via citation; no uniqueness theorem is imported from the authors' prior work. The regularity concern about pointwise dependence on second derivatives of the marginal density is a correctness/well-posedness condition, not a circularity: the abstract explicitly claims a proof of existence/uniqueness under that condition. Without the full text we cannot exhibit any specific equation that is equivalent to its input by construction. Therefore the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption Existence and sufficient regularity of Barenblatt solutions for the Leibenson equation
- standard math Standard stochastic analysis background, including existence of a driving Brownian motion and Ito calculus
- domain assumption Well-posedness of the nonlinear Fokker-Planck equation corresponding to the SDE
Cite this review
Pith. "Pith review of The Leibenson process." pith.science (2026). https://pith.science/paper/5HNXMYCD
@misc{pith2026250812979,
author = {Pith},
title = {Pith review of: The Leibenson process},
year = {2026},
howpublished = {\url{https://pith.science/paper/5HNXMYCD}},
note = {Machine review of arXiv:2508.12979}
}
abstract
Consider the Leibenson equation \begin{equation*} \partial_t u = \Delta_p u^q, \end{equation*} where $\Delta_p f = div(|\nabla f|^{p-2}\nabla f)$ for $p>1$ and $q>0$, which is a simultaneous generalization of the porous media and the $p$-Laplace equation. In this paper we identify the Leibenson equation as a nonlinear Fokker--Planck equation and prove that it has a nonlinear Markov process in the sense of McKean as its probabilistic counterpart. More precisely, we obtain a probabilistic representation of its Barenblatt solutions as the one-dimensional marginal density curve of the unique solutions to the associated McKean--Vlasov SDE. The latter is of novel type, since its coefficients depend pointwise both on its solution's time marginal densities and also on their first and second order derivatives. Moreover, we show that these solutions constitute the aforementioned nonlinear Markov process, which we call the Leibenson process. A further main result of this work is to prove that despite the strong degeneracy of the diffusion and the irregularity of the drift coefficient (which is merely of bounded variation) of the McKean--Vlasov SDE these solutions are probabilistically strong, i.e., measurable functionals of the driving Brownian motion and the initial condition.
Forward citations
Cited by 5 Pith papers
-
Brownian motion in Minkowski normed spaces
Constructs a pathwise-unique strong solution to a singular McKean-Vlasov SDE whose marginal laws are the fundamental solutions of the nonlinear Finsler heat equation on Minkowski normed spaces.
-
Non-uniqueness of nonlinear Markov processes in the sense of McKean associated with parabolic PDEs
Nonlinear McKean Markov processes are not uniquely determined by their one-dimensional time marginals, demonstrated via multiple constructions for Barenblatt solutions of the porous medium and p-Laplace equations and ...
-
Existence results for Leibenson's equation on Riemannian manifolds
On arbitrary complete Riemannian manifolds, the Cauchy problem for ∂_t u = Δ_p u^q has a bounded nonnegative weak solution when pq≥1, with finite propagation speed in an improved parameter range.
-
Existence results for Leibenson's equation on Riemannian manifolds
The Cauchy problem for ∂t u = Δp u^q on Riemannian manifolds admits a unique weak solution when p>1, q>0, pq≥1 for any initial data in L1(M) ∩ L∞(M).
-
Long time upper bounds for solutions of Leibenson's equation on Riemannian manifolds
A certain upper bound for weak solutions of the Leibenson equation on Riemannian manifolds is equivalent to a Euclidean-type Sobolev inequality.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.