Pith. sign in

REVIEW 2 major objections 2 minor 32 references

Quasisymmetric functions in superspace are the invariants under a quasisymmetrizing action of the symmetric group.

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 Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-05-10 18:35 UTC

load-bearing objection The paper builds the noncommutative quasisymmetric functions in superspace with explicit bases and super-shuffle formulas, then abelianizes to get product formulas for the commutative case. the 2 major comments →

arxiv 2604.06431 v1 submitted 2026-04-07 math.CO

On the quasisymmetric functions in superspace

Diego Arcis , Camilo Gonz\'alez , Sebasti\'an M\'arquez This is my paper
classification math.CO
keywords quasisymmetric functionssuperspaceHopf superalgebrasnoncommuting variablesset supercompositionssuperpermutationssuper-shufflesabelianization
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 shows that quasisymmetric functions in superspace, which mix commuting and anticommuting variables, arise exactly as the fixed elements under a natural action of the symmetric group that quasisymmetrizes the full polynomial superalgebra. This invariant characterization lets the authors define the missing noncommutative counterpart, quasisymmetric functions in noncommuting variables in superspace, and equip it with a compatible Hopf superalgebra structure. They index its bases by set supercompositions, build the subalgebra of superpermutations, and supply explicit product and coproduct rules via super-shuffles and global descents. An abelianization map then recovers a concrete multiplication formula for the fundamental basis in the original commuting superspace setting.

Core claim

The algebra of quasisymmetric functions in superspace coincides with the invariants of the polynomial superalgebra under the quasisymmetrizing action of the symmetric group. The authors introduce its noncommutative analogue as a Hopf superalgebra whose monomial and Q-bases are indexed by set supercompositions; the minimal elements of the underlying poset generate the Hopf superalgebra of superpermutations, the superspace version of the Malvenuto-Reutenauer algebra. Product and coproduct formulas are given in terms of super-shuffles and global descents, and the abelianization morphism produces the product rule for fundamental quasisymmetric functions in superspace.

What carries the argument

The quasisymmetrizing action of the symmetric group on the polynomial superalgebra, whose invariants are the quasisymmetric functions in superspace.

Load-bearing premise

The quasisymmetrizing action of the symmetric group extends consistently to the superspace polynomial algebra without introducing extra relations, and the abelianization map preserves the Hopf superalgebra structures.

What would settle it

An explicit polynomial in superspace variables that is fixed by every permutation in the quasisymmetrizing action yet fails to satisfy the defining quasisymmetry condition, or a direct computation showing that the abelianization-derived product for fundamental functions differs from the one obtained by other means.

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

If this is right

  • The noncommutative quasisymmetric functions in superspace supply the top level of the superspace combinatorial Hopf algebra hierarchy.
  • The Hopf superalgebra of superpermutations is generated by the minimal set supercompositions and carries explicit super-shuffle formulas.
  • The product formula for fundamental quasisymmetric functions in superspace is obtained directly from the noncommutative structures via abelianization.
  • Global descents and super-shuffles give combinatorial rules for both products and coproducts in the new bases.

Where Pith is reading between the lines

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

  • The same invariant description may apply to other graded extensions of quasisymmetric functions beyond superspace.
  • The poset of set supercompositions could support further combinatorial statistics or representation-theoretic interpretations.
  • The superpermutation algebra might serve as a template for constructing noncommutative analogues in other Hopf algebra hierarchies.

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

2 major / 2 minor

Summary. The paper characterizes the quasisymmetric functions in superspace as the invariants under a quasisymmetrizing action of the symmetric group. It introduces the algebra of quasisymmetric functions in noncommuting variables in superspace, equips it with a Hopf superalgebra structure, studies its Q-basis and monomial basis indexed by set supercompositions, constructs the Hopf superalgebra of superpermutations as the superspace analogue of the Malvenuto-Reutenauer algebra, supplies explicit product and coproduct formulas in terms of super-shuffles and global descents, and applies an abelianization morphism to obtain a product formula for the fundamental quasisymmetric functions in superspace.

