Fundamental quasisymmetric functions in superspace

Jessica Gatica; Luc Lapointe; Maria Elena Pinto; Susanna Fishel

REVIEW 2 major objections 6 minor 11 references

Fundamental quasisymmetric functions in superspace

T0 review · 2 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper derives explicit product, coproduct, antipode, and Schur expansions for fundamental quasisymmetric functions in superspace.

desk verdict The signed product formula for fundamentals in superspace is likely correct, but the proof hinges on an unproved bijection that the authors must fix. read the letter →

arxiv 2411.13371 v1 pith:53AIGNGH submitted 2024-11-20 math.CO

Susanna Fishel , Jessica Gatica , Luc Lapointe , Maria Elena Pinto This is my paper · ORCID

classification math.CO MSC 05E0516T30

keywords fundamentalquasisymmetricfunctionssuperspacedottedcompositionsHopfalgebraantipodeSchurinshuffleproductstandardtableaux

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

The paper works out the full algebraic structure of the fundamental quasisymmetric functions in superspace, a basis for functions of both commuting and anticommuting variables indexed by dotted compositions. It proves that the product of two such functions expands as a signed sum over fundamental shuffles, that the coproduct splits into concatenations and near-concatenations, and that the antipode can be computed by a recursive column algorithm. It also extends to superspace the classic expansion of skew Schur functions into fundamental quasisymmetric functions, with signs governed by dot-standard tableaux. If the results are right, superspace symmetric functions enjoy the same combinatorial control that fundamental quasisymmetric functions provide in the ordinary setting.

What carries the argument

The load-bearing objects are dotted compositions, compositions whose parts may carry a dot to record the anticommuting variables, together with three sets attached to them: $D(\alpha)$ (descent-like partial sums), $E(\alpha)$ (interior positions of dotted parts), and $F(\alpha)$ (partial sums at dotted parts). These sets give a practical criterion for the strong refinement order and a compact formula for $L_\alpha$ as a constrained sum. The product formula is carried by the fundamental shuffle, a lattice path in the grid formed by the two factors that may step horizontally, vertically, or diagonally across several cells when dotted labels are involved, with sign $(-1)^{d}$, where $d$ is the number of dotted cells below the path. The proof of the product formula hinges on a sign-preserving bijection $\varphi$ between fundamental shuffles together with refinements and overlapping shuffles together with refined factor compositions. The antipode algorithm rests on two bilinear operations $\bullet$ and $\odot$ on monomial quasisymmetric functions in superspace, corresponding to concatenation and near-concatenation, and on the unique decomposition of a dotted composition into columns.

What would settle it

