REVIEW 7 minor 1 cited by
When is the chromatic quasisymmetric function symmetric?
T0 review · 0 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that the chromatic quasisymmetric function of a connected acyclic directed graph is symmetric only when the graph has exactly one source and one sink, that directed paths are the only trees with symmetric CQF, and that…
desk verdict The product theorem and the DAG nonsymmetry result are real and appear sound; the internal-review concern about Lemma 4.10 does not hold up on reading. 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 main objects are the chromatic quasisymmetric function $X_G(x;q)$, which records proper colorings by the monomial $x_{\kappa(1)}\cdots x_{\kappa(n)}$ times $q^{\#\text{ascents}}$, and the monomial quasisymmetric functions $M_\alpha$ in which its non-symmetry is detected. For the negative results, the load-bearing mechanism is a comparison of the coefficients of two $M_\alpha$'s at the maximal $q$-power $q^{|E|}$: a chain decomposition of the graph (minimum number of disjoint chains equal to the largest antichain) is used to build a map between the two weight classes whose failure to be surjective is visible in these coefficients. For the positive results, the machinery is a family of ascent-preserving bijections—an involution on colorings whose $(a,a+1)$-colored subgraph avoids the bottom edge, and 'cycle', 'reflect', and 'swap' maps on colorings that include it—which together swap the counts of any two adjacent colors.
What would settle it
Enumerate all labeled connected directed acyclic graphs with exactly two sources and two sinks up to eight or nine vertices and, for each, compute the coefficients of $M_{(1^k,a,1^{n-k-a})}$ and $M_{(a,1^{n-a})}$ at $q^{|E|}$ in $X_G(x;q)$; the theorem predicts the two coefficients always differ, so a graph where they agree would refute the classification.
Extended reading notes
Core claim
The central claim is a structural dichotomy. On the nonsymmetric side, for any connected directed acyclic graph whose sources outnumber one or whose sinks outnumber one, the coefficient of $q^{|E|}$ in the expansion of $X_G(x;q)$ in the monomial quasisymmetric basis distinguishes two weight classes: the maximum-ascent colorings of weight $(1^k,a,1^{n-k-a})$ force the weight-$(a,1^{n-a})$ class to miss $q^{|E|}$, so the function cannot be symmetric. On the symmetric side, the paper shows that every mixed mountain graph—a cycle of cliques and bottomless cliques strung together and oriented left-to-right—admits ascent-preserving bijections that swap the counts of any two adjacent colors, which is exactly what symmetry of a CQF requires. Together with the product theorem, these results reduce the symmetry problem to connected graphs and give the first tree classification.
Load-bearing premise
The proof that the map between the two weight classes is injective but not surjective rests on the assumption that the recolored vertex of color $k+1$ is the source of every chain that changes; the argument only shows each changed chain contains a color-$k+1$ vertex, and if a chain also contains one of the singleton colors $2,\dots,k$, its source has the smaller color and the inversion step breaks.
Editorial extensions
If this is right
- Symmetry of a disjoint union forces each connected component's CQF to be symmetric, so the classification needs only connected graphs.
- A connected directed acyclic graph with two or more sources or two or more sinks has a nonsymmetric CQF; a symmetric CQF forces exactly one source and one sink and a directed path through every vertex.
- Among oriented trees, the directed path is the unique graph with a symmetric CQF.
- Among directed acyclic cycles, exactly the naturally oriented cycles are symmetric.
- The mixed mountain graphs are a new infinite family of symmetric CQFs that are not generally natural unit interval graphs.
Reading between the lines
- If the dichotomy in the nonsymmetry theorem holds, the remaining open classification is the connected single-source single-sink directed acyclic graphs that contain a directed Hamiltonian path; mixed mountain graphs are one family inside that class, and unit interval orders appear to be another up to eight vertices.
- The paper's open question—whether every symmetric CQF is e-positive—can be tested on mixed mountain graphs: if any mixed mountain graph fails e-positivity the answer is no, and if all pass that supports a positive answer.
- The product theorem genuinely depends on having infinitely many variables: in finitely many variables, $x_1^2x_2\cdot x_1x_2^2 = x_1^3x_2^3$ is symmetric while the factors are not, so any finite-variable analogue would need a different mechanism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies when the chromatic quasisymmetric function X_G(x;q) of a labeled graph is symmetric. It proves a product theorem (Theorem 1.4): if a product of two quasisymmetric functions in countably infinitely many variables is symmetric, then both factors are symmetric, which reduces the symmetry question for CQFs to connected graphs. It then proves (Theorem 1.6) that any connected directed acyclic graph with more than one source or sink has a nonsymmetric CQF, yielding as a corollary that a tree has a symmetric CQF if and only if it is a directed path. Finally, it introduces a family of mixed mountain graphs and proves their CQFs are symmetric (Theorem 1.8) by constructing ascent-preserving involutions and automorphisms that swap adjacent color multiplicities. The authors also report Sage verification on all connected labeled graphs up to eight vertices.
Significance. If the results stand, Theorem 1.6 settles the tree question posed in [4] and, together with Theorem 1.4, reduces the global symmetry question to connected DAGs with exactly one source and one sink. Theorem 1.4 is a clean standalone statement with useful consequences beyond the graph application. The proofs are mostly explicit and combinatorial, with no fitted parameters, no circular dependencies, and a constructive treatment of the mixed mountain graph family. The main limitation is that Theorem 1.8 establishes symmetry but not e-positivity, so the paper does not directly resolve Question 1.3; the computational evidence is suggestive but not load-bearing for the theorems.
minor comments (7)
- [§3, Theorem 1.4 proof] The claim that QSym is a UFD is justified by the text 'there are a finite number of generators of each degree, so any given polynomial lies in a finitely generated ring that has unique factorization'; finite generation alone does not imply unique factorization. Please cite the algebraic independence of the Hazewinkel generators, or Grinberg–Reiner Corollary 6.5.33, explicitly, since this step is load-bearing for Theorem 1.4.
- [§3, Theorem 1.4, Case 2] The induction hypothesis is stated for a product of two factors, but the proof concludes that every irreducible factor a_i is symmetric from u = a_1...a_r. This requires iterating the two-factor statement degree by degree; the iteration is straightforward but should be said explicitly.
- [§4.2, Lemma 4.5] The proof that S(G) is nonempty is compressed: it says that if every sink were paired with a unique source then G would be disconnected, without explaining why two source-to-sink paths in a connected graph must merge before reaching distinct sinks. Spelling out the first merge point would make the argument complete.
- [§4.2, Lemma 4.10] The injectivity argument is very terse. It would help to state explicitly that unchanged chains still contain color k+1, changed chains have lost it, and the inverse simply recolors the source of a changed chain with k+1 and re-sorts; this makes the inversion valid regardless of where k+1 sat in the original chain.
- [§5.3, Proposition 5.26] The number of swap applications should be m(p-m), the number of adjacent pairs needed to reverse the order of the m k-cliques and p-m bottomless k+1-cliques; the printed expression 'a(p-a)' appears to use the color parameter a and should be corrected.
- [§5.2–5.3] The terminology 'bottomless k+1-mountain' used in the introduction and Theorem 1.8 is not obviously the same as the graph B_{p,k} defined in §5.2, where a k-clique has the edge between its lower vertices removed. Please reconcile the definitions so the number of vertices in a bottomless mountain is unambiguous.
- [Miscellaneous] There are several small typos, including 'Supopse' in Remark 3.9 and 'CHROMA TIC' in the running header, which should be corrected in a final revision.
Circularity Check
No circularity: the derivation is self-contained and rests on external standard theorems and explicit constructive maps.
full rationale
The paper's central claims are not circular. Symmetry of a chromatic quasisymmetric function is tested by comparing coefficients in the monomial quasisymmetric basis, and the proofs proceed by explicit ascent-preserving constructions (the maps phi, cycle, reflect, and swap) plus standard external ingredients: Dilworth's theorem, Hazewinkel's generator theorem for QSym, Lam-Pylyavskyy's UFD/factorization theorem, and Shareshian-Wachs results on unit interval graphs. No parameter is fitted to data and then renamed a prediction; no theorem is assumed in the form of its own conclusion; and no load-bearing step is justified by self-citation of the present authors. Theorem 1.4 is proved from Hazewinkel's generators and the UFD property of QSym, not from the desired statement. Theorem 1.6 is a coefficient-comparison argument: Lemma 4.2 compares M_(a,1,b) and M_(b,1,a), Lemma 4.4 handles large antichains, and Lemma 4.10 constructs an injective non-surjective map between color classes. Even if the reader's concern about Lemma 4.10's inversion were a real gap, that would be a correctness issue, not circularity, because the map does not build the target nonsymmetry into its definition. The mixed-mountain symmetry results use ascent-preserving bijections and the external unit-interval-graph machinery of Shareshian-Wachs; they do not presuppose that the graphs in question have symmetric CQFs. The paper is therefore self-contained against external benchmarks, and no circular step is present.
Assumptions & free parameters
assumptions (5)
- standard math Hazewinkel's theorem: QSym_Z is a polynomial algebra generated by lambda_n(M_alpha) for Lyndon words.
- standard math Lam-Pylyavskyy Theorem 8.1: irreducible factors in K of a quasisymmetric function are quasisymmetric.
- standard math Dilworth's theorem: minimum chain decomposition equals maximum antichain size.
- domain assumption Shareshian-Wachs theorem: natural unit interval graphs have symmetric CQF.
- domain assumption Ellzey-Wachs theorem: naturally oriented cycles have symmetric CQF.
Cite this review
Pith. "Pith review of When is the chromatic quasisymmetric function symmetric?." pith.science (2026). https://pith.science/paper/IROJA52D
@misc{pith2026241210556,
author = {Pith},
title = {Pith review of: When is the chromatic quasisymmetric function symmetric?},
year = {2026},
howpublished = {\url{https://pith.science/paper/IROJA52D}},
note = {Machine review of arXiv:2412.10556}
}
abstract
We investigate the problem of when a chromatic quasisymmetric function (CQF) $X_G(x;q)$ of a graph $G$ is in fact symmetric. We first prove the remarkable fact that if a product of two quasisymmetric functions $f$ and $g$ in countably infinitely many variables is symmetric, then in fact $f$ and $g$ must be symmetric. This allows the problem to be reduced to the case of connected graphs. We then show that any labeled graph having more than one source or sink has a nonsymmetric CQF. As a corollary, we find that all trees other than a directed path have a nonsymmetric CQF. We also show that a family of graphs we call ''mixed mountain graphs'' always have symmetric CQF.
Figures
Figures from the paper (5 more)
Forward citations
Cited by 1 Pith paper
-
Chromatic quasisymmetric functions for signed graphs
A new chromatic quasisymmetric invariant for directed signed graphs and an algebra SQSym of signed quasisymmetric functions are defined and studied.
Reference graph
Works this paper leans on
-
[4]
Chromatic Quasisymmetric Functions of the Path Graph
Farid Aliniaeifard et al. “Chromatic Quasisymmetric Functions of the Path Graph”. In: An- nals of Combinatorics(2025). url: https://doi.org/10.1007/s00026-025-00762-1
-
[1]
Chromatic symmetric functions from the modular law
Alex Abreu and Antonio Nigro. “Chromatic symmetric functions from the modular law”. In: J. Comb. Theory Ser. A180 (2021), Paper No. 105407, 30. issn: 0097-3165,1096-0899. doi: 10.1016/j.jcta.2021.105407
arXiv 2021
-
[2]
LLT polynomials, chromatic quasisymmetric func- tions and graphs with cycles
Per Alexandersson and Greta Panova. “LLT polynomials, chromatic quasisymmetric func- tions and graphs with cycles”. In: Discrete Math. 341.12 (2018), pp. 3453–3482. issn: 0012- 365X,1872-681X. doi: 10.1016/j.disc.2018.09.001
-
[3]
The chromatic symmetric function of a graph centred at a vertex
Farid Aliniaeifard, Victor Wang, and Stephanie van Willigenburg. “The chromatic symmetric function of a graph centred at a vertex”. In: Electron. J. Combin.31.4 (2024), Paper No. 4.22,
work page 2024
-
[5]
Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties
Patrick Brosnan and Timothy Y. Chow. “Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties”. In: Adv. Math.329 (2018), pp. 955–
work page 2018
-
[6]
Positivity of chromatic symmetric functions associated with Hessenberg functions of bounce number 3
Soojin Cho and Jaehyun Hong. “Positivity of chromatic symmetric functions associated with Hessenberg functions of bounce number 3”. In: Electr. J. Comb.29.2 (2022), Paper No. 2.19,
work page 2022
-
[7]
On e-positivity and e-unimodality of chromatic quasi-symmetric functions
Soojin Cho and Jisun Huh. “On e-positivity and e-unimodality of chromatic quasi-symmetric functions”. In: SIAM J. Discrete Math.33.4 (2019), pp. 2286–2315.issn: 0895-4801,1095-7146. doi: 10.1137/18M1216201
-
[8]
Chromatic symmetric func- tions of Dyck paths and q-rook theory
Laura Colmenarejo, Alejandro H. Morales, and Greta Panova. “Chromatic symmetric func- tions of Dyck paths and q-rook theory”. In: European J. Comb.107 (2023), Paper No. 103595,
work page 2023
Show all 39 references
-
[9]
Triangular ladders Pd,2 are e-positive
Samantha Dahlberg. Triangular ladders Pd,2 are e-positive. 2018. arXiv: 1811.04885
2018 arXiv
-
[10]
Lollipop and lariat symmetric func- tions
Samantha Dahlberg and Stephanie van Willigenburg. “Lollipop and lariat symmetric func- tions”. In: SIAM J. Discrete Math.32.2 (2018), pp. 1029–1039. issn: 0895-4801,1095-7146. doi: 10.1137/17M1144805
2018 doi
-
[11]
A decomposition theorem for partially ordered sets
R. P. Dilworth. “A decomposition theorem for partially ordered sets”. In: Ann. of Math. (2) 51 (1950), pp. 161–166. issn: 0003-486X. doi: 10.2307/1969503. 22 REFERENCES
1950 doi
-
[12]
A directed graph generalization of chromatic quasisymmetric functions
Brittney Ellzey. A directed graph generalization of chromatic quasisymmetric functions. 2017. arXiv: 1709.00454
2017 arXiv
-
[13]
On enumerators of Smirnov words by descents and cyclic descents
Brittney Ellzey and Michelle L. Wachs. “On enumerators of Smirnov words by descents and cyclic descents”. In: J. Comb. 11.3 (2020), pp. 413–456. issn: 2156-3527,2150-959X. doi: 10.4310/JOC.2020.v11.n3.a1
2020 doi
-
[14]
Classes of graphs withe-positive chromatic symmetric function
Ang` ele M. Foley, Ch ´ ınh T. Ho` ang, and Owen D. Merkel. “Classes of graphs withe-positive chromatic symmetric function”. In: Electr. J. Comb.26.3 (2019), Paper No. 3.51, 19. issn: 1077-8926. doi: 10.37236/8211
2019 doi
-
[15]
Incomparability graphs of (3 + 1)-free posets are s-positive
Vesselin Gasharov. “Incomparability graphs of (3 + 1)-free posets are s-positive”. In: Pro- ceedings of the 6th Conference on Formal Power Series and Algebraic Combinatorics (New Brunswick, NJ, 1994). Vol. 157. 1-3. 1996, pp. 193–197. doi: 10 . 1016 / S0012 - 365X(96 ) 83014-7
1994
-
[16]
A chromatic symmetric function in noncommuting variables
David D. Gebhard and Bruce E. Sagan. “A chromatic symmetric function in noncommuting variables”. In: J. Algebraic Comb.13.3 (2001), pp. 227–255. issn: 0925-9899,1572-9192. doi: 10.1023/A:1011258714032
2001 doi
-
[17]
Griffin et al
Sean T. Griffin et al. On Macdonald expansions ofq-chromatic symmetric functions and the Stanley-Stembridge Conjecture. 2025. arXiv: 2504.06936 [math.CO]
2025 arXiv
-
[18]
Hopf Algebras in Combinatorics
Darij Grinberg and Victor Reiner. Hopf Algebras in Combinatorics. 2020. arXiv: 1409.8356 [math.CO]
2020 arXiv
-
[19]
A modular relation for the chromatic symmetric functions of(3 + 1)- free posets
Mathieu Guay-Paquet. A modular relation for the chromatic symmetric functions of(3 + 1)- free posets. 2013. arXiv: 1306.2400
2013 arXiv
-
[20]
A second proof of the Shareshian-Wachs conjecture, by way of a new Hopf algebra
Mathieu Guay-Paquet. A second proof of the Shareshian-Wachs conjecture, by way of a new Hopf algebra. 2016. arXiv: 1601.05498
2016 arXiv
-
[21]
The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture
Megumi Harada and Martha E. Precup. “The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture”. In: Algebr. Comb. 2.6 (2019), pp. 1059–1108. issn: 2589-5486. doi: 10.5802/alco.76
2019 doi
-
[22]
Explicit polynomial generators for the ring of quasisymmetric functions over the integers
Michiel Hazewinkel. “Explicit polynomial generators for the ring of quasisymmetric functions over the integers”. In: Acta Appl. Math.109.1 (2010), pp. 39–44. issn: 0167-8019,1572-9036. doi: 10.1007/s10440-009-9439-z
2010 doi
-
[23]
A proof of the Stanley-Stembridge conjecture
Tatsuyuki Hikita. A proof of the Stanley-Stembridge conjecture. 2024. arXiv: 2410 . 12758 [math.CO]
2024
-
[24]
Melting lollipop chromatic quasisymmetric functions and Schur expansion of unicellular LLT polynomials
JiSun Huh, Sun-Young Nam, and Meesue Yoo. “Melting lollipop chromatic quasisymmetric functions and Schur expansion of unicellular LLT polynomials”. In: Discrete Math. 343.3 (2020). issn: 0012-365X,1872-681X. doi: 10.1016/j.disc.2019.111728
2020
-
[25]
P-partition products and fundamental quasi-symmetric function positivity
Thomas Lam and Pavlo Pylyavskyy. “P-partition products and fundamental quasi-symmetric function positivity”. In: Advances in Applied Mathematics 40.3 (2008), pp. 271–294. issn: 0196-8858. doi: https://doi.org/10.1016/j.aam.2007.01.003
2008 doi
-
[26]
On the e-positivity of ( claw, 2K2)-free graphs
Grace M. X. Li and Arthur L. B. Yang. “On the e-positivity of ( claw, 2K2)-free graphs”. In: Electr. J. Comb.28.2 (2021), Paper No. 2.40, 14. issn: 1077-8926. doi: 10.37236/9910
2021 doi
-
[27]
personal communication
Kevin Liu. personal communication. Jan. 13, 2023
2023
-
[28]
The Stanley-Stembridge Conjecture for (2 + 1 + 1)-avoiding unit interval orders: a diagrammatic proof
Joseph McDonough, Pavlo Pylyavskyy, and Shiyun Wang. The Stanley-Stembridge Conjecture for (2 + 1 + 1)-avoiding unit interval orders: a diagrammatic proof. 2024. arXiv: 2404.07280
2024 arXiv
-
[29]
SageMath, the Sage Mathematics Software System (Ver
The Sage Developers. SageMath, the Sage Mathematics Software System (Ver. 9.3). 2021. url: https://www.sagemath.org
2021
-
[30]
Chromatic quasisymmetric functions
John Shareshian and Michelle L. Wachs. “Chromatic quasisymmetric functions”. In: Advances in Mathematics 295 (2016), pp. 497–551. issn: 0001-8708. doi: https://doi.org/10.1016/ j.aim.2015.12.018
2016
-
[31]
A symmetric function generalization of the chromatic polynomial of a graph
Richard P. Stanley. “A symmetric function generalization of the chromatic polynomial of a graph”. In: Adv. Math.111.1 (1995), pp. 166–194. issn: 0001-8708,1090-2082. doi: 10.1006/ aima.1995.1020. REFERENCES 23
1995
-
[32]
Richard P. Stanley. Personal communication. 2024
2024
-
[33]
On immanants of Jacobi-Trudi matrices and permutations with restricted position
Richard P. Stanley and John R. Stembridge. “On immanants of Jacobi-Trudi matrices and permutations with restricted position”. In: J. Comb. Theory Ser. A62.2 (1993), pp. 261–279. issn: 0097-3165,1096-0899. doi: 10.1016/0097-3165(93)90048-D
1993 doi
- [34]
-
[35]
The e-positivity of two classes of cycle-chord graphs
David G. L. Wang and Monica M. Y. Wang. “The e-positivity of two classes of cycle-chord graphs”. In: J. Algebraic Comb. 57.2 (2023), pp. 495–514. issn: 0925-9899,1572-9192. doi: 10.1007/s10801-022-01175-6
2023 doi
-
[36]
doi: 10.1016/j.ejc.2022.103595
issn: 0195-6698,1095-9971. doi: 10.1016/j.ejc.2022.103595
2022
-
[37]
A signed e-expansion of the chromatic quasisymmetric function
Foster Tom. A signed e-expansion of the chromatic quasisymmetric function. 2023. arXiv: 2311.08020
2023 arXiv
-
[39]
The e-positivity of the chromatic symmetric functions and the inverse Kostka matrix
Shiyun Wang. The e-positivity of the chromatic symmetric functions and the inverse Kostka matrix. 2022. arXiv: 2210.07567. Department of Mathematics, Colorado State University, Fort Collins, CO 80523, USA Email address: maria.gillespie@colostate.edu Department of Mathematics, ...
2022 arXiv
- [1001]
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.