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

This paper establishes an exact recursive equation for the covariation measures of the two-dimensional stochastic heat equation at criticality, explicitly expressing the quadratic variations of its martingale parts in terms of the equation's solutions and two-body delta-Bose gas semigroups through asymptotic analysis and new fourth-order moment bounds.

The Gist

Here is an explanation of the paper "Martingale problem of the two-dimensional stochastic heat equation at criticality" using simple language, analogies, and metaphors.

The Big Picture: A Chaotic Heat Wave

Imagine you are trying to predict how heat spreads across a flat metal sheet. In a normal world, this is easy: heat flows smoothly from hot spots to cold spots. This is the Heat Equation.

Now, imagine you are shaking the metal sheet violently and randomly while the heat is spreading. This is the Stochastic Heat Equation (SHE). The "noise" (the shaking) makes the heat distribution wild and unpredictable.

The Problem:
In one dimension (a thin wire), we have good math tools to handle this shaking. But in two dimensions (a flat sheet), things break down. The shaking is so violent that the math says the heat should be "infinite" everywhere at once. It's like trying to measure the height of a wave that is infinitely tall and infinitely thin at the same time. The standard math tools crash and burn.

This paper tackles the critical regime of this problem. "Critical" means we are right on the edge. If we shake the sheet a tiny bit less, the heat behaves normally. If we shake it a tiny bit more, it explodes. We are standing right on that razor's edge.

The Main Characters

1. The Approximate Sheet ($X_\epsilon$): Since the real sheet is too chaotic to calculate, the author creates a "fake" sheet. Imagine the shaking isn't happening at a single point, but is smeared out over a tiny, fuzzy circle (size $\epsilon$). This makes the math workable.
2. The Limit ($\epsilon \to 0$): The goal is to shrink that fuzzy circle down to a single point. What happens to the heat pattern as the fuzziness disappears? Does it settle into a stable pattern, or does it vanish?
3. The Martingale: In probability, a "martingale" is a fair game. If you are betting on the future heat, your best guess for tomorrow is just today's heat. The paper studies the "martingale part" of the equation—the pure, unpredictable randomness that drives the system.

The Core Discovery: The "Recursive" Recipe

The main achievement of this paper is finding a secret recipe (a recursive equation) that describes exactly how the randomness (the "martingale") behaves.

The Analogy of the Broken Mirror:
Imagine you have a mirror representing the heat. You want to know the total "energy" of the mirror (the square of the heat).

• The Problem: If you just square the heat, you get infinity because the noise is so sharp.
• The Solution: The author realizes that the "infinity" isn't just a mistake; it's a feature. They use a technique called renormalization. Think of it like this:
  • You have a messy pile of sand (the heat).
  • You try to weigh it, but the scale breaks because the sand is too fine.
  • Instead of weighing the whole pile, you look at how the sand grains interact with each other.
  • The paper finds a formula that says: "The total chaos is equal to the smooth heat plus a specific, complex interaction term that accounts for the grains bumping into each other."

This formula is recursive. It means the answer depends on the answer itself, but in a way that allows you to solve it step-by-step. It's like a recipe that says, "To make the sauce, you need the sauce, but here is exactly how much extra spice to add so it doesn't burn."

The "Delta-Bose Gas" Connection

The paper mentions something called the Delta-Bose Gas. This sounds like physics jargon, but here is the metaphor:

Imagine a room full of people (particles) walking randomly.

• Normal people: They walk past each other without noticing.
• Delta-Bose people: They are magnetically attracted to each other. Every time two people get very close, they stick together for a split second and then bounce off.

The author discovered that the chaotic heat equation on the 2D sheet is mathematically identical to a system of these sticky, magnetic people. By studying how these people interact (using tools from quantum physics), they could figure out exactly how the heat behaves.

Why This Matters

1. Solving the Unsolvables: For decades, mathematicians knew this 2D heat equation was "ill-posed" (broken). This paper doesn't just say "it's broken"; it builds a new, sturdy bridge across the broken part. It gives a precise mathematical definition for what the solution actually is.
2. Random Polymers: The paper mentions "random polymers." Imagine a long, floppy molecule (like a piece of spaghetti) floating in a liquid that is being shaken. The path it takes is described by this equation. This result helps scientists understand how these molecules behave in complex environments.
3. The "Critical" Edge: In physics, critical points are where phase transitions happen (like water turning to ice). This paper gives us a precise map of what happens exactly at that transition point in two dimensions.