Enumerate all pairs $(Q,\gamma')$ for a small example with multi-cell diagonal steps, such as $\alpha=(\dot{1},4)$ and $\beta=(\dot{2},\dot{3},3)$, apply the map $\varphi$, and compare $\operatorname{sign}(P)$ with $\operatorname{sign}(Q)$; a single mismatch, or a pair not reached, would disprove Proposition 4.6. Symbolically expanding both sides of equation (4.2) into monomials for the same example provides an independent check of the coefficient equality.

Watch

Extended reading notes

Core claim

The central claim is that the fundamental quasisymmetric functions in superspace $L_\alpha$ form a Hopf algebra, meaning an algebra equipped with a compatible product, coproduct, and antipode, with fully explicit operations on the fundamental basis. The product is $L_\alpha L_\beta = \sum_\gamma \operatorname{sign}(\gamma) L_\gamma$, where the sum runs over fundamental shuffles of $\alpha$ and $\beta$ and the sign is $(-1)$ raised to the number of dotted cells below the shuffle path. The coproduct is $\Delta(L_\alpha) = \sum L_\eta \otimes L_\gamma$ over decompositions $\alpha = \eta \cdot \gamma$ and $\alpha = \eta \odot \gamma$, where $\cdot$ is concatenation and $\odot$ is near-concatenation. The antipode is obtained by decomposing any dotted composition into columns, using the column formula $S(L_\alpha) = (-1)^{\ell(\alpha)+\binom{m_\alpha}{2}} \sum_\beta L_\beta$ over maximal dotted compositions $\beta$ with $\beta \unrhd \operatorname{rev}(\alpha)$, and recombining with the $\bullet$ product. Finally, the skew Schur function in superspace satisfies $s_{\Lambda/\Omega} = \sum_T (-1)^{\operatorname{inv}(T)} L_{\operatorname{comp}(T)}$, summed over dot-standard $s$-tableaux $T$ of shape $\Lambda/\Omega$.

Load-bearing premise

The signed product formula rests on a bijection between two kinds of lattice-path shuffles constructed in the proof of Proposition 4.6; the paper asserts that the construction can be reversed and preserves the sign, but does not prove this in full detail.

Editorial extensions

If this is right

Any product $L_\alpha L_\beta$ can be written as an explicit finite signed sum of fundamentals indexed by lattice paths, without solving linear systems.
The antipode of a fundamental can be evaluated by a terminating algorithm: split the dotted composition into columns, apply the closed column formula, and stitch the results together with the $\bullet$ product, with signs from the fermionic degrees.
Skew Schur functions in superspace decompose into fundamentals with coefficients $\pm 1$, indexed by dot-standard $s$-tableaux, matching the ordinary case where Schur functions expand into fundamentals with standard tableaux.
The formulas determine the product, coproduct, and antipode on the fundamental basis, giving a complete Hopf-algebra description of quasisymmetric functions in superspace analogous to the classical theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the set encoding via $D(\alpha), E(\alpha), F(\alpha)$ is likely to support transfer-matrix or generating-function algorithms for multiplying fundamentals, avoiding explicit path enumeration.
Editorial inference: the sign-preserving bijection $\varphi$ suggests a hidden associativity at the level of fundamental shuffle paths; making the bijection fully explicit could yield a direct proof that the path product is associative, independent of the underlying algebra.
Editorial inference: because the cofundamental basis is set aside for lacking explicit product and antipode formulas, the paper indirectly raises the question of which bases in superspace are good; a dual analysis through noncommutative ribbon Schur functions might reveal that cofundamentals should be replaced by a different indexing convention.

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.

Desk Editor's Note

read the letter

Plainly: the paper is a serious and mostly-correct structural study, but the proof of its key product formula is incomplete. The bijection φ in Proposition 4.6 is not shown to be invertible or sign-preserving, and that is a load-bearing gap. Everything else is in decent shape.

The genuinely new content is the signed shuffle product formula (Prop. 4.6), the antipode recursion using the column decomposition (Section 5), and the Schur expansion via dot-standard tableaux (Prop. 6.3). The coproduct was already in [1] and the fundamentals were defined in [6], so the credit goes to those three results. The antipode section is genuinely clever: the column decomposition (5.23) plus the recursion (5.24) gives a workable algorithm, and the non-super case drops out correctly. The Schur expansion is a natural extension, and the standardization argument, while brief, is plausible.

The soft spot is Section 4. In the proof of Proposition 4.6, the map φ is described only in the forward direction. The sentence “It is not difficult to see that these steps can be reversed and φ is a bijection” is doing real work, and the sign equality sign(P) = sign(Q) is asserted without argument. The sign for a fundamental shuffle is counted in the (α,β)-grid with dots placed where wα and wβ entries are simultaneously dotted, while the overlapping-shuffle sign is counted in the coarser (α′,β′)-grid. The deformation changes the grid and the relevant dot placement; the worked examples (Figures 3, 7, 8) do not cover the general case. Since the product formula is the engine of the paper—the antipode recursion and likely the Schur expansion rely on the algebra structure—this is a genuine gap. I do not think the statement is false; the examples are consistent and the pattern looks right. But as written, the proof is incomplete.

Minor issue: the proof of Proposition 6.3 is compressed; the correspondence between monomials and tableaux is asserted rather than fully shown. That is secondary.

Who this is for: researchers in combinatorial Hopf algebras, quasisymmetric functions, and superspace analogues. It deserves a serious referee rather than a desk rejection. My recommendation: send it to review, and ask the authors to supply the missing bijection reversal and the sign-preservation argument for φ before acceptance.

Referee Report

2 major / 6 minor

Summary. This paper studies the fundamental quasisymmetric functions in superspace L_α, indexed by dotted compositions, which were introduced only in passing in [6]. The authors claim four structural results: a coproduct formula Δ(L_α) = Σ L_η ⊗ L_γ over concatenations and near concatenations (Prop 3.1); a signed product formula L_α L_β = Σ_γ sign(γ) L_γ over 'fundamental shuffles' (Prop 4.6), proved by a deformation bijection to the overlapping-shuffle product of monomials from [6]; an antipode algorithm built on two bilinear operations • and ⊙, a compatibility theorem (Thm 5.3), a column decomposition (5.24), and an explicit column formula (Prop 5.5); and an expansion of skew Schur functions in superspace s_{Λ/Ω} = Σ_T (−1)^{inv(T)} L_comp(T) over dot-standard s-tableaux (Prop 6.3). The paper also introduces the sets D(α), E(α), F(α), which characterize the refinement order ⪯ and give compact rewritings of M_α and L_α. The cofundamental basis is explicitly excluded, with the authors stating that it does not have noteworthy properties.

Significance. If the missing proof details are supplied, the paper delivers the complete Hopf-algebra structure (product, coproduct, antipode) on the fundamental basis of sQSym and the natural superspace analogue of the classical Schur-to-fundamental expansion, providing strong confirmation that the definition of L_α from [6] is the right one. The paper has real strengths: the coproduct proof (Prop 3.1) is clean; the antipode recursion is explicit and algorithmic, with the noncommutative signs spelled out; the arguments reduce to the published monomial-basis results of [6] and the duality results of [1], with no fitted parameters or assumed target formulas; and the worked examples (Figures 3, 7, 8) check the signed product and the antipode in small cases. The principal risk is the unproved bijection φ underlying Proposition 4.6, which is load-bearing for the product formula; the proof of Proposition 6.3 is also compressed. Both issues appear fixable in a revision.

major comments (2)

[Section 4, proof of Proposition 4.6] The central bijection φ: S1 → S2 is asserted, not proved. The forward construction is described in detail, but the proof ends with 'It is not difficult to see that these steps can be reversed and φ is a bijection', and neither of the two required properties is established. (a) Reversal is not immediate: when a − (γ'_i + ... + γ'_k) or γ'_i + ... + γ'_{k+1} − a is zero, the diagonal step of P degenerates to a vertical or horizontal step, and the inverse map must decide whether a given H/V step of P came from a genuine step of Q or from a degenerate split of a non-dotted part γ_h; injectivity and surjectivity at these degenerate configurations are exactly what needs proof. (b) Sign preservation sign(P) = sign(Q) is never argued: the sign of Q counts dots below Q in the (α,β)-grid where both a w_α entry and a w_β entry are dotted, while the sign of P counts dots below P in the coarser (α',β')-grid; the deformation replaces runs of H/V steps by single diagonal steps and changes the grid cellulation, so equality of the dot counts is not evident and requires a proof or a direct sign-preserving reformulation. Relatedly, the claim preceding the definition of fundamental paths that 'the set of paths we obtain does not depend on which permutations w_α and w_β we choose' is also stated without proof, although it is needed for the set in (4.1) to be well defined. Since (4.1) is the product formula that motivates the paper, a complete proof of the bijection and of the sign equality must be supplied.
[Section 6, proof of Proposition 6.3] The coefficient matching for the Schur expansion is compressed past the point of verification. The key sentence 'if β ≼ comp(T), then a tableau T of weight β can be obtained by merging and relabeling the letters of T' is the crux of the equality (6.2), but the merge step is not shown to preserve the s-tableau rules of [9]: merging letters i and i+1 must keep each added cell a horizontal strip, must keep the circle-movement condition (a moved circle stays one row below its original position), and in the fermionic case must respect the 'new circle' column condition. The sign statement ('with the same sign since the standardisation does no change the order of the circles') also needs a justification, since inv(T) is read from the word of circle fillings while standardization changes letter values throughout the tableau. The companion assertion that std(T) is dot-standard of the same shape is motivated by the sentence that follows it, but the inverse direction deserves an explicit bijection between s-tableaux of weight β and the monomial summands of L_comp(T).

minor comments (6)

[Section 4, definition of Cell (i,j)] The third corner is printed as '(j, i − 1)' and should read '(i, j − 1)'.
[Example 4.8] Example 4.8 states that α = (˙2, 1) and β = (˙1, 2), which is the swap of the pair ((˙1, 2), (˙2, 1)) used in Example 4.7 and Figure 3; the two should be reconciled.
[Figure 1 caption] 'Partial partial order' should be 'partial order'.
[Proof of Proposition 2.11] In the displayed sum over Z, the range should be {1, . . . , n+m−1} \ E(α) rather than {1, . . . , n−1} \ E(α), since the monomial in (2.5) runs over n+m indices.
[Proof of Proposition 5.2] In the definition of the sets B and C, 'α ⊙ β ≼ σ' should read 'σ ≼ α ⊙ β' to match the surrounding argument.
[End of the proof of Theorem 5.3] The sign cancellations for the case where α1 is dotted are summarized in a single sentence and should be displayed in full; also 'equalites' is a typo for 'equalities'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central product, coproduct, antipode, and Schur-expansion claims are derived from the monomial-basis results of prior work (including the authors' own [6]) rather than assumed as inputs; the main weakness is an asserted but under-proved bijection, which is a correctness gap, not circularity.

full rationale

The paper's target formulas are not assumed as inputs. Lα is defined independently as Lα = ∑_{β≼α} Mβ (Definition 2.9), and the subsequent structure theorems are proved from this definition together with previously established monomial-basis facts: Proposition 2.5 (monomial coproduct), Proposition 2.8 (monomial antipode), and the monomial product formula cited as Proposition 5.5 of [6]. For example, the proof of Proposition 4.6 explicitly re-expresses the desired identity (4.1) as the equality (4.2) of sums over overlapping shuffles of monomials, reducing the product of fundamentals to the known monomial product and a proposed sign-preserving bijection φ. The proof does not use (4.1) itself. The quoted sentence 'It is not difficult to see that these steps can be reversed and φ is a bijection' identifies a genuine gap: the reversibility and especially the asserted equality sign(P) = sign(Q) are not demonstrated. But an unproved bijection is a correctness risk, not a circular reduction. Likewise, Proposition 3.1 follows from the duplication-of-alphabets interpretation of the coproduct; Theorem 5.3 and Corollary 5.4 follow by induction from Proposition 2.8 and the definition of the auxiliary products; Proposition 6.3 is a standardization argument matching monomials on each side, not a restatement of the conclusion. The paper does rely substantially on the authors' earlier paper [6] for the monomial-basis infrastructure, but that prior work concerns Mα, not Lα, and the cited results do not contain the target product, antipode, or Schur-expansion formulas for the fundamental basis. No fitted parameters are introduced, and no known result is merely renamed. Accordingly, the derivation is not circular; the score of 1 reflects only the heavy but legitimate reliance on prior self-authored monomial-basis theorems.

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

No fitted parameters or invented physical entities appear. The paper's results rest on prior structural facts about sQSym and sNSym: the Hopf algebra structure from [1], monomial product and antipode formulas from [6], and the duality between sNSym and sQSym. These are external results, not assumptions introduced ad hoc to prove the target formulas.

assumptions (4)

domain assumption sQSym is a Hopf algebra over Q with coproduct given by duplication of alphabets, as shown in [1].
Invoked in Section 2.3 and used in the proof of Proposition 3.1; the proof is not repeated here.
domain assumption The monomial product in sQSym is given by the overlapping shuffle formula of [6, Proposition 5.5].
Used at the start of the proof of Proposition 4.6 to rewrite L_alpha L_beta as a sum over overlapping shuffles of refinements.
domain assumption The monomial antipode in sQSym is S(M_alpha) = (-1)^... sum_{gamma weakly refining rev(alpha)} M_gamma, from [6, Proposition 5.10].
Used throughout Section 5 to prove Theorem 5.3, Proposition 5.5, and the recursive antipode formula.
domain assumption The dual Hopf algebra structure on sQSym with product • on monomials is obtained by replacing H by M in the sNSym structure, as stated in Remark 5.1.
Justifies treating • and ⊙ as algebra operations to which the antipode compatibility theorem applies.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Fundamental quasisymmetric functions in superspace." pith.science (2026). https://pith.science/paper/53AIGNGH

@misc{pith2026241113371,
  author       = {Pith},
  title        = {Pith review of: Fundamental quasisymmetric functions in superspace},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/53AIGNGH}},
  note         = {Machine review of arXiv:2411.13371}
}

