We propose in this work a theory of linear differential equations driven by unbounded operator-valued rough signals. As an application we consider rough linear transport equations and more general linear hyperbolic symmetric systems of equations driven by time-dependent vector fields which are only distributions in the time direction.

We provide in the first work a semigroup approach to the study of singular PDEs, in the line of the paracontrolled approach developed recently by Gubinelli, Imkeller and Perkowski. Starting from a heat semigroup, we develop a functional calculus and introduce a paraproduct based on the semigroup, for which commutator estimates and Schauder estimates are proved, together with their paracontrolled extensions. This machinery allows us to investigate singular PDEs in potentially unbounded Riemannian manifolds under mild geometric conditions. As an illustration, we study the generalized parabolic Anderson model equation and prove, under mild geometric conditions, its well-posed character, in small time on a potentially unbounded 2-dimensional Riemannian manifold, for an equation driven by a coloured noise, and for all times for the linear parabolic Anderson model equation in 2-dimensional unbounded manifolds.

We sharpen in the second work the tools of paracontrolled calculus in order to provide a complete analysis of the parabolic Anderson model equation in a 3-dimensional setting, in either bounded or unbounded domains equipped with a sub-Laplacian structure. We develop for that purpose a higher order paracontrolled calculus via semigroups methods. The technical core of this machinery is the introduction of a pair of intertwined space-time paraproducts on parabolic Holder spaces, with good continuity properties, as well as some continuity properties of iterated commutators and correctors built from paraproducts and resonant operators. Given the scope of our semigroup methods in terms of operators and geometry of the ambiant space, the application of our tools to the study of the 3-dimensional parabolic Anderson model equation provides results that go beyond the case of the 3-dimensional Euclidean space with its Laplace operator, very recently studied by Hairer and Labbe with the tools of regularity structures.

We develop in the third work a general version of paracontrolled calculus that allows to treat analytically within this paradigm some singular partial differential equations with the same efficiency as regularity structures, with the benefit that there is no need to introduce the algebraic apparatus inherent to the latter theory. This work deals with the analytic side of the story and offers a toolkit for the study of such equations, under the form of a number of continuity results for some operators. We illustrate the efficiency of this elementary approach on the example of the generalised parabolic Anderson model equation in dimension 2+ and 3, and the generalized KPZ equation in an irregularity regime slightly better than the regime of space/time one dimensional white noise.

This work provides is a concise overview of paracontrolled calculus that appeared in the Séminaire des Journées EDPs.

We present in the first note a local in time well-posedness result for the singular 2-dimensional quasilinear generalized parabolic Anderson model equation, where the Laplacian in the equation is multiplied by a function of the unknown. The key idea of our approach is a simple transformation of the equation which allows to treat the problem as a semilinear problem and use the elementary setting of paracontrolled calculus, with no need of any extra ingredient.

An extension of the methods of high order paracontrolled calculus allows to use the approach implemented in the first note to study of a whole class of quasilinear singular PDEs, including a quasilinear version of the generalized (KPZ) equation.

We prove the well-posed character of a regularity structure formulation of the quasilinear generalized (KPZ) equation and give an explicit form for a renormalized equation in the full subcritical regime. Convergence results for the solution of the regularized renormalized equation are obtained in regimes that cover the spacetime white noise case. Here are some slides

We study the relation between the theory of regularity structures and paracontrolled calculus. We give in the first work a paracontrolled representation of the reconstruction operator and provide a natural parametrization of the space of admissible models. The second work provides a general equivalence statement between models and modelled distributions, and paracontrolled representations, and offers a number of illustrations of the main results. An overview is given in the following slides.

The concept of concrete regularity structure gives the algebraic backbone of the operations involved in the local expansions used in the regularity structure approach to singular stochastic partial differential equations. The spaces and the details of the structures depend on each equation. We introduce here a parameter-dependent universal algebraic regularity structure that can host all the regularity structures used in the study of singular stochastic partial differential equations. This is done by using the correspondence between the notions of model on a regularity structure and the notion of paracontrolled system. We prove that the iterated paraproducts that form the fundamental bricks of paracontrolled systems have some local expansion properties that are governed by this universal structure.

