pith. sign in

arxiv: 2301.06479 · v2 · submitted 2023-01-16 · 🧮 math.RA · math.CO

Combinatorial Hopf algebras from restriction species with preorder cuts

Gunnar Fl{\o}ystad This is my paper

Pith reviewed 2026-05-24 10:00 UTC · model grok-4.3

classification 🧮 math.RA math.CO
keywords Hopf algebrasrestriction speciespreordersMalvenuto-Reutenauer algebrapattern avoidanceparking filtrationsbimonoidsnatural transformations
0
0 comments X

The pith

Restriction species equipped with pairs of natural transformations to preorders produce new families of Hopf algebras.

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

The paper shows how to equip restriction species with two natural transformations to the species of preorders. These maps define a pair of coproducts; dualizing one of them supplies a product that is compatible with the second coproduct, yielding bimonoid species and therefore Hopf algebras. The construction recovers a large collection of quotient Hopf algebras inside the Malvenuto-Reutenauer algebra, consisting of all permutations that avoid an arbitrary collection of patterns without global descents. It also yields a Hopf algebra whose basis consists of pairs of parking filtrations and four Hopf algebras whose bases consist of pairs of preorders.

Core claim

By introducing the category whose morphisms are matrices of natural numbers and by equipping restriction species S with pairs of natural transformations π1, π2 to the species of preorders, the paper obtains two coproducts Δ1 and Δ2. Dualizing Δ1 produces a product μ1 that is compatible with Δ2, so that the resulting structures are bimonoid species and therefore Hopf algebras. The resulting Hopf algebras include quotients of the Malvenuto-Reutenauer algebra on pattern-avoiding permutations, a Hopf algebra on pairs of parking filtrations, and four Hopf algebras on pairs of preorders.

What carries the argument

Restriction species S together with pairs of natural transformations π1, π2 : S → Pre that induce coproducts Δ1 and Δ2 whose dual product μ1 is compatible with Δ2.

If this is right

  • Every set of permutations without global descents determines a quotient Hopf algebra of the Malvenuto-Reutenauer algebra.
  • The Loday-Ronco Hopf algebra arises as the special case in which the avoided set is the single permutation 21.
  • Pairs of parking filtrations carry a natural Hopf algebra structure.
  • Pairs of preorders carry four distinct Hopf algebra structures obtained by varying the choice of the two transformations.

Where Pith is reading between the lines

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

  • The matrix-morphism category Set_N may allow similar constructions for other combinatorial species beyond preorders.
  • The same preorder-cut technique could be applied to species whose underlying objects are graphs or matroids to produce further Hopf algebras.
  • The pattern-avoidance quotients may admit explicit bases or generating functions that are not visible from the general construction.

Load-bearing premise

The two natural transformations from each restriction species to the species of preorders must induce coproducts whose compatibility after dualization produces a bimonoid.

What would settle it

An explicit restriction species together with a concrete pair of natural transformations to preorders for which the induced operations fail to satisfy the bimonoid compatibility axioms.

Figures

Figures reproduced from arXiv: 2301.06479 by Gunnar Fl{\o}ystad.