Summary of the "Magic"

The author, Yu-Ting Chen, essentially did the following:

1. Smudged the problem to make it solvable (using $\epsilon$).
2. Squashed the solution back to the original size (letting $\epsilon \to 0$).
3. Found the hidden pattern (the recursive equation) that survives the squashing.
4. Proved that the chaos isn't random chaos; it follows a strict, predictable rule involving the "sticky particles" (Delta-Bose gas).

In a nutshell: The paper takes a mathematical equation that was previously considered too wild to understand, tames it by looking at how its parts interact, and writes down the exact rulebook for how that wildness behaves. It turns a "broken" equation into a precise, working machine.

Technical Summary

Here is a detailed technical summary of the paper "Martingale problem of the two-dimensional stochastic heat equation at criticality" by Yu-Ting Chen.

1. Problem Statement and Context

The paper addresses the Stochastic Heat Equation (SHE) in two spatial dimensions ($d=2$) with multiplicative space-time white noise:
$$\frac{\partial X}{\partial t} = \frac{\Delta}{2} X + \Lambda^{1/2} X \xi$$
where $\xi$ is space-time white noise.

The Criticality Issue:

• In dimensions $d \ge 2$, the product $X\xi$ is ill-defined because $X$ is a distribution-valued solution, and the multiplication of distributions is not well-defined in standard analysis.
• The case $d=2$ is critical. Unlike $d=1$ (where the equation is well-posed via Itô calculus) or $d \ge 3$ (where the noise is subcritical and solutions converge to the additive SHE), the $d=2$ case requires a specific renormalization of the coupling constant $\Lambda$ to obtain a non-trivial, non-Gaussian limit.
• The paper focuses on the critical regime introduced by Bertini and Cancrini, where the coupling constant $\Lambda_\epsilon$ depends on the regularization scale $\epsilon$ as:
  $$\Lambda_\epsilon = \frac{2\pi}{\log \epsilon^{-1}} + \frac{2\pi\lambda}{\log^2 \epsilon^{-1}}$$
  Here, $\lambda \in \mathbb{R}$ is a parameter that determines the specific limit behavior.

The Goal:
The primary objective is to characterize the martingale problem for the limiting solution $X_\infty$ of the approximate SHEs as $\epsilon \to 0$. Specifically, the author seeks an exact, recursive-type equation that expresses the covariation measure of the martingale part of the SHE in terms of the solution itself and the semigroups of the associated two-body delta-Bose gas.

2. Methodology

The proof strategy relies on a combination of approximation schemes, moment duality, and asymptotic analysis of mixed moments.

A. Approximation and Regularization

The author considers a sequence of approximate SHEs ($X_\epsilon$) where the white noise $\xi$ is smoothed by a mollifier $\varrho_\epsilon$. The coupling constant $\Lambda_\epsilon$ is tuned to the critical scaling to ensure the existence of a non-trivial limit.

B. Moment Duality

A central tool is the moment duality between the moments of the SHE solution and the Schrödinger operators of interacting Brownian particles (the delta-Bose gas).

• The $N$-th moment of $X_\epsilon$ is expressed as an expectation over $N$ independent Brownian motions interacting via a potential $\Lambda_\epsilon \varphi_\epsilon$.
• In the limit $\epsilon \to 0$, these interactions converge to point interactions (delta potentials), leading to the two-dimensional $N$-body delta-Bose gas.
• Crucially, the paper utilizes the fact that the $N$-body problem can be reduced to the one-body Schrödinger operator with a point interaction ($L = -\Delta - \Lambda \delta$), whose resolvents and semigroups have explicit analytic forms involving the Euler-Mascheroni constant and logarithmic terms.

C. Decomposition of the Squared Mild Form

