Showing 1–50 of 53 results for author: Bailleul, I

Non-local quasilinear singular SPDEs

Authors: I. Bailleul, H. Eulry

Abstract: We study in this short note a counterpart to the quasilinear generalized parabolic Anderson model (gPAM) on the 2-dimensional torus where the coefficients are nonlocal functionals of the solution. Under a positivity assumption on the diffusion coefficient we give a local in time solution theory within the framework of paracontrolled calculus. We study in this short note a counterpart to the quasilinear generalized parabolic Anderson model (gPAM) on the 2-dimensional torus where the coefficients are nonlocal functionals of the solution. Under a positivity assumption on the diffusion coefficient we give a local in time solution theory within the framework of paracontrolled calculus. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 15 pages

Spectrally cut-off GFF, regularized $Φ^4$ measure, and reflection positivity

Authors: Ismael Bailleul, Nguyen Viet Dang, Léonard Ferdinand, Gaëtan Leclerc, Jiasheng Lin

Abstract: We argue that the spectrally cut-off Gaussian free field $Φ_Λ$ on a compact Riemannian manifold or on $\mathbb{R}^n$ cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that $Φ_Λ$ fails to be reflection positive. We explain the difficulties one encounters when trying to deduce the reflection positivity property of the measure exp… ▽ More We argue that the spectrally cut-off Gaussian free field $Φ_Λ$ on a compact Riemannian manifold or on $\mathbb{R}^n$ cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that $Φ_Λ$ fails to be reflection positive. We explain the difficulties one encounters when trying to deduce the reflection positivity property of the measure exp$(-\|ρΦ_Λ\|_{L^4}^4) μ_{\text{GFF}}(dΦ)$ from the reflection positivity property of the Gaussian free field measure $μ_{\text{GFF}}$ in a naive way. These issues are probably well-known to experts of constructive quantum field theory but to our knowledge, no detailed account can be found in the litterature. Our pedagogical note aims to fill this small gap. △ Less

Submitted 24 December, 2023; originally announced December 2023.

MSC Class: 81T08 81T20 28C20 46T12

Random models on regularity-integrability structures

Authors: I. Bailleul, M. Hoshino

Abstract: We prove 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 or… ▽ More We prove 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. △ Less

Submitted 14 June, 2024; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: v2: revised version with a polished presentation, 32 pages

Wilson-Itô diffusions

Authors: Ismael Bailleul, Ilya Chevyrev, Massimiliano Gubinelli

Abstract: We introduce Wilson-Itô diffusions, a class of random fields on $\mathbb{R}^d$ 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 applic… ▽ More We introduce Wilson-Itô diffusions, a class of random fields on $\mathbb{R}^d$ 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. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Comments: 8 pages

Global harmonic analysis for $Φ^4_3$ on closed Riemannian manifolds

Authors: I. Bailleul, N. V. Dang, L. Ferdinand, T. D. Tô

Abstract: Following Parisi \& Wu's paradigm of stochastic quantization, we constructed in \cite{BDFT} a $Φ^4$ measure on an arbitrary closed, compact Riemannian manifold of dimension $3$ as an invariant measure of a singular stochastic partial differential equation. This solves a longstanding open problem in quantum fields on curved backgrounds. In the present work, we build all the harmonic and microlocal… ▽ More Following Parisi \& Wu's paradigm of stochastic quantization, we constructed in \cite{BDFT} a $Φ^4$ measure on an arbitrary closed, compact Riemannian manifold of dimension $3$ as an invariant measure of a singular stochastic partial differential equation. This solves a longstanding open problem in quantum fields on curved backgrounds. In the present work, we build all the harmonic and microlocal analysis tools that are needed in \cite{BDFT}. In particular, we extend the approach of Jagannath--Perkowski to the vectorial $Φ^4_3$ model by introducing a new Cole-Hopf transform involving random bundle maps. △ Less

Submitted 18 July, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: references added, details added in Section 5.2, Section B added

MSC Class: 81T20; 35R60

Uniqueness of the $Φ^4_3$ measures on closed Riemannian $3$-manifolds

Authors: I. Bailleul

Abstract: We constructed in a previous work the $Φ^4_3$ measures on compact boundaryless $3$-dimensional Riemannian manifolds as some invariant probability measures of some Markovian dynamics. We prove in the present work 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 suppor… ▽ More We constructed in a previous work the $Φ^4_3$ measures on compact boundaryless $3$-dimensional Riemannian manifolds as some invariant probability measures of some Markovian dynamics. We prove in the present work 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. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 21 pages

Mean field singular stochastic PDEs

Authors: I. Bailleul, N. Moench

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

Submitted 4 May, 2023; originally announced May 2023.

Comments: 35 pages

$Φ^4_3$ measures on compact Riemannian $3$-manifolds

Authors: I. Bailleul, N. V. Dang, L. Ferdinand, T. D. Tô

