arXiv++ Combinatorics

We discuss interrelations between eigenfunctions of the Hamiltonians associated with the commutative (integer ray) subalgebras of the Ding-Iohara-Miki algebra and those of the twisted Cherednik system. In the case of $t=q^{-m}$ with natural $m$, eigenfunctions of the first system of Hamiltonians are the twisted Baker-Akhiezer functions (BAFs) introduced by O. Chalykh, while eigenfunctions of the twisted Cherednik Hamiltonians are twisted non-symmetric Macdonald polynomials. Actually, the twisted Cherednik ground state is symmetric and coincides with a peculiar symmetric BAF. We lift this correspondence to excited states, and claim that both Cherednik eigenfunctions and BAF's can be combined to produce symmetric functions, which coincide with each other and are eigenfunctions of the both DIM Hamiltonians and power sums of the twisted Cherednik Hamiltonians at once. This reflects the correspondence between the DIM algebra and the spherical DAHA explicitly.

We consider eigenfunctions of many-body system Hamiltonians associated with generalized (a-twisted) Cherednik operators used in construction of other Hamiltonians: those arising from commutative subalgebras of the Ding-Iohara-Miki (DIM) algebra. The simplest example of these eigenfunctions is provided by non-symmetric Macdonald polynomials, while generally they are constructed basing on the ground state eigenfunction coinciding with the twisted Baker-Akhiezer function being a peculiar (symmetric) eigenfunction of the DIM Hamiltonians. Moreover, the eigenfunctions admit an expansion with universal coefficients so that the dependence on the twist $a$ is hidden only in these ground state eigenfunctions, and we suggest a general formula that allows one to construct these eigenfunctions from non-symmetric Macdonald polynomials. This gives a new twist in theory of integrable systems, which usually puts an accent on symmetric polynomials, and provides a new dimension to the {\it triad} made from the symmetric Macdonald polynomials, untwisted Baker-Akhiezer functions and Noumi-Shiraishi series.

We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.

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.

In this paper, we introduce higher rank generalizations of Macdonald polynomials. The higher rank non-symmetric Macdonald polynomials are Laurent polynomials in several sets of variables which form weight bases for higher rank polynomial representations of double affine Hecke algebras with respect to higher rank Cherednik operators. We prove that these polynomials satisfy generalized versions of the classical Knop--Sahi relations and we give combinatorial descriptions of their weights. The higher rank symmetric Macdonald polynomials are defined as Hecke-symmetrizations of the higher rank non-symmetric Macdonald polynomials and form eigenbases for the spaces of Hecke-invariant higher rank polynomials with respect to generalized finite variable Macdonald operators. We prove that the higher rank symmetric Macdonald polynomials satisfy stability properties allowing for the construction of infinite variable limits. These higher rank symmetric Macdonald functions form eigenbases for certain representations of the (positive) elliptic Hall algebra with respect to generalized infinite variable Macdonald operators. Lastly, we show that the higher rank polynomial representations may be used to construct higher rank polynomial representations of the double Dyck path algebra. This is a copy of the author's accepted extended abstract for FPSAC2025.

We study a multispecies $t$-PushTASEP system on a finite ring of $n$ sites with site-dependent rates $x_1,\dots,x_n$. Let $λ=(λ_1,\dots,λ_n)$ be a partition whose parts represent the species of the $n$ particles on the ring. We show that for each composition $η$ obtained by permuting the parts of $λ$, the stationary probability of being in state $η$ is proportional to the ASEP polynomial $F_η(x_1,\dots,x_n; q,t)$ at $q=1$; the normalizing constant (or partition function) is the Macdonald polynomial $P_λ(x_1,\dots,x_n;q,t)$ at $q=1$. Our approach involves new relations between the families of ASEP polynomials and of non-symmetric Macdonald polynomials at $q=1$. We also use multiline diagrams, showing that a single jump of the PushTASEP system is closely related to the operation of moving from one line to the next in a multiline diagram. We derive symmetry properties for the system under permutation of its jump rates, as well as a formula for the current of a single-species system.

