REVIEW 2 major objections 2 minor
An analogue of chromatic bases and $p$-positivity of skew Schur $Q$-functions
T0 review · 2 major / 2 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Chromatic symmetric functions construct natural bases for the algebra generated by Schur Q-functions, and a class of ribbon Schur Q-functions are p-positive.
desk verdict The chromatic bases for Γ are a concrete construction worth noting; the p-positivity conjecture for all ribbon Schur Q-functions rests only on finite computational checks. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Chromatic symmetric functions used to span Γ together with the ribbon shapes that yield p-positive expansions of skew Schur Q-functions.
What would settle it
An explicit ribbon shape whose skew Schur Q-function has a negative coefficient when expanded in the power-sum basis, or a non-ribbon shape whose skew Schur Q-function has all nonnegative coefficients.
Extended reading notes
Core claim
Natural bases of Γ can be constructed in terms of chromatic symmetric functions. A class of ribbon Schur Q-functions are p-positive, and it is conjectured that they comprise all p-positive skew Schur Q-functions, with the claim supported by explicit computations on small ribbon shapes.
Load-bearing premise
The computational checks performed on small ribbon shapes are sufficient to support the conjecture that p-positivity holds for every ribbon Schur Q-function.
Editorial extensions
If this is right
- Chromatic symmetric functions provide explicit bases for the algebra generated by Schur Q-functions.
- Ribbon Schur Q-functions on the identified class expand nonnegatively in the power-sum basis.
- The conjecture supplies a complete combinatorial classification of all p-positive skew Schur Q-functions.
- The same computational methods can be used to test further families of skew shapes for p-positivity.
Reading between the lines
- If the conjecture holds, algorithms for detecting p-positivity could be reduced to checking whether a shape is a ribbon of the specified type.
- The bases constructed from chromatic functions may simplify calculations inside Γ that previously relied on Schur Q-functions alone.
- Similar positivity questions for other families of symmetric functions could be approached by first identifying an analogue of the ribbon condition.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs natural bases for the algebra Γ generated by Schur Q-functions in terms of chromatic symmetric functions. It identifies a combinatorial class of ribbon Schur Q-functions that expand positively in the p-basis and conjectures that this class contains all p-positive ribbon Schur Q-functions, with the conjecture supported by explicit computations on small ribbon shapes.
Significance. If the constructions are correct and the conjecture holds, the work supplies explicit bases linking chromatic symmetric functions to Γ and a candidate combinatorial characterization of p-positivity for skew Schur Q-functions. The concrete computational results constitute a verifiable contribution even if the universal statement remains open.
major comments (2)
- [§4] §4 (Conjecture statement and computational support): the claim that the identified class comprises all p-positive ribbon Schur Q-functions rests on checks for ribbons of bounded size; because the set of ribbons is infinite, these finite verifications do not rule out counterexamples of larger size, and no recurrence, generating-function identity, or asymptotic argument is supplied to extend the positivity to arbitrary ribbons. This is load-bearing for the central conjecture.
- [§3] §3 (Basis construction): while the change-of-basis matrices between the chromatic symmetric functions and the proposed bases of Γ are exhibited explicitly for small n, the manuscript does not verify that the resulting elements remain linearly independent (or span) for all degrees; an explicit dimension count or triangularity argument with respect to a known basis of Γ would strengthen the claim.
minor comments (2)
- Notation for the ribbon shapes in the computational tables is not defined in a single location; a short glossary or reference to the standard ribbon notation would improve readability.
- [§2] Several displayed equations in §2 lack equation numbers, making cross-references in the text harder to follow.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address each major comment below.
read point-by-point responses
-
Referee: [§4] §4 (Conjecture statement and computational support): the claim that the identified class comprises all p-positive ribbon Schur Q-functions rests on checks for ribbons of bounded size; because the set of ribbons is infinite, these finite verifications do not rule out counterexamples of larger size, and no recurrence, generating-function identity, or asymptotic argument is supplied to extend the positivity to arbitrary ribbons. This is load-bearing for the central conjecture.
Authors: The manuscript presents the statement explicitly as a conjecture supported by computations on small ribbon shapes, without claiming a general proof. No recurrence, generating function, or asymptotic argument is supplied because none was found; the finite verifications are offered as concrete, verifiable evidence rather than a complete resolution. We agree this leaves the conjecture open to potential larger counterexamples. revision: no
-
Referee: [§3] §3 (Basis construction): while the change-of-basis matrices between the chromatic symmetric functions and the proposed bases of Γ are exhibited explicitly for small n, the manuscript does not verify that the resulting elements remain linearly independent (or span) for all degrees; an explicit dimension count or triangularity argument with respect to a known basis of Γ would strengthen the claim.
Authors: The bases are defined combinatorially in general degree via the chromatic symmetric functions, with explicit matrices shown for small n as illustration. We will add an explicit dimension-count comparison to the known dimension of Γ (equal to the number of strict partitions) to confirm spanning and independence in all degrees. revision: yes
Circularity Check
No circularity: explicit constructions and finite-check conjecture are independent of inputs
full rationale
The paper states two main results: (1) explicit construction of bases for Γ via chromatic symmetric functions, presented as direct change-of-basis or generating-function arguments, and (2) identification of a combinatorial class of ribbon Schur Q-functions that are p-positive, with the universal claim offered only as a conjecture backed by explicit small-case computations. Neither step reduces by definition, renaming, or self-citation to its own fitted values or prior outputs; the computations serve as external verification rather than tautological re-derivation. No load-bearing uniqueness theorem or ansatz is imported from the authors' own prior work in a way that collapses the claim. The derivation chain remains self-contained against external benchmarks.
Assumptions & free parameters
Cite this review
Pith. "Pith review of An analogue of chromatic bases and $p$-positivity of skew Schur $Q$-functions." pith.science (2026). https://pith.science/paper/4AQFEVUC
@misc{pith2026190709722,
author = {Pith},
title = {Pith review of: An analogue of chromatic bases and $p$-positivity of skew Schur $Q$-functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/4AQFEVUC}},
note = {Machine review of arXiv:1907.09722}
}
abstract
We investigate chromatic symmetric functions in the relation to the algebra $\Gamma$ of symmetric functions generated by Schur $Q$-functions. We construct natural bases of $\Gamma$ in terms of chromatic symmetric functions. We also consider the $p$-positivity of skew Schur $Q$-functions and find a class of $p$-positive ribbon Schur $Q$-functions, making a conjecture that they are \emph{all}. We include many concrete computational results that support our conjecture.
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.