Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors

Li Guo; Loic Foissy; Xiao-Song Peng; Yi Zhang; Yunzhou Xie

REVIEW 2 major objections 4 minor 1 cited by

Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors

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

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

Pith's one-line read This paper proves that the species of simple angularly decorated forests is the free Rota-Baxter species on single-leaf trees, equips it with a twisted bialgebra structure, and shows the Fock functor reproduces the bialgebra structure of…

desk verdict Worth engaging: the free Rota-Baxter species construction is new and convincing, but the twisted bialgebra proof relies on an unproved tensor-power assertion that a referee should check. read the letter →

arxiv 2501.07009 v1 pith:2VC3CX27 submitted 2025-01-13 math.CO math.CTmath.RA

Loic Foissy , Li Guo , Xiao-Song Peng , Yunzhou Xie , Yi Zhang This is my paper · ORCID

classification math.COmath.CTmath.RA MSC 18M8017B3818D1005C0516S1016T1008B20

keywords Rota-BaxterspeciestwistedbialgebraangularlydecoratedforestsrootedtreesFockfunctorfreealgebragraftingoperator

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

The paper lifts the theory of free Rota-Baxter algebras to the level of species: functors from finite sets with bijections to vector spaces. Its central object is the species ADF, whose value on a finite set X is spanned by planar rooted forests whose angles are decorated exactly once by the elements of X. The paper claims that ADF, together with the grafting operator B+, is the free Rota-Baxter species on the species of one-leaf decorated trees, and that ADF carries a twisted bialgebra structure. A sympathetic reader should care because this species-level structure is a common lift of several previously known constructions: the Fock functor recovers the bialgebra and Rota-Baxter algebra structures of free Rota-Baxter algebras built directly from angularly decorated trees.

What carries the argument

The central object is the species ADF of simple angularly decorated forests. The load-bearing pieces are: the grafting operator B+, which sends a forest to a new tree by adding a root and serves as the Rota-Baxter operator; the free Rota-Baxter species universal property, which lets the authors define the coproduct Δ from a morphism out of O; and the operator R(2) on ADF⊗ADF, defined by R(2)(F⊗G)=B+(F)⊗G+ε(F)•⊗B+(G), whose Rota-Baxter identity is verified in Proposition 3.3. The Fock functors then convert the species-level twisted bialgebra into graded algebras, recovering the known free Rota-Baxter algebra structures.

What would settle it

Compute the two sides of the Rota-Baxter identity for the operator R(2) on a concrete pair of simple decorated forests, for instance F=•x• in ADF[{x}] and G=•y• in ADF[{y}], and check equality using the explicit product ⋄ and augmentation ε; alternatively, test coassociativity of Δ on a small forest such as B+(B+(•)) in ADF[∅] by computing both iterated coproducts and comparing them.

Watch

Extended reading notes

Core claim

For any finite set X, let ADF[X] be the vector space spanned by simple angularly X-decorated rooted forests, meaning rooted planar forests whose angles are decorated by the elements of X, each used exactly once. Equipped with the concatenation-like product ⋄ and the grafting operator B+ that adds a new root, ADF becomes a Rota-Baxter species of weight λ. The main structural claim is that the inclusion i:O→ADF, where O is the species spanned by one-leaf trees with a single decoration, makes ADF the free Rota-Baxter species on O (Theorem 2.16). Then, using the universal property of this free object, the paper defines a coproduct Δ on ADF via a Rota-Baxter operator R(2) on the tensor square ADF⊗ADF, and proves that (ADF,m,•,Δ,ε) is a twisted bialgebra (Theorem 3.11). Applying the Bosonic and colored Fock functors to this twisted bialgebra yields the graded bialgebra and Rota-Baxter algebra structures on free Rota-Baxter algebras that were previously obtained by direct constructions on angularly decorated forests.

Load-bearing premise

The whole twisted bialgebra structure rests on the verification that the operator R(2) on ADF⊗ADF satisfies the Rota-Baxter identity in Proposition 3.3; if that lengthy check contains a hidden error, the coproduct and coassociativity arguments would collapse.

Editorial extensions

If this is right

