On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra

Yunnan Li

arxiv: 2408.01345 · v1 · pith:E6GAMX47new · submitted 2024-08-02 · 🧮 math.RA · math-ph· math.CO· math.MP· math.QA

On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra

Yunnan Li This is my paper

Pith reviewed 2026-05-25 08:29 UTC · model grok-4.3

classification 🧮 math.RA math-phmath.COmath.MPmath.QA

keywords post-Lie algebrapost-Hopf algebrasub-adjacent Hopf algebraantipode formulaOudom-Guin isomorphismGrossman-Larson Hopf algebraordered treestree grafting

0 comments

The pith

By twisting the post-Hopf product a combinatorial antipode formula is obtained for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra.

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

The paper shows how twisting the post-Hopf product produces an explicit combinatorial antipode for the sub-adjacent Hopf algebra that any cocommutative post-Hopf algebra carries. It further supplies a closed-form inverse to the Oudom-Guin isomorphism in the post-Lie setting. As a direct consequence the same method yields a cancellation-free antipode for the Grossman-Larson Hopf algebra on ordered trees expressed by tree grafting. A reader would care because these formulas replace abstract existence statements with concrete combinatorial expressions that can be used for explicit calculations.

Core claim

By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra. Relating to such a sub-adjacent Hopf algebra, we also obtain a closed inverse formula for the Oudom-Guin isomorphism in the context of post-Lie algebras. Especially as a byproduct, we derive a cancellation-free antipode formula for the Grossman-Larson Hopf algebra of ordered trees through a concrete tree-grafting expression.

What carries the argument

The twisting operation applied to the post-Hopf product, which induces the sub-adjacent Hopf algebra equipped with the generalized Grossman-Larson product.

If this is right

The sub-adjacent Hopf algebra of any post-Lie enveloping algebra admits an explicit combinatorial antipode.
A closed inverse formula for the Oudom-Guin isomorphism becomes available in the post-Lie case.
The Grossman-Larson Hopf algebra on ordered trees receives a cancellation-free antipode expressed by grafting operations.

Where Pith is reading between the lines

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

The same twisting technique may produce explicit antipodes in other combinatorial Hopf algebras built from similar products.
Explicit tree-grafting expressions could be used to compute characters or invariants in algebraic combinatorics on trees.
The closed inverse for the Oudom-Guin map might simplify change-of-basis calculations between different enveloping constructions.

Load-bearing premise

The twisting operation preserves the cocommutative post-Hopf algebra axioms and produces a well-defined sub-adjacent Hopf algebra structure.

What would settle it

Direct substitution of the proposed antipode formula into the defining relation of the sub-adjacent Hopf algebra for a concrete low-dimensional post-Lie algebra and checking whether the product is inverted.

read the original abstract

Recently the notion of post-Hopf algebra was introduced, with the universal enveloping algebra of a post-Lie algebra as the fundamental example. A novel property is that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with a generalized Grossman-Larson product. By twisting the post-Hopf product, we provide a combinatorial antipode formula for the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra. Relating to such a sub-adjacent Hopf algebra, we also obtain a closed inverse formula for the Oudom-Guin isomorphism in the context of post-Lie algebras. Especially as a byproduct, we derive a cancellation-free antipode formula for the Grossman-Larson Hopf algebra of ordered trees through a concrete tree-grafting expression.

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

Twisting yields explicit combinatorial antipode and inverse formulas for the sub-adjacent Hopf algebra of a post-Lie enveloping algebra, plus a cancellation-free byproduct for the Grossman-Larson case on ordered trees.

read the letter

