-
High order integration of stochastic dynamics on Riemannian manifolds with frozen flow methods
Authors:
Eugen Bronasco,
Adrien Busnot Laurent,
Baptiste Huguet
Abstract:
We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In opposition to the popular approach with projection methods, the proposed methods are intrinsic: they only rely on geometric operations and avoid coordinates and embeddings. We provide a robust and general convergence anal…
▽ More
We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In opposition to the popular approach with projection methods, the proposed methods are intrinsic: they only rely on geometric operations and avoid coordinates and embeddings. We provide a robust and general convergence analysis and an algebraic formalism of exotic planar Butcher series for the computation of order conditions at any high order. To illustrate the methodology, an explicit method of second weak order is introduced, and several numerical experiments confirm the theoretical findings and extend the approach for the sampling of the invariant measure of Riemannian Langevin dynamics.
△ Less
Submitted 18 June, 2025; v1 submitted 27 March, 2025;
originally announced March 2025.
-
Butcher series for Hamiltonian Poisson integrators through symplectic groupoids
Authors:
Adrien Busnot Laurent,
Oscar Cosserat
Abstract:
We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, introduce a pre-Lie formalism of Butcher trees for the approximation of Hamilton-Jacobi solutions on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of…
▽ More
We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, introduce a pre-Lie formalism of Butcher trees for the approximation of Hamilton-Jacobi solutions on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.
△ Less
Submitted 21 May, 2025; v1 submitted 6 March, 2025;
originally announced March 2025.
-
Hopf algebra structures for the backward error analysis of ergodic stochastic differential equations
Authors:
Eugen Bronasco,
Adrien Laurent
Abstract:
While backward error analysis does not generalise straightforwardly to the strong and weak approximation of stochastic differential equations, it extends for the sampling of ergodic dynamics. The calculation of the modified equation relies on tedious calculations and there is no expression of the modified vector field, in opposition to the deterministic setting. We uncover in this paper the Hopf a…
▽ More
While backward error analysis does not generalise straightforwardly to the strong and weak approximation of stochastic differential equations, it extends for the sampling of ergodic dynamics. The calculation of the modified equation relies on tedious calculations and there is no expression of the modified vector field, in opposition to the deterministic setting. We uncover in this paper the Hopf algebra structures associated to the laws of composition and substitution of exotic aromatic S-series, relying on the new idea of clumping. We use these algebraic structures to provide the algebraic foundations of stochastic numerical analysis with S-series, as well as an explicit expression of the modified vector field as an exotic aromatic B-series.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Control theory and splitting methods
Authors:
Karine Beauchard,
Adrien Laurent,
Frédéric Marbach
Abstract:
Our goal is to highlight some of the deep links between numerical splitting methods and control theory. We consider evolution equations of the form $\dot{x} = f_0(x) + f_1(x)$, where $f_0$ encodes a non-reversible dynamic, so that one is interested in schemes only involving forward flows of $f_0$. In this context, a splitting method can be interpreted as a trajectory of the control-affine system…
▽ More
Our goal is to highlight some of the deep links between numerical splitting methods and control theory. We consider evolution equations of the form $\dot{x} = f_0(x) + f_1(x)$, where $f_0$ encodes a non-reversible dynamic, so that one is interested in schemes only involving forward flows of $f_0$. In this context, a splitting method can be interpreted as a trajectory of the control-affine system $\dot{x}(t)=f_0(x(t))+u(t)f_1(x(t))$, associated with a control~$u$ which is a finite sum of Dirac masses. The general goal is then to find a control such that the flow of $f_0 + u(t) f_1$ is as close as possible to the flow of $f_0+f_1$.
Using this interpretation and classical tools from control theory, we revisit well-known results concerning numerical splitting methods, and we prove a handful of new ones, with an emphasis on splittings with additional positivity conditions on the coefficients. First, we show that there exist numerical schemes of any arbitrary order involving only forward flows of $f_0$ if one allows complex coefficients for the flows of $f_1$. Equivalently, for complex-valued controls, we prove that the Lie algebra rank condition is equivalent to the small-time local controllability of a system. Second, for real-valued coefficients, we show that the well-known order restrictions are linked with so-called "bad" Lie brackets from control theory, which are known to yield obstructions to small-time local controllability. We use our recent basis of the free Lie algebra to precisely identify the conditions under which high-order methods exist.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
The Lie derivative and Noether's theorem on the aromatic bicomplex for the study of volume-preserving numerical integrators
Authors:
Adrien Laurent
Abstract:
The aromatic bicomplex is an algebraic tool based on aromatic Butcher trees and used in particular for the explicit description of volume-preserving affine-equivariant numerical integrators. The present work defines new tools inspired from variational calculus such as the Lie derivative, different concepts of symmetries, and Noether's theory in the context of aromatic forests. The approach allows…
▽ More
The aromatic bicomplex is an algebraic tool based on aromatic Butcher trees and used in particular for the explicit description of volume-preserving affine-equivariant numerical integrators. The present work defines new tools inspired from variational calculus such as the Lie derivative, different concepts of symmetries, and Noether's theory in the context of aromatic forests. The approach allows to draw a correspondence between aromatic volume-preserving methods and symmetries on the Euler-Lagrange complex, to write Noether's theorem in the aromatic context, and to describe the aromatic B-series of volume-preserving methods explicitly with the Lie derivative.
△ Less
Submitted 21 May, 2025; v1 submitted 16 July, 2023;
originally announced July 2023.
-
The universal equivariance properties of exotic aromatic B-series
Authors:
Adrien Laurent,
Hans Munthe-Kaas
Abstract:
The exotic aromatic Butcher series were originally introduced for the calculation of order conditions for the high order numerical integration of ergodic stochastic differential equations in $\mathbb{R}^d$ and on manifolds. We prove in this paper that exotic aromatic B-series satisfy a universal geometric property, namely that they are characterised by locality and equivariance with respect to ort…
▽ More
The exotic aromatic Butcher series were originally introduced for the calculation of order conditions for the high order numerical integration of ergodic stochastic differential equations in $\mathbb{R}^d$ and on manifolds. We prove in this paper that exotic aromatic B-series satisfy a universal geometric property, namely that they are characterised by locality and equivariance with respect to orthogonal changes of coordinates. This characterisation confirms that exotic aromatic B-series are a fundamental geometric object that naturally generalises aromatic B-series and B-series, as they share similar equivariance properties. In addition, we provide a classification of the main subsets of the exotic aromatic B-series, in particular the exotic B-series, using different equivariance properties. Along the analysis, we present a generalised definition of exotic aromatic trees, dual vector fields, and we explore the impact of degeneracies on the classification.
△ Less
Submitted 2 September, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators
Authors:
Adrien Laurent,
Robert I. McLachlan,
Hans Z. Munthe-Kaas,
Olivier Verdier
Abstract:
Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-preserving B-series method is the exact flow of the differential equation. The question was raised whether there exists a volume-preserving integrator that can be expanded as an aromatic B-series. In this work, we introduce…
▽ More
Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-preserving B-series method is the exact flow of the differential equation. The question was raised whether there exists a volume-preserving integrator that can be expanded as an aromatic B-series. In this work, we introduce a new algebraic tool, called the aromatic bicomplex, similar to the variational bicomplex in variational calculus. We prove the exactness of this bicomplex and use it to describe explicitly the key object in the study of volume-preserving integrators: the aromatic forms of vanishing divergence. The analysis provides us with a handful of new tools to study aromatic B-series, gives insights on the process of integration by parts of trees, and allows to describe explicitly the aromatic B-series of a volume-preserving integrator. In particular, we conclude that an aromatic Runge-Kutta method cannot preserve volume.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
A uniformly accurate scheme for the numerical integration of penalized Langevin dynamics
Authors:
Adrien Laurent
Abstract:
In molecular dynamics, penalized overdamped Langevin dynamics are used to model the motion of a set of particles that follow constraints up to a parameter $\varepsilon$. The most used schemes for simulating these dynamics are the Euler integrator in $\mathbb{R}^d$ and the constrained Euler integrator. Both have weak order one of accuracy, but work properly only in specific regimes depending on the…
▽ More
In molecular dynamics, penalized overdamped Langevin dynamics are used to model the motion of a set of particles that follow constraints up to a parameter $\varepsilon$. The most used schemes for simulating these dynamics are the Euler integrator in $\mathbb{R}^d$ and the constrained Euler integrator. Both have weak order one of accuracy, but work properly only in specific regimes depending on the size of the parameter $\varepsilon$. We propose in this paper a new consistent method with an accuracy independent of $\varepsilon$ for solving penalized dynamics on a manifold of any dimension. Moreover, this method converges to the constrained Euler scheme when $\varepsilon$ goes to zero. The numerical experiments confirm the theoretical findings, in the context of weak convergence and for the invariant measure, on a torus and on the orthogonal group in high dimension and high codimension.
△ Less
Submitted 31 August, 2022; v1 submitted 7 October, 2021;
originally announced October 2021.
-
Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds
Authors:
Adrien Laurent,
Gilles Vilmart
Abstract:
We derive a new methodology for the construction of high order integrators for sampling the invariant measure of ergodic stochastic differential equations with dynamics constrained on a manifold. We obtain the order conditions for sampling the invariant measure for a class of Runge-Kutta methods applied to the constrained overdamped Langevin equation. The analysis is valid for arbitrarily high ord…
▽ More
We derive a new methodology for the construction of high order integrators for sampling the invariant measure of ergodic stochastic differential equations with dynamics constrained on a manifold. We obtain the order conditions for sampling the invariant measure for a class of Runge-Kutta methods applied to the constrained overdamped Langevin equation. The analysis is valid for arbitrarily high order and relies on an extension of the exotic aromatic Butcher-series formalism. To illustrate the methodology, a method of order two is introduced, and numerical experiments on the sphere, the torus and the special linear group confirm the theoretical findings.
△ Less
Submitted 26 January, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Multirevolution integrators for differential equations with fast stochastic oscillations
Authors:
Adrien Laurent,
Gilles Vilmart
Abstract:
We introduce a new methodology based on the multirevolution idea for constructing integrators for stochastic differential equations in the situation where the fast oscillations themselves are driven by a Stratonovich noise. Applications include in particular highly-oscillatory Kubo oscillators and spatial discretizations of the nonlinear Schrödinger equation with fast white noise dispersion. We co…
▽ More
We introduce a new methodology based on the multirevolution idea for constructing integrators for stochastic differential equations in the situation where the fast oscillations themselves are driven by a Stratonovich noise. Applications include in particular highly-oscillatory Kubo oscillators and spatial discretizations of the nonlinear Schrödinger equation with fast white noise dispersion. We construct a method of weak order two with computational cost and accuracy both independent of the stiffness of the oscillations. A geometric modification that conserves exactly quadratic invariants is also presented.
△ Less
Submitted 5 October, 2019; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs
Authors:
Adrien Laurent,
Gilles Vilmart
Abstract:
We introduce a new algebraic framework based on a modification (called exotic) of aromatic Butcher-series for the systematic study of the accuracy of numerical integrators for the invariant measure of a class of ergodic stochastic differential equations (SDEs) with additive noise. The proposed analysis covers Runge-Kutta type schemes including the cases of partitioned methods and postprocessed met…
▽ More
We introduce a new algebraic framework based on a modification (called exotic) of aromatic Butcher-series for the systematic study of the accuracy of numerical integrators for the invariant measure of a class of ergodic stochastic differential equations (SDEs) with additive noise. The proposed analysis covers Runge-Kutta type schemes including the cases of partitioned methods and postprocessed methods. We also show that the introduced exotic aromatic B-series satisfy an isometric equivariance property.
△ Less
Submitted 1 July, 2019; v1 submitted 10 July, 2017;
originally announced July 2017.
-
Negative refraction and tiling billiards
Authors:
Diana Davis,
Kelsey DiPietro,
Jenny Rustad,
Alexander St Laurent
Abstract:
We introduce a new dynamical system that we call "tiling billiards," where trajectories refract through planar tilings. This system is motivated by a recent discovery of physical substances with negative indices of refraction. We investigate several special cases where the planar tiling is created by dividing the plane by lines, and we describe the results of computer experiments.
We introduce a new dynamical system that we call "tiling billiards," where trajectories refract through planar tilings. This system is motivated by a recent discovery of physical substances with negative indices of refraction. We investigate several special cases where the planar tiling is created by dividing the plane by lines, and we describe the results of computer experiments.
△ Less
Submitted 20 September, 2017; v1 submitted 6 February, 2015;
originally announced February 2015.