The free Rota-Baxter algebra on a set E is realized as the E-colored Fock functor applied to the free Rota-Baxter species ADF.
The twisted bialgebra structure on ADF descends through Fock functors to the known bialgebra structures on free Rota-Baxter algebras, giving a uniform alternative proof.
The universal property of ADF gives a canonical way to construct morphisms from free Rota-Baxter species, including the coproduct and higher tensor-power Rota-Baxter structures.
If the species ADF could be made connected under an appropriate filtration, a twisted Hopf algebra structure would follow from standard results; the paper notes this as an open direction.
The species-level formulation renders the constructions functorial under relabeling of decorations, which may facilitate transfer to settings where symmetry under set bijections is essential.

Reading between the lines

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

One testable extension is to look for a twisted Hopf algebra structure on a suitable filtration of ADF, paralleling the connected filtration used for free Rota-Baxter algebras in earlier work.
The same species-level machinery could be applied to other operator algebras, such as dendriform or tridendriform algebras, by replacing the grafting operator with the appropriate combinatorial construction.
The Fock-functor recovery suggests that many algebraic constructions on free Rota-Baxter algebras have canonical lifts to the species level; identifying which constructions lift could clarify the relationship between species and graded-algebra perspectives.
Because the Fock functor with singleton colors reduces to the bosonic Fock functor, the colored case may offer a way to track symmetries under permutation of decorations that are invisible in the ordinary graded algebra.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know: this paper really does introduce a new species-level version of Rota-Baxter algebras, and the free object built from simple angularly decorated forests is a genuine contribution. Theorem 2.16, where ADF is shown to be the free Rota-Baxter species on the one-element species, is the strongest part. The proof is a clean induction on |X| and depth, and it uses the universal property in a direct way. The Fock functor results in Section 4 are not new theorems but they do what they claim: they recover the known free Rota-Baxter algebra constructions and their bialgebra structures. The circularity burden is low; they use their earlier direct constructions as motivation, but the freeness proof here is self-contained.

The soft spot is the twisted bialgebra part, and it is real. The coproduct is defined via the universal property of the free species, which requires ADF ⊗ ADF to be a Rota-Baxter species with the operator R(2). Proposition 3.3 gives a long computation for this, and it is basically believable, though hard to read and with some harmless index sloppiness (for example, writing R_{X1⊔Y1} where only R_{X1} can act after the first term is killed by ε). The bigger problem is Proposition 3.4: R(3) on ADF ⊗ ADF ⊗ ADF is asserted to be a Rota-Baxter operator "by a similar argument," and no proof is given. That proposition is load-bearing for coassociativity because Proposition 3.10 invokes the universal property again to produce Δ' from R(3). As written, the coassociativity proof is conditional on an unverified identity. I do not think the result is wrong, and the missing argument is plausibly obtainable by extending the same computation, but a referee should be asked to supply it or to have the authors spell it out.

There is also a typo in Lemma 3.8 (the line involving ρX on •x•) that should be corrected, and the exposition around Definition 3.5 and Lemma 3.8 could be cleaner. These are minor.

For a reader working on combinatorial species, Rota-Baxter algebras, or Hopf-theoretic lifts of tree constructions, this paper is worth the time. It deserves a serious referee, and the main gap is checkable rather than fundamental. I would not desk reject it; I would send it out and ask the referee to verify Proposition 3.4.

Recommendation: engage with it, but treat the bialgebra theorems as provisional until the tensor-power Rota-Baxter identities are fully checked.

Referee Report

2 major / 4 minor

Summary. The paper introduces the notion of Rota-Baxter species, i.e. twisted algebras in the category of species equipped with a Rota-Baxter operator, together with the corresponding free object. It constructs the species ADF of simple angularly decorated forests, equips it with the known angularly decorated forest product ⋄ and the grafting operator B+, and proves in Theorem 2.16 that (ADF, i: O → ADF) is the free Rota-Baxter species on the singleton species O. The main structural result is Theorem 3.11, which asserts a twisted bialgebra structure on ADF. The coproduct is obtained through the universal property of the free Rota-Baxter species, using Rota-Baxter operators on ADF⊗ADF and ADF⊗ADF⊗ADF. The final section defines Fock functors for Rota-Baxter species and shows that they recover, in the angularly decorated forest case, the previously known free Rota-Baxter algebra and bialgebra constructions.