Significance. If the Hopf superalgebra axioms and the abelianization morphism hold with the correct graded signs, the work completes the superspace extension of the classical combinatorial Hopf algebra hierarchy (Sym, QSym, NSym, etc.), supplying new bases, explicit combinatorial operations, and a bridge from noncommutative to commutative structures that can be used for further computations in supersymmetric algebraic combinatorics.

major comments (2)
  1. [abelianization morphism section] Abelianization morphism section: the claim that this morphism is a Hopf superalgebra homomorphism (and therefore yields the stated product formula for fundamental quasisymmetric functions) requires an explicit verification that coproducts on super-shuffles and global descents map with the correct Koszul signs under the supercommutativity relations; the manuscript states the formulas but does not display the sign check, which is load-bearing for the final derivation.
  2. [Hopf superalgebra structure section] Section introducing the Hopf superalgebra structure on noncommutative quasisymmetric functions in superspace: the verification that the coproduct defined via super-shuffles is coassociative and compatible with the superalgebra product (including graded signs) is stated but not detailed; this underpins both the superpermutations construction and the subsequent abelianization.
minor comments (2)
  1. [definitions section] The notation for set supercompositions and the distinction between superpermutations and ordinary permutations would be clearer with a short comparison table or two explicit low-degree examples early in the text.
  2. [characterization section] A few sentences clarifying how the quasisymmetrizing action of the symmetric group is extended to the superspace setting (including the action on odd variables) would improve readability for readers familiar only with the classical case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying points where additional explicit verifications would strengthen the exposition. We address each major comment below and will revise the paper accordingly.

read point-by-point responses

  1. Referee: [abelianization morphism section] Abelianization morphism section: the claim that this morphism is a Hopf superalgebra homomorphism (and therefore yields the stated product formula for fundamental quasisymmetric functions) requires an explicit verification that coproducts on super-shuffles and global descents map with the correct Koszul signs under the supercommutativity relations; the manuscript states the formulas but does not display the sign check, which is load-bearing for the final derivation.

    Authors: We agree that an explicit sign verification is necessary to confirm the morphism is a Hopf superalgebra homomorphism. In the revised manuscript we will insert a detailed computation (in the abelianization section or a short appendix) that tracks the Koszul signs when the coproduct is applied to super-shuffles and global descents and then mapped under the abelianization. This will directly justify the product formula for the fundamental quasisymmetric functions in superspace. revision: yes

  2. Referee: [Hopf superalgebra structure section] Section introducing the Hopf superalgebra structure on noncommutative quasisymmetric functions in superspace: the verification that the coproduct defined via super-shuffles is coassociative and compatible with the superalgebra product (including graded signs) is stated but not detailed; this underpins both the superpermutations construction and the subsequent abelianization.

    Authors: The referee is correct that the coassociativity and graded compatibility of the super-shuffle coproduct were asserted without a full expansion. We will expand the relevant section to include explicit (though concise) verifications: first, the coassociativity check on generators with all graded signs written out, and second, the compatibility identity between the product and coproduct, again displaying the Koszul signs. These additions will supply the missing foundation for the superpermutations Hopf superalgebra and the later abelianization step. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations use independent explicit constructions

full rationale

The paper introduces set supercompositions, super-shuffles, the Q-basis and monomial basis on the noncommutative quasisymmetric functions in superspace, and the abelianization morphism as new definitions with explicit product/coproduct formulas stated in terms of super-shuffles and global descents. The characterization of the quasisymmetric functions in superspace as invariants under the quasisymmetrizing action follows directly from these definitions rather than from any self-referential equation or fitted parameter. The product formula for fundamental quasisymmetric functions is derived by applying the independently constructed noncommutative structures via the morphism, without reducing the target result to the input by construction. No load-bearing step matches any of the enumerated circularity patterns; the derivation chain remains self-contained against the classical hierarchy it extends.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

