The free tracial post-Lie-Rinehart algebra of planar aromatic trees for the design of divergence-free Lie-group methods

Adrien Busnot Laurent; Hans Munthe-Kaas; Venkatesh G. S

arxiv: 2603.28437 · v2 · submitted 2026-03-30 · 🧮 math.RA · cs.NA· math.CO· math.DG· math.NA

The free tracial post-Lie-Rinehart algebra of planar aromatic trees for the design of divergence-free Lie-group methods

Adrien Busnot Laurent , Hans Munthe-Kaas , Venkatesh G. S This is my paper

Pith reviewed 2026-05-14 00:41 UTC · model grok-4.3

classification 🧮 math.RA cs.NAmath.COmath.DGmath.NA

keywords planar aromatic treespost-Lie-Rinehart algebradivergence-free integratorsLie-group methodsButcher seriesnumerical integration on manifoldstracial algebrasvolume preservation

0 comments

The pith

Planar aromatic trees span the free tracial post-Lie-Rinehart algebra and yield high-order divergence-free Lie-group integrators on manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper generalizes aromatic trees, previously used for volume-preserving integrators in Euclidean space, by introducing planar aromatic trees suited to manifolds. It proves these trees span the free tracial post-Lie-Rinehart algebra, supplying the algebraic structure needed to build Butcher-type series. These series translate into new Lie-group methods that preserve geometric divergence-free properties to high orders of accuracy. The result matters for simulating systems on curved spaces where volume or divergence must remain invariant under the flow.

Core claim

Planar aromatic trees span the free tracial post-Lie-Rinehart algebra. This algebraic identification is used to derive new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy when integrating differential equations on manifolds.

What carries the argument

Planar aromatic trees, combinatorial objects that span the free tracial post-Lie-Rinehart algebra and generate the associated Butcher-type series for manifold integrators.

If this is right

New Lie-group integrators can be constructed from planar aromatic tree series for differential equations on manifolds.
These methods preserve geometric divergence-free features to arbitrarily high order by matching terms in the algebra.
Butcher-type expansions based on the trees converge to flows that respect the manifold geometry and divergence condition.
The approach extends volume preservation techniques from flat Euclidean space to general Lie-group settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same trees may supply a basis for comparing different geometric integrators on manifolds beyond the divergence-free case.
Numerical experiments on the sphere or other compact manifolds could directly measure the observed order of divergence preservation.
The algebraic structure might link to existing post-Lie algebra methods for rigid-body or Lie-Poisson systems.

Load-bearing premise

The combinatorial definition of planar aromatic trees generates the free tracial post-Lie-Rinehart algebra and the resulting series produce convergent numerical integrators that preserve divergence-free properties on manifolds.

What would settle it

A concrete linear dependence among planar aromatic trees that contradicts the claimed freeness of the algebra, or a numerical test on a simple manifold where a derived integrator loses the divergence-free property at an order lower than predicted.

read the original abstract

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, prove that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper introduces planar aromatic trees as the basis for the free tracial post-Lie-Rinehart algebra and uses them to construct divergence-free integrators on Lie groups, but the freeness proof is the part that needs verification.

read the letter

The main thing to know is that this paper moves from aromatic trees in the pre-Lie-Rinehart setting to planar aromatic trees for the post-Lie-Rinehart case, proves they span the free tracial version, and applies the construction to volume-preserving methods on Lie groups. That generalization from Euclidean space to manifolds is the concrete advance. It builds on the existing aromatic Butcher series work for divergence-free integrators and gives a combinatorial handle for generating methods that respect the geometric structure up to high order. The framing is clear enough that the link between the tree operations and the integrator design comes through without extra fluff. The paper does a reasonable job showing how the algebraic freeness translates into systematic Butcher-type series for the manifold case. If the proof holds, it supplies a basis that avoids ad-hoc adjustments for preservation properties. The soft spot is exactly the freeness claim. The abstract states that the planar trees span the free algebra, but the stress-test note correctly flags that this requires both satisfying the post-Lie-Rinehart axioms and the trace under grafting and bracket, plus showing there are no hidden linear relations among the trees. Closure under the operations is not the same as proving the universal property or exhibiting a faithful representation. Without the derivation steps, it is not possible to tell whether the manuscript actually establishes freeness or stops at defining a structure on the trees. That gap carries over to the integrator application: formal series can be written, but convergence and the precise order of divergence-free preservation on actual manifolds are not automatic. The abstract also gives no numerical examples or error bounds, so the practical performance remains untested in the summary. This work is aimed at people already working in geometric numerical integration on Lie groups and algebraic combinatorics for ODE solvers. Someone familiar with the pre-Lie aromatic tree papers will see the extension right away and could use the planar basis for further constructions. It deserves a serious referee because the topic is relevant inside the subfield and the move to post-Lie-Rinehart is non-routine, even though the proof details will need careful checking.

