Pith. sign in

REVIEW 2 major objections 4 minor 41 references

Moerdijk Hopf algebras of decorated rooted forests: an operated algebra approach

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper shows that decorated planar rooted forests, with a coproduct forced by the symmetric 1-cocycle condition, form the free Ω-cocycle bialgebra and, at λ = 0, the free Ω-cocycle Hopf algebra, recovering the Moerdijk Hopf algebra as…

desk verdict The matrix dual-product formula and the λ-family of coproducts are real contributions, but the freeness theorem is false as stated for λ≠0; the fix is a small extra hypothesis. read the letter →

arxiv 2508.18658 v1 pith:IHXY755U submitted 2025-08-26 math.RA

Loic Foissy , Xiao-Song Peng , Yunzhou Xie , Yi Zhang This is my paper · ORCID
classification math.RA MSC 16W9905C0516S1016T1016T3017B60
keywords decoratedplanarrootedforestsHopfalgebraOmega-cocyclebialgebrasymmetric1-cocycleconditiongraftingoperatorforest-representablematricesRota-Baxteroperated
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper constructs a bialgebra, and then a Hopf algebra, whose basis consists of planar rooted forests with vertex decorations, and proves that this object is universal among bialgebras equipped with grafting operators satisfying a symmetric 1-cocycle condition. The coproduct is forced by the identity $\Delta_\lambda \circ B^+_\omega = (B^+_\omega\otimes\mathrm{id} + \mathrm{id}\otimes B^+_\omega)\circ \Delta_\lambda$, and it has a simple combinatorial expression as a sum over bipartitions of the vertex set; the dual product is described by interleaving forest-representable matrices. Setting the parameter $\lambda=0$ gives a connected cocommutative Hopf algebra whose antipode is a Rota-Baxter operator. The main structural result is that, with the grafting operators $B^+_\omega$, this algebra is the free $\Omega$-cocycle bialgebra on the decoration set $X$, and the free $\Omega$-cocycle Hopf algebra for $\lambda=0$; for undecorated forests it is the initial object, recovering the well-known Moerdijk Hopf algebra. This matters because it identifies the Moerdijk Hopf algebra as the universal solution of the symmetric Hochschild 1-cocycle equation rather than an isolated example.

What carries the argument

The load-bearing mechanism is the symmetric Hochschild 1-cocycle identity $\Delta_\lambda B^+_\omega=(B^+_\omega\otimes\mathrm{id}+\mathrm{id}\otimes B^+_\omega)\Delta_\lambda$ imposed on every grafting operator. This identity is used recursively to define the coproduct, and it yields the closed formula $\Delta_\lambda(F)=\sum_{V(F)=I\cup J,\ I\cap J\subseteq V_X(F)}\lambda^{|I\cap J|}F_I\otimes F_J$, where $F_I$ is the induced subforest on a vertex subset and $V_X(F)$ is the set of leaves decorated by $X$. For the dual product, each forest is encoded as a triangular matrix whose entries are the symbols $h$, $r$, and $=$ recording the ancestor and planar-order relations; the product $F\star G$ is then a sum over shuffles of the two matrices, counting the forest-representable matrices that can be interleaved. This matrix calculus carries the proof of the explicit formula for the dual product, while the freeness theorem is carried by the free operated algebra universal property of the grafting operators.

What would settle it

Let $X$ be infinite and let $\phi$ be the linear functional on $\mathrm{HRT}(X,\Omega)$ that sends each single-vertex forest $\bullet_x$ to $1$ and every other forest to $0$. This $\phi$ is not a finite linear combination of the forest basis, so it lies outside the algebraic graded dual; if the pairing is meant to identify the algebra with its graded dual for arbitrary $X$, this example breaks the derivation of Theorem 2.22. Recomputing $\bullet_x\star\bullet_y$ for two distinct leaves directly from the induced-subforest definition and comparing with the matrix-shuffle formula would show whether the product formula depends on the finiteness hypothesis.

Watch

Extended reading notes

Core claim

