Showing 1–50 of 110 results for author: Hairer, M

Scaling limit of the KPZ equation with non-integrable spatial correlations

Authors: Luca Gerolla, Martin Hairer, Xue-Mei Li

Abstract: We study the large scale fluctuations of the KPZ equation in dimensions $d \geq 3$ driven by Gaussian noise that is white in time Gaussian but features non-integrable spatial correlation with decay rate $κ\in (2, d)$ and a suitable limiting profile. We show that its scaling limit is described by the corresponding additive stochastic heat equation. In contrast to the case of compactly supported cov… ▽ More We study the large scale fluctuations of the KPZ equation in dimensions $d \geq 3$ driven by Gaussian noise that is white in time Gaussian but features non-integrable spatial correlation with decay rate $κ\in (2, d)$ and a suitable limiting profile. We show that its scaling limit is described by the corresponding additive stochastic heat equation. In contrast to the case of compactly supported covariance, the noise in the stochastic heat equation retains spatial correlation with covariance $|x|^{-κ}$. Surprisingly, the noise driving the limiting equation turns out to be the scaling limit of the noise driving the KPZ equation so that, under a suitable coupling, one has convergence in probability, unlike in the case of integrable correlations where fluctuations are enhanced in the limit and convergence is necessarily weak. △ Less

Submitted 18 July, 2024; originally announced July 2024.

MSC Class: 60H15; 60F17

A scaling limit of the 2D parabolic Anderson model with exclusion interaction

Authors: Dirk Erhard, Martin Hairer, Tiecheng Xu

Abstract: We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$. Here, the $ξ$-field is $\mathbb{R}$-valued, acting as a dynamic random environment, and $Δ$ represents the discrete Laplacian. We focus on the case where $ξ$ is given by a rescaled symmetric simple exclusion process which converges to an Ornstein--Uhlenbeck proce… ▽ More We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$. Here, the $ξ$-field is $\mathbb{R}$-valued, acting as a dynamic random environment, and $Δ$ represents the discrete Laplacian. We focus on the case where $ξ$ is given by a rescaled symmetric simple exclusion process which converges to an Ornstein--Uhlenbeck process. By scaling the Laplacian diffusively and considering the equation on a torus, we demonstrate that in dimension $d=2$, when a suitably renormalized version of the above equation is considered, the sequence of solutions converges in law. This resolves an open problem from~\cite{EH23}, where a similar result was shown in the three-dimensional case. The novel contribution in the present work is the establishment of a gradient bound on the transition probability of a fixed but arbitrary number of labelled exclusion particles. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: arXiv admin note: text overlap with arXiv:2103.13479

Renormalisation in the presence of variance blowup

Authors: Martin Hairer

Abstract: We show that if one drives the KPZ equation by the derivative of a space-time white noise smoothened out at scale $\varepsilon \ll 1$ and multiplied by $\varepsilon^{3/4}$ then, as $\varepsilon \to 0$, solutions converge to the Cole-Hopf solutions to the KPZ equation driven by space-time white noise. In the same vein, we also show that if one drives an SDE by fractional Brownian motion with Hurs… ▽ More We show that if one drives the KPZ equation by the derivative of a space-time white noise smoothened out at scale $\varepsilon \ll 1$ and multiplied by $\varepsilon^{3/4}$ then, as $\varepsilon \to 0$, solutions converge to the Cole-Hopf solutions to the KPZ equation driven by space-time white noise. In the same vein, we also show that if one drives an SDE by fractional Brownian motion with Hurst parameter $H < 1/4$, smoothened out at scale $\varepsilon \ll 1$ and multiplied by $\varepsilon^{1/4-H}$ then, as $\varepsilon \to 0$, solutions converge to an SDE driven by white noise. The mechanism giving rise to both results is the same, but the proof techniques differ substantially. △ Less

Submitted 19 January, 2024; originally announced January 2024.

MSC Class: 60H10; 60H15; 60L20; 60L30

Periodic space-time homogenisation of the $φ^4_2$ equation

Authors: Martin Hairer, Harprit Singh

Abstract: We consider the homogenisation problem for the $φ^4_2$ equation on the torus $\mathbb{T}^2$, namely the behaviour as $\varepsilon \to 0$ of the solutions to the equation \textit{suggestively} written as $$ \partial_t u_\varepsilon - \nabla\cdot {A}(x/\varepsilon,t/\varepsilon^2) \nabla u_\varepsilon = -u^3_\varepsilon +ξ$$ where $ξ$ denotes space-time white noise and… ▽ More We consider the homogenisation problem for the $φ^4_2$ equation on the torus $\mathbb{T}^2$, namely the behaviour as $\varepsilon \to 0$ of the solutions to the equation \textit{suggestively} written as $$ \partial_t u_\varepsilon - \nabla\cdot {A}(x/\varepsilon,t/\varepsilon^2) \nabla u_\varepsilon = -u^3_\varepsilon +ξ$$ where $ξ$ denotes space-time white noise and $A: \mathbb{T}^2\times \mathbb{R}$ is uniformly elliptic, periodic and Hölder continuous. When the noise is regularised at scale $δ\ll 1$ we show that any joint limit $\varepsilon,δ\to 0$ recovers the classical dynamical $φ^4_2$ model. In certain regimes or if the regularisation is chosen in a specific way adapted to the problem, we show that the counterterms can be chosen as explicit local functions of $A$. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 43 pages

MSC Class: 60H17; 35B27

Regularity Structures on Manifolds and Vector Bundles

Authors: Martin Hairer, Harprit Singh

Abstract: We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E\to M$ and $F^i\to M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form… ▽ More We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E\to M$ and $F^i\to M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form $$ \partial_t u + \mathcal{L}u = \sum_{i=0}^m G_i(u, \nabla u,\ldots, \nabla^n u)ξ_i\ , $$ where $u$ is a (generalised) section of $E$, $\mathcal{L}$ is a uniformly elliptic operator on $E$ of order strictly greater than $n$, the $ξ_i$ are $F^i$-valued random distributions (e.g. $F^i$-valued white noises), and the $G_i:E\times TM^*\otimes E \times\ldots\times (TM^*)^{\otimes n} \otimes E \to L(F^i ,E)$ are local functions. We apply our framework to three example equations which illustrate that when $\mathcal{L}$ is a Laplacian it is possible in most cases to renormalise such equations by adding spatially homogeneous counterterms and we discuss in which cases more sophisticated renormalisation procedures (involving the curvature of the underlying manifold) are required. △ Less

Submitted 9 August, 2023; originally announced August 2023.

MSC Class: 60H15; 60L30

Spectral gap for projective processes of linear SPDEs

Authors: Martin Hairer, Tommaso Rosati

Abstract: This work studies the angular component $ π_{t} = u_{t} / \| u_{t} \| $ associated to the solution $ u $ of a vector-valued linear hyperviscous SPDE on a $d$-dimensional torus $$\mathrm{d} u^α =- ν^α (- Δ)^{\mathbf{a} } u^α \mathrm{d} t + (u \cdot \mathrm{d} W)^α \;,\quad α\in \{ 1, \dots, m \} $$ for $ u \colon \mathbb{T}^{d} \to \mathbb{R}^{m} $, $ \mathbf{a} \geqslant 1 $ and a sufficiently smo… ▽ More This work studies the angular component $ π_{t} = u_{t} / \| u_{t} \| $ associated to the solution $ u $ of a vector-valued linear hyperviscous SPDE on a $d$-dimensional torus $$\mathrm{d} u^α =- ν^α (- Δ)^{\mathbf{a} } u^α \mathrm{d} t + (u \cdot \mathrm{d} W)^α \;,\quad α\in \{ 1, \dots, m \} $$ for $ u \colon \mathbb{T}^{d} \to \mathbb{R}^{m} $, $ \mathbf{a} \geqslant 1 $ and a sufficiently smooth and non-degenerate noise $ W $. We provide conditions for existence, as well as uniqueness and spectral gaps (if $ \mathbf{a} > d/2$) of invariant measures for $ π$ in the projective space. Our proof relies on the introduction of a novel Lyapunov functional for $π_{t}$, based on the study of dynamics of the ``energy median'': the energy level $M$ at which projections of $u$ onto frequencies with energies less or more than $M$ have about equal $L^2$ norm. This technique is applied to obtain -- in an infinite-dimensional setting without order preservation -- lower bounds on top Lyapunov exponents of the equation, and their uniqueness via Furstenberg-Khasminskii formulas. △ Less