Referee Report

1 major / 1 minor

Summary. The paper introduces planar aromatic trees as a generalization of aromatic trees to the post-Lie-Rinehart setting. It claims to prove that these trees span the free tracial post-Lie-Rinehart algebra and applies the resulting Butcher-type series to construct Lie-group integrators that preserve divergence-free geometric features on manifolds to high order.

Significance. If the freeness result is established rigorously, the work supplies a combinatorial basis for systematic design of high-order volume-preserving Lie-group methods, extending the pre-Lie-Rinehart framework from Euclidean space to manifolds. The explicit tree operations and their algebraic closure provide a concrete tool for deriving integrators with verifiable geometric preservation properties.

major comments (1)

[Algebraic construction and freeness proof] The load-bearing claim that planar aromatic trees span the free tracial post-Lie-Rinehart algebra (rather than merely generating a quotient) requires both verification that the grafting, post-Lie bracket, Rinehart action and trace satisfy all axioms on the trees and an explicit demonstration that no unexpected linear relations hold among them. The manuscript verifies closure under the operations but does not exhibit the universal property (unique extension of maps from generators) or a faithful representation that would confirm freeness; this gap directly affects the subsequent derivation of convergent divergence-free integrators.

minor comments (1)

[Numerical application section] The transition from the algebraic series to numerical convergence on manifolds would benefit from a brief remark on the radius of convergence or an explicit truncation error bound.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for a more explicit treatment of the freeness property. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: The load-bearing claim that planar aromatic trees span the free tracial post-Lie-Rinehart algebra (rather than merely generating a quotient) requires both verification that the grafting, post-Lie bracket, Rinehart action and trace satisfy all axioms on the trees and an explicit demonstration that no unexpected linear relations hold among them. The manuscript verifies closure under the operations but does not exhibit the universal property (unique extension of maps from generators) or a faithful representation that would confirm freeness; this gap directly affects the subsequent derivation of convergent divergence-free integrators.

Authors: We agree that a fully rigorous proof of freeness must include the universal property. The manuscript verifies that the planar aromatic trees are closed under grafting, the post-Lie bracket, the Rinehart action and the trace, and that these operations satisfy the axioms of a tracial post-Lie-Rinehart algebra. To complete the argument, the revised version will contain an additional subsection that explicitly constructs the unique extension of any map from the generating vector fields and trace to an arbitrary target algebra. This extension is defined recursively on the trees by applying the target operations in the same order as the planar grafting and bracketing rules; uniqueness follows by induction on tree complexity. The planarity condition is used to show that no additional linear relations are forced beyond those required by the axioms, in contrast to the non-planar aromatic case. We believe this addition removes the gap and supports the subsequent convergence statements for the divergence-free integrators. The revision will be made. revision: yes

Circularity Check

0 steps flagged

No significant circularity; algebraic construction is self-contained

full rationale

The manuscript defines planar aromatic trees combinatorially, then states it proves they span the free tracial post-Lie-Rinehart algebra by verifying the operations and universal property directly on this new object. This proof is internal to the paper and does not reduce to a prior result by definition or by renaming. The subsequent Butcher-type series and Lie-group integrators are derived from the established algebra without fitting parameters to data or invoking self-citations as the sole justification for freeness. The cited prior work on aromatic trees (pre-Lie case) supplies context but is not load-bearing for the post-Lie claim or the numerical preservation statements. No equation or step collapses to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on prior results about aromatic trees forming the free tracial pre-Lie-Rinehart algebra and on the standard definitions of post-Lie-Rinehart algebras; the new planar aromatic trees are introduced without independent external verification.

axioms (2)

domain assumption Aromatic trees span the free tracial pre-Lie-Rinehart algebra
Invoked as the starting point for the generalization to the post-Lie case.
standard math Standard definitions and universal properties of pre-Lie-Rinehart and post-Lie-Rinehart algebras
Used throughout the algebraic construction.