Significance. If fully established, the paper gives a genuine species-level lift of free Rota-Baxter algebras, with a universal property and a twisted bialgebra structure, and explains the known bialgebra on angularly decorated forests through Fock functors. The freeness theorem and the systematic use of the universal property to build the coproduct are attractive and potentially useful for further work on twisted Hopf monoids. However, the central bialgebra theorem currently rests on an unproved assertion about the triple tensor power, so the significance is conditional on that gap being closed. The paper is well grounded in the existing literature and does not rely on unexplained or circular input beyond the standard free Rota-Baxter algebra constructions used to define ⋄ and B+.

major comments (2)

[§3.1, Proposition 3.4; §3.2, Proposition 3.10] Proposition 3.4 asserts that ADF⊗ADF⊗ADF is a Rota-Baxter species under the operator R(3), but the proof is omitted with only the phrase "by a similar argument for the proof of Proposition 3.3". This is load-bearing: Proposition 3.10 constructs the morphism ∆′ : ADF → ADF⊗ADF⊗ADF by applying the universal property of the free Rota-Baxter species to the target species ADF⊗ADF⊗ADF, and the uniqueness of ∆′ is exactly what forces (∆⊗id)∘∆ = (id⊗∆)∘∆. Without a verification that R(3) satisfies the Rota-Baxter identity, Theorem 3.11 is not established as written. Please supply the full computation or a general lemma covering all tensor powers ADF^{⊗n}.
[§3.1, proof of Proposition 3.3] The lengthy verification of the Rota-Baxter identity for R(2) contains incorrect subscripts in intermediate terms. For the summand (ε_{X1}(F1)•⋄F2)⊗(R_{X\X1}(G1)⋄G2), the operator on the first factor should be R_{Y1}, not R_{X1⊔Y1}; similarly, in the symmetric summand the first factor should carry R_{X1}. These errors are harmless only because ε_{X1}(F1) is nonzero only when X1 = ∅ (and analogously for Y1), so the incorrect and correct expressions coincide in all nonzero cases. Nevertheless, the proof is very hard to check in its current form; it should be rewritten with explicit case distinctions and correct indices.

minor comments (4)

[§3.1 and §3.2, displayed equations] There are stray symbols in the displayed computations: a stray "p" appears just before the line "(R_{X1}(F1) ⋄ F2) ⊗ ..." in the proof of Proposition 3.3, and "R^{(3)}_X p" appears in the proof of Proposition 3.10. These should be removed.
[§3.2, proof of Lemma 3.8] The sentence "ρ_X(•x ◦ •) = x • x ◦ •" is garbled and should read something like "ρ_X(•x•) = •x•". The same paragraph also uses the notation "ǫ∅ ◦ id" and "id ◦ ǫ∅" in a way that is easy to misread; a brief explanation of the intended component maps would help.
[§4, Proposition 4.5] The definition of H as forests "whose angles are decorated by {1,2,...,n}, where n is the number of angles" is slightly circular; for a simple decorated forest the decoration set has cardinality equal to the number of angles, but this equality is the content of the simplicity condition and should be stated as such.
[§2.3, proof of Lemma 2.13] The overline notation distinguishing T from B+(T) is not rendered distinctly in the displayed formula for F⋄G, making the inductive step harder to follow. Please clarify the notation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: freeness and twisted bialgebra are derived directly; the Fock functor section recovers earlier results rather than assuming them.

full rationale

The paper's central claims are the freeness of the Rota-Baxter species ADF (Theorem 2.16) and the twisted bialgebra structure (Theorem 3.11). Both are obtained by direct construction: the freeness proof defines the extension map by induction on the size of the finite set and on depth, and then appeals to the universal property's uniqueness, rather than citing the target theorem. The twisted bialgebra coproduct is defined via the universal property using the independently established Rota-Baxter structure on tensor powers; coassociativity is shown by comparing two maps on the generator species O and invoking uniqueness. The paper does rely on the known free Rota-Baxter algebra construction on angularly decorated forests [20,27] for the multiplication ⋄ and the grafting operator B+, but this is an external published algebraic input, not the paper's own conclusion; the species-level freeness is a new result proved from that input, not a circular renaming. The Fock functor section explicitly recovers, rather than assumes, the bialgebra structure on free Rota-Baxter algebras, so there is no fitted-input-called-prediction pattern. The only notable weakness is not circularity: Proposition 3.4 is asserted with 'by a similar argument for the proof of Proposition 3.3' and is load-bearing for coassociativity, so Theorem 3.11 is conditional on an omitted verification. That is a correctness or completeness gap, not a reduction of the result to its own input, and therefore does not raise the circularity score.

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