Submitted 17 August, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: 73 pages, 2 figures, revised high-frequency stochastic instability section

MSC Class: 60H15

A Dynamical Yukawa$_{2}$ Model

Authors: Ajay Chandra, Martin Hairer, Martin Peev

Abstract: We prove local (in space and time) well-posedness for a mildly regularised version of the stochastic quantisation of the Yukawa$_{2}$ Euclidean field theory with a self-interacting boson. Our regularised dynamic is still singular but avoids non-local divergences, allowing us to use a version of the Da Prato--Debussche argument. This model is a test case for a non-commutative probability framework… ▽ More We prove local (in space and time) well-posedness for a mildly regularised version of the stochastic quantisation of the Yukawa$_{2}$ Euclidean field theory with a self-interacting boson. Our regularised dynamic is still singular but avoids non-local divergences, allowing us to use a version of the Da Prato--Debussche argument. This model is a test case for a non-commutative probability framework for formulating the kind of singular SPDEs arising in the stochastic quantisation of field theories mixing both bosons and fermions. △ Less

Submitted 6 March, 2024; v1 submitted 12 May, 2023; originally announced May 2023.

Comments: Added an argument using the Araki-Wyss representation to define a stronger non-commutative L^2 topology

MSC Class: 81T08; 46L53; 60H15

Fluctuations of stochastic PDEs with long-range correlations

Authors: Luca Gerolla, Martin Hairer, Xue-Mei Li

Abstract: We study the large-scale dynamics of the solution to a nonlinear stochastic heat equation (SHE) in dimensions $d \geq 3$ with long-range dependence. This equation is driven by multiplicative Gaussian noise, which is white in time and coloured in space with non-integrable spatial covariance that decays at the rate of $|x|^{-κ}$ at infinity, where $κ\in (2, d)$. Inspired by recent studies on SHE and… ▽ More We study the large-scale dynamics of the solution to a nonlinear stochastic heat equation (SHE) in dimensions $d \geq 3$ with long-range dependence. This equation is driven by multiplicative Gaussian noise, which is white in time and coloured in space with non-integrable spatial covariance that decays at the rate of $|x|^{-κ}$ at infinity, where $κ\in (2, d)$. Inspired by recent studies on SHE and KPZ equations driven by noise with compactly supported spatial correlation, we demonstrate that the correlations persist in the large-scale limit. The fluctuations of the diffusively scaled solution converge to the solution of a stochastic heat equation with additive noise whose correlation is the Riesz kernel of degree $-κ$. Moreover, the fluctuations converge as a distribution-valued process in the optimal Hölder topologies. △ Less

Submitted 18 July, 2024; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: Some improvements in the exposition

MSC Class: 60H15; 60H05; 60F05

Global existence for perturbations of the 2D stochastic Navier-Stokes equations with space-time white noise

Authors: Martin Hairer, Tommaso Rosati

Abstract: We prove global in time well-posedness for perturbations of the 2D stochastic Navier-Stokes equations \begin{equation*} \partial_t u + u \cdot \nabla u = Δu - \nabla p + ζ+ ξ \;, \quad u (0, \cdot) = u_{0}(\cdot) \;, \quad \mathrm{div} (u) = 0 \;, \end{equation*} driven by additive space-time white noise $ ξ$, with perturbation $ ζ$ in the Hölder-Besov space $\mathcal{C}^{-2 + 3κ} $, p… ▽ More We prove global in time well-posedness for perturbations of the 2D stochastic Navier-Stokes equations \begin{equation*} \partial_t u + u \cdot \nabla u = Δu - \nabla p + ζ+ ξ \;, \quad u (0, \cdot) = u_{0}(\cdot) \;, \quad \mathrm{div} (u) = 0 \;, \end{equation*} driven by additive space-time white noise $ ξ$, with perturbation $ ζ$ in the Hölder-Besov space $\mathcal{C}^{-2 + 3κ} $, periodic boundary conditions and initial condition $ u_{0} \in \mathcal{C}^{-1 + κ} $ for any $ κ>0 $. The proof relies on an energy estimate which in turn builds on a dynamic high-low frequency decomposition and tools from paracontrolled calculus. Our argument uses that the solution to the linear equation is a $ \log$-correlated field, yielding a double exponential growth bound on the solution. Notably, our method does not rely on any explicit knowledge of the invariant measure to the SPDE, hence the perturbation $ ζ$ is not restricted to the Cameron-Martin space of the noise, and the initial condition may be anticipative. Finally, we introduce a notion of weak solution that leads to well-posedness for all initial data $u_{0}$ in $ L^{2} $, the critical space of initial conditions. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Comments: 38 Pages

MSC Class: 60H15;

The BPHZ Theorem for Regularity Structures via the Spectral Gap Inequality

Authors: Martin Hairer, Rhys Steele

Abstract: We provide a relatively compact proof of the BPHZ theorem for regularity structures of decorated trees in the case where the driving noise satisfies a suitable spectral gap property, as in the Gaussian case. This is inspired by the recent work [LOTT21] in the multi-index setting, but our proof relies crucially on a novel version of the reconstruction theorem for a space of "pointed Besov modelled… ▽ More We provide a relatively compact proof of the BPHZ theorem for regularity structures of decorated trees in the case where the driving noise satisfies a suitable spectral gap property, as in the Gaussian case. This is inspired by the recent work [LOTT21] in the multi-index setting, but our proof relies crucially on a novel version of the reconstruction theorem for a space of "pointed Besov modelled distributions". As a consequence, the analytical core of the proof is quite short and self-contained, which should make it easier to adapt the proof to different contexts (such as the setting of discrete models). △ Less

Submitted 7 October, 2023; v1 submitted 24 January, 2023; originally announced January 2023.

The work of Hugo Duminil-Copin

Authors: Martin Hairer

Abstract: The past decade has seen tremendous progress in our understanding of the behaviour of many probabilistic models at or near their "critical point". On the 5th of July 2022, Hugo Duminil-Copin was awarded the Fields medal for the crucial role he played in many of these developments. In this short review article, we will try to put his work into context and present a small selection of his results. The past decade has seen tremendous progress in our understanding of the behaviour of many probabilistic models at or near their "critical point". On the 5th of July 2022, Hugo Duminil-Copin was awarded the Fields medal for the crucial role he played in many of these developments. In this short review article, we will try to put his work into context and present a small selection of his results. △ Less

Submitted 4 July, 2022; originally announced July 2022.

MSC Class: 82B20; 82B26; 82B43

Directed mean curvature flow in noisy environment

Authors: Andris Gerasimovics, Martin Hairer, Konstantin Matetski

Abstract: We consider the directed mean curvature flow on the plane in a weak Gaussian random environment. We prove that, when started from a sufficiently flat initial condition, a rescaled and recentred solution converges to the Cole-Hopf solution of the KPZ equation. This result follows from the analysis of a more general system of nonlinear SPDEs driven by inhomogeneous noises, using the theory of regula… ▽ More We consider the directed mean curvature flow on the plane in a weak Gaussian random environment. We prove that, when started from a sufficiently flat initial condition, a rescaled and recentred solution converges to the Cole-Hopf solution of the KPZ equation. This result follows from the analysis of a more general system of nonlinear SPDEs driven by inhomogeneous noises, using the theory of regularity structures. However, due to inhomogeneity of the noise, the "black box" result developed in the series of works [Hai14, BHZ19, CH16, BCCH21] cannot be applied directly and requires significant extension to infinite-dimensional regularity structures. Analysis of this general system of SPDEs gives two more interesting results. First, we prove that the solution of the quenched KPZ equation with a very strong force also converges to the Cole-Hopf solution of the KPZ equation. Second, we show that a properly rescaled and renormalised quenched Edwards-Wilkinson model in any dimension converges to the stochastic heat equation. △ Less