invented entities (1)

planar aromatic trees no independent evidence
purpose: To generate the free tracial post-Lie-Rinehart algebra and produce divergence-free integrators on manifolds
New combinatorial object introduced in the paper.

pith-pipeline@v0.9.0 · 5437 in / 1337 out tokens · 45221 ms · 2026-05-14T00:41:16.219347+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce planar aromatic trees, prove that they span the free tracial post-Lie-Rinehart algebra
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the divergence map on (L,∇) in a tracial Lie-Rinehart pair (R,L,τ) is div(X)= (τ∘d)(X)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages · 1 internal anchor

[1]

M. J. H. Al-Kaabi, K. Ebrahimi-Fard, D. Manchon, and H. Z. Munthe-Kaas. Algebraic aspects of connections: From torsion, curvature, and post-Lie algebras to Gavrilov’s double exponential and special polynomials.Journal of Noncommutative Geometry, 19(1):297–335, 2023

work page 2023
[2]

C. Bai, L. Guo, and X. Ni. Nonabelian generalized Lax pairs, the classical Yang-Baxter equation and post-Lie algebras.Communications in Mathematical Physics, 297(2):553–596, 2010

work page 2010
[3]

Bogfjellmo

G. Bogfjellmo. Algebraic structure of aromatic B-series.J. Comput. Dyn., 6(2):199–222, 2019

work page 2019
[4]

Bogfjellmo, E

G. Bogfjellmo, E. Celledoni, R. I. McLachlan, B. Owren, and G. R. W. Quispel. Using aromas to search for preserved measures and integrals in Kahan’s method.Math. Comp., 93(348):1633–1653, 2024

work page 2024
[5]

Bronasco and A

E. Bronasco and A. Busnot Laurent. Hopf algebra structures for the backward error analysis of ergodic stochastic differential equations.Numer. Math., pages 1–61, 2026

work page 2026
[6]

Bronasco, A

E. Bronasco, A. Busnot Laurent, and B. Huguet. High order integration of stochastic dynamics on Riemannian manifolds with frozen-flow methods.arXiv:2503.21855, 2025. 21

work page arXiv 2025
[7]

Post-Hopfalgebroids, post-Lie-Rinehartalgebras and geometric numerical integration.arXiv:2512.21971, 2025

A. Busnot Laurent, Y. Li, and Y. Sheng. Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration.arXiv:2512.21971, 2025

work page arXiv 2025
[8]

J. C. Butcher. Coefficients for the study of Runge-Kutta integration processes.J. Austral. Math. Soc., 3:185–201, 1963

work page 1963
[9]

J. C. Butcher. The effective order of Runge-Kutta methods. InConf. on Numerical Solution of Differential Equations (Dundee, 1969), pages 133–139. Springer, Berlin, 1969

work page 1969
[10]

J. C. Butcher. An algebraic theory of integration methods.Math. Comp., 26:79–106, 1972

work page 1972
[11]

Calaque, K

D. Calaque, K. Ebrahimi-Fard, and D. Manchon. Two interacting Hopf algebras of trees: a Hopf-algebraic approach to composition and substitution of B-series.Adv. in Appl. Math., 47(2):282–308, 2011

work page 2011
[12]

Celledoni, A

E. Celledoni, A. Marthinsen, and B. Owren. Commutator-free Lie group methods.Future Generation Computer Systems, 19(3):341–352, 2003

work page 2003
[13]

Chartier, E

P. Chartier, E. Hairer, and G. Vilmart. A substitution law for B-series vector fields. Re- search Report RR-5498, INRIA, 2005

work page 2005
[14]

Chartier, E

P. Chartier, E. Hairer, and G. Vilmart. Algebraic structures of B-series.Found. Comput. Math., 10(4):407–427, 2010

work page 2010
[15]

Chartier and A

P. Chartier and A. Murua. Preserving first integrals and volume forms of additively split systems.IMA J. Numer. Anal., 27(2):381–405, 2007

work page 2007
[16]

P. E. Crouch and R. Grossman. Numerical integration of ordinary differential equations on manifolds.Journal of Nonlinear Science, 3:1–33, 1993

work page 1993
[17]

Dotsenko and P