Figure 1
Figure 1. Figure 1: T1 with refinement ≤1, T2 with refinement ≤2 9.1. Type cc. Consider the basic situation above. Example 9.1. In [PITH_FULL_IMAGE:figures/full_fig_p037_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: O1 with refinement, T2 with refinement Example 9.4. WQSymm. Consider the subspecies where T1 is a total order and T2 is a total preorder. The preorder T2 naturally identifies as a surjection X p ։ [k] with x ≤T2 y iff p(x) ≤ p(y). The pair (T1, T2) then corresponds to a ”packed word”, i.e. a sequence a1, a2, . . . , an of natural numbers such that if p appears, and 1 ≤ q ≤ p, then q also appears in the seq… view at source ↗
Figure 3
Figure 3. Figure 3: O1 with refinement, O2 with refinement but A is only determine up to permuting the rows. Applying the Fock functor the image of (O1, T2) is an equivalence class of such matrices, with matrices equivalent if they are obtained by permuting rows. 9.3. Type nn. Consider again the basic situation. Proposition 9.8. Let ≤1 be a refinement of O1 along B1 and ≤2 a refinement of O2 along B2. Then the pair is of type… view at source ↗
read the original abstract

We get new Hopf algebras (HA): 1. A wealth of quotient HA's of the Malvenuto-Reutenauer HA (the Loday-Ronco HA being a special case). They consist of the permutations avoiding an {\it arbitrary} set of permutations without global descents, 2. A HA of pairs of parking filtrations, and 3. Four HA of pairs of preorders. New concepts in this setting are: 1. a category Set$_{{\mathbb N}}$ whose objects are sets, but morphisms are represented by matrices of natural numbers, and 2. restriction species ${\mathsf S}$ on sets coming with pairs of natural transformations $\pi_1, \pi_2 : {\mathsf S} \rightarrow$ Pre to the species of preorders. These induce two coproducts $\Delta_1$ and $\Delta_2$. Dualizing $\Delta_1$ gives product $\mu_1$ and coproduct $\Delta_2$, giving bimonoid species.

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.

Referee Report

0 major / 3 minor

Summary. The paper introduces a category Set_N whose morphisms are matrices of natural numbers and restriction species S equipped with pairs of natural transformations π1, π2 : S → Pre to the species of preorders. These induce coproducts Δ1 and Δ2; dualizing Δ1 yields a product μ1 compatible with Δ2, producing bimonoid species and thus Hopf algebras. The main results are (1) a family of quotient Hopf algebras of the Malvenuto-Reutenauer algebra consisting of permutations avoiding an arbitrary set of patterns without global descents (with the Loday-Ronco algebra as a special case), (2) a Hopf algebra of pairs of parking filtrations, and (3) four Hopf algebras of pairs of preorders.

Significance. If the bimonoid compatibility is established, the work supplies a systematic combinatorial construction of new Hopf algebras from restriction species with preorder data, extending the Malvenuto-Reutenauer and Loday-Ronco examples to arbitrary avoidance sets and to pairs of structures. The framework is general enough to produce multiple distinct families and may be useful for further enumeration or representation-theoretic applications in combinatorial algebra.

minor comments (3)
  1. [§2] §2 (definition of Set_N): the composition law for morphisms represented by matrices of natural numbers is stated but an explicit small example (e.g., two 2×2 matrices) would clarify associativity and the role of the zero matrix.
  2. [§4] §4 (induction of Δ1, Δ2): the text asserts that the pair (π1, π2) induces two coproducts whose dualization yields a bimonoid; a brief verification that the coassociativity and compatibility diagrams commute for the specific case of parking filtrations would strengthen the claim without lengthening the argument.
  3. Notation: the symbol Pre is used both for the species and for the category of preorders; a single sentence distinguishing the two usages would remove ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and the positive assessment of its significance. The recommendation for minor revision is noted. There are no major comments listed in the report, so we have no specific points requiring point-by-point response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; constructions are definition-driven.

full rationale

The paper defines a new category Set_N and restriction species S equipped with explicit pairs of natural transformations π1, π2 : S → Pre. These induce coproducts Δ1, Δ2 by the standard species coproduct formula on the underlying sets; dualizing Δ1 to obtain μ1 and verifying bimonoid compatibility is a direct algebraic check on the defined operations. No parameter is fitted to data and then relabeled a prediction, no self-citation supplies a uniqueness theorem or ansatz, and the quotient constructions on permutations are obtained by explicit avoidance conditions rather than by renaming a prior result. The derivation chain therefore consists of fresh definitions followed by verification, not reduction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the introduction of the category Set_N and the restriction species with paired natural transformations to Pre; these are new definitions whose properties are assumed to produce the stated Hopf algebras. No free parameters are visible. The work relies on standard background in species and Hopf algebras.

axioms (1)
  • standard math Standard axioms and constructions of combinatorial species and Hopf algebras hold.
    The paper invokes the existing theory of species and bimonoids to obtain Hopf algebras from the new coproducts.
invented entities (2)
  • Category Set_N no independent evidence
    purpose: Objects are sets and morphisms are matrices of natural numbers
    New category introduced to support the definition of the restriction species.
  • Restriction species S equipped with pairs of natural transformations π1, π2 to the species of preorders no independent evidence
    purpose: To induce the two coproducts Δ1 and Δ2 that yield bimonoid species
    Core new structure used to generate the claimed Hopf algebras.

pith-pipeline@v0.9.0 · 5701 in / 1531 out tokens · 28382 ms · 2026-05-24T10:00:13.279927+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

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

  1. [1]

    Marcelo Aguiar and Federico Ardila, Hopf monoids and generalized permutahedra , arXiv preprint arXiv:1709.07504 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  2. [2]

    Marcelo Aguiar, Nantel Bergeron, and Frank Sottile, Combinatorial Hopf algebras and gen- eralized Dehn-Sommerville relations , Compos. Math. 142 (2006), no. 1, 1–30. 40 GUNNAR FLØYSTAD

    work page 2006

  3. [3]

    Marcelo Aguiar and Swapneel Mahajan, Hopf monoids in the category of species , Hopf algebras and tensor categories 585 (2013), 17–124

    work page 2013

  4. [4]

    29, American Mathematical Society Providence, RI, 2010

    Marcelo Aguiar and Swapneel Arvind Mahajan, Monoidal functors, species and Hopf alge- bras, vol. 29, American Mathematical Society Providence, RI, 2010

    work page 2010

  5. [5]

    2, 225–275

    Marcelo Aguiar and Frank Sottile, Structure of the Malvenuto–Reutenauer Hopf algebra of permutations, Advances in Mathematics 191 (2005), no. 2, 225–275

    work page 2005

  6. [6]

    2, 473–511

    , Structure of the Loday–Ronco Hopf algebra of trees , Journal of Algebra 295 (2006), no. 2, 473–511

    work page 2006

  7. [7]

    Curry, K

    C. Curry, K. Ebrahimi-Fard, D. Manchon, and H. Z. Munthe-Kaa s, Planarly branched rough paths and rough differential equations on homogeneous space s, J. Differential Equations 269 (2020), no. 11, 9740–9782

    work page 2020

  8. [8]

    3, 911–945

    Fr´ ed´ eric Fauvet, Lo ¨ ıc Foissy, and Dominique Manchon,The Hopf algebra of finite topologies and mould composition , Annales de l’Institut Fourier 67 (2017), no. 3, 911–945

    work page 2017

  9. [9]

    Lo ¨ ıc Foissy,Plane posets, special posets, and permutations , Advances in Mathematics 240 (2013), 24–60

    work page 2013

  10. [10]

    Loday and M

    J-L. Loday and M. Ronco, Combinatorial Hopf algebras , Quanta of maths, Clay Math. Proc., vol. 11, Amer. Math. Soc., Providence, RI, 2010, pp. 347–3 83

    work page 2010

  11. [11]

    3, 967–982

    Clauda Malvenuto and Christophe Reutenauer, Duality between quasi-symmetrical functions and the Solomon descent algebra , Journal of Algebra 177 (1995), no. 3, 967–982

    work page 1995

  12. [12]

    J-C Novelli and J-Y Thibon, A Hopf Algebra of Parking Functions , FPSAC proceedings 2004, Actes SFCA 2004, Vancouver, Canada, 2004, p. 215

    work page 2004

  13. [13]

    1, 2006, pp

    Jean-Christophe Novelli and Jean-Yves Thibon, Polynomial realizations of some trialgebras , 18th Formal Power Series and Algebraic Combinatorics (FPSAC’06), no. 1, 2006, pp. 243– 254

    work page 2006

  14. [14]

    193, 189–241

    , Hopf algebras and dendriform structures arising from parki ng functions , Funda- menta Mathematicae 3 (2007), no. 193, 189–241

    work page 2007

  15. [15]

    William R Schmitt, Hopf algebras of combinatorial structures , Canadian Journal of Mathe- matics

    work page

  16. [16]

    3, 299–330

    , Incidence Hopf algebras , Journal of Pure and Applied Algebra 96 (1994), no. 3, 299–330. Matematisk institutt, Postboks, 5020 Bergen Email address : gunnar@mi.uib.no

    work page 1994