arXiv++ Combinatorics

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.

The $k$-Schur functions (resp., $K$-$k$-Schur functions) are the symmetric function representatives of Schubert classes in the homology (resp., $K$-homology) of the affine Grassmannian of type $A$. We prove that every $K$-$k$-Schur function is a nonnegative integer linear combination in the basis of $k$-Schur functions. This settles a conjecture by Lam, Schilling and Shimozono. The proof relies on realizations of $k$-Schur and $K$-$k$-Schur functions as Catalan and Katalan functions, respectively.

We prove that the product of chains $\mathbf{m}\times\mathbf{n}$ is not Schur positive whenever $n\ge4$ and $m\ge3n-1$. Writing $m=n+k$, we exhibit a negative coefficient indexed by $(2n+k-1,2n+k-3,\ldots,k+5,k,k,4)$ and evaluate it explicitly as $(n-2)!$ times a polynomial of degree three in $k$. Our argument refines the chain-partition method of Li, Qiu, Yang, and Zhang: rank capacity forces $n-2$ long chains, and the remaining three chains are counted by separating a middle interval with fixed row coordinates from two bounded boundary regions. Together with their theorem and the known cases of widths two and three, this shows that these products are not Schur positive for $n\ge3$, $m\ge n+5$, and for $n=2$, $m\ge8$.

We prove that the spider graphs $S(a,2,1)$ and $S(a,4,1)$ are Schur positive for all integers $a\ge1$. Together with the known $e$-positivity results, this completes the $e$- and Schur-positivity classification of both families. Our approach uses noncommutative symmetric functions, including a particularly simple ribbon expansion for the path lift with coefficients given by powers of two. We give a new proof of the Shareshian--Wachs path formula at $t=1$ and construct corresponding lifts for spiders. The Littlewood--Richardson rule converts their ribbon expansions into a general Schur-coefficient formula in terms of weighted Yamanouchi words. Mass-preserving multi-injections and a reduction to finitely many inequalities in degree $10$ then prove the required positivity; exact computer verification of these inequalities completes the proof in full generality.

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)$.

For a graph $G$, Schur positivity of $X_G$ implies that $G$ is strongly nice, and every strongly nice graph is nice. We construct three infinite families separating these properties. We first give a connected family $F_t$, $t\ge6$, that is strongly nice but not Schur positive. We then prove that homogeneous strongly nice symmetric functions with nonnegative monomial coefficients are closed under multiplication, and hence that strongly nice graphs are closed under disjoint union. As an application, for $H=K_{3,3}-e$, the graphs \[ M_t=H\sqcup K_t,\qquad t\ge3, \] form a disconnected family that is strongly nice but not Schur positive. Finally, we define \[ N_r=K_r\vee(K_2\sqcup2K_1),\qquad r\ge2, \] and prove that every $N_r$ is connected and nice but not strongly nice. We also introduce the level-$k$ nice property and show that the level depth of $N_r$ is $4r!$.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

The immanants of combinatorial matrices have many significant properties, including m-positivity and Schur positivity. While the immanants of Jacobi-Trudi matrices are known to be both m-positive and Schur positive, those of Giambelli matrices have only been proven to be m-positive, with Schur positivity remaining a conjecture. These positivity properties rely heavily on lattice path interpretations. In this paper, we study the Newton polytopes of immanants for these two classes of matrices. Using the lattice path method, we verify the saturation property for the Newton polytopes of Jacobi-Trudi matrices in special cases. For Giambelli matrices, we prove that this property holds for all immanants. To achieve this, we obtain the explicit coefficients of the largest monomial (in the dominance order) in the monomial expansion of the immanants of Giambelli matrices.

We study positivity properties of Hadamard products of Jacobi-Trudi matrices. Maló proved that the Hadamard (entrywise) product of two totally positive upper-triangular Toeplitz matrices whose Toeplitz sequences are the coefficient sequences of real-rooted polynomials with nonpositive zeros is again totally positive. Sokal conjectured that this result can be strengthened to total monomial positivity for the Hadamard product of Jacobi-Trudi matrices. In this paper we show that Temperley-Lieb immanants are Schur positive for Hadamard products of Jacobi-Trudi matrices given by ribbon-like skew shapes. In particular, we affirm Sokal's conjecture for minors given by ribbon-like skew shapes. Moreover, we provide a manifestly positive Schur expansion for Temperley-Lieb immanants evaluated on the Hadamard product of Jacobi-Trudi matrices indexed by ribbons. In addition, for the ribbon case, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.

We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.

We say a sequence $f_0, f_1, f_2, \ldots$ of symmetric functions is Schur log-concave if $f_n^2 - f_{n-1}f_{n+1}$ is Schur positive for all $n\ge1$. We conjecture that a very general class of sequences of Schur functions satisfies this property, and show it for sequences of Schur functions indexed by partitions with growing first part and column. Our findings are related to work of Lam, Postnikov and Pylyavskyy on Schur positivity, and of Butler, Sagan, and the second author on $q$-log-concavity.