The $m$-symmetric Macdonald polynomials form a basis of the space of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},\dots$ (while having no special symmetry in the variables $x_1,\dots,x_m$).We establish in this article the fundamental properties of the $m$-symmetric Macdonald polynomials. These include among other things the orthogonality with respect to a natural scalar product, as well as formulas for the squared norm, the evaluation, and the inclusion. We also obtain a Cauchy-type identity for the $m$-symmetric Macdonald polynomials which specializes to the known Cauchy-type identity for the non-symmetric Macdonald polynomials.

We construct and study an explicit simultaneous $\mathscr{Y}$-eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion-Wu and the double Dyck path algebra of Carlsson-Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood. The symmetric functions comprise the zero weight space. We introduce one extra operator that commutes with the $\mathscr{Y}_i$ action and dramatically refines the weight spaces to now be one-dimensional. This operator, up to a change of variables, gives an extension of Haiman's operator $Δ'$ from $Λ$ to $\mathscr{P}_{as}^{+}.$ Additionally, we develop another method to build this weight basis using limits of trivial idempotents.

Bisymmetric Macdonald polynomials can be obtained through a process of antisymmetrization and $t$-symmetrization of non-symmetric Macdonald polynomials. Using the double affine Hecke algebra, we show that the evaluation of the bisymmetric Macdonald polynomials satisfies a symmetry property generalizing that satisfied by the usual Macdonald polynomials. We then obtain Pieri rules for the bisymmetric Macdonald polynomials where the sums are over certain vertical strips.

We construct and study an explicit simultaneous $\mathscr{Y}$ eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL_n$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion and Wu and the double Dyck path algebra of Carlsson and Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood.

We study the space, $R_m$, of $m$-symmetric functions consisting of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},x_{m+3},\dots$ but have no special symmetry in the variables $x_1,\dots,x_m$. We obtain $m$-symmetric Macdonald polynomials by $t$-symmetrizing non-symmetric Macdonald polynomials, and show that they form a basis of $R_m$. We define $m$-symmetric Schur functions through a somewhat complicated process involving their dual basis, tableaux combinatorics, and the Hecke algebra generators, and then prove some of their most elementary properties. We conjecture that the $m$-symmetric Macdonald polynomials (suitably normalized and plethystically modified) expand positively in terms of $m$-symmetric Schur functions. We obtain relations on the $(q,t)$-Koska coefficients $K_{ΩΛ}(q,t)$ in the $m$-symmetric world, and show in particular that the usual $(q,t)$-Koska coefficients are special cases of the $K_{ΩΛ}(q,t)$'s. Finally, we show that when $m$ is large, the positivity conjecture, modulo a certain subspace, becomes a positivity conjecture on the expansion of non-symmetric Macdonald polynomials in terms of non-symmetric Hall-Littlewood polynomials.

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.

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 study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.

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.

We derive a matrix product formula for symmetric Macdonald polynomials. Our results are obtained by constructing polynomial solutions of deformed Knizhnik--Zamolodchikov equations, which arise by considering representations of the Zamolodchikov--Faddeev and Yang--Baxter algebras in terms of $t$-deformed bosonic operators. These solutions form a basis of the ring of polynomials in $n$ variables, whose elements are indexed by compositions. For weakly increasing compositions (anti-dominant weights), these basis elements coincide with non-symmetric Macdonald polynomials. Our formulas imply a natural combinatorial interpretation in terms of solvable lattice models. They also imply that normalisations of stationary states of multi-species exclusion processes are obtained as Macdonald polynomials at $q=1$.

We have developed a patch implementing multivariate polynomials seen as a multi-base algebra. The patch is to be released into the software Sage and can already be found within the Sage-Combinat distribution. One can use our patch to define a polynomial in a set of indexed variables and expand it into a linear basis of the multivariate polynomials. So far, we have the Schubert polynomials, the Key polynomials of types A, B, C, or D, the Grothendieck polynomials and the non-symmetric Macdonald polynomials. One can also use a double set of variables and work with specific double-linear bases like the double Schubert polynomials or double Grothendieck polynomials. Our implementation is based on a definition of the basis using divided difference operators and one can also define new bases using these operators.

We give a combinatorial formula for the non-symmetric Macdonald polynomials E_μ(x;q,t). The formula generalizes our previous combinatorial interpretation of the integral form symmetric Macdonald polynomials J_μ(x;q,t). We prove the new formula by verifying that it satisfies a recurrence, due to Knop, that characterizes the non-symmetric Macdonald polynomials.