Pith. sign in

REVIEW 5 minor 47 references

Explicit antipode formulae for q-deformed and non-commutative quasi-symmetric functions

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-10 16:19 UTC pith:2TYKDM37

load-bearing objection Solid new antipode formulas for both q-deformations of QSym plus a partial one for NCQSym, proved by a clean cancelation that also recovers the classical case; notation is heavy but the math holds.

arxiv 2607.07870 v1 pith:2TYKDM37 submitted 2026-07-08 math.CO

The Antipodes of q-Quasi-Symmetric Functions and Non-Commutative Quasi-Symmetric Functions

Shaul Zemel This is my paper
classification math.CO MSC 05E0516T0516T30
keywords quasi-symmetric functionsq-deformationsantipodenon-commutative quasi-symmetric functionsHopf algebrascompositionsfundamental basis
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper gives closed-form antipodes on the fundamental bases of the commutative and non-commutative q-deformations of quasi-symmetric functions, recovering the classical formula for ordinary QSym as the special case q=1. It also introduces a new fundamental basis for the larger Hopf algebra of non-commutative quasi-symmetric functions and proves the antipode on the identity-permutation part of that basis. The same recursive vanishing argument that identifies the antipode works uniformly across all three algebras, showing that the classical result is not isolated. A sympathetic reader cares because explicit antipodes are rare for combinatorial Hopf algebras and immediately control duality, characters, and the order of the antipode itself.

Core claim

For any composition α of n the antipode of the non-commutative q-quasi-symmetric Hopf algebra sends the fundamental element F_α^(q) to (-1)^n q^{inv(α^t)} times the modified fundamental element rF_{α^t}^(q). The identical method yields the classical formula Sp(F_α)=(-1)^n F_{α^t} on ordinary QSym and the partial formula Sp(F_{Id_n}^α)=(-1)^n F_{w0_n}^{α^t} on the identity-permutation slice of the new fundamental basis of NCQSym.

What carries the argument

A pure-tensor splitting of the coproduct of every fundamental (or modified fundamental) element, combined with a sign-reversing involution on pairs of shuffles that forces the recursive antipode sum of Corollary 1.13 to vanish.

Load-bearing premise

The coproduct of every fundamental element must split exactly as a pure tensor of two elements of the same family; if that pure-tensor form failed for even one composition the inductive identification of the antipode would collapse.

What would settle it

Compute the matrix of the antipode on the degree-3 component of NCQSym in the full fundamental basis and check whether any non-identity, non-longest-permutation element is sent to a single signed basis vector; the paper claims none are.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves antipode formulae for two q-deformations of the Hopf algebra of quasi-symmetric functions (the commutative QSym_q and the non-commutative/quantum QSym^(q)) and for a distinguished part of a newly introduced fundamental basis of the larger Hopf algebra NCQSym of non-commutative (word) quasi-symmetric functions. The method simultaneously recovers the classical antipode formula on ordinary QSym. The argument proceeds from the recursive construction of the antipode on a connected graded bi-algebra (Lemma 1.12 / Corollary 1.13), using the pure-tensor form of the coproduct on fundamental elements (Propositions 2.22, 3.22, 4.32) together with an explicit combinatorial cancellation of convolution products obtained by pairing shuffles (Lemma 5.30 and Corollary 5.33). The main statements are Theorems 3.27, 2.25 and 4.36 (and the companion monomial formulae and the two extreme cases of Theorem 4.38).

Significance. Explicit antipode formulae for combinatorial Hopf algebras are often non-trivial; the paper supplies them for two natural q-deformations and for a natural subset of a new fundamental basis of NCQSym, while giving a new, cancellation-based proof of the classical formula on QSym. The construction works over an arbitrary commutative ring, the key involution on shuffles is elementary and self-contained, and the same vanishing argument yields all three theorems at once. The partial nature of the NCQSym result is clearly acknowledged and illustrated by a complete degree-3 calculation (Proposition 5.39). These are solid, usable contributions to the literature on quasi-symmetric and non-commutative symmetric functions.