No free parameters are fitted; the paper is a pure mathematical construction. The axioms are standard background from species theory, monoidal categories, and the prior free Rota-Baxter algebra literature. The new mathematical objects, Rota-Baxter species and the species ADF, are anchored to known results through the Fock functor, so they are not gratuitous inventions.

assumptions (5)

standard math The base field k has characteristic zero.
Stated in the Notations section; used implicitly throughout for the species category and tensor products.
standard math The category of linear species under the Cauchy product is a symmetric monoidal category.
Invoked in Definitions 2.3, 2.6 and throughout; cited from [4,14,30].
domain assumption Free Rota-Baxter algebra structure on angularly decorated forests (Theorem 2.12).
The multiplication ⋄ and the grafting operator B+ on angularly decorated forests are taken from [20,27]; the paper lifts them to the species ADF and proves the needed properties, but the underlying free algebra result is used as background.
domain assumption Rota-Baxter operators can be defined for monoidal categories.
Definition 2.6 of a Rota-Baxter species is an instance of the monoidal-category notion of Rota-Baxter operator from [2,40].
standard math The universal property of free objects determines morphisms uniquely (Remark 2.9).
Used in the proof of Theorem 2.16 and in the construction of Δ in Section 3.2.

invented entities (2)

Rota-Baxter species of weight λ independent evidence
purpose: Defines Rota-Baxter algebras internal to the category of species, used as the central object of study; Definition 2.6.
The Fock functor sends Rota-Baxter species to graded Rota-Baxter algebras (Lemma 4.4), recovering known free Rota-Baxter algebras, so the notion is anchored to prior results beyond this paper.
Species ADF of simple angularly decorated forests independent evidence
purpose: Serves as the carrier of the free Rota-Baxter species on O and of the twisted bialgebra structure; Section 2.2.
The bosonic and colored Fock functors on ADF recover the known free noncommutative unitary Rota-Baxter algebra generated by a set (Remarks 4.6 and 4.11), providing a check against the prior literature.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors." pith.science (2026). https://pith.science/paper/2VC3CX27

@misc{pith2026250107009,
  author       = {Pith},
  title        = {Pith review of: Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2VC3CX27}},
  note         = {Machine review of arXiv:2501.07009}
}

read the original abstract

As a fundamental and ubiquitous combinatorial notion, species has attracted sustained interest, generalizing from set-theoretical combinatorial to algebraic combinatorial and beyond. The Rota-Baxter algebra is one of the algebraic structures with broad applications from Renormalization of quantum field theory to integrable systems and multiple zeta values. Its interpretation in terms of monoidal categories has also recently appeared. This paper studies species of Rota-Baxter algebras, making use of the combinatorial construction of free Rota-Baxter algebras in terms of angularly decorated trees and forests. The notion of simple angularly decorated forests is introduced for this purpose and the resulting Rota-Baxter species is shown to be free. Furthermore, a twisted bialgebra structure, as the bialgebra for species, is established on this free Rota-Baxter species. Finally, through the Fock functor, another proof of the bialgebra structure on free Rota-Baxter algebras is obtained.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Integro-differential rings on species and derived structures
math.CO 2025-01 conditional novelty 6.0 of 10

Set and linear species with their natural derivation and the analytic Joyal integral form integro-differential rings, and localized rational species form modified integro-differential rings.

Reference graph

Works this paper leans on

47 extracted references · 46 canonical work pages · cited by 1 Pith paper

[1]

Aguiar, On the associative analog of Lie bialgebras, J

M. Aguiar, On the associative analog of Lie bialgebras, J. Algebra 244 (2001), 492–532. 2

work page 2001
[2]

Aguiar, Dendriform algebras relative to a semigroup, SIGMA Symmetry Integrability Geom

M. Aguiar, Dendriform algebras relative to a semigroup, SIGMA Symmetry Integrability Geom. Methods Appl. 16 (2020), 15 pp. 2, 5

work page 2020
[3]

Aguiar and S