The paper's central claim is that the free $\Omega$-operated algebra on decorated planar rooted forests carries a bialgebra structure compatible with a symmetric 1-cocycle condition: for every grafting operator $B^+_\omega$ and every forest $F$, $\Delta_\lambda(B^+_\omega(F))=(B^+_\omega\otimes\mathrm{id}+\mathrm{id}\otimes B^+_\omega)\Delta_\lambda(F)$, with $\Delta_\lambda(\bullet_x)=\bullet_x\otimes 1+1\otimes\bullet_x+\lambda\bullet_x\otimes\bullet_x$ for leaf decorations $x\in X$. Theorem 4.6 asserts that this bialgebra is the free $\Omega$-cocycle bialgebra on $X$, and for $\lambda=0$ the free $\Omega$-cocycle Hopf algebra. Taking $X=\emptyset$ and one grafting operator gives the algebra of undecorated planar rooted forests as the initial object, which the paper identifies with the well-known Moerdijk Hopf algebra. Thus the Moerdijk Hopf algebra is characterized as the universal solution of the symmetric cocycle equation, with explicit formulas for its coproduct, antipode, and dual product.

Load-bearing premise

The dual-product theorem is derived by identifying the algebra with its graded dual through the Kronecker pairing, and that identification requires every weight-graded component to be finite-dimensional; arbitrary decoration sets $X$ and $\Omega$ are allowed, so the hypothesis is not guaranteed.

Editorial extensions

If this is right

  • For $\lambda=0$, the construction is a connected graded cocommutative Hopf algebra, with antipode $S(F)=\sum_{I_1\sqcup\cdots\sqcup I_k=V(F)}(-1)^k F_{I_1}\cdots F_{I_k}$.
  • Every $\Omega$-cocycle Hopf algebra receives a unique operated Hopf algebra morphism from the forest algebra, so the Moerdijk Hopf algebra is a canonical source for solutions of the symmetric cocycle equation.
  • The assignment $F\mapsto \lambda^{d_X(F)}F$ is a bialgebra morphism from $\Delta_\mu$ to $\Delta_{\lambda\mu}$, and it is an isomorphism exactly when $\lambda$ is invertible in the base ring.
  • The antipode satisfies the Rota-Baxter identity, so the Hopf algebra carries a Rota-Baxter operator coming from its own structure.
  • When $\lambda\neq 0$ and $X\neq\emptyset$, the element $1+\lambda\bullet_x$ is group-like and non-invertible, so the bialgebra is not a Hopf algebra; the free cocycle bialgebra still exists in this case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The symmetric cocycle equation differs from the classical asymmetric cocycle equation by treating the two tensor factors equally, and the free object here is planar while the classical free object is built from non-planar rooted forests; interpolating between the two equations through a two-parameter family should produce a deformation of the forest Hopf algebra specializing to both free objects.
  • The forest-representable matrix formula for the dual product is essentially a planar shuffle product; it would be natural to compare it with quasi-shuffle products and with composition laws for numerical integration schemes, potentially giving a matrix implementation of such products.
  • If the finiteness issue is bypassed by defining $\star$ combinatorially rather than through the graded dual, the matrix formula should hold over any base ring; one could then compute products in the dual without choosing a basis of the full linear dual.
  • Because the antipode is a Rota-Baxter operator, one can ask whether Birkhoff-type factorizations inside this Hopf algebra reproduce subtraction procedures used in renormalization, now driven entirely by the symmetric cocycle identity.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper constructs, on the space HRT(X,Ω) of decorated planar rooted forests, a family of coproducts Δλ (λ∈k) satisfying a symmetric 1-cocycle condition for the grafting operators B+ω (Theorems 2.10 and 2.11), gives a combinatorial cut formula for Δλ (Theorem 2.14), and describes the graded dual product via the newly defined forest-representable matrices (Theorem 2.22). For λ=0 it proves that HRT(X,Ω) is a connected cocommutative Hopf algebra with an explicit antipode (Theorems 3.1 and 3.2), and that the antipode is a Rota-Baxter operator (Proposition 3.7). It then introduces Ω-cocycle bialgebras and Hopf algebras, and claims in Theorem 4.6 that (HRT(X,Ω), Δλ, {B+ω}) is the free Ω-cocycle bialgebra on X, with the case λ=0 giving the free Ω-cocycle Hopf algebra. Corollaries 4.7–4.9 draw initial-object and rescaling conclusions.