The core contribution is the twisting construction on the post-Hopf product that produces a combinatorial antipode formula for the sub-adjacent Hopf algebra attached to the universal enveloping algebra of a post-Lie algebra. It also delivers a closed inverse formula for the Oudom-Guin isomorphism and, as a byproduct, a cancellation-free antipode for the Grossman-Larson Hopf algebra of ordered trees expressed through concrete tree-grafting. These are presented as new relative to the recent post-Hopf literature and earlier Grossman-Larson work. The explicit, combinatorial character of the formulas is the part that stands out; specialists who need to compute antipodes or check isomorphisms in this setting will find usable expressions rather than existence statements. The approach follows standard twisting techniques in Hopf algebra theory and applies them directly to the cocommutative post-Hopf setting, which appears consistent with the axioms described. The main soft spot is that the abstract leaves the precise definition of the twist and the verification steps implicit, so one cannot yet inspect whether associativity and coassociativity are preserved without extra conditions or whether the tree-grafting expression is fully cancellation-free in all degrees. That said, nothing in the stated claims signals an internal contradiction or circular dependence on fitted quantities. This paper is aimed at researchers already working with post-Lie algebras, post-Hopf structures, or combinatorial Hopf algebras on trees. A reader in that niche gets direct computational tools. It shows clear engagement with the relevant literature and supplies verifiable algebraic identities, so it deserves a serious referee.

Referee Report

0 major / 3 minor

Summary. The paper studies post-Hopf algebras, noting that any cocommutative post-Hopf algebra induces a sub-adjacent Hopf algebra equipped with a generalized Grossman-Larson product. By twisting the post-Hopf product on the universal enveloping algebra of a post-Lie algebra, it derives a combinatorial antipode formula for the resulting sub-adjacent Hopf algebra, a closed-form inverse to the Oudom-Guin isomorphism, and (as a byproduct) a cancellation-free antipode for the Grossman-Larson Hopf algebra on ordered trees expressed via explicit tree-grafting operations.

Significance. If the twisting construction preserves the required axioms and the explicit formulas are verified, the work supplies concrete combinatorial tools for antipodes and isomorphisms in post-Lie and tree-based Hopf algebras, strengthening the link between post-Lie structures and algebraic combinatorics.

minor comments (3)

The abstract invokes the twisting operation and the preservation of cocommutative post-Hopf axioms without stating the explicit form of the twist or the verification that the new product remains associative and coassociative; this definition and check should appear in §2 or §3 before the main theorems.
The tree-grafting expression for the Grossman-Larson antipode is described as 'concrete' but is not displayed in the abstract or early sections; an explicit formula (perhaps as a displayed equation) should be given in the introduction or the relevant theorem statement.
Notation for the post-Hopf product, the twist, and the sub-adjacent product should be introduced with a short table or list of definitions to avoid ambiguity when multiple products appear in the same proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work deriving combinatorial antipode formulas via product twisting in post-Hopf algebras, along with the closed inverse for the Oudom-Guin isomorphism and the cancellation-free antipode for ordered trees. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs a sub-adjacent Hopf algebra by twisting the post-Hopf product on the universal enveloping algebra of a post-Lie algebra, then derives combinatorial antipode formulas and an inverse to the Oudom-Guin isomorphism as direct algebraic consequences. No steps reduce by definition to their own inputs, no parameters are fitted and relabeled as predictions, and no load-bearing claims rest on self-citations whose content is itself unverified or circular. The derivation chain consists of explicit operations (twisting, grafting) on known structures whose verification is internal to the algebraic identities presented, rendering the result self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper operates entirely within standard definitions of post-Lie algebras, post-Hopf algebras, and Hopf algebra antipodes drawn from prior literature; no free parameters, ad-hoc axioms, or new entities are indicated in the abstract.

axioms (1)

domain assumption Standard axioms of post-Lie algebras and cocommutative post-Hopf algebras hold and allow twisting to produce a sub-adjacent Hopf algebra.
Invoked when stating that any cocommutative post-Hopf algebra gives rise to a sub-adjacent Hopf algebra with generalized Grossman-Larson product.

pith-pipeline@v0.9.0 · 5676 in / 1470 out tokens · 24659 ms · 2026-05-25T08:29:48.831354+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

[1]

