{"id":"deacdcae-0ea7-4371-9600-e7a3be0e4a4e","arxiv_id":"2607.10683","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"EGPs and affine-cone EGPs form cointeracting bimonoids in species measured by the monoid of EGPs, via the face-and-tangent-cone map, with explicit submodular functions for faces and cones.","lead":"The paper shows that extended generalized permutahedra carry a cointeraction structure via measuring algebras rather than classical comodules. The map sends each polyhedron to the sum of its faces paired with their tangent cones, and this is made precise for submodular functions using the braid fan and preorders.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates both the strongest claim (the measuring cointeraction of Theorem 8.1) and the only non-standard modelling choice (right measuring algebra rather than left comodule-bialgebra). That choice is forced by geometry and is fully documented; the combinatorial verification is elementary once the face and tangent-cone submodular functions are known. No load-bearing gap remains, so the ACCEPT verdict stands.","tokens_in":23974,"tokens_out":489,"duration_ms":5323,"concrete_test":"Independently verify the key identity of the proof of Theorem 8.1 on a concrete non-product EGP (e.g., the pentagon of Example 7.7 with S a two-element down-set): enumerate all faces F of Π that meet the hyperplane x_S = z(S), compute both sides of cone_F((Π)_1S) = (cone_F(Π))_1S by the defining inequalities of Proposition 4.4, and check that the resulting pairs match the image under δ \times δ of the coproduct summand.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 8.1) that δ_egp makes the monoid of EGPs measure the two bimonoids is supported by an explicit geometric identity: for a face F of Π with 1_S maximal one has cone_F((Π)_1S) = (cone_F(Π))_1S, which follows from the general polyhedral fact Corollary 4.6 and the face-product description of EGPs. The measuring diagrams of Appendix C then commute by direct face enumeration. 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 not an ad-hoc redefinition; the paper records the classical alternative (Appendix B.3) and shows why it does not apply. No hidden assumption or gap appears in the chain from the braid-fan description of faces (Theorems 7.12, 7.15) to the species-level diagrams.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":24194,"tokens_out":767,"duration_ms":5803,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Abstract / §1"},{"comment":"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.","section":"§3, §8"},{"comment":"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.","section":"Figures 3–5"},{"comment":"A few typographical slips: “coint-eracting” (abstract), “coface(C)” vs “im(Φ)” (Lemma 2.2), and occasional missing spaces around “×” and “⊗”. These are purely cosmetic.","section":"Throughout"}],"recommendation":"accept","confidential_remarks":"The manuscript is a substantial rewrite of an earlier unpublished preprint; the shift to polyhedral language and measuring algebras is successful and the novelty relative to Aguiar–Ardila and to Foissy’s concurrent work on Boolean functions is clear. Fit for a journal specializing in combinatorial Hopf algebras or polyhedral combinatorics is excellent. No concerns about citation practice or scope."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The paper takes the Aguiar–Ardila Hopf monoid on extended generalized permutahedra and equips it with a geometrically natural cointeraction: the map that sends each polyhedron to the sum of (face, tangent cone at that face). Because that map lands in A ⊗ B rather than B ⊗ A, the authors work with measuring algebras instead of classical left comodule-bialgebras; the choice is forced by the geometry and is carefully recorded in the appendices. Theorems 7.12 and 7.15 give the corresponding submodular functions of faces and tangent cones in terms of the braid fan and preorders; those formulae are new and clean.\n\nWhat works well is the polyhedral foundation. Sections 2–4 restate the Galois connection for cones, the description of faces and tangent cones, and the normal-fan facts with enough care that the later combinatorial statements rest on solid ground. The verification that the measuring diagrams commute (Theorem 8.1) is then just direct face enumeration using the product structure of EGPs and Corollary 4.6; no circularity appears. The species-level language is handled cleanly via set_N, which avoids the usual ad-hoc coproducts.\n\nSoft spots are minor and proportional. The significance is confined to combinatorial Hopf algebras and polyhedral combinatorics; the paper does not claim more. Measuring algebras themselves are classical, so the novelty is the application and the explicit formulae rather than a new abstract theory. A reader who already knows Aguiar–Ardila and the braid fan will find the development self-contained and readable; someone outside that circle will need the background.\n\nThis is for people who work with species, cointeracting bialgebras, or generalized permutahedra. It deserves a serious referee. I would accept it for peer review and would cite the face/cone formulae if I needed them.","headline":"Solid, correctly executed extension of Aguiar–Ardila that supplies the natural face/tangent-cone cointeraction via measuring algebras plus explicit submodular formulae.","tokens_in":24807,"tokens_out":484,"would_cite":true,"duration_ms":5887,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T15","16T30","52B05"],"pacs":[],"model":"grok-4.5","headline":"Extended generalized permutahedra carry a cointeraction via measuring algebras, not classical comodules.","keywords":["extended generalized permutahedra","cointeracting bialgebras","measuring algebras","submodular functions","braid fan","preorders","bimonoids in species","tangent cones"],"falsifier":"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.","tokens_in":24881,"feed_emoji":"△","tokens_out":661,"duration_ms":5577,"temperature":0.7,"pith_summary":"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.","feed_headline":"Permutahedra cointeract via measuring, not comodules","feed_subtitle":"Faces and tangent cones supply the map that makes EGPs measure their own bimonoids","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["EGPs form cointeracting bimonoids measured by faces and cones","Measuring algebras capture EGP cointeraction beyond comodules","Faces and cones supply the measuring map for EGP bimonoids","EGPs and affine-cone EGPs cointeract via measuring monoids","Cointeraction on EGPs uses measuring maps not classical comodules"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"That the right notion of cointeraction for this geometry is the measuring-algebra diagrams rather than a classical left comodule-bialgebra structure.","fun_headline_variants_meta":{"raw":{"variants":["EGPs form cointeracting bimonoids measured by faces and cones","Measuring algebras capture EGP cointeraction beyond comodules","Faces and cones supply the measuring map for EGP bimonoids","EGPs and affine-cone EGPs cointeract via measuring monoids","Cointeraction on EGPs uses measuring maps not classical comodules"]},"model":"grok-4.5","effort":"low","cost_usd":0.003942,"raw_usage":{"total_tokens":1185,"prompt_tokens":696,"num_sources_used":0,"completion_tokens":91,"cost_in_usd_ticks":39420000,"prompt_tokens_details":{"text_tokens":696,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":398,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":696,"tokens_out":91,"duration_ms":3618,"temperature":1.0,"reasoning_tokens":398,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T09:59:34.753001+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}