Significance. If the main freeness claim were correct, the paper would give a uniform operated-algebra explanation of the Moerdijk Hopf algebra as an initial object in a natural category of cocycle Hopf algebras, with the matrix description of the dual product as a useful computational tool. Several parts of the paper are clean and checkable: the induction proofs of Theorems 2.10, 2.11, and 2.14 are elementary, the matrix bijection in Proposition 2.17 is a neat encoding, and the antipode formula in Theorem 3.2 together with its Rota-Baxter consequence is valid. However, the central universal property in Theorem 4.6(a) is false for λ≠0 as stated, and the dual-product theorem is established only under an unjustified finite-type identification; these issues must be resolved before the paper's main claims can be accepted.

major comments (2)
  1. [Section 4.2, Theorem 4.6(a)] The free-object claim for λ≠0 is false as stated. In the proof, after Eq. (13), applying ε_H⊗id gives ε_H(f(x))(1+λ f(x))=0, not ε_H(f(x))=0; the second factor may vanish. A concrete counterexample: take k=Q, λ=1, X={x}, Ω={ω}, and H=Q with Δ(1)=1⊗1, ε(1)=1, Pω=0. This is an Ω-cocycle bialgebra. The set map f(x)=-1 satisfies Eq. (13), since -1⊗1 = 1⊗(-1)+(-1)⊗1+(-1)⊗(-1). By Lemma 4.2, f extends uniquely to an Ω-operated algebra morphism φ:HRT({x},{ω})→Q with φ(•x)=-1. But ε_H(φ(•x))=-1≠0=ε_RT(•x), so φ is not a bialgebra morphism, and no such morphism exists. Thus (HRT(X,Ω), Δλ) is not free on X for λ≠0 and nonempty X. The proof's counit step is precisely where the argument fails. The statement must be corrected, for example by adding ε_H(f(x))=0 to the hypotheses in Definition 4.4(b) and explicitly stating the resulting restricted universal property; the current claim of freeness in the category of all Ω-cocycle bialgebras is false.
  2. [Section 2.5, Theorem 2.22] The identification of HRT(X,Ω) with its graded dual via the bilinear form ⟨F,G⟩=δ_{F,G} requires each weight-graded component to be finite-dimensional. The paper allows arbitrary sets X and Ω, and if either set is infinite then the weight-n component is a free module on an infinite set, so its algebraic dual is strictly larger than the span of the forest basis. As a result, the derivation of the formula for F⋆G in Theorem 2.22 through the pairing ⟨x⊗y, Δ(z)⟩=⟨x⋆y,z⟩ is not literally valid in the stated generality. The theorem can be repaired by defining the product ⋆ combinatorially by the displayed matrix formula, which is a finite sum for fixed F and G, and then proving the adjunction with Δ under a finite-type hypothesis. Please state the finite-type condition explicitly or present the formula as the definition of ⋆.
minor comments (4)
  1. [Section 4.2, proof of Theorem 4.6(b)] In the proof of Theorem 4.6(b), 'By Corollary 3.1' should read 'By Theorem 3.1'.
  2. [Remark 4.10] There is a typo: 'insomorphism' should be 'isomorphism'.
  3. [Proposition 4.5] The proof infers εHPω(h)=0 from the equality εHPω(h)+εHPω(h)=0; this requires the characteristic to be different from 2. The statement is nevertheless true, and a direct proof is obtained by applying ε⊗id to Eq. (12) and then applying ε to the resulting identity in H. Please replace the current argument with a characteristic-free one.
  4. [Definition 4.4] The parameter λ appears only in the universal property (b), not in the definition of an Ω-cocycle bialgebra in (a). This makes the family of categories indexed by λ implicit; please state explicitly that the 'free Ω-cocycle bialgebra' depends on λ, or introduce a term such as λ-Ω-cocycle bialgebra.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the bialgebra and freeness results are derived directly from explicit definitions and standard, disclosed external freeness/Hopf-algebra facts.