M. J. H. Al-Kaabi, K. Ebrahimi-Fard, D. Manchon and H. Munt he-Kaas, Algebraic aspects of connections: from torsion, curvature, and post-Lie algebras to Gavrilov ’s double exponential and special polynomials, J. Noncomm. Geom. (2023), https://doi.org/10.4171/JNCG/539, online ﬁrst. 2, 12

work page doi:10.4171/jncg/539 2023
[2]

C. Bai, L. Guo, Y . Sheng and R. Tang, Post-groups, (Lie-)Butcher groups and the Y ang-Baxter equation.Math. Ann. 388 (2024), 3127–3167. 2

work page 2024
[3]

C. Bai, L. Guo and X. Ni, Nonabelian generalized Lax pairs, the classical Y ang-Baxter equation and PostLie algebras, Comm. Math. Phys. 297 (2010), 553–596. 1, 6

work page 2010
[4]

Benedetti and B

C. Benedetti and B. Sagan, Antipodes and involutions, J. Combin. Theory Ser . A 148 (2017), 275–315. 3

work page 2017
[5]

Berland and B

H. Berland and B. Owren, Algebraic structures on ordered r ooted trees and their signiﬁcance to Lie group integrators, Group theory and numerical analysis, 49–63, C RM Proc. Lecture Notes, 39, Amer. Math. Soc., Providence, RI, 2005. 3

work page 2005
[6]

Bruned and F

Y . Bruned and F. Katsetsiadis, Post-Lie algebras in regul arity structures, F orum Math. Sigma11 (2023), Paper No. e98. 1, 2

work page 2023
[7]

Burde, Left-symmetric algebras, or pre-Lie algebras i n geometry and physics, Cent

D. Burde, Left-symmetric algebras, or pre-Lie algebras i n geometry and physics, Cent. Eur . J. Math.4 (2006), 323–357. 1

work page 2006
[8]

Chapoton and M

F. Chapoton and M. Livernet, Pre-Lie algebras and the root ed trees operad, Int. Math. Res. Not. 8 (2001), 395-408. 1

work page 2001
[9]

Chapoton and F

F. Chapoton and F. Patras, Enveloping algebras of preLie a lgebras, Solomon idempotents and the Magnus formula, Internat. J. Algebra Comput. 23 (4) (2013), 853–861. 2, 5

work page 2013
[10]

Connes and D

A. Connes and D. Kreimer, Hopf algebras, renormalizatio n and noncommutative geometry, Comm. Math. Phys. 199 (1) (1998), 203–242. 3

work page 1998
[11]

Curry, K

C. Curry, K. Ebrahimi-Fard, D. Manchon and H. Munthe-Kaa s, Planarly branched rough paths and rough diﬀerential equations on homogeneous spaces, J. Diﬀerential Equations 269 (2018),. 1

work page 2018
[12]

Curry, K

C. Curry, K. Ebrahimi-Fard and H. Munthe-Kaas, What is a p ost-Lie algebra and why is it useful in geomet- ric integration, Numerical mathematics and advanced appli cations-ENUMA TH 2017, 429–437, Lect. Notes Comput. Sci. Eng., 126, Springer, Cham, 2019. 1

work page 2017
[13]

Curry, K

C. Curry, K. Ebrahimi-Fard and B. Owren, The Magnus expan sion and post-Lie algebras, Math. Comput. 89 (326) (2020), 2785–2799. 1

work page 2020
[14]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold and D. Manchon, Noncomm utative Bell polynomials, quasideterminants and incidence Hopf algebras, Internat. J. Algebra Comput. 24 (5) (2014), 671–705. 14

work page 2014
[15]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold and H. Munthe-Kaas, On t he Lie enveloping algebra of a post-Lie algebra, J. Lie Theory 25 (2015), 1139–1165. 2, 5, 17

work page 2015
[16]

Ebrahimi-Fard, I

K. Ebrahimi-Fard, I. Mencattini and H. Munthe-Kaas, Pos t-Lie algebras and factorization theorems, J. Geom. Phys. 119 (2017), 19–33. 2, 6, 13

work page 2017
[17]

Ebrahimi-Fard and L

