arXiv++ Combinatorics

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.

This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion. Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions. Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.

We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.

We construct a complex of toric varieties we call the quasisymmetric Grassmannian inside the Grassmannian of $r$-planes in $\mathbb{C}^n$. Each irreducible component is a positroid variety and an $S_n$ translate of a toric Richardson variety of ribbon shape. We describe it as the vanishing locus of equations $Δ_AΔ_{A'}=0$ in Plücker coordinates determined by a new noncrossing combinatorial object we call the quasisymmetric Johnson graph. We give an affine paving, and show that its cohomology ring is a quasisymmetric modification of the Borel presentation of the Grassmannian's cohomology, with fundamental quasisymmetric polynomials playing the role of Schur polynomials.

Genomic Schur functions were introduced by Pechenik and Yong in connection with the $K$-theory of Grassmannians. Pechenik proved that genomic Schur functions admit a positive expansion in the basis of fundamental quasisymmetric functions and, for partitions with two parts, a positive expansion in the Schur basis. Later, Kim and Yoo constructed $0$-Hecke modules associated with genomic Schur functions and conjectured that the latter expansion admits a representation-theoretic interpretation in terms of $0$-Hecke modules. In this paper, we prove the conjecture of Kim and Yoo, thereby obtaining a representation-theoretic interpretation of the Schur expansion in the two-row case.

One of the central open problems in both algebraic combinatorics and representation theory is to find a positive combinatorial rule for Kronecker coefficients $ g_{λ\, μ\, ν}$. A notable advance in this direction is due to Blasiak, who proved a combinatorial interpretation in terms of colored Yamanouchi tableaux for the case whereby one of the indexing partitions is hook-shaped. In this paper, we introduce a framework for the evaluation and combinatorial interpretation of Kronecker coefficients, combining a Schur function identity of Littlewood, the Giambelli identity for Schur functions, and Blasiak's combinatorial rule. This framework reduces the study of Kronecker coefficients to alternating sums involving hook-indexed cases. As an application of this framework, we obtain combinatorial interpretations of $g_{t, h^{(1)}, h^{(2)}}$ for two-row partitions $t$ and hook-like partitions $h^{(1)}$ and $h^{(2)}$ satisfying natural conditions. More broadly, our approach provides a systematic method for extending hook-based combinatorial rules to wider families of Kronecker coefficients.

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

A Littlewood identity is an identity equating a sum of Schur functions with an infinite product. A bounded Littlewood identity is one where the sum is taken over the partitions with a bounded number of rows or columns. The price to pay is that the infinite product has to be replaced by a determinant. The focus of this article is on refinements of such bounded Littlewood identities where one also prescribes the number of odd-length rows or columns of the partitions. Goulden [{\it Discrete Math.} {\bf99} (1992), 69--77] had given such a refinement in which the number of columns is bounded and the number of odd-length rows is prescribed. We provide refinements where the number of columns is bounded and the number of odd-length columns is prescribed. Furthermore, we present new formulations of such bounded Littlewood identities involving skewing operators. As corollaries we obtain non-standard formulas for numbers of standard Young tableaux with restricted shapes as above. In the last part of the article we discuss combinatorial interpretations of such identities in terms of up-down tableaux. As corollaries, we obtain identities between numbers of standard Young tableaux and numbers of (marked) vacillating tableaux.

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.

We resolve a question posed by Benedetti and Sagan by constructing a signreversing involution on Takeuchi's expansion that yields the antipode for the ring of symmetric functions in terms of the Schur basis.

Serrano (2010) introduced the shifted plactic monoid, governing Haiman's (1989) mixed insertion algorithm, as a type B analogue of the classical plactic monoid that connects jeu de taquin of Young tableaux with the Robinson-Schensted-Knuth insertion algorithm. Serrano proposed a corresponding definition of skew shifted plactic Schur functions. Cho (2013) disproved Serrano's conjecture regarding this definition, by showing that the functions do not live in the desired ring and hence cannot provide an algebraic interpretation of tableau rectification or of the corresponding structure coefficients. Cho asked for a new definition with particular properties. We introduce such a definition and prove that it behaves as desired. We also introduce a new jeu de taquin theory that computes mixed insertion.

We study the $t$-Schur measure on partitions, defined by $ \mathbb{P}(λ)=Z^{-1}S_λ(x;t)s_λ(y) $, where $S_λ(x;t)$ denotes the $t$-Schur symmetric functions and $s_λ(y)$ the ordinary Schur functions, and $Z$ is the normalising constant. Using vertex operator calculus, we realise $S_λ(x;t)$ in the charged free-fermion Fock space, yielding a $t$-deformation of the classical boson-fermion correspondence. These realisations give vertex-algebraic proofs of the $t$-Cauchy identities and $t$-Gessel identity. Building on this framework, we compute the correlation functions of the $t$-Schur measure and show that the associated point process is determinantal, with an explicit correlation kernel. The Poissonised $t$-Plancherel measure appears as a specialisation of our construction, so its correlation functions follow as a corollary. As an application, we derive the limiting distribution for the length of the longest ascent pair in a random permutation. Our results interpolate the Schur case at $t=0$, connect to the Schur-$Q$ theory at $t=-1$, and provide a probabilistic interpretation of a natural $t$-refinement of increasing subsequences via a generalised RSK correspondence.

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.

A homogeneous bivariate $d$-form defines an $(i+1)$-rowed Toeplitz matrix for each $i$ between $0$ and $d$. We use Hodge theory and Schur polynomials to prove that if the $(i+1)$-rowed Toeplitz matrix of a form is totally nonnegative, then so is the $i$-rowed one. This fixes a gap in the main result of paper above.

We consider the problem of certifying (strict) $k$-sign consistency of a matrix, that is, whether all of its $k$-th order minors share the same (strict) sign. Although this problem is generally of combinatorial complexity, we show that for Hankel matrices it can be significantly simplified: our sufficient condition requires checking only the $k$-th order minors of a reshaped Hankel matrix with $k$ rows. Remarkably, when applied to the Hankel operator, this sufficient condition is also necessary. Comparable results were known only in the setting of (strictly) $k$-positive Hankel matrices and operators, in which all minors of order up to $k$ have the same (strict) sign. More concretely, we derive a formula expressing the $k$-th order minors of Hankel matrices as nonnegative integer linear combinations of $k$-th order minors with consecutive row indices. Our derivation uses Schur polynomial theory to show that the $k$-th order minors of any matrix are nonnegative integer linear combinations of row-consecutive $k$-th order minors, meaning minors formed from distinct columns whose consecutive row indices need not coincide across columns. For Hankel matrices, these minors coincide -- up to sign changes arising from column swaps -- with the usual $k$-th order minors with consecutive row indices. Our main result then follows by showing that the sum of certain signed nonnegative integer coefficients equals the corresponding Littlewood--Richardson coefficients. In our problem, the nonnegativity of these coefficients ensures that negatively signed column permutations are cancelled by positively signed ones. Our results also extend naturally to Toeplitz matrices and operators, and we present a partial analogue for circulant matrices.

This paper studies the bidiagonal factorization of the collocation matrices of analytic bases using symmetric functions. Explicit formulas for their initial minors are derived in terms of Schur functions. The structure of these formulas permits establishing sufficient conditions for the total positivity of generic systems of analytic functions. In addition, they have been found to lead to generalizations of the Cauchy identity for certain families of functions.

H.Choi-D.Kim-S.J.Lee and S.J.Lee introduced a new kind of tableaux, semistandard oscillating tableaux (SSOT), around 2024 in the context of Lusztig $q$-weight multiplicities, KR crystals and King tableaux. In this paper, we study generating function of the SSOTs and its symmetry. First, we extend Gessel's and Assaf-Searles' expansion of a Schur function in terms of fundamental quasi-symmetric functions to our generating function. As a consequence, we show that it is $F$-positive. Further, we improve Sundaram's work on oscillating tableaux by proving that it is symmetric, Schur-positive, and has Saturated Newton polytope.

It is well known that a monomial complete intersection has the strong Lefschetz property in characteristic zero. This property is equivalent to the statement that any power of the sum of the variables is a maximal rank element on the complete intersection. In this paper, we investigate what happens when this element is replaced by another symmetric polynomial, in an equigenerated complete intersection. We answer the question completely for the power sum symmetric polynomial using a grading technique, and for any Schur polynomial in the case of two variables by deriving a closed formula for the determinants of a family of Toeplitz matrices. Further, we obtain partial results in three or more variables for the elementary and the complete homogeneous symmetric polynomials and pose several open questions.

We relate hook-length products for adjacent staircase partitions to special values of Jacobi polynomials. This connection expresses the number of semistandard tableaux in terms of Jacobi polynomials defined via Gauss hypergeometric functions. From this identity, we derive the special values of stable Grothendieck polynomials and $K$-theoretic Schur $P$-functions indexed by adjacent staircase partitions. These values provide ratios of the numbers of set-valued and shifted set-valued semistandard tableaux. This connection is further clarified by the theory of excited Young diagrams, which characterizes the coefficients in these specializations.