full rationale

The paper's derivation chain is self-contained. The coproduct Δλ is defined recursively by Eqs. (2)–(5), and the combinatorial formula (8) in Theorem 2.14 is proved from that definition, not assumed. The dual product formula in Theorem 2.22 is obtained by pairing the homogeneous coproduct Δ0 with the forest-representable-matrix bijection (Proposition 2.17), again a proof from the definitions. Theorem 3.1 invokes only the standard theorem that a connected graded bialgebra is a Hopf algebra, cited to Foissy's notes [9], and Theorem 3.2 uses Takeuchi's formula; neither cites the paper's own target results. The universal property in Theorem 4.6 is proved by first using Lemma 4.2 (free Ω-operated algebra on X, attributed to [39], a standard freeness fact that does not include the cocycle-bialgebra conclusion) and then checking directly that the resulting operated-algebra morphism preserves Δλ and εRT. No fitted parameter is renamed as a prediction and no uniqueness claim is imported from the authors' own prior work in place of a proof. The self-citations that occur are for standard background facts and are not load-bearing in a circular sense. Two non-circularity caveats should be noted: the counit step "which implies that εH(f(x))=0" in the proof of Theorem 4.6(a) is not valid for λ≠0 as written (e.g., H=k, Pω=0, f(x)=−λ^{−1}), and the graded-dual identification in Section 2.5 requires finite-dimensional weight components, which is not guaranteed for arbitrary infinite X and Ω; these are technical/correctness gaps, not circular reasoning, and do not affect the circularity score.

Assumptions & free parameters 1 free parameters · 5 assumptions · 2 invented entities

The central construction depends on standard freeness and Hopf algebra facts from the literature and on the parameter lambda in the definition of the coproduct. No empirical fitting is present. The forest-representable matrices and the Omega-cocycle framework are new definitions rather than externally evidenced entities.

free parameters (1)
  • lambda = arbitrary element of the base ring k
    The coproduct Delta_lambda is defined for any fixed lambda; the Hopf property holds only at lambda equals zero, as stated in Remark 3.4, so lambda is a genuine parameter of the family of bialgebras and is load-bearing for the freeness statements.
assumptions (5)
  • standard math The decorated planar forest space with grafting operators B+_omega is the free Omega-operated monoid and free Omega-operated unitary algebra on X.
    Cited from Guo and Zhang et al. as Lemma 4.2 and used in Theorem 4.6 to extend a set map f to a unique algebra morphism respecting the operators.
  • standard math Every connected graded bialgebra over the base ring k admits an antipode.
    Used in Theorem 3.1 to pass from the connected graded bialgebra at lambda equals zero to a Hopf algebra, citing Foissy's lecture notes.
  • standard math The antipode of a cocommutative Hopf algebra is a Rota-Baxter operator.
    Goncharov's Corollary 1, cited as Lemma 3.6 and used directly in Proposition 3.7; the paper adds no new proof.
  • standard math Takeuchi's formula expresses the antipode of a Hopf algebra as an alternating sum over iterated reduced coproducts.
    Used in Theorem 3.2 to derive the explicit antipode formula as sums over set partitions of the vertex set.
  • domain assumption The symmetric 1-cocycle condition Delta P_omega equals (P_omega tensor id plus id tensor P_omega) Delta is the correct cocycle condition for Moerdijk Hopf algebras.
    This is the defining modeling choice of the paper, explicitly traced to Moerdijk's q1 equals q2 equals 1 case in Remark 2.5(b). If the classical Connes-Kreimer cocycle were used instead, the universal property would describe a different algebra.