V. Dotsenko and P. Laubie. Volume preservation of Butcher series methods from the operad viewpoint.International Mathematics Research Notices, 2025(13):rnaf187, 2025

work page 2025
[18]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold, and H. Z. Munthe-Kaas. On the Lie enveloping algebra of a post-Lie algebra.J. Lie Theory, 25(4):1139–1165, 2015

work page 2015
[19]

Ebrahimi-Fard and L

K. Ebrahimi-Fard and L. Rahm. A survey on the Munthe-Kaas–Wright Hopf algebra. Journal of Computational Dynamics, 2024

work page 2024
[20]

Fløystad, D

G. Fløystad, D. Manchon, and H. Z. Munthe-Kaas. The universal pre-Lie-Rinehart alge- bras of aromatic trees. InGeometric and harmonic analysis on homogeneous spaces and applications, volume 366 ofSpringer Proc. Math. Stat., pages 137–159. Springer, Cham, [2021]©2021

work page 2021
[21]

Grong, H

E. Grong, H. Z. Munthe-Kaas, and J. Stava. Post-Lie algebra structure of manifolds with constant curvature and torsion.Journal of Lie Theory, 34(2):339–352, 2024

work page 2024
[22]

Lang, andY

L.Guo, H. Lang, andY. Sheng. Integration andgeometrization ofRota-Baxter Liealgebras. Advances in Mathematics, 387:107834, 2021

work page 2021
[23]

Hairer, C

E. Hairer, C. Lubich, and G. Wanner.Geometric numerical integration, volume 31 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin, second edition,

work page
[24]

Structure-preserving algorithms for ordinary differential equations. 22

work page
[25]

Iserles, H

A. Iserles, H. Z. Munthe-Kaas, S. P. Nørsett, and A. Zanna. Lie-group methods. In Acta numerica, 2000, volume 9 ofActa Numer., pages 215–365. Cambridge Univ. Press, Cambridge, 2000

work page 2000
[26]

Iserles, G

A. Iserles, G. R. W. Quispel, and P. S. P. Tse. B-series methods cannot be volume- preserving.BIT Numer. Math., 47(2):351–378, 2007

work page 2007
[27]

Jacques, L

J.-D. Jacques and L. Zambotti. Post-Lie algebras of derivations and regularity structures. Submitted, arXiv:2306.02484, 2023

work page arXiv 2023
[28]

A. Laurent. The Lie derivative and Noether’s theorem on the aromatic bicomplex for the study of volume-preserving numerical integrators.J. Comput. Dyn., 11(1):10–22, 2024

work page 2024
[29]

Laurent, R

A. Laurent, R. I. McLachlan, H. Z. Munthe-Kaas, and O. Verdier. The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators. Forum Math. Sigma, 11:Paper No. e69, 2023

work page 2023
[30]

Laurent and H

A. Laurent and H. Munthe-Kaas. The universal equivariance properties of exotic aromatic B-series.Found. Comput. Math., 25(5):1595–1626, 2025

work page 2025
[31]

Laurent and G

A. Laurent and G. Vilmart. Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs.Math. Comp., 89(321):169–202, 2020

work page 2020
[32]

Laurent and G

A. Laurent and G. Vilmart. Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds.Found. Comput. Math., 22(3):649–695, 2022

work page 2022
[33]

J. M. Lee.Introduction to Riemannian manifolds, volume 176 ofGraduate Texts in Math- ematics. Springer, Cham, second edition, 2018

work page 2018
[34]

Y. Li, Y. Sheng, and R. Tang. Post-Hopf algebras, relative Rota–Baxter operators and solutions to the Yang–Baxter equation.Journal of Noncommutative Geometry, 18(2):605– 630, 2023

work page 2023
[35]

Lundervold and H

A. Lundervold and H. Munthe-Kaas. Hopf algebras of formal diffeomorphisms and numeri- cal integration on manifolds. InCombinatorics and physics, volume 539 ofContemp. Math., pages 295–324. Amer. Math. Soc., Providence, RI, 2011

work page 2011
[36]

Lundervold and H

A. Lundervold and H. Munthe-Kaas. Backward error analysis and the substitution law for Lie group integrators.Found. Comput. Math., 13(2):161–186, 2013

work page 2013
[37]

R. I. McLachlan, K. Modin, H. Munthe-Kaas, and O. Verdier. B-series methods are exactly the affine equivariant methods.Numer. Math., 133(3):599–622, 2016

