Pith. sign in

REVIEW 2 major objections 5 minor 24 references

The 2D generalized parabolic Anderson model is globally well-posed on the whole plane for noise regularity −1−κ with κ below √5−2.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Global existence holds for 2D generalized PAM on R^2 for every noise roughness 0<κ<√5−2, with uniqueness when F'' is globally Lipschitz.

T0 review reviewed 2026-07-12 challenge →

load-bearing objection Solid whole-plane global gPAM for κ<√5−2: real technical extension of the torus theory, with the usual bookkeeping risk but no structural hole. the 2 major comments →

arxiv 2606.26681 v2 pith:A2NHKKRI submitted 2026-06-25 math.AP math.PR

Global well-posedness for generalized parabolic Anderson model on the whole plane

classification math.AP math.PR MSC 60H1535R6035K55
keywords generalized parabolic Anderson modelglobal well-posednesswhole planeparacontrolled distributionsweighted Besov–Hölder spacestransport representationannular high-low decompositionsingular SPDEs
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

The paper proves that a nonlinear heat equation driven by rough spatial noise on the infinite plane has global-in-time solutions. The noise is only slightly smoother than white noise; classical products fail, so the equation is rewritten against an enhanced noise that already includes a renormalized second-order object. Earlier global results were available only on compact domains or for the linear equation. Here the authors construct solutions for every finite time when the roughness index stays below √5−2, and they obtain uniqueness when the second derivative of the nonlinearity is Lipschitz. The technical engine is a high–low frequency split that respects polynomial spatial weights, combined with a transport representation of the remainder: that remainder is controlled simultaneously in a weaker-weight maximum-principle norm and a stronger-weight Schauder norm, so the polynomial losses cancel. A sympathetic reader cares because the whole-plane setting is the natural home for many physical models, and the admissible roughness range is larger than previous whole-space nonlinear constructions.

Core claim

For every 0<κ<√5−2, if the driving noise η of spatial regularity −1−κ can be lifted to an enhanced pair (η,Ψ) and the nonlinearity F is C^{2}_b, then the two-dimensional generalized parabolic Anderson model on R^{2} admits a global paracontrolled solution on every finite time interval; if F″ is globally Lipschitz the solution is unique. The a priori bound is closed by balancing a weighted maximum principle against a weighted Schauder estimate whose weight gap absorbs all polynomial losses.

What carries the argument

Weight-compatible annular high–low decomposition of the enhanced noise, followed by a paracontrolled transport representation of the final remainder. The remainder is estimated simultaneously in a weaker polynomial weight (maximum principle) and a stronger weight (Schauder), so the gap cancels localization and transport losses.

Load-bearing premise

After all analytic estimates reduce to powers of two remainder sizes, those powers stay strictly less than one only when the roughness index satisfies κ^{2}+4κ−1<0; if that algebraic threshold fails the a priori bound does not close.

What would settle it

Either produce a global a priori bound for some κ>√5−2 by a different weight or regularity assignment, or exhibit a counter-example (or blow-up) for the same equation once κ exceeds that value, showing the scalar balance is sharp.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proves global well-posedness for the 2D generalized parabolic Anderson model Lu=F(u)η on the whole plane R^{2} in polynomially weighted spaces. For every 0<κ<√5−2, if η∈L^∞_T C^{-−1-κ}_{s0} is liftable to an enhanced noise (η,Ψ) and F∈C_b^{2}(R), with u0∈C^{1-κ}(ρ_{D0}) and s0,D0 small enough, a global paracontrolled solution exists on every finite time interval (Theorem 2.2); uniqueness holds if F'' is globally Lipschitz. The argument combines a weight-compatible annular high–low decomposition (Lemma 3.1, Prop. 3.5), a refined cutoff paracontrolled ansatz that places only the paraproduct part of H(u)Ψ into the first equation (Def. 4.4, Remark 4.5, Prop. 4.7), a weighted transport representation (Sec. 5), a maximum principle with time-singular drift (Lemma 5.3), dual-weight a priori estimates closed by scalar inequalities (Thm. 6.5), and uniqueness in a time-dependent exponential topology (Thm. 7.4).

