Ahmed Bou-Rabee, Tuomo Kuusi, and I have just uploaded our paper “Superdiffusion and anomalous regularization in self-similar random incompressible flows” to the arXiv. In it we consider the behavior of a diffusion in a multiscale, random divergence-free drift. We prove that the variance of the displacement of the particle grows superlinearly in time with a precise growth exponent, confirming predictions made by physicists in the 1980s.
This superdiffusive behavior can only be caused by a reverse cascade of enhanced diffusivity, propagating across infinitely many scales. Physicists make predictions of this kind using heuristic renormalization group arguments. Our paper can be seen as a fully rigorous implementation of the idea.
Our results were announced in a talk I gave at IHES two weeks ago at a conference celebrating the 75th birthday of Sergiu Klainerman.
Setup and physical motivation
We study the long-time behavior of a Brownian particle advected by a random incompressible drift in
,
. The particle position
is described by the stochastic differential equation
![]()
where
is the molecular diffusivity,
is a standard Brownian motion, and
is a stationary, isotropic, incompressible random vector field.
Rather than working directly with
, we parametrize the model in terms of an antisymmetric stream matrix
, which determines
by
. We assume
has a self-similar structure with Hurst exponent
, so that its covariances decay like
![]()
Since the drift is incompressible, there are no sources or sinks, and diffusivity is enhanced by the advection. Whether we see genuine superdiffusivity—variance growing faster than linearly in
—depends on the correlation decay exponent
. In the 1980s, physicists Bouchaud and Georges predicted the following trichotomy:
![Rendered by QuickLaTeX.com \begin{equation*} \mathbf{E}[|X_t - \mathbf{E}[X_t]|^2] \asymp \begin{cases} t & \text{if } \xi > 2\,, \quad \text{(enhanced diffusivity)} \\ t(\log t)^{\frac12} & \text{if } \xi = 2\,, \quad \text{(borderline superdiffusivity)} \\ t^{4/(2+\xi)} & \text{if } \xi < 2\,. \quad \text{(power-law superdiffusivity)} \end{cases} \end{equation*}](https://www.scottnarmstrong.com/wp-content/ql-cache/quicklatex.com-701f2c940a2100710a8c3e8a1f691fc3_l3.png)
In the superdiffusive case
, the exponent can be rewritten as
. The borderline case
(equivalently
) was the subject of a previous paper of ours; the present paper treats the genuinely superdiffusive regime
.
One of the main physical motivations is Richardson’s
law in fluid turbulence, which predicts that the expected squared distance between a pair of particles released at the same location in a turbulent fluid scales like
. In this analogy, as explained by the physicists,
models the relative displacement of a pair of particles and
is the difference of fluid velocities felt by the two particles. The parameter
(equivalently,
) corresponds to Kolmogorov’s phenomenological theory of turbulence, and plugging into the formula above yields
—in exact agreement with Richardson’s
law.
Richardson’s original predictions in his 1926 paper were based on empirical data. Kolmogorov’s derivation of it, as well as subsequent derivations, was based essentially on dimensional analysis. Therefore, as noted by Bouchaud and Georges, having a rigorous demonstration (even for a simplified model) is significant.
Heuristic derivation of the exponent
The power-law exponent
can be derived by tracking the effective diffusivity as a function of scale.
The stream matrix at scale
has amplitude
, so the disorder strength grows with scale. The enhancement of diffusivity at each scale is proportional to the square of the disorder, and inversely proportional to the current effective diffusivity
: when diffusivity is larger, the particle averages over the drift faster, reducing the relative enhancement. This gives a recurrence roughly of the form
![]()
Treating this as a continuous equation in
, we have
, which integrates to
.
The time-space relation is
, giving
. The variance is therefore
![]()
Main result: quenched power-law superdiffusivity
Our first main result confirms the physics prediction in the perturbative regime
, with precise control of the prefactor.
Theorem A (Quenched power-law superdiffusivity) For
sufficiently small, there exists a constant
(the disorder strength, which is explicit in most examples) such that, for a typical realization of the drift, the quenched second moment satisfies
![]()
The
term is random but has good moment bounds, uniform in the molecular diffusivity
.
Several aspects of this result are worth emphasizing:
- The result is quenched: it holds for almost every realization of the random drift, not just in expectation over the environment.
- We identify the leading prefactor
up to a relative error of
. - The estimates are uniform in the molecular diffusivity
. - There is no homogenization: the errors do not go to zero as the scale becomes large. Rather we see the same thing at every scale (multifractal behavior).
Second main result: anomalous regularization
The renormalization picture has a second, more analytic consequence: anomalous regularization for solutions of the associated elliptic equation.
Theorem C (Anomalous Hölder regularity) For
sufficiently small and
, solutions of
![]()
are Hölder continuous with exponent
, with estimates uniform in
.
Even as
, solutions do not lose all regularity. The emergent diffusivity generated by the drift enforces near-Lipschitz behavior on all scales. Since this regularity is uniform in
, it cannot be attributed to microscopic smoothing by the
term.
The Hölder exponent
is expected to be sharp, reflecting the multifractal nature of the environment.
The proof strategy: Wilsonian renormalization of the generator
Rather than working directly with the trajectories of the SDE, we work with the infinitesimal generator of the process:
![]()
The key idea is to coarse-grain this operator scale-by-scale and track a running effective diffusivity
at each triadic scale
. We show that, at every scale,
![]()
up to a relative error of
.
The central object in our analysis is a random “defect”
which measures how well the heterogeneous operator
is approximated by the constant-coefficient Laplacian
on the cube
of side length
. We show that
remains of order
at every scale, with good moment bounds uniform in
.
Crucially, the approximation is scale-local: the error does not decay as we go to larger scales, but it remains bounded. This reflects the genuine multifractal nature of the environment. As we zoom out from scale
to scale
, we essentially see the same picture again, with the stream matrix resampled at new frequencies.
The central technical challenge is closing the renormalization group induction. At each scale, we must show that the estimates at scale
have the same form as those at scale
, with constants that don’t blow up as we iterate. This is far harder than in classical homogenization, where one eventually compares to a fixed homogenized operator.
The difficulty is that there is no fixed microscopic scale to anchor to. Everything must be measured in units of the effective diffusivity
at the current scale—not in units of
. If we measured perturbations in units of
, adding a fresh layer
of the stream matrix, which has size
, would produce a catastrophically large error term. But in units of
, the perturbation is only
—small enough to be perturbative.
This is what makes the environment a genuine multifractal: fluctuations remain of constant relative size at every scale, and the induction must close purely in these scale-local units.
In most previous works (notably, on the Kraichnan model) proving rigorous results similar to ours, the vector field has a special white-noise-in-time assumption, which allows moment hierarchies to close exactly via Gaussian calculus. This conveniently sidesteps the closure problem entirely by enabling exact computations. Our approach is different, and based on coarse-graining methods originating in quantitative stochastic homogenization, and confronts the closure problem directly.