Pith. sign in

REVIEW 4 minor 22 references

Extended generalized permutahedra, and cointeracting bialgebras

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Extended generalized permutahedra carry a cointeraction via measuring algebras, not classical comodules.

desk verdict Solid, correctly executed extension of Aguiar–Ardila that supplies the natural face/tangent-cone cointeraction via measuring algebras plus explicit submodular formulae. read the letter →

arxiv 2607.10683 v1 pith:A5RPGBNR submitted 2026-07-12 math.RA math.CO

Gunnar Fl{o}ystad , Dominique Manchon This is my paper
classification math.RAmath.CO MSC 16T1516T3052B05
keywords extendedgeneralizedpermutahedracointeractingbialgebrasmeasuringalgebrassubmodularfunctionsbraidfanpreordersbimonoidsinspeciestangentcones
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

Aguiar and Ardila gave extended generalized permutahedra a Hopf monoid structure. This paper asks whether those objects also admit a cointeracting bialgebra, the richer structure that has appeared across many combinatorial Hopf algebras. The answer is yes, but the cointeraction is not the usual left-comodule form: it is expressed by the dual notion of a measuring algebra. The measuring map sends each polyhedron to the sum, over all its faces, of the pair consisting of that face and the tangent cone at the face. Restricted to EGPs and to the affine-cone EGPs, this map makes the monoid of EGPs measure the two bimonoids. Along the way the paper gives explicit submodular functions for faces and tangent cones, using the braid fan and its preorders. A sympathetic reader cares because the construction supplies a geometric source for cointeraction that sits outside the classical comodule template yet still fits the measuring-algebra axioms.

What carries the argument

The measuring map δ that assigns to each polyhedron the sum of pairs (face, tangent cone at that face). It lands in A ⊗ B rather than B ⊗ A, so the monoid A measures the bimonoids A and B; the braid-fan correspondence with preorders supplies the explicit submodular functions of those faces and cones.

What would settle it

Exhibit a concrete EGP for which the sum-over-faces map fails one of the two measuring diagrams that relate the product of EGPs to the two coproducts, or produce an isomorphism that rewrites the same data as a classical left comodule-bialgebra.

Watch

Extended reading notes

Core claim

EGPs and affine-cone EGPs form cointeracting bimonoids in species, with the monoid of all EGPs acting as the measuring algebra: the map that sends a polyhedron P to the sum over faces F of (F, cone_F(P)) satisfies the measuring diagrams that relate the product and the two coproducts.

Load-bearing premise

That the right notion of cointeraction for this geometry is the measuring-algebra diagrams rather than a classical left comodule-bialgebra structure.

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.

Referee Report

0 major / 4 minor

Summary. The paper studies cointeraction for the Hopf monoid of extended generalized permutahedra (EGPs) of Aguiar–Ardila. It shows that the natural map sending a polyhedron P to the sum over faces F of (F, cone_F(P)) does not yield a classical left comodule-bialgebra structure, but instead makes the monoid of EGPs measure the pair of bimonoids (EGP, affine-cone EGP) in the sense of measuring algebras (Theorem 8.1 and Appendix C). Parallel statements are given for the equivalent species of submodular and modular functions. Explicit formulae for the submodular functions of faces and of tangent cones are obtained via the braid fan and preorders (Theorems 7.12 and 7.15). The geometric foundations (Galois connections for cones, faces of tangent cones, normal fans of EGPs) are developed carefully in Parts I–II.

Significance. The work supplies a geometrically natural cointeraction structure for one of the central Hopf monoids of combinatorial polyhedral geometry, and it does so by identifying the correct categorical framework (right measuring by an algebra rather than left comodule-bialgebra). The explicit face and tangent-cone formulae for submodular functions (Theorems 7.12, 7.15) are new and of independent interest. The development is self-contained, the measuring diagrams are verified by direct face enumeration, and the paper carefully records why the classical left-comodule alternative does not apply (Appendix B.3). This is a solid contribution to the literature on cointeracting combinatorial Hopf structures and on the polyhedral combinatorics of EGPs.