M. Aguiar and S. Mahajan, Monoidal functors, species and Hopf algebras, CRM Monograph Series, vol. 29, American Mathematical Society, Providence, RI, 2010. 2, 16, 17

work page 2010
[4]

Aguiar and S

M. Aguiar and S. Mahajan, Hopf monoids in the category of s pecies, Contemporary Mathematics 585 (2013), 17-124. 2, 3, 4, 19

work page 2013
[5]

Aguiar and W

M. Aguiar and W . Moreira, Combinatorics of the free Baxte r algebra, Electronic J. Combinator . 13 (2006), (R17):1. 2, 3

work page 2006
[6]

Andrew, L

G. Andrew, L. Guo, W . Keigher and K. One, Baxter algebras a nd Hopf algebras, Trans. Amer . Math. Soc. 355 (2003), 4639-4656. 2

work page 2003
[7]

Auger, G

P . Auger, G. Labelle and P . Leroux, Generalized binomial coeﬃcients for molecular species, In memory of Gian-Carlo Rota, J. Combin. Theory Ser . A 91 (2000), 15-48. 2

work page 2000
[8]

Bai, A uniﬁed algebraic approach to the classical Y ang -Baxter equations, J

C. Bai, A uniﬁed algebraic approach to the classical Y ang -Baxter equations, J. Phys. A: Math. Theor .40 (2007), 11073-11082. 2 SPECIES OF ROTA-BAXTER ALGEBRAS BY ROOTED TREES AND TWISTED BIALGEBRAS 21

work page 2007

Show all 47 references

[9]

C. Bai, O. Bellier, L. Guo and X. Ni, Splitting of operatio ns, Manin products and Rota-Baxter operators, Int. Math. Res. Not. IMRN (2013), 485-524. 2

2013
[10]

C. Bai, L. Guo and T. Ma, Bialgebras, Frobenius algebras and associative Y ang-Baxter equations for Rota- Baxter algebras, Asian J. Math. 28 (2024), 411-436 2

2024
[11]

V . G. Bardakov and V . Gubarev, Rota-Baxter groups, skewleft braces, and the Y ang-Baxter equation,J. Algebra 596 (2022), 328-351. 2

2022
[12]

Baxter, An analytic problem whose solution follows f rom a simple algebraic identity, Paciﬁc J

G. Baxter, An analytic problem whose solution follows f rom a simple algebraic identity, Paciﬁc J. Math. 10 (1960), 731-742. 2

1960
[13]

A. A. Belavin and V . G. Drinfeld, Solutions of the classi cal Y ang-Baxter equation for simple Lie algebras, Funct. Anal. Appl. 16 (1982), 159-180. 2

1982
[14]

Bergeron, G

F. Bergeron, G. Labelle and P . Leroux, Combinatorial Sp ecies and Tree-Like Structures, Cambridge University Press, 1998. 2, 3

1998
[15]

Bordemann, Generalized Lax pairs, the modiﬁed class ical Y ang-Baxter equation, and aﬃne geometry of Lie groups

M. Bordemann, Generalized Lax pairs, the modiﬁed class ical Y ang-Baxter equation, and aﬃne geometry of Lie groups. Comm. Math. Phys. 135 (1990), 201-216. 2

1990
[16]

Carlier, Hereditary species as monoidal decomposit ion spaces, comodule bialgebras, and operadic categories, Int

L. Carlier, Hereditary species as monoidal decomposit ion spaces, comodule bialgebras, and operadic categories, Int. Math. Res. Not. IMRN (2022), no. 8, 5745-5780. 2

2022
[17]

Cartier, On the structure of free Baxter algebras, Adv

P . Cartier, On the structure of free Baxter algebras, Adv. Math. 9 (1972), 253-265. 2

1972
[18]

Connes and D

A. Connes and D. Kreimer, Renormalization in quantum ﬁe ld theory and the Riemann-Hilbert problem I: the Hopf algebra structure of graphs and the main theorem, Comm. Math. Phys. 210 (2000), 249–273. 2

2000
[19]

Das, Deformations of associative Rota-Baxter opera tors, J

A. Das, Deformations of associative Rota-Baxter opera tors, J. Algebra 560 (2020), 144-180. 2

2020
[20]

Ebrahimi-Fard, L

