REVIEW 2 major objections 6 minor 28 references
Chromatic quasisymmetric functions for signed graphs
T0 review · 2 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read Signed graphs get a chromatic quasisymmetric invariant that expands over signed permutations in the fundamental family of SQSym.
desk verdict New signed quasisymmetric invariant and algebra are solid, but the key expansion theorem has a gap at the middle descent. 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
The load-bearing object is the invariant $X_{\vec{\Sigma}}(x;t)$ itself, defined by summing $t^{\mathrm{asc}(\kappa)} x^\kappa$ over proper signed colorings, where $\mathrm{asc}(\kappa)$ counts edges $e=\{u,v\}$ on which $\tau(u,e)\kappa(u)+\tau(v,e)\kappa(v)>0$. It is a signed quasisymmetric function, an element of the algebra $\mathrm{SQSym}$ of bounded-degree series in variables $(\ldots, x_{-1}, x_0, x_1, \ldots)$ that are invariant under the quasisymmetrizing action of the symmetric group. The expansion is carried by the fundamental family $F^\varepsilon_S$, the $(P,\omega)$-partition enumerators of signed labeled chains: each $F^\varepsilon_S$ is a sum over weakly increasing index sequences with strict steps prescribed by $S$ and sign pattern $\varepsilon$. The proof machinery is the hyperplane arrangement $H_\Sigma$ who
What would settle it
For a small signed graph, compute both sides of Theorem 4.2: the chamber sum (2.5) and the signed-permutation sum. If they differ for any graph, for example the two-vertex graph with one positive and one negative edge, the expansion fails. A direct count of $|SS_d|$ against the number of pairs (acyclic orientation $\tau'$, linear extension of $P_{\tau'}$) used in the proof would also expose the assumed bijection.
Extended reading notes
Core claim
On the paper's own terms, the central claim is that every directed signed graph $\vec{\Sigma} = (\Sigma, \tau)$ on $d$ vertices has a canonical $t$-refinement $X_{\vec{\Sigma}}(x;t) = \sum_{\kappa \text{ proper}} t^{\mathrm{asc}(\kappa)} x^\kappa$ of the signed chromatic symmetric function, and that this refinement expands as $X_{\vec{\Sigma}}(x;t) = \sum_{\pi \in SS_d} t^{\mathrm{inv}_{\vec{\Sigma}}(\pi)} F^{\mathrm{sgn}(\pi)}_{\mathrm{DES}_\Sigma(\pi)}$ in the fundamental family of $\mathrm{SQSym}$, where $\mathrm{inv}$ counts directed inversions of $\pi$ in the symmetric double cover of $\Sigma$ and $\mathrm{DES}_\Sigma(\pi)$ is a descent set defined by ranks in the associated signed poset. The proof interprets the invariant chamber-by-chamber through the hyperplane arrangement $H_\Sigma$, expresses each chamber's contribution as a signed $(P,\omega)$-partiti
Load-bearing premise
The proof of the main expansion moves from a sum over acyclic orientations to a sum over all signed permutations by relying on an unproved bijection between signed permutations and linear extensions of acyclic orientations of the signed graph; if that bijection is wrong, the formula double-counts or misses terms.
Editorial extensions
If this is right
- Specializing t=1 turns X_{\vec\Sigma}(x;t) into the known signed chromatic symmetric function, so the new invariant is a genuine refinement of signed graph coloring.
- The fundamental-family expansion gives a positive formula for X_{\vec\Sigma} in terms of signed permutations, making the invariant algorithmically computable from orientation data alone.
- SQSym is a graded algebra with monomial basis indexed by bicompositions, and its Hilbert series (1−t)/(1−4t+2t^2) gives dimensions 1, 3, 10, 34, ...; the product of fundamental elements is governed by a shuffle rule.
- For acyclic orientations containing at least one negative edge, X_{\vec\Sigma}(x;t) is never signed-symmetric, so full symmetry is restricted to special families such as the switched circular indifference digraphs studied in the paper.
Reading between the lines
- Editorial: the proof of the main expansion assumes a bijection between signed permutations and linear extensions of acyclic orientations of the signed graph; the paper does not prove this set-theoretic step, so the expansion's correctness rests on that missing verification.
- If the fundamental expansion survives scrutiny, SQSym is likely to fit into a type-B or free-quasisymmetric-function framework, giving a signed analogue of the quasi-shuffle Hopf algebra that the paper only sketches.
- A natural testable extension is to ask whether X_{\vec\Sigma}(x;t) distinguishes signed graphs that the t=1 specialization cannot, mirroring the open distinguishing-power questions for the unsigned invariant.
- Setting x_0=0 recovers the zero-free signed coloring invariant; the expansion then suggests a zero-free analogue of the (Σ,π)-descent statistics, which could be studied combinatorially on its own.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a chromatic quasisymmetric invariant X_{−→Σ}(x;t) for directed signed graphs, refining the signed chromatic symmetric function of Zaslavsky and giving a signed analogue of Ellzey's directed chromatic quasisymmetric function. The invariant is defined via proper signed colorings weighted by ascents, with a hyperplane-arrangement interpretation. The authors then define and study the algebra SQSym of signed quasisymmetric functions, construct a monomial basis, introduce a fundamental family F indexed by signed chains, and prove a product formula in that family. The central deliverable is Theorem 4.2, which expands X_{−→Σ}(x;t) in the fundamental family with coefficients t^{inv_{−→Σ}(π)} and descent sets DES_Σ(π). Section 5 studies when the invariant lies in SSym[t], proving symmetry for a switched family of circular indifference signed graphs and giving counterexamples to broader symmetry.
Significance. If the main theorem is correct, this is a substantial contribution to the algebraig combinatorics of signed graphs. The invariant naturally specializes to the known signed chromatic symmetric function at t=1 and to the zero-free variant by adding negative loops. The paper provides a new algebra SQSym with a monomial basis, a dimension formula and generating function (3.5), and a fundamental family that interacts well with the expansion of the new invariant. The hyperplane-arrangement viewpoint is well motivated, and the definitions are for the most part clear and self-consistent. The paper gives concrete examples and tables that make the constructions accessible. The main concern is a gap in the proof of the central expansion, which is load-bearing for the paper's main claim.
major comments (2)
- [Definition 4.1 and Theorem 4.2] The Σ-descent at i=0 is not defined: rank(Σ,π)(m) is defined only for m∈{±1,...,±d}, but the i=0 case compares rank(Σ,π)(π_0)=rank(Σ,π)(0). In the proof of Theorem 4.2, the equality DES(ωτπ)=DESΣ(π) is argued only for m=1,...,d-1. For i=0, the middle strict edge of F^{sgn(π)}_{DESΣ(π)} is governed by whether ω(π(1))<0 (see Eq. (3.9)), which depends on the position of π(1) in the order-reversing labeling, not on a rank of 0. The final identification DES(ωτπ)=DESΣ(π) is therefore unverified exactly where F has its critical middle edge. This gap affects the central expansion and needs to be repaired by a correct definition of the 0-descent or by a direct proof of the m=0 equivalence.
- [Theorem 5.4] The proof of the symmetry theorem is incomplete. The involution Φ_i is described in three cases, but the rotation argument in the even-length path containing v' is not precisely specified, and the statement 'It is to check that Φ_i is an involution and that the number of ascents is preserved' is not a proof. Moreover, the generation statement 'SS is generated by π_i := (i, i+1)(i, i+1)' is evidently incorrect as written (that product is the identity), and π0 is later written as (1,-1). Since Theorem 5.4 is a stated result of the paper, these details need to be completed and corrected.
minor comments (6)
- [Proposition 3.7] The product formula for monomial signed quasisymmetric functions is stated with 'The proof is omitted'. Since this is a structural property of SQSym, either a proof or a detailed reference to the cited quasi-shuffle argument should be included.
- [Eq. (3.9)] The condition 'ij < ij+1 if i∈S' should presumably be 'if j∈S'. Please clarify the indexing of strict edges in the formula for F^ϵ_S.
- [Theorem 4.2 proof] The equality asc_{−→Σ}(τπ)=inv_{−→Σ}(π) is asserted as 'not difficult to see' without proof. A short argument should be supplied, since it is part of the main theorem's statement.
- [Theorem 4.2 proof] The asserted 'bijection between SS_d and the linear extensions of acyclic orientations of Σ' is stated without justification. It is true (via the disjoint union over τ' of L(P_{τ'},e)), but a sentence explaining the disjoint-union argument would remove ambiguity.
- [Table 1] The table in Example 4.3 is hard to read: the same strings '2112' and '1221' appear repeatedly, but the statistics and sign vectors differ. The signed permutations should be displayed unambiguously (e.g., with explicit overlines or sign vectors) to avoid confusion.
- [Throughout] There are several small typos, e.g., the definition of π_i in Section 5 and SQQym/SQqym in Corollary 3.5. A careful proofreading pass is recommended.
Circularity Check
No significant circularity: the invariant, algebra, and expansion are derived from independent definitions and external theorems.
full rationale
The paper's central invariant X_{→Σ}(x;t) is defined independently in Definition 2.14 as a weighted sum over proper colorings. The algebra SQSym is constructed separately via a quasisymmetrizing action (Definition 3.1) and the fundamental family F is defined as (P,ω)-partition enumerators of signed chains (Definition 3.18), without reference to X. Theorem 4.2 is proved through Zaslavsky's chamber/acyclic-orientation bijection (Theorem 2.12), Stanley's decomposition of (P,ω)-partitions into chains (Proposition 3.14), and a reindexing of acyclic orientations by signed permutations. No parameter is fitted to data and then called a prediction; the descent set DES_Σ and inversion statistic inv are defined directly from the graph and permutation. The only self-citations ([ADM22] for an analogous unsigned construction, [ABB04] for a remark) are not load-bearing. The proof has expositional gaps—the 'bijection' between SS_d and linear extensions of acyclic orientations is really a disjoint-union partition, and the i=0 case of DES_Σ is not handled by Definition 4.1—but these are correctness concerns, not circular reductions. The claimed expansion is not equivalent to its inputs by construction.
Assumptions & free parameters
assumptions (3)
- domain assumption Zaslavsky's theorem: chambers of HΣ are in bijection with acyclic orientations of Σ (Theorem 2.12, cited as [Z91]).
- standard math Stanley's theory of (P,ω)-partitions: the decomposition of (P,ω)-partitions into linear extensions (Proposition 3.14, cited to [S72]).
- standard math Hivert's characterization of quasisymmetric functions under the quasisymmetrizing action (Section 3.1, [Hi00]).
Cite this review
Pith. "Pith review of Chromatic quasisymmetric functions for signed graphs." pith.science (2026). https://pith.science/paper/OJZC2RI7
@misc{pith2026250820200,
author = {Pith},
title = {Pith review of: Chromatic quasisymmetric functions for signed graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/OJZC2RI7}},
note = {Machine review of arXiv:2508.20200}
}
abstract
In 1995, Stanley introduced the chromatic symmetric function of a graph, which specializes to its chromatic polynomial, and which has been the focus of intense research. In 2017, Shareshian, Wachs, and Ellzey defined a refinement of this function for a directed graph, that appears to be in $QSym$, the algebra of quasisymmetric functions, which is of great interest in algebraic combinatorics. Our goal is to extend this work to signed graphs, taking into account the perspective of the hyperplane arrangement associated with a signed graph, developed by Zaslavsky. We introduce the signed chromatic quasisymmetric invariant, and obtain structural properties. As a consequence, we define and study $SQSym$, the algebra of signed quasisymmetric functions.
Figures
Figures from the paper (13 more)
Reference graph
Works this paper leans on
-
[1]
J.C. Aval, F. Bergeron and N. Bergeron, Diagonal Temperley-Lieb invariants and harmonics. Sem. Lothar. Comb. 54A (2005), B54Aq
work page 2005
-
[2]
J.C. Aval, K. Djenabou and P.R. McNamara, Quasisymmetric functions distinguishing trees. J. Algebr. Comb. 6 (2023) 595-614
work page 2023
-
[3]
N. Bergeron and F. Sottile, Schubert polynomials, the Bruhat order, and the geometry of flag manifolds. Duke Math. J., Vol 95 (1998) pp. 373-423
work page 1998
-
[4]
C.O. Chow, Noncommutative symmetric functions of type B Doctoral dissertation, Massachusetts Institute of Technology, 2001
work page 2001
-
[5]
Egge., A Chromatic Symmetric Function for Signed Graphs
E. Egge., A Chromatic Symmetric Function for Signed Graphs. AMS Special Session on Combinatorics of Symmetric Functions, 2016
work page 2016
-
[6]
A directed graph generalization of chromatic quasisymmetric functions
B. Ellzey, A directed graph generalization of chromatic quasisymmetric functions. arXiv preprint (2017), arXiv:1709.00454
work page Pith review arXiv 2017
-
[7]
When is the chromatic quasisymmetric function symmetric?
M. Gillespie, J.Pappe and K.Salois., When is the chromatic quasisymmetric function symmetric? arXiv preprint (2024), arXiv:2412.10556
work page Pith review arXiv 2024
-
[8]
D.D. Gebhard and B.E. Sagan, A chromatic symmetric function in noncommuting variables. J. Algebr. Comb., 13 (2001), 227-255
work page 2001
Show all 28 references
-
[9]
Greene., Acyclic orientations (Notes), Higher Combinatorics, M
C. Greene., Acyclic orientations (Notes), Higher Combinatorics, M. Aigner (ed.), pp. 65-68. D. Reidel, Dordrecht. Zbl. 389.05036, 1977
1977
-
[10]
Harary, On the notion of balance of a signed graph
F. Harary, On the notion of balance of a signed graph. Mich. Math. J., 2 (1953), 143-146
1953
-
[11]
Hivert, Hecke algebras, difference operators, and quasi-symmetric functions
F. Hivert, Hecke algebras, difference operators, and quasi-symmetric functions. Adv. Math., 155 (2000), 181–238
2000
-
[12]
Hoffman, `Quasi-shuffle products
M.E. Hoffman, `Quasi-shuffle products. J. Algebr. Comb., 11 (2000), 49-68
2000
-
[13]
Kuroda and S
M. Kuroda and S. Tsujie, Chromatic Signed-Symmetric Functions of Signed Graphs. arXiv preprint (2021), arXiv:2101.03018
2021 arXiv
-
[14]
Martin, M
J.L. Martin, M. Morin, and J.D. Wagner, On distinguishing trees by their chromatic symmetric functions. J. Comb. Theory A, 115 (2008), 237-253
2008
-
[15]
Mason, Recent trends in quasisymmetric functions
S.K. Mason, Recent trends in quasisymmetric functions. Recent trends in algebraic combinatorics (2019), 239-279
2019
-
[16]
Nadeau, H.Spink and V
P. Nadeau, H.Spink and V. Tewari, Quasisymmetric divided differences. arXiv preprint (2024), arXiv:2406.01510
2024
-
[17]
Entry A003480 in The On-Line Encyclopedia of Integer Sequences, https://oeis.org/A003480
OEIS Foundation Inc. Entry A003480 in The On-Line Encyclopedia of Integer Sequences, https://oeis.org/A003480
-
[18]
Orellana and G
R. Orellana and G. Scott, Graphs with equal chromatic symmetric functions. Discrete Math., 320 (2014), 1-14
2014
-
[19]
Reiner, Signed posets
V. Reiner, Signed posets. J. Comb. Theory A, 62 (1993), 324-360
1993
-
[20]
Shareshian and M.L
J. Shareshian and M.L. Wachs, Chromatic quasisymmetric functions. Adv. Math., 295 (2016), 497-551
2016
-
[21]
Stanley, Ordered structures and partitions
R.P. Stanley, Ordered structures and partitions. Memoirs of the AMS, No 119 (1972), Providence
1972
-
[22]
Stanley, A symmetric function generalization of the chromatic polynomial of a graph
R.P. Stanley, A symmetric function generalization of the chromatic polynomial of a graph. Adv. Math., 111 (1995), 166-194
1995
-
[23]
Stanley, Enumerative Combinatorics
R.P. Stanley, Enumerative Combinatorics. Volume 1., volume 49 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1997
1997
-
[24]
R.P. Stanley. Enumerative Combinatorics. Volume 2., volume 62 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999
1999
-
[25]
Wolfgang, Two interactions between combinatorics and representation theory: monomial immanants and Hochschild cohomology
H.L. Wolfgang, Two interactions between combinatorics and representation theory: monomial immanants and Hochschild cohomology. Doctoral dissertation, Massachusetts Institute of Technology, 1997
1997
-
[26]
Zaslavsky, Signed graph coloring
T. Zaslavsky, Signed graph coloring. Discrete Math., 39 (1982), 215-228
1982
-
[27]
Zaslavsky, Signed graphs
T. Zaslavsky, Signed graphs. Discrete Appl. Math., 4 (1982), 47-74
1982
-
[28]
Zaslavsky, Orientation of signed graphs
T. Zaslavsky, Orientation of signed graphs. Eur. J. Comb., 12 (1991), 361-375
1991
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.