arXiv++ Combinatorics

The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra. In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.

The row-strict 0-Hecke action on standard immaculate skew tableaux was studied by the present authors, who showed that it gives rise to a bounded poset, called the \emph{skew immaculate Hecke poset}, and consequently to a cyclic 0-Hecke module. It was further shown that the subposet of skew standard extended immaculate tableaux always has a unique maximal element, but may have multiple minimal elements. In this paper we focus on these minimal elements, completely classifying them for a family of skew shapes that we call \emph{lobsters}. Moreover, we prove that when the skew shape is connected, the skew extended Hecke poset does have a unique minimal element, thereby showing that the associated 0-Hecke module is cyclic for both the row-strict and the dual immaculate actions.

The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $Π_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet. Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{μ}(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $Π_{t,x}$ to a stable version of $\mathcal{E}_{μ}(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.

The immaculate Hecke poset was introduced and investigated by Niese, Sundaram, van Willigenburg, Vega and Wang, who established the full poset structure, and determined modules for the 0-Hecke algebra action on immaculate and row-strict immaculate tableaux. In this paper, we extend their results by introducing the skew immaculate Hecke poset. We investigate the poset structure, and construct modules for the 0-Hecke algebra action on skew immaculate and skew row-strict immaculate tableaux, thus showing that the skew immaculate Hecke poset captures representation-theoretic information analogous to the immaculate Hecke poset. We also describe branching rules for the resulting skew modules.

A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.

Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.

We give an explicit raising operator formula for the modified Macdonald polynomials $\tilde{H}_{μ}(X;q,t)$, which follows from our recent formula for $\nabla$ on an LLT polynomial and the Haglund-Haiman-Loehr formula expressing modified Macdonald polynomials as sums of LLT polynomials. Our method just as easily yields a formula for a family of symmetric functions $\tilde{H}^{1,n}(X;q,t)$ that we call $1,n$-Macdonald polynomials, which reduce to a scalar multiple of $\tilde{H}_μ(X;q,t)$ when $n=1$. We conjecture that the coefficients of $1,n$-Macdonald polynomials in terms of Schur functions belong to $\mathbb{N}[q,t]$, generalizing Macdonald positivity.

A fundamental identity in the representation theory of the partition algeba is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair consisting of a standard Young tableau and a vacillating tableau. In this paper, we show that for a given integer sequence $\boldsymbol{i}$, when $n$ is sufficiently large, the vacillating tableaux determined by $DI_n^k(\boldsymbol{i})$ become stable when $n \rightarrow \infty$; the limit is called the limiting vacillating tableau for $\boldsymbol{i}$. We give a characterization of the set of limiting vacillating tableaux and presents explicit formulas that enumerate those vacillating tableaux.

In a companion paper, we introduced raising operator series called Catalanimals. Among them are Schur Catalanimals, which represent Schur functions inside copies $Λ(X^{m,n})\subset \mathcal{E} $ of the algebra of symmetric functions embedded in the elliptic Hall algebra $\mathcal{E} $ of Burban and Schiffmann. Here we obtain a combinatorial formula for symmetric functions given by a class of Catalanimals that includes the Schur Catalanimals. Our formula is expressed as a weighted sum of LLT polynomials, with terms indexed by configurations of nested lattice paths called nests, having endpoints and bounding constraints controlled by data called a den. Applied to Schur Catalanimals for the alphabets $X^{m,1}$ with $n=1$, our `nests in a den' formula proves the combinatorial formula conjectured by Loehr and Warrington for $\nabla^m s_{μ}$ as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. When $n$ is arbitrary, our formula establishes an $(m,n)$ version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduces to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$ Loehr-Warrington formula generalize the $(km,kn)$ shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations.

We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copies $Λ(X^{m,n})\subset \mathcal{E}$ of the algebra of symmetric functions embedded in the elliptic Hall algebra $\mathcal{E}$ of Burban and Schiffmann. As a corollary, we deduce an explicit raising operator formula for the $\nabla$ operator applied to any LLT polynomial. In particular, we obtain a formula for $\nabla ^m s_λ$ which serves as a starting point for our proof of the Loehr-Warrington conjecture in a companion paper to this one.

We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $Δ_{h_l}Δ' _{e_k} e_{n}$, where $Δ' _{e_k}$ and $Δ_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary symmetric function. We actually prove a stronger identity of infinite series of $GL_m$ characters expressed in terms of LLT series. This is achieved through new results in the theory of the Schiffmann algebra and its action on the algebra of symmetric functions.

We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al., and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose $x$ and $y$ intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula. We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $GL_{l}$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for non-symmetric Hall-Littlewood polynomials.

Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.

Partitions, the partition function $p(n)$, and the hook lengths of their Ferrers-Young diagrams are important objects in combinatorics, number theory and representation theory. For positive integers $n$ and $t$, we study $p_t^e(n)$ (resp. $p_t^o(n)$), the number of partitions of $n$ with an even (resp. odd) number of $t$-hooks. We study the limiting behavior of the ratio $p_t^e(n)/p(n)$, which also gives $p_t^o(n)/p(n)$ since $p_t^e(n) + p_t^0(n) = p(n)$. For even $t$, we show that $$\lim\limits_{n \to \infty} \dfrac{p_t^e(n)}{p(n)} = \dfrac{1}{2},$$ and for odd $t$ we establish the non-uniform distribution $$\lim\limits_{n \to \infty} \dfrac{p^e_t(n)}{p(n)} = \begin{cases} \dfrac{1}{2} + \dfrac{1}{2^{(t+1)/2}} & \text{if } 2 \mid n, \\ \\ \dfrac{1}{2} - \dfrac{1}{2^{(t+1)/2}} & \text{otherwise.} \end{cases}$$ Using the Rademacher circle method, we find an exact formula for $p_t^e(n)$ and $p_t^o(n)$, and this exact formula yields these distribution properties for large $n$. We also show that for sufficiently large $n$, the signs of $p_t^e(n) - p_t^o(n)$ are periodic.

Nicolas and DeSalvo and Pak proved that the partition function $p(n)$ is log concave for $n \geq 25$. Chen, Jia and Wang proved that $p(n)$ satisfies the third order Turán inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for $n \geq 94$. More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all $d$, the degree $d$ Jensen polynomials associated to $p(n)$ are hyperbolic for sufficiently large $n$. In this paper, we prove that the same result holds for the $k$-regular partition function $p_k(n)$ for $k \geq 2$. In particular, for any positive integers $d$ and $k$, the order $d$ Turán inequalities hold for $p_k(n)$ for sufficiently large $n$. The case when $d = k = 2$ proves a conjecture by Neil Sloane that $p_2(n)$ is log concave.

We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum cohomology of complete flag varieties; (3) $k$-split polynomials, proving a substantial case of a problem of Broer and Shimozono-Weyman on parabolic Hall-Littlewood polynomials. In addition, we prove the conjecture that $k$-Schur functions defined in terms of $k$-split polynomials agree with strong tableau $k$-Schur functions.

We prove that graded $k$-Schur functions are $G$-equivariant Euler characteristics of vector bundles on the flag variety, settling a conjecture of Chen-Haiman. We expose a new miraculous shift invariance property of the graded $k$-Schur functions and resolve the Schur positivity and $k$-branching conjectures in the strongest possible terms by providing direct combinatorial formulas using strong marked tableaux.