K. Ebrahimi-Fard and L. Rahm, A survey on the Munthe-Kaas -Wright Hopf algebra, arXiv:2306.04381v3

work page arXiv
[18]

Figueroa and J

H. Figueroa and J. M. Gracia-Bondia, On the antipode of Kr eimer’s Hopf algebra, Modern Phys. Lett. A 16 (22) (2001), 1427–1434. 3

work page 2001
[19]

Figueroa and J

H. Figueroa and J. M. Gracia-Bondia, Combinatorial Hopf algebras in quantum ﬁeld theory. I. Rev. Math. Phys. 17 (8) (2005), 881–976. 3

work page 2005
[20]

Foissy, The antipode of of a Com-PreLie Hopf algebra, a rXiv:2406.01120

L. Foissy, The antipode of of a Com-PreLie Hopf algebra, a rXiv:2406.01120. 3

work page arXiv
[21]

Foissy, Extension of the product of a post-Lie algebra and application to the SISO feedback transformation group, Abel Symp

L. Foissy, Extension of the product of a post-Lie algebra and application to the SISO feedback transformation group, Abel Symp. 13 (2018), 369–399. 2, 6, 17

work page 2018
[22]

A. V . Gavrilov, The Leibniz formula for the covariant der ivative and some of its applications, Sib. Adv. Math. 22 (2) (2012), 80–94. 11, 12

work page 2012
[23]

A. V . Gavrilov, Algebraic properties of the covariant derivative and composition of exponential maps, Sib. Adv. Math. 16 (3) (2006), 54–70. 2, 11, 12

work page 2006
[24]

Goncharov, Rota-Baxter operators on cocommutative H opf algebras, J

M. Goncharov, Rota-Baxter operators on cocommutative H opf algebras, J. Algebra 582 (2021), 39–56. 2 20 YUNNAN LI

work page 2021
[25]

Grossman and R

R. Grossman and R. Larson, Hopf-algebraic structure of f amilies of trees, J. Algebra 126 (1) (1989), 184–210. 2, 5, 15, 16

work page 1989
[26]

Grossman and R

R. Grossman and R. Larson, Hopf-algebraic structure of c ombinatorial objects and diﬀerential operators, Israel J. Math. 72 (1) (1990), 109–117. 2

work page 1990
[27]

L. Guo, H. Lang and Y . Sheng, Integration and geometrizat ion of Rota-Baxter Lie algebras, Adv. Math. 387 (2021), 107834. 2

work page 2021
[28]

M. E. Ho ﬀman, Combinatorics of rooted trees and Hopf algebras, Trans. Amer . Math. Soc. 355 (9) (2003), 3795–3811. 3

work page 2003
[29]

Humpert and J

B. Humpert and J. L. Martin, The incidence Hopf algebra of graphs, SIAM J. Discrete Math. 26 (2) (2012), 555–570. 3

work page 2012
[30]

Li, On weak peak quasisymmetric functions, J

Y . Li, On weak peak quasisymmetric functions, J. Comb. Theory Ser . A158 (2018), 449–491. 3

work page 2018
[31]

Y . Li, Y . Sheng and R. Tang, Post-Hopf algebras, relative Rota-Baxter operators and solutions to the Y ang- Baxter equation, J. Noncomm. Geom. 18 (2) (2024), 605–630. 2, 4, 5, 6, 15

work page 2024
[32]

Manchon, A short survey on pre-Lie algebras, Noncommu tative Geometry and Physics: Renormalisation, Motives, Index Theory, (2011), 89–102

D. Manchon, A short survey on pre-Lie algebras, Noncommu tative Geometry and Physics: Renormalisation, Motives, Index Theory, (2011), 89–102. 1

work page 2011
[33]

Mencattini, A

I. Mencattini, A. Quesney and P . Silva, Post-symmetric b races and integration of post-Lie algebras, J. Algebra 556 (2020), 547–580. 2

work page 2020
[34]

Menous, F