work page 2016
[38]

J. W. Milnor and J. C. Moore. On the structure of Hopf algebras.Annals of Mathematics, 81(2):211–264, 1965

work page 1965
[39]

Munthe-Kaas

H. Munthe-Kaas. Lie-Butcher theory for Runge-Kutta methods.BIT Numer. Math., 35:572–587, 1995

work page 1995
[40]

Munthe-Kaas

H. Munthe-Kaas. Runge-Kutta methods on Lie groups.BIT Numer. Math., 38:92–111, 1998

work page 1998
[41]

Munthe-Kaas

H. Munthe-Kaas. High order Runge-Kutta methods on manifolds.Applied Numerical Mathematics, 29(1):115–127, 1999. 23

work page 1999
[42]

Munthe-Kaas

H. Munthe-Kaas. Geometric integration on symmetric spaces.J. Comput. Dyn., 11(1):43– 58, 2024

work page 2024
[43]

Munthe-Kaas and O

H. Munthe-Kaas and O. Verdier. Aromatic Butcher series.Found. Comput. Math., 16(1):183–215, 2016

work page 2016
[44]

Munthe-Kaas and A

H. Munthe-Kaas and A. Zanna. Numerical integration of differential equations on homo- geneous manifolds. InFoundations of Computational Mathematics: Selected Papers of a Conference Held at Rio de Janeiro, January 1997, pages 305–315. Springer, 1997

work page 1997
[45]

H. Z. Munthe-Kaas and A. Lundervold. On post-Lie algebras, Lie–Butcher series and moving frames.Found. Comput. Math., 13:583–613, 2013

work page 2013
[46]

H. Z. Munthe-Kaas, A. Stern, and O. Verdier. Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds.SIAM Journal on Applied Algebra and Geometry, 4(1):49–68, 2020

work page 2020
[47]

H. Z. Munthe-Kaas and W. M. Wright. On the Hopf algebraic structure of Lie group integrators.Found. Comput. Math., 8(2):227–257, 2008

work page 2008
[48]

K. Nomizu. Invariant affine connections on homogeneous spaces.American Journal of Mathematics, 76(1):33–65, 1954

work page 1954
[49]

Oudom and D

J.-M. Oudom and D. Guin. On the Lie enveloping algebra of a pre-Lie algebra.J. K-Theory, 2(1):147–167, 2008

work page 2008
[50]

B. Owren. Order conditions for commutator-free Lie group methods.Journal of Physics A: Mathematical and General, 39(19):5585, 2006

work page 2006
[51]

Owren and A

B. Owren and A. Marthinsen. Runge-Kutta methods adapted to manifolds and based on rigid frames.BIT Numer. Math., 39(1):116–142, 1999

work page 1999
[52]

G. R. W. Quispel. Volume-preserving integrators.Phys. Lett. A, 206(1-2):26–30, 1995

work page 1995
[53]

L. Rahm. An operadic approach to substitution in Lie-Butcher series.Forum Math. Sigma, 10:Paper No. e20, 29, 2022

work page 2022
[54]

L. Rahm. The universal post-Lie-Rinehart algebra of planar aromatic trees.arXiv preprint arXiv:2601.18528, 2026

work page arXiv 2026
[55]

Z. J. Shang. Construction of volume-preserving difference schemes for source-free systems via generating functions.J. Comput. Math., 12(3):265–272, 1994

work page 1994
[56]

J. Stava. The connection algebra of reductive homogeneous spaces.arXiv preprint arXiv:2310.08310, 2023

work page arXiv 2023
[57]

Stava.On connection algebras of symmetric spaces and reductive homogeneous spaces

J. Stava.On connection algebras of symmetric spaces and reductive homogeneous spaces. PhD thesis, University of Bergen, 2024

work page 2024
[58]

Vallette

B. Vallette. Homology of generalized partition posets.Journal of Pure and Applied Algebra, 208(2):699–725, 2007

work page 2007
[59]

Aromatic and clumped multi-indices: algebraic structure and Hopf embeddings

Z. Zhu and A. B. Laurent. Aromatic and clumped multi-indices: algebraic structure and Hopf embeddings.arXiv preprint arXiv:2603.13105, 2026. 24 Appendices A Additional background on Lie–Rinehart algebras This appendix collects background material on Lie–Rinehart algebras and related geometric constructions that is not required for the main development, bu...