We give a short essentially self-contained treatment of the fundamental analytic and algebraic features of regularity structures and its applications to the study of singular PDEs.

Extended decorations on naturally decorated trees were introduced in the work of Bruned, Hairer and Zambotti on algebraic renormalization of regularity structures to provide a convenient framework for the renormalization of systems of singular stochastic PDEs within that setting. This non-dynamical feature of the trees complicated the analysis of the dynamical counterpart of the renormalization process. We provide a new proof of the renormalised system by-passing the use of extended decorations and working for a large class of renormalization maps, with the BPHZ renormalization as a special case. The proof reveals important algebraic properties connected to preparation maps.

We develop in the second note the tools of regularity structures to deal with singular stochastic PDEs that involve non-translation invariant differential operators. We describe in particular the renormalized equation for a very large class of spacetime dependent renormalization schemes.

Let T be the regularity structure associated with a given system of singular stochastic PDEs. The paracontrolled representation of the Π map provides a linear parametrization of the nonlinear space of admissible models over T, in terms of the family of para-remainders used in the representation. We give an explicit description of the action of the most general class of renormalization schemes on the parametrization space of the space of admissible models. The action is particularly simple for renormalization schemes associated with degree preserving preparation maps; the BHZ renormalization scheme has that property.

We consider the continuous Anderson operator H on a two dimensional closed Riemannian manifold. We provide a short self-contained functional analysis construction of the operator as an unbounded operator on L2(S) and give almost sure spectral gap estimates under mild geometric assumptions on the Riemannian manifold. We prove a sharp Gaussian small time asymptotic for the heat kernel of H that leads amongst others to norm estimates for eigenfunctions and quasimodes. We introduce a new random field, called the Anderson Gaussian free field, and prove that the law of its random partition function characterizes the law of the spectrum of H. We also give a simple and short construction of a polymer measure on path space and another diffusion called Anderson diffusion. We relate the Wick square of the Anderson Gaussian free field to the renormalized occupation measure of a Poisson process of loops of diffusion paths. We further prove some large deviation results for the Anderson diffusion and its bridges.

We use some tools from nonlinear analysis to study two examples of singular stochastic elliptic PDEs that cannot be solved by the contraction principle or the Schauder fixed point theorem. Let H stand for the Anderson operator on a closed Riemannian surface. We prove the existence of a solution to the equation Hu = au + f(u), for a potentiel a in Lp and p between 1 and 2 and f subject to growth conditions. Under an additional parity condition on f we further prove that this equation has infinitely many solutions, in stark contrast with all the well-posedness results that have been proved so far for singular stochastic PDEs under a small parameter assumption. This kind of results is obtained by seeing the equation as characterizing the critical points of an energy functional and by resorting to variants of the mountain pass theorem. There are however some interesting equations that cannot be characterized as the critical points of an energy functional. Such is the case of the singular Choquard-Pecard equation. One can use Ghoussoub's machinery of self-dual functionals to prove the existence of a solution to that equation as the minimum of a self-dual strongly coercive functional under proper assumptions on the coefficients in the equation.

We give in the first note a simple and short proof of the convergence of the BHZ renormalized model associated with the generalized (KPZ) equation.

We prove in the second work a convergence result for a large class of random models that encompasses the case of the BPHZ models used in the study of singular stochastic PDEs. We introduce for that purpose a useful variation on the notion of regularity structure called a regularity-integrability structure. It allows to deal in a single elementary setting with models on a usual regularity structure and their first order Malliavin derivative. Here are some slides on this work.

We provide a robust solution theory for quasilinear versions of the two dimensional generalized parabolic Anderson model equations in which the coefficients of the equation are non-local functionals of the solution. We can treat nonlinearities of convolutional type as well as nonlinearities given by a large family of pseudo-differential operators.

We study some systems of interacting fields whose evolution is given by systems of singular stochastic partial differential equations of mean field type. We provide a robust setting for their study leading to a well-posedness result, and prove a propagation of chaos result.

This is a review of the works of Chandra and Hairer, Hairer and Steele and my work with M. Hoshino, on the construction of random models for singular stochastic partial differential equations within the theory of regularity structures.