F. Menous, F. Patras, Right-handed Hopf algebras and the preLie forest formula, Ann. Inst. Henri Poincar´ e D 5 (1) (2018), 103–125. 3, 11

work page 2018
[35]

M´ endez, J

M. M´ endez, J. Liendo, An antipode formula for the natura l Hopf algebra of a set operad, Adv. in Appl. Math. 53 (2014), 112–140. 3

work page 2014
[36]

Montgomery, Hopf algebras and Their Actions on Rings, Amer

S. Montgomery, Hopf algebras and Their Actions on Rings, Amer. Math. Soc., Regional Conf. Ser. in Math., 82, 1993. 4

work page 1993
[37]

H. Z. Munthe-Kaas and A. Lundervold, On post-Lie algebra s, Lie-Butcher series and moving frames, F ound. Comput. Math. 13 (4) (2013), 583–613. 1, 2, 5, 17

work page 2013
[38]

H. Z. Munthe-Kaas and W . M. Wright, On the Hopf algebraic s tructure of Lie group integrators, F ound. Comput. Math. 8 (2) (2008), 227–257. 2, 3, 5, 17, 18

work page 2008
[39]

Oudom and D

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

work page 2008
[40]

Panaite, Relating the Connes-Kreimer and Grossman-L arson Hopf algebras built on rooted trees, Lett

F. Panaite, Relating the Connes-Kreimer and Grossman-L arson Hopf algebras built on rooted trees, Lett. Math. Phys. 51 (3) (2000), 211–219. 3

work page 2000
[41]

Patrias, Antipode formulas for some combinatorial Ho pf algebras, Electron

R. Patrias, Antipode formulas for some combinatorial Ho pf algebras, Electron. J. Combin. 23 (4) (2016), Paper 4.30. 3

work page 2016
[42]

Reshetikhin and M

N. Reshetikhin and M. A. Semenov-Tian-Shansky, Quantum R-matrices and factorization problems, J. Geom. Phys. 5 (1988), 533–550. 6

work page 1988
[43]

Semonov-Tian-Shansky, What is a classical r-matrix? Funct

M. Semonov-Tian-Shansky, What is a classical r-matrix? Funct. Anal. Appl. 17 (1983), 259–272. 6

work page 1983
[44]

Stanley, Enumerative combinatorics, vol

R. Stanley, Enumerative combinatorics, vol. 1, Second E dition, Cambridge Studies in Advanced Mathematics 49, Cambridge University Press, Cambridge, 2012. 15

work page 2012
[45]

Takeuchi, Free Hopf algebras generated by coalgebras , J

M. Takeuchi, Free Hopf algebras generated by coalgebras , J. Math. Soc. Japan 23 (1971), 561–582. 3, 16

work page 1971
[46]

V allette, Homology of generalized partition posets, J

B. V allette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), 699–725. 1, 5

work page 2007
[47]

Xu and H

D. Xu and H. Y u, On the cancellation-free antipode formul a for the Malvenuto-Reutenauer Hopf algebra, European J. Combin. 113 (2023), Paper No. 103745, 18 pp. arXiv:2208.06841. 3

work page arXiv 2023
[48]

H. Y u, L. Guo and J.-Y . Thibon, Weak quasi-symmetric func tions, Rota-Baxter algebras and Hopf algebras, Adv. Math. 344 (2019), 1–34. 3

work page 2019
[49]

Zhao, A noncommutative symmetric system over the Gros sman-Larson Hopf algebra of labeled rooted trees, J

W . Zhao, A noncommutative symmetric system over the Gros sman-Larson Hopf algebra of labeled rooted trees, J. Algebraic Combin. 28 (2) (2008), 235–260. 16 School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China Email address: ynli@gzhu.edu.cn

work page 2008

[1] [1]

M. J. H. Al-Kaabi, K. Ebrahimi-Fard, D. Manchon and H. Munt he-Kaas, Algebraic aspects of connections: from torsion, curvature, and post-Lie algebras to Gavrilov ’s double exponential and special polynomials, J. Noncomm. Geom. (2023), https://doi.org/10.4171/JNCG/539, online ﬁrst. 2, 12