Submitted 20 April, 2023; v1 submitted 21 January, 2022; originally announced January 2022.

Comments: Revised version

MSC Class: 60H15; 60L30; 35K93

The Allen-Cahn equation with generic initial datum

Authors: Martin Hairer, Khoa Lê, Tommaso Rosati

Abstract: We consider the Allen-Cahn equation $\partial_t u- Δu=u-u^3$ with a rapidly mixing Gaussian field as initial condition. We show that provided that the amplitude of the initial condition is not too large, the equation generates fronts described by nodal sets of the Bargmann-Fock Gaussian field, which then evolve according to mean curvature flow. We consider the Allen-Cahn equation $\partial_t u- Δu=u-u^3$ with a rapidly mixing Gaussian field as initial condition. We show that provided that the amplitude of the initial condition is not too large, the equation generates fronts described by nodal sets of the Bargmann-Fock Gaussian field, which then evolve according to mean curvature flow. △ Less

Submitted 20 January, 2022; originally announced January 2022.

MSC Class: 60H15; 35R60; 53E10

Stochastic quantisation of Yang-Mills-Higgs in 3D

Authors: Ajay Chandra, Ilya Chevyrev, Martin Hairer, Hao Shen

Abstract: We define a state space and a Markov process associated to the stochastic quantisation equation of Yang-Mills-Higgs (YMH) theories. The state space $\mathcal{S}$ is a nonlinear metric space of distributions, elements of which can be used as initial conditions for the (deterministic and stochastic) YMH flow with good continuity properties. Using gauge covariance of the deterministic YMH flow, we ex… ▽ More We define a state space and a Markov process associated to the stochastic quantisation equation of Yang-Mills-Higgs (YMH) theories. The state space $\mathcal{S}$ is a nonlinear metric space of distributions, elements of which can be used as initial conditions for the (deterministic and stochastic) YMH flow with good continuity properties. Using gauge covariance of the deterministic YMH flow, we extend gauge equivalence $\sim$ to $\mathcal{S}$ and thus define a quotient space of "gauge orbits" $\mathfrak{O}$. We use the theory of regularity structures to prove local in time solutions to the renormalised stochastic YMH flow. Moreover, by leveraging symmetry arguments in the small noise limit, we show that there is a unique choice of renormalisation counterterms such that these solutions are gauge covariant in law. This allows us to define a canonical Markov process on $\mathfrak{O}$ (up to a potential finite time blow-up) associated to the stochastic YMH flow. △ Less

Submitted 15 April, 2024; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 158 pages; minor revisions and additional explanations added

Journal ref: Inventiones mathematicae, vol. 237, 541-696 (2024)

Boundary renormalisation of SPDEs

Authors: Máté Gerencsér, Martin Hairer

Abstract: We consider the continuum parabolic Anderson model (PAM) and the dynamical $Φ^4$ equation on the $3$-dimensional cube with boundary conditions. While the Dirichlet solution theories are relatively standard, the case of Neumann/Robin boundary conditions gives rise to a divergent boundary renormalisation. Furthermore for $Φ^4_3$ a `boundary triviality' result is obtained: if one approximates the equ… ▽ More We consider the continuum parabolic Anderson model (PAM) and the dynamical $Φ^4$ equation on the $3$-dimensional cube with boundary conditions. While the Dirichlet solution theories are relatively standard, the case of Neumann/Robin boundary conditions gives rise to a divergent boundary renormalisation. Furthermore for $Φ^4_3$ a `boundary triviality' result is obtained: if one approximates the equation with Neumann boundary conditions and the usual bulk renormalisation, then the limiting process coincides with the one obtained using Dirichlet boundary conditions. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 51 pages

MSC Class: 60H15; 60L30

Generating diffusions with fractional Brownian motion

Authors: Martin Hairer, Xue-Mei Li

Abstract: We study fast / slow systems driven by a fractional Brownian motion $B$ with Hurst parameter $H\in (\frac 13, 1]$. Surprisingly, the slow dynamic converges on suitable timescales to a limiting Markov process and we describe its generator. More precisely, if $Y^\varepsilon$ denotes a Markov process with sufficiently good mixing properties evolving on a fast timescale $\varepsilon \ll 1$, the soluti… ▽ More We study fast / slow systems driven by a fractional Brownian motion $B$ with Hurst parameter $H\in (\frac 13, 1]$. Surprisingly, the slow dynamic converges on suitable timescales to a limiting Markov process and we describe its generator. More precisely, if $Y^\varepsilon$ denotes a Markov process with sufficiently good mixing properties evolving on a fast timescale $\varepsilon \ll 1$, the solutions of the equation $$ dX^\varepsilon = \varepsilon^{\frac 12-H} F(X^\varepsilon,Y^\varepsilon)\,dB+F_0(X^\varepsilon,Y^\varepsilon)\,dt\; $$ converge to a regular diffusion without having to assume that $F$ averages to $0$, provided that $H< \frac 12$. For $H > \frac 12$, a similar result holds, but this time it does require $F$ to average to $0$. We also prove that the $n$-point motions converge to those of a Kunita type SDE. One nice interpretation of this result is that it provides a continuous interpolation between the homogenisation theorem for random ODEs with rapidly oscillating right-hand sides ($H=1$) and the averaging of diffusion processes ($H= \frac 12$). △ Less

Submitted 24 August, 2022; v1 submitted 14 September, 2021; originally announced September 2021.

MSC Class: 60G22; 60L20; 60H10

A scaling limit of the parabolic Anderson model with exclusion interaction

Authors: Dirk Erhard, Martin Hairer

Abstract: We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$, where the $ξ$-field is $\mathbb{R}$-valued and plays the role of a dynamic random environment, and $Δ$ is the discrete Laplacian. We focus on the case in which $ξ$ is given by a properly rescaled symmetric simple exclusion process under which it converges to an O… ▽ More We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$, where the $ξ$-field is $\mathbb{R}$-valued and plays the role of a dynamic random environment, and $Δ$ is the discrete Laplacian. We focus on the case in which $ξ$ is given by a properly rescaled symmetric simple exclusion process under which it converges to an Ornstein--Uhlenbeck process. Scaling the Laplacian diffusively and restricting ourselves to a torus, we show that in dimension $d=3$ upon considering a suitably renormalised version of the above equation, the sequence of solutions converges in law. As a by-product of our main result we obtain precise asymptotics for the survival probability of a simple random walk that is killed at a scale dependent rate when meeting an exclusion particle. Our proof relies on the discrete theory of regularity structures of \cite{ErhardHairerRegularity} and on novel sharp estimates of joint cumulants of arbitrary large order for the exclusion process. We think that the latter is of independent interest and may find applications elsewhere. △ Less

Submitted 24 March, 2021; originally announced March 2021.

MSC Class: 60K35; 60L30; 60L90; 60H15

The $Φ_3^4$ measure has sub-Gaussian tails

Authors: Martin Hairer, Rhys Steele

Abstract: We provide a very simple argument showing that the $Φ^4_3$ measure does have quartic exponential tails, as expected from its formal expression. This shows that the corresponding moment problem is well-posed and provides a simple path to observing non-Gaussianity of the measure. We provide a very simple argument showing that the $Φ^4_3$ measure does have quartic exponential tails, as expected from its formal expression. This shows that the corresponding moment problem is well-posed and provides a simple path to observing non-Gaussianity of the measure. △ Less

Submitted 28 October, 2022; v1 submitted 23 February, 2021; originally announced February 2021.

