arXiv++ Combinatorics

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

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α}^τ\}_τ$.

Motivated by applications to the fractional quantum Hall effect and, in particular, to the Bernevig-Haldane conjectures, we investigates the behavior of Macdonald polynomials under specializations of the form q a t b = 1. Our main focus is to explain, in a simple and purely combinatorial way, why certain nonsymmetric Macdonald polynomials indexed by staircase vectors with steps of height a and width b remain regular at the specialization q a t b+1 = 1, despite the presence of potential poles in their rational coefficients. To this end, we introduce a set of combinatorial tools that track how poles are created or cancelled along paths in the Yang-Baxter graph. By carefully constructing paths from the zero vector to the staircase and analyzing the resulting denominators, we show that the absence of certain poles follows from intrinsic symmetries and cancellations encoded in the Yang-Baxter graph.

In 1996, Knop and Sahi introduced a remarkable family of inhomogeneous symmetric polynomials, defined via vanishing conditions, whose top homogeneous parts are exactly the Macdonald polynomials. Like the Macdonald polynomials, these interpolation Macdonald polynomials are closely connected to the Hecke algebra, and admit nonsymmetric versions, which generalize the nonsymmetric Macdonald polynomials. In this paper we give a combinatorial formula for interpolation Macdonald polynomials in terms of signed multiline queues; this formula generalizes the combinatorial formula for Macdonald polynomials in terms of multiline queues given by Corteel-Mandelshtam-Williams.

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 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.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