minor comments (5)
  1. The abstract and introduction claim a 'new proof' of the classical antipode formula on QSym; a short sentence locating the argument relative to the cancelation-free approach of [BS] would help the reader place the contribution.
  2. Notation for the modified fundamental elements rF_alpha^(q) and for the two orders lhd / lhd^* on set compositions is dense; a short summary table of the main bases and their coproducts would improve readability.
  3. In Definition 3.15 the inversion number inv(alpha) is written with a product symbol; the surrounding text and later formulae make clear that a sum is intended. Correct the symbol.
  4. Several running examples (alpha = 213, A = (23,5,14), etc.) are reused effectively; cross-references to the earlier appearance of each example would make the later calculations easier to follow.
  5. The discussion of S^2 having infinite order (Corollary 3.31 and the degree-3 calculation for NCQSym) is interesting; a brief remark on whether the same phenomenon appears for the full antipode of NCQSym would be welcome, even if only as an open question.

Circularity Check

0 steps flagged

No significant circularity: antipode formulas are derived from the standard recursive construction on connected graded bi-algebras plus an independent combinatorial involution that cancels products, without assuming the target formulas.

full rationale

The derivation chain begins from the general recursive existence of the antipode on any connected graded bi-algebra (Lemma 1.12) and its reformulation as Corollary 1.13 / Remark 1.14: if a linearly independent homogeneous family {g_α} has pure-tensor coproducts of the same family and a second family {tilde g_α} makes the convolution products vanish (except at the unit), then S(g_α) = tilde g_α. The pure-tensor coproduct property is established independently for the three fundamental families (Propositions 2.22, 3.22, 4.32) by the usual multiset / standardization arguments; it is not taken from the antipode formulas. The required vanishing of the products is proved in Section 5 by an explicit involution on shuffles (Definition 5.27, Lemma 5.30, Corollary 5.33) that pairs identical terms of opposite sign; the pairing is combinatorial and does not presuppose the form of S. The same vanishing simultaneously recovers the classical formula on QSym (Theorem 2.25) as the special case q = 1 or the image under the projection of Proposition 4.40. Self-citations ([Z1]–[Z3]) appear only for background on reversals of sets and are not load-bearing. There is no self-definitional loop, no fitted parameter re-labeled as a prediction, and no uniqueness theorem imported from the author’s prior work that forces the result. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 2 invented entities

The paper works entirely inside the standard axiomatic framework of graded connected Hopf algebras over a commutative ring, compositions, and set compositions. No free parameters are fitted; the only new objects are combinatorial bases introduced for the purpose of stating the antipode formulas. All background results (existence of antipodes, coproduct formulas on monomials, etc.) are either classical or proved in the text.

axioms (3)
  • standard math Every connected graded bi-algebra over a commutative ring admits a unique antipode given by the recursive formula of Lemma 1.12.
    Standard fact used throughout; proved for completeness in the paper.
  • domain assumption The coproduct on fundamental (or modified fundamental) elements splits as a pure tensor of two elements of the same family (Propositions 2.22, 3.22, 4.32).
    Verified by direct expansion from the definitions of the bases; load-bearing for the application of Corollary 1.13.
  • domain assumption The product of two fundamental elements expands as a sum over shuffles of another fundamental element (Propositions 5.10 and 5.23).
    Proved by an explicit bijection on multi-sets; the free choice of lift τ is used for cancelation.
invented entities (2)
  • Modified fundamental q-quasi-symmetric functions rF_α^(q) no independent evidence
    purpose: Absorb the inversion-number powers so that the antipode formula is clean.
    Defined in Definition 3.15; no independent existence outside the paper, but purely combinatorial.
  • Fundamental non-commutative quasi-symmetric functions F_ρ_α (and the subset F_A) no independent evidence
    purpose: Provide a basis of NCQSym that lifts the classical fundamental basis and admits a partial antipode formula.
    Introduced in Definition 4.25; shown to be a basis in Proposition 4.27.

pith-pipeline@v1.1.0-grok45 · 74171 in / 2527 out tokens · 37383 ms · 2026-07-10T16:19:32.535063+00:00 · methodology

0 comments
read the original abstract

We prove the antipode formula for the $q$-deformations of quasi-symmetric functions. We also define a fundamental basis for non-commutative quasi-symmetric functions, and establish a partial antipode formula there. Our method also reduce to a new proof for the known antipode formula on the usual quasi-symmetric functions.

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