work page internal anchor Pith review Pith/arXiv arXiv 2026

[1] [1]

M. J. H. Al-Kaabi, K. Ebrahimi-Fard, D. Manchon, and H. Z. Munthe-Kaas. Algebraic aspects of connections: From torsion, curvature, and post-Lie algebras to Gavrilov’s double exponential and special polynomials.Journal of Noncommutative Geometry, 19(1):297–335, 2023

work page 2023

[2] [2]

C. Bai, L. Guo, and X. Ni. Nonabelian generalized Lax pairs, the classical Yang-Baxter equation and post-Lie algebras.Communications in Mathematical Physics, 297(2):553–596, 2010

work page 2010

[3] [3]

Bogfjellmo

G. Bogfjellmo. Algebraic structure of aromatic B-series.J. Comput. Dyn., 6(2):199–222, 2019

work page 2019

[4] [4]

Bogfjellmo, E

G. Bogfjellmo, E. Celledoni, R. I. McLachlan, B. Owren, and G. R. W. Quispel. Using aromas to search for preserved measures and integrals in Kahan’s method.Math. Comp., 93(348):1633–1653, 2024

work page 2024

[5] [5]

Bronasco and A

E. Bronasco and A. Busnot Laurent. Hopf algebra structures for the backward error analysis of ergodic stochastic differential equations.Numer. Math., pages 1–61, 2026

work page 2026

[6] [6]

Bronasco, A

E. Bronasco, A. Busnot Laurent, and B. Huguet. High order integration of stochastic dynamics on Riemannian manifolds with frozen-flow methods.arXiv:2503.21855, 2025. 21

work page arXiv 2025

[7] [7]

Post-Hopfalgebroids, post-Lie-Rinehartalgebras and geometric numerical integration.arXiv:2512.21971, 2025

A. Busnot Laurent, Y. Li, and Y. Sheng. Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration.arXiv:2512.21971, 2025

work page arXiv 2025

[8] [8]

J. C. Butcher. Coefficients for the study of Runge-Kutta integration processes.J. Austral. Math. Soc., 3:185–201, 1963

work page 1963

[9] [9]

J. C. Butcher. The effective order of Runge-Kutta methods. InConf. on Numerical Solution of Differential Equations (Dundee, 1969), pages 133–139. Springer, Berlin, 1969

work page 1969

[10] [10]

J. C. Butcher. An algebraic theory of integration methods.Math. Comp., 26:79–106, 1972

work page 1972

[11] [11]

Calaque, K

D. Calaque, K. Ebrahimi-Fard, and D. Manchon. Two interacting Hopf algebras of trees: a Hopf-algebraic approach to composition and substitution of B-series.Adv. in Appl. Math., 47(2):282–308, 2011

work page 2011

[12] [12]

Celledoni, A

E. Celledoni, A. Marthinsen, and B. Owren. Commutator-free Lie group methods.Future Generation Computer Systems, 19(3):341–352, 2003

work page 2003

[13] [13]

Chartier, E

P. Chartier, E. Hairer, and G. Vilmart. A substitution law for B-series vector fields. Re- search Report RR-5498, INRIA, 2005

work page 2005

[14] [14]

Chartier, E

P. Chartier, E. Hairer, and G. Vilmart. Algebraic structures of B-series.Found. Comput. Math., 10(4):407–427, 2010

work page 2010

[15] [15]

Chartier and A

P. Chartier and A. Murua. Preserving first integrals and volume forms of additively split systems.IMA J. Numer. Anal., 27(2):381–405, 2007

work page 2007

[16] [16]

P. E. Crouch and R. Grossman. Numerical integration of ordinary differential equations on manifolds.Journal of Nonlinear Science, 3:1–33, 1993

work page 1993

[17] [17]

Dotsenko and P

V. Dotsenko and P. Laubie. Volume preservation of Butcher series methods from the operad viewpoint.International Mathematics Research Notices, 2025(13):rnaf187, 2025

work page 2025

[18] [18]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold, and H. Z. Munthe-Kaas. On the Lie enveloping algebra of a post-Lie algebra.J. Lie Theory, 25(4):1139–1165, 2015

work page 2015

[19] [19]

Ebrahimi-Fard and L