Abstract: We construct the $Φ^4_3$ 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 nontriviality 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 curv… ▽ More We construct the $Φ^4_3$ 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 nontriviality 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 $Φ^4_3$ model where $Φ$ is now a bundle valued random field. In a companion paper, we develop in a self-contained way all the tools from paradifferential and microlocal analysis that we use to build in our manifold setting a number of analytic and probabilistic objects. △ Less

Submitted 26 June, 2024; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: Section 4 added, Sections 3-4-5 revised to correct a mistake in the previous version

Random models for singular SPDEs

Authors: I. Bailleul, Y. Bruned

Abstract: We give a proof of the convergence of the BHZ renormalized model associated with the generalized (KPZ) equation that does not require the full strength of the BPHZ renormalisation. Our approach is based on a convenient form of chaos decomposition. The other key ingredient is a generalisation of the Hairer-Quastel convergence theorem for Feynman diagrams with certain decorations encoding Taylor rem… ▽ More We give a proof of the convergence of the BHZ renormalized model associated with the generalized (KPZ) equation that does not require the full strength of the BPHZ renormalisation. Our approach is based on a convenient form of chaos decomposition. The other key ingredient is a generalisation of the Hairer-Quastel convergence theorem for Feynman diagrams with certain decorations encoding Taylor remainders. With these ideas we are able to construct the model for the generalised KPZ equation. △ Less

Submitted 13 June, 2024; v1 submitted 23 January, 2023; originally announced January 2023.

Comments: 19 pages

Regularity structures for quasilinear singular SPDEs

Authors: I. Bailleul, M. Hoshino, S. Kusuoka

Abstract: We prove the well-posed character of a regularity structure formulation of the quasi-linear 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. We prove the well-posed character of a regularity structure formulation of the quasi-linear 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. △ Less

Submitted 17 January, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: v2, 47 pages. Polished form of the previous version

Variational methods for some singular stochastic elliptic PDEs

Authors: I. Bailleul, H. Eulry, T. Robert

Abstract: 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 $ξ$ stand for a spatial white noise on a closed Riemannian surface $S$. We prove the existence of a solution to the equation $$ (-Δ+ a)u = f(u) + ξu $$ with a potential $a\in L^p(S)$ and $p>1$, and $f$ subje… ▽ More 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 $ξ$ stand for a spatial white noise on a closed Riemannian surface $S$. We prove the existence of a solution to the equation $$ (-Δ+ a)u = f(u) + ξu $$ with a potential $a\in L^p(S)$ and $p>1$, and $f$ subject to growth conditions. Under an additional parity condition on $f$ -- met for instance when $f(u) = u\vert u\vert^\ell$, with $\ell$ an even innteger, 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 based on the Anderson operator $H=Δ+ ξ$ 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 on $\mathbb{T}^2$ $$ (-Δ+ a)u = \big(w\star f(u)\big)g(u) + ξu $$ 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 $a,w,f$ and $g$. △ Less

Submitted 17 October, 2022; v1 submitted 19 February, 2022; originally announced February 2022.

Comments: v2, 15 pages, accepted and final version

Analysis of the Anderson operator

Authors: I. Bailleul, N. V. Dang, A. Mouzard

