arXiv++ Combinatorics

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.

We study Type C $K$-Stanley symmetric functions, which are $K$-theoretic extensions of the Type C Stanley symmetric functions. They are indexed by signed permutations and can be used to enumerate reduced words via their expansion into Schur $Q$-functions, which are indexed by strict partitions. A combinatorial description of the Schur $Q$- coefficients is given by Kraśkiewicz insertion. Similarly, their $K$-Stanley analogues are conjectured to expand positively into $GQ$'s, which are $K$-theory representatives for the Lagrangian Grassmannian introduced by Ikeda and Naruse also indexed by strict partitions. We introduce a $K$-theoretic analogue of Kraśkiewicz insertion, which can be used to enumerate 0-Hecke expressions for signed permutations and gives a conjectural combinatorial rule for computing this $GQ$ expansion. We show the Type C $K$-Stanleys for certain fully commutative signed permutations are skew $GQ$'s. Combined with a Pfaffian formula of Anderson's, this allows us to prove Lewis and Marberg's conjecture that $GQ$'s of (skew) rectangle shape are $GQ$'s of trapezoid shape. Combined with our previous conjecture, this also gives an explicit combinatorial description of the skew $GQ$ expansion into $GQ$'s. As a consequence, we obtain a conjecture for the product of two $GQ$ functions where one has trapezoid shape.

We give a new Littlewood-Richardson rule for the Schubert structure coefficients of isotropic Grassmannians, equivalently for the multiplication of $P$-Schur functions. Serrano (2010) previously gave a formula in terms of classes in his shifted plactic monoid. However, this formula is challenging to use because of the difficulty of characterizing shifted plactic classes. We give the first algebraic proof of this formula. We then use it to obtain a new rule that is easy to implement. Our rule is based on identifying a subtle analogue of Yamanouchi tableaux, which we characterize. We show that for some families of structure coefficients, our rule leads to an algorithm with exponentially better time complexity than the original rule of Stembridge (1989).

We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model formula, giving a new rule even in these special cases, extending a technique introduced by Zinn-Justin for calculating Littlewood-Richardson coefficients. We derive a coloured vertex model for permuted-basement Demazure atoms, inspired by Borodin and Wheeler's model for non-symmetric Macdonald polynomials. We make this model compatible with an uncoloured vertex model for Schur polynomials, putting them in a single framework. Unlike previous work on structure coefficients via vertex models, a remarkable feature of our construction is that it relies on a Yang-Baxter equation that only holds for certain boundary conditions. However, this restricted Yang-Baxter equation is sufficient to show our result.

Polynomial-time deterministic approximation of volumes of polytopes, up to an approximation factor that grows at most sub-exponentially with the dimension, remains an open problem. Recent work on this question has focused on identifying interesting classes of polytopes for which such approximation algorithms can be obtained. In this paper, we focus on one such class of polytopes: the Kostka polytopes. The volumes of Kostka polytopes appear naturally in questions of random matrix theory, in the context of evaluating the probability density that a random Hermitian matrix with fixed spectrum $λ$ has a given diagonal $μ$ (the so-called randomized Schur-Horn problem): the corresponding Kostka polytope is denoted $\mathrm{GT}(λ, μ)$. We give a polynomial-time deterministic algorithm for approximating the volume of a ($Ω(n^2)$ dimensional) Kostka polytope $\mathrm{GT}(λ, μ)$ to within a multiplicative factor of $\exp(O(n\log n))$, when $λ$ is an integral partition with $n$ parts, with entries bounded above by a polynomial in $n$, and $μ$ is an integer vector lying in the interior of the permutohedron (i.e., convex hull of all permutations) of $λ$. The algorithm thus gives asymptotically correct estimates of the log-volume of Kostka polytopes corresponding to such $(λ, μ)$. Our approach is based on a partition function interpretation of a continuous analogue of Schur polynomials.

Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras. We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea. Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers. Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.

Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by pairs of partitions. We use these vector space bases to give a positive tableau formula for Littlewood--Richardson coefficients for the product of Schubert polynomials with certain Schur polynomials in two-step flag varieties, in the spirit of the Remmel-Whitney rule for the product of two Schur polynomials in Grassmannians. This in particular covers the cases considered by the Pieri rule.

We introduce two vertex operators to realize skew odd orthogonal characters $so_{λ/μ}(x^{\pm})$ and derive the Cauchy identity for the skew characters via Toeplitz-Hankel-type determinant similar to the Schur functions. The method also gives new proofs of the Jacobi--Trudi identity and Gelfand--Tsetlin patterns for $so_{λ/μ}(x^{\pm})$. Moreover, combining the vertex operators related to characters of types $C,D$ (\cite{Ba1996,JN2015}) and the new vertex operators related to $B$-type characters, we obtain three families of symmetric polynomials that interpolate among characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ and $Sp_{2n}(\mathbb{C})$, Their transition formulas are also explicitly given among symplectic and/or orthogonal characters and odd orthogonal characters.