read the original abstract

The fundamental quasisymmetric functions in superspace are a generalization of the fundamental quasisymmetric functions involving anticommuting variables. We obtain the action of the product, coproduct, and antipode on the fundamental quasisymmetric functions in superspace. We also extend to superspace the well known expansion of the Schur functions in terms of fundamental quasisymmetric functions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[1]

On the Hopf algebra of noncommutative symmetric functions in superspace

Diego Arcis, Camilo González, and Sebastián Márquez. On the Hopf algebra of noncommutative symmetric functions in s uperspace. arXiv:2205.11813

work page Pith review arXiv
[6]

Hop f algebra structure of symmetric and quasisymmetric functi ons in superspace

Susanna Fishel, Luc Lapointe, and María Elena Pinto. Hop f algebra structure of symmetric and quasisymmetric functi ons in superspace. J. Combin. Theory Ser . A, 166:144–170, 2019

work page 2019
[9]

Pieri rules for Schur funct ions in superspace

Miles Jones and Luc Lapointe. Pieri rules for Schur funct ions in superspace. J. Combin. Theory Ser . A, 148:57–115, 2017

work page 2017
[2]

Macdonald polynomials in super space as eigenfunctions of commuting operators

Olivier Blondeau-Fournier, Patrick Desrosiers, Luc La pointe, and Pierre Mathieu. Macdonald polynomials in super space as eigenfunctions of commuting operators. J. Comb., 3(3):495–561, 2012

