Papers by Watson Z. Y. Wang
3 paper(s) by this author
· All BibTeX
Schur positivity of three-legged spiders
We give a complete classification of Schur positivity for three-legged spiders. Every spider with at least two even legs is Schur positive, whereas every spider with three odd legs has a negative Schur coefficient. If $a$ is even and $b,c$ are odd, then the spider $S(a,b,c)$ is Schur positive if and only if $a\le 5b+5c+2$. Whenever Schur positivity fails, there is exactly one negative Schur coefficient, whose value we determine explicitly. These results extend those of Thibon and Wang for the families $S(a,2,1)$ and $S(a,4,1)$, and those of Wang and Wang for $S(a,b,2)$. The proof combines known Schur-positivity results for clique-spiders with Pieri's rule and simultaneous induction.
Schur positivity from signed elementary expansions: clique-spiders and spiders $S(a,b,2)$
We prove a Schur alpha-omega lemma for chromatic symmetric functions. It bounds the partitions indexing nonzero Schur coefficients in terms of higher independence numbers, higher clique numbers, and the chromatic number. We then establish three equivalent dominance-matching criteria: matrix, Hall, and order-ideal, that certify Schur positivity from a fixed signed $e_I$-expansion.
As applications, we obtain complete classifications of $e$-positivity and Schur positivity for four basic families of $3$-clique-spiders. Here $S^{ghk}_{rst}$ is formed by joining a common center to one vertex of each of $K_r$, $K_s$, and $K_t$ by internally disjoint paths of lengths $g$, $h$, and $k$, respectively. As a result, $S^{000}_{rst}$ is Schur positive exactly when $r\ge st-1$, and every graph $S^{100}_{rst}$ and $S^{010}_{rst}$ is Schur positive. When $s=t$, the graph $S^{001}_{rst}$ is Schur positive; when $s>t$, its Schur-positive members fall into four explicit parameter regimes. We also introduce a path-clique bootstrap and use it to prove that every spider $S(a,b,2)$ is Schur positive. Finally, we prove that the spider $S(a,b,2)$ for $a\ge b\ge2$ with $3\nmid b$ is $e$-positive if and only if $(a,b)\in\{(6,4),(12,4),(9,7)\}$, which advances the study of Tom's conjecture concerning the $e$-positivity of spiders $S(a,b,2)$.
An $e$-positive classification for complete multipartite graphs
Shelburne and van Willigenburg (arXiv:2604.26158) characterize the Schur-positive complete multipartite graphs and leave open whether the graphs~$G=K_{(3,\,2^β)}$ are $e$-positive. We resolve this question and, together with their classification, characterize all $e$-positive complete multipartite graphs. Our main result is an explicit, manifestly nonnegative $e$-expansion of~$X_G$ whose coefficients are expressed in terms of the restricted-injection numbers. Our main idea is to derive a marker-variable coefficient-extraction formula for the $e$-coefficients of arbitrary complete multipartite graphs from the elementary--monomial Cauchy identity. For the particular graph~$G$, this formula reduces the proof to three coefficient families, which we evaluate using Dickson polynomials and recurrences for these numbers.