We study a multi-symmetric generalization of the classical Schur functions called the multi-symmetric Schur functions. These functions form an integral basis for the ring of multi-symmetric functions indexed by tuples of partitions and are defined as certain stable-limits of key polynomials. We prove combinatorial results about the monomial expansions of the multi-symmetric Schur functions including a diagrammatic combinatorial formula and a triangularity result which completely characterizes their monomial multi-symmetric supports. The triangularity result involves a non-trivial generalization of the dominance order on partitions to tuples of partitions. We prove, using the Demazure character formula, that the multi-symmetric Schur functions expand positively into the basis of tensor products of ordinary Schur functions and describe the expansion coefficients as multiplicities of certain irreducible representations for Levi subgroups inside particular Demazure modules. Lastly, we find a family of multi-symmetric plethystic operators related to the classical Bernstein operators which act on the multi-symmetric Schur basis by a simple recurrence relation.

We define real origami (that is, origami equipped with a real structure) and enumerate them using the combinatorics of zonal polynomials. We explicitly express in terms of sums of divisors the numbers of genus 2 real origami with 2 simple zeros and the numbers of genus 3 real origami with 2 double zeros showing that their generating functions are quantum modular forms. Furthermore, we show that by replacing zonal polynomials with Schur polynomials we can effectively count the classical (complex) origami. As a byproduct, we establish a connection between classical origami and a specific class of double Hurwitz numbers. Finally, we discuss some conjectures and open questions involving Jack functions, quantum modular forms, and integrable hierarchies.

This paper gives a systematic study of the lowering operators acting on the $K$-$k$-Schur functions, motivated by the pivotal role played by the operators in the definition and study of Katalan functions. A lowering operator formula for closed $K$-$k$-Schur functions is obtained. As an application, a combinatorial proof is provided to a conjecture on closed $k$-Schur Katalan functions, posed by Blasiak, Morse and Seelinger, and recently proved by Ikeda, Iwao and Naito by a different method.

We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.

The Verschiebung operators $\varphi_t $ are a family of endomorphisms on the ring of symmetric functions, one for each integer $t\geq2$. Their action on the Schur basis has its origins in work of Littlewood and Richardson, and is intimately related with the decomposition of a partition into its $t$-core and $t$-quotient. Namely, they showed that the action on $s_λ$ is zero if the $t$-core of the indexing partition is nonempty, and otherwise it factors as a product of Schur functions indexed by the $t$-quotient. Much more recently, Lecouvey and, independently, Ayyer and Kumari have provided similar formulae for the characters of the symplectic and orthogonal groups, where again the combinatorics of cores and quotients plays a fundamental role. We embed all of these character factorisations in an infinite family involving an integer $z$ and parameter $q$ using a very general symmetric function defined by Hamel and King. The proof hinges on a new characterisation of the $t$-cores and $t$-quotients of $z$-asymmetric partitions which generalise the well-known classifications for self-conjugate and doubled distinct partitions. We also explain the connection between these results, plethysms of symmetric functions and characters of the symmetric group.

Normal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur functions. Among other applications, this tool leads to a new proof of Buch's combinatorial rule for the multiplication of symmetric Grothendieck functions. The definition of a normal square root crystal, originally formulated by the first two authors, largely mirrors that of normal crystals. Our main result is to show that the character of such a crystal is always a sum of symmetric Grothendieck polynomials. The proof relies on an unexpected connection between the raising operators for our crystals and the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis, and Yong.

For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.

Let $α$ range over the set of compositions. Dual immaculate quasisymmetric functions $\mathfrak{S}_α^*$, introduced by Berg, Bergeron, Saliola, Serrano, and Zabrocki, provide a quasisymmetric analogue of Schur functions. They also constructed an indecomposable $0$-Hecke module $\mathcal{V}_α$ whose image under the quasisymmetric characteristic is $\mathfrak{S}_α^*$. In this paper, we prove that $\mathcal{V}_α$ admits a distinguished filtration with respect to the basis of Young quasisymmetric Schur functions. This result offers a novel representation-theoretic interpretation of the positive expansion of $\mathfrak{S}_α^*$ in the basis of Young quasisymmetric Schur functions. A key tool in our proof is Mason's analogue of the Robinson-Schensted-Knuth algorithm, for which we establish a version of Green's theorem. As an unexpected byproduct of our investigation, we construct an indecomposable $0$-Hecke module $\mathbf{Y}_α$ whose image under the quasisymmetric characteristic is the Young quasisymmetric Schur function $\hat{\mathscr{S}}_α$. Further properties of this module are also investigated. And, by applying a suitable automorphism twist to this module, we obtain an indecomposable $0$-Hecke module whose image under the quasisymmetric characteristic is the quasisymmetric Schur function $\mathscr{S}_α$.

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.

We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity.

We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$. Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446). Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.

To find crystals of $\mathfrak{sl}_2$ representations of the form $Λ^n\text{Sym}^r\mathbb{C}^2$ it suffices to solve the combinatorial problem of decomposing Young's lattice into symmetric, saturated chains. We review the literature on this latter problem, and present a strategy to solve it. For $n \le 4$, the strategy recovers recently discovered solutions. We obtain (i) counting formulas for plethystic coefficients, (ii) new recursive formulas for plethysms of Schur functions, and (iii) formulas for the number of constituents of $Λ^n\text{Sym}^r\mathbb{C}^2$.