K. Ebrahimi-Fard and L. Rahm. A survey on the Munthe-Kaas–Wright Hopf algebra. Journal of Computational Dynamics, 2024

work page 2024

[20] [20]

Fløystad, D

G. Fløystad, D. Manchon, and H. Z. Munthe-Kaas. The universal pre-Lie-Rinehart alge- bras of aromatic trees. InGeometric and harmonic analysis on homogeneous spaces and applications, volume 366 ofSpringer Proc. Math. Stat., pages 137–159. Springer, Cham, [2021]©2021

work page 2021

[21] [21]

Grong, H

E. Grong, H. Z. Munthe-Kaas, and J. Stava. Post-Lie algebra structure of manifolds with constant curvature and torsion.Journal of Lie Theory, 34(2):339–352, 2024

work page 2024

[22] [22]

Lang, andY

L.Guo, H. Lang, andY. Sheng. Integration andgeometrization ofRota-Baxter Liealgebras. Advances in Mathematics, 387:107834, 2021

work page 2021

[23] [23]

Hairer, C

E. Hairer, C. Lubich, and G. Wanner.Geometric numerical integration, volume 31 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin, second edition,

work page

[24] [24]

Structure-preserving algorithms for ordinary differential equations. 22

work page

[25] [25]

Iserles, H

A. Iserles, H. Z. Munthe-Kaas, S. P. Nørsett, and A. Zanna. Lie-group methods. In Acta numerica, 2000, volume 9 ofActa Numer., pages 215–365. Cambridge Univ. Press, Cambridge, 2000

work page 2000

[26] [26]

Iserles, G

A. Iserles, G. R. W. Quispel, and P. S. P. Tse. B-series methods cannot be volume- preserving.BIT Numer. Math., 47(2):351–378, 2007

work page 2007

[27] [27]

Jacques, L

J.-D. Jacques and L. Zambotti. Post-Lie algebras of derivations and regularity structures. Submitted, arXiv:2306.02484, 2023

work page arXiv 2023

[28] [28]

A. Laurent. The Lie derivative and Noether’s theorem on the aromatic bicomplex for the study of volume-preserving numerical integrators.J. Comput. Dyn., 11(1):10–22, 2024

work page 2024

[29] [29]

Laurent, R

A. Laurent, R. I. McLachlan, H. Z. Munthe-Kaas, and O. Verdier. The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators. Forum Math. Sigma, 11:Paper No. e69, 2023

work page 2023

[30] [30]

Laurent and H

A. Laurent and H. Munthe-Kaas. The universal equivariance properties of exotic aromatic B-series.Found. Comput. Math., 25(5):1595–1626, 2025

work page 2025

[31] [31]

Laurent and G

A. Laurent and G. Vilmart. Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs.Math. Comp., 89(321):169–202, 2020

work page 2020

[32] [32]

Laurent and G

A. Laurent and G. Vilmart. Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds.Found. Comput. Math., 22(3):649–695, 2022

work page 2022

[33] [33]

J. M. Lee.Introduction to Riemannian manifolds, volume 176 ofGraduate Texts in Math- ematics. Springer, Cham, second edition, 2018

work page 2018

[34] [34]

Y. Li, Y. Sheng, and R. Tang. Post-Hopf algebras, relative Rota–Baxter operators and solutions to the Yang–Baxter equation.Journal of Noncommutative Geometry, 18(2):605– 630, 2023

work page 2023

[35] [35]

Lundervold and H

A. Lundervold and H. Munthe-Kaas. Hopf algebras of formal diffeomorphisms and numeri- cal integration on manifolds. InCombinatorics and physics, volume 539 ofContemp. Math., pages 295–324. Amer. Math. Soc., Providence, RI, 2011

work page 2011

[36] [36]

Lundervold and H

A. Lundervold and H. Munthe-Kaas. Backward error analysis and the substitution law for Lie group integrators.Found. Comput. Math., 13(2):161–186, 2013

work page 2013

[37] [37]

R. I. McLachlan, K. Modin, H. Munthe-Kaas, and O. Verdier. B-series methods are exactly the affine equivariant methods.Numer. Math., 133(3):599–622, 2016

work page 2016

[38] [38]

J. W. Milnor and J. C. Moore. On the structure of Hopf algebras.Annals of Mathematics, 81(2):211–264, 1965

work page 1965

[39] [39]

Munthe-Kaas