work page doi:10.4171/jncg/539 2023

[2] [2]

C. Bai, L. Guo, Y . Sheng and R. Tang, Post-groups, (Lie-)Butcher groups and the Y ang-Baxter equation.Math. Ann. 388 (2024), 3127–3167. 2

work page 2024

[3] [3]

C. Bai, L. Guo and X. Ni, Nonabelian generalized Lax pairs, the classical Y ang-Baxter equation and PostLie algebras, Comm. Math. Phys. 297 (2010), 553–596. 1, 6

work page 2010

[4] [4]

Benedetti and B

C. Benedetti and B. Sagan, Antipodes and involutions, J. Combin. Theory Ser . A 148 (2017), 275–315. 3

work page 2017

[5] [5]

Berland and B

H. Berland and B. Owren, Algebraic structures on ordered r ooted trees and their signiﬁcance to Lie group integrators, Group theory and numerical analysis, 49–63, C RM Proc. Lecture Notes, 39, Amer. Math. Soc., Providence, RI, 2005. 3

work page 2005

[6] [6]

Bruned and F

Y . Bruned and F. Katsetsiadis, Post-Lie algebras in regul arity structures, F orum Math. Sigma11 (2023), Paper No. e98. 1, 2

work page 2023

[7] [7]

Burde, Left-symmetric algebras, or pre-Lie algebras i n geometry and physics, Cent

D. Burde, Left-symmetric algebras, or pre-Lie algebras i n geometry and physics, Cent. Eur . J. Math.4 (2006), 323–357. 1

work page 2006

[8] [8]

Chapoton and M

F. Chapoton and M. Livernet, Pre-Lie algebras and the root ed trees operad, Int. Math. Res. Not. 8 (2001), 395-408. 1

work page 2001

[9] [9]

Chapoton and F

F. Chapoton and F. Patras, Enveloping algebras of preLie a lgebras, Solomon idempotents and the Magnus formula, Internat. J. Algebra Comput. 23 (4) (2013), 853–861. 2, 5

work page 2013

[10] [10]

Connes and D

A. Connes and D. Kreimer, Hopf algebras, renormalizatio n and noncommutative geometry, Comm. Math. Phys. 199 (1) (1998), 203–242. 3

work page 1998

[11] [11]

Curry, K

C. Curry, K. Ebrahimi-Fard, D. Manchon and H. Munthe-Kaa s, Planarly branched rough paths and rough diﬀerential equations on homogeneous spaces, J. Diﬀerential Equations 269 (2018),. 1

work page 2018

[12] [12]

Curry, K

C. Curry, K. Ebrahimi-Fard and H. Munthe-Kaas, What is a p ost-Lie algebra and why is it useful in geomet- ric integration, Numerical mathematics and advanced appli cations-ENUMA TH 2017, 429–437, Lect. Notes Comput. Sci. Eng., 126, Springer, Cham, 2019. 1

work page 2017

[13] [13]

Curry, K

C. Curry, K. Ebrahimi-Fard and B. Owren, The Magnus expan sion and post-Lie algebras, Math. Comput. 89 (326) (2020), 2785–2799. 1

work page 2020

[14] [14]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold and D. Manchon, Noncomm utative Bell polynomials, quasideterminants and incidence Hopf algebras, Internat. J. Algebra Comput. 24 (5) (2014), 671–705. 14

work page 2014

[15] [15]

Ebrahimi-Fard, A

K. Ebrahimi-Fard, A. Lundervold and H. Munthe-Kaas, On t he Lie enveloping algebra of a post-Lie algebra, J. Lie Theory 25 (2015), 1139–1165. 2, 5, 17

work page 2015

[16] [16]

Ebrahimi-Fard, I

K. Ebrahimi-Fard, I. Mencattini and H. Munthe-Kaas, Pos t-Lie algebras and factorization theorems, J. Geom. Phys. 119 (2017), 19–33. 2, 6, 13

