pith. sign in

arxiv: 2507.18080 · v2 · submitted 2025-07-24 · 🧮 math.PR

An upper bound of the lower tail of the mass of balls under the critical 2d stochastic heat flow

Makoto Nakashima This is my paper

Pith reviewed 2026-05-19 03:21 UTC · model grok-4.3

classification 🧮 math.PR
keywords critical stochastic heat flowlower tail boundsmass of ballsdirected polymersrandom environmentlogarithm integrabilitylocal behavior
0
0 comments X

The pith

The critical two-dimensional stochastic heat flow admits an upper bound on the lower tail probability of the mass of balls.

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

The paper proves an upper bound on how small the mass of balls centered at the origin and at a distant point can be under the critical two-dimensional stochastic heat flow. This tail control is then used to establish that the logarithm of the mass is integrable and strictly positive. The results address open questions about the local behavior of this random object, which arises as the scaling limit of directed polymers in random media and as the weak limit of mollified stochastic heat equations. A sympathetic reader cares because the bound supplies quantitative information on the small-scale positivity properties of the flow in two dimensions.

Core claim

We establish an upper bound on the lower tail of the mass of balls Z_t^θ(B_r(0), B_r(a)) for the critical two-dimensional stochastic heat flow. As a consequence, the logarithm of this mass is integrable and strictly positive. These results provide partial answers to open questions concerning the local behavior of Z_t^θ.

What carries the argument

The mass of balls Z_t^θ(B_r(0), B_r(a)) under the critical two-dimensional stochastic heat flow, controlled via an upper bound on its lower tail.

If this is right

  • The logarithm of the mass of balls is integrable.
  • The logarithm of the mass of balls is strictly positive almost surely.
  • Local positivity properties of the critical two-dimensional stochastic heat flow hold at the scale of balls.
  • Open questions on the small-scale behavior of the flow receive partial quantitative answers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The tail bound may extend to control the dimension of the support of the measure or its local regularity.
  • Similar lower-tail estimates could apply to related scaling limits such as the KPZ equation in the same regime.
  • The integrability result opens the possibility of studying moments of the log-mass in future calculations.

Load-bearing premise

The critical two-dimensional stochastic heat flow exists and satisfies the regularity properties established in its recent construction as a scaling limit of directed polymers.

What would settle it

A simulation or direct calculation showing that the mass of a ball falls below the reciprocal of any exponential rate with positive probability independent of the parameters would violate the claimed upper bound.

Figures

Figures reproduced from arXiv: 2507.18080 by Makoto Nakashima.

Figure 2
Figure 2. Figure 2: Image of the evolutions of Dn,r . To avoid intersections of regions, the curved cones are tilted with the drifts. Proposition 3.2. For α ą 2 and r ą 0, there exists a constant Cα,r,t ą 0 such that for large N ě 2, tU pN, jq n prq : n “ N 2 ,...,N, j “ 0,..., N 15 u are pairwise disjoint. Proof. It is enough to prove the followings: (1) The maximum of the x-coordinate of Up0q n is strictly smaller than mini… view at source ↗
read the original abstract

We study the critical two-dimensional stochastic heat flow $\mathscr{Z}_t^{\vartheta}$, recently constructed as the scaling limit of directed polymers in a random environment and as the weak limit of the solution to a mollified stochastic heat equation. Focusing on the mass of balls $\mathscr{Z}_t^{\vartheta}(B_r(0),B_r(a))$ ($a\in \mathbb{R}^2$, $r>0$), we establish an upper bound on its lower tail. As a consequence, we prove the integrability of the logarithm of $\mathscr{Z}_t^{\vartheta}(B_r(0),B_r(a))$ and its strict positivity. These results provide partial answers to open questions concerning the local behavior of $\mathscr{Z}_t^\vartheta$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper establishes an upper bound on the lower tail of the mass of balls under the critical 2d stochastic heat flow, specifically for Z_t^θ(B_r(0), B_r(a)). Using this bound, it proves that log Z_t^θ(B_r(0), B_r(a)) is integrable and strictly positive almost surely. The argument first derives the tail bound for mollified approximations via chaos expansions and moment calculations, then passes to the limit using weak convergence to the critical flow and tightness of local masses.

Significance. If the results hold, they provide useful partial answers to open questions on the local behavior of the critical stochastic heat flow. The approach leverages the recent construction of the flow as a scaling limit and weak limit, with the integrability of the logarithm offering a concrete tool for further analysis of positivity and tail properties.

minor comments (2)
  1. Introduction: the open questions on local behavior are referenced only generally; citing specific conjectures or prior works (e.g., on positivity or moments) would clarify the contribution.
  2. §3 (or equivalent section on approximations): the moment calculations for the chaos expansions are central to the tail bound; a brief remark on the order of moments used would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee recommends minor revision and agrees that the results offer useful partial answers to open questions on the local behavior of the critical stochastic heat flow.