The Brownian Web as a random $\mathbb R$-tree

Authors: Giuseppe Cannizzaro, Martin Hairer

Abstract: Motivated by [G. Cannizzaro, M. Hairer, Comm. Pure Applied Math., '22], we provide a construction of the Brownian Web (see [Tóth B., Werner W., Probab. Theory Related Fields, '98] and [L. R. G. Fontes, M. Isopi, C. M. Newman, and K. Ravishankar, Ann. Probab., '04]), i.e. a family of coalescing Brownian motions starting from every point in $\mathbb R^2$, as a random variable taking values in the sp… ▽ More Motivated by [G. Cannizzaro, M. Hairer, Comm. Pure Applied Math., '22], we provide a construction of the Brownian Web (see [Tóth B., Werner W., Probab. Theory Related Fields, '98] and [L. R. G. Fontes, M. Isopi, C. M. Newman, and K. Ravishankar, Ann. Probab., '04]), i.e. a family of coalescing Brownian motions starting from every point in $\mathbb R^2$, as a random variable taking values in the space of (spatial) $\mathbb R$-trees. This gives a stronger topology than the classical one {(i.e.\ Hausdorff convergence on closed sets of paths)}, thus providing us with more continuous functions of the Brownian Web and ruling out a number of potential pathological behaviours. Along the way, we introduce a modification of the topology of spatial $\mathbb R$-trees in [T. Duquesne, J.-F. Le Gall, Probab. Theory Related Fields, '05] and [M. T. Barlow, D. A. Croydon, T. Kumagai, Ann. Probab. '17] which makes it a complete separable metric space and could be of independent interest. We determine some properties of the characterisation of the Brownian Web in this context (e.g.\ its box-counting dimension) and recover some which were determined in earlier works, such as duality, special points and convergence of the graphical representation of coalescing random walks. △ Less

Submitted 2 August, 2023; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: Improved presentation and fixed various proofs. The paper contains results on the Brownian Web previously included in v1 of arXiv:2010.02766

MSC Class: 60G

The Brownian Castle

Authors: Giuseppe Cannizzaro, Martin Hairer

Abstract: We introduce a $1+1$-dimensional temperature-dependent model such that the classical ballistic deposition model is recovered as its zero-temperature limit. Its $\infty$-temperature version, which we refer to as the $0$-Ballistic Deposition ($0$-BD) model, is a randomly evolving interface which, surprisingly enough, does {\it not} belong to either the Edwards--Wilkinson (EW) or the Kardar--Parisi--… ▽ More We introduce a $1+1$-dimensional temperature-dependent model such that the classical ballistic deposition model is recovered as its zero-temperature limit. Its $\infty$-temperature version, which we refer to as the $0$-Ballistic Deposition ($0$-BD) model, is a randomly evolving interface which, surprisingly enough, does {\it not} belong to either the Edwards--Wilkinson (EW) or the Kardar--Parisi--Zhang (KPZ) universality class. We show that $0$-BD has a scaling limit, a new stochastic process that we call {\it Brownian Castle} (BC) which, although it is "free", is distinct from EW and, like any other renormalisation fixed point, is scale-invariant, in this case under the $1:1:2$ scaling (as opposed to $1:2:3$ for KPZ and $1:2:4$ for EW). In the present article, we not only derive its finite-dimensional distributions, but also provide a "global" construction of the Brownian Castle which has the advantage of highlighting the fact that it admits backward characteristics given by the (backward) Brownian Web (see [Tóth B., Werner W., Probab. Theory Related Fields, '98] and [L. R. G. Fontes, M. Isopi, C. M. Newman, and K. Ravishankar, Ann. Probab., '04]). Among others, this characterisation enables us to establish fine pathwise properties of BC and to relate these to special points of the Web. We prove that the Brownian Castle is a (strong) Markov and Feller process on a suitable space of càdlàg functions and determine its long-time behaviour. At last, we give a glimpse to its universality by proving the convergence of $0$-BD to BC in a rather strong sense. △ Less

Submitted 5 February, 2021; v1 submitted 6 October, 2020; originally announced October 2020.

Comments: Standalone results on the Brownian Web have been split off into a separate article

MSC Class: 60G

Langevin dynamic for the 2D Yang-Mills measure

Authors: Ajay Chandra, Ilya Chevyrev, Martin Hairer, Hao Shen

Abstract: We define a natural state space and Markov process associated to the stochastic Yang-Mills heat flow in two dimensions. To accomplish this we first introduce a space of distributional connections for which holonomies along sufficiently regular curves (Wilson loop observables) and the action of an associated group of gauge transformations are both well-defined and satisfy good continuity properties… ▽ More We define a natural state space and Markov process associated to the stochastic Yang-Mills heat flow in two dimensions. To accomplish this we first introduce a space of distributional connections for which holonomies along sufficiently regular curves (Wilson loop observables) and the action of an associated group of gauge transformations are both well-defined and satisfy good continuity properties. The desired state space is obtained as the corresponding space of orbits under this group action and is shown to be a Polish space when equipped with a natural Hausdorff metric. To construct the Markov process we show that the stochastic Yang-Mills heat flow takes values in our space of connections and use the "DeTurck trick" of introducing a time dependent gauge transformation to show invariance, in law, of the solution under gauge transformations. Our main tool for solving for the Yang-Mills heat flow is the theory of regularity structures and along the way we also develop a "basis-free" framework for applying the theory of regularity structures in the context of vector-valued noise - this provides a conceptual framework for interpreting several previous constructions and we expect this framework to be of independent interest. △ Less

Submitted 25 May, 2022; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: 141 pages. Revised according to referee reports. Added figures in Section 3. Accepted for publication in Publ. Math. IHÉS

Journal ref: Publ. Math. Inst. Hautes Études Sci. 136 (2022), 1-147

A noise-induced transition in the Lorenz system

Authors: Michele Coti Zelati, Martin Hairer

Abstract: We consider a stochastic perturbation of the classical Lorenz system in the range of parameters for which the origin is the global attractor. We show that adding noise in the last component causes a transition from a unique to exactly two ergodic invariant measures. The bifurcation threshold depends on the strength of the noise: if the noise is weak, the only invariant measure is Gaussian, while s… ▽ More We consider a stochastic perturbation of the classical Lorenz system in the range of parameters for which the origin is the global attractor. We show that adding noise in the last component causes a transition from a unique to exactly two ergodic invariant measures. The bifurcation threshold depends on the strength of the noise: if the noise is weak, the only invariant measure is Gaussian, while strong enough noise causes the appearance of a second ergodic invariant measure. △ Less

Submitted 15 August, 2023; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: Final draft; some typos fixed compared to the published version

MSC Class: 60H10; 37H20

Fluctuations around a homogenised semilinear random PDE

Authors: Martin Hairer, Étienne Pardoux

Abstract: We consider a semilinear parabolic partial differential equation in $\mathbf{R}_+\times [0,1]^d$, where $d=1, 2$ or $3$, with a highly oscillating random potential and either homogeneous Dirichlet or Neumann boundary condition. If the amplitude of the oscillations has the right size compared to its typical spatiotemporal scale, then the solution of our equation converges to the solution of a deter… ▽ More We consider a semilinear parabolic partial differential equation in $\mathbf{R}_+\times [0,1]^d$, where $d=1, 2$ or $3$, with a highly oscillating random potential and either homogeneous Dirichlet or Neumann boundary condition. If the amplitude of the oscillations has the right size compared to its typical spatiotemporal scale, then the solution of our equation converges to the solution of a deterministic homogenised parabolic PDE, which is a form of law of large numbers. Our main interest is in the associated central limit theorem. Namely, we study the limit of a properly rescaled difference between the initial random solution and its LLN limit. In dimension $d=1$, that rescaled difference converges as one might expect to a centred Ornstein-Uhlenbeck process. However, in dimension $d=2$, the limit is a non-centred Gaussian process, while in dimension $d=3$, before taking the CLT limit, we need to subtract at an intermediate scale the solution of a deterministic parabolic PDE, subject (in the case of Neumann boundary condition) to a non-homogeneous Neumann boundary condition. Our proofs make use of the theory of regularity structures, in particular of the very recently developed methodology allowing to treat parabolic PDEs with boundary conditions within that theory. △ Less