The central claims rest on the introduction of new combinatorial objects in superspace and the assumption that standard Hopf superalgebra structures and morphisms extend without additional constraints or contradictions.

axioms (2)
  • standard math Hopf superalgebra axioms (associativity, coassociativity, compatibility with grading) hold for the defined structures
    The paper endows the noncommuting algebra with a Hopf superalgebra structure relying on known properties of superalgebras.
  • domain assumption The quasisymmetrizing action of the symmetric group is well-defined and yields invariants exactly matching the quasisymmetric functions in superspace
    Invoked directly for the characterization of the algebra as invariants.
invented entities (3)
  • set supercompositions no independent evidence
    purpose: Index the Q-basis and monomial basis
    New combinatorial objects introduced to generalize set compositions with super parity for the superspace setting.
  • superpermutations no independent evidence
    purpose: Form the Hopf superalgebra analogue of the Malvenuto-Reutenauer algebra
    Constructed by restricting to minimal elements of the poset of set supercompositions.
  • super-shuffles and global descents no independent evidence
    purpose: Provide explicit product and coproduct formulas
    Extensions of classical shuffles and descents adapted to the super grading.

pith-pipeline@v0.9.0 · 5498 in / 1838 out tokens · 41910 ms · 2026-05-10T18:35:22.878610+00:00 · methodology

0 comments
read the original abstract

Quasisymmetric functions in superspace were introduced as a natural extension of classical quasisymmetric functions involving both commuting and anticommuting variables. In this paper, we first provide a characterization of the algebra of quasisymmetric functions in superspace as an algebra of invariants under a quasisymmetrizing action of the symmetric group. Furthermore, we complete the superspace analogue of the classical hierarchy of combinatorial Hopf algebras by introducing the algebra of quasisymmetric functions in noncommuting variables in superspace. We endow this algebra with a Hopf superalgebra structure and thoroughly investigate its $Q$-basis and monomial basis, which are indexed by set supercompositions. By restricting to the minimal elements of the underlying poset, we construct the Hopf superalgebra of superpermutations, serving as the superspace analogue of the Malvenuto--Reutenauer algebra. We provide explicit product and coproduct formulas for these bases in terms of super-shuffles and global descents. Finally, via an abelianization morphism, we apply these noncommutative structures to derive a product formula for fundamental quasisymmetric functions in superspace.

Figures

Figures reproduced from arXiv: 2604.06431 by Camilo Gonz\'alez, Diego Arcis, Sebasti\'an M\'arquez.