invented entities (2)
  • forest-representable matrices FM(X,Omega)
    purpose: Encode planar decorated rooted forests by upper-triangular h/r matrices and give an explicit formula for the dual product star in Theorem 2.22.
    A new combinatorial gadget introduced in Definition 2.16. Its correctness is established internally by the bijection in Proposition 2.17, not by any external prediction or measurement.
  • Omega-cocycle bialgebra and multiple cocycle Hopf algebra
    purpose: Define a category of operated bialgebras whose free and initial objects are claimed to be the constructed forest algebras.
    A new definitional framework built on the symmetric 1-cocycle condition. Its value is the universal property proved in Theorem 4.6, not an independently falsifiable consequence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Moerdijk Hopf algebras of decorated rooted forests: an operated algebra approach." pith.science (2026). https://pith.science/paper/IHXY755U

@misc{pith2026250818658,
  author       = {Pith},
  title        = {Pith review of: Moerdijk Hopf algebras of decorated rooted forests: an operated algebra approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IHXY755U}},
  note         = {Machine review of arXiv:2508.18658}
}
read the original abstract

In this paper, we first endow the space of decorated planar rooted forests with a coproduct that equips it with the structure of a bialgebra and further a Moerdijk Hopf algebra. We also present a combinatorial description of this coproduct, and further give an explicit formulation of its dual coproducts through the newly defined notion of forest-representable matrices. By viewing the Moerdijk Hopf algebra within the framework of operated algebras, we introduce the notion of a multiple cocycle Hopf algebra, incorporating a symmetric Hochschild 1-cocycle condition. We then show that the antipode of this Hopf algebra is a Rota-Baxter operator on Moerdijk Hopf algebras. Furthermore, we investigate the universal properties of cocycle Hopf algebras. As an application, we construct the initial object in the category of free cocycle Hopf algebras on undecorated planar rooted forests, which coincides with the well-known Moerdijk Hopf algebra.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 40 canonical work pages

  1. [1]

    L. A. Bokut, Y . Chen and J. Qiu, Gr¨obner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras, J. Pure Appl. Algebra 214 (2010) 89-110. 3

    work page 2010

  2. [2]

    Brouder, Trees, Renormalization and Di fferential Equations, BIT Numerical Mathematics 44 (2004), 425-438

    C. Brouder, Trees, Renormalization and Di fferential Equations, BIT Numerical Mathematics 44 (2004), 425-438. 2

    work page 2004

  3. [3]

    Brouder, A

    C. Brouder, A. Frabetti and F. Menous , Combinatorial Hopf algebras from renormalization,J. Algebraic Combin. 32 (2010), 557-578. 2 MOERDIJK HOPF ALGEBRAS OF DECORATED ROOTED FORESTS 23

    work page 2010

  4. [4]

    Bruned, M

    Y . Bruned, M. Hairer and L. Zambotti, Algebraic renormalisation of regularity structures, Invent. Math. 215 (2019), 1039-1156. 2

    work page 2019

  5. [5]

    Connes and D

    A. Connes and D. Kreimer, Hopf algebras, renormalization and non-commutative geometry, Comm. Math. Phys. 199 (1998), 203-242. 2, 6, 19

    work page 1998

  6. [6]

    Clavier, L

    P. Clavier, L. Guo, S. Paycha and B. Zhang, Locality and renormalization: Universal properties and integrals on trees, J. Math. Phys. 61 (2020), 022301. 2

    work page 2020

  7. [7]

    Chapoton and M

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

    work page 2001

  8. [8]

    Chakraborty and F

    M. Chakraborty and F. Herzog, The asymptotic Hopf Algebra of Feynman Integrals,J. High Energ. Phys. 6 (2025). 2

    work page 2025

Show all 41 references
  1. [9]

    Foissy, Introduction to Hopf algebra of rooted trees, URL: http: //loic.foissy.free.fr/pageperso/p11.pdf 6, 17, 19

    L. Foissy, Introduction to Hopf algebra of rooted trees, URL: http: //loic.foissy.free.fr/pageperso/p11.pdf 6, 17, 19

  2. [10]

    Foissy, Les alg `ebres de Hopf des arbres enracin ´es d ´ecor´es

    L. Foissy, Les alg `ebres de Hopf des arbres enracin ´es d ´ecor´es. I. (French) [Hopf algebras of decorated rooted trees. I, II] Bull. Sci. Math. 126 (2002), 193-239, 249-288. 2, 4

    2002

  3. [11]

    Foissy, Algebraic structures on typed decorated rooted trees, SIGMA 17 (2021), 086, 28 pages

    L. Foissy, Algebraic structures on typed decorated rooted trees, SIGMA 17 (2021), 086, 28 pages. 2

    2021

  4. [12]

    L Foissy, L Guo, X. Peng, Y . Xie and Y . Zhang, Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors, arXiv:2501.07009. 2

    arXiv

  5. [13]

    Grossman and R

    R. Grossman and R. G. Larson, Hopf-algebraic structure of families of trees, J. Algebra 126 (1989), 184-210. 2

    1989

  6. [14]

    Grossman and R

    R. Grossman and R. G. Larson, Di fferential algebra structures on families of trees, Adv. in Appl. Math. 35 (2005), 97-119. 2

    2005

  7. [15]

    Guo, Operated semigroups, Motzkin paths and rooted trees, J

    L. Guo, Operated semigroups, Motzkin paths and rooted trees, J. Algebraic Combin. 29 (2009), 35-62. 3, 4, 19

    2009

  8. [16]

    L. Guo, S. Paycha and B. Zhang, Renormalization by Birkho ff-Hopf factorization and by generalized evaluators: a case study, In Noncommutative Geometry, Arithmetic, and Related Topics, (2011), 183- 211, Johns Hopkins University Press. 2

    2011

  9. [17]

    L. Guo, H. Lang and Y . Sheng, Integration and geometrization of Rota-Baxter Lie algebras, Adv. Math. 387 (2021), Paper No. 107834, 34 pp. 4

    2021

  10. [18]

    Goncharov, Rota-Baxter operators on cocommutative Hopf algebras, J

    M. Goncharov, Rota-Baxter operators on cocommutative Hopf algebras, J. Algebra 582 (2021), 39-56. 4, 19

    2021

  11. [19]

    P. J. Higgins, Groups with multiple operators, Proc. London Math. Soc. 6 (1956), 366-416. 3

    1956

  12. [20]

    Holtkamp, Comparison of Hopf algebras on trees, Arch

    R. Holtkamp, Comparison of Hopf algebras on trees, Arch. Math. (Basel) 80 (2003), 368-383. 2

    2003

  13. [21]

    Kock, Categorification of Hopf algebras of rooted trees, Cent

    J. Kock, Categorification of Hopf algebras of rooted trees, Cent. Eur. J. Math.11 (2013), 401-422. 2

    2013

  14. [22]

    Kreimer, On the Hopf algebra structure of perturbative quantum field theories, Adv

    D. Kreimer, On the Hopf algebra structure of perturbative quantum field theories, Adv. Theor. Math. Phys. 2 (1998), 303-334. 2

    1998

  15. [23]

    A. G. Kurosh, Free sums of multiple operator algebras, Siberian. Math. J. 1 (1960), 62-70. 3

    1960

  16. [24]

    Laan and I

    P. Laan and I. Moerdijk, Families of Hopf algebras of trees and pre-Lie algebras, Homology Homotopy Appl. 8 (2006), 243-256. 7

    2006

  17. [25]

    Lundervold, H

    A. Lundervold, H. Munthe-Kaas, Hopf algebras of formal diffeomorphisms and numerical integration on manifolds, Contemp. Math. 539 (2011), 295-324. 2

    2011

  18. [26]

    Loday, Cyclic Homology, Springer-Verlag, Berlin, 1992

    J.-L. Loday, Cyclic Homology, Springer-Verlag, Berlin, 1992. 6

    1992

  19. [27]

    Loday and M

    J.-L. Loday and M. O. Ronco, Hopf algebra of the planar binary trees, Adv. Math. 139 (1998), 293-309. 2

    1998

  20. [28]

    Murua, The Hopf algebra of rooted trees, free Lie algebras, and Lie series, Found Comput Math 6, (2006) 387-426

    A. Murua, The Hopf algebra of rooted trees, free Lie algebras, and Lie series, Found Comput Math 6, (2006) 387-426. 2

    2006

  21. [29]

    Marcolli, R

    M. Marcolli, R. Berwick and N. Chomsky, Old and New Minimalism: a Hopf algebra comparison, arXiv:2306.10270. 2, 3

    arXiv

  22. [30]

    Marcolli, R

    M. Marcolli, R. Berwick and N. Chomsky, Mathematical structure of syntactic merge: An algebraic model for generative Linguistics, the MIT Press, Massachusetts Institute of Technology, Cambridge, MA. 2025. 3

    2025

  23. [31]

    Moerdijk, On the Connes-Kreimer construction of Hopf algebras, Contemp

    I. Moerdijk, On the Connes-Kreimer construction of Hopf algebras, Contemp. Math. 271 (2001), 311-

    2001

  24. [32]

    X. S. Peng, Y . Zhang, X. Gao and Y . F. Luo, Left counital Hopf algebras on bi-decorated planar rooted forests and Rota-Baxter systems, Bull. Belg. Math. Soc.–Simon Stevin 27 (2020), 219-243. 2, 4 24 LO ¨IC FOISSY, XIAO-SONG PENG, YUNZHOU XIE, AND YI ZHANG

    2020

  25. [33]

    R. P. Stanley, Enumerative combinatorics. V ol. 1. Number 49 in Cambridge Studies in Advanced Math- ematics, Cambridge University Press, Cambridge, 1997. 4

    1997

  26. [34]

    Takeuchi, Free Hopf algebras generated by coalgebras, J

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

    1971

  27. [35]

    Vinberg, The theory of homogeneous convex cones, Transl

    E.B. Vinberg, The theory of homogeneous convex cones, Transl. Moscow Math. Soc. 2 (1963), 303-358

    1963

  28. [36]

    Zhang, X

    T. Zhang, X. Gao and L. Guo, Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras, J. Math. Phys. 57 (2016), 16 pp. 2, 3, 19

    2016

  29. [37]

    Zhang, A

    X. Zhang, A. Xu and L. Guo, Hopf algebra structure on free Rota-Baxter algebras by angularly decorated rooted trees, J. Algebraic Combin. 55 (2022), 1331-1349. 2

    2022

  30. [38]

    Algebraic Combin

    Y Zhang, X Gao, Hopf algebras of planar binary trees: an operated algebra approach, J. Algebraic Combin. 51 (2020), 567-588. 3

    2020

  31. [39]

    Zhang, D

    Y . Zhang, D. Chen, X. Gao and Y . F. Luo, Weighted infinitesimal unitary bialgebras on rooted forests and weighted cocycles, Pacific J. Math. 302 (2019), 741-766. 2, 19

    2019

  32. [40]

    Zhang, X Gao and L Guo, Hopf algebra of multidecorated rooted forests, free matching Rota-Baxter algebras and Gr¨obner-Shirshov bases, Pacific J

    Y . Zhang, X Gao and L Guo, Hopf algebra of multidecorated rooted forests, free matching Rota-Baxter algebras and Gr¨obner-Shirshov bases, Pacific J. Math. 317 (2022), 441-475. 3

    2022

  33. [41]

    Zheng, Y

    S. Zheng, Y . Liu, Cocycle Hopf algebra structures on free modified Rota-Baxter algebras by vertexdec- orated rooted trees, to appear in Acta Mathematica Sinica English Series. (2025). 2 Univ. L ittoral Cˆote d ’Opale, UR 2597 LMPA, L aboratoire de Math´ematiques Pures et Appl...

    2025

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.