Abstract:The critical two-dimensional Stochastic Heat Flow (SHF) is the scaling limit of the directed polymers in random environments and the noise-mollified Stochastic Heat Equation (SHE), at the critical dimension of two and near the critical temperature. The work of Caravenna, Sun, and Zygouras (2023) proved that the discrete polymers converge to a universal (model-independent) limit, thereby identifying the limit as the SHF. In this work, we take a different approach: We formulate a set of axioms for the SHF, prove the uniqueness in law under these axioms, and also prove the existence by showing that the noise-mollified SHE converges to the SHF under this formulation. The set consists of three axioms commonly seen in stochastic flows and one axiom about the first four moments of the SHF over every time interval.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to solve the problems of theoretical construction and property proof of two - dimensional critical Stochastic Heat Flow (SHF). Specifically, the author attempts to define SHF by proposing a set of axioms and prove that these axioms can uniquely determine the distribution law of SHF. In addition, the author also proves that the noise - smoothed Stochastic Heat Equation (SHE) converges to SHF under specific conditions.
#### Main research contents:
1. **Axioms for defining SHF**: The author proposes four axioms to describe SHF. The first three are common axioms for stochastic flows, and the fourth one specifically focuses on the specific formulas of the first four moments of SHF in each time interval.
2. **Uniqueness proof**: The author proves that these four axioms can uniquely determine the distribution law of SHF. This is achieved by using the method of moments and the Lindeberg exchange method.
3. **Existence proof**: The author proves the existence of SHF by proving that the noise - smoothed SHE converges to SHF under specific conditions.
4. **Relationship with existing work**: The author's work is a supplement to existing research. Previous studies have already proved that the discrete polymer model converges to a general limit (i.e., SHF), and this paper further verifies this conclusion from a different perspective through an axiomatic method.
#### Mathematical description of specific problems:
- **Axiomatic definition**: SHF \( Z \) satisfies the following four axioms:
- (a) \( Z = Z_{s,t} \) is a continuous \( M_+(\mathbb{R}^4) \)-valued process.
- (b) For all \( s < t < u \), there exists an \( L^2 \)-applicable mollifier \( \{u_\ell\}_\ell \), such that \( Z_{s,t} \circ u_\ell Z_{t,u}-Z_{s,u} \) converges vaguely in probability to 0.
- (c) For all \( s < t < u \), \( Z_{s,t} \) and \( Z_{t,u} \) are independent.
- (d) The moment formula holds: for \( n = 1,\ldots,4 \), \( s < t \), and \( g_i, g'_i\in L^2(\mathbb{R}^2) \), we have
\[
E\left[\prod_{i = 1}^n(Z_{s,t}|g_i\otimes g'_i|)\right]=\left\langle\bigotimes_{i = 1}^n g_i, Q^{[n],\theta}(t - s)\bigotimes_{i = 1}^n g'_i\right\rangle.
\]
- **Uniqueness theorem**: If \( Z \) and \( \tilde{Z} \) are both SHF(θ), then they are equal in distribution law.
- **Existence proposition**: The noise - smoothed SHE converges to SHF(θ) under specific conditions.
Through these works, the author not only provides strict mathematical proofs for the existence and uniqueness of SHF, but also lays a theoretical foundation for further research on SHF and its related applications.