work page 2012
[3]

C lassical symmetric functions in superspace

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. C lassical symmetric functions in superspace. J. Algebraic Combin. , 24(2):209–238, 2006

work page 2006
[4]

O rthogonality of Jack polynomials in superspace

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. O rthogonality of Jack polynomials in superspace. Adv. Math., 212(1):361–388, 2007. 20 SUSANNA FISHEL, JESSICA GA TICA, LUC LAPOINTE, AND MARÍA E LENA PINTO

work page 2007
[5]

E valuation and normalization of Jack superpolynomials

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. E valuation and normalization of Jack superpolynomials. Int. Math. Res. Not. IMRN , (23):5267–5327, 2012

work page 2012
[7]

Ira M. Gessel. Multipartite P -partitions and inner products of skew Schur functions. In Combinatorics and algebra (Boulder , Colo., 1983) , volume 34 of Contemp. Math., pages 289–317. Amer. Math. Soc., Providence, RI, 1984

work page 1983

Show all 11 references

[8]

Grinberg and V

D. Grinberg and V . Reiner. Hopf Algebras in Combinatoric s. ArXiv e-prints, September 2014

2014
[10]

An introduction to quasisymmetric Schur functions

Kurt Luoto, Stefan Mykytiuk, and Stephanie van Willige nburg. An introduction to quasisymmetric Schur functions . SpringerBriefs in Mathe- matics. Springer, New Y ork, 2013. Hopf algebras, quasisymmetric functions, and Y oung composition tableaux

