arXiv++ Combinatorics

In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon. We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group. We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape. Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion.

Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial $Q$ by $Φ_n(P)$ and show that $Φ_n$ is an epimorphism of algebras. We compute $Φ_n(P)$ for several families of symmetric polynomials $P$: symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016). The polynomials of the form $Φ_n(\operatorname{s}_{λ/μ}^{(2n)})$, where $\operatorname{s}_{λ/μ}^{(2n)}$ is a skew Schur polynomial in $2n$ variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as $x_1,\ldots,x_n,x^{-1}_1,\ldots,x^{-1}_n$. Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.

We consider Jack polynomials $J_λ$ and their shifted analogue $J^#_λ$. In 1989, Stanley conjectured that $\langle J_μJ_ν, J_λ\rangle$ is a polynomial with nonnegative coefficients in the parameter $α$. In this note, we extend this conjecture to the case of shifted Jack polynomials.

We show that the classical game LaserTank is $\mathrm{NP}$-complete, even when the tank movement is restricted to a single column and the only blocks appearing on the board are mirrors and solid blocks. We show this by reducing $3$-SAT instances to LaserTank puzzles.

When $λ$ is a partition, the specialized non-symmetric Macdonald polynomial $E_λ(x;q;0)$ is symmetric and related to a modified Hall--Littlewood polynomial. We show that whenever all parts of the integer partition $λ$ is a multiple of $n$, the underlying set of fillings exhibit the cyclic sieving phenomenon (CSP) under a cyclic shift of the columns. The corresponding CSP polynomial is given by $E_λ(x;q;0)$. In addition, we prove a refined cyclic sieving phenomenon where the content of the fillings is fixed. This refinement is closely related to an earlier result by B.~Rhoades. We also introduce a skew version of $E_λ(x;q;0)$. We show that these are symmetric and Schur-positive via a variant of the Robinson--Schenstedt--Knuth correspondence and we also describe crystal raising- and lowering operators for the underlying fillings. Moreover, we show that the skew specialized non-symmetric Macdonald polynomials are in some cases vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur expansion of a new family of LLT polynomials.

In this note, we provide a short proof of Theorem 3.3 in the paper titled \emph{Crystals, semistandard tableaux and cyclic sieving phenomenon}, by Y.-T.~Oh and E.~Park, which concerns a cyclic sieving phenomenon on semi-standard Young tableaux. We also extend the result to skew shapes.

We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials. We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge and orientations of unit-interval graphs. We also provide short bijective proofs of Lee's three-term recurrences for unicellular LLT polynomials and we show that these recurrences are enough to generate all unicellular LLT polynomials associated with abelian area sequences.

We give a $q$-enumeration of circular Dyck paths, which is a superset of the classical Dyck paths enumerated by the Catalan numbers. These objects have recently been studied by Alexandersson and Panova. Furthermore, we show that this $q$-analogue exhibits the cyclic sieving phenomenon under a natural action of the cyclic group. The enumeration and cyclic sieving is generalized to Möbius paths. We also discuss properties of a generalization of cyclic sieving, which we call subset cyclic sieving. Finally, we also introduce the notion of Lyndon-like cyclic sieving that concerns special recursive properties of combinatorial objects exhibiting the cyclic sieving phenomenon.

Demazure characters, also known as key polynomials, generalize the classical Schur polynomials. In particular, when all variables are set equal to $1$, these polynomials count the number of integer points in a certain class of Gelfand--Tsetlin polytopes. This property highlights the interaction between the corresponding polyhedral and combinatorial structures via Ehrhart theory. In this paper, we give an overview of results concerning the interplay between the geometry of Gelfand-Tsetlin polytopes and their Ehrhart polynomials. Motivated by strong computer evidence, we propose several conjectures about the non-negativity of the coefficients of such polynomials.

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

Using the combinatorics of $α$-unimodal sets, we establish two new results in the theory of quasisymmetric functions. First, we obtain the expansion of the fundamental basis into quasisymmetric power sums. Secondly, we prove that generating functions of reverse $P$-partitions expand positively into quasisymmetric power sums. Consequently any nonnegative linear combination of such functions is $p$-positive whenever it is symmetric. As an application we derive positivity results for chromatic quasisymmetric functions, unicellular and vertical strip LLT polynomials, multivariate Tutte polynomials and the more general $B$-polynomials, matroid quasisymmetric functions, and certain Eulerian quasisymmetric functions, thus reproving and improving on numerous results in the literature.

We describe an injection from border-strip decompositions of certain shapes to permutations. This allows us to provide enumeration results, as well as $q$-analogues of enumeration formulas. Finally, we use this injection to prove a connection between the number of border-strip decompositions of the $n\times 2n$ rectangle and the Weil-Petersson volume of the moduli space of an $n$-punctured Riemann sphere.

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

