arxiv: 2605.09377 · v1 · submitted 2026-05-10 · 🧮 math.PR · math.DS

Recognition: 2 theorem links

· Lean Theorem

A factorization formula for the partition function in the semi-discrete parabolic Anderson model

Beatriz Navarro Lameda, Konstantin Khanin, Tobias Hurth

Pith reviewed 2026-05-12 03:26 UTC · model grok-4.3

classification 🧮 math.PR math.DS

keywords parabolic Anderson modelpartition functionfactorization formularandom walkWiener processeshigh-temperature regimesub-ballistic scaleprobability

0 comments

The pith

In the high-temperature regime the point-to-point partition function of the semi-discrete parabolic Anderson model admits a factorization formula valid up to any sub-ballistic scale.

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

The paper considers a continuous-time simple symmetric random walk on the integer lattice in dimensions three and higher, subject to a random potential given by independent two-sided Wiener processes at each site. In the high-temperature regime it proves that the partition function converges both in L2 and almost surely as time tends to positive or negative infinity, and that the limiting objects are positive with probability one. The central result is a factorization formula that decomposes the point-to-point partition function into a product of two simpler terms, and this decomposition is shown to remain valid for all scales that grow slower than linearly with time.

Core claim

Our main result is a factorization formula for the point-to-point partition function, which is shown to be valid up to any sub-ballistic scale. We prove the existence of the L2- and almost sure limits of the partition function as time t tends to plus or minus infinity, and show that these limiting partition functions are positive almost surely.

What carries the argument

The factorization formula for the point-to-point partition function Z(t,x,y), which expresses it as a product of two factors that become asymptotically independent for sub-ballistic separations.

If this is right

The partition function converges to strictly positive limits as time tends to both positive and negative infinity.
The factorization remains valid for all distances that are o(t) as t goes to infinity.
The limiting objects inherit positivity from the finite-time partition functions.

Where Pith is reading between the lines

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

The decomposition may allow moment calculations or large-deviation estimates to be reduced to separate initial and terminal contributions.
Analogous factorizations could be tested in the fully discrete or continuous versions of the parabolic Anderson model.
The sub-ballistic validity range suggests a natural scale at which path dependence begins to matter in random-potential models.

Load-bearing premise

The analysis holds only when the system is in the high-temperature regime where the random potential is not too strong relative to the diffusion.

What would settle it

A direct numerical simulation of the point-to-point partition function for a fixed realization of the Wiener potentials at distance scaling like t to the power 0.9, checking whether the observed values factor into independent initial- and terminal-position contributions within the error predicted by the formula.

read the original abstract

We consider a continuous-time simple symmetric random walk on the integer lattice $\mathbb{Z}^d$ in dimension $d \geq 3$, subject to a random potential given by a field of two-sided Wiener processes. In the high-temperature regime, we prove the existence of the $L^2$- and almost sure limits of the partition function as time $t \to \pm \infty$, and show that these limiting partition functions are positive almost surely. Our main result is a factorization formula for the point-to-point partition function, which is shown to be valid up to any sub-ballistic scale.

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.

Desk Editor's Note private letter to a colleague

The paper gives a factorization formula for the point-to-point partition function in the semi-discrete parabolic Anderson model that holds up to sub-ballistic scales in high temperature, plus existence of the two-sided infinite-time limits.

read the letter

This paper proves a factorization formula for the point-to-point partition function in the semi-discrete parabolic Anderson model with two-sided Wiener potentials. It also shows that the partition function has L2 and almost sure limits as time goes to plus or minus infinity, and those limits are positive almost surely, all in dimensions three and higher and in the high-temperature regime. What stands out is the factorization holding up to any sub-ballistic scale. The derivation uses the Feynman-Kac representation together with an ergodic theorem for the environment process along paths, plus large-deviation bounds to handle super-diffusive excursions uniformly in the scale. The high-temperature condition is made explicit as a smallness requirement on the inverse temperature beta that guarantees a negative top Lyapunov exponent and finite moments. That setup avoids the usual intermittency issues and lets the limits exist. The argument looks clean on the surface. The error control for sub-ballistic paths relies on standard large-deviation estimates, and the stress-test note indicates no hidden circularity or unverified steps. Still, the uniformity over scales might need careful checking in the full proof, especially if the constants depend on the deviation parameter. This work is aimed at people already working on the parabolic Anderson model or related polymer measures in random media. Someone looking for exact identities to simplify asymptotic analysis would find it useful. I would send it to a serious referee. The claims are concrete, the methods are appropriate, and the result is new as stated.