minor comments (4)
  1. [Abstract / §1] In the abstract and Introduction the phrase “cointeracting bialgebras” is used for the measuring structure; a brief clarifying sentence that this is the right-measuring notion of Appendix C (rather than the classical left comodule-bialgebra of [17]) would prevent possible misreading by readers familiar only with the latter.
  2. [§3, §8] Notation for the two monoidal products on species (Cauchy vs Hadamard) is introduced in §3 but then used heavily in §8 and Appendix C; a short reminder table or parenthetical at the start of §8 would improve readability.
  3. [Figures 3–5] Figures 3–5 illustrate the preorders attached to faces of the permutahedron and of a pentagon; the captions could explicitly state which preorder corresponds to which face (or mark the faces) so that the correspondence of Theorem 7.12 is immediately visible.
  4. [Throughout] A few typographical slips: “coint-eracting” (abstract), “coface(C)” vs “im(Φ)” (Lemma 2.2), and occasional missing spaces around “×” and “⊗”. These are purely cosmetic.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: geometric face/tangent-cone identities and measuring diagrams are verified directly from polyhedral definitions, not forced by self-citation or fitted inputs.

full rationale

The paper's central claim (Theorem 8.1) is that the map δ_egp sending each EGP Π to the sum over faces F of (F, cone_F(Π)) makes the monoid of EGPs measure the two bimonoids (egp, μ, Δ) and (egc_a, μ, Δ). The proof reduces this to an explicit geometric identity cone_F((Π)_1S) = (cone_F(Π))_1S, which is Corollary 4.6 applied to the face-product description of EGPs (Fact 7.3). The measuring diagrams of Appendix C then commute by direct enumeration of faces. The submodular descriptions of faces and tangent cones (Theorems 7.12 and 7.15) are likewise obtained by induction on down-sets of the normal preorder and by the defining inequalities of the tangent cone (Proposition 4.4). No parameter is fitted; no uniqueness theorem is imported from the authors' prior work to forbid alternatives; the choice of measuring algebras over classical left comodules is forced by the natural landing space A ⊗ B of the tangent-cone map and is recorded as such (Appendix B.3). The constructions are therefore self-contained against the geometric definitions and do not reduce by construction to their inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The paper rests on standard polyhedral geometry, the Aguiar–Ardila Hopf monoid of EGPs, the classical theory of measuring (co)algebras, and the well-known bijection between EGPs and extended submodular functions. No free parameters appear. The only invented entity is the specific right measuring structure realized by the face-and-tangent-cone map; everything else is imported from the literature or proved from first principles.

assumptions (4)
  • domain assumption EGPs are in bijection with extended submodular functions via the standard inequality description (7.1).
    Taken as Fact from Aguiar–Ardila and Fujishige; used throughout Sections 6–8.
  • domain assumption The normal fan of an EGP is a coarsening of a subfan of the braid fan, and braid cones are in bijection with preorders.
    Standard facts restated as Proposition 5.2 and Fact 7.4; underpin Theorems 7.12 and 7.15.
  • standard math Measuring algebras are defined by the two diagrams (A.1)–(A.2) that dualize the classical measuring-coalgebra axioms.
    Appendix A; the paper adopts this definition as the correct notion of cointeraction for the right-comodule orientation.
  • domain assumption Species monoids and comonoids are formed with the Cauchy and Hadamard products in the category set_N.
    Section 3 and Appendix C; the categorical setting is taken from earlier work of the first author.
invented entities (1)
  • Right measuring structure of EGPs on the pair (EGP, affine-cone EGP) given by the face-and-tangent-cone map δ
    purpose: To realize cointeraction when the natural geometric map lands in A ⊗ B rather than B ⊗ A.
    Defined in (4.2) and specialized in Section 8; no independent geometric evidence is claimed beyond the algebraic diagrams it satisfies.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Extended generalized permutahedra, and cointeracting bialgebras." pith.science (2026). https://pith.science/paper/A5RPGBNR

@misc{pith2026260710683,
  author       = {Pith},
  title        = {Pith review of: Extended generalized permutahedra, and cointeracting bialgebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A5RPGBNR}},
  note         = {Machine review of arXiv:2607.10683}
}
read the original abstract