We construct the Φ43 measure on an arbitrary 3-dimensional compact Riemannian manifold without boundary as an invariant probability measure of a singular stochastic partial differential equation. Proving the non-triviality and the covariance under Riemannian isometries of that measure gives for the first time a non-perturbative, non-topological interacting Euclidean quantum field theory on curved spaces in dimension 3. This answers a longstanding open problem of constructive quantum field theory on curved 3 dimensional backgrounds. To control analytically several Feynman diagrams appearing in the construction of a number of random fields, we introduce a novel approach of renormalization using microlocal and harmonic analysis. This allows to obtain a renormalized equation which involves some universal constants independent of the manifold. We also define a new vectorial Cole-Hopf transform which allows to deal with the vectorial Φ43 model where the random field is now bundle valued.

Following Parisi and Wu's paradigm of stochastic quantization, we constructed in the above work a Φ4 measure on an arbitrary compact, boundaryless, Riemannian manifold as an invariant measure of a singular stochastic partial differential equation. In this companion work we describe in detail the harmonic and microlocal analysis tools that we used. We also introduce some new tools to treat the vectorial Φ43 model. This relies on a new Cole-Hopf transform involving random bundle maps. We do not aim here for the greatest generality; rather, we tried to keep our exposition relatively self-contained and pedagogical enough in the hope that the techniques we show can be used in other settings.

A Φ43 measure is constructed in the first work as an invariant measure for a dynamics on a distribution space. In the third work we prove that these dynamics have unique invariant probability measures. This is done by using an explicit coupling by change of measure that does not require any a priori information on the support of the law of the solution to the dynamics. The coupling can be used to see that the semigroup generated by the dynamics satisfies a Harnack-type inequality, which entails that the semigroup has the strong Feller property.

We introduce Wilson-Itô diffusions: a class of random fields on Rd that change continuously along a scale parameter via a Markovian dynamics with local coefficients. Described via forward-backward stochastic differential equations, their observables naturally form a pre-factorization algebra à la Costello-Gwilliam. We argue that this is a new non-perturbative quantization method applicable also to gauge theories and independent of a path-integral formulation. Whenever a path-integral is available this approach reproduces the setting of Wilson-Polchinski flow equations.

We argue that the spectrally cut-off Gaussian free field on a compact Riemannian manifold or on Rn cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that the cut-off field fails to be reflection positive. We explain the difficulties one encounters when trying to deduce the reflection positivity property of an approximate Phi43 measure from the reflection positivity property of the Gaussian free field measure in a naive way. These issues are probably well-known to experts of constructive quantum field theory but no detailed account can be found in the litterature. Our note aims to fill this small gap.

My first work on rough paths proposes an alternative approach to the theory of rough differential equations centred on the notion of flow of maps. By introducing a simple mechanism for constructing flows on a Banach space from approximate flows, one can reprove from scratch and extend in a simple way the main existence and well-posedness results for rough differential equations, in the context of dynamics on a Banach space driven by (potentially) (in)finite dimensional Holder weak geometric rough path; Taylor expansion and Euler estimates are also dealt with. This approach is illustrated by some existence and well-posedness results for some mean field stochastic, with mean field interaction in the drift only. As a direct application of the approach, we show in the fourth work that it also works for equations driven by branched rough paths, and that Davie's notion of a solution to a rough differential equation and the notion of solution used here coincide.

My approach to rough differential equation allows to extend to a non-semimartingale setting of the results on nonlinear differential equations and stochastic flows obtained in the 80's by Le Jan-Watanabe-Kunita and others, in the spirit of the method of approximate flows developped in my first work on rough paths theory. Here are some slides of a talk on the subject to get a quick overview of that work.

We show in this note that the Ito-Lyons solution map associated to a rough differential equation is Frechet differentiable when understood as a map between some Banach spaces of controlled paths. This regularity result provides an elementary approach to Taylor-like expansions of Inahama-Kawabi type for solutions of rough differential equations depending on a small parameter, and makes the construction of some natural dynamics on the path space over any compact Riemannian manifold straightforward, giving back Driver's flow as a particular case.

We introduce a notion of p-rough integrator on any Banach manifolds, for any p>1, which plays the role of weak geometric Holder p-rough paths in the usual Banach space setting. The awaited results on rough differential equations driven by such objects are proved, and a canonical representation is given if the manifold is equipped with a connection.

