arXiv++ Combinatorics

Characterizations of lower and upper bounds for dual characters of flagged Weyl modules have attracted considerable interest. In this paper, we establish explicit pattern avoidance characterizations for lower and upper bounds of Schur characters, namely, the dual characters of Weyl modules associated with arbitrary diagrams. This setting extends the corresponding extremal problems for dual characters of flagged Weyl modules and includes skew Schur polynomials and, through Rothe diagrams, Stanley symmetric functions. Specifically, for a permutation $w$, we show that the Stanley symmetric function $F_w$ attains the lower bound if and only if $w$ avoids $321,2143,2413,3142$, and $3412$, and attains the upper bound if and only if $w$ avoids $312$ and $321$.

We use the Pfaffian minor summation formula together with Jacobi--Trudi Toeplitz matrices to derive Pfaffian expansions in skew Schur functions. This yields explicit Schur expansions for several generating functions involving products of skew Schur functions. In particular, using sparse skew-symmetric matrices, we provide a Pfaffian proof of a Schur-positive identity arising in the study of the $q$-log-convexity of the Narayana polynomials. As the main application, we prove that the Baxter polynomials form a $q$-log-convex sequence. We further show that the Baxter transformation defined by the refined Baxter numbers preserves log-convexity. Finally, by realizing the $q$-refined Baxter numbers as principal specializations of rectangular Schur functions, we prove that the array of $q$-refined Baxter numbers is $q$-log-concave both along each row and along each column. Both $q$-log-concavity results extend naturally to the $q$-analogues of the $d$-Hoggatt numbers.

Knutson and Tao's hives is a combinatorial model to compute Littlewood--Richardson coefficients. Similar to hives, Speyer introduced skeps and used them to prove a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy. We first introduce skew hive and skew skep models, which specialize to both hives and skeps, and use this to prove a skew Schur log-concavity result generalizing Lam--Postnikov--Pylyavskyy conjecture. As a consequence, we obtain some log-concavity results concerning Newell--Littlewood numbers and shadow skew Schur functions. Finally, we explain bijections between (skew) hives, (skew) skeps, and peelable tableaux by Nguyen--Nguyen--Woodruff, answering Speyer's question.

We prove the conjecture of Huh, Matherne, Mészáros, and St.~Dizier that the normalization of every skew Schur polynomial in finitely many variables is Lorentzian. We first realize every nonzero skew Schur polynomial in finitely many variables as a specialization of a Schubert polynomial and prove that it is dually Lorentzian. The dual Jacobi--Trudi identity then identifies its normalization with the finite dual of a skew Schur polynomial obtained by rectangular complementation. As a consequence, skew Kostka numbers satisfy log-concavity inequalities along the root directions.

We identify ordinary skew Schur polynomials and skew Schur $P$-functions as top-degree total-Chern intersection polynomials on Richardson varieties in ordinary and Lagrangian Grassmannians. We then obtain that $\mathcal N(s_{λ/μ})$, $\mathcal N(P_{λ/μ})$, $\mathcal N(Q_{λ/μ})$ are realizable volume polynomials. This settles the skew-Schur and Schur-$P$ Lorentzian conjectures of Huh--Matherne--Mészáros--St.~Dizier and strengthens the latter to arbitrary skew $P/Q$-functions. The construction extends to cycle transforms attached to arbitrary irreducible subvarieties of ordinary and Lagrangian Grassmannians. We obtain reverse Khovanskii--Teissier inequalities for ordinary and shifted tableau multiplicities, Hessian-signature and principal-minor inequalities, root-direction log-concavity, and dominance monotonicity of coefficients toward balanced contents. We also prove ultra-log-concavity of weighted block aggregates and a diagonal covariance bound for factorially tilted content distributions. We determine the exact skew-Schur support permutahedron and its extremal coefficients, recover the known straight Schur-$P/Q$ support polytopes and identify their vertex coefficients in the present framework, and prove log-concavity for cumulative two-row ordinary Littlewood--Richardson coefficients and for weighted cumulative two-row shifted Littlewood--Richardson coefficients.

Introduced by Ballantine, Beck, and Merca, the elementary symmetric partition function $\mathrm{pre}_k$, defined on the set of partitions with at least $k$ parts, has been a topic of recent interest. We prove that $\mathrm{pre}_k$ is injective on the set of $m$-ary partitions for positive integers $m \ge k$, generalizing the binary $k = 2$ result of Ballantine, Beck, and Merca, and complementing a result of Hadelyn, Niergarth, Li and Li showing that, for each $k \ge 3$, $\mathrm{pre}_k$ is not injective on partitions of $n$ with length $2k$ for infinitely many $n$. We introduce the skew Schur partition function $\mathrm{prs}_{λ'/μ'}$, prove injectivity results for particular choices of $λ',μ'$, and describe an application to representation theory.