Significance. Global theory for nonlinear singular SPDEs on unbounded domains remains sparse; the result extends the compact-domain gPAM theory of CFW24 and SZZ24 to R^{2} and improves the admissible range of κ relative to SZZ24 by a refined placement of the second-order enhancement and a dual-weight gap that absorbs polynomial losses. The limiting algebraic threshold κ^{2}+4κ−1<0 is derived transparently from the scalar closure (Remark 6.7), not fitted. The weight-compatible annular localization, transport representation, and exponential uniqueness argument are reusable tools for other whole-space singular equations (e.g., the dynamical sine–Gordon range suggested in Remark 2.3). The manuscript supplies a complete theorem–proof chain with explicit parameter bookkeeping.

major comments (2)
  1. The central a priori bound (Theorem 6.5) reduces, after the cutoff choices (6.17)–(6.20), to the scalar inequalities (6.32)–(6.33). These hold in the unweighted limit precisely when κ^{2}+4κ−1<0 (Remark 6.7). The dual-weight gap, annular localization, and refined H(u)Ψ placement are designed so that polynomial losses remain perturbative for small μ_wt; they do not introduce an independent obstruction. This threshold is therefore load-bearing but correctly identified and verified by the authors. No further structural gap is visible.
  2. Existence after the uniform bound of Theorem 6.5 is obtained by invoking the compactness package of GH19 (proof of Theorem 2.2). The citation is standard and appropriate, but a short paragraph spelling out which weighted spaces and which compactness criterion are used would make the existence step self-contained for readers who have not internalized GH19.
minor comments (5)
  1. Definition 3.3 introduces a large number of interdependent parameters (α,s,m_ε,θ,ℓ,ℓ_{+},D_L,D,D_1,D_α,σ_η,…). A short summary table or flowchart of which weight is used for which estimate would help the reader track the dual-weight argument.
  2. In (3.16) the high block of Ψ is first obtained in C^{-α+3ε} and then embedded into C^{-α+2ε}; the embedding is continuous but the ε-loss should be noted explicitly when the same block is reused in (6.11).
  3. Lemma 5.3 (weighted maximum principle) is proved by a probabilistic representation. A purely analytic reference or a one-line comparison with the deterministic maximum principle used in SZZ24 would reassure readers who prefer deterministic arguments.
  4. The uniqueness section (Sec. 7) redefines the high–low split with a new threshold J_{η,u}_k and extra weight 4M_a. A brief sentence explaining why the existence split is insufficient for the difference estimates would improve readability.
  5. Typographical: the abstract writes “generalized parabolic Anderson model” while the title uses “general”; unify. Also, “Hölder” is occasionally written without the umlaut in the body.

Circularity Check

0 steps flagged

No circularity: global well-posedness is derived from weighted a priori estimates and standard compactness, not assumed or fitted.

full rationale

This is a pure deterministic SPDE existence/uniqueness paper. Theorem 2.2 is obtained by constructing a weight-compatible annular high–low split (Lemma 3.1, Prop. 3.5), a refined paracontrolled cutoff ansatz (Def. 4.4, Rem. 4.5), a weighted transport representation (Sec. 5), and closing dual-weight maximum-principle/Schauder bounds (Thm. 6.5). The admissible range κ<√5−2 is the algebraic condition under which the resulting scalar monomials in the remainder sizes L and S are strictly sublinear (Rem. 6.7); it is not fitted to data and is not smuggled in as a definition of the solution. Self-citations (SZZ24 for the finite-volume transport idea, ZZZ22 for weighted Schauder/paraproducts, GH19 for compactness, HL15/HL18 for exponential uniqueness topology) supply tools and prior compact-domain results; none of them assumes the whole-plane weighted global bound that is proved here. Uniqueness is re-proved in Sec. 7 rather than imported as a black-box uniqueness theorem forbidding alternatives. No step reduces a claimed prediction or first-principles result to its own inputs by construction.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 0 invented entities

The claim rests on standard Littlewood–Paley/paracontrolled calculus, the existence of a liftable enhanced noise in weighted Besov–Hölder spaces, bounded C^2 nonlinearity, and small polynomial weight scales chosen so product losses fit inside the dual-weight gap. No empirical free parameters. No new physical entities.

free parameters (3)
  • ε (regularity buffer)
    Positive small buffer in α=1−κ−5ε, s=2−ε/2, r=1+κ+7ε; chosen after κ so several inequalities stay strict. Technical, not data-fitted.
  • μ_wt = D0 + 2s0 (total weight scale)
    Taken sufficiently small so σ_η,−<σ_η,+, weight margins, and p_mp are perturbative. Hand-chosen smallness, not fitted.
  • Dynamic cutoffs R, R1
    Chosen as functions of the remainder size S (e.g. 2^{Γ_R R}≃C0(1+S)) to balance high/low gains; deterministic lower bounds R_η,R_Ψ fixed first.