K. Ebrahimi-Fard, L. Guo, Free Rota-Baxter algebras an d rooted trees, J. Algebra Appl. 7 (2008), 167-194. 3, 6, 7, 8, 17, 18, 20

2008
[21]

Fiore, N

M. Fiore, N. Gambino, M. Hyland, G. Winskel, The Cartesi an closed bicategory of generalised species of structures, J. Lond. Math. Soc. (2) 77 (2008), 203-220. 2

2008
[22]

Foissy, Twisted bialgebras, cofreeness and cointer action, arXiv:1905.10199 2, 4, 5, 12, 13, 14, 17, 18, 19

L. Foissy, Twisted bialgebras, cofreeness and cointer action, arXiv:1905.10199 2, 4, 5, 12, 13, 14, 17, 18, 19

1905 arXiv
[23]

X. Gao, L. Guo. M. Rosenkranz, H. Zhang and S. Zhang, Inte gro-diﬀerential rings on species and derived structures, arXiv:2501.05540, 2025. 3

2025 arXiv
[24]

I. M. Gessel, Counting tanglegrams with species, J. Combin. Theory Ser . A 184 (2021), Paper No. 105498, 15 pp. 2

2021
[25]

I. Z. Golubchik and V . V . Sokolov, Generalized perator Yang-Baxter equations, integrable ODEs and nonasso- ciative algebras, J. Nonlinear Math. Phys. 7 (2000), 184-197. 2

2000
[26]

Goncharov and V

M. Goncharov and V . Gubarev, Double Lie algebras of a non zero weight, Adv. Math. 409 (2022), part B, Paper No. 108680, 30 pp. 2

2022
[27]

Guo, An Introduction to Rota-Baxter Algebra, Intern ational Press, 2012

L. Guo, An Introduction to Rota-Baxter Algebra, Intern ational Press, 2012. 2, 3, 5, 6, 7, 8, 17, 18, 20

2012
[28]

L. Guo, R. Gustavson and Y . Li, Generalized Reynolds alg ebras from V olterra integrals and their free construc- tion by complete shu ﬄe product, 2411.02633. 3

arXiv
[29]

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

2021
[30]

Joyal, Une th´ eorie combinatoire des s´ eries formelles, Adv

A. Joyal, Une th´ eorie combinatoire des s´ eries formelles, Adv. in Math. 42 (1981), 1-82. 2, 3

1981
[31]

Lang and Y

H. Lang and Y . Sheng, Factorizable Lie bialgebras, quad ratic Rota-Baxter Lie algebras and Rota-Baxter Lie bialgebras, Commun. Math. Phys. 397 (2023), 763-791. 2

2023
[32]

Marberg, Strong forms of linearization for Hopf mono ids in species, J

E. Marberg, Strong forms of linearization for Hopf mono ids in species, J. Algebraic Combin. 42 (2015), 391-

2015
[33]

Marberg, Strong forms of self-duality for Hopf monoi ds in species, Trans

E. Marberg, Strong forms of self-duality for Hopf monoi ds in species, Trans. Amer . Math. Soc. 368 (2016), 5433-5473. 2

2016
[34]

Maia and M

M. Maia and M. M´ endez, On the arithmetic product of comb inatorial species, Discrete Math. 308 (2008), 5407-5427. 2

2008
[35]

Norledge, Species-theoretic foundations of pertur bative quantum ﬁeld theory, arXiv:2009.09969

W . Norledge, Species-theoretic foundations of pertur bative quantum ﬁeld theory, arXiv:2009.09969. 2

2009 arXiv
[36]

Rosenkranz and G

M. Rosenkranz and G. Regensburger, Solving and factori ng boundary problems for linear ordinary di ﬀerential equations in di ﬀerential algebras, J. Symbolic Computation 43 (2008), 515-544. 3

2008
[37]

Rota, Baxter algebras and combinatorial identit ies I, II, Bull

G.-C. Rota, Baxter algebras and combinatorial identit ies I, II, Bull. Amer . Math. Soc. 75 (1969), 325–329, 330–334. 2

1969
[38]

G.-C. Rota, Baxter operators, an introduction, in: Gian-Carlo Rota on Combinatorics, Introductory Papers and Commentaries (1995), 504–512, Birkh¨ auser.2 22 LO ¨ IC FOISSY, LI GUO, XIAO-SONG PENG, YUNZHOU XIE, AND YI ZHANG