The main goal of this paper is to categorify the specialized parasymmetric (intermediate) Macdonald polynomials. These polynomials depend on a parabolic subalgebra of a simple Lie algebra and generalize the symmetric and nonsymmetric Macdonald polynomials. To achieve this we introduce cyclic modules of the parahoric subalgebras of the affine Kac-Moody Lie algebras such that their characters coincide with the specializations of the parasymmetric polynomials at zero and infinity. These cyclic modules are proved to coincide with standard and costandard objects in certain categories of representations of parahoric algebras. We show that the categories in question are stratified, i.e. they are graded highest weight categories. As a consequence, we derive an analog of the Peter-Weyl theorem describing the bi-module of functions on the parahoric and parabolic Lie groups via the mentioned above standard and costandard modules.

Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multispecies ASEP, or mASEP); (2) the q-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the q-Boson particle system; (3) the q-deformed Pushing Totally Asymmetric Simple Exclusion Process (q-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang-Baxter equation. We express the stationary measures as partition functions of new "queue vertex models" on the cylinder. The stationarity property is a direct consequence of the Yang-Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (arXiv:1810.10650). For the colored q-Boson process and the q-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer-Mandelshtam-Martin (arXiv:2011.06117, arXiv:2209.09859), and Bukh-Cox (arXiv:1912.03510). Our proofs of stationarity use the Yang-Baxter equation and bypass the Matrix Product Ansatz used for the mASEP by Prolhac-Evans-Mallick (arXiv:0812.3293). On the line and in a quadrant, we use the Yang-Baxter equation to establish a general colored Burke's theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity.

We study the algebra of functions on the Iwahori group via the category of graded bounded representations of its Lie algebra. In particular, we identify the standard and costandard objects in this category with certain generalized Weyl modules. Using this identification we express the characters of the standard and costandard objects in terms of specialized nonsymmetric Macdonald polynomials. We also prove that our category of interest admits a generalized highest weight structure (known as stratified structure). We show, more generally, that such a structure on a category of representations of a Lie algebra implies the Peter-Weyl type theorem for the corresponding algebraic group. In the Iwahori case, standard filtrations of indecomposable projective objects correspond to new ``reciprocal'' Macdonald-type identities.

The $t=0$ specialization of the Mimachi-Noumi Cauchy-type identity rewrites certain infinite product in terms of specialized nonsymmetric Macdonald polynomials of type $GL_n$. We interpret the infinite product as a character of the space of functions on a certain matrix space. We show that the space of functions admits a filtration such that the graded pieces are isomorphic to the tensor products of certain generalized global Weyl modules of the Iwahori algebra. We identify the characters of the graded pieces with the terms of the specialized Mimachi-Noumi formula. We conjecture the existence of an analogous filtration on the space of functions on the Iwahori group for all simple Lie algebras and prove the conjecture for $SL_n$. Our construction can be seen as a current algebra extension of the van der Kallen filtration on functions on a Borel subgroup.

In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots.

In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph. The present paper determines the values of a subclass of the polynomials at the special points $\left( 1,t,t^{2},\ldots\right) $ or$\left( 1,t^{-1},t^{-2},\ldots\right) $. The arguments use induction on the degree and computations with products of generators of the Hecke algebra. The resulting formulas involve $\left( q,t\right)$-hook products. Evaluations are also found for Macdonald superpolynomials having restricted symmetry and antisymmetry properties.

In this text we introduce and analyze families of symmetric functions arising as partition functions for colored fermionic vertex models associated with the quantized affine Lie superalgebra $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$. We establish various combinatorial results for these vertex models and symmetric functions, which include the following. (1) We apply the fusion procedure to the fundamental $R$-matrix for $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$ to obtain an explicit family of vertex weights satisfying the Yang-Baxter equation. (2) We define families of symmetric functions as partition functions for colored, fermionic vertex models under these fused weights. We further establish several combinatorial properties for these symmetric functions, such as branching rules and Cauchy identities. (3) We show that the Lascoux-Leclerc-Thibon (LLT) polynomials arise as special cases of these symmetric functions. This enables us to show both old and new properties about the LLT polynomials, including Cauchy identities, contour integral formulas, stability properties, and branching rules under a certain family of plethystic transformations. (4) A different special case of our symmetric functions gives rise to a new family of polynomials called factorial LLT polynomials. We show they generalize the LLT polynomials, while also satisfying a vanishing condition reminiscent of that satisfied by the factorial Schur functions. (5) By considering our vertex model on a cylinder, we obtain fermionic partition function formulas for both the symmetric and nonsymmetric Macdonald polynomials. (6) We prove combinatorial formulas for the coefficients of the LLT polynomials when expanded in the modified Hall-Littlewood basis, as partition functions for a $U_q \big( \widehat{\mathfrak{sl}} (2 | n) \big)$ vertex model.

Non-attacking skyline fillings were used by Haglund, Haiman and Loehr to establish a combinatorial formula for nonsymmetric Macdonald polynomials. Semistandard skyline fillings are non-attacking skyline fillings with both major index and coinversion number equal to zero, which serve as a combinatorial model for key polynomials. In this paper, we construct an involution on semistandard skyline fillings. This involution can be viewed as a vast generalization of the classical Bender--Knuth involution. As an application, we obtain that semistandard skyline fillings are compatible with the Demazure operators, offering a new combinatorial proof that nonsymmetric Macdonald polynomials specialize to key polynomials.

Sahi, Stokman, and Venkateswaran have constructed, for each positive integer $n$, a family of Laurent polynomials depending on parameters $q$ and $k$ (in addition to $\lfloor n/2\rfloor$ "metaplectic parameters"), such that the $n=1$ case recovers the nonsymmetric Macdonald polynomials and the $q\rightarrow\infty$ limit yields metaplectic Iwahori-Whittaker functions with arbitrary Gauss sum parameters. In this paper, we study these new polynomials, which we call SSV polynomials, in the case of $GL_r$. We apply a result of Ram and Yip in order to give a combinatorial formula for the SSV polynomials in terms of alcove walks. The formula immediately shows that the SSV polynomials satisfy a triangularity property with respect to a version of the Bruhat order, which in turn gives an independent proof that the SSV polynomials are a basis for the space of Laurent polynomials. The result is also used to show that the SSV polynomials have \emph{fewer} terms than the corresponding Macdonald polynomials. We also record an alcove walk formula for the natural generalization of the permuted basement Macdonald polynomials. We then construct a symmetrized variant of the SSV polynomials: these are symmetric with respect to a conjugate of the Chinta-Gunnells Weyl group action and reduce to symmetric Macdonald polynomials when $n=1$. We obtain an alcove walk formula for the symmetrized polynomials as well. Finally, we calculate the $q\rightarrow 0$ and $q\rightarrow \infty$ limits of the SSV polynomials and observe that our combinatorial formula can be written in terms of alcove walks with only positive and negative folds respectively. In both of these $q$-limit cases, we also observe a positivity result for the coefficients.

We give a crystal-theoretic proof that nonsymmetric Macdonald polynomials specialized to $t=0$ are affine Demazure characters. We explicitly construct an affine Demazure crystal on semistandard key tabloids such that removing the affine edges recovers the finite Demazure crystals constructed earlier by the authors. We also realize the filtration on highest weight modules by Demazure modules by defining explicit embedding operators which, at the level of characters, parallels the recursion operators of Knop and Sahi for specialized nonsymmetric Macdonald polynomials. Thus we prove combinatorially in type A that every affine Demazure module admits a finite Demazure flag.

Starting from an integrable rank-$n$ vertex model, we construct an explicit family of partition functions indexed by compositions $μ= (μ_1,\dots,μ_n)$. Using the Yang-Baxter algebra of the model and a certain rotation operation that acts on our partition functions, we show that they are eigenfunctions of the Cherednik-Dunkl operators $Y_i$ for all $1 \leq i \leq n$, and are thus equal to nonsymmetric Macdonald polynomials $E_μ$. Our partition functions have the combinatorial interpretation of ensembles of coloured lattice paths which traverse a cylinder. Applying a simple bijection to such path ensembles, we show how to recover the well-known combinatorial formula for $E_μ$ due to Haglund-Haiman-Loehr.

We give an explicit, nonnegative formula for the expansion of nonsymmetric Macdonald polynomials specialized at $t=0$ in terms of Demazure characters. Our formula results from constructing Demazure crystals whose characters are the nonsymmetric Macdonald polynomials, which also gives a new proof that these specialized nonsymmetric Macdonald polynomials are positive graded sums of Demazure characters. Demazure crystals are certain truncations of classical crystals that give a combinatorial skeleton for Demazure modules. To prove our construction, we develop further properties of Demazure crystals, including an efficient algorithm for computing their characters from highest weight elements. As a corollary, we obtain a new formula for the Schur expansion of Hall--Littlewood polynomials in terms of a simple statistic on highest weight elements of our crystals.

Recently James Martin introduced multiline queues, and used them to give a combinatorial formula for the stationary distribution of the multispecies asymmetric simple exclusion exclusion process (ASEP) on a circle. The ASEP is a model of particles hopping on a one-dimensional lattice, which was introduced around 1970, and has been extensively studied in statistical mechanics, probability, and combinatorics. In this article we give an independent proof of Martin's result, and we show that by introducing additional statistics on multiline queues, we can use them to give a new combinatorial formula for both the symmetric Macdonald polynomials P_{lambda}(x; q, t), and the nonsymmetric Macdonald polynomials E_{lambda}(x; q, t), where lambda is a partition. This formula is rather different from others that have appeared in the literature, such as the formulas due to Haglund, Haiman, and Loehr, the formula due to Ram and Yip, and the one due to Lenart. Our proof uses results of Cantini, de Gier, and Wheeler, who recently linked the multispecies ASEP on a circle to Macdonald polynomials.