A Hopf monoid structure on extended generalized permutahedra (EGP) was recently introduced by M.Aguiar and F.Ardila. We investigate the existence of a cointeracting bialgebra structure on EGP's. We show that a suitable notion of cointeraction exists, not in the classical comodule sense, but via the framework of measuring algebras. The comodule-type map assigns to each polyhedron the sum of pairs of face and tangent cone at the face. EGP's and affine cone EGP's form the cointeracting bimonoids in species with EGP as a third measuring structure. EGP's are in bijection to extended submodular functions. For an EGP, we also describe explicitly the submodular functions of its faces and tangent cones. The braid fan and its relation to preorders play a key role in this description.

Figures

Figures reproduced from arXiv: 2607.10683 by the authors.

Figure 1
Figure 1. One-dimensional permutahedron and its fan and reduced fan is a bijection. b. The maximal face cones of k(P) are the k(L) as L ranges over the linear extensions of P. Proposition 5.3. • The linear span of k(P) is k(P ◦ ). Thus its dimension is |b(P)|. • The lineality space of k(P) is k(P • ). Thus its lineality dimension is |c(P)|. Proof. a. Choose a general point y in k(P) = Hom(P op , R). Then yp > yq if p < q, whi… view at source ↗
Figure 2
Figure 2. R ✁ P and corresponding P ◀ Q, P ⪯ Q but not P ◀ Q For part b, since P ≤ Q, we have P ∧ Q op = (P ∧ Q) ∧ Q op = P ∧ (Q ∧ Q op) = P ∧ Q ◦ . Furthermore −D = k(Qop) and C + (−D) ⊆ k(P ∧ Qop), and so k(P) + k(Q ◦ ) = C + (D + (−D)) = C + (−D) ⊆ k(P ∧ Q op). We now show the opposite inclusion. We may find a filtration ∅ = D0 ⊆ D1 ⊆ · · · ⊆ Dm = Q of down-sets of Q such that each Di+1\Di is a bubble of Q. As P ≤ Q, each … view at source ↗
Figure 3
Figure 3. The two-dimensional permutahedron and the preorders associ￾ated to its faces c) The equation xS = z(S) holds for every x ∈ F, In particular, the S such that xS = z(S) holds on F are precisely the down-sets of P. Proof. That the normal cone of F is a braid cone k(P) follows by Fact 7.4 and Proposition 5.6. That a) and b) are equivalent has already been observed in Section 5, before Proposition 5.2. We know that xS ≤ … view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: The pentagon and the preorders associated to its faces d. The minimal faces of egp(z) have dimension |I| − |b(pre(z))|. Proof. a. When z = lowP , then egp(z) is defined by xI = 0 and xS ≤ 0 for down-sets S of P. The dual cone is then spanned by the directions 1S and th…
Figure 5
Figure 5. Figure 5: The cone at a vertex of the permutahedron, and the preorders of the four faces of this cone We then have a diagram k(Q) (−) ∨  Galois /k(P) + (−k(Q)) (−) ∨  egp(lowQ) Galois /F, where the horizontal arrows are the Galois connections for the cones k(P) and egp(lowP …

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

22 extracted references · 3 linked inside Pith

  1. [1]

    MarceloAguiarandFedericoArdila,Hopf monoids and generalized permutahedra, Mem. Amer. Math. Soc.289(2023), no. 1437, vi+119

    2023

  2. [2]

    29, American Mathematical Society, Providence, RI, 2010, With forewords by Kenneth Brown and Stephen Chase and André Joyal

    Marcelo Aguiar and Swapneel Mahajan,Monoidal functors, species and Hopf algebras, CRM Monograph Series, vol. 29, American Mathematical Society, Providence, RI, 2010, With forewords by Kenneth Brown and Stephen Chase and André Joyal. MR 2724388

    2010

  3. [3]

    MarjorieBatchelor,Universal measuring coalgebras: The points of the matter, European women in mathematics, Proceedings of the seventh EWM meeting (1995), 121

    1995

  4. [4]

    3-4, 251–269

    ,Measuring comodules—their applications, Journal of Geometry and Physics36 (2000), no. 3-4, 251–269

    2000

  5. [5]

    Bergeron, G

    F. Bergeron, G. Labelle, and P. Leroux,Combinatorial species and tree-like structures, Encyclopedia of Mathematics and its Applications, vol. 67, Cambridge University Press, Cambridge, 1998, Translated from the 1994 French original by Margaret Readdy, With a foreword by Gian-Carlo Rota

    1998

  6. [6]

    2, 282–308

    Damien Calaque, Kurusch Ebrahimi-Fard, and Dominique Manchon,Two interacting hopf algebras of trees: a hopf-algebraic approach to composition and substitution of b-series, Advances in Applied Mathematics47(2011), no. 2, 282–308

    2011

  7. [7]

    Frédéric Fauvet, Loïc Foissy, and Dominique Manchon,The Hopf algebra of finite topologies and mould composition, Ann. Inst. Fourier (Grenoble)67(2017), no. 3, 911– 945

    2017

  8. [8]

    1, 92–114

    Gunnar Fløystad,Surprising occurrences of order structures in mathematics, Journal of Computational Dynamics12(2025), no. 1, 92–114

    2025

Show all 22 references
  1. [9]

    ,Combinatorial hopf algebras from restriction species with preorder cuts, Ad- vances in Applied Mathematics176(2026), 103055

    2026

  2. [10]

    Loïc Foissy,Twisted bialgebras, cofreeness and cointeraction, arXiv preprint arXiv:1905.10199 (2019)

    1905 arXiv

  3. [11]

    ,Bialgebras in cointeraction, the antipode and the eulerian idempotent, arXiv preprint arXiv:2201.11974 (2022). 29

    2022 arXiv

  4. [12]

    ,Bialgebraic structures on boolean functions, arXiv preprint arXiv:2601.13773 (2026)

    2026

  5. [13]

    58, Elsevier B

    Satoru Fujishige,Submodular functions and optimization, second ed., Annals of Discrete Mathematics, vol. 58, Elsevier B. V., Amsterdam, 2005

    2005

  6. [14]

    221, Springer-Verlag, New York, 2003, Prepared and with a preface by Volker Kaibel, Victor Klee and Günter M

    Branko Grünbaum,Convex polytopes, second ed., Graduate Texts in Mathematics, vol. 221, Springer-Verlag, New York, 2003, Prepared and with a preface by Volker Kaibel, Victor Klee and Günter M. Ziegler. MR 1976856

    2003

  7. [15]

    5, 1118–1148

    Martin Hyland, Ignacio López Franco, and Christina Vasilakopoulou,Hopf measur- ing comonoids and enrichment, Proceedings of the London Mathematical Society115 (2017), no. 5, 1118–1148

    2017

  8. [16]

    in Math.42(1981), no

    André Joyal,Une théorie combinatoire des séries formelles, Adv. in Math.42(1981), no. 1, 1–82

    1981

  9. [17]

    13, Springer, Cham, 2018, pp

    Dominique Manchon,A review on comodule-bialgebras, Computation and combina- torics in dynamics, stochastics and control, Abel Symp., vol. 13, Springer, Cham, 2018, pp. 579–597

    2018

  10. [18]

    Discrete Math.23(2009), no

    Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, and Oliver Wienand,Convex rank tests and semigraphoids, SIAM J. Discrete Math.23(2009), no. 3, 1117–1134

    2009

  11. [19]

    Lukas Mulder, Paige Randall North, and Maximilien Péroux,Measuring data types, arXiv preprint arXiv:2405.14678 (2024)

    2024 arXiv

  12. [20]

    Math.13(2008), 207–273

    AlexPostnikov, VictorReiner, andLaurenWilliams,Faces of generalized permutohedra, Doc. Math.13(2008), 207–273

    2008

  13. [21]

    Stanley,Two poset polytopes, Discrete Comput

    Richard P. Stanley,Two poset polytopes, Discrete Comput. Geom.1(1986), no. 1, 9–23

    1986

  14. [22]

    Ziegler,Lectures on polytopes, Graduate Texts in Mathematics, vol

    Günter M. Ziegler,Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer-Verlag, New York, 1995. MR 1311028 Matematisk institutt, Universitetet i Bergen, Realfagbygget, Allégaten 41 Bergen, Norway Email address:Gunnar.Floystad@uib.no Laboratoire de Mathématiq...

    1995

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.