Submitted 5 May, 2021; v1 submitted 7 November, 2019; originally announced November 2019.

Comments: Fixes a few typos in the appendix compared to the accepted version

MSC Class: 60H15; 60H30; 60L30

The support of singular stochastic PDEs

Authors: Martin Hairer, Philipp Schönbauer

Abstract: We obtain a generalisation of the Stroock-Varadhan support theorem for a large class of systems of subcritical singular stochastic PDEs driven by a noise that is either white or approximately self-similar. The main problem that we face is the presence of renormalisation. In particular, it may happen in general that different renormalisation procedures yield solutions with different supports. One o… ▽ More We obtain a generalisation of the Stroock-Varadhan support theorem for a large class of systems of subcritical singular stochastic PDEs driven by a noise that is either white or approximately self-similar. The main problem that we face is the presence of renormalisation. In particular, it may happen in general that different renormalisation procedures yield solutions with different supports. One of the main steps in our construction is the identification of a subgroup $\mathcal{H}$ of the renormalisation group such that any renormalisation procedure determines a unique coset $g\circ\mathcal{H}$. The support of the solution then only depends on this coset and is obtained by taking the closure of all solutions obtained by replacing the driving noises by smooth functions in the equation that is renormalised by some element of $g\circ\mathcal{H}$. One immediate corollary of our results is that the $Φ^4_3$ measure in finite volume has full support and that the associated Langevin dynamic is exponentially ergodic. △ Less

Submitted 6 December, 2021; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: Accepted version

MSC Class: 60H15; 60L30

Averaging dynamics driven by fractional Brownian motion

Authors: Martin Hairer, Xue-Mei Li

Abstract: We consider slow / fast systems where the slow system is driven by fractional Brownian motion with Hurst parameter $H>{1\over 2}$. We show that unlike in the case $H={1\over 2}$, convergence to the averaged solution takes place in probability and the limiting process solves the 'naïvely' averaged equation. Our proof strongly relies on the recently obtained stochastic sewing lemma. We consider slow / fast systems where the slow system is driven by fractional Brownian motion with Hurst parameter $H>{1\over 2}$. We show that unlike in the case $H={1\over 2}$, convergence to the averaged solution takes place in probability and the limiting process solves the 'naïvely' averaged equation. Our proof strongly relies on the recently obtained stochastic sewing lemma. △ Less

Submitted 6 October, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

MSC Class: 60G22; 60H10; 60H05

Geometric stochastic heat equations

Authors: Yvain Bruned, Franck Gabriel, Martin Hairer, Lorenzo Zambotti

Abstract: We consider a natural class of $\mathbf{R}^d$-valued one-dimensional stochastic PDEs driven by space-time white noise that is formally invariant under the action of the diffeomorphism group on $\mathbf{R}^d$. This class contains in particular the KPZ equation, the multiplicative stochastic heat equation, the additive stochastic heat equation, and rough Burgers-type equations. We exhibit a one-para… ▽ More We consider a natural class of $\mathbf{R}^d$-valued one-dimensional stochastic PDEs driven by space-time white noise that is formally invariant under the action of the diffeomorphism group on $\mathbf{R}^d$. This class contains in particular the KPZ equation, the multiplicative stochastic heat equation, the additive stochastic heat equation, and rough Burgers-type equations. We exhibit a one-parameter family of solution theories with the following properties: - For all SPDEs in our class for which a solution was previously available, every solution in our family coincides with the previously constructed solution, whether that was obtained using Itô calculus (additive and multiplicative stochastic heat equation), rough path theory (rough Burgers-type equations), or the Hopf-Cole transform (KPZ equation). - Every solution theory is equivariant under the action of the diffeomorphism group, i.e. identities obtained by formal calculations treating the noise as a smooth function are valid. - Every solution theory satisfies an analogue of Itô's isometry. - The counterterms leading to our solution theories vanish at points where the equation agrees to leading order with the additive stochastic heat equation. In particular, points 2 and 3 show that, surprisingly, our solution theories enjoy properties analogous to those holding for both the Stratonovich and Itô interpretations of SDEs simultaneously. For the natural noisy perturbation of the harmonic map flow with values in an arbitrary Riemannian manifold, we show that all these solution theories coincide. In particular, this allows us to conjecturally identify the process associated to the Markov extension of the Dirichlet form corresponding to the $L^2$-gradient flow for the Brownian loop measure. △ Less

Submitted 7 February, 2021; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: Accepted version; major changes in Sections 5 and 6

MSC Class: 60H15; 60L30

Hörmander's theorem for semilinear SPDEs

Authors: Andris Gerasimovics, Martin Hairer

Abstract: We consider a broad class of semilinear SPDEs with multiplicative noise driven by a finite-dimensional Wiener process. We show that, provided that an infinite-dimensional analogue of Hörmander's bracket condition holds, the Malliavin matrix of the solution is an operator with dense range. In particular, we show that the laws of finite-dimensional projections of such solutions admit smooth densitie… ▽ More We consider a broad class of semilinear SPDEs with multiplicative noise driven by a finite-dimensional Wiener process. We show that, provided that an infinite-dimensional analogue of Hörmander's bracket condition holds, the Malliavin matrix of the solution is an operator with dense range. In particular, we show that the laws of finite-dimensional projections of such solutions admit smooth densities with respect to Lebesgue measure. The main idea is to develop a robust pathwise solution theory for such SPDEs using rough paths theory, which then allows us to use a pathwise version of Norris's lemma to work directly on the Malliavin matrix, instead of the "reduced Malliavin matrix" which is not available in this context. On our way of proving this result, we develop some new tools for the theory of rough paths like a rough Fubini theorem and a deterministic mild Itô formula for rough PDEs. △ Less

Submitted 7 November, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: Accepted version

MSC Class: 60H15; 60H07; 60H05

The dynamical sine-Gordon model in the full subcritical regime

Authors: Ajay Chandra, Martin Hairer, Hao Shen

Abstract: We prove that the dynamical sine-Gordon equation on the two dimensional torus introduced in [HS16] is locally well-posed for the entire subcritical regime. At first glance this equation is far out of the scope of the local existence theory available in the framework of regularity structures [Hai14, BHZ16, CH16, BCCH17] since it involves a non-polynomial nonlinearity and the solution is expected to… ▽ More We prove that the dynamical sine-Gordon equation on the two dimensional torus introduced in [HS16] is locally well-posed for the entire subcritical regime. At first glance this equation is far out of the scope of the local existence theory available in the framework of regularity structures [Hai14, BHZ16, CH16, BCCH17] since it involves a non-polynomial nonlinearity and the solution is expected to be a distribution (without any additional small parameter as in [FG17, HX18]). In [HS16] this was overcome by a change of variable, but the new equation that arises has a multiplicative dependence on highly non-Gaussian noises which makes stochastic estimates highly non-trivial - as a result [HS16] was only able to treat part of the subcritical regime. Moreover, the cumulants of these noises fall out of the scope of the later work [CH16]. In this work we systematically leverage "charge" cancellations specific to this model and obtain stochastic estimates that allow us to cover the entire subcritical regime. △ Less

Submitted 7 August, 2018; originally announced August 2018.

Comments: 64 pages

Renormalisation of parabolic stochastic PDEs

Authors: Martin Hairer