Referee Report

0 major / 2 minor

Summary. The paper considers a continuous-time simple symmetric random walk on Z^d (d ≥ 3) with a random potential given by two-sided Wiener processes. In the high-temperature regime (defined by a smallness condition on the inverse temperature β ensuring a negative top Lyapunov exponent and finite moments), it proves the existence of L² and almost-sure limits of the partition function as t → ±∞, establishes that these limits are positive almost surely, and derives a factorization formula for the point-to-point partition function that holds up to any sub-ballistic scale.

Significance. If the results hold, the factorization formula offers a concrete tool for analyzing the limiting behavior of the partition function in this semi-discrete parabolic Anderson model, building on the Feynman-Kac representation and ergodic properties of the environment process. The uniform large-deviation control for sub-ballistic paths (|x| = o(t^{1/2-ε})) and the explicit high-temperature condition are strengths that support the claims without circularity or unverified assumptions.

minor comments (2)

[Introduction] §1 (Introduction): the high-temperature regime is introduced via a smallness condition on β; explicitly stating the quantitative bound on β (e.g., β < β_c) in the statement of Theorem 1.1 would improve readability.
[Section 3] §3 (Ergodic theorem application): the environment process along sub-ballistic paths is central; a brief remark on the mixing properties used to justify the ergodic theorem would clarify the argument for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment leading to the recommendation of acceptance.

Circularity Check

0 steps flagged

Derivation is self-contained with no circular steps

full rationale

The paper establishes existence of limits for the partition function and derives a factorization formula for the point-to-point partition function using the Feynman-Kac representation combined with an ergodic theorem on the environment process along sub-ballistic paths, with errors controlled by uniform large-deviation estimates. The high-temperature regime is defined explicitly via a smallness condition on the inverse temperature β that ensures a negative top Lyapunov exponent and finite moments. These steps rely on standard probabilistic tools and external theorems that are independent of the target result; no parameters are fitted to data, no self-citations form a load-bearing chain, and no quantity is defined in terms of itself or renamed as a prediction. The central claims are therefore proved from first principles without reducing to their own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are listed.

axioms (1)

domain assumption High-temperature regime
The existence and factorization results are stated to hold only in this regime, whose precise parameter range is not given in the abstract.

pith-pipeline@v0.9.0 · 5396 in / 1106 out tokens · 35345 ms · 2026-05-12T03:26:45.777898+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Our main result is a factorization formula for the point-to-point partition function, which is shown to be valid up to any sub-ballistic scale (Theorem 2.4, eq. (2.7)–(2.8)).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
High-temperature regime defined by α_d λ < 1 with λ = β²/(1−β²) (eq. (2.4)).

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[1]

P. W. Anderson. Absence of diffusion in certain random lattices. Physical review , 109(5):1492, 1958

work page 1958
[2]

Albeverio, W

S. Albeverio, W. Schachermayer, and M. Talagrand. Mean Field Models for Spin Glasses: A First Course, Lectures on Probability Theory and Statistics, Ecole d'Et\'e de Probabilit\'es de Saint-Flour XXX - 2000 , volume 1816 of Springer Lecture Notes in Mathematics . Springer, Berlin, Heidelberg, 2003

work page 2000
[3]

Bolthausen

E. Bolthausen . A note on the diffusion of directed polymers in a random environment. Commun. Math. Phys. , 123(4):529--534, 1989

work page 1989
[4]

Carmona and Y

P. Carmona and Y. Hu. On the partition function of a directed polymer in a G aussian random environment. Probability Theory and Related Fields , 124(3):431--457, Nov 2002

work page 2002
[5]

Carmona and S.A

R. Carmona and S.A. Molchanov. Parabolic Anderson Problem and Intermittency . Number no. 518 in American Mathematical Society: Memoirs of the American Mathematical Society. American Mathematical Soc., 1994

work page 1994
[6]

F. Comets . Directed polymers in random environments. \'Ecole d'\'Et\'e de Probabilit\'es de Saint-Flour XLVI -- 2016. , volume 2175. Cham: Springer, 2017

work page 2016
[7]

