arXiv++ Combinatorics

Three $q$-versions of Lommel polynomials are studied. Included are explicit representations, recurrences, continued fractions, and connections to associated Askey--Wilson polynomials. Combinatorial results are emphasized, including a general theorem when $R_I$ moments coincide with orthogonal polynomial moments. The combinatorial results use weighted Motzkin paths, Schröder paths, and parallelogram polyominoes.

In this paper we introduce refined canonical stable Grothendieck polynomials and their duals with two infinite sequences of parameters. These polynomials unify several generalizations of Grothendieck polynomials including canonical stable Grothendieck polynomials due to Yeliussizov, refined Grothendieck polynomials due to Chan and Pflueger, and refined dual Grothendieck polynomials due to Galashin, Liu, and Grinberg. We give Jacobi--Trudi-like formulas, combinatorial models, Schur expansions, Schur positivity, and dualities of these polynomials.

In the literature there are several determinant formulas for Schur functions: the Jacobi-Trudi formula, the dual Jacobi-Trudi formula, the Giambelli formula, the Lascoux-Pragacz formula, and the Hamel-Goulden formula, where the Hamel-Goulden formula implies the others. In this paper we use an identity proved by Bazin in 1851 to derive determinant identities involving Macdonald's 9th variation of Schur functions. As an application we prove a determinant identity for factorial Schur functions conjectured by Morales, Pak, and Panova. We also obtain a generalization of the Hamel-Goulden formula, which contains a result of Jin, and prove a converse of the Hamel-Goulden theorem and its generalization.

A combinatorial theory for type $R_I$ orthogonal polynomials is given. The ingredients include weighted generalized Motzkin paths, moments, continued fractions, determinants, and histories. Several explicit examples in the Askey scheme are given.

The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.

Recently Galashin, Grinberg, and Liu introduced the refined dual stable Grothendieck polynomials, which are symmetric functions in $x=(x_1,x_2,\dots)$ with additional parameters $t=(t_1,t_2,\dots)$. The refined dual stable Grothendieck polynomials are defined as a generating function for reverse plane partitions of a given shape. They interpolate between Schur functions and dual stable Grothendieck polynomials introduced by Lam and Pylyavskyy in 2007. Flagged refined dual stable Grothendieck polynomials are a more refined version of refined dual stable Grothendieck polynomials, where lower and upper bounds are given for the entries of each row or column. In this paper Jacobi--Trudi-type formulas for flagged refined dual stable Grothendieck polynomials are proved using plethystic substitution. This resolves a conjecture of Grinberg and generalizes a result by Iwao and Amanov--Yeliussizov.

In 1993 Delest and Fédou showed that a generating function for connected skew shapes is given as a ratio $J_{ν+1}/J_ν$ of the Hahn--Exton $q$-Bessel functions when a parameter $ν$ is zero. They conjectured that when $ν$ is a nonnegative integer the coefficients of the generating function are rational functions whose numerator and denominator are polynomials in $q$ with nonnegative integer coefficients, which is a $q$-analog of Kishore's 1963 result on Bessel functions. The first main result of this paper is a proof of the conjecture of Delest and Fédou. The second main result is a refinement of the result of Delest and Fédou: a generating function for connected skew shapes with bounded diagonals is given as a ratio of $q$-Lommel polynomials introduced by Koelink and Swarttouw. It is also shown that the ratio $J_{ν+1}/J_ν$ has two different continued fraction expressions, which give respectively a generating function for moments of orthogonal polynomials of type $R_I$ and a generating function for moments of usual orthogonal polynomials. Orthogonal polynomial techniques due to Flajolet and Viennot are used.

A standard barely set-valued tableau of shape $λ$ is a filling of the Young diagram $λ$ with integers $1,2,\dots,|λ|+1$ such that the integers are increasing in each row and column, and every cell contains one integer except one cell that contains two integers. Counting standard barely set-valued tableaux is closely related to the coincidental down-degree expectations (CDE) of lower intervals in Young's lattice. Using $q$-integral techniques we give a formula for the number of standard barely set-valued tableaux of arbitrary shifted shape. We show how it can be used to recover two formulas, originally conjectured by Reiner, Tenner and Yong, and proved by Hopkins, for numbers of standard barely set valued tableaux of particular shifted-balanced shapes. We also prove a conjecture of Reiner, Tenner and Yong on the CDE property of the shifted shape $(n,n-2,n-4,\dots,n-2k+2)$. Finally, in the Appendix we raise a conjecture on an $\mathsf a;q$-analogue of the down-degree expectation with respect to the uniform distribution for a specific class of lower order ideals of Young's lattice.