Abstract: We give a survey of recent result regarding scaling limits of systems from statistical mechanics, as well as the universality of the behaviour of such systems in so-called cross-over regimes. It transpires that some of these universal objects are described by singular stochastic PDEs. We then give a survey of the recently developed theory of regularity structures which allows to build these object… ▽ More We give a survey of recent result regarding scaling limits of systems from statistical mechanics, as well as the universality of the behaviour of such systems in so-called cross-over regimes. It transpires that some of these universal objects are described by singular stochastic PDEs. We then give a survey of the recently developed theory of regularity structures which allows to build these objects and to describe some of their properties. We place particular emphasis on the renormalisation procedure required to give meaning to these equations. These are expanded notes of the 20th Takagi lectures held at Tokyo University on November 4, 2017. △ Less

Submitted 8 March, 2018; originally announced March 2018.

Large-scale limit of interface fluctuation models

Authors: Martin Hairer, Weijun Xu

Abstract: We extend the weak universality of KPZ in [Hairer-Quastel] to weakly asymmetric interface models with general growth mechanisms beyond polynomials. A key new ingredient is a pointwise bound on correlations of trigonometric functions of Gaussians in terms of their polynomial counterparts. This enables us to reduce the problem of a general nonlinearity with sufficient regularity to that of a polynom… ▽ More We extend the weak universality of KPZ in [Hairer-Quastel] to weakly asymmetric interface models with general growth mechanisms beyond polynomials. A key new ingredient is a pointwise bound on correlations of trigonometric functions of Gaussians in terms of their polynomial counterparts. This enables us to reduce the problem of a general nonlinearity with sufficient regularity to that of a polynomial. △ Less

Submitted 24 August, 2018; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: 64 page; some typos fixed

Tightness of the Ising-Kac model on the two-dimensional torus

Authors: Martin Hairer, Massimo Iberti

Abstract: We consider the sequence of Gibbs measures of Ising models with Kac interaction defined on a periodic two-dimensional discrete torus near criticality. Using the convergence of the Glauber dynamic proven by H. Weber and J.C. Mourrat and a method by H. Weber and P. Tsatsoulis, we show tightness for the sequence of Gibbs measures of the Ising-Kac model near criticality and characterise the law of the… ▽ More We consider the sequence of Gibbs measures of Ising models with Kac interaction defined on a periodic two-dimensional discrete torus near criticality. Using the convergence of the Glauber dynamic proven by H. Weber and J.C. Mourrat and a method by H. Weber and P. Tsatsoulis, we show tightness for the sequence of Gibbs measures of the Ising-Kac model near criticality and characterise the law of the limit as the $Φ^4_2$ measure on the torus. Our result is very similar to the one obtained by M. Cassandro, R. Marra and E. Presutti on $\mathbb{Z}^2$, but our strategy takes advantage of the dynamic, instead of correlation inequalities. In particular, our result covers the whole critical regime and does not require the large temperature / large mass / small coupling assumption present in earlier results. △ Less

Submitted 10 January, 2018; v1 submitted 22 December, 2017; originally announced December 2017.

Comments: 26 pages

MSC Class: 82C22; 60K35; 82C20

A solution theory for quasilinear singular SPDEs

Authors: Máté Gerencsér, Martin Hairer

Abstract: We give a construction allowing to construct local renormalised solutions to general quasilinear stochastic PDEs within the theory of regularity structures, thus greatly generalising the recent results of [BDH16,FG16,OW16]. Loosely speaking, our construction covers quasilinear variants of all classes of equations for which the general construction of [Hai14,BHZ16,CH16] applies, including in partic… ▽ More We give a construction allowing to construct local renormalised solutions to general quasilinear stochastic PDEs within the theory of regularity structures, thus greatly generalising the recent results of [BDH16,FG16,OW16]. Loosely speaking, our construction covers quasilinear variants of all classes of equations for which the general construction of [Hai14,BHZ16,CH16] applies, including in particular one-dimensional systems with KPZ-type nonlinearities driven by space-time white noise. In a less singular and more specific case, we furthermore show that the counterterms introduced by the renormalisation procedure are given by local functionals of the solution. The main feature of our construction is that it allows to exploit a number of existing results developed for the semilinear case, so that the number of additional arguments it requires is relatively small. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: 20 pages

Renormalising SPDEs in regularity structures

Authors: Yvain Bruned, Ajay Chandra, Ilya Chevyrev, Martin Hairer

Abstract: The formalism recently introduced in arXiv:1610.08468 allows one to assign a regularity structure, as well as a corresponding "renormalisation group", to any subcritical system of semilinear stochastic PDEs. Under very mild additional assumptions, it was then shown in arXiv:1612.08138 that large classes of driving noises exhibiting the relevant small-scale behaviour can be lifted to such a regular… ▽ More The formalism recently introduced in arXiv:1610.08468 allows one to assign a regularity structure, as well as a corresponding "renormalisation group", to any subcritical system of semilinear stochastic PDEs. Under very mild additional assumptions, it was then shown in arXiv:1612.08138 that large classes of driving noises exhibiting the relevant small-scale behaviour can be lifted to such a regularity structure in a robust way, following a renormalisation procedure reminiscent of the BPHZ procedure arising in perturbative QFT. The present work completes this programme by constructing an action of the renormalisation group onto a suitable class of stochastic PDEs which is intertwined with its action on the corresponding space of models. This shows in particular that solutions constructed from the BPHZ lift of a smooth driving noise coincide with the classical solutions of a modified PDE. This yields a very general black box type local existence and stability theorem for a wide class of singular nonlinear SPDEs. △ Less

Submitted 21 May, 2021; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: Fixed an error regarding the topology of space of functions of functions with blow-up, see Remark 2.20. The numbering of environments in Section 2, 2.20 later has been shifted by 1, for instance Theorem 2.21 in the published version is now Theorem 2.22 in this arxiv version

Journal ref: J. Eur. Math. Soc. (JEMS) (2021) Volume 23, Issue 3, pp. 869-947

Discretisation of regularity structures

Authors: Dirk Erhard, Martin Hairer

Abstract: We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure. Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black box" describing the behaviour of our discretised objects at scales below $\varepsilon $. We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure. Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black box" describing the behaviour of our discretised objects at scales below $\varepsilon $. △ Less

Submitted 12 April, 2024; v1 submitted 8 May, 2017; originally announced May 2017.

An analyst's take on the BPHZ theorem

Authors: Martin Hairer

Abstract: We provide a self-contained formulation of the BPHZ theorem in the Euclidean context, which yields a systematic procedure to "renormalise" otherwise divergent integrals appearing in generalised convolutions of functions with a singularity of prescribed order at their origin. We hope that the formulation given in this article will appeal to an analytically minded audience and that it will help to c… ▽ More We provide a self-contained formulation of the BPHZ theorem in the Euclidean context, which yields a systematic procedure to "renormalise" otherwise divergent integrals appearing in generalised convolutions of functions with a singularity of prescribed order at their origin. We hope that the formulation given in this article will appeal to an analytically minded audience and that it will help to clarify to what extent such renormalisations are arbitrary (or not). In particular, we do not assume any background whatsoever in quantum field theory and we stay away from any discussion of the physical context in which such problems typically arise. △ Less

Submitted 4 July, 2018; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: Accepted version

Singular SPDEs in domains with boundaries

Authors: Máté Gerencsér, Martin Hairer

Abstract: We study spaces of modelled distributions with singular behaviour near the boundary of a domain that, in the context of the theory of regularity structures, allow one to give robust solution theories for singular stochastic PDEs with boundary conditions. The calculus of modelled distributions established in Hairer (Invent. Math. 198, 2014) is extended to this setting. We formulate and solve fixed… ▽ More We study spaces of modelled distributions with singular behaviour near the boundary of a domain that, in the context of the theory of regularity structures, allow one to give robust solution theories for singular stochastic PDEs with boundary conditions. The calculus of modelled distributions established in Hairer (Invent. Math. 198, 2014) is extended to this setting. We formulate and solve fixed point problems in these spaces with a class of kernels that is sufficiently large to cover in particular the Dirichlet and Neumann heat kernels. These results are then used to provide solution theories for the KPZ equation with Dirichlet and Neumann boundary conditions and for the 2D generalised parabolic Anderson model with Dirichlet boundary conditions. In the case of the KPZ equation with Neumann boundary conditions, we show that, depending on the class of mollifiers one considers, a "boundary renormalisation" takes place. In other words, there are situations in which a certain boundary condition is applied to an approximation to the KPZ equation, but the limiting process is the Hopf-Cole solution to the KPZ equation with a different boundary condition. △ Less