We establish a strong link between two open problems: determining the Reidemeister spectrum of free nilpotent groups and determining the coefficients in the Schur expansion of plethysms of Schur functions. Specifically, we show that the expressions occurring in the computations for the Reidemeister spectrum are sums of plethysms of the form $s_{1^{i}}[g]$, where $g$ is a Schur function or a Schur positive function.

In this paper we solve an open problem on distributive lattices, which was proposed by Stanley in 1998. This problem was motivated by a conjecture due to Griggs, which equivalently states that the incomparability graph of the boolean algebra $B_n$ is nice. Stanley introduced the idea of studying the nice property of a graph by investigating the Schur positivity of its corresponding chromatic symmetric functions. Since the boolean algebras form a special class of distributive lattices, Stanley raised the question of whether the incomparability graph of any distributive lattice is Schur positive. Stanley further noted that this seems quite unlikely. In this paper, we construct a family of distributive lattices which are not nice and hence not Schur positive. We also provide a family of distributive lattices which are nice but not Schur positive.

To any Schur polynomial $s_λ$ one can associated its derived polynomials $s_λ{(i)}$ $i=0,\ldots,|λ|$ by the rule $$s_λ(x_1+t,\ldots,x_n+t) = \sum_i s_λ^{(i)}(x_1,\ldots,x_n) t^i.$$ We conjecture that $$(s_λ^{(i)})^2 - s_λ^{(i-1)} s_λ^{(i+1)}$$ is always Schur positive and prove this when $i=1$ for rectangles $λ= (k^\ell)$, for hooks $λ= (k, 1^{\ell -1})$, and when $λ= (k,k,1)$ or $λ= (3,2^{k-1})$.

Haglund, Morse, and Zabrocki introduced a family of creation operators of Hall-Littlewood polynomials, $\{C_{a}\}$ for any $a\in \mathbb{Z}$, in their compositional refinement of the shuffle (ex-)conjecture. For any $α\vDash n$, the combinatorial formula for $\nabla C_α$ is a weighted sum of parking functions. These summations can be converted to a weighted sum of certain LLT polynomials. Thus $\nabla C_α$ is Schur positive since Grojnowski and Haiman proved that all LLT polynomials are Schur positive. In this paper, we obtain a recursion that implies the $C$-positivity of $(-1)^{k} m_{2^{k}1^{l}}$, and hence prove the Schur positivity of $(-1)^{k}\nabla m_{2^{k}1^{l}}$. As a corollary, a parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$ is obtained by using the compositional shuffle theorem of Carlsson and Mellit.

Chern plethysm (introduced by Billey, Rhoades, and Tewari) is a geometric way to produce Schur positive symmetric polynomials. We present combinatorial interpretations for the Schur expansions of special cases of Chern plethysm. We also exhibit a symmetric group module whose Frobenius characteristic is (a symmetric function analog of) one of these cases, generalizing a result of Reiner and Webb.

We define monotone links on a torus, obtained as projections of curves in the plane whose coordinates are monotone increasing. Using the work of Morton-Samuelson, to each monotone link we associate elements in the double affine Hecke algebra and the elliptic Hall algebra. In the case of torus knots (when the curve is a straight line), we recover symmetric function operators appearing in the rational shuffle conjecture. We show that the class of monotone links viewed as links in $\mathbb R^3$ coincides with the class of Coxeter links, studied by Oblomkov-Rozansky in the setting of the flag Hilbert scheme. When the curve satisfies a convexity condition, we recover positroid links that we previously studied. In the convex case, we conjecture that the associated symmetric functions are Schur positive, extending a recent conjecture of Blasiak-Haiman-Morse-Pun-Seelinger, and we speculate on the relation to Khovanov-Rozansky homology. Our constructions satisfy a skein recurrence where the base case consists of piecewise almost linear curves. We show that convex piecewise almost linear curves give rise to algebraic links.

For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a combinatorial formula for $\operatorname{I}_{λ,μ}[X;q,t]$, which is a positive monomial expansion. We also prove Butler's conjecture for some special cases.

The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.

We introduce a new family $\mathcal{A}_{n,k}$ of Schur positive symmetric functions, which are defined as sums over totally symmetric plane partitions. In the first part, we show that, for $k=1$, this family is equal to a multivariate generating function involving $n+3$ variables of objects that extend alternating sign matrices (ASMs), which have recently been introduced by the authors. This establishes a new connection between ASMs and a class of plane partitions, thereby complementing the fact that ASMs are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. The proof is based on a new antisymmetrizer-to-determinant formula for which we also provide a bijective proof. In the second part, we relate three specialisation of $\mathcal{A}_{n,k}$ to a weighted enumeration of certain well-known classes of column strict shifted plane partitions that generalise descending plane partitions.