Abstract: We consider the continuous Anderson operator $H=Δ+ξ$ on a two dimensional closed Riemannian manifold $\mathcal{S}$. We provide a short self-contained functional analysis construction of the operator as an unbounded operator on $L^2(\mathcal{S})$ and give almost sure spectral gap estimates under mild geometric assumptions on the Riemannian manifold. We prove a sharp Gaussian small time asymptotic f… ▽ More We consider the continuous Anderson operator $H=Δ+ξ$ on a two dimensional closed Riemannian manifold $\mathcal{S}$. We provide a short self-contained functional analysis construction of the operator as an unbounded operator on $L^2(\mathcal{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 strong norm estimates for quasimodes. We introduce a new random field, called 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 the polymer measure on path space and relate the Wick square of the Anderson Gaussian free field to the occupation measure of a Poisson process of loops of polymer paths. We further prove large deviation results for the polymer measure and its bridges. △ Less

Submitted 28 November, 2023; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: We corrected the proof of the main Theorem 19 whose previous proof was fatally flawed, we added much more details we believe the current argument is correct

MSC Class: 35P15 35R60 60H15 58J50 58C40 58J65 81T16

Locality for singular stochastic PDEs

Authors: I. Bailleul, Y. Bruned

Abstract: This work deals with singular stochastic PDEs driven by non-translation invariant differential operators. We describe the renormalized equation for a very large class of spacetime dependent renormalization schemes. Our approach bypasses in particular the use of decorated trees with extended decorations. This work deals with singular stochastic PDEs driven by non-translation invariant differential operators. We describe the renormalized equation for a very large class of spacetime dependent renormalization schemes. Our approach bypasses in particular the use of decorated trees with extended decorations. △ Less

Submitted 3 June, 2024; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: 28 pages. Merged version with arXiv:2101.11949

Parametrization of renormalized models for singular stochastic PDEs

Authors: I. Bailleul, Y. Bruned

Abstract: Let $\mathscr{T}$ be the regularity structure associated with a given system of singular stochastic PDEs. The paracontrolled representation of the $\sf Π$ map provides a linear parametrization of the nonlinear space of admissible models $\sf M=(g,Π)$ on $\mathscr{T}$, in terms of the family of para-remainders used in the representation. We give an explicit description of the action of the most gen… ▽ More Let $\mathscr{T}$ be the regularity structure associated with a given system of singular stochastic PDEs. The paracontrolled representation of the $\sf Π$ map provides a linear parametrization of the nonlinear space of admissible models $\sf M=(g,Π)$ on $\mathscr{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 presently available 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. △ Less

Submitted 11 February, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Renormalised singular stochastic PDEs

Authors: Ismael Bailleul, Yvain Bruned

Abstract: 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 pr… ▽ More 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 renormalized 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. △ Less

Submitted 2 February, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

A tourist's guide to regularity structures and singular stochastic PDEs

Authors: I. Bailleul, M. Hoshino

Abstract: 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 stochastic PDEs. 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 stochastic PDEs. △ Less

Submitted 4 May, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: v2, 81 pages. A fair number of details added and improved presentation all over the work

Paracontrolled calculus for quasilinear singular PDEs

Authors: I. Bailleul, A. Mouzard

Abstract: We develop further in this work the high order paracontrolled calculus setting to deal with the analytic part of the study of quasilinear singular PDEs. A number of continuity results for some operators are proved for that purpose. Unlike the regularity structures approach of the subject by Gerencser and Hairer, and Otto, Sauer, Smith and Weber, or Furlan and Gubinelli' study of the two dimensiona… ▽ More We develop further in this work the high order paracontrolled calculus setting to deal with the analytic part of the study of quasilinear singular PDEs. A number of continuity results for some operators are proved for that purpose. Unlike the regularity structures approach of the subject by Gerencser and Hairer, and Otto, Sauer, Smith and Weber, or Furlan and Gubinelli' study of the two dimensional quasilinear parabolic Anderson model equation, we do not use parametrised families of models or paraproducts to set the scene. We use instead infinite dimensional paracontrolled structures that we introduce here. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 32 pages

Paracontrolled calculus and regularity structures (II)

Authors: I. Bailleul, M. Hoshino

Abstract: We prove a general equivalence statement between the notions of models and modelled distributions over a regularity structure, and paracontrolled systems indexed by the regularity structure. This takes in particular the form of a parametrisation of the set of models over a regularity structure by the set of reference functions used in the paracontrolled representation of these objects. A number of… ▽ More We prove a general equivalence statement between the notions of models and modelled distributions over a regularity structure, and paracontrolled systems indexed by the regularity structure. This takes in particular the form of a parametrisation of the set of models over a regularity structure by the set of reference functions used in the paracontrolled representation of these objects. A number of consequences are emphasized. The construction of a modelled distribution from a paracontrolled system is explicit, and takes a particularly simple form in the case of the regularity structures introduced by Bruned, Hairer and Zambotti for the study of singular stochastic partial differential equations. △ Less

Submitted 26 February, 2021; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: v3. 44 pages. Final version. Presentation improved

Propagation of chaos for mean field rough differential equations

Authors: I. Bailleul, R. Catellier, F. Delarue

Abstract: We address propagation of chaos for large systems of rough differential equations associated with random rough differential equations of mean field type $$ dX_t = V(X_t,\mathcal{L}(X_t))dt + F(X_t,\mathcal{L}(X_t))dW_t $$ where $W$ is a random rough path and $\mathcal{L}(X_t)$ is the law of $X_t$. We prove propagation of chaos, and provide also an explicit optimal convergence rate. The analysis is… ▽ More We address propagation of chaos for large systems of rough differential equations associated with random rough differential equations of mean field type $$ dX_t = V(X_t,\mathcal{L}(X_t))dt + F(X_t,\mathcal{L}(X_t))dW_t $$ where $W$ is a random rough path and $\mathcal{L}(X_t)$ is the law of $X_t$. We prove propagation of chaos, and provide also an explicit optimal convergence rate. The analysis is based upon the tools we developed in our companion paper [1] for solving mean field rough differential equations and in particular upon a corresponding version of the Itô-Lyons continuity theorem. The rate of convergence is obtained by a coupling argument developed first by Sznitman for particle systems with Brownian inputs. △ Less

Submitted 9 June, 2020; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: Final version, 73p. arXiv admin note: text overlap with arXiv:1802.05882

Kinetic Brownian motion on the diffeomorphism group of a closed Riemannian manifold

Authors: J. Angst, I. Bailleul, P. Perruchaud

Abstract: We define kinetic Brownian motion on the diffeomorphism group of a closed Riemannian manifold, and prove that it provides an interpolation between the hydrodynamic flow of a fluid and a Brownian-like flow. We define kinetic Brownian motion on the diffeomorphism group of a closed Riemannian manifold, and prove that it provides an interpolation between the hydrodynamic flow of a fluid and a Brownian-like flow. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Comments: 45 pages

Paracontrolled calculus and regularity structures

Authors: I. Bailleul, M. Hoshino

Abstract: We start in this work the study of the relation between the theory of regularity structures and paracontrolled calculus. We give a paracontrolled representation of the reconstruction operator and provide a natural parametrization of the space of admissible models. We start in this work the study of the relation between the theory of regularity structures and paracontrolled calculus. We give a paracontrolled representation of the reconstruction operator and provide a natural parametrization of the space of admissible models. △ Less

Submitted 26 October, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Comments: v3: final version, 32 pages

Young and rough differential inclusions

Authors: I. Bailleul, A. Brault, L. Coutin

Abstract: We define in this work a notion of Young differential inclusion $$ dz_t \in F(z_t)dx_t, $$ for an $α$-Holder control $x$, with $α>1/2$, and give an existence result for such a differential system. As a by-product of our proof, we show that a bounded, compact-valued, $γ$-Hölder continuous set-valued map on the interval $[0,1]$ has a selection with finite $p$-variation, for $p>1/γ$. We also give a n… ▽ More We define in this work a notion of Young differential inclusion $$ dz_t \in F(z_t)dx_t, $$ for an $α$-Holder control $x$, with $α>1/2$, and give an existence result for such a differential system. As a by-product of our proof, we show that a bounded, compact-valued, $γ$-Hölder continuous set-valued map on the interval $[0,1]$ has a selection with finite $p$-variation, for $p>1/γ$. We also give a notion of solution to the rough differential inclusion $$ dz_t \in F(z_t)dt + G(z_t)d{\bf X}_t, $$ for an $α$-Holder rough path $\bf X$ with $α\in \left(\frac{1}{3},\frac{1}{2}\right]$, a set-valued map $F$ and a single-valued one form $G$. Then, we prove the 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. △ Less

Submitted 27 August, 2020; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: v.3: 22 pages. Final version

Diffusion in small time in incomplete sub-Riemannian manifolds

Authors: Ismael Bailleul, James Norris

Abstract: For incomplete sub-Riemannian manifolds, and for an associated second-order hypoelliptic operator, which need not be symmetric, we identify two alternative conditions for the validity of Gaussian-type upper bounds on heat kernels and transition probabilities, with optimal constant in the exponent. Under similar conditions, we obtain the small-time logarithmic asymptotics of the heat kernel, and sh… ▽ More For incomplete sub-Riemannian manifolds, and for an associated second-order hypoelliptic operator, which need not be symmetric, we identify two alternative conditions for the validity of Gaussian-type upper bounds on heat kernels and transition probabilities, with optimal constant in the exponent. Under similar conditions, we obtain the small-time logarithmic asymptotics of the heat kernel, and show concentration of diffusion bridge measures near a path of minimal energy. The first condition requires that we consider points whose distance apart is no greater than the sum of their distances to infinity. The second condition requires only that the operator not be too asymmetric. △ Less

Submitted 10 March, 2022; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: Accepted version

Journal ref: Analysis & PDE 15 (2022) 63-84

On the definition of a solution to a rough differential equation

Authors: I. Bailleul

Abstract: We give an elementary proof that Davie's definition of a solution to a rough differential equation and the notion of solution given by Bailleul in (Flows driven by rough paths) coincide. This provides an alternative point on view on the deep algebraic insights of Cass and Weidner in their work (Tree algebras over topological vector spaces in rough path theory). We give an elementary proof that Davie's definition of a solution to a rough differential equation and the notion of solution given by Bailleul in (Flows driven by rough paths) coincide. This provides an alternative point on view on the deep algebraic insights of Cass and Weidner in their work (Tree algebras over topological vector spaces in rough path theory). △ Less

Submitted 22 March, 2019; v1 submitted 17 March, 2018; originally announced March 2018.

Comments: v3, 12 pages ; final version. Improved presentation

Solving mean field rough differential equations

Authors: I. Bailleul, R. Catellier, F. Delarue

Abstract: We provide in this work a robust solution theory for random rough differential equations of mean field type $$ dX_t = V(X_t,\mathcal{L}(X_t))dt + F(X_t,\mathcal{L}(X_t))dW_t, $$ where $W$ is a random rough path and $\mathcal{L}(X_t)$ stands for the law of $X_t$, with mean field interaction in both the drift and diffusivity. The analysis requires the introduction of a new rough path-like setting an… ▽ More We provide in this work a robust solution theory for random rough differential equations of mean field type $$ dX_t = V(X_t,\mathcal{L}(X_t))dt + F(X_t,\mathcal{L}(X_t))dW_t, $$ where $W$ is a random rough path and $\mathcal{L}(X_t)$ stands for the law of $X_t$, with mean field interaction in both the drift and diffusivity. The analysis 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. △ Less

Submitted 1 July, 2019; v1 submitted 16 February, 2018; originally announced February 2018.

Comments: 63 pages; v2: Version 1 of this work has been split in two seperate works, the first part of which is the present work. A number of arguments in both parts have been reworked in depth, and improved

Non-explosion criteria for rough differential equations driven by unbounded vector fields

Authors: I. Bailleul, R. Catellier

Abstract: We give in this note a simple treatment of the non-explosion problem for rough differential equations driven by unbounded vector fields and weak geometric rough paths of arbitrary roughness. We give in this note a simple treatment of the non-explosion problem for rough differential equations driven by unbounded vector fields and weak geometric rough paths of arbitrary roughness. △ Less

Submitted 16 February, 2018; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 27 pages; v2: a typo in the proof of Theorem 23 corrected

Random dynamical systems, rough paths and rough flows

Authors: Ismael Bailleul, Sebastian Riedel, Michael Scheutzow

Abstract: We analyze 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… ▽ More We analyze 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. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Comments: 27 pages

MSC Class: 60H10

Quasilinear generalized parabolic Anderson model equation

Authors: Ismael Bailleul, Arnaud Debussche, Martina Hofmanova

Abstract: We present in this note a local in time well-posedness result for the singular $2$-dimensional quasilinear generalized parabolic Anderson model equation $$ \partial_t u - a(u)Δu = g(u)ξ$$ The key idea of our approach is a simple transformation of the equation which allows to treat the problem as a semilinear problem. The analysis is done within the elementary setting of paracontrolled calculus. We present in this note a local in time well-posedness result for the singular $2$-dimensional quasilinear generalized parabolic Anderson model equation $$ \partial_t u - a(u)Δu = g(u)ξ$$ The key idea of our approach is a simple transformation of the equation which allows to treat the problem as a semilinear problem. The analysis is done within the elementary setting of paracontrolled calculus. △ Less

Submitted 25 November, 2016; v1 submitted 21 October, 2016; originally announced October 2016.

High order paracontrolled calculus

Authors: I. Bailleul, F. Bernicot

Abstract: We develop in this 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. 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 il… ▽ More We develop in this 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. 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 examples of the 3-dimensional generalised parabolic Anderson model equation and the generalised KPZ equation driven by a (1+1)-dimensional space/time white noise. △ Less

Submitted 10 October, 2019; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: v5, 67 pages. Refined correctors introduced, and an improved continuity result for the merging operator proved. Final version

Rough flows and homogenization in stochastic turbulence

Authors: I. Bailleul, R. Catellier

Abstract: We provide in this work a tool-kit for the study of homogenisation of random ordinary differential equations, under the form of a friendly-user black box based on the tehcnology of rough flows. We illustrate the use of this setting on the example of stochastic turbulence. We provide in this work a tool-kit for the study of homogenisation of random ordinary differential equations, under the form of a friendly-user black box based on the tehcnology of rough flows. We illustrate the use of this setting on the example of stochastic turbulence. △ Less

Submitted 10 October, 2016; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: v2, 27 pages; presentation fairly improved; extended scope for the material

Space-time paraproducts for paracontrolled calculus, 3d-PAM and multiplicative Burgers equations

Authors: I. Bailleul, F. Bernicot, D. Frey

Abstract: We sharpen in this work the tools of paracontrolled calculus in order to provide a complete analysis of the parabolic Anderson model equation and Burgers system with multiplicative noise, in a $3$-dimensional Riemannian setting, in either bounded or unbounded domains. With that aim in mind, we introduce a pair of intertwined space-time paraproducts on parabolic Hölder spaces, with good continuity,… ▽ More We sharpen in this work the tools of paracontrolled calculus in order to provide a complete analysis of the parabolic Anderson model equation and Burgers system with multiplicative noise, in a $3$-dimensional Riemannian setting, in either bounded or unbounded domains. With that aim in mind, we introduce a pair of intertwined space-time paraproducts on parabolic Hölder spaces, with good continuity, that happens to be pivotal and provides one of the building blocks of higher order paracontrolled calculus. △ Less

Submitted 25 April, 2017; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: v3, 56 pages. Different points about renormalisation matters have been clarified. Typos corrected

Small-time fluctuations for the bridge of a sub-Riemannian diffusion

Authors: Ismael Bailleul, Laurent Mesnager, James Norris

Abstract: We consider small-time asymptotics for diffusion processes conditioned by their initial and final positions, under the assumption that the diffusivity has a sub-Riemannian structure, not necessarily of constant rank. We show that, if the endpoints are joined by a unique path of minimal energy, and lie outside the sub-Riemannian cut locus, then the fluctuations of the conditioned diffusion from the… ▽ More We consider small-time asymptotics for diffusion processes conditioned by their initial and final positions, under the assumption that the diffusivity has a sub-Riemannian structure, not necessarily of constant rank. We show that, if the endpoints are joined by a unique path of minimal energy, and lie outside the sub-Riemannian cut locus, then the fluctuations of the conditioned diffusion from the minimal energy path, suitably rescaled, converge to a Gaussian limit. The Gaussian limit is characterized in terms of the bicharacteristic flow, and also in terms of a second variation of the energy functional at the minimal path, the formulation of which is new in this context. △ Less

Submitted 15 October, 2018; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: Reorganized. Some material removed and developed further in a companion paper

MSC Class: 58J65

Rough flows

Authors: I. Bailleul, S. Riedel

Abstract: We introduce in this work a concept of rough driver that somehow provides a rough path-like analogue of an enriched object associated with time-dependent vector fields. We use the machinery of approximate flows to build the integration theory of rough drivers and prove well-posedness results for rough differential equations on flows and continuity of the solution flow as a function of the generati… ▽ More We introduce in this work a concept of rough driver that somehow provides a rough path-like analogue of an enriched object associated with time-dependent vector fields. We use the machinery of approximate flows to build the integration theory of rough drivers and prove well-posedness results for rough differential equations on flows and continuity of the solution flow as a function of the generating rough driver. We show that the theory of semi-martingale stochastic flows developed in the 80's and early 90's fits nicely in this framework, and obtain as a consequence some strong approximation results for general semimartingale flows and provide a fresh look at large deviation theorems for 'Gaussian' stochastic flows. △ Less

Submitted 18 March, 2018; v1 submitted 7 May, 2015; originally announced May 2015.

Comments: v4, 55 pages; final version. The exposition has been polished to make the work easier to read

Heat semigroup and singular PDEs

Authors: I. Bailleul, F. Bernicot

Abstract: We provide in this 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 extens… ▽ More We provide in this 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 Holders spaces, in small time on a potentially unbounded 2-dimensional Riemannian manifold, for an equation driven by a weighted noise, and for all times for the linear parabolic Anderson model equation in 2-dimensional unbounded manifolds. This machinery can be extended to an even more singular setting and deal with Sobolev scales of spaces rather than Holder spaces. △ Less

Submitted 8 February, 2016; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: 83 pages; v3. final version. Appendix B jointly written with D. Frey

Kinetic Brownian motion on Riemannian manifolds

Authors: Jürgen Angst, Ismaël Bailleul, Camille Tardif

Abstract: We consider in this work a one parameter family of hypoelliptic diffusion processes on the unit tangent bundle $T^1 \mathcal M$ of a Riemannian manifold $(\mathcal M,g)$, collectively called kinetic Brownian motions, that are random perturbations of the geodesic flow, with a parameter $σ$ quantifying the size of the noise. Projection on $\mathcal M$ of these processes provides random $C^1$ paths i… ▽ More We consider in this work a one parameter family of hypoelliptic diffusion processes on the unit tangent bundle $T^1 \mathcal M$ of a Riemannian manifold $(\mathcal M,g)$, collectively called kinetic Brownian motions, that are random perturbations of the geodesic flow, with a parameter $σ$ quantifying the size of the noise. Projection on $\mathcal M$ of these processes provides random $C^1$ paths in $\mathcal M$. We show, both qualitively and quantitatively, that the laws of these $\mathcal M$-valued paths provide an interpolation between geodesic and Brownian motions. This qualitative description of kinetic Brownian motion as the parameter $σ$ varies is complemented by a thourough study of its long time asymptotic behaviour on rotationally invariant manifolds, when $σ$ is fixed, as we are able to give a complete description of its Poisson boundary in geometric terms. △ Less

Submitted 15 January, 2015; originally announced January 2015.

Comments: 41 pages, 7 figures

MSC Class: 60J60; 58J65; 60J45

Unbounded rough drivers

Authors: I. Bailleul, M. Gubinelli

Abstract: We propose 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 propose 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. △ Less

Submitted 23 June, 2017; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 38 pages. some improvements and precisions

MSC Class: 35R60

The inverse problem for rough controlled differential equations

Authors: I. Bailleul, J. Diehl

Abstract: We provide a necessary and sufficient condition for a rough control driving a differential equation to be reconstructable, to some order, from observing the resulting controlled evolution. Physical examples and applications in stochastic filtering and statistics demonstrate the practical relevance of our result. We provide a necessary and sufficient condition for a rough control driving a differential equation to be reconstructable, to some order, from observing the resulting controlled evolution. Physical examples and applications in stochastic filtering and statistics demonstrate the practical relevance of our result. △ Less

Submitted 14 November, 2014; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: added section on rough path theory

MSC Class: 60H10; 34A55

A flow-based approach to rough differential equations

Authors: Ismael Bailleul

Abstract: These are lecture notes for a Master 2 course on rough differential equations driven by weak geometric Holder p-rough paths, for any p>2. They provide a short, self-contained and pedagogical account of the theory, with an emphasis on flows. The theory is illustrated by some now classical applications to stochastic analysis, such as the basics of Freidlin-Wentzel theory of large deviations for diff… ▽ More These are lecture notes for a Master 2 course on rough differential equations driven by weak geometric Holder p-rough paths, for any p>2. They provide a short, self-contained and pedagogical account of the theory, with an emphasis on flows. The theory is illustrated by some now classical applications to stochastic analysis, such as the basics of Freidlin-Wentzel theory of large deviations for diffusions, or Stroock and Varadhan support theorem. △ Less

Submitted 3 April, 2014; originally announced April 2014.

Comments: 63 pages

Rough integrators on Banach manifolds

Authors: Ismael Bailleul

Abstract: We introduce a notion of p-rough integrator on any Banach manifolds, for any $p\geq 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. We introduce a notion of p-rough integrator on any Banach manifolds, for any $p\geq 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. △ Less

Submitted 22 July, 2014; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: 13 pages, polished presentation

Regularity of the Ito-Lyons map

Authors: I. Bailleul

Abstract: 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 construc… ▽ More 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. △ Less

Submitted 29 April, 2015; v1 submitted 6 January, 2014; originally announced January 2014.

Comments: Final version, 11 pages. An integration by parts formula for the Ito-Lyons map has been added as another application of the main result

Flows driven by Banach space-valued rough paths

Authors: Ismael Bailleul

Abstract: We show in this note how the machinery of C^1-approximate flows devised in the work "Flows driven by rough paths", and applied there to reprove and extend most of the results on Banach space-valued rough differential equations driven by a finite dimensional rough path, can be used to deal with rough differential equations driven by an infinite dimensional Banach space-valued weak geometric Holder… ▽ More We show in this note how the machinery of C^1-approximate flows devised in the work "Flows driven by rough paths", and applied there to reprove and extend most of the results on Banach space-valued rough differential equations driven by a finite dimensional rough path, can be used to deal with rough differential equations driven by an infinite dimensional Banach space-valued weak geometric Holder p-rough paths, for any p>2, giving back Lyons' theory in its full force in a simple way. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 8 pages

Path-dependent rough differential equations

Authors: Ismael Bailleul

Abstract: We show in this work how the machinery of C^1-approximate flows introduced in our previous work "Flows driven by rough paths", provides a very efficient tool for proving well-posedness results for path-dependent rough differential equations on flows of the form dφ= V h(dt) + F X(dt), for smooth enough path-dependent vector fields V,F = (V_1,...,V_\ell), any Holder weak geometric p-rough path X and… ▽ More We show in this work how the machinery of C^1-approximate flows introduced in our previous work "Flows driven by rough paths", provides a very efficient tool for proving well-posedness results for path-dependent rough differential equations on flows of the form dφ= V h(dt) + F X(dt), for smooth enough path-dependent vector fields V,F = (V_1,...,V_\ell), any Holder weak geometric p-rough path X and any a-Holder path h, with a+1/p>1. △ Less

Submitted 5 September, 2013; originally announced September 2013.

Comments: 17 pages

Large deviation principle for bridges of degenerate diffusions

Authors: Ismael Bailleul

Abstract: We prove that bridges of subelliptic diffusions on a compact manifold, with distinct ends, satisfy a large deviation principle in a 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. We prove that bridges of subelliptic diffusions on a compact manifold, with distinct ends, satisfy a large deviation principle in a 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. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Comments: 7 pages

Flows driven by rough paths

Authors: Ismael Bailleul

Abstract: We devise in this work a simple mechanism for constructing flows on a Banach space from approximate flows, and show how it can be used in a simple way to reprove from scratch and extend the main existence and well-posedness results for rough differential equations, in the context of dynamics on a Banach space driven by a finite dimensional Holder weak geometric p-rough path, for any 2<p; the explo… ▽ More We devise in this work a simple mechanism for constructing flows on a Banach space from approximate flows, and show how it can be used in a simple way to reprove from scratch and extend the main existence and well-posedness results for rough differential equations, in the context of dynamics on a Banach space driven by a finite dimensional Holder weak geometric p-rough path, for any 2<p; the explosion question under linear growth conditions on the vector fields, Taylor expansion and convergence rates for Euler estimates are also dealt with. We illustrate our approach by proving an existence and well-posedness result for some mean field stochastic rough differential equation. △ Less

Submitted 25 September, 2013; v1 submitted 5 March, 2012; originally announced March 2012.

Comments: Final version, 29 pages

A probabilistic view on the general relativistic Boltzmann equation

Authors: Ismael Bailleul, Frabrice Debbasch

Abstract: A new probalistic approach to general relativistic kinetic theory is proposed. The general relativistic Boltzmann equation is linked to a new Markov process in a completely intrinsic way. This treatment is then used to prove the causal character of the relativistic Boltzmann model. A new probalistic approach to general relativistic kinetic theory is proposed. The general relativistic Boltzmann equation is linked to a new Markov process in a completely intrinsic way. This treatment is then used to prove the causal character of the relativistic Boltzmann model. △ Less

Submitted 4 July, 2011; originally announced July 2011.

Comments: 12 pages

KPZ in a multidimensional random geometry of multiplicative cascades

Authors: Ismael Bailleul

Abstract: We show in this note how the one-dimensional KZP formula obtained by Benjamini and Schramm can be extended to a multidimensional setting. We show in this note how the one-dimensional KZP formula obtained by Benjamini and Schramm can be extended to a multidimensional setting. △ Less

Submitted 15 April, 2011; originally announced April 2011.

Comments: 3 pages

Spatial coagulation with bounded coagulation rate

Authors: Ismael Bailleul

Abstract: We 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 below by a positive constant. Multiple coagulations, fragmentation and scattering are also considered. We 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 below by a positive constant. Multiple coagulations, fragmentation and scattering are also considered. △ Less

Submitted 18 February, 2011; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: v2, revised and polished version; 11 pages. To appear in Journal of Evolution Equations

Probabilistic view on singularities and spacetime boundary

Authors: Ismael Bailleul

Abstract: The aim of this article is to promote the use of probabilistic methods in the study of problems in mathematical general relativity. Two new and simple 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… ▽ More The aim of this article is to promote the use of probabilistic methods in the study of problems in mathematical general relativity. Two new and simple 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. △ Less

Submitted 18 February, 2011; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: v2, 15 pages. To appear in J. Math. Phys., Feb. 2011

MSC Class: 83C75 (Primary); 60H10; 60H30 (Secondary)

Nonexplosion criteria for relativistic diffusions

Authors: Ismaël Bailleul, Jacques Franchi

Abstract: Some general Lorentz covariant operators, associated to the so-called Θ(or Ξ)-relativistic diffusions and making sense in any Lorentzian manifold, have been introduced by Franchi and Le Jan [Comm. Pure Appl. Math. 60 (2007) 187-251], Franchi and Le Jan [Curvature diffusions in general relativity (2010). Unpublished manuscript]. Only a few examples have been studied so far. We provide in this work… ▽ More Some general Lorentz covariant operators, associated to the so-called Θ(or Ξ)-relativistic diffusions and making sense in any Lorentzian manifold, have been introduced by Franchi and Le Jan [Comm. Pure Appl. Math. 60 (2007) 187-251], Franchi and Le Jan [Curvature diffusions in general relativity (2010). Unpublished manuscript]. Only a few examples have been studied so far. We provide in this work some nonexplosion criteria for these diffusions, which can be used in generic cases. △ Less

Submitted 12 October, 2012; v1 submitted 12 July, 2010; originally announced July 2010.

Comments: Published in at http://dx.doi.org/10.1214/11-AOP672 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP672

Journal ref: Annals of Probability 2012, Vol. 40, No. 5, 2168-2196

A Stochastic Algorithm for Parametric Sensitivity in Smoluchowski's Coagulation Equation

Authors: I. Bailleul, P. L. W. Man, M. Kraft

Abstract: In this article a stochastic particle system approximation to the parametric sensitivity in the Smoluchowski coagulation equation is introduced. The parametric sensitivity is the derivative of the solution to the equation with respect to some parameter, where the coagulation kernel depends on this parameter. It is proved that the particle system converges weakly to the sensitivity as the number… ▽ More In this article a stochastic particle system approximation to the parametric sensitivity in the Smoluchowski coagulation equation is introduced. The parametric sensitivity is the derivative of the solution to the equation with respect to some parameter, where the coagulation kernel depends on this parameter. It is proved that the particle system converges weakly to the sensitivity as the number of particles N increases. A Monte Carlo algorithm is developed and variance reduction techniques are applied. Numerical experiments are conducted for two kernels: the additive kernel and one which has been used for studying soot formation in a free molecular regime. It is shown empirically that the techniques for variance reduction are indeed very effective and that the order of convergence is O(1/N). The algorithm is then compared to an algorithm based on a finite difference approximation to the sensitivity and it is found that the variance of the sensitivity estimators are considerably lower than that for the finite difference approach. Furthermore, two methods of establishing `efficiency' are considered and the new algorithm is found to be significantly more efficient. △ Less

Submitted 21 October, 2009; originally announced October 2009.

Comments: 23 pages

MSC Class: 65C05; 65C35; 68U20; 82C22; 60F05