Figure 1
Figure 1. Figure 1: Elements smaller than or equal to (1, 2, 0˙ , 1, 3˙ , 3). 6 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Elements greater than or equal to ({10}, {3}, {4}, {0}, {9}, {0, 1, 5, 7}, {2}, {6}, {8}). Observe that the minimal elements of this poset are precisely the set supercompositions in which every non-fermionic block is a singleton. We call these minimal elements superpermutations. This terminology is naturally justified because if a superpermutation has no fermionic blocks, it can be canonically identified w… view at source ↗
Figure 3
Figure 3. Figure 3: Isomorphism between I ↑ and γ(I) ↓ for I = ({1}, {2}, {4}, {3}). Proposition 5.2. If I is a superpermutation, then the map J 7→ α(J) defines an isomorphism between the poset I ↑ of set compositions above I and the poset γ(I) ↓ of integer compositions refining γ(I). See [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Isomorphism between I ↑ and γ(I) ↓ for I = ({0}, {1}, {2}, {4}, {0, 3}). 5.2 Product and coproduct rules We now introduce the Q-basis, which is indexed by set supercompositions and is constructed using the partial order established in Subsection 5.1. The Q-function associated with a set supercomposition I is defined by QI = X J⪰I MJ . (2) For instance, if I = ({0, 4, 5}, {1}, {3}, {2}, {0}, {7}, {5}, {6}),… view at source ↗
Figure 5
Figure 5. Figure 5: Interval of superpermutations I ∈ S with α(I) = (1, 1˙ , 1) Remark 5.7. The super left weak order admits an equivalent characterization in terms of the length function and the left action of the symmetric group, mirroring the classical definition. For a superpermutation I, we define its length as len(I) = |inv(I)|. Note that len(I) = len(w(I)). Furthermore, for every σ ∈ S∞, we denote by σ(I) the superperm… view at source ↗

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

32 extracted references · 32 canonical work pages

  1. [1]

    Aguiar, N

    M. Aguiar, N. Bergeron, and F. Sottile. Combinatorial Hopf algebras and generalized Dehn-Sommerville relations.Compos Math, 142(1):1–30, 2006

    work page 2006

  2. [2]

    Aguiar and S

    M. Aguiar and S. Mahajan.Coxeter Groups and Hopf Algebras, volume 23 ofFields Institute Monographs. American Mathematical Society, Rhode Island, 2006

    work page 2006

  3. [3]

    Aguiar and F

    M. Aguiar and F. Sottile. Structure of the Malvenuto–Reutenauer Hopf algebra of permutations.Adv Math, 191(2):225–275, 3 2002

    work page 2002

  4. [4]

    Angarone, P

    R. Angarone, P. Commins, T. Karn, S. Murai, and B. Rhoades. Superspace coinvariants and hyperplane arrangements.Adv Math, 467:110185, 5 2025

    work page 2025

  5. [5]

    Arcis, C

    D. Arcis, C. Gonz´ alez, and S. M´ arquez. Symmetric functions in noncommuting variables in superspace. Discrete Math, 348(2):114320, 2 2025

    work page 2025

  6. [6]

    Arcis, C

    D. Arcis, C. Gonz´ alez, and S. M´ arquez. Twisted algebras of invariant formal power series over monoids. Preprint, 2026

    work page 2026

  7. [7]

    Bergeron and M

    N. Bergeron and M. Zabrocki. The Hopf algebras of symmetric functions and quasi-symmetric functions in non-commutative variables are free and co-free.J Algebra Appl, 8(4):581–600, 8 2009

    work page 2009

  8. [8]

    Blondeau-Fournier, P

    O. Blondeau-Fournier, P. Desrosiers, L. Lapointe, and P. Mathieu. Macdonald polynomials in superspace as eigenfunctions of commuting operators.J Comb, 3(3):495–561, 2 2012

    work page 2012

  9. [9]

    Desrosiers, L

    P. Desrosiers, L. Lapointe, and P. Mathieu. Jack polynomials in superspace.Commun Math Phys, 242(1-2):331–360, 9 2003

    work page 2003

  10. [10]

    Desrosiers, L

    P. Desrosiers, L. Lapointe, and P. Mathieu. Jack superpolynomials: physical and combinatorial defini- tions.Czech J Phys, 54(11):1223–1228, 11 2004

    work page 2004

  11. [11]

    Desrosiers, L

    P. Desrosiers, L. Lapointe, and P. Mathieu. Classical symmetric functions in superspace.J Algebr Comb, 24:209–238, 9 2006. 22

    work page 2006

  12. [12]

    Duchamp, F

    G. Duchamp, F. Hivert, and J. Thibon. Noncommutative symmetric functions VI: free quasi-symmetric functions and related algebras.Int J Algebr Comput, 12(5):671–717, 10 2002

    work page 2002

  13. [13]

    Fishel, J

    S. Fishel, J. Gatica, L. Lapointe, and M. Pinto. Fundamental quasisymmetric functions in superspace. Eur J Combin, 125:104096, 3 2025

    work page 2025

  14. [14]

    Fishel, L

    S. Fishel, L. Lapointe, and M. Pinto. Hopf algebra structure of symmetric and quasisymmetric functions in superspace.J Comb Theory A, 166:144–170, 8 2019

    work page 2019

  15. [15]

    Gatica, M

    J. Gatica, M. Jones, and L. Lapointe. Pieri rules for the Jack polynomials in superspace and the 6–vertex model.Ann Henri Poincar´ e, 20:1051–1091, 4 2019

    work page 2019

  16. [16]

    Hopf Algebras in Combinatorics

    D. Grinberg and V. Reiner. Hopf algebras in combinatorics, 9 2020. URL:https://arxiv.org/abs/ 1409.8356

    work page Pith review arXiv 2020

  17. [17]

    Hattori, R

    M. Hattori, R. Yagi, and S. Yanagida. On the Hopf superalgebra of symmetric functions in superspace. Bull London Math Soc, 58:e70183, 1 2026

    work page 2026

  18. [18]

    F. Hivert. Hecke algebras, difference operators, and quasi-symmetric functions.Adv Math, 155(2):181– 238, 11 2000

    work page 2000

  19. [19]

    M. Hoffman. Quasi-shuffle products.J Algebr Comb, 11(1):49–68, 1 2000

    work page 2000

  20. [20]

    Jones and L

    M. Jones and L. Lapointe. Pieri rules for Schur functions in superspace.J Comb Theory A, 148(3):57–115, 5 2017

    work page 2017

  21. [21]

    Luoto, S

    K. Luoto, S. Mykytiuk, and S. van Willigenburg.An Introduction to Quasisymmetric Schur Func- tions: Hopf Algebras, Quasisymmetric Functions, and Young Composition Tableaux. Springer Briefs in Mathematics. Springer, New York, 1 edition, 6 2013

    work page 2013

  22. [22]

    Macdonald.Symmetric Functions and Hall Polynomials

    I.G. Macdonald.Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2 edition, 7 1999

    work page 1999

  23. [23]

    Malvenuto and C

    C. Malvenuto and C. Reutenauer. Duality between quasi-symmetrical functions and the Solomon descent algebra.J Algebra, 177(3):967–982, 11 1995

    work page 1995

  24. [24]

    Novelli and J

    J. Novelli and J. Thibon. Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions.Discrete Math, 310(24):3584–3606, 12 2010

    work page 2010

  25. [25]

    Novelli, J

    J. Novelli, J. Thibon, and L. Williams. Combinatorial Hopf algebras, noncommutative Hall-Littlewood functions, and permutation tableaux.Adv Math, 224(4):1311–1348, 7 2010

    work page 2010

  26. [26]

    Rhoades and A

    B. Rhoades and A. Wilson. The Hilbert series of the superspace coinvariant ring.Forum Math, 12:e16, 10 2024

    work page 2024

  27. [27]

    Rosas and B

    M. Rosas and B. Sagan. Symmetric functions in noncommuting variables.T Am Math Soc, 350:215–232, 2006

    work page 2006

  28. [28]

    Sagan.The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Func- tions, volume 203 ofGraduate Texts in Mathematics

    B. Sagan.The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Func- tions, volume 203 ofGraduate Texts in Mathematics. Springer Science+Business Media, LLC, New York, 2 edition, 2001

    work page 2001

  29. [29]

    Shahriari.An Invitation to Combinatorics

    S. Shahriari.An Invitation to Combinatorics. Cambridge Mathematical Textbooks. Cambridge Univer- sity Press, Cambridge, 2022

    work page 2022

  30. [30]

    Stanley.Enumerative Combinatorics, Volume 1, volume 49 ofCambridge Studies in Advanced Math- ematics

    R. Stanley.Enumerative Combinatorics, Volume 1, volume 49 ofCambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, 1997

    work page 1997

  31. [31]

    Stanley.Enumerative Combinatorics, Volume 2, volume 62 ofCambridge Studies in Advanced Math- ematics

    R. Stanley.Enumerative Combinatorics, Volume 2, volume 62 ofCambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, 1999

    work page 1999

  32. [32]

    M. Wolf. Symmetric functions of non-commutative elements.Duke Math J, 4(2):626–637, 12 1936. 23

    work page 1936