L. N. Coyle. Diffusion of random walk in a random environment . ProQuest LLC, Ann Arbor, MI, 1995. Thesis (Ph.D.)--University of Michigan

work page 1995
[8]

L. N. Coyle. A continuous time version of random walks in a random potential. Stochastic Processes and their Applications , 64(2):209 -- 235, 1996

work page 1996
[9]

Comets , T

F. Comets , T. Shiga , and N. Yoshida . Directed polymers in a random environment: Path localization and strong disorder. Bernoulli , 9(4):705--723, 2003

work page 2003
[10]

Comets and N

F. Comets and N. Yoshida. Directed polymers in random environment are diffusive at weak disorder. The Annals of Probability , 34(5):1746--1770, 2006

work page 2006
[11]

R. Durrett. Probability: Theory and Examples . Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, fourth edition, 2010

work page 2010
[12]

D. A. Huse and C. L. Henley. Pinning and roughening of domain walls in I sing systems due to random impurities. Phys. Rev. Lett. , 54:2708--2711, Jun 1985

work page 1985
[13]

Hurth, K

T. Hurth, K. Khanin, and B. Navarro Lameda. Attracting stationary distributions for the semidiscrete stochastic heat equation. preprint , 2025

work page 2025
[14]

Hurth, K

T. Hurth, K. Khanin, B. Navarro Lameda, and F. Nazarov. On a factorization formula for the partition function of directed polymers. Journal of Statistical Physics , 190(10):165, 2023

work page 2023
[15]

J. Z. Imbrie and T. Spencer. Diffusion of directed polymers in a random environment. Journal of Statistical Physics , 52(3):609--626, Aug 1988

work page 1988
[16]

St. Junk. Fluctuations of partition functions of directed polymers in weak disorder beyond the l^2 -phase. Annals of Probability , 53(2):557--596, March 2025

work page 2025
[17]

Kert\'ez, V

J. Kert\'ez, V. K. Horv\'ath, and F. Weber. Self-affine rupture lines in paper sheets. Fractals , 01(01):67--74, 1993

work page 1993
[18]

Y. Kifer. The B urgers equation with a random force and a general model for directed polymers in random environments. Probability Theory and Related Fields , 108(1):29--65, May 1997

work page 1997
[19]

A. Klenke. Probability Theory: A Comprehensive Course . Springer, London, UK, 2008

work page 2008
[20]

Krug and H

J. Krug and H. Spohn. Kinetic roughening of growing surfaces in solids far from equilibrium: Growth, morphology and defects (c. godreche, ed.), 1991

work page 1991
[21]

G. F. Lawler and V. Limic. Random walk: a modern introduction , volume 123 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2010

work page 2010
[22]

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

work page 2014
[23]

R. E. A. C. Paley and A. Zygmund. On some series of functions, (3). Mathematical Proceedings of the Cambridge Philosophical Society , 28(2):190?205, 1932

work page 1932
[24]

Ya. Sinai. A remark concerning random walks with random potentials. Fundamenta Mathematicae , 147(2):173--180, 1995

work page 1995
[25]

Song and X

R. Song and X. Y. Zhou . A remark on diffusion of directed polymers in random environments. J. Stat. Phys. , 85(1-2):277--289, 1996

work page 1996
[26]

Talagrand

M. Talagrand . The Sherrington-Kirkpatrick model: A challenge for mathematicians. Probab. Theory Relat. Fields , 110(2):109--176, 1998

work page 1998
[27]

Talagrand

M. Talagrand. Mean field models for spin glasses. Volume I: Basic Examples , volume 54 of Ergebnisse series . Springer-Verlag Berlin Heidelberg, 2011

work page 2011
[28]

K. A. Takeuchi and M. Sano. Universal fluctuations of growing interfaces: evidence in turbulent liquid crystals. Physical review letters , 104(23):230601, 2010

work page 2010
[29]

K. A. Takeuchi and M. Sano . Evidence for geometry-dependent universal fluctuations of the K ardar- P arisi- Z hang interfaces in liquid-crystal turbulence. J. Stat. Phys. , 147(5):853--890, 2012

work page 2012
[30]

V. Vargas. A local limit theorem for directed polymers in random media : the continuous and the discrete case. Annales de l'I.H.P. Probabilit\'es et statistiques , 42(5):521--534, 2006

work page 2006