Submitted 9 November, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 53 pages, Minor revison

Journal ref: Probability Theory and Related Fields 2019, Vol. 173, No. 3, 697-758

An analytic BPHZ theorem for regularity structures

Authors: Ajay Chandra, Martin Hairer

Abstract: We prove a general theorem on the stochastic convergence of appropriately renormalized models arising from nonlinear stochastic PDEs. The theory of regularity structures gives a fairly automated framework for studying these problems but previous works had to expend significant effort to obtain these stochastic estimates in an ad-hoc manner. In contrast, the main result of this article operates a… ▽ More We prove a general theorem on the stochastic convergence of appropriately renormalized models arising from nonlinear stochastic PDEs. The theory of regularity structures gives a fairly automated framework for studying these problems but previous works had to expend significant effort to obtain these stochastic estimates in an ad-hoc manner. In contrast, the main result of this article operates as a black box which automatically produces these estimates for nearly all of the equations that fit within the scope of the theory of regularity structures. Our approach leverages multi-scale analysis strongly reminiscent to that used in constructive field theory, but with several significant twists. These come in particular from the presence of "positive renormalizations" caused by the recentering procedure proper to the theory of regularity structure, from the difference in the action of the group of possible renormalization operations, as well as from the fact that we allow for non-Gaussian driving fields. One rather surprising fact is that although the "canonical lift" is of course typically not continuous on any Hölder-type space containing the noise (which is why renormalization is required in the first place), we show that the "BPHZ lift" where the renormalization constants are computed using the formula given in arXiv:1610.08468, is continuous in law when restricted to a class of stationary random fields with sufficiently many moments. △ Less

Submitted 22 January, 2018; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: typos fixed, remarks added

Algebraic renormalisation of regularity structures

Authors: Yvain Bruned, Martin Hairer, Lorenzo Zambotti

Abstract: We give a systematic description of a canonical renormalisation procedure of stochastic PDEs containing nonlinearities involving generalised functions. This theory is based on the construction of a new class of regularity structures which comes with an explicit and elegant description of a subgroup of their group of automorphisms. This subgroup is sufficiently large to be able to implement a versi… ▽ More We give a systematic description of a canonical renormalisation procedure of stochastic PDEs containing nonlinearities involving generalised functions. This theory is based on the construction of a new class of regularity structures which comes with an explicit and elegant description of a subgroup of their group of automorphisms. This subgroup is sufficiently large to be able to implement a version of the BPHZ renormalisation prescription in this context. This is in stark contrast to previous works where one considered regularity structures with a much smaller group of automorphisms, which lead to a much more indirect and convoluted construction of a renormalisation group acting on the corresponding space of admissible models by continuous transformations. Our construction is based on bialgebras of decorated coloured forests in cointeraction. More precisely, we have two Hopf algebras in cointeraction, coacting jointly on a vector space which represents the generalised functions of the theory. Two twisted antipodes play a fundamental role in the construction and provide a variant of the algebraic Birkhoff factorisation that arises naturally in perturbative quantum field theory. △ Less

Submitted 19 November, 2018; v1 submitted 26 October, 2016; originally announced October 2016.

Comments: Final version to appear in Inventiones Mathematicae

The strong Feller property for singular stochastic PDEs

Authors: Martin Hairer, Jonathan Mattingly

Abstract: We show that the Markov semigroups generated by a large class of singular stochastic PDEs satisfy the strong Feller property. These include for example the KPZ equation and the dynamical $Φ^4_3$ model. As a corollary, we prove that the Brownian bridge measure is the unique invariant measure for the KPZ equation with periodic boundary conditions. We show that the Markov semigroups generated by a large class of singular stochastic PDEs satisfy the strong Feller property. These include for example the KPZ equation and the dynamical $Φ^4_3$ model. As a corollary, we prove that the Brownian bridge measure is the unique invariant measure for the KPZ equation with periodic boundary conditions. △ Less

Submitted 25 April, 2017; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: updated references and fixed typos

The reconstruction theorem in Besov spaces

Authors: Martin Hairer, Cyril Labbé

Abstract: The theory of regularity structures sets up an abstract framework of modelled distributions generalising the usual Hölder functions and allowing one to give a meaning to several ill-posed stochastic PDEs. A key result in that theory is the so-called reconstruction theorem: it defines a continuous linear operator that maps spaces of "modelled distributions" into the usual space of distributions. In… ▽ More The theory of regularity structures sets up an abstract framework of modelled distributions generalising the usual Hölder functions and allowing one to give a meaning to several ill-posed stochastic PDEs. A key result in that theory is the so-called reconstruction theorem: it defines a continuous linear operator that maps spaces of "modelled distributions" into the usual space of distributions. In the present paper, we extend the scope of this theorem to analogues to the whole class of Besov spaces $\mathcal{B}^γ_{p,q}$ with non-integer regularity indices. We then show that these spaces behave very much like their classical counterparts by obtaining the corresponding embedding theorems and Schauder-type estimates. △ Less

Submitted 4 September, 2017; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: 40 pages

Journal ref: Journal of Functional Analysis, 2017 vol. 273, issue 8, pp 2578-2618

A fractional kinetic process describing the intermediate time behaviour of cellular flows

Authors: Martin Hairer, Gautam Iyer, Leonid Koralov, Alexei Novikov, Zsolt Pajor-Gyulai

Abstract: This paper studies the intermediate time behaviour of a small random perturbation of a periodic cellular flow. Our main result shows that on time scales shorter than the diffusive time scale, the limiting behaviour of trajectories that start close enough to cell boundaries is a fractional kinetic process: A Brownian motion time changed by the local time of an independent Brownian motion. Our proof… ▽ More This paper studies the intermediate time behaviour of a small random perturbation of a periodic cellular flow. Our main result shows that on time scales shorter than the diffusive time scale, the limiting behaviour of trajectories that start close enough to cell boundaries is a fractional kinetic process: A Brownian motion time changed by the local time of an independent Brownian motion. Our proof uses the Freidlin-Wentzell framework, and the key step is to establish an analogous averaging principle on shorter time scales. As a consequence of our main theorem, we obtain a homogenization result for the associated advection-diffusion equation. We show that on intermediate time scales the effective equation is a fractional time PDE that arises in modelling anomalous diffusion. △ Less

Submitted 6 July, 2016; originally announced July 2016.

Comments: 47 pages

Report number: 16-CNA-016 MSC Class: 60H10; 60H30; 60F17; 26A33; 35R11; 76R50

The motion of a random string

Authors: Martin Hairer

Abstract: We review a series of forthcoming results leading to the construction of a natural evolution on the space of loops with values in a Riemannian manifold. In particular, this clarifies the algebraic structure of the renormalisation procedures appearing in the context of the theory of regularity structures. We review a series of forthcoming results leading to the construction of a natural evolution on the space of loops with values in a Riemannian manifold. In particular, this clarifies the algebraic structure of the renormalisation procedures appearing in the context of the theory of regularity structures. △ Less

Submitted 21 June, 2016; v1 submitted 7 May, 2016; originally announced May 2016.

Comments: Fixed a few typos

Weak error estimates for trajectories of SPDEs for Spectral Galerkin discretization

Authors: Charles-Edouard Bréhier, Martin Hairer, Andrew M. Stuart