In 2007 Lam and Pylyavskyy found a combinatorial formula for the dual stable Grothendieck polynomials, which are the dual basis of the stable Grothendieck polynomials with respect to the Hall inner product. In 2016 Galashin, Grinberg, and Liu introduced refined dual stable Grothendieck polynomials by putting additional sequence of parameters in the combinatorial formula of Lam and Pylyavskyy. Grinberg conjectured a Jacobi--Trudi type formula for refined dual stable Grothendieck polynomials. In this paper this conjecture is proved by using bijections of Lam and Pylyavskyy.

The linearization coefficient $\mathcal{L}(L_{n_1}(x)\dots L_{n_k}(x))$ of classical Laguerre polynomials $L_n(x)$ is known to be equal to the number of $(n_1,\dots,n_k)$-derangements, which are permutations with a certain condition. Kasraoui, Stanton and Zeng found a $q$-analog of this result using $q$-Laguerre polynomials with two parameters $q$ and $y$. Their formula expresses the linearization coefficient of $q$-Laguerre polynomials as the generating function for $(n_1,\dots,n_k)$-derangements with two statistics counting weak excedances and crossings. In this paper their result is proved by constructing a sign-reversing involution on marked perfect matchings.

Recently, Benedetti et al. introduced an Ehrhart-like polynomial associated to a graph. This polynomial is defined as the volume of a certain flow polytope related to a graph and has the property that the leading coefficient is the volume of the flow polytope of the original graph with net flow vector $(1,1,\dots,1)$. Benedetti et al. conjectured a formula for the Ehrhart-like polynomial of what they call a caracol graph. In this paper their conjecture is proved using constant term identities, labeled Dyck paths, and a cyclic lemma.

Hyperplane arrangements dissect $\mathbb{R}^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers called Whitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This paper focuses on cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\mathbb{R}^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here cones correspond to posets, chambers within the cone correspond to linear extensions of the poset, and the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. We interpret this refinement for all posets as counting linear extensions according to a statistic that generalizes the number of left-to-right maxima of a permutation. When the poset is a disjoint union of chains, we interpret this refinement differently, using Foata's theory of cycle decomposition for multiset permutations, leading to a simple generating function compiling these Whitney numbers.

Recently the authors introduced lecture hall tableaux in their study of multivariate little $q$-Jacobi polynomials. In this paper, we enumerate bounded lecture hall tableaux. We show that their enumeration is closely related to standard and semistandard Young tableaux. We also show that the number of bounded lecture hall tableaux is the coefficient of the Schur expansion of $s_λ(m+y_1,\dots,m+y_n)$. To prove this result, we use two main tools: non-intersecting lattice paths and bijections. In particular we use ideas developed by Krattenthaler to prove bijectively the hook content formula.

The hook length formula gives a product formula for the number of standard Young tableaux of a partition shape. The number of standard Young tableaux of a skew shape does not always have a product formula. However, for some special skew shapes, there is a product formula. Recently, Morales, Pak and Panova joint with Krattenthaler conjectured a product formula for the number of standard Young tableaux of shape $λ/μ$ for $λ=((2a+c)^{c+a},(a+c)^a)$ and $μ=(a+1,a^{a-1},1)$. They also conjectured a product formula for the number of standard Young tableaux of a certain skew shifted shape. In this paper we prove their conjectures using Selberg-type integrals. We also give a generalization of MacMahon's box theorem and a product formula for the trace generating function for a certain skew shape, which is a generalization of a recent result of Morales, Pak and Panova.

We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.

Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers. In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.

The hook length formula for $d$-complete posets states that the $P$-partition generating function for them is given by a product in terms of hook lengths. We give a new proof of the hook length formula using $q$-integrals. The proof is done by a case-by-case analysis consisting of two steps. First, we express the $P$-partition generating function for each case as a $q$-integral and then we evaluate the $q$-integrals. Several $q$-integrals are evaluated using partial fraction expansion identities and others are verified by computer.

Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.

The normalized volume of the Chan-Robbins-Yuen polytope ($CRY_n$) is the product of consecutive Catalan numbers. The polytope $CRY_n$ has captivated combinatorial audiences for over a decade, as there is no combinatorial proof for its volume formula. In their quest to understand $CRY_n$ better, the third author and Morales introduced two natural generalizations of it and conjectured that their volumes are certain powers of $2$ multiplied by a product of consecutive Catalan numbers. Zeilberger proved one of these conjectures. In this paper we present proofs of both conjectures.

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.