arXiv++ Combinatorics

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

Two skew diagrams are defined to be equivalent if their corresponding skew Schur functions are equal. The equivalence classes for ribbons have been classified by Billera, Thomas and van Willigenburg in 2006. In this paper, we provide a complete characterization of equivalence classes for connected skew diagrams with exactly one $2\times m$ or $m\times 2$ block of boxes for all $m\ge 2$. In particular, possible sizes of equivalence classes are one, two or four, confirming special cases of the elusive conjecture on equivalent skew connected diagrams proposed by McNamara and van Willigenburg in 2009.

We are extending results from \cite{B-Hurwitz} by building a parallel theory of simple Hurwitz numbers for the reflection groups $G(m,1,n)$. We also study analogs of the cut-and-join operators. An algebraic description as well as a description in terms of ramified covering of Hurwitz numbers is provided. An explicit formula for them in terms of Schur polynomials are provided. In addition the generating function of $G(m,1,n)$-Hurwitz numbers is shown to give rise to $m$ independent variables $τ$-function of the KP hierarchy. Finally we provide an ELSV-formula type for these new Hurwitz numbers.

Elements of Lusztig's dual canonical bases are Schur-positive when evaluated on (generalized) Jacobi-Trudi matrices. This deep property was proved by Rhoades and Skandera, relying on a result of Haiman, and ultimately on the (proof of) Kazhdan-Lusztig conjecture. For a particularly tractable part of the dual canonical basis - called Temperley-Lieb immanants - we give a generalization of Littlewood-Richardson rule: we provide a combinatorial interpretation for the coefficient of a particular Schur function in the evaluation of a particular Temperley-Lieb immanant on a particular Jacobi-Trudi matrix. For this we introduce shuffle tableaux, and apply Stembridge's axioms to show that certain graphs on shuffle tableaux are type $A$ Kashiwara crystals.

We prove a formula for the image of a skew Schur polynomial $s_{λ/μ}\left( x_{1}, x_{2}, \ldots, x_{N}\right) $ under the differential operator $\nabla:= \dfrac{\partial}{\partial x_{1}} +\dfrac{\partial}{\partial x_{2}}+\cdots+\dfrac{\partial}{\partial x_{N}}$. This generalizes a formula of Weigandt for $\nabla\left( s_λ\right) $.

Rado's theorem about permutahedra and dominance order on partitions reveals that each Schur polynomial is M-convex, or equivalently, it has a saturated Newton polytope and this polytope is a generalized permutahedron as well. In this paper we show that the support of each dual $k$-Schur polynomial indexed by a $k$-bounded partition coincides with that of the Schur polynomial indexed by the same partition, and hence the two polynomials share the same saturated Newton polytope. The main result is based on our recursive algorithm to generate a semistandard $k$-tableau for a given shape and $k$-weight. As consequences, we obtain the M-convexity of dual $k$-Schur polynomials, affine Stanley symmetric polynomials and cylindric skew Schur polynomials.

We give a Molev-Sagan type formula for computing the product $\mathfrak{S}_u(x;y)\mathfrak{S}_v(x;z)$ of two double Schubert polynomials in different sets of coefficient variables where the descents of $u$ and $v$ satisfy certain conditions that encompass Molev and Sagan's original case and conjecture positivity in the general case. Additionally, we provide a Pieri formula for multiplying an arbitrary double Schubert polynomial $\mathfrak{S}_u(x;y)$ by a factorial elementary symmetric polynomial $E_{p,k}(x;z)$. Both formulas remain positive in terms of the negative roots when we set $y=z$, so in particular this gives a new equivariant Littlewood-Richardson rule for the Grassmannian, and more generally a positive formula for multiplying a factorial Schur polynomial $s_λ(x_1,\ldots,x_m;y)$ by a double Schubert polynomial $\mathfrak{S}_v(x_1,\ldots,x_p;y)$ such that $m\geq p$. An additional new result we present is a combinatorial proof of a conjecture of Kirillov of nonnegativity of the coefficients of skew Schubert polynomials, and we conjecture a weight-preserving bijection between a modification of certain diagrams used in our formulas and RC-graphs/pipe dreams arising in formulas for double Schubert polynomials.

We introduce two new bases of QSym, the flipped extended Schur functions and the backward extended Schur functions, as well as their duals in NSym, the flipped shin functions and the backward shin functions. These bases are the images of the extended Schur basis and shin basis under the involutions $ρ$ and $ω$ on the quasisymmetric and noncommutative symmetric functions, which generalize the classical involution $ω$ on the symmetric functions. In addition, we prove a Jacobi-Trudi rule for certain shin functions using creation operators. We define skew extended Schur functions and skew-II extended Schur functions based on left and right actions of NSym and QSym respectively. We then use the involutions $ρ$ and $ω$ to translate these and other known results to our flipped and backward bases.

