Pith. sign in

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 →

arxiv 2411.09614 v2 pith:5GML5SPQ submitted 2024-11-14 math.PR

classification math.PR MSC 60H1558J6535R6060H0758J35
keywords stochasticheatequationparabolicAndersonmodelCartan-HadamardmanifoldLyapunovexponentintermittencykernelestimatescolorednoisefractionalLaplacian
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies the parabolic Anderson model on a Cartan-Hadamard manifold: a complete, simply connected Riemannian manifold of non-positive sectional curvature, driven by a Gaussian noise that is white in time and colored in space. It constructs the fractional noises $W_\alpha$ parameterized by a regularity exponent $\alpha$ and proves that a mild solution exists and is unique exactly when $\alpha > (n-2)/4$, the manifold analogue of Dalang's condition. The main result is an exponential-in-time upper bound for the $p$-th moments: under $\sec M \le -K_1 < 0$, the $p$-th moment Lyapunov exponent is at most $\frac{p}{2}\big(\Theta_\alpha(\frac{p}{p-1}\beta) - \frac{(n-1)^2}{\max(2,r)}K_1\big)$, where $\Theta_\alpha$ vanishes for small $\beta$ and grows like a power of $\beta^2$ for large $\beta$. Under the additional lower curvature bound $\sec M \ge -K_2 > -\infty$, matching lower bounds are obtained in the large-$\beta$ limit, so the upper bound is sharp there. Together these bounds imply intermittency: for large enough $p$, the ratio of the $p$-th to the $q$-th moment norms diverges exponentially in time.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 2 minor

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)
  1. [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.
  2. [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)β).
  3. [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)
  1. [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.
  2. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted numerical parameters and no physically invented entities. It assumes standard heat kernel estimates, chaos expansion, hypercontractivity, and a Feynman-Kac representation; the latter two are invoked from the literature, with the Feynman-Kac proof deferred to the authors' previous paper [BCH+24]. The central results depend on these geometric and probabilistic assumptions, not on any ad hoc tuning.

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)
    Used throughout Lemma 8 and Proposition 4; this geometric input creates the spectral gap and the curvature term in the Lyapunov bounds.
  • domain assumption Heat kernel lower bound Pt(x,y) >= c h(K2 t, sqrt(K2) d(x,y)) under sec M >= -K2 > -infty
    Used in Lemma 18 to derive the correlation lower bounds and hence the moment lower bounds.
  • domain assumption Feynman-Kac formula for p-th moments (Theorem 17)
    Stated and proved only by referencing [BCH+24, Theorem 3.13]; the approximation argument is not reproduced in this paper.
  • standard math Wiener chaos expansion and hypercontractivity (Nualart)
    Used in Proposition 10 and Theorem 14; standard results in Malliavin calculus.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 30 canonical work pages

  1. [1]

    Probability distribution of the free energy of the continuum directed random polymer in 1 + 1 dimensions

    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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

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

  8. [8]

    Parabolic stochastic pdes on bounded domains with rough initial conditions: moment and correlation bounds

    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

Show all 34 references
  1. [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

  2. [10]

    Eigenvalues in Riemannian geometry

    Isaac Chavel. Eigenvalues in Riemannian geometry . Academic press, 1984

  3. [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

  4. [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

  5. [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

  6. [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

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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

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

  14. [22]

    Real Analysis: Modern Techniques and Applications

    G Folland. Real Analysis: Modern Techniques and Applications . John and Wiley Sons Inc, 1984

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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [28]

    H. P. McKean. An upper bound to the spectrum of on a manifold of negative curvature. J. Differential Geometry , 4:359--366, 1970

  21. [29]

    Ideas in the theory of random media

    Stanislav Molchanov. Ideas in the theory of random media. Acta Applicandae Mathematica , 22:139--282, 1991

  22. [30]

    Singular spdes on homogeneous lie groups

    Avi Mayorcas and Harprit Singh. Singular spdes on homogeneous lie groups. arXiv preprint arXiv:2301.05121 , 2023

  23. [31]

    The Malliavin Calculus and Related Topics

    David Nualart. The Malliavin Calculus and Related Topics . springer, 1995

  24. [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

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

  26. [34]

    John B. Walsh. An introduction to stochastic partial differential equations. 1986

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.