47 extracted references · 47 canonical work pages · 5 internal anchors

  1. [1]

    Math., vol 142 issue 1, 1--30 (2006)

    Aguiar, M., Bergeron, N., Sottile, F., Combinatorial Hopf Algebras and Generalized Dehn--Sommerville Relations , Compos. Math., vol 142 issue 1, 1--30 (2006)

    work page 2006

  2. [2]

    29, American Mathematical Society, Providence, RI, vi+784pp (2010)

    Aguiar, M., Mahajan, S., Monoidal Functors, Species and Hopf Algebras , CRM Monograph Series, vol. 29, American Mathematical Society, Providence, RI, vi+784pp (2010)

    work page 2010

  3. [3]

    Math., vol 191 issue 2, 225--275 (2005)

    Aguiar, M., Sottile, F., Structure of the Malvenuto-–Reutenauer Hopf algebra of Permutations , Adv. Math., vol 191 issue 2, 225--275 (2005)

    work page 2005

  4. [4]

    Math., vol 306, 89-–122 (2017)

    Assaf, S., Searles, D., Schubert Polynomials, Slide Polynomials, Stanley Symmetric Functions, and Quasi-Yamanouchi Pipe Dreams , Adv. Math., vol 306, 89-–122 (2017)

    work page 2017

  5. [5]

    Bergeron, N., Hohlweg, C., Rosas, M., Zabrocki, M., Grothendieck Bialgebras, Partition Lattices, and Symmetric Functions in Noncommutative Variables , Elect. J. Comb., vol 13 no. 1, paper 75, 1–-19 (2006)

    work page 2006

  6. [6]

    Bergeron, N., Reutenauer, C., Rosas, M., Zabrocki, M., Invariants and Coinvariants of the Symmetric Group in Noncommuting Variables , Canad. J. Math., vol 60 issue 2, 266--296 (2008)

    work page 2008

  7. [7]

    Algebra Appl., vol 8 no

    Bergeron, N., Zabrocki, M., The Hopf Algebras of Symmetric Functions and Quasisymmetric Functions in Non-Commutative Variables are Free and Cofree , J. Algebra Appl., vol 8 no. 4, 581--600 (2009)

    work page 2009

  8. [8]

    Bergman, G., Cohn, P., Symmetric Elements in Free Powers of Rings , J. Lond. Math. Soc., vol s2-1 issue 1, 525–-534 (1969)

    work page 1969

  9. [9]

    Benedetti, C., Sagan, B., Antipodes and Involutions , J. Combin. Theory Ser. A, vol 148, 275–-315 (2017)

    work page 2017

  10. [10]

    Bui, C., Duchamp, G. H. E., Minh, V. H. H., Sch\" u tzenberger’s Factorization on the (Completed) Hopf Algebra of q -Stuffle Product , pre-print, https://arxiv.org/abs/1305.4450 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  11. [11]

    Dahlgren, I., On Hopf Algebras of Symmetric and Quasisymmetric Functions , bachelor thesis, KTH Stockholm (2024)

    work page 2024

  12. [12]

    Duchamp, G. H. E., Enjalbert, J.-Y., Minh, V. H. H., Tollu, C., The Mechanics of Shuffle Products and their Siblings , Discr. Math., vol 340 issue 9, 2286--2300 (2017)

    work page 2017

  13. [13]

    Duchamp, G. H. E., I., Krob, D., Klyachko, A., Thibon, J.-Y., Noncommutative Symmetric Functions III: Deformations of Cauchy and Convolution Algebras , Discr. Math. Theo. Comp. Sci., vol 1, 159--216 (1997)

    work page 1997

  14. [14]

    Math., vol 119 issue 1, 1--25 (1996)

    Ehrenborg, R., On Posets and Hopf Algebras , Adv. Math., vol 119 issue 1, 1--25 (1996)

    work page 1996

  15. [15]

    P., Khovanov, M., The Hopf Algebra of Odd Symmetric Functions , Adv

    Ellis, A. P., Khovanov, M., The Hopf Algebra of Odd Symmetric Functions , Adv. Math., vol 231 issue 2, 965--999 (2012)

    work page 2012

  16. [16]

    Math., vol 112 issue 2, 218--348 (1995)

    Gelfand, I., Krob, D., Lascoux, A., Leclerc, B., Retakh, V., Thibon, J.-Y., Noncommutative Symmetric Functions , Adv. Math., vol 112 issue 2, 218--348 (1995)

    work page 1995

  17. [17]

    Gessel, I., Multipartite P-partitions and Inner Products of Skew Schur Functions , Contemp. Math. 34, 289–-301 (1984)

    work page 1984

  18. [18]

    Grinberg, D., Double Posets and the Antipode of QSym , Elect. J. Comb., vol 24 issue 2, paper 22, 1–-47 (2017)

    work page 2017

  19. [19]

    Grinberg, D., Reiner, V., Hopf Algebras in Combinatorics , pre-print, https://arxiv.org/abs/1409.8356 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  20. [20]

    thesis, Informatique fondamentale, Universit\' e de Marne-la-Vall\' e e, 1--247 (1999)

    Hivert,, F., Combinatoire des Fonctions Quasi-Sym\' e triques , Ph.D. thesis, Informatique fondamentale, Universit\' e de Marne-la-Vall\' e e, 1--247 (1999)

    work page 1999

  21. [21]

    Math., vol 155 issue 2, 181--238 (2000)

    Hivert,, F., Hecke Algebras, Difference Operators, and Quasi-Symmetric Functions , Adv. Math., vol 155 issue 2, 181--238 (2000)

    work page 2000

  22. [22]

    E., Quasi-Shuffle Products , J

    Hoffman, M. E., Quasi-Shuffle Products , J. Alg. Comb., vol 11 issue 1, 49--68 (2000)

    work page 2000

  23. [23]

    E., Quasi-Symmetric Functions, Multiple Zeta Values, and Rooted Trees , Oberwolfach Reports, vol 3 no

    Hoffman, M. E., Quasi-Symmetric Functions, Multiple Zeta Values, and Rooted Trees , Oberwolfach Reports, vol 3 no. 2, 1259--1262 (2006)

    work page 2006

  24. [24]

    Q., Rosso, M., Zhang, J., Quantum Quasi-Shuffle Products , Lett

    Jian, R. Q., Rosso, M., Zhang, J., Quantum Quasi-Shuffle Products , Lett. Math. Phys., vol 92 issue 1, 1--16 (2010)

    work page 2010

  25. [25]

    o llenbeck,, A., Nichtkommutative Charaktertheorie der Symmetrischen Gruppen , Ph.D. thesis, Christian-Albrechts-Universit\

    J\" o llenbeck,, A., Nichtkommutative Charaktertheorie der Symmetrischen Gruppen , Ph.D. thesis, Christian-Albrechts-Universit\" a t Kiel, 1--41 (1997)

    work page 1997

  26. [26]

    Lam, T., Pylyavskyy, P., Combinatorial Hopf algebras and K-homology of Grassmannians , Int. Math. Res. Not., vol 2007, article rmn125, 1--48 (2007)

    work page 2007

  27. [27]

    Appl, Math., vol 47 issue 3, 536--544 (2011)

    Lauve, A., Mastnak, M., The Primitives and Antipode in the Hopf Algebra of Symmetric Functions in Noncommuting Variables , Adv. Appl, Math., vol 47 issue 3, 536--544 (2011)

    work page 2011

  28. [28]

    Li, Y., On q-Symmetric Functions and q-Quasisymmetric Functions , J. Alg. Comb., vol 41 issue 2, 323--364 (2015)

    work page 2015

  29. [29]

    Luoto, K., Mykytiuk, S., von Willigenburg, S., An Introduction to Quasisymmetric Schur Functions , SpringBriefs in Mathematics 22, Springer New York Heidelberg Dordrecht London, xiv+89pp (2013)

    work page 2013

  30. [30]

    Algebra, vol 177 issue 3, 967–-982 (1995)

    Malvenuto, C., Reutenauer, C., Duality Between Quasi-Symmetric Functions and the Solomon Descent Algebra , J. Algebra, vol 177 issue 3, 967–-982 (1995)

    work page 1995

  31. [31]

    Menous, F., Novelli, J.-C., Thibon, J.-Y., Mould Calculus, Polyhedral Cones, and Characters of Combinatorial Hopf Algebras , Adv. Appl. Math., vol 51 issue 2, 177–-227 (2013)

    work page 2013

  32. [32]

    Mlodecki, H., Basis of Totally Primitive Elements of WQSym , S\' e m. Lothar. Comb., vol 84B, article 104, 1--12 (2020)

    work page 2020

  33. [33]

    Theory, vol 4 issue 1, article 1, 1--73 (2024)

    Mlodecki, H., Decompositions of Packed Words and Self Duality of Word Quasisymmetric Functions , Comb. Theory, vol 4 issue 1, article 1, 1--73 (2024)

    work page 2024

  34. [34]

    Montgomery, S., Hopf Algebras and their Actions on Rings , Regional Conference Series in Mathematics 82, Conference Board of the Mathematical Sciences, American Mathematical Society, xiv+238pp (1993)

    work page 1993

  35. [35]

    Novelli, J.-C., Thibon, J.-Y., Polynomial Realizations of Some Trialgebras , FPSAC'06, 243--254 (2006)

    work page 2006

  36. [36]

    Patrias, R., Antipode Formulas for some Combinatorial Hopf Algebras , Elect. J. Comb., vol 23 issue 4, paper 30, 1–-32 (2016)

    work page 2016

  37. [37]

    Poirier, S., Reutenauer, C., Alg\` e bres de Hopf de Tableaux , Ann. Sci. Math. Qu\' e bec, vol 19 no. 1, 79–-90 (1995)

    work page 1995

  38. [38]

    Math., vol 68 issue 2, 210–-220 (1958)

    Ree, R., Lie Elements and an Algebra Associated with Shuffles , Ann. Math., vol 68 issue 2, 210–-220 (1958)

    work page 1958

  39. [39]

    Rosas, M., Sagan, B., Symmetric Functions in Noncommuting Variables , Trans. Amer. Math. Soc., vol 358 no. 1, 215–-232 (2006)

    work page 2006

  40. [40]

    E., Hopf Algebras , Mathmatics Lecture Notes Series 44, W

    Sweedler, M. E., Hopf Algebras , Mathmatics Lecture Notes Series 44, W. A. Benjamin, Addison Wesley Publication Company, New York, xiv+336pp (1969)

    work page 1969

  41. [41]

    Takeuchi, M., Free Hopf Algebras Generated by Coalgebras , J. Math. Soc. Japan, vol 23 issue 4, 561-–582 (1971)

    work page 1971

  42. [42]

    Thibon, J.-Y., Ung, B.-C.-V., Quantum Quasi-Symmetric Functions and Hecke Algebras , J. Phys. A: Math. Gen., vol 29 no. 22, 7337–-7348 (1996)

    work page 1996

  43. [43]

    G., Fundamentals of Hopf Algebras , Universitext 44, Springer International Publiching Switzerland, Springer Cham, Heidelberg New York Dordrecht London, xiv+150pp (2015)

    Underwood, R. G., Fundamentals of Hopf Algebras , Universitext 44, Springer International Publiching Switzerland, Springer Cham, Heidelberg New York Dordrecht London, xiv+150pp (2015)

    work page 2015

  44. [44]

    C., Symmetric Functions of Non-commutative Variables , Duke

    Wolf, M. C., Symmetric Functions of Non-commutative Variables , Duke. Math. J., vol 2 issue 4, 626–-637 (1936)

    work page 1936

  45. [45]

    Zemel, S., Compatibility of Higher Specht Polynomials and Decompositions of Representations , pre-print, https://arxiv.org/abs/2505.07097 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  46. [46]

    Zemel, S., Generalized Higher Specht Polynomials and Homogeneous Representations of Symmetric Groups , pre-print, https://arxiv.org/abs/2505.07098 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  47. [47]

    Zemel, S., Stable Higher Specht Polynomials and Representations of Infinite Symmetric Groups , pre-print, https://arxiv.org/abs/2505.07099 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025