B-series methods are exactly the affine equivariant methods

Abstract

Butcher series, also called B-series, are a type of expansion, fundamental in the analysis of numerical integration. Numerical methods that can be expanded in B-series are defined in all dimensions, so they correspond to \emph{sequences of maps}---one map for each dimension. A long-standing problem has been to characterise those sequences of maps that arise from B-series. This problem is solved here: we prove that a sequence of smooth maps between vector fields on affine spaces has a B-series expansion if and only if it is \emph{affine equivariant}, meaning it respects all affine maps between affine spaces.

Cited by in corpus (8)

• Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds
• The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators
• Integrators on homogeneous spaces: Isotropy choice and connections
• The geometry of characters of Hopf algebras
• Functional equivariance and conservation laws in numerical integration
• The universal equivariance properties of exotic aromatic B-series
• The incidence comodule bialgebra of the Baez-Dolan construction
• Hopf algebra structures for the backward error analysis of ergodic stochastic differential equations