axioms (5)
  • domain assumption Enhanced noise lift: η is limit of smooth η_n with I(η_n)∘η_n − c_n → Ψ in L^∞_T C^{−2κ}_{s0} (Def. 2.1).
    Standard regularity-structures/paracontrolled input; existence of the lift for concrete Gaussian noise is assumed, not constructed here.
  • domain assumption F∈C_b^2(R); for uniqueness F'' globally Lipschitz (2.3).
    Needed for composition estimates and paralinearization (Lemma A.5).
  • standard math Bony paraproduct/resonant product estimates and heat Schauder estimates in polynomial and exponential weights (Appendix A, ZZZ22/GH19).
    Used throughout product, commutator, and maximum-principle arguments.
  • standard math Compactness argument of GH19 upgrades uniform a priori bounds to existence (proof of Thm. 2.2).
    Existence is not constructed from scratch; it cites the prior compactness package.
  • standard math Probabilistic representation for the weighted maximum principle with time-singular drift (Lemma 5.3).
    SDE weak solution and moment bounds for the reversed-time process; adapted from SZZ24.

reviewed 2026-07-12 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Global well-posedness for generalized parabolic Anderson model on the whole plane." pith.science (2026). https://pith.science/paper/A2NHKKRI

@misc{pith2026260626681,
  author       = {Pith},
  title        = {Pith review of: Global well-posedness for generalized parabolic Anderson model on the whole plane},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A2NHKKRI}},
  note         = {Machine review of arXiv:2606.26681}
}
Share X Bluesky LinkedIn Reddit HN
abstract