Together with J. Diehl, we tackled in the following work the elementary inverse problem. Is it possible to get back the driving rough path by observing the solution flow of a rough differential equation? The elementary example of an equation with constant vector fields makes it clear that this is not always possible. An elementary answer to the problem is given under the form of an algebraic rank condition on the driving vector fields and there brackets; it is unrelated however to Hormander's bracket condition.

We develop further in this work the theory of rough flows and show how it can be used to provide a conceptually simple approach to homogenization problems by working out in depth the case study of stochastic turbulence.

The present work aims at being a first step in linking the theory of random rough differential equations and random dynamical systems. We analyze here common lifts of stochastic processes to rough paths/rough drivers-valued processes and give sufficient conditions for the cocycle property to hold for these lifts. We show that random rough differential equations driven by such lifts induce random dynamical systems. In particular, our results imply that rough differential equations driven by the lift of fractional Brownian motion in the sense of Friz-Victoir induce random dynamical systems.

We give here a tight non-explosion criterion for solutions of rough differential equations driven by unbounded vector fields that provide an accurate picture of this question and corrects an imprecise statement of my work "Flows driven by rough paths".

We provide in this work a robust solution theory for random rough differential equations of mean field type, with mean field interaction in both the drift and diffusivity. Propagation of chaos results for large systems of interacting rough differential equations are obtained as a consequence, with explicit optimal convergence rate. The development of these results requires the introduction of a new rough path-like setting and an associated notion of controlled path. We use crucially Lions' approach to differential calculus on Wasserstein space along the way. Slides here.

We define in this note a notion of Young differential inclusion and give an existence result for such a differential system driven by mildy rough signals. As a by-product of our proof, we show that a bounded, compact-valued, a-Holder continuous set-valued map on the interval [0,1] has a selection with finite p-variation, for p>1/a. We also give a notion of solution to the rough differential inclusion driven by an a-Holder rough path, with a set-valued drift. We prove existence of a solution to the inclusion when F is bounded and lower semi-continuous with compact values, or upper semi-continuous with compact and convex values.

We prove in the first work that bridges of subelliptic diffusions on a compact manifold, with different ends, satisfy a large deviation principle in the space of Holder continuous functions, with a good rate function, when the travel time tends to 0. This leads to the identification of the deterministic first order asymptotics of the distribution of the bridge under generic conditions on the endpoints of the bridge, in the sense that its law converges weakly to a Dirac mass on some particular deterministic path from between the two endpoints. It is natural in that setting to push further the analysis and try and get a second order asymptotics. We prove that the fluctuation process around the deterministic limit path is a Gaussian process whose covariance involves the (non-constant rank) sub-Riemannian geometry associated with the generator of the diffusion. This requires that the pair of end-points lies outside some intrinsic cutlocus associated with the generator. The following slides provide a gentle introduction to that work. The work on small time fluctuations for bridges of sub-Riemannian diffusions requires that we extend Varadhan's small time log-asymptotics for the heat kernel to possibly incomplete, unbounded, sub-Riemannian manifolds. This is the purpose of the third work.

In a joint work with J. Angst and C. Tardif, we introduce a Riemannian analogue of relativistic diffusions, called kinetic Brownian motion, whose flat version in a Euclidean space is a C¹ random path run at constant speed κ, and whose velocity is a Brownian motion on the unit sphere run at constant speed σ. We show that, in both qualitive and quantitative way, that the trace in the manifold of these processes interpolate between geodesic and Brownian motions. We use rough paths theory to provide a simple and robust proof of this fact. We also investigate the long-time behaviour of these processes in rotationally invariant manifolds and determine their Poisson boundaries.

It is an interesting non-trivial task to define kinetic Brownian motion on the infinite dimensional 'manifold' of diffeomorphisms, or volume preserving diffeomorphisms, of a given compact manifold M. This construction is done in the following work, and we prove that kinetic Brownian motion provides an interpolation between the geodesic flow on the corresponding space and a Brownian flow on that space. In the Eulerian picture, this provides an intrinsic random perturbation of Euler's equations of incompressible fluids in the domain M. Slides here

