-
Multi-indices coproducts from ODEs to singular SPDEs
Authors:
Yvain Bruned,
Yingtong Hou
Abstract:
In this work, we introduce explicit formulae for the coproducts at play for multi-indices in ODEs and in singular SPDEs. The two coproducts described correspond to versions of the Butcher-Connes-Kreimer and extraction/contraction coproducts with multi-indices. The main idea is to use the fact that these coproducts are the adjoints of dual products for which one has explicit simple formulae. We are…
▽ More
In this work, we introduce explicit formulae for the coproducts at play for multi-indices in ODEs and in singular SPDEs. The two coproducts described correspond to versions of the Butcher-Connes-Kreimer and extraction/contraction coproducts with multi-indices. The main idea is to use the fact that these coproducts are the adjoints of dual products for which one has explicit simple formulae. We are able to derive the explicit formulae via an inner product defined from a symmetry factor easily computable for multi-indices.
△ Less
Submitted 7 June, 2024; v1 submitted 18 May, 2024;
originally announced May 2024.
-
Chain rule symmetry for singular SPDEs
Authors:
Yvain Bruned,
Vladimir Dotsenko
Abstract:
We characterise the chain rule symmetry for the geometric stochastic heat equations in the full subcritical regime for Gaussian and non-Gaussian noises. We show that the renormalised counter-terms that give a solution invariant under changes of coordinates are generated by iterations of covariant derivatives. The result was known only for space-time white noises, with a very specific proof that so…
▽ More
We characterise the chain rule symmetry for the geometric stochastic heat equations in the full subcritical regime for Gaussian and non-Gaussian noises. We show that the renormalised counter-terms that give a solution invariant under changes of coordinates are generated by iterations of covariant derivatives. The result was known only for space-time white noises, with a very specific proof that so far could not be extended to the general case. The key idea of the present paper is to change the perspective on several levels and to use ideas coming from operad theory and homological algebra. Concretely, we introduce the operad of Christoffel trees that captures the counter-terms of the renormalised equation; our main new insight is to describe the space of invariant terms homologically, using a suitable perturbation of the differential of the operadic twisting of that operad. As a consequence, we obtain the correct renormalisation for the quasi-linear KPZ equation in the subcritical regime completing the programme started by Hairer and Gerencser. Previously, the main algebraic tool used in the study of singular SPDEs were Hopf algebras of decorated trees; our work shows that operad theory and homological algebra add new powerful tools with immediate applications to open problems that were out of reach by other methods.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Multi-indice B-series
Authors:
Yvain Bruned,
Kurusch Ebrahimi-Fard,
Yingtong Hou
Abstract:
We propose a novel way to describe numerical methods for ordinary differential equations via the notion of multi-indice. The main idea is to replace rooted trees in Butcher's B-series by multi-indices. The latter were introduced recently in the context of describing solutions of singular stochastic partial differential equations. The combinatorial shift away from rooted trees allows for a compress…
▽ More
We propose a novel way to describe numerical methods for ordinary differential equations via the notion of multi-indice. The main idea is to replace rooted trees in Butcher's B-series by multi-indices. The latter were introduced recently in the context of describing solutions of singular stochastic partial differential equations. The combinatorial shift away from rooted trees allows for a compressed description of numerical schemes. Moreover, these multi-indices B-series characterise uniquely the Taylor development of local and affine equivariant maps.
△ Less
Submitted 25 March, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Quasi-generalised KPZ equation
Authors:
Yvain Bruned,
Máté Gerencsér,
Usama Nadeem
Abstract:
We derive the renormalised equation for the quasi-generalised KPZ equation with space-time white noise. We complement the program initiated by Gerencsér and Hairer for solving quasi-linear equations using regularity structures by an algebraic machinery that gives a systematic tool to remove non-local counterterms and provide a precise expression of the renormalised equation that is consistent with…
▽ More
We derive the renormalised equation for the quasi-generalised KPZ equation with space-time white noise. We complement the program initiated by Gerencsér and Hairer for solving quasi-linear equations using regularity structures by an algebraic machinery that gives a systematic tool to remove non-local counterterms and provide a precise expression of the renormalised equation that is consistent with the semilinear case. The solution theory satisfies the chain rule and a natural notion of Itô isometry, which can be combined to obtain global in time solution.
△ Less
Submitted 6 June, 2024; v1 submitted 24 January, 2024;
originally announced January 2024.
-
Resonance based schemes for SPDEs
Authors:
Jacob Armstrong-Goodall,
Yvain Bruned
Abstract:
Resonance based numerical schemes are those in which cancellations in the oscillatory components of the equation are taken advantage of in order to reduce the regularity required of the initial data to achieve a particular order of error and convergence. We investigate the potential for the derivation of resonance based schemes in the context of nonlinear stochastic PDEs. By comparing the regulari…
▽ More
Resonance based numerical schemes are those in which cancellations in the oscillatory components of the equation are taken advantage of in order to reduce the regularity required of the initial data to achieve a particular order of error and convergence. We investigate the potential for the derivation of resonance based schemes in the context of nonlinear stochastic PDEs. By comparing the regularity conditions required for error analysis to traditional exponential schemes we demonstrate that at orders less than $ \mathcal{O}(t^2) $, the techniques are successful and provide a significant gain on the regularity of the initial data, while at orders greater than $ \mathcal{O}(t^2) $, that the resonance based techniques does not achieve any gain. This is due to limitations in the explicit path-wise analysis of stochastic integrals. As examples of applications of the method, we present schemes for the Schrödinger equation and Manakov system accompanied by local error and stability analysis as well as proof of global convergence in both the strong and path-wise sense.
△ Less
Submitted 13 February, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Novikov algebras and multi-indices in regularity structures
Authors:
Yvain Bruned,
Vladimir Dotsenko
Abstract:
In this work, we introduce multi-Novikov algebras, a generalisation of Novikov algebras with several binary operations indexed by a given set, and show that the multi-indices recently introduced in the context of singular stochastic partial differential equations can be interpreted as free multi-Novikov algebras. This is parallel to the fact that decorated rooted trees arising in the context of re…
▽ More
In this work, we introduce multi-Novikov algebras, a generalisation of Novikov algebras with several binary operations indexed by a given set, and show that the multi-indices recently introduced in the context of singular stochastic partial differential equations can be interpreted as free multi-Novikov algebras. This is parallel to the fact that decorated rooted trees arising in the context of regularity structures are related to free multi-pre-Lie algebras.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Composition and substitution of Regularity Structures B-series
Authors:
Yvain Bruned
Abstract:
In this work, we introduce Regularity Structures B-series which are used for describing solutions of singular stochastic partial differential equations (SPDEs). We define composition and substitutions of these B-series and as in the context of B-series for ordinary differential equations, these operations can be rewritten via products and Hopf algebras which have been used for building up renormal…
▽ More
In this work, we introduce Regularity Structures B-series which are used for describing solutions of singular stochastic partial differential equations (SPDEs). We define composition and substitutions of these B-series and as in the context of B-series for ordinary differential equations, these operations can be rewritten via products and Hopf algebras which have been used for building up renormalised models. These models provide a suitable topology for solving singular SPDEs. This new construction sheds a new light on these products and open interesting perspectives for the study of singular SPDEs in connection with B-series.
△ Less
Submitted 8 January, 2024; v1 submitted 22 October, 2023;
originally announced October 2023.
-
A top-down approach to algebraic renormalization in regularity structures based on multi-indices
Authors:
Yvain Bruned,
Pablo Linares
Abstract:
We provide an algebraic framework to describe renormalization in regularity structures based on multi-indices for a large class of semi-linear stochastic PDEs. This framework is ``top-down", in the sense that we postulate the form of the counterterm and use the renormalized equation to build a canonical smooth model for it. The core of the construction is a generalization of the Hopf algebra of de…
▽ More
We provide an algebraic framework to describe renormalization in regularity structures based on multi-indices for a large class of semi-linear stochastic PDEs. This framework is ``top-down", in the sense that we postulate the form of the counterterm and use the renormalized equation to build a canonical smooth model for it. The core of the construction is a generalization of the Hopf algebra of derivations in [LOT23], which is extended beyond the structure group to describe the model equation via an exponential map: This allows to implement a renormalization procedure which resembles the preparation map approach in our context.
△ Less
Submitted 23 October, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Symmetric resonance based integrators and forest formulae
Authors:
Yvonne Alama Bronsard,
Yvain Bruned,
Georg Maierhofer,
Katharina Schratz
Abstract:
We introduce a unified framework of symmetric resonance based schemes which preserve central symmetries of the underlying PDE. We extend the resonance decorated trees approach introduced in arXiv:2005.01649 to a richer framework by exploring novel ways of iterating Duhamel's formula, capturing the dominant parts while interpolating the lower parts of the resonances in a symmetric manner. This give…
▽ More
We introduce a unified framework of symmetric resonance based schemes which preserve central symmetries of the underlying PDE. We extend the resonance decorated trees approach introduced in arXiv:2005.01649 to a richer framework by exploring novel ways of iterating Duhamel's formula, capturing the dominant parts while interpolating the lower parts of the resonances in a symmetric manner. This gives a general class of new numerical schemes with more degrees of freedom than the original scheme from arXiv:2005.01649. To encapsulate the central structures we develop new forest formulae that contain the previous class of schemes and derive conditions on their coefficients in order to obtain symmetric schemes. These forest formulae echo the one used in Quantum Field Theory for renormalising Feynman diagrams and the one used for the renormalisation of singular SPDEs via the theory of Regularity Structures. These new algebraic tools not only provide a nice parametrisation of the previous resonance based integrators but also allow us to find new symmetric schemes with remarkable structure preservation properties even at very low regularity.
△ Less
Submitted 1 September, 2023; v1 submitted 26 May, 2023;
originally announced May 2023.
-
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.
-
Geometric embedding for regularity structures
Authors:
Yvain Bruned,
Foivos Katsetsiadis
Abstract:
In this paper, we show how one can view certain models in regularity structures as some form of geometric rough paths. This is performed by identifying the deformed Butcher-Connes-Kreimer Hopf algebra with a quotient of the shuffle Hopf algebra which is the structure underlying the definition of a geometric rough path. This provides an extension of the isomorphism between the Butcher-Connes-Kreime…
▽ More
In this paper, we show how one can view certain models in regularity structures as some form of geometric rough paths. This is performed by identifying the deformed Butcher-Connes-Kreimer Hopf algebra with a quotient of the shuffle Hopf algebra which is the structure underlying the definition of a geometric rough path. This provides an extension of the isomorphism between the Butcher-Connes-Kreimer Hopf algebra and the shuffle Hopf algebra. This new algebraic result relies strongly on the deformation formalism and the post-Lie structures introduced recently in the context of regularity structures.
△ Less
Submitted 11 March, 2023; v1 submitted 14 January, 2023;
originally announced January 2023.
-
Diagram-free approach for convergence of tree-based models in Regularity Structures
Authors:
Yvain Bruned,
Usama Nadeem
Abstract:
In this work, we translate at the level of decorated trees some of the crucial arguments which have been used in arXiv:2112.10739 for proposing a diagram-free approach for the convergence of the model in Regularity Structures. This allows us to broaden the perspective and enlarge the scope of singular SPDEs covered by this approach. It also sheds new light on algebraic structures introduced in the…
▽ More
In this work, we translate at the level of decorated trees some of the crucial arguments which have been used in arXiv:2112.10739 for proposing a diagram-free approach for the convergence of the model in Regularity Structures. This allows us to broaden the perspective and enlarge the scope of singular SPDEs covered by this approach. It also sheds new light on algebraic structures introduced in the foundational paper of Martin Hairer on Regularity structures which was used later for recursively described renormalised models.
△ Less
Submitted 4 October, 2023; v1 submitted 21 November, 2022;
originally announced November 2022.
-
Post-Lie algebras in Regularity Structures
Authors:
Yvain Bruned,
Foivos Katsetsiadis
Abstract:
In this work, we construct the deformed Butcher-Connes-Kreimer Hopf algebra coming from the theory of Regularity Structures as the universal envelope of a post-Lie algebra. We show that this can be done using either of the two combinatorial structures that have been proposed in the context of singular SPDEs: decorated trees and multi-indices. Our construction is inspired from multi-indices where t…
▽ More
In this work, we construct the deformed Butcher-Connes-Kreimer Hopf algebra coming from the theory of Regularity Structures as the universal envelope of a post-Lie algebra. We show that this can be done using either of the two combinatorial structures that have been proposed in the context of singular SPDEs: decorated trees and multi-indices. Our construction is inspired from multi-indices where the Hopf algebra was obtained as the universal envelope of a Lie algebra and it has been proved that one can find a basis that is symmetric with respect to certain elements. We show that this Lie algebra comes from an underlying post-Lie structure.
△ Less
Submitted 5 July, 2023; v1 submitted 31 July, 2022;
originally announced August 2022.
-
Convergence of space-discretised gKPZ via Regularity Structures
Authors:
Yvain Bruned,
Usama Nadeem
Abstract:
In this work, we show a convergence result for the discrete formulation of the generalised KPZ equation $\partial_t u = (Δu) + g(u)(\nabla u)^2 + k(\nabla u) + h(u) + f(u)ξ_t(x)$, where the $ξ$ is a real-valued random field, $Δ$ is the discrete Laplacian, and $\nabla$ is a discrete gradient, without fixing the spatial dimension. Our convergence result is established within the discrete regularity…
▽ More
In this work, we show a convergence result for the discrete formulation of the generalised KPZ equation $\partial_t u = (Δu) + g(u)(\nabla u)^2 + k(\nabla u) + h(u) + f(u)ξ_t(x)$, where the $ξ$ is a real-valued random field, $Δ$ is the discrete Laplacian, and $\nabla$ is a discrete gradient, without fixing the spatial dimension. Our convergence result is established within the discrete regularity structures introduced by Hairer and Erhard [arXiv:1705.02836]. We extend with new ideas the convergence result found in [arXiv:2103.13479] that deals with a discrete form of the Parabolic Anderson model driven by a (rescaled) symmetric simple exclusion process. This is the first time that a discrete generalised KPZ equation is treated and it is a major step toward a general convergence result that will cover a large family of discrete models.
△ Less
Submitted 31 October, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Approximations of dispersive PDEs in the presence of low-regularity randomness
Authors:
Yvonne Alama Bronsard,
Yvain Bruned,
Katharina Schratz
Abstract:
We introduce a new class of numerical schemes which allow for low regularity approximations to the expectation $ \mathbb{E}(|u_{k}(τ, v^η)|^2)$, where $u_k$ denotes the $k$-th Fourier coefficient of the solution $u$ of the dispersive equation and $ v^η(x) $ the associated random initial data. This quantity plays an important role in physics, in particular in the study of wave turbulence where one…
▽ More
We introduce a new class of numerical schemes which allow for low regularity approximations to the expectation $ \mathbb{E}(|u_{k}(τ, v^η)|^2)$, where $u_k$ denotes the $k$-th Fourier coefficient of the solution $u$ of the dispersive equation and $ v^η(x) $ the associated random initial data. This quantity plays an important role in physics, in particular in the study of wave turbulence where one needs to adopt a statistical approach in order to obtain deep insight into the generic long-time behaviour of solutions to dispersive equations. Our new class of schemes is based on Wick's theorem and Feynman diagrams together with a resonance based discretisation (see arXiv:2005.01649) set in a more general context: we introduce a novel combinatorial structure called paired decorated forests which are two decorated trees whose decorations on the leaves come in pair. The character of the scheme draws its inspiration from the treatment of singular stochastic partial differential equations via Regularity Structures. In contrast to classical approaches, we do not discretize the PDE itself, but rather its expectation. This allows us to heavily exploit the optimal resonance structure and underlying gain in regularity on the finite dimensional (discrete) level.
△ Less
Submitted 24 July, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Low regularity integrators via decorated trees
Authors:
Yvonne Alama Bronsard,
Yvain Bruned,
Katharina Schratz
Abstract:
We introduce a general framework of low regularity integrators which allows us to approximate the time dynamics of a large class of equations, including parabolic and hyperbolic problems, as well as dispersive equations, up to arbitrary high order on general domains. The structure of the local error of the new schemes is driven by nested commutators which in general require (much) lower regularity…
▽ More
We introduce a general framework of low regularity integrators which allows us to approximate the time dynamics of a large class of equations, including parabolic and hyperbolic problems, as well as dispersive equations, up to arbitrary high order on general domains. The structure of the local error of the new schemes is driven by nested commutators which in general require (much) lower regularity assumptions than classical methods do. Our main idea lies in embedding the central oscillations of the nonlinear PDE into the numerical discretisation. The latter is achieved by a novel decorated tree formalism inspired by singular SPDEs with Regularity Structures and allows us to control the nonlinear interactions in the system up to arbitrary high order on the infinite dimensional (continuous) as well as finite dimensional (discrete) level.
△ Less
Submitted 9 March, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
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.
-
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.
-
Ramification of Volterra-type Rough Paths
Authors:
Yvain Bruned,
Foivos Katsetsiadis
Abstract:
We extend the new approach introduced in arXiv:1912.02064v2 [math.PR] and arXiv:2102.10119v1 [math.PR] for dealing with stochastic Volterra equations using the ideas of Rough Path theory and prove global existence and uniqueness results. The main idea of this approach is simple: Instead of the iterated integrals of a path comprising the data necessary to solve any equation driven by that path, now…
▽ More
We extend the new approach introduced in arXiv:1912.02064v2 [math.PR] and arXiv:2102.10119v1 [math.PR] for dealing with stochastic Volterra equations using the ideas of Rough Path theory and prove global existence and uniqueness results. The main idea of this approach is simple: Instead of the iterated integrals of a path comprising the data necessary to solve any equation driven by that path, now iterated integral convolutions with the Volterra kernel comprise said data. This leads to the corresponding abstract objects called Volterra-type Rough Paths, as well as the notion of the convolution product, an extension of the natural tensor product used in Rough Path Theory.
△ Less
Submitted 19 December, 2022; v1 submitted 7 May, 2021;
originally announced May 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.
-
Algebraic deformation for (S)PDEs
Authors:
Yvain Bruned,
Dominique Manchon
Abstract:
We introduce a new algebraic framework based on the deformation of pre-Lie products. This allows us to provide a new construction of the algebraic objects at play in Regularity Structures in the work arXiv:1610.08468 and in arXiv:2005.01649 for deriving a general scheme for dispersive PDEs at low regularity. This construction also explains how the algebraic structure in arXiv:1610.08468 can be vie…
▽ More
We introduce a new algebraic framework based on the deformation of pre-Lie products. This allows us to provide a new construction of the algebraic objects at play in Regularity Structures in the work arXiv:1610.08468 and in arXiv:2005.01649 for deriving a general scheme for dispersive PDEs at low regularity. This construction also explains how the algebraic structure in arXiv:1610.08468 can be viewed as a deformation of the Butcher-Connes-Kreimer and the extraction-contraction Hopf algebras. We start by deforming various pre-Lie products via a Taylor deformation and then we apply the Guin-Oudom procedure which gives us an associative product whose adjoint can be compared with known coproducts. This work reveals that pre-Lie products and their deformation can be a central object in the study of (S)PDEs.
△ Less
Submitted 6 April, 2022; v1 submitted 11 November, 2020;
originally announced November 2020.
-
Renormalisation from non-geometric to geometric rough paths
Authors:
Yvain Bruned
Abstract:
The Hairer-Kelly map has been introduced for establishing a correspondence between geometric and non-geometric rough paths. Recently, a new renormalisation on rough paths has been proposed in (arxiv 1810.12179), built on this map and the Lyons-Victoir extension theorem. In this work, we compare this renormalisation with the existing ones such as BPHZ and the local products renormalisations. We pro…
▽ More
The Hairer-Kelly map has been introduced for establishing a correspondence between geometric and non-geometric rough paths. Recently, a new renormalisation on rough paths has been proposed in (arxiv 1810.12179), built on this map and the Lyons-Victoir extension theorem. In this work, we compare this renormalisation with the existing ones such as BPHZ and the local products renormalisations. We prove that they commute in a certain sense with the Hairer-Kelly map and exhibit an explicit formula in the framework of (arxiv 1810.12179). We also see how the renormalisation behaves in the alternative approach in ( arXiv:1712.01965) for moving from non-geometric to geometric rough paths.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Bogoliubov type recursions for renormalisation in regularity structures
Authors:
Yvain Bruned,
Kurusch Ebrahimi-Fard
Abstract:
Hairer's regularity structures transformed the solution theory of singular stochastic partial differential equations. The notions of positive and negative renormalisation are central and the intricate interplay between these two renormalisation procedures is captured through the combination of cointeracting bialgebras and an algebraic Birkhoff-type decomposition of bialgebra morphisms. This work r…
▽ More
Hairer's regularity structures transformed the solution theory of singular stochastic partial differential equations. The notions of positive and negative renormalisation are central and the intricate interplay between these two renormalisation procedures is captured through the combination of cointeracting bialgebras and an algebraic Birkhoff-type decomposition of bialgebra morphisms. This work revisits the latter by defining Bogoliubov-type recursions similar to Connes and Kreimer's formulation of BPHZ renormalisation. We then apply our approach to the renormalisation problem for SPDEs.
△ Less
Submitted 28 September, 2022; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Resonance based schemes for dispersive equations via decorated trees
Authors:
Yvain Bruned,
Katharina Schratz
Abstract:
We introduce a numerical framework for dispersive equations embedding their underlying resonance structure into the discretisation. This will allow us to resolve the nonlinear oscillations of the PDE and to approximate with high order accuracy a large class of equations under lower regularity assumptions than classical techniques require. The key idea to control the nonlinear frequency interaction…
▽ More
We introduce a numerical framework for dispersive equations embedding their underlying resonance structure into the discretisation. This will allow us to resolve the nonlinear oscillations of the PDE and to approximate with high order accuracy a large class of equations under lower regularity assumptions than classical techniques require. The key idea to control the nonlinear frequency interactions in the system up to arbitrary high order thereby lies in a tailored decorated tree formalism. Our algebraic structures are close to the ones developed for singular SPDEs with Regularity Structures. We adapt them to the context of dispersive PDEs by using a novel class of decorations {which encode the dominant frequencies}. The structure proposed in this paper is new and gives a variant of the Butcher-Connes-Kreimer Hopf algebra on decorated trees. We observe a similar Birkhoff type factorisation as in SPDEs and perturbative quantum field theory. This factorisation allows us to single out oscillations and to optimise the local error by map** it to the particular regularity of the solution. This use of the Birkhoff factorisation seems new in comparison to the literature. The field of singular SPDEs took advantage of numerical methods and renormalisation in perturbative quantum field theory by extending their structures via the adjunction of decorations and Taylor expansions. Now, through this work, Numerical Analysis is taking advantage of these extended structures and provides a new perspective on them.
△ Less
Submitted 26 October, 2021; v1 submitted 4 May, 2020;
originally announced May 2020.
-
BPHZ renormalisation and vanishing subcriticality asymptotics of the fractional $Φ^3_d$ model
Authors:
Nils Berglund,
Yvain Bruned
Abstract:
We consider stochastic PDEs on the $d$-dimensional torus with fractional Laplacian of parameter $ρ\in(0,2]$, quadratic nonlinearity and driven by space-time white noise. These equations are known to be locally subcritical, and thus amenable to the theory of regularity structures, if and only if $ρ> d/3$. Using a series of recent results by the second named author, A. Chandra, I. Chevyrev, M. Haire…
▽ More
We consider stochastic PDEs on the $d$-dimensional torus with fractional Laplacian of parameter $ρ\in(0,2]$, quadratic nonlinearity and driven by space-time white noise. These equations are known to be locally subcritical, and thus amenable to the theory of regularity structures, if and only if $ρ> d/3$. Using a series of recent results by the second named author, A. Chandra, I. Chevyrev, M. Hairer and L. Zambotti, we obtain precise asymptotics on the renormalisation counterterms as the mollification parameter $\varepsilon$ becomes small and $ρ$ approaches its critical value. In particular, we show that the counterterms behave like a negative power of $\varepsilon$ if $\varepsilon$ is superexponentially small in $(ρ-d/3)$, and are otherwise of order $\log(\varepsilon^{-1})$. This work also serves as an illustration of the general theory of BPHZ renormalisation in a relatively simple situation.
△ Less
Submitted 30 April, 2024; v1 submitted 30 July, 2019;
originally announced July 2019.
-
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.
-
Quasi-shuffle algebras and renormalisation of rough differential equations
Authors:
Yvain Bruned,
Charles Curry,
Kurusch Ebrahimi-Fard
Abstract:
The objective of this work is to compare several approaches to the process of renormalisation in the context of rough differential equations using the substitution bialgebra on rooted trees known from backward error analysis of $B$-series. For this purpose, we present a so-called arborification of the Hoffman--Ihara theory of quasi-shuffle algebra automorphisms. The latter are induced by formal po…
▽ More
The objective of this work is to compare several approaches to the process of renormalisation in the context of rough differential equations using the substitution bialgebra on rooted trees known from backward error analysis of $B$-series. For this purpose, we present a so-called arborification of the Hoffman--Ihara theory of quasi-shuffle algebra automorphisms. The latter are induced by formal power series, which can be seen to be special cases of the cointeraction of two Hopf algebra structures on rooted forests. In particular, the arborification of Hoffman's exponential map, which defines a Hopf algebra isomorphism between the shuffle and quasi-shuffle Hopf algebra, leads to a canonical renormalisation that coincides with Marcus' canonical extension for semimartingale driving signals. This is contrasted with the canonical geometric rough path of Hairer and Kelly by means of a recursive formula defined in terms of the coaction of the substitution bialgebra.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
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.
-
Recursive formulae in regularity structures
Authors:
Yvain Bruned
Abstract:
We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far with the theory of regularity structures and improves the renormalisation procedure based on Hopf algebras given in [BHZ16].
We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far with the theory of regularity structures and improves the renormalisation procedure based on Hopf algebras given in [BHZ16].
△ Less
Submitted 20 November, 2018; v1 submitted 29 October, 2017;
originally announced October 2017.
-
Examples of renormalized SDEs
Authors:
Yvain Bruned,
Ilya Chevyrev,
Peter K. Friz
Abstract:
We demonstrate two examples of stochastic processes whose lifts to geometric rough paths require a renormalisation procedure to obtain convergence in rough path topologies. Our first example involves a physical Brownian motion subject to a magnetic force which dominates over the friction forces in the small mass limit. Our second example involves a lead-lag process of discretised fractional Browni…
▽ More
We demonstrate two examples of stochastic processes whose lifts to geometric rough paths require a renormalisation procedure to obtain convergence in rough path topologies. Our first example involves a physical Brownian motion subject to a magnetic force which dominates over the friction forces in the small mass limit. Our second example involves a lead-lag process of discretised fractional Brownian motion with Hurst parameter $H \in (1/4,1/2)$, in which the stochastic area captures the quadratic variation of the process. In both examples, a renormalisation of the second iterated integral is needed to ensure convergence of the processes, and we comment on how this procedure mimics negative renormalisation arising in the study of singular SPDEs and regularity structures.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
A Rough Path Perspective on Renormalization
Authors:
Yvain Bruned,
Ilya Chevyrev,
Peter K. Friz,
Rosa Preiss
Abstract:
We develop the algebraic theory of rough path translation. Particular attention is given to the case of branched rough paths, whose underlying algebraic structure (Connes-Kreimer, Grossman-Larson) makes it a useful model case of a regularity structure in the sense of Hairer. Pre-Lie structures are seen to play a fundamental rule which allow a direct understanding of the translated (i.e. renormaliz…
▽ More
We develop the algebraic theory of rough path translation. Particular attention is given to the case of branched rough paths, whose underlying algebraic structure (Connes-Kreimer, Grossman-Larson) makes it a useful model case of a regularity structure in the sense of Hairer. Pre-Lie structures are seen to play a fundamental rule which allow a direct understanding of the translated (i.e. renormalized) equation under consideration. This construction is also novel with regard to the algebraic renormalization theory for regularity structures due to Bruned--Hairer--Zambotti (2016), the links with which are discussed in detail.
△ Less
Submitted 29 July, 2019; v1 submitted 4 January, 2017;
originally announced January 2017.
-
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.