For every \(0<\kappa<\sqrt{5}-2\), we prove global existence for the two-dimensional generalized parabolic Anderson model on the whole plane $\mathbb R^2$ with nonlinearity $F\in C_b^2(\mathbb R)$, driven by an enhanced noise $(\eta,\Psi)$. The noise $\eta$ has polynomially weighted spatial Besov--H\"older regularity $-1-\kappa$, and $\Psi$ is the corresponding renormalized second-order object. If $F''$ is globally Lipschitz, the solution is unique. The proof combines a weight-compatible annular high--low decomposition with a paracontrolled transport representation. The final remainder is estimated simultaneously in a weighted $L^\infty$ norm and in a higher-order weighted parabolic H\"older norm, using two strictly different polynomial weights. This weight gap absorbs the polynomial losses generated by the enhanced noise, the localization procedure, and the transport coefficient. Several refinements of earlier work allow the maximum-principle and Schauder estimates to yield a global a priori bound for a larger range of $\kappa$. Uniqueness is proved in a time-dependent exponentially weighted topology.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 2 linked inside Pith

  1. [1]

    Bringmann and S

    B. Bringmann and S. Cao, Global well-posedness of the stochastic Abelian--Higgs equations in two dimensions, preprint, arXiv:2403.16878, 2024

  2. [2]

    Bringmann and S

    B. Bringmann and S. Cao, Global well-posedness of the dynamical sine--Gordon model up to 6 , Ann. Probab. 54 (2026), no. 3, 1564--1607. DOI: 10.1214/25-AOP1797 https://doi.org/10.1214/25-AOP1797

  3. [3]

    Cannizzaro, P

    G. Cannizzaro, P. K. Friz and P. Gassiat, Malliavin calculus for regularity structures: the case of gPAM, J. Funct. Anal. 272 (2017), no. 1, 363--419

  4. [4]

    Chandra, G

    A. Chandra, G. de Lima Feltes and H. Weber, A priori bounds for 2-d generalised Parabolic Anderson Model, arXiv:2402.05544, 2024

  5. [5]

    Chandra, M

    A. Chandra, M. Hairer and H. Shen, The dynamical sine--Gordon model in the full subcritical regime, arXiv:1808.02594, 2018

  6. [6]

    Hofmanov\' a , R

    M. Hofmanov\' a , R. Zhu and X. Zhu, Global existence and non-uniqueness for 3D Navier--Stokes equations with space--time white noise, Arch. Ration. Mech. Anal. 247 (2023), no. 3, Paper No. 46. DOI: 10.1007/s00205-023-01872-x https://doi.org/10.1007/s00205-023-01872-x

  7. [7]

    Hofmanov\' a , R

    M. Hofmanov\' a , R. Zhu and X. Zhu, A class of supercritical/critical singular stochastic PDEs: existence, non-uniqueness, non-Gaussianity, non-unique ergodicity, J. Funct. Anal. 285 (2023), no. 5, Paper No. 110011. DOI: 10.1016/j.jfa.2023.110011 https://doi.org/10.1016/j.jfa.2023.110011

  8. [8]

    Z. Hao, X. Zhang, R. Zhu and X. Zhu, Singular kinetic equations and applications, Ann. Probab. 52 (2024), no. 2, 576--657

  9. [9]

    Gubinelli, P

    M. Gubinelli, P. Imkeller and N. Perkowski, Paracontrolled distributions and singular PDEs, Forum Math. Pi 3 (2015), e6

  10. [10]

    Gubinelli and M

    M. Gubinelli and M. Hofmanov\' a , Global solutions to elliptic and parabolic ^4 models in Euclidean space, Comm. Math. Phys. 368 (2019), no. 3, 1201--1266

  11. [11]

    Gubinelli and M

    M. Gubinelli and M. Hofmanov\' a , A PDE construction of the Euclidean ^4 quantum field theory, Comm. Math. Phys. 384 (2021), no. 1, 1--75

  12. [12]

    Hairer, A theory of regularity structures, Invent

    M. Hairer, A theory of regularity structures, Invent. Math. 198 (2014), no. 2, 269--504

  13. [13]

    Hairer and C

    M. Hairer and C. Labb\' e , A simple construction of the continuum parabolic Anderson model on R^2 , Electron. Commun. Probab. 20 (2015), paper no. 43, 1--11

  14. [14]

    Hairer and C

    M. Hairer and C. Labb\' e , Multiplicative stochastic heat equations on the whole space, J. Eur. Math. Soc. 20 (2018), no. 4, 1005--1054

  15. [15]

    Hairer and T

    M. Hairer and T. Rosati, Global existence for perturbations of the 2D stochastic Navier--Stokes equations with space-time white noise, Ann. PDE 10 (2024), no. 1, Paper No. 3, 46 pp. DOI: 10.1007/s40818-023-00165-6 https://doi.org/10.1007/s40818-023-00165-6

  16. [16]

    Hairer and W

    M. Hairer and W. Zhao, Ergodicity of 2D singular stochastic Navier--Stokes equations, Probab. Math. Phys. 6 (2025), no. 3, 777--818. DOI: 10.2140/pmp.2025.6.777 https://doi.org/10.2140/pmp.2025.6.777

  17. [17]

    Hairer and H

    M. Hairer and H. Shen, The dynamical sine--Gordon model, Comm. Math. Phys. 341 (2016), no. 3, 933--989

  18. [18]

    Mourrat and H

    J.-C. Mourrat and H. Weber, Global well-posedness of the dynamic ^4 model in the plane, Ann. Probab. 45 (2017), no. 4, 2398--2476. DOI: 10.1214/16-AOP1116 https://doi.org/10.1214/16-AOP1116

  19. [19]

    Mourrat and H

    J.-C. Mourrat and H. Weber, The dynamic ^4_3 model comes down from infinity, Comm. Math. Phys. 356 (2017), no. 3, 673--753. DOI: 10.1007/s00220-017-2997-4 https://doi.org/10.1007/s00220-017-2997-4

  20. [20]

    Rodino, Linear partial differential operators in Gevrey spaces, World Scientific, Singapore, 1993

    L. Rodino, Linear partial differential operators in Gevrey spaces, World Scientific, Singapore, 1993

  21. [21]

    H. Shen, R. Zhu and X. Zhu, Global well-posedness for 2D generalized parabolic Anderson model via paracontrolled calculus, Stochastics and Partial Differential Equations: Analysis and Computations 14 (2026), no. 1, 133--160. DOI: 10.1007/s40072-025-00358-z https://doi.org/10.1007/s40072-025-00358-z

  22. [22]

    Triebel, Theory of Function Spaces II, Monographs in Mathematics, vol

    H. Triebel, Theory of Function Spaces II, Monographs in Mathematics, vol. 84, Birkh\"auser, 1992

  23. [23]

    Triebel, Theory of Function Spaces III, Monographs in Mathematics, vol

    H. Triebel, Theory of Function Spaces III, Monographs in Mathematics, vol. 100, Birkh\"auser, 2006

  24. [24]

    Zhang, R

    X. Zhang, R. Zhu and X. Zhu, Singular HJB equations with applications to KPZ on the real line, Probab. Theory Related Fields 183 (2022), 789--869

This paper was first reviewed by grok-4.5 on July 12, 2026.