work page 2017

[17] [17]

Ebrahimi-Fard and L

K. Ebrahimi-Fard and L. Rahm, A survey on the Munthe-Kaas -Wright Hopf algebra, arXiv:2306.04381v3

work page arXiv

[18] [18]

Figueroa and J

H. Figueroa and J. M. Gracia-Bondia, On the antipode of Kr eimer’s Hopf algebra, Modern Phys. Lett. A 16 (22) (2001), 1427–1434. 3

work page 2001

[19] [19]

Figueroa and J

H. Figueroa and J. M. Gracia-Bondia, Combinatorial Hopf algebras in quantum ﬁeld theory. I. Rev. Math. Phys. 17 (8) (2005), 881–976. 3

work page 2005

[20] [20]

Foissy, The antipode of of a Com-PreLie Hopf algebra, a rXiv:2406.01120

L. Foissy, The antipode of of a Com-PreLie Hopf algebra, a rXiv:2406.01120. 3

work page arXiv

[21] [21]

Foissy, Extension of the product of a post-Lie algebra and application to the SISO feedback transformation group, Abel Symp

L. Foissy, Extension of the product of a post-Lie algebra and application to the SISO feedback transformation group, Abel Symp. 13 (2018), 369–399. 2, 6, 17

work page 2018

[22] [22]

A. V . Gavrilov, The Leibniz formula for the covariant der ivative and some of its applications, Sib. Adv. Math. 22 (2) (2012), 80–94. 11, 12

work page 2012

[23] [23]

A. V . Gavrilov, Algebraic properties of the covariant derivative and composition of exponential maps, Sib. Adv. Math. 16 (3) (2006), 54–70. 2, 11, 12

work page 2006

[24] [24]

Goncharov, Rota-Baxter operators on cocommutative H opf algebras, J

M. Goncharov, Rota-Baxter operators on cocommutative H opf algebras, J. Algebra 582 (2021), 39–56. 2 20 YUNNAN LI

work page 2021

[25] [25]

Grossman and R

R. Grossman and R. Larson, Hopf-algebraic structure of f amilies of trees, J. Algebra 126 (1) (1989), 184–210. 2, 5, 15, 16

work page 1989

[26] [26]

Grossman and R

R. Grossman and R. Larson, Hopf-algebraic structure of c ombinatorial objects and diﬀerential operators, Israel J. Math. 72 (1) (1990), 109–117. 2

work page 1990

[27] [27]

L. Guo, H. Lang and Y . Sheng, Integration and geometrizat ion of Rota-Baxter Lie algebras, Adv. Math. 387 (2021), 107834. 2

work page 2021

[28] [28]

M. E. Ho ﬀman, Combinatorics of rooted trees and Hopf algebras, Trans. Amer . Math. Soc. 355 (9) (2003), 3795–3811. 3

work page 2003

[29] [29]

Humpert and J

B. Humpert and J. L. Martin, The incidence Hopf algebra of graphs, SIAM J. Discrete Math. 26 (2) (2012), 555–570. 3

work page 2012

[30] [30]

Li, On weak peak quasisymmetric functions, J

Y . Li, On weak peak quasisymmetric functions, J. Comb. Theory Ser . A158 (2018), 449–491. 3

work page 2018

[31] [31]

Y . Li, Y . Sheng and R. Tang, Post-Hopf algebras, relative Rota-Baxter operators and solutions to the Y ang- Baxter equation, J. Noncomm. Geom. 18 (2) (2024), 605–630. 2, 4, 5, 6, 15

work page 2024

[32] [32]

Manchon, A short survey on pre-Lie algebras, Noncommu tative Geometry and Physics: Renormalisation, Motives, Index Theory, (2011), 89–102

D. Manchon, A short survey on pre-Lie algebras, Noncommu tative Geometry and Physics: Renormalisation, Motives, Index Theory, (2011), 89–102. 1

work page 2011

[33] [33]

Mencattini, A

