{"id":"023a1ea0-142a-4f9d-91e9-162d65bebf4a","arxiv_id":"2411.12204","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two new compatibility axioms for left-regular bands turn Aguiar and Mahajan's algebra-coalgebra diagram into a diagram of Hopf algebras.","lead":"This paper proposes two new compatibility axioms for families of left-regular bands and proves that, when they are added to Aguiar and Mahajan's algebra and coalgebra axioms, the whole diagram of algebras and coalgebras becomes a diagram of Hopf algebras. It also shows that the family of set compositions satisfies the new axioms, recovering known Hopf algebras such as the Malvenuto-Reutenauer algebra.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.4's surjectivity proof omits the verification that f and f' lie in the restricted sets T^n_F and T^m_{F'}; the gap is repairable but is load-bearing for Theorems 4.1-4.5 and hence for Theorem 4.6.","rationale":"The reader's weakest-assumption analysis correctly targeted Lemma 4.4, but the most concrete load-bearing defect is not the uniqueness of f'' in Axiom (B1) itself; it is an omitted restriction check in the surjectivity half of the bijection proof. The paper defines L using f in T^n_F and f' in T^m_{F'}, but in the reverse direction it never proves that the f,f' obtained from g^{-1} satisfy Kf <= F and Kf' <= F'. Since the subsequent calculation uses f(F) and f'(F'), the proof is incomplete exactly at the point where the bialgebra compatibility sums for P, Q, S, and N are matched. My check shows the missing step can be supplied from (B1) together with the order-reflecting property of the poset isomorphism jG, so the argument is likely repairable and I found no indication of a false conclusion. The example B_n verifies satisfiability and its detailed computations give independent support that the axioms are not vacuous. For these reasons I do not think the reader's CONDITIONAL verdict should change; the condition should include making the missing verification in Lemma 4.4 explicit.","tokens_in":17207,"tokens_out":23761,"duration_ms":243567,"concrete_test":"Insert the missing verification in the surjectivity half of Lemma 4.4: after defining (f,f')=g_{n,m}^{-1}(f''), prove Kf <= F and Kf' <= F' by applying (B1) and the order-reflecting property of jG, and then re-run the proof of Lemma 4.4 with this step made explicit. In parallel, implement the example B_n for n <= 4 and brute-force enumerate all tuples (f,f',F~1,F~2) and (F~,f'') to check that the map defined in Lemma 4.4 is a bijection; any pair in R whose image under g^{-1} has Kf not <= F or Kf' not <= F' would disprove the lemma.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Lemma 4.4 is the hinge for all of Theorems 4.1-4.5. In the surjectivity half, the paper takes (F~, f'') in R, sets f''(F~)=F~1 x F~2, and lets (f,f')=g_{n,m}^{-1}(f''). It then writes f(F)=F1 x F2 and f'(F')=F'_1 x F'_2. This presupposes f is in T^n_F and f' is in T^m_{F'}, i.e. that Kf <= F and Kf' <= F'. The paper never proves these inequalities. If they fail, f(F) and f'(F') are not defined, so the quantities F1,F2,F'_1,F'_2 in the displayed calculation do not exist and the conclusion (f,f',F~1,F~2) is in L does not follow. The gap is repairable: from R one has G F~ = jG(F x F'), and from Axiom (B1), jG(Kf x Kf') = G Kf''. Since Kf'' <= F~ and G <= jG(F x F'), we get jG(Kf x Kf') = G Kf'' <= G F~ = jG(F x F'). Both sides lie in the image of the poset isomorphism jG, so order-reflecting gives Kf <= F and Kf' <= F'. This argument is absent from the paper. If, for some LRB family satisfying (C),(A),(B), the order-reflecting step fails or jG is not order-reflecting on the relevant interval, Lemma 4.4 fails and Theorem 4.6 collapses. Thus the central claim currently rests on an unstated verification inside its most technical lemma.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces two compatibility axioms, (B1) and (B2), for a family {Σ_n}_{n≥0} of left-regular bands that already satisfies Aguiar and Mahajan's coalgebra axioms (C1)–(CP) and algebra axioms (A1)–(AP). The main result, Theorem 4.6, asserts that under these axioms Diagram 2 becomes a diagram of connected graded Hopf algebras. The proof strategy is to show that each of the six Hopf-algebra-building blocks P, M, Q, N, S, R is a bialgebra (Theorems 4.1–4.5), and then to invoke Lemma 4.2 to pass from bialgebras to Hopf algebras. The bialgebra proofs all reduce to a technical bijection, Lemma 4.4, between sets of decompositions; the lemma itself is proved by a long calculation using the new axioms together with (CP) and (AP). Section 4.5 verifies the compatibility axioms for the family of set compositions B_n, establishing that the axioms are consistent and that the classical diagram of symmetric functions, quasi-symmetric functions, and noncommutative symmetric functions is recovered.","tokens_in":17690,"tokens_out":25634,"duration_ms":226735,"significance":"If correct, the paper answers an open question explicitly posed by Aguiar and Mahajan in [1, Section 6.1] by giving sufficient compatibility axioms that upgrade their commutative diagram of algebras and coalgebras to a diagram of Hopf algebras. The argument is purely axiomatic and contains no fitted parameters or data; the proof is a derivation from the stated axioms, and the set-composition example shows the axioms are not vacuous. The paper is clearly organized and the reduction of the bialgebra verification to a single combinatorial bijection (Lemma 4.4) is a strength, as is the explicit construction of g_{n,m} in the example. The main theorem is plausible and, apart from the gaps detailed below, the derivation appears sound.","major_comments":[{"comment":"In the surjectivity proof, after defining (f,f')=g_{n,m}^{-1}(f''), the argument writes f(F)=F1×F2 and f'(F')=F'_1×F'_2. This presupposes that f∈T^n_F and f'∈T^m_{F'}, i.e. that K_f≤F and K_{f'}≤F'. The paper never verifies these inequalities. Without them, the quantities F1,F2,F'_1,F'_2 are not defined and the displayed chain cannot be started. This is a load-bearing gap because Lemma 4.4 is the hinge for all of Theorems 4.1–4.5 and hence for Theorem 4.6. The gap is repairable: since (F~,f'')∈R, we have G F~=j_G(F×F'); by Axiom (B1), G K_{f''}=j_G(K_f×K_{f'}); and from f''∈T^{n+m}_{F~}, K_{f''}≤F~. In an LRB, left multiplication preserves the order x≤y (because z x z y = z x y = z y), so G K_{f''}≤G F~, hence j_G(K_f×K_{f'})≤j_G(F×F'). Since Axiom (A1) makes j_G a poset isomorphism, it is order-reflecting on its image, giving K_f×K_{f'}≤F×F', i.e. K_f≤F and K_{f'}≤F'. The authors should insert this argument explicitly before using f(F) and f'(F').","section":"§4.4, Lemma 4.4, surjectivity half"},{"comment":"The proof of Theorem 4.5 states that the coalgebra and algebra structures of S and R are combinations of those of P and M, and then proves the bialgebra property only for (S,△,∗). No verification is given for (R,△,∗). Since R is one of the six bialgebras whose compatibility is needed for Theorem 4.6, the absence of a proof for R is a gap. The argument for R is not literally identical to that for S because the roles of the two coordinates are swapped: the coproduct of R sums over f∈T^n_D with second-coordinate data, while the product uses the first coordinate to index the sum. The authors should either supply the proof for R or explicitly state a precise symmetry reduction (e.g. coordinate swap combined with the S proof) that covers it.","section":"§4.4, Theorem 4.5"}],"minor_comments":[{"comment":"There are several typos in the displayed sums: 'HP2, HP, 2' should be 'HP2 ⊗ HP′2', and 'Pi:Gi~Pi=,i =1,2' is an incomplete condition; it should read 'P~i: GiP~i = jGi(Pi×P′i), i=1,2' or an equivalent expression.","section":"§4.4, Theorem 4.2 proof"},{"comment":"In the line after the definition of the coproduct summand, 'ˆf′(P′) = P′1 × P′2' is written twice; the second occurrence should be 'ˆf′(C′) = C′1 × C′2'.","section":"§4.4, Theorem 4.4 proof"},{"comment":"The final equality in the S proof contains a typo: '△(F(C,D)) ∗ △(M(F′,D′))' should read '△(F(C,D)) ∗ △(F(C′,D′))'.","section":"§4.4, Theorem 4.5 proof"},{"comment":"The proof of the claim 'P Kf ≤ C, P′Kf′ ≤ C′ ⇔ jG(P×P′)Kf′′ ≤ jG(C×C′)' only proves the equality jG(P×P′)Kf′′ = jG((P Kf)×(P′Kf′)). The equivalence then follows from jG being a poset isomorphism, but this final step is not stated; it should be made explicit.","section":"§4.4, Theorem 4.4 claim"},{"comment":"The assertion that M,N,R,S,Q,P are connected graded bialgebras from Axioms (C1), (A1) and the definitions is made without justification. Since the user is invoking the standard theorem that a connected graded bialgebra is a Hopf algebra, a brief explanation of the grading (degree of a basis element is the index n of the component Σ_n) and connectedness (degree-zero part is spanned by ∅_0) would improve the exposition.","section":"§2, Lemma 4.2"},{"comment":"The bibliography entry [1] spells the author name as 'Aguilar' instead of 'Aguiar'. In addition, the displayed diagram in the introduction contains garbled symbols such as 'n/greaterorequalslant0'; these should be typeset as n≥0.","section":"Introduction and bibliography"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a genuine open problem from Aguiar-Mahajan and the main theorem is likely correct after a moderate amount of repair. The essential issue is that Lemma 4.4, which carries the entire bialgebra verification, has a missing order-theoretic argument that is needed to define the objects in the surjectivity direction. I verified that the argument can be supplied from the existing axioms, so I do not view this as a fatal flaw. The second gap is the unproved case of R in Theorem 4.5. Both are local and fixable. I would encourage the editor to send the paper back for revision rather than reject it, provided the authors supply the missing verification and the R proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper adds two compatibility axioms (B1) and (B2) to the Aguiar-Mahajan coalgebra and algebra axioms for left-regular bands, and proves that if a family satisfies all of them, then Diagram 2 becomes a diagram of Hopf algebras. That answers an open question in [1, Section 6.1]. It also shows the set-composition example satisfies the new axioms, so the axioms are not vacuous. That's a genuine contribution, even though the Hopf algebras themselves are known; the novelty is the axiomatic bridge, not the destination.\n\nThe main proof is a structured reduction: Lemma 4.2 says it suffices to make P, M, Q, N, S, R bialgebras, and Theorems 4.1-4.5 each reduce to Lemma 4.4. The strategy is sound and most calculations are explicit.\n\nNow the soft spots. The most important one is in the surjectivity half of Lemma 4.4. The paper takes (F~, f'') in R, sets f''(F~) = F~1 × F~2, and lets (f,f') = g^{-1}_{n,m}(f''). It then writes f(F) = F1 × F2 and f'(F') = F'_1 × F'_2. That presupposes Kf ≤ F and Kf' ≤ F', which is exactly what needs proving; otherwise f(F) and f'(F') are not defined. The paper never shows these inequalities. The omission is repairable — one can use axiom (B1) and the order-reflecting property of jG to derive Kf ≤ F and Kf' ≤ F' — but as written the proof of Lemma 4.4 is incomplete, and since Theorems 4.1-4.5 all depend on that lemma, the gap is load-bearing. The fix is not long, but it needs to be written down.\n\nThere are also smaller issues. In Lemma 4.2, the claim that ker(supp) is a biideal of M is asserted without proof; it is probably true, but it should be verified. Several typos: the last line of Theorem 4.7 says (B1) when it should say (B2); Theorem 4.1 accidentally writes M_{F_2,F_2} instead of M_{F'_2}; similar slips in Theorems 4.2 and 4.4. These are fixable.\n\nThe citation pattern is fine; the paper cites Aguiar-Mahajan and the relevant literature and does not overclaim novelty. The example is a useful sanity check. If I were refereeing, I would ask for the missing verification in Lemma 4.4, a cleaned-up proof of Lemma 4.2, and typo fixes. The central result is plausible and the approach is a reasonable answer to an open question; it deserves a serious referee.","headline":"Solid axiomatic answer to an open question in Aguiar-Mahajan's LRB Hopf algebra framework, but the key bijection lemma has a repairable yet load-bearing gap in its surjectivity proof.","tokens_in":18119,"tokens_out":4170,"would_cite":false,"duration_ms":32385,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T05","20M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two compatibility axioms lift the LRB diagram to Hopf algebras.","keywords":["left-regular band","Hopf algebra","Coxeter group","compatibility axioms","bialgebra","set compositions","connected graded bialgebra"],"falsifier":"Take any family of left-regular bands satisfying (C1)–(CP) and (A1)–(AP), and enumerate all pairs $(f,f')$ with $f\\in T^n_F$, $f'\\in T^m_{F'}$ for fixed $F,F'$. If two distinct pairs produce the same $f''$ under the candidate map, or if no $f''$ satisfies both the image condition and $G K_{f''}=j_G(K_f\\times K_{f'})$, then the claimed bijection in Axiom (B1) fails; computing $\\Delta(M_F*M_{F'})$ and $\\Delta(M_F)*\\Delta(M_{F'})$ in such a case would expose a mismatch that refutes Theorem 4.1 and hence Theorem 4.6.","tokens_in":17009,"feed_emoji":"🧮","tokens_out":7932,"duration_ms":74155,"temperature":0.7,"pith_summary":"This paper answers an open question from a standard monograph on Coxeter groups and Hopf algebras: can compatibility axioms be added so that, whenever a family of left-regular bands satisfies the monograph's coalgebra and algebra axioms, the resulting diagram of spaces is a diagram of Hopf algebras? The authors propose two axioms, (B1) and (B2), and prove that together with the earlier axioms they force the six central spaces P, M, Q, N, S, R to be connected graded bialgebras; since connected graded bialgebras automatically have antipodes, all ten spaces in Diagram 2 become Hopf algebras and every map between them commutes with antipodes. The axioms are then verified for the leading example, set compositions, so the construction specializes to a diagram containing the Hopf algebra of permutations and the classical symmetric-function Hopf algebras.","feed_headline":"Two axioms turn left-regular bands into Hopf algebras","feed_subtitle":"Adding them to the known coalgebra and algebra axioms makes the whole diagram a diagram of Hopf algebras.","key_machinery":"The load-bearing object is the set $T^n$ of degree-one face isomorphisms of $\\Sigma^n$: the maps $b_K$ coming from rank-one faces $K$, together with the two boundary maps $b_n$ and $B_n$. Axiom (B1) supplies a bijection $g_{n,m}:T^n\\times T^m\\to T^{n+m}$; for $f,f'$ with images split as $n_1+n_2$ and $m_1+m_2$, the unique $f''=g_{n,m}(f,f')$ must have image $\\Sigma^{n_1+m_1}\\times\\Sigma^{n_2+m_2}$ and vertex $G K_{f''}=j_G(K_f\\times K_{f'})$. Axiom (B2) forces $f''$ to intertwine the algebra maps $j_G$ with the twisted product of $\\hat f$ and $\\hat f'$: $\\hat f''\\circ j_G = (j_{G_1}\\times j_{G_2})\\circ(\\mathrm{id}\\times\\tau\\times\\mathrm{id})\\circ(\\hat f\\times\\hat f')$. Together these axioms make Lemma 4.4's bijection hold, and that bijection equates the two sides of the bialgebra compatibility identity $\\Delta(a*b)=\\Delta(a)*\\Delta(b)$ for every one of the six spaces.","core_discovery":"The central claim is Theorem 4.6: if a family of left-regular bands (semigroups with $x^2=x$ and $xyx=xy$) satisfies the coalgebra axioms (C1)–(CP), the algebra axioms (A1)–(AP), and the new compatibility axioms (B1)–(B2), then Diagram 2 is a diagram of Hopf algebras. The proof reduces the task to showing that each of the six algebras and coalgebras $P,M,Q,N,S,R$ is a bialgebra: a standard theorem on connected graded bialgebras then supplies antipodes, and bialgebra maps between Hopf algebras automatically respect them. The hard part is the compatibility of product and coproduct in each of the six cases, and all six verifications pass through Lemma 4.4, a bijection between pairs $(f,f',\\tilde F_1,\\tilde F_2)$ of compatible face-map data and pairs $(\\tilde F,f'')$ of summed face data. Lemma 4.4 is where the two new axioms do their work.","pith_inferences":["[Editorial inference] Beyond the paper, the two axioms look like they could be necessary as well as sufficient: one can try to derive (B1) and (B2) from the requirement that $P$ and $M$ be bialgebras, which would turn the open question into a characterization of all compatible LRB families.","[Editorial inference] The bijection $g_{n,m}$ has the flavor of a shuffle product of face maps; in other Coxeter types it may correspond to parabolic subgroup decompositions, giving testable candidates for new families satisfying the axioms.","[Editorial inference] Since the proof only uses connectedness and grading, any concrete family satisfying the axioms comes with an explicit recursive formula for its antipode; extracting that formula for set compositions could connect to known descent-algebra antipodes."],"forward_implications":["Any family of left-regular bands satisfying the C, A, and B axioms automatically gives ten Hopf algebras, with no separate construction of antipodes needed.","The leading example, set compositions, satisfies both new axioms, so the general theorem recovers a diagram whose vertices include the Hopf algebra on permutations and the classical symmetric-function Hopf algebras.","The axioms answer the open question in the affirmative: the known coalgebra and algebra axioms are sufficient once the two compatibility axioms are added.","Because the verification is uniform, each new example of a family satisfying the axioms yields six new Hopf algebras plus four derived quotient and subalgebra Hopf algebras in one stroke."],"supporting_citations":[{"why":"Supplies the coalgebra axioms (C1)–(CP), algebra axioms (A1)–(AP), the diagram of algebras and coalgebras, and the open question answered here.","marker":"[1]"},{"why":"Introduced the left-regular band identities $x^2=x$, $xyx=xy$ that define the objects the whole paper works with.","marker":"[11]"},{"why":"Developed the left-regular band structure and is cited together with [11] as the origin of LRBs.","marker":"[18]"},{"why":"Provides Lemma 4.0.4, used to conclude that bialgebra maps between Hopf algebras are Hopf morphisms.","marker":"[19]"},{"why":"Supplies the lemma that a connected graded bialgebra has an antipode, which lets the proof stop at bialgebra compatibility.","marker":"[20]"},{"why":"Defines the Hopf algebra on permutations that is the motivating special case of the diagram for set compositions.","marker":"[12]"}],"fun_headline_variants":["Two new axioms make left-regular bands Hopf algebras","Compatibility axioms complete Hopf diagram for left-regular bands","Left-regular bands become Hopf algebras with two axioms","Two axioms bridge algebra and coalgebra to Hopf structure","New rules turn band coalgebra into full Hopf algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on Axiom (B1) guaranteeing a unique combined face map $f''$ for every pair of degree-one maps; if some family satisfying the earlier axioms has no such unique $f''$, Lemma 4.4 fails and Theorems 4.1–4.5 collapse.","fun_headline_variants_meta":{"raw":{"variants":["Two new axioms make left-regular bands Hopf algebras","Compatibility axioms complete Hopf diagram for left-regular bands","Left-regular bands become Hopf algebras with two axioms","Two axioms bridge algebra and coalgebra to Hopf structure","New rules turn band coalgebra into full Hopf algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000181,"raw_usage":{"total_tokens":1230,"prompt_tokens":788,"completion_tokens":442,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":404,"completion_tokens_details":{"reasoning_tokens":360}},"tokens_in":404,"tokens_out":442,"duration_ms":5451,"temperature":1.0,"reasoning_tokens":360,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T17:47:35.145901+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any family of left-regular bands satisfying (C1)–(CP) and (A1)–(AP), and enumerate all pairs $(f,f')$ with $f\\in T^n_F$, $f'\\in T^m_{F'}$ for fixed $F,F'$. If two distinct pairs produce the same $f''$ under the candidate map, or if no $f''$ satisfies both the image condition and $G K_{f''}=j_G(K_f\\times K_{f'})$, then the claimed bijection in Axiom (B1) fails; computing $\\Delta(M_F*M_{F'})$ and $\\Delta(M_F)*\\Delta(M_{F'})$ in such a case would expose a mismatch that refutes Theorem 4.1 and hence Theorem 4.6.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the coalgebra axioms (C1)–(CP), algebra axioms (A1)–(AP), the diagram of algebras and coalgebras, and the open question answered here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Developed the left-regular band structure and is cited together with [11] as the origin of LRBs."},{"cited_title":"Sweedler, Hopf algebras, Mathematics Lecture Note Series, W","cited_arxiv_id":null,"evidence_quote":"Provides Lemma 4.0.4, used to conclude that bialgebra maps between Hopf algebras are Hopf morphisms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the lemma that a connected graded bialgebra has an antipode, which lets the proof stop at bialgebra compatibility."},{"cited_title":"Algebra 177 (1995), no","cited_arxiv_id":null,"evidence_quote":"Defines the Hopf algebra on permutations that is the motivating special case of the diagram for set compositions."}],"review_version":1}