Abstract: We consider stochastic semi-linear evolution equations which are driven by additive, spatially correlated, Wiener noise, and in particular consider problems of heat equation (analytic semigroup) and damped-driven wave equations (bounded semigroup) type. We discretize these equations by means of a spectral Galerkin projection, and we study the approximation of the probability distribution of the tr… ▽ More We consider stochastic semi-linear evolution equations which are driven by additive, spatially correlated, Wiener noise, and in particular consider problems of heat equation (analytic semigroup) and damped-driven wave equations (bounded semigroup) type. We discretize these equations by means of a spectral Galerkin projection, and we study the approximation of the probability distribution of the trajectories: test functions are regular, but depend on the values of the process on the interval $[0,T]$. We introduce a new approach in the context of quantative weak error analysis for discretization of SPDEs. The weak error is formulated using a deterministic function (Itô map) of the stochastic convolution found when the nonlinear term is dropped. The regularity properties of the Itô map are exploited, and in particular second-order Taylor expansions employed, to transfer the error from spectral approximation of the stochastic convolution into the weak error of interest. We prove that the weak rate of convergence is twice the strong rate of convergence in two situations. First, we assume that the covariance operator commutes with the generator of the semigroup: the first order term in the weak error expansion cancels out thanks to an independence property. Second, we remove the commuting assumption, and extend the previous result, thanks to the analysis of a new error term depending on a commutator. △ Less

Submitted 12 July, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Large scale behaviour of 3D continuous phase coexistence models

Authors: Martin Hairer, Weijun Xu

Abstract: We study a class of three dimensional continuous phase coexistence models, and show that, under different symmetry assumptions on the potential, the large-scale behaviour of such models near a bifurcation point is described by the dynamical $Φ^p_3$ models for $p \in \{2,3,4\}$. This result is specific to space dimension $3$ and does not hold in dimension $2$. We study a class of three dimensional continuous phase coexistence models, and show that, under different symmetry assumptions on the potential, the large-scale behaviour of such models near a bifurcation point is described by the dynamical $Φ^p_3$ models for $p \in \{2,3,4\}$. This result is specific to space dimension $3$ and does not hold in dimension $2$. △ Less

Submitted 2 February, 2017; v1 submitted 19 January, 2016; originally announced January 2016.

Comments: 54 pages. Added proof for global in time convergence

Journal ref: Comm. Pure Appl. Math., Vol.71, Issue 4 (2018), 688--746

A class of growth models rescaling to KPZ

Authors: Martin Hairer, Jeremy Quastel

Abstract: We consider a large class of $1+1$-dimensional continuous interface growth models and we show that, in both the weakly asymmetric and the intermediate disorder regimes, these models converge to Hopf-Cole solutions to the KPZ equation. We consider a large class of $1+1$-dimensional continuous interface growth models and we show that, in both the weakly asymmetric and the intermediate disorder regimes, these models converge to Hopf-Cole solutions to the KPZ equation. △ Less

Submitted 24 December, 2015; originally announced December 2015.

Comments: 105 pages

Discretisations of rough stochastic PDEs

Authors: Martin Hairer, Konstantin Matetski

Abstract: We develop a general framework for spatial discretisations of parabolic stochastic PDEs whose solutions are provided in the framework of the theory of regularity structures and which are functions in time. As an application, we show that the dynamical $Φ^4_3$ model on the dyadic grid converges after renormalisation to its continuous counterpart. This result in particular implies that, as expected,… ▽ More We develop a general framework for spatial discretisations of parabolic stochastic PDEs whose solutions are provided in the framework of the theory of regularity structures and which are functions in time. As an application, we show that the dynamical $Φ^4_3$ model on the dyadic grid converges after renormalisation to its continuous counterpart. This result in particular implies that, as expected, the $Φ^4_3$ measure with a sufficiently small coupling constant is invariant for this equation and that the lifetime of its solutions is almost surely infinite for almost every initial condition. △ Less

Submitted 24 July, 2017; v1 submitted 21 November, 2015; originally announced November 2015.

Comments: 56 pages

MSC Class: 60H15; 65M12

Regularity structures and the dynamical $Φ^4_3$ model

Authors: Martin Hairer

Abstract: We give a concise overview of the theory of regularity structures as first exposed in [Hai14]. In order to allow to focus on the conceptual aspects of the theory, many proofs are omitted and statements are simplified. In order to provide both motivation and focus, we concentrate on the study of solutions to the stochastic quantisation equations for the Euclidean $Φ^4_3$ quantum field theory which… ▽ More We give a concise overview of the theory of regularity structures as first exposed in [Hai14]. In order to allow to focus on the conceptual aspects of the theory, many proofs are omitted and statements are simplified. In order to provide both motivation and focus, we concentrate on the study of solutions to the stochastic quantisation equations for the Euclidean $Φ^4_3$ quantum field theory which can be obtained with the help of this theory. In particular, we sketch the proofs of how one can show that this model arises quite naturally as an idealised limiting object for several classes of smooth models. △ Less

Submitted 21 August, 2015; originally announced August 2015.

Comments: Review article; extends and complements arXiv:1401.3014

A central limit theorem for the KPZ equation

Authors: Martin Hairer, Hao Shen

Abstract: We consider the KPZ equation in one space dimension driven by a stationary centred space-time random field, which is sufficiently integrable and mixing, but not necessarily Gaussian. We show that, in the weakly asymmetric regime, the solution to this equation considered at a suitable large scale and in a suitable reference frame converges to the Hopf-Cole solution to the KPZ equation driven by spa… ▽ More We consider the KPZ equation in one space dimension driven by a stationary centred space-time random field, which is sufficiently integrable and mixing, but not necessarily Gaussian. We show that, in the weakly asymmetric regime, the solution to this equation considered at a suitable large scale and in a suitable reference frame converges to the Hopf-Cole solution to the KPZ equation driven by space-time Gaussian white noise. While the limiting process depends only on the integrated variance of the driving field, the diverging constants appearing in the definition of the reference frame also depend on higher order moments. △ Less

Submitted 19 October, 2016; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: 58 pages

Multiplicative stochastic heat equations on the whole space

Authors: Martin Hairer, Cyril Labbé

Abstract: We carry out the construction of some ill-posed multiplicative stochastic heat equations on unbounded domains. The two main equations our result covers are, on the one hand the parabolic Anderson model on $\mathbf{R}^3$, and on the other hand the KPZ equation on $\mathbf{R}$ via the Cole-Hopf transform. To perform these constructions, we adapt the theory of regularity structures to the setting of… ▽ More We carry out the construction of some ill-posed multiplicative stochastic heat equations on unbounded domains. The two main equations our result covers are, on the one hand the parabolic Anderson model on $\mathbf{R}^3$, and on the other hand the KPZ equation on $\mathbf{R}$ via the Cole-Hopf transform. To perform these constructions, we adapt the theory of regularity structures to the setting of weighted Besov spaces. One particular feature of our construction is that it allows one to start both equations from a Dirac mass at the initial time. △ Less

Submitted 29 March, 2018; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: 52 pages

Journal ref: J. Eur. Math. Soc. 20 (2018), 1005-1054

Optimal rate of convergence for stochastic Burgers-type equations

Authors: Martin Hairer, Konstantin Matetski

Abstract: Recently, a solution theory for one-dimensional stochastic PDEs of Burgers type driven by space-time white noise was developed. In particular, it was shown that natural numerical approximations of these equations converge and that their convergence rate in the uniform topology is arbitrarily close to $\frac{1}{6}$. In the present article we improve this result in the case of additive noise by prov… ▽ More Recently, a solution theory for one-dimensional stochastic PDEs of Burgers type driven by space-time white noise was developed. In particular, it was shown that natural numerical approximations of these equations converge and that their convergence rate in the uniform topology is arbitrarily close to $\frac{1}{6}$. In the present article we improve this result in the case of additive noise by proving that the optimal rate of convergence is arbitrarily close to $\frac{1}{2}$. △ Less

Submitted 18 May, 2016; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: 36 pages

MSC Class: 60H15; 65M12

Journal ref: Stoch. Partial Differ. Equ. Anal. Comput. 4, no. 2, 2016