2013
[11]

I. G. Macdonald and and. Symmetric functions and Hall polynomials . Oxford Classic Texts in the Physical Sciences. The Clarend on Press, Oxford University Press, New Y ork, second edition, 2015. Wi th contribution by A. V . Zelevinsky and a foreword by Richard Stanley, Reprint...

2015

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

On the Hopf algebra of noncommutative symmetric functions in superspace

Diego Arcis, Camilo González, and Sebastián Márquez. On the Hopf algebra of noncommutative symmetric functions in s uperspace. arXiv:2205.11813

work page Pith review arXiv

[2] [6]

Hop f algebra structure of symmetric and quasisymmetric functi ons in superspace

Susanna Fishel, Luc Lapointe, and María Elena Pinto. Hop f algebra structure of symmetric and quasisymmetric functi ons in superspace. J. Combin. Theory Ser . A, 166:144–170, 2019

work page 2019

[3] [9]

Pieri rules for Schur funct ions in superspace

Miles Jones and Luc Lapointe. Pieri rules for Schur funct ions in superspace. J. Combin. Theory Ser . A, 148:57–115, 2017

work page 2017

[4] [2]

Macdonald polynomials in super space as eigenfunctions of commuting operators

Olivier Blondeau-Fournier, Patrick Desrosiers, Luc La pointe, and Pierre Mathieu. Macdonald polynomials in super space as eigenfunctions of commuting operators. J. Comb., 3(3):495–561, 2012

work page 2012

[5] [3]

C lassical symmetric functions in superspace

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. C lassical symmetric functions in superspace. J. Algebraic Combin. , 24(2):209–238, 2006

work page 2006

[6] [4]

O rthogonality of Jack polynomials in superspace

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. O rthogonality of Jack polynomials in superspace. Adv. Math., 212(1):361–388, 2007. 20 SUSANNA FISHEL, JESSICA GA TICA, LUC LAPOINTE, AND MARÍA E LENA PINTO

work page 2007

[7] [5]

E valuation and normalization of Jack superpolynomials

Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu. E valuation and normalization of Jack superpolynomials. Int. Math. Res. Not. IMRN , (23):5267–5327, 2012

work page 2012

[8] [7]

Ira M. Gessel. Multipartite P -partitions and inner products of skew Schur functions. In Combinatorics and algebra (Boulder , Colo., 1983) , volume 34 of Contemp. Math., pages 289–317. Amer. Math. Soc., Providence, RI, 1984

work page 1983