REVIEW 3 major objections 2 minor 34 references
Moment estimates for the stochastic heat equation on Cartan-Hadamard manifolds
T0 review · 3 major / 2 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper proves that on a Cartan-Hadamard manifold with sectional curvature bounded above by a negative constant, the p-th moment Lyapunov exponent of the stochastic heat equation is bounded by a curvature-corrected expression, and…
desk verdict Right problem, right framework, but the paper's central large-β asymptotics are wrong as written; the errors look fixable and the core result is worth refereeing. 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 load-bearing object is the Davies–Mandouvalos-type heat kernel bound of Theorem 3, $P_t(x,y) \le C h(K_1 t, \sqrt{K_1}d(x,y))$ with $h(t,z) \asymp t^{-n/2}(1+t+z)^{\frac{n-3}{2}}(1+z)e^{-z^2/(4t)-(n-1)^2t/4-(n-1)z/2}$, obtained by combining the Cheeger–Yau comparison theorem with the explicit hyperbolic-space kernel. This bound injects the exponential factor $e^{-(n-1)^2 K_1 t/4}$ into every chaos term, which makes the renewal kernel $\Psi(t) = e^{2bt}\sup_x\|(-\Delta)^{-\alpha}P_t(x,\cdot)\|^2_{L^2}$ integrable and produces the curvature correction in the Lyapunov exponent. The argument runs through a renewal inequality $\mathcal{N}_{k+1}(t) \le \int_0^t \Psi(t-s)\mathcal{N}_k(s)\,ds$, whose Laplace transform yields the functions $F_i$ whose inverse defines $\Theta_\alpha$, followed by hypercontractivity in each Wiener chaos to pass from second to $p$-th moments. For the lower bound, the Feynman–Kac formula for moments rewrites $\mathbb{E}[|u(t,x)|^p]$ as an expectation over $p$ independent Brownian motions with a self-intersection exponential, and the correlation lower bound of Lemma 18 supplies the small-distance singularities of $G_{2\alpha}$ that drive the large-$\beta$ growth.
What would settle it
Invert the function $F_1(\rho)$ from Lemma 11 and compare the resulting $\Theta_\alpha(\beta) = F_1^{-1}(1/(C\beta^2))$ with the asymptotics stated in Theorem 13; the exponents differ (the inverse gives $(C\beta^2)^{1/(2\alpha - n/2 +1)}$, while Theorem 13 states $(C\beta^2)^{1-2\alpha+n/2}$), so a direct check of this identity settles whether the large-$\beta$ sharpness claim is correctly stated.
Extended reading notes
Core claim
The paper's central claim is that negative sectional curvature measurably slows the growth of moments of the stochastic heat equation, and that this slowdown is exactly the spectral-gap quantity $(n-1)^2 K_1/4$ entering through the heat kernel. Concretely, Theorem 14 asserts that for $p\ge 2$ and $u_0 \in L^\infty(M)\cap L^r(M)$, $\limsup_{t\to\infty} \frac{1}{t}\ln \mathbb{E}[u(t,x)^p] \le \frac{p}{2}\big(\Theta_\alpha(\frac{p}{p-1}\beta) - \frac{(n-1)^2}{\max(2,r)}K_1\big)$, with $\Theta_\alpha$ the inverse of a Laplace-transform kernel coming from the fractional Laplacian of the heat kernel. Theorem 22 asserts that, if the sectional curvature is also bounded below by $-K_2$, then in the limit $\beta\to\infty$ the moment growth matches, up to constants, the powers of $\beta^2$ predicted by the upper bound—so the bound is sharp at high noise. The paper further claims that for small $\beta$ the moments decay exponentially when $r<\infty$ and have zero Lyapunov exponent for $r=\infty$, a curvature-induced phase transition. Finally, combining upper and lower bounds yields intermittency in the sense of diverging normalized moment ratios.
Load-bearing premise
Everything in the upper-bound half rests on the heat kernel bound $P_t(x,y)\le C h(K_1 t,\sqrt{K_1}d(x,y))$ delivered by the curvature assumption $\sec M\le -K_1<0$; if that exponential decay factor $e^{-(n-1)^2K_1t/4}$ is absent or weaker, the renewal kernel need not be integrable and the curvature correction in the Lyapunov exponent collapses.
Editorial extensions
If this is right
- Well-posedness: for every $\beta>0$ and every noise regularity $\alpha>(n-2)/4$, the mild solution exists and is unique; the threshold is exactly Dalang's condition and is sharp in the sense that the chaos series diverges for $\alpha \le (n-2)/4$.
- Small-noise decay: if $\beta$ is below the threshold $\beta_c$ defined by $\Theta_\alpha(\beta_c) = \frac{(n-1)^2}{\max(2,r)}K_1$, the $p$-th moment Lyapunov exponent is zero for $r=\infty$ and strictly negative for $r< \infty$, so negative curvature makes moments decay even with multiplicative noise.
- Sharpness at high noise: in the regime $\beta\to\infty$, the lower bound of Theorem 22 grows with the same power of $\beta^2$ (up to logarithmic corrections at $\alpha=n/4$) as the upper bound, so the curvature-corrected exponent is asymptotically exact.
- Intermittency: for any fixed $\beta>0$ and $q\ge 2$, there is $p_0>q$ such that for $p>p_0$ the ratio $\mathbb{E}[|u|^{p}]^{1/p}/\mathbb{E}[|u|^{q}]^{1/q}$ tends to infinity in time, so the solution develops increasingly high peaks.
Reading between the lines
- The same renewal-and-hypercontractivity machinery should transfer verbatim to any manifold whose heat kernel satisfies the Davies–Mandouvalos upper bound (3), such as the asymptotically hyperbolic manifolds cited by the authors; testing the Lyapunov exponent on such an example would separate the role of curvature from the role of the heat-kernel decay rate.
- The exact value of $\Theta_\alpha(\beta)$ away from $\beta\to\infty$ is not identified; a natural conjecture is that the second-moment Lyapunov exponent equals the spectral radius of the renewal operator (the infimum of $\rho$ such that the Laplace transform $\widehat{\Psi}(\rho)<(C\beta^2)^{-1}$), which could be checked numerically on the hyperbolic plane for intermediate $\beta$.
- Because the lower bound uses only the small-distance singularity of $G_{2\alpha}$ and the Dirichlet eigenvalue bound $\lambda(x,R)\le c/R^2 + C$, the intermittency threshold in $p$ is essentially determined by the local regularity of the noise; one prediction is that on manifolds where the heat kernel has slower decay (e.g., asymptotically flat manifolds) the intermittency threshold shifts toward
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs fractional Gaussian noises on Cartan-Hadamard manifolds via integrals of the heat kernel, proves well-posedness of the parabolic Anderson model in the Itô-Walsh sense under the Dalang-type condition α > (n-2)/4, and derives exponential-in-time upper and lower bounds for p-th moments. The upper bound uses a renewal-type chaos estimate and hypercontractivity; the lower bound uses a Feynman-Kac formula and curvature-dependent heat kernel estimates. The advertised conclusion is that negative curvature shifts the moment Lyapunov exponent by a spectral-gap term and that the large-β behavior is sharp.
Significance. If the stated asymptotics were correct, this would be a valuable first treatment of the parabolic Anderson model on noncompact negatively curved manifolds, connecting intermittency with the bottom of the spectrum and making precise the effect of curvature on the required noise regularity. The paper's strengths are that the arguments are transparent, are built on rigorous heat-kernel estimates (Cheeger-Yau and Davies-Mandouvalos), contain no fitted parameters, and are mostly checkable step by step. However, the central large-β exponents and the p-dependence in the upper bound contain algebraic errors, and the lower-bound matching argument needs to be redone; the framework appears salvageable, but the paper is not acceptable in its current form.
major comments (3)
- [Lemma 11(b); Theorem 13(2)(i); Abstract] The large-β exponent for Θα is obtained by an incorrect inversion. Lemma 11(b) gives F1(ρ) ∼ ρ^{-(2α-n/2+1)} as ρ→∞, and Θα(β) is defined as F1^{-1}(1/(Cβ^2)); therefore the correct asymptotic is Θα(β) ∼ (Cβ^2)^{1/(2α-n/2+1)}. The exponent 1-2α+n/2 printed in Theorem 13(i) and in the abstract is 2-(2α-n/2+1), which agrees with the correct value only at α=n/4. For example, when n=3 and α=1/2 the paper's formula gives Θα(β)∼(Cβ^2)^{3/2}, whereas the inversion gives (Cβ^2)^2. This changes the claimed β-scaling of the p-th moment Lyapunov exponent, so the advertised asymptotic sharpness is not established as written.
- [Theorem 14] The argument of Θα in the p-th moment bound is wrong. Hypercontractivity applied to the k-th chaos produces a factor (p-1)^{k/2}β^k, so the convergence condition is C(p-1)β^2 F_i(ρ) < 1, i.e. ρ > Θα(√(p-1)β). The statement's Θα(p/(p-1)β) does not follow from the displayed inequality in the proof, and it is inconsistent with Corollary 15, which uses √(p-1)β < β_c. The correct upper bound should involve Θα(√(p-1)β).
- [Theorem 22(A)] The large-β lower bound does not have the stated normalization or derivation. With r=cβ^{(4α-n-2)/2} and G_{2α}(r) ≥ C r^{4α-n}, the two terms in Q(r)=β^2(p-1)G_{2α}(r)-c/r^2 have exponents 2+(4α-n-2)(4α-n)/2 and -(4α-n-2), neither of which is the claimed (4α-n-2)/2, and the printed normalization 2/(4α-n-2) is not compatible with a finite limit in the displayed inequality. The balancing choice that matches the corrected upper bound is r ∼ β^{-2/(4α-n+2)}, which gives the scaling β^{4/(4α-n+2)}; the proof of Theorem 22(A) should be redone with this choice.
minor comments (2)
- [Theorem 13, property 1 and proof] There is a threshold inconsistency: property 1 states Θα ≡ 0 for β < 1/√(C F_i(0)), while the definition in the proof uses β < 1/(C F_i(0)). Since the convergence condition is Cβ^2 F_i(0) < 1, the square-root version is the correct one.
- [Theorem 22(A) and Remark 23(A)] The exponents in the β-normalization and in the p-normalization should be checked against the corrected large-β scaling; as written they do not match the asymptotic β^{4/(4α-n+2)} obtained from the balancing choice r ∼ β^{-2/(4α-n+2)}.
Circularity Check
No circularity found: moment estimates are derived from external heat-kernel bounds and independent chaos estimates, with only methodological self-citations.
full rationale
The paper's central derivation is not circular. The noise G_alpha is explicitly constructed from the heat kernel in Definition 5, and the upper-bound machinery (Lemma 8, Lemma 11, Theorem 13) uses the heat-kernel upper bound of Theorem 3, which is imported from Cheeger-Yau and Davies-Mandouvalos rather than assumed from the target moment estimate. The p-th moment bound in Theorem 14 combines the chaos-series estimate with hypercontractivity; no parameter is fitted to the moments and then renamed as a prediction. The lower-bound section uses the Feynman-Kac formula and the lower heat-kernel bound, both external tools, and does not assume the upper-bound theorem it aims to match. Citations to the authors' prior works [BCH+24], [BOTW23], and [COV23] are used as proof templates and noise-construction precedents; those works are independently published and do not contain the target Cartan-Hadamard moment estimate, so the self-citations are not load-bearing in the circularity sense. Skeptical concerns about the inversion of the F1 asymptotics in Theorem 13/abstract and the p-dependence in Theorem 14 are mathematical correctness issues, not cases where a result is equivalent to its input by construction. The paper also explicitly acknowledges limitations, such as Remark 20 noting the lower bound is not sharp. There is therefore no circular step to report.
Assumptions & free parameters
assumptions (4)
- domain assumption Heat kernel upper bound Pt(x,y) <= C h(K1 t, sqrt(K1) d(x,y)) under sec M <= -K1 < 0 (Cheeger-Yau and Davies-Mandouvalos)
- domain assumption Heat kernel lower bound Pt(x,y) >= c h(K2 t, sqrt(K2) d(x,y)) under sec M >= -K2 > -infty
- domain assumption Feynman-Kac formula for p-th moments (Theorem 17)
- standard math Wiener chaos expansion and hypercontractivity (Nualart)
Cite this review
Pith. "Pith review of Moment estimates for the stochastic heat equation on Cartan-Hadamard manifolds." pith.science (2026). https://pith.science/paper/5GML5SPQ
@misc{pith2026241109614,
author = {Pith},
title = {Pith review of: Moment estimates for the stochastic heat equation on Cartan-Hadamard manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/5GML5SPQ}},
note = {Machine review of arXiv:2411.09614}
}
abstract
We study the effect of curvature on the Parabolic Anderson model by posing it over a Cartan-Hadamard manifold. We first construct a family of noises white in time and colored in space parameterized by a regularity parameter $\alpha$, which we use to explore regularity requirements for well-posedness. Then, we show that conditions on the heat kernel imply an exponential in time upper bound for the moments of the solution, and a lower bound for sectional curvature imply a corresponding lower bound. These results hold if the noise is strong enough, where the needed strength of the noise is affected by sectional curvature.
Reference graph
Works this paper leans on
-
[1]
Gideon Amir, Ivan Corwin, and Jeremy Quastel. Probability distribution of the free energy of the continuum directed random polymer in 1 + 1 dimensions. Communications on Pure and Applied Mathematics , 64, 2010
work page 2010
-
[2]
The stochastic heat equation: Feynman-kac formula and intermittence
Lorenzo Bertini and Nicoletta Cancrini. The stochastic heat equation: Feynman-kac formula and intermittence. Journal of Statistical Physics , 78:1377--1401, 1995
work page 1995
-
[3]
Parabolic anderson model in bounded domains of recurrent metric measure spaces
Fabrice Baudoin, Li Chen, Che-Hung Huang, Cheng Ouyang, Samy Tindel, and Jing Wang. Parabolic anderson model in bounded domains of recurrent metric measure spaces. arXiv preprint arXiv:2401.01797 , 2024
arXiv 2024
-
[4]
Global harmonic analysis for ^ 4 _3 on closed riemannian manifolds
I Bailleul, NV Dang, L Ferdinand, and Tat Dat T \^o . Global harmonic analysis for ^ 4 _3 on closed riemannian manifolds. arXiv preprint arXiv:2306.07757 , 2023
arXiv 2023
-
[5]
Eigenvalues of the laplacian on balls with spherically symmetric metrics
Stine Marie Berge. Eigenvalues of the laplacian on balls with spherically symmetric metrics. Analysis and Mathematical Physics , 2023
work page 2023
-
[6]
Stochastic burgers and kpz equations from particle systems
Lorenzo Bertini and Giambattista Giacomin. Stochastic burgers and kpz equations from particle systems. Communications in Mathematical Physics , 183:571--607, 1997
work page 1997
-
[7]
Parabolic anderson model on heisenberg groups: The itô setting
Fabrice Baudoin, Cheng Ouyang, Samy Tindel, and Jing Wang. Parabolic anderson model on heisenberg groups: The itô setting. Journal of Functional Analysis , 285(1):109920, 2023
work page 2023
-
[8]
David Candil, Le Chen, and Cheuk Yin Lee. Parabolic stochastic pdes on bounded domains with rough initial conditions: moment and correlation bounds. Stochastics and Partial Differential Equations: Analysis and Computations , 2023
work page 2023
Show all 34 references
-
[9]
The heat kernel on asymptotically hyperbolic manifolds
Xi Chen and Andrew Hassell. The heat kernel on asymptotically hyperbolic manifolds. Communications in Partial Differential Equations , 45:1031 -- 1071, 2016
2016
-
[10]
Eigenvalues in Riemannian geometry
Isaac Chavel. Eigenvalues in Riemannian geometry . Academic press, 1984
1984
-
[11]
Parabolic Anderson problem and intermittency , volume 518
Ren \'e Carmona and Stanislav A Molchanov. Parabolic Anderson problem and intermittency , volume 518. American Mathematical Soc., 1994
1994
-
[12]
Parabolic anderson model with colored noise on torus
Le Chen, Cheng Ouyang, and William Vickery. Parabolic anderson model with colored noise on torus. arXiv preprint arXiv:2308.10802 , 2023
2023 arXiv
-
[13]
Universality in marginally disordered systems
Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. Universality in marginally disordered systems. The Annals of Applied Probability , 27(5):3050--3112, 2017
2017
-
[14]
Directed polymers on infinite graphs
Cl \'e ment Cosco, Inbar Seroussi, and Ofer Zeitouni. Directed polymers on infinite graphs. Communications in Mathematical Physics , 386:395 -- 432, 2020
2020
-
[15]
A lower bound for the heat kernel
Jeff Cheeger and Shing-Tung Yau. A lower bound for the heat kernel. Communications on Pure and Applied Mathematics , 34:465--480, 1981
1981
-
[16]
Directed polymers in random environment are diffusive at weak disorder
Francis Comets and Nobuo Yoshida. Directed polymers in random environment are diffusive at weak disorder. Annals of Probability , 34:1746--1770, 2004
2004
-
[17]
Extending the martingale measure stochastic integral with applications to spatially homogeneous s.p.d.e.'s
Robert Dalang. Extending the martingale measure stochastic integral with applications to spatially homogeneous s.p.d.e.'s. Electronic Journal of Probability , 4, 01 2001
2001
-
[18]
A forward-backward sde from the 2d nonlinear stochastic heat equation
Alexander Dunlap and Yu Gu. A forward-backward sde from the 2d nonlinear stochastic heat equation. The Annals of Probability , 2020
2020
-
[19]
Fluctuations of the solutions to the kpz equation in dimensions three and higher
Alexander Dunlap, Yu Gu, Lenya Ryzhik, and Ofer Zeitouni. Fluctuations of the solutions to the kpz equation in dimensions three and higher. Probability Theory and Related Fields , 176:1217--1258, 2018
2018
-
[20]
E. B. Davies and Nikolaos Mandouvalos. Heat kernel bounds on hyperbolic space and kleinian groups. Proceedings of The London Mathematical Society , pages 182--208, 1988
1988
-
[21]
Intermittence and nonlinear parabolic stochastic partial differential equations
Mohammud Foondun and Davar Khoshnevisan. Intermittence and nonlinear parabolic stochastic partial differential equations. Electronic Journal of Probability , 14:548--568, 2008
2008
-
[22]
Real Analysis: Modern Techniques and Applications
G Folland. Real Analysis: Modern Techniques and Applications . John and Wiley Sons Inc, 1984
1984
-
[23]
Fluctuations of stochastic pdes with long-range correlations, 2024
Luca Gerolla, Martin Hairer, and Xue-Mei Li. Fluctuations of stochastic pdes with long-range correlations, 2024
2024
-
[24]
Stochastic heat equations with general multiplicative gaussian noises: H \"o lder continuity and intermittency
Yaozhong Hu, Jingyu Huang, David Nualart, and Samy Tindel. Stochastic heat equations with general multiplicative gaussian noises: H \"o lder continuity and intermittency. Electronic Journal of Probability , 20:1--50, 2014
2014
-
[25]
Stochastic heat equation driven by fractional noise and local time
Yaozhong Hu and David Nualart. Stochastic heat equation driven by fractional noise and local time. Probability Theory and Related Fields , 143:285--328, 2007
2007
-
[26]
Regularity structures on manifolds and vector bundles
Martin Hairer and Harprit Singh. Regularity structures on manifolds and vector bundles. arXiv preprint arXiv:2308.05049 , 2023
2023 arXiv
-
[27]
Non-linear noise excitation and intermittency under high disorder
Davar Khoshnevisan and Kunwoo Kim. Non-linear noise excitation and intermittency under high disorder. Proceedings of the American Mathematical Society , 143(9):4073--4083, 2015
2015
-
[28]
H. P. McKean. An upper bound to the spectrum of on a manifold of negative curvature. J. Differential Geometry , 4:359--366, 1970
1970
-
[29]
Ideas in the theory of random media
Stanislav Molchanov. Ideas in the theory of random media. Acta Applicandae Mathematica , 22:139--282, 1991
1991
-
[30]
Singular spdes on homogeneous lie groups
Avi Mayorcas and Harprit Singh. Singular spdes on homogeneous lie groups. arXiv preprint arXiv:2301.05121 , 2023
2023 arXiv
-
[31]
The Malliavin Calculus and Related Topics
David Nualart. The Malliavin Calculus and Related Topics . springer, 1995
1995
-
[32]
Gaussian fluctuations of a nonlinear stochastic heat equation in dimension two
Ran Tao. Gaussian fluctuations of a nonlinear stochastic heat equation in dimension two. Stochastics and Partial Differential Equations: Analysis and Computations , 12:220--246, 2022
2022
-
[33]
Almost sure exponential behaviour for a parabolic spde on a manifold
Samy Tindel and Frederi Viens. Almost sure exponential behaviour for a parabolic spde on a manifold. Stochastic Processes and their Applications , 100(1):53--74, 2002
2002
-
[34]
John B. Walsh. An introduction to stochastic partial differential equations. 1986
1986
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.