I. Mencattini, A. Quesney and P . Silva, Post-symmetric b races and integration of post-Lie algebras, J. Algebra 556 (2020), 547–580. 2

work page 2020

[34] [34]

Menous, F

F. Menous, F. Patras, Right-handed Hopf algebras and the preLie forest formula, Ann. Inst. Henri Poincar´ e D 5 (1) (2018), 103–125. 3, 11

work page 2018

[35] [35]

M´ endez, J

M. M´ endez, J. Liendo, An antipode formula for the natura l Hopf algebra of a set operad, Adv. in Appl. Math. 53 (2014), 112–140. 3

work page 2014

[36] [36]

Montgomery, Hopf algebras and Their Actions on Rings, Amer

S. Montgomery, Hopf algebras and Their Actions on Rings, Amer. Math. Soc., Regional Conf. Ser. in Math., 82, 1993. 4

work page 1993

[37] [37]

H. Z. Munthe-Kaas and A. Lundervold, On post-Lie algebra s, Lie-Butcher series and moving frames, F ound. Comput. Math. 13 (4) (2013), 583–613. 1, 2, 5, 17

work page 2013

[38] [38]

H. Z. Munthe-Kaas and W . M. Wright, On the Hopf algebraic s tructure of Lie group integrators, F ound. Comput. Math. 8 (2) (2008), 227–257. 2, 3, 5, 17, 18

work page 2008

[39] [39]

Oudom and D

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

work page 2008

[40] [40]

Panaite, Relating the Connes-Kreimer and Grossman-L arson Hopf algebras built on rooted trees, Lett

F. Panaite, Relating the Connes-Kreimer and Grossman-L arson Hopf algebras built on rooted trees, Lett. Math. Phys. 51 (3) (2000), 211–219. 3

work page 2000

[41] [41]

Patrias, Antipode formulas for some combinatorial Ho pf algebras, Electron

R. Patrias, Antipode formulas for some combinatorial Ho pf algebras, Electron. J. Combin. 23 (4) (2016), Paper 4.30. 3

work page 2016

[42] [42]

Reshetikhin and M

N. Reshetikhin and M. A. Semenov-Tian-Shansky, Quantum R-matrices and factorization problems, J. Geom. Phys. 5 (1988), 533–550. 6

work page 1988

[43] [43]

Semonov-Tian-Shansky, What is a classical r-matrix? Funct

M. Semonov-Tian-Shansky, What is a classical r-matrix? Funct. Anal. Appl. 17 (1983), 259–272. 6

work page 1983

[44] [44]

Stanley, Enumerative combinatorics, vol

R. Stanley, Enumerative combinatorics, vol. 1, Second E dition, Cambridge Studies in Advanced Mathematics 49, Cambridge University Press, Cambridge, 2012. 15

work page 2012

[45] [45]

Takeuchi, Free Hopf algebras generated by coalgebras , J

M. Takeuchi, Free Hopf algebras generated by coalgebras , J. Math. Soc. Japan 23 (1971), 561–582. 3, 16

work page 1971

[46] [46]

V allette, Homology of generalized partition posets, J

B. V allette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), 699–725. 1, 5

work page 2007

[47] [47]

Xu and H

D. Xu and H. Y u, On the cancellation-free antipode formul a for the Malvenuto-Reutenauer Hopf algebra, European J. Combin. 113 (2023), Paper No. 103745, 18 pp. arXiv:2208.06841. 3

work page arXiv 2023

[48] [48]

H. Y u, L. Guo and J.-Y . Thibon, Weak quasi-symmetric func tions, Rota-Baxter algebras and Hopf algebras, Adv. Math. 344 (2019), 1–34. 3

work page 2019

[49] [49]

Zhao, A noncommutative symmetric system over the Gros sman-Larson Hopf algebra of labeled rooted trees, J

W . Zhao, A noncommutative symmetric system over the Gros sman-Larson Hopf algebra of labeled rooted trees, J. Algebraic Combin. 28 (2) (2008), 235–260. 16 School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China Email address: ynli@gzhu.edu.cn

work page 2008