arXiv++ Combinatorics

This paper provides formulas for Koornwinder polynomials in analogy with the creation formula, the alcove walk formula and the non-attacking fillings formula for the type $GL_n$ Macdonald polynomials. We state the creation formula in terms of the divided-difference operators used in Schubert calculus, and we use a box-greedy reduced word to reformulate the alcove walk formula in terms of uncompressed set-valued tableaux. Then two types of compression, ``around-the-end compression'' and ``across-the-$0$-gap compression'', are used to derive a formula for Koornwinder polynomials in terms of compressed set-valued tableaux. Throughout we work in the full generality of relative Koornwinder polynomials, which are the analogues of the permuted basement Macdonald polynomials used in the type $GL_n$ case.

Permuted-basement Macdonald polynomials $E_α^σ(\mathbf{x};q,t)$ are nonsymmetric generalizations of symmetric Macdonald polynomials that form a basis for the polynomial ring $\mathbb{Q}(q,t)[\mathbf{x}]$ for each fixed $σ$. There are combinatorial formulas for them as generating functions over composition-shaped non-attacking fillings. In this extended abstract, we bijectively prove identities for the relationship between $E_α^σ$, $E_α^{σs_i}$, $E_{s_iα}^σ$, and $E_{s_iα}^{σs_i}$. These identities correspond to two combinatorial operations on non-attacking fillings: (1) swapping adjacent entries in the basement, generalizing a result of Alexandersson (2019), and (2) swapping adjacent parts in the shape, which yields a straightening rule for expanding $E_α^σ$ in the polynomials $\{E_{s_iα}^τ\}_τ$.

Non-attacking fillings are combinatorial objects central to the theory of Macdonald polynomials. A probabilistic bijection for partition-shaped non-attacking fillings was introduced by Mandelshtam (2024) to prove a compact formula for symmetric Macdonald polynomials. In this work, we generalize this probabilistic bijection to composition-shaped non-attacking fillings. As an application, we provide a bijective proof to extend a symmetry theorem for permuted-basement Macdonald polynomials established by Alexandersson (2019), proving a version with fewer assumptions.