H. Munthe-Kaas. Lie-Butcher theory for Runge-Kutta methods.BIT Numer. Math., 35:572–587, 1995

work page 1995

[40] [40]

Munthe-Kaas

H. Munthe-Kaas. Runge-Kutta methods on Lie groups.BIT Numer. Math., 38:92–111, 1998

work page 1998

[41] [41]

Munthe-Kaas

H. Munthe-Kaas. High order Runge-Kutta methods on manifolds.Applied Numerical Mathematics, 29(1):115–127, 1999. 23

work page 1999

[42] [42]

Munthe-Kaas

H. Munthe-Kaas. Geometric integration on symmetric spaces.J. Comput. Dyn., 11(1):43– 58, 2024

work page 2024

[43] [43]

Munthe-Kaas and O

H. Munthe-Kaas and O. Verdier. Aromatic Butcher series.Found. Comput. Math., 16(1):183–215, 2016

work page 2016

[44] [44]

Munthe-Kaas and A

H. Munthe-Kaas and A. Zanna. Numerical integration of differential equations on homo- geneous manifolds. InFoundations of Computational Mathematics: Selected Papers of a Conference Held at Rio de Janeiro, January 1997, pages 305–315. Springer, 1997

work page 1997

[45] [45]

H. Z. Munthe-Kaas and A. Lundervold. On post-Lie algebras, Lie–Butcher series and moving frames.Found. Comput. Math., 13:583–613, 2013

work page 2013

[46] [46]

H. Z. Munthe-Kaas, A. Stern, and O. Verdier. Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds.SIAM Journal on Applied Algebra and Geometry, 4(1):49–68, 2020

work page 2020

[47] [47]

H. Z. Munthe-Kaas and W. M. Wright. On the Hopf algebraic structure of Lie group integrators.Found. Comput. Math., 8(2):227–257, 2008

work page 2008

[48] [48]

K. Nomizu. Invariant affine connections on homogeneous spaces.American Journal of Mathematics, 76(1):33–65, 1954

work page 1954

[49] [49]

Oudom and D

J.-M. Oudom and D. Guin. On the Lie enveloping algebra of a pre-Lie algebra.J. K-Theory, 2(1):147–167, 2008

work page 2008

[50] [50]

B. Owren. Order conditions for commutator-free Lie group methods.Journal of Physics A: Mathematical and General, 39(19):5585, 2006

work page 2006

[51] [51]

Owren and A

B. Owren and A. Marthinsen. Runge-Kutta methods adapted to manifolds and based on rigid frames.BIT Numer. Math., 39(1):116–142, 1999

work page 1999

[52] [52]

G. R. W. Quispel. Volume-preserving integrators.Phys. Lett. A, 206(1-2):26–30, 1995

work page 1995

[53] [53]

L. Rahm. An operadic approach to substitution in Lie-Butcher series.Forum Math. Sigma, 10:Paper No. e20, 29, 2022

work page 2022

[54] [54]

L. Rahm. The universal post-Lie-Rinehart algebra of planar aromatic trees.arXiv preprint arXiv:2601.18528, 2026

work page arXiv 2026

[55] [55]

Z. J. Shang. Construction of volume-preserving difference schemes for source-free systems via generating functions.J. Comput. Math., 12(3):265–272, 1994

work page 1994

[56] [56]

J. Stava. The connection algebra of reductive homogeneous spaces.arXiv preprint arXiv:2310.08310, 2023

work page arXiv 2023

[57] [57]

Stava.On connection algebras of symmetric spaces and reductive homogeneous spaces

J. Stava.On connection algebras of symmetric spaces and reductive homogeneous spaces. PhD thesis, University of Bergen, 2024

work page 2024

[58] [58]

Vallette

B. Vallette. Homology of generalized partition posets.Journal of Pure and Applied Algebra, 208(2):699–725, 2007

work page 2007

[59] [59]

Aromatic and clumped multi-indices: algebraic structure and Hopf embeddings

Z. Zhu and A. B. Laurent. Aromatic and clumped multi-indices: algebraic structure and Hopf embeddings.arXiv preprint arXiv:2603.13105, 2026. 24 Appendices A Additional background on Lie–Rinehart algebras This appendix collects background material on Lie–Rinehart algebras and related geometric constructions that is not required for the main development, bu...

work page internal anchor Pith review Pith/arXiv arXiv 2026