We prove a new determinantal formula for the characters of irreducible representations of orthosymplectic Lie superalgebras analogous to the formula developed by Moens and Jeugt (J. Algebraic Combin., 2003) for general linear Lie superalgebras. Our proof uses the Jacobi--Trudi type formulas for orthosymplectic characters. As a consequence, we show that the odd symplectic characters introduced by Proctor (Invent. Math., 1988) are the same as the orthosymplectic characters with some specialized indeterminates. We also give a generalization of an odd symplectic character identity due to Brent, Krattenthaler and Warnaar (J. Combin. Theory Ser. A, 2016).

We describe two crystal structures on set-valued decomposition tableaux. These provide the first examples of interesting "$K$-theoretic" crystals on shifted tableaux. Our first crystal is modeled on a similar construction of Monical, Pechenik, and Scrimshaw for semistandard (unshifted) set-valued tableaux. Our second crystal is adapted from the "square root" operators introduced by Yu on the same set. Neither of our shifted crystals is normal, but we conjecture that our second construction is connected with a unique highest weight element. These results lead to partial progress on a conjectural formula of Cho--Ikeda for $K$-theoretic Schur $P$-functions. We also study a new category of "square root crystals" that includes our second construction and Yu's set-valued tableau crystals as examples. We observe that Buch's formula for the coefficients expanding products of symmetric Grothendieck functions has a simple description in terms of the tensor product for this category.

We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.

Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.

As a spin analog of the plethystic Murnaghan-Nakayama rule for Schur functions, the plethystic Murnaghan-Nakayama rule for Schur $Q$-functions is established with the help of the vertex operator realization. This generalizes both the Murnaghan-Nakayama rule and the Pieri rule for Schur $Q$-functions. A plethystic Murnaghan-Nakayama rule for Hall-Littlewood functions is also investigated.

The plethystic Murnaghan-Nakayama rule describes how to decompose the product of a Schur function and a plethysm of the form $p_r\circ h_m$ as a sum of Schur functions. We provide a short, entirely combinatorial proof of this rule using the labelled abaci introduced in Nicholas A. Loehr. Abacus proofs of Schur function identities. In: SIAM J. Discrete Math. 24.4 (2010), pp. 1356-1370.

We study the Kronecker product of two Schur functions $s_λ\ast s_μ$, defined as the image of the characteristic map of the product of two $S_n$ irreducible characters. We prove special cases of a conjecture of Monical--Tokcan--Yong that its monomial expansion has a saturated Newton polytope. Our proofs employ the Horn inequalities for positivity of Littlewood-Richardson coefficients and imply necessary conditions for the positivity of Kronecker coefficients.

We generalize several classical results about Schur functions to the family of cylindric Schur functions. First, we give a combinatorial proof of a Murnaghan--Nakayama formula for expanding cylindric Schur functions in the power-sum basis. We also explore some cases where this formula is cancellation-free. The second result is polynomiality of Kostka coefficients associated with stretched row-flagged skew Schur functions. This implies polynomiality of stretched cylindric Kostka coefficients. This generalizes a result by E. Rassart from 2004. Finally, we also show the saturation property for the row-flagged skew Kostka coefficients which also implies the saturation property for cylindric Schur functions.

Over a field of characteristic two, we develop a theory of standard monomials for polynomial rings modulo a Frobenius power of the maximal ideal generated by all variables. As a result, we obtain a filtration by modular GL_n-representations whose characters are given by particular truncated Schur polynomials, thus proving a conjecture by Gao--Raicu--VandeBogert in the characteristic two case.

The plethysm coefficient $p(ν, μ, λ)$ is the multiplicity of the Schur function $s_λ$ in the plethysm product $s_ν\circ s_μ$. In this paper we use Schur--Weyl duality between wreath products of symmetric groups and the ramified partition algebra to interpret an arbitrary plethysm coefficient as the multiplicity of an appropriate composition factor in the restriction of a module for the ramified partition algebra to the partition algebra. This result implies new stability phenomenon for plethysm coefficients when the first parts of $ν$, $μ$ and $λ$ are all large. In particular, it gives the first positive formula in the case when $ν$ and $λ$ are arbitrary and $μ$ has one part. Corollaries include new explicit positive formulae and combinatorial interpretations for the plethysm coefficients $p((n-b,b), (m), (mn-r,r))$, and $p((n-b,1^b), (m), (mn-r,r))$ when $m$ and $n$ are large.

We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials. Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary. The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.

We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.