The core technical innovation is the decomposition of the "squared mild form" of the SHE. By squaring the mild integral equation and applying Itô's formula, the author derives a formal identity:
$$X(x,t)^2 = \text{Initial Term} + \text{Martingale Terms} + \text{Covariation Terms}$$
The challenge lies in handling the divergent terms (formally $\infty - \infty$) arising from the squared noise. The author performs a rigorous asymptotic expansion of the covariation measures of the approximate solutions $X_\epsilon$.

D. Mixed Moment Bounds

To establish the tightness of the sequence of solutions and their covariation measures, the paper proves new a priori bounds on the fourth-order mixed moments of $X_\epsilon$. These bounds are essential for proving $C$-tightness (tightness in the space of continuous functions) of the joint laws of the solution and its martingale parts.

3. Key Contributions and Results

Theorem 1.1: The Recursive Covariation Equation

The main result is an exact equation for the covariation measure $\langle M_\infty, M_\infty \rangle$ of the limiting martingale measure $M_\infty$. For any test function $f$, the covariation satisfies:
$$\int_0^T \int_{\mathbb{R}^2} L f(x,s,T) \langle M_\infty, M_\infty \rangle(dx, ds) = \text{Deterministic Term} + \text{Stochastic Integral Term}$$
where $L$ is a specific integro-multiplication operator defined as:
$$L f(x,s,T) = -\frac{1}{2\pi} \left( \log\frac{T-s}{2} + \lambda - \gamma_{EM} - \iint \varphi \varphi \log|\cdot| \right) f(x,s) - \iint [f(x-x', s+t') - f(x,s)] P_{t'}(x')^2 dt' dx'$$
This equation expresses the covariation measure recursively in terms of the solution $X_\infty$ and the heat kernel $P_t$.

Theorem 1.2: Explicit Quadratic Variation

As a corollary, the paper provides an explicit formula for the quadratic variation of the martingale part in the mild form. It shows that the quadratic variation can be written as:

1. A deterministic integral involving the two-body delta-Bose gas semigroup (denoted by kernels $K_1$ and $K_2$).
2. A stochastic integral term driven by $M_\infty$ itself.
   This result explicitly links the pathwise properties of the SHE to the semigroups of the delta-Bose gas, revealing how the parameter $\beta$ (determined by $\lambda$) enters the pathwise structure.

Technical Bounds (Theorem 7.1)

The paper establishes rigorous bounds for the mixed moments of the approximate solutions. Specifically, it proves that the fourth-order moments satisfy bounds of the form:
$$\int \int \Lambda_\epsilon^2 \mathbb{E}[X_\epsilon \dots X_\epsilon] \le C (T_2 - T_1)^{2-p}$$
These bounds are critical for proving the $C$-tightness of the sequence of measures, ensuring the existence of subsequential limits.

4. Significance and Impact

1. Rigorous Pathwise Characterization: Prior to this work, the critical 2D SHE was understood primarily through its moments or via the Cole-Hopf transformation to the KPZ equation (which is ill-defined in 2D without renormalization). This paper provides a pathwise martingale formulation, defining the solution via its covariation structure rather than just its distribution.
2. Resolution of the "Infinite" Problem: The paper successfully navigates the $\infty - \infty$ divergence inherent in squaring the SHE solution in 2D. By using the specific renormalization of $\Lambda_\epsilon$ and the properties of the delta-Bose gas, it "closes" the formal equation to yield a well-defined recursive relation.
3. Connection to Delta-Bose Gas: The results explicitly demonstrate that the pathwise fluctuations of the critical SHE are governed by the two-body delta-Bose gas. This deepens the physical understanding of random polymers in 2D, linking the macroscopic stochastic behavior to the microscopic quantum mechanical interactions of particles.
4. New Analytical Tools: The derivation of the fourth-order moment bounds and the specific asymptotic expansions of the heat kernel integrals provide new tools for analyzing singular SPDEs in critical dimensions. The method of using resolvent expansions from the one-body operator to solve the covariation problem offers a novel approach for future studies of singular SPDEs.

In summary, Chen's paper provides a complete and rigorous characterization of the martingale problem for the critical 2D SHE, bridging the gap between heuristic renormalization group arguments and rigorous stochastic analysis, and establishing a direct link between the solution's pathwise properties and the semigroups of interacting particle systems.