We study cyclic sieving phenomena (CSP) on combinatorial objects from an abstract point of view by considering a rational polyhedral cone determined by the linear equations that define such phenomena. Each lattice point in the cone corresponds to a non-negative integer matrix which jointly records the statistic and cyclic order distribution associated with the set of objects realizing the CSP. In particular we consider a universal subcone onto which every CSP matrix linearly projects such that the projection realizes a CSP with the same cyclic orbit structure, but via a universal statistic that has even distribution on the orbits. Reiner et.al. showed that every cyclic action give rise to a unique polynomial (mod $q^n-1$) complementing the action to a CSP. We give a necessary and sufficient criterion for the converse to hold. This characterization allows one to determine if a combinatorial set with a statistic give rise (in principle) to a CSP without having a combinatorial realization of the cyclic action. We apply the criterion to conjecture a new CSP involving stretched Schur polynomials and prove our conjecture for certain rectangular tableaux. Finally we study some geometric properties of the CSP cone. We explicitly determine its half-space description and in the prime order case we determine its extreme rays.

We examine the non-symmetric Macdonald polynomials $E_λ(x;q,t)$ at $q=1$, as well as the more general permuted-basement Macdonald polynomials. When $q=1$, we show that $E_λ(x;1,t)$ is symmetric and independent of $t$ whenever $λ$ is a partition. Furthermore, we show that for general $λ$, this expression factors into a symmetric and a non-symmetric part, where the symmetric part is independent of $t$, while the non-symmetric part only depends on the relative order of the entries in $λ$. We also examine the case $q=0$, which give rise to so called permuted-basement $t$-atoms. We prove expansion-properties of these, and as a corollary, prove that Demazure characters (key polynomials) expand positively into permuted-basement atoms. This complements the result that permuted-basement atoms are atom-positive. Finally, we show that a product of a permuted-basement atom and a Schur polynomial is again positive in the same permuted-basement atom basis, and thus interpolates between two results by Haglund, Luoto, Mason and van Willigenburg. The common theme in this project is the application of basement-permuting operators as well as combinatorics on fillings, by applying results in a previous article by the first author.

We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as vertical strip --- in particular, unicellular LLT polynomials. We show that there are parallel phenomena regarding $e$-positivity of these two families of polynomials. In particular, we give several examples where the LLT polynomials behave like a "mirror image" of the chromatic quasisymmetric counterpart. The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials. This circular extensions of LLT polynomials has not been studied before. A lot of the combinatorics regarding unit interval graphs carries over to this more general setting, and we prove several statements regarding the $e$-coefficients of chromatic quasisymmetric functions and LLT polynomials. In particular, we believe that certain $e$-positivity conjectures hold in all these families above. Furthermore, we study vertical-strip LLT polynomials, for which there is no natural chromatic quasisymmetric counterpart. These polynomials are essentially modified Hall--Littlewood polynomials, and are therefore of special interest. In this more general framework, we are able to give a natural combinatorial interpretation for the $e$-coefficients for the line graph and the cycle graph, in both the chromatic and the LLT setting.

We generalize a map by S. Mason regarding two combinatorial models for key polynomials, in a way that accounts for the major index. We also define similar variants of this map, that regards alternative models for the modified Macdonald polynomials at $t=0$, thus partially answer a question by J. Haglund. These maps imply certain uniqueness property regarding inversion-- and coinversion-free fillings, which allows us to generalize the notion of charge to a non-symmetric setting, thus answering a question by A. Lascoux. The analogous question in the symmetric setting proves a conjecture by K. Nelson.

In this short note, we give large counterexamples to natural questions about certain order polytopes, in particular, Gelfand--Tsetlin polytopes. Several of the counterexamples are too large to be discovered via a brute-force computer search. We also show that the multiset of hooks in a Young diagram is not enough information to determine the Ehrhart polynomial for an associated order polytope. This is somewhat counter-intuitive to the fact that the multiset of hooks always determine the leading coefficient of the Ehrhart polynomial.

In this paper, we study shifted Schur functions $S_μ^\star$, as well as a new family of shifted symmetric functions $\mathfrak{K}_μ$ linked to Kostka numbers. We prove that both are polynomials in multi-rectangular coordinates, with nonnegative coefficients when written in terms of falling factorials. We then propose a conjectural generalization to the Jack setting. This conjecture is a lifting of Knop and Sahi's positivity result for usual Jack polynomials and resembles recent conjectures of Lassalle. We prove our conjecture for one-part partitions.

We extend the family non-symmetric Macdonald polynomials and define general-basement Macdonald polynomials. We show that these also satisfy a triangularity property with respect to the monomials bases and behave well under the Demazure-Lusztig operators. The symmetric Macdonald polynomials $J_λ$ are expressed as a sum of general-basement Macdonald polynomials via an explicit formula. By letting $q=0$, we obtain $t$-deformations of key polynomials and Demazure atoms and we show that the Hall--Littlewood polynomials expand positively into these. This generalizes a result by Haglund, Luoto, Mason and van Willigenburg. As a corollary, we prove that Schur polynomials decompose with non-negative coefficients into $t$-deformations of general Demazure atoms and thus generalizing the $t=0$ case which was previously known. This gives a unified formula for the classical expansion of Schur polynomials in Hall-Littlewood polynomials and the expansion of Schur polynomials into Demazure atoms.