Circularity Check

0 steps flagged

No significant circularity; derivation builds on independent prior constructions

full rationale

The paper first derives the tail bound for mollified approximations via their explicit chaos expansions and direct moment calculations, then transfers the result to the limit object using the stated weak convergence and tightness properties from the referenced external construction of the critical 2d stochastic heat flow. Integrability of log Z and strict positivity are obtained from the tail bound by standard integral comparisons. No equation or claim reduces by construction to a fitted input, self-definition, or load-bearing self-citation; the argument remains self-contained against the externally supplied convergence theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the prior construction of the critical 2d stochastic heat flow as a scaling limit; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The critical two-dimensional stochastic heat flow exists as the scaling limit of directed polymers in a random environment and as the weak limit of the mollified stochastic heat equation.
    Invoked in the abstract as the object under study.

pith-pipeline@v0.9.0 · 5658 in / 1212 out tokens · 34505 ms · 2026-05-19T03:21:15.472724+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Strong Disorder for Stochastic Heat Flow and 2D Directed Polymers

    math.PR 2025-08 unverdicted novelty 7.0

    Establishes sharp local extinction rates and transition scales for 2D SHF together with free-energy asymptotics for directed polymers in strong disorder.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · cited by 1 Pith paper

  1. [1]

    The two-dimensional stochastic heat equation: renormalizing a multiplicative noise

    Lorenzo Bertini and Nicoletta Cancrini. The two-dimensional stochastic heat equation: renormalizing a multiplicative noise. Journal of Physics A: Mathematical and General , 31(2):615, 1998

    work page 1998

  2. [2]

    Stochastic B urgers and KPZ equations from particle systems

    Lorenzo Bertini and Giambattista Giacomin. Stochastic B urgers and KPZ equations from particle systems. Communications in mathematical physics , 183(3):571--607, 1997

    work page 1997

  3. [3]

    Constructing a solution of the (2+1) -dimensional KPZ equation

    Sourav Chatterjee and Alexander Dunlap. Constructing a solution of the (2+1) -dimensional KPZ equation. Ann. Probab. , 48(2):1014--1055, 2020

    work page 2020

  4. [4]

    Enhanced noise sensitivity, 2d directed polymers and stochastic heat flow, 2025

    Francesco Caravenna and Anna Donadini. Enhanced noise sensitivity, 2d directed polymers and stochastic heat flow, 2025. arXiv:2507.10379

    work page arXiv 2025

  5. [5]

    Martingale problem of the two-dimensional stochastic heat equation at criticality, 2025

    Yu-Ting Chen. Martingale problem of the two-dimensional stochastic heat equation at criticality, 2025. arXiv:2504.21791

    work page arXiv 2025

  6. [6]

    Continuum polymer measures corresponding to the critical 2d stochastic heat flow, 2024

    Jeremy Clark and Barkat Mian. Continuum polymer measures corresponding to the critical 2d stochastic heat flow, 2024. arXiv:2409:01510

    work page 2024

  7. [7]

    The D ickman subordinator, renewal theorems, and disordered systems

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. The D ickman subordinator, renewal theorems, and disordered systems. Electron. J. Probab. , 24:Paper No. 101, 40, 2019

    work page 2019

  8. [8]

    On the moments of the (2+1) -dimensional directed polymer and stochastic heat equation in the critical window

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. On the moments of the (2+1) -dimensional directed polymer and stochastic heat equation in the critical window. Comm. Math. Phys. , 372(2):385--440, 2019

    work page 2019

  9. [9]

    The two-dimensional KPZ equation in the entire subcritical regime

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. The two-dimensional KPZ equation in the entire subcritical regime. Annals of Probability , 48(3):1086--1127, 2020

    work page 2020

  10. [10]

    The critical 2d S tochastic H eat F low

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. The critical 2d S tochastic H eat F low. Invent. Math. , 233(1):325--460, 2023

    work page 2023

  11. [11]

    The critical 2d stochastic heat flow and related models, 2024

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. The critical 2d stochastic heat flow and related models, 2024. arXiv:2412.10311

    work page arXiv 2024

  12. [12]

    Singularity and regularity of the critical 2d stochastic heat flow, 2025

    Francesco Caravenna, Rongfeng Sun, and Nikos Zygouras. Singularity and regularity of the critical 2d stochastic heat flow, 2025. arXiv:2504.06128

    work page arXiv 2025

  13. [13]

    Conditional gmc within the stochastic heat flow, 2025

    Jeremy Clark and Li-Cheng Tsai. Conditional gmc within the stochastic heat flow, 2025

    work page 2025

  14. [14]

    Friz and Martin Hairer

    Peter K. Friz and Martin Hairer. A course on rough paths . Universitext. Springer, Cham, 2014. With an introduction to regularity structures

    work page 2014

  15. [15]

    Paracontrolled distributions and singular PDE s

    Massimiliano Gubinelli, Peter Imkeller, and Nicolas Perkowski. Paracontrolled distributions and singular PDE s. Forum Math. Pi , 3:e6, 75, 2015

    work page 2015

  16. [16]

    Nonlinear fluctuations of weakly asymmetric interacting particle systems

    Patr\'icia Gon c alves and Milton Jara. Nonlinear fluctuations of weakly asymmetric interacting particle systems. Arch. Ration. Mech. Anal. , 212(2):597--644, 2014

    work page 2014

  17. [17]

    Generalized fractional derivatives generated by D ickman subordinator and related stochastic processes

    Neha Gupta, Arun Kumar, Nikolai Leonenko, and Jayme Vaz. Generalized fractional derivatives generated by D ickman subordinator and related stochastic processes. Fract. Calc. Appl. Anal. , 27(4):1527--1563, 2024

    work page 2024

  18. [18]

    Moments of the 2 D SHE at criticality

    Yu Gu, Jeremy Quastel, and Li-Cheng Tsai. Moments of the 2 D SHE at criticality. Probab. Math. Phys. , 2(1):179--219, 2021

    work page 2021

  19. [19]

    Stochastic heat flow is a black noise, 2025

    Yu Gu and Li-Cheng Tsai. Stochastic heat flow is a black noise, 2025. arXiv:2506.16484

    work page arXiv 2025

  20. [20]

    Gaussian fluctuations from the 2 D KPZ equation

    Yu Gu. Gaussian fluctuations from the 2 D KPZ equation. Stoch. Partial Differ. Equ. Anal. Comput. , 8(1):150--185, 2020

    work page 2020

  21. [21]

    M. Hairer. Solving the KPZ equation. In X VII th I nternational C ongress on M athematical P hysics , page 419. World Sci. Publ., Hackensack, NJ, 2014

    work page 2014

  22. [22]

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

    work page 2014

  23. [23]

    Dynamic scaling of growing interfaces

    Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Physical Review Letters , 56(9):889, 1986

    work page 1986

  24. [24]

    Renormalization group and stochastic PDE s

    Antti Kupiainen. Renormalization group and stochastic PDE s. Ann. Henri Poincar\'e , 17(3):497--535, 2016

    work page 2016

  25. [25]

    On the moments of the mass of shrinking balls under the critical 2d stochastic heat flow, 2024

    Ziyang Liu and Nikos Zygouras. On the moments of the mass of shrinking balls under the critical 2d stochastic heat flow, 2024. arXiv:2410.14601

    work page arXiv 2024

  26. [26]

    Moreno Flores

    Gregorio R. Moreno Flores. On the (strict) positivity of solutions of the stochastic heat equation. Ann. Probab. , 42(4):1635--1643, 2014

    work page 2014

  27. [27]

    The scaling limit of the KPZ equation in space dimension 3 and higher

    Jacques Magnen and J\' e r\' e mie Unterberger. The scaling limit of the KPZ equation in space dimension 3 and higher. J. Stat. Phys. , 171(4):543--598, 2018

    work page 2018

  28. [28]

    On the support of solutions to the heat equation with noise

    Carl Mueller. On the support of solutions to the heat equation with noise. Stochastics Stochastics Rep. , 37(4):225--245, 1991

    work page 1991

  29. [29]

    Martingale measure associated with the critical 2d stochastic heat flow, 2025

    Makoto Nakashima. Martingale measure associated with the critical 2d stochastic heat flow, 2025. arXiv:2503.20171

    work page arXiv 2025

  30. [30]

    Fluctuations of two-dimensional stochastic heat equation and KPZ equation in subcritical regime for general initial conditions

    Shuta Nakajima and Makoto Nakashima. Fluctuations of two-dimensional stochastic heat equation and KPZ equation in subcritical regime for general initial conditions. Electron. J. Probab. , 28:Paper No. 1, 38, 2023

    work page 2023

  31. [31]

    Stochastic heat flow by moments, 2024

    Li-Cheng Tsai. Stochastic heat flow by moments, 2024. arXiv:2410.14657

    work page arXiv 2024

  32. [32]

    Conditional GMC within the stochastic heat flow, 2025

    Jeremy Clark and Li-Cheng Tsai. Conditional GMC within the stochastic heat flow, 2025. arXiv:2507.16056

    work page arXiv 2025