We generalize and prove the recursive relation \[ S_λ(V) = \sum_{L\subseteq V\text{ line}} S_λ(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a family of polynomials over a finite field that mimic the (straight and skew) Schur polynomials using powers of the Frobenius.

Cylindric Schur functions are a family of symmetric functions that generalize skew Schur functions. We give a short proof that skew cylindric Schur functions expand positively in terms of non-skew cylindric Schur functions. In particular, we show that the expansion coefficients are fusion coefficients.

Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.

We prove determinantal-Pfaffian formulae that simultaneously generalise the Pfaffian minor summation formula of Ishikawa and Wakayama and Byun's recent minor summation formula. These formulae are based on factorisation formulae for the determinant of the sum of a skew-symmetric matrix and a rank-1 matrix. Applications include a Cauchy-type identity for skew Schur functions.

The main goal of this paper is to extend three important Schur positivity results to key positivity, replacing all Schur polynomials in relevant expressions with flagged Schur polynomials. Namely, we first show that the Temperley-Lieb immanants of (many) flagged Jacobi-Trudi matrices are key positive. Using this result, we give a combinatorial rule for the key expansion of (most) products of flagged skew Schur polynomials, and also give a log concavity result inspired by that of Lam-Postnikov-Pylyavskyy. The main tools in our proofs are Demazure crystals, and the recently defined shuffle tableaux of Nguyen and Pylyavskyy. In order to prove our main results, we must develop a new characterization of Demazure crystals, which builds off of prior work of Assaf and Gonzalez. This characterization may be useful in other contexts.

We generalize Fulton's determinantal construction of Schur modules to the skew setting, providing an explicit and functorial presentation using only elementary linear algebra and determinantal identities, in parallel with the partition case. Building on the non-iterative straightening formula of the first author for partition shapes, we develop a non-iterative straightening algorithm for skew Schur modules that expresses arbitrary elements in a new D-basis with an explicit closed coefficient formula. We then show that this D-basis is the result of applying Gram-Schmidt orthogonalization to the semistandard tableau basis, which identifies a natural inner product on the skew Schur module and recasts straightening as an orthogonal projection.

In this paper we classify when (row-strict) dual immaculate functions and (row-strict) extended Schur functions, as well as their skew generalizations, are symmetric. We also classify when their natural variants, termed advanced functions, are symmetric. In every case our classification recovers classical skew Schur functions.

We introduce a new symmetry class of both boxed plane partitions and lozenge tilings of a hexagon, called the $\mathbf{r}$-block diagonal symmetry class, where $\mathbf{r}$ is an $n$-tuple of non-negative integers. We prove that the tiling generating function of this symmetry class under a certain weight assignment is given by a simple product formula. As a consequence, the volume generating function of $\mathbf{r}$-block symmetric plane partitions is obtained. Additionally, we consider $(\mathbf{r},\mathbf{r^{\prime}})$-block diagonally symmetric lozenge tilings by embedding the hexagon into a cylinder and present an identity for the signed enumeration of this symmetry class in specific cases. Two methods are provided to study this symmetry class: (1) the method of non-intersecting lattice paths with a modification, and (2) interpreting weighted lozenge tilings algebraically as (skew) Schur polynomials and applying the dual Pieri rule.

The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials and the Schur P-functions in terms of stable Grothendieck polynomials $G_λ$ and in terms of dual stable Grothendieck polynomials $g_λ$.

The question of classifying when two skew Schur functions are equal is a substantial open problem, which remains unsolved for over a century. In 2022, Aliniaeifard, Li and van Willigenburg introduced skew Schur functions in noncommuting variables, $s_{(δ,D)}$, where $D$ is a connected skew diagram with $n$ boxes and $δ$ is a permutation in the symmetric group $S_n$. In this paper, we combine these two and classify when two skew Schur functions in noncommuting variables are equal: $s_{(δ,D)} = s_{(τ,T)}$ such that $D\ne T$ if and only if $D$ is a nonsymmetric ribbon, $T$ is the antipodal rotation of $D$ and $\overline{τ^{-1}δ}$ is an explicit bijection between two set partitions determined by $D$.

PySymmPol is a Python package designed for efficient manipulation of symmetric polynomials. It provides functionalities for working with various types of symmetric polynomials, including elementary, homogeneous, monomial symmetric, (skew-) Schur, and Hall-Littlewood polynomials. In addition to polynomial operations, PySymmPol offers tools to explore key properties of integer partitions and Young diagrams, such as transposition, Frobenius coordinates, characters of symmetric groups and others.

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