In the same way as Brownian motion is the only continuous strong Markov process in the Euclidean space Rⁿ whose law is invariant by the action of the isometries, there is essentially a unique way to define a C¹ random path in the space of special relativity, representing the motion of an object having a speed less than the speed of light, and whose law is invariant by the action of the isometries of this space. The study of the asymptotic behaviour of this unique object, called "relativistic diffusion", is lead in these two articles using two different approaches. Whereas the first uses SDEs, stochastic calculus and couplings, the second (written with Albert Raugi) restates the problem in terms of the asymptotic behaviour of a random walk on a non semi-simple Lie group and highlights the deep geometric nature of the result.

Following the idea of C. Chevalier and F. Debbasch presented in their article 'Relativistic diffusions: a unifying approach', J. Math. Phys. 49 (4), 2008, we consider a class of relativistic diffusions, roughly characterized by the fact that there exists at each (proper) time (of the moving particle) a (local) rest frame where the acceleration of the particle is Brownian in any spacelike direction of the frame, when computed using the time of the rest frame. These diffusions are called by the authors relativistic diffusions. A pathwise approach of these processes is proposed here, in the general framework of Lorentzian geometry. The results proved not only provide a dynamical justification of the analytical approach developped up to now, and a new general H-theorem, it also sheds some light on the importance of the large scale structure of the manifold in the asymptotic behaviour of the Franchi-Le Jan process, studied in the above articles in Minkowski spacetime. See the following slides for a quick overview of that work, and the latter ones for some general presentation of the domain, with questions.

In so far as relativistic diffusions are defined in purely geometric terms, it is very likely that part (or all?) of the geometry of the ambient spacetime may be recovered from the probablistic behaviour of these processes. In a Riemannian setting, this probabilistic view on geometry is well-illustrated by Weyl and Pleyel formulas for the heat kernel of Brownian motion where local and global informations about the geometry appear. We investigate in this work one aspect of this geometry/probability correspondence. Dating back to Penrose and Hawking's results, it is now well-established that the appearance of singularities in Einstein's theory of gravitation is unavoidable under quite natural assumptions. Although there is no definitive agreement on what should be called a singularity of spacetime, a largely used notion of singularity is the existence in spacetime of incomplete geodesics. Is there a link between geodesic and probabilistic incompleteness? This work concentrates on one aspect of this question and provides different criteria under which the diffusion does not explode. A gentle introduction in the following slides .

The aim of this work is to promote the use of probabilistic methods in the study of problems in mathematical general relativity. Two new singularity theorems, whose features are different from the classical singularity theorems, are proved using probabilistic methods. Under some energy conditions, and without any causal or initial/boundary assumption, simple conditions on the energy flow imply probabilistic incompleteness. Also we introduce a probabilistic notion of spacetime boundary which has none of the pathological defects that the classical boundaries may have.

Following classical works initiated by Tanaka in the seventies in the framework of the space homogeneous Boltzmann equation, we show how one can associated intrinsically to the general relativistic version of Boltzmann equation a Markov process. It is used to prove the causal character of the general relativistic Boltzmann equation on strongly causal spacetimes.

Smoluchowski equation is a model of dynamics where clusters of different species coagulate at a rate depending on their characteristics. This model encompasses a large number of practical situations, from chemical reactions to powder storage... It is an important matter to understand how solutions of this equation depend on the parameters of the dynamics. The derivative of the solution with respect to the parameter is called the sensitivity. As a first step towards a detailled study of this dependence, I prove in this article that the measure-valued function representing the state of the system is a C¹ function of these parameters, in a good space of measures.

The second article is the numerical counterpart of the above one. The theoretical result obtained there suggests a Marcus-Lushnikov like particle system to approximate the sensitivity. Convergence of the particle system is proved and numerical experiments are performed, showing the great accuracy and low variance of the estimator.

The third article presents an alternative method to simulate the sensitivity in which a coupled pair of Marcus-Lushnikov process is used to simulate two solutions to Smoluchowski equation with close parameters.

I prove that the spatial coagulation equation with bounded coagulation rate is well-posed for all times in a given class of kernels if the convection term of the underlying particle dynamics has divergence bounded above by a negative constant. Multiple coagulations, fragmentation and scattering are also considered.