1995
[39]

M. A. Semenov-Tian-Shansky, What is a classical r-matr ix? Funct. Anal. Appl. 17 254-272 (1983). 2

1983
[40]

Street, Weighted tensor products of Joyal species, g raphs, and charades, SIGMA 12 (2016), 005, 20 pages

R. Street, Weighted tensor products of Joyal species, g raphs, and charades, SIGMA 12 (2016), 005, 20 pages. 2, 5

2016
[41]

Tamaroﬀ, The cohomology of coalgebras in species, Comm

P . Tamaroﬀ, The cohomology of coalgebras in species, Comm. Algebra 50 (2022), 2811-2830. 2

2022
[42]

R. Tang, C. Bai, L. Guo and Y . Sheng, Deformations and the ir controlling cohomologies of O-operators. Com- mun. Math. Phys. 368 (2019), 665-700. 2

2019
[43]

Wang and G

K. Wang and G. Zhou, The minimal model of Rota-Baxter ope rad with arbitrary weight, Selecta Math. 30 (2024), no. 5, Paper No. 99, 44 pp. 2

2024
[44]

J. A. White, On Cohen-Macaulay Hopf monoids in species, Sem. Lothar. Combin. 84B (2020), Art. 84, 12 pp. 2

2020
[45]

H. Y u, L. Guo and J.-Y . Thibon, Weak quasi-symmetric fun ctions, Rota-Baxter algebras and Hopf algebras, Adv. Math. 344 (2019),1-34. 2

2019
[46]

T. J. Zhang, X. Gao and L. Guo, Hopf algebras, cocycles an d Rota-Baxter algebras. J. Math. Phys. 57 (2016), 101701. 2, 3, 16

2016
[47]

X. G. Zhang, A. Q. Xu and L. Guo, Hopf algebra structure on free Rota-Baxter algebras by angularly decorated rooted trees, J. Algebr Combinat. 55 (2022), 1331–1349. 3, 6, 16, 17 Univ. L ittoral Cˆote d ’Opale, UR 2597 LMP A, L aboratoire de Math´ematiques Pures et Appliqu´ees ...

2022

Pith tools

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

[1] [1]

Aguiar, On the associative analog of Lie bialgebras, J

M. Aguiar, On the associative analog of Lie bialgebras, J. Algebra 244 (2001), 492–532. 2

work page 2001

[2] [2]

Aguiar, Dendriform algebras relative to a semigroup, SIGMA Symmetry Integrability Geom

M. Aguiar, Dendriform algebras relative to a semigroup, SIGMA Symmetry Integrability Geom. Methods Appl. 16 (2020), 15 pp. 2, 5

work page 2020

[3] [3]

Aguiar and S

M. Aguiar and S. Mahajan, Monoidal functors, species and Hopf algebras, CRM Monograph Series, vol. 29, American Mathematical Society, Providence, RI, 2010. 2, 16, 17

work page 2010

[4] [4]

Aguiar and S

M. Aguiar and S. Mahajan, Hopf monoids in the category of s pecies, Contemporary Mathematics 585 (2013), 17-124. 2, 3, 4, 19

work page 2013

[5] [5]

Aguiar and W

M. Aguiar and W . Moreira, Combinatorics of the free Baxte r algebra, Electronic J. Combinator . 13 (2006), (R17):1. 2, 3

work page 2006

[6] [6]

Andrew, L

G. Andrew, L. Guo, W . Keigher and K. One, Baxter algebras a nd Hopf algebras, Trans. Amer . Math. Soc. 355 (2003), 4639-4656. 2

work page 2003

[7] [7]

Auger, G

P . Auger, G. Labelle and P . Leroux, Generalized binomial coeﬃcients for molecular species, In memory of Gian-Carlo Rota, J. Combin. Theory Ser . A 91 (2000), 15-48. 2

work page 2000

[8] [8]

Bai, A uniﬁed algebraic approach to the classical Y ang -Baxter equations, J

C. Bai, A uniﬁed algebraic approach to the classical Y ang -Baxter equations, J. Phys. A: Math. Theor .40 (2007), 11073-11082. 2 SPECIES OF ROTA-BAXTER ALGEBRAS BY ROOTED TREES AND TWISTED BIALGEBRAS 21

work page 2007