arXiv++ Combinatorics

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 generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously. For the crystal 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, equivalently, Bender-Knuth involutions.

Macdonald polynomials are an important family of orthogonal polynomials that have applications to statistical physics. Corteel, Mandelshtam, and Williams proved a combinatorial model involving multiline queues for partitions; however, their work does not apply to weak compositions in general. We conjecture a first step towards this direction via a variant of the nonattacking filling model for nonsymmetric Macdonald Polynomials $E_μ$. This new model compresses the classical nonattacking filling model of Haglund, Haiman, and Loehr and mirrors the concept of trivial pairs in the multiline queue model. We prove it for a large family of weak compositions and explain the difficulty of extending this proof to the general case.

We prove that the partition division operator $\mathrm{rowDiv}_k$ preserves e-positivity, resolving a conjecture of Alexandersson and Dai. For $μ\vdash kn$ and $ν\vdash n$, we express the coefficient of $e_ν$ in $\mathrm{rowDiv}_k(e_μ)$ as a normalized sum of positive rational weights over closed walks on a finite directed graph of $k$-restricted partitions. The proof combines the Pieri rule and a root of unity factorization for Macdonald polynomials. As a corollary, we recover the h-positivity of the symmetric functions $A_{n,k}$ of Amdeberhan, Shareshian, and Stanley.

We establish independence of $q$ as a necessary condition for coefficientwise nonnegativity of normalized principal specialization ratios of monic Macdonald polynomials. For arbitrary pairs of partitions, we characterize independence of $q$. For denominator partitions with largest and smallest parts differing by at least two, every ratio independent of $q$ is a power of $t$. We classify the nonnegative ratios under addition of maximal rows and columns of fixed height. For rows of length at least two, the classification is equivalent to rectangular complementation. For arbitrary initial partitions, the generating polynomials of successive row ratios at the smallest number of variables admissible for all stages have simple negative real zeros with lower bounds for the ratios of consecutive absolute zeros. We derive a reciprocity criterion, bounds for gamma coefficients, and the corresponding Jack limit. For generalized staircases, we determine shortest horizontal and conjugate vertical strip sequences and obtain terminating basic hypergeometric representations.

We introduce a $q$-analogue of the bicolored Eulerian quasisymmetric functions by incorporating an additional grading arising from affine length, obtained by interpreting bicolored permutations as affine permutations. We also provide an intrinsic description of this refinement in terms of bicolored permutations by introducing notions of alignments and crossings, together with an explicit bijection identifying these statistics with the alignments and crossings in the existing literature. Finally, we prove that our refinement is symmetric by expressing it in terms of the Theta operators appearing in the Theta coinvariant Conjecture and the modified Macdonald symmetric functions. Assuming the Theta coinvariant conjecture implies the Schur-positivity of our refinement.

In this paper, we derive new combinatorial formulas for symmetric Macdonald polynomials $P_λ(X;q,t)$ and non-symmetric Macdonald polynomials $E_γ(X;q,t)$, in terms of several new statistics and the major index, for a partition $λ$ and a weak composition $γ$. Compared to previous formulas, these new formulas contain the fewest terms and lead to explicit $(q,t)$-formulas for the coefficients in the monomial expansion of $P_λ(X;q,t)$. In particular, the combinatorial formula for $E_γ(X;q,t)$ extends the one for $E_λ(X;q,t)$ indexed by a partition $λ$, due to Corteel, Mandelshtam and Williams (2022). Three existing formulas for $P_λ(X;q,t)$ established by Corteel, Mandelshtam and Williams (2022), by Corteel, Haglund, Mandelshtam, Mason and Williams (2022), and by Mandelshtam (2025) are recovered. Our proof relies on two new statistics on super fillings, employing the superization formulas of Haglund--Haiman--Loehr (2005) and Ayyer--Mandelshtam--Martin (2023), together with our recent approach to modified Macdonald polynomials.

We discover a family $A$ of statistics on fillings of any given Young diagram and prove new combinatorial formulas for modified Macdonald polynomials, that is, $$\widetilde{H}_λ(X;q,t)=\sum_{σ\in T(λ)}x^σt^{maj(σ)}q^{η(σ)}$$ for each statistic $η\in A$. Building upon this new formula, we establish four compact formulas for the modified Macdonald polynomials, namely, $$\widetilde{H}_λ(X;q,t)=\sum_σd_{\varepsilon}(σ)x^σt^{maj(σ)}q^{η(σ)},$$ which are summed over all canonical or dual canonical fillings of a Young diagram, where $d_{\varepsilon}(σ)$ is a product of $q$-multinomials. Finally, the compact formulas enable us to derive four explicit expressions for the monomial expansion of modified Macdonald polynomials, one of which coincides with the formula due to Garbali and Wheeler (2020), obtained by making extensive use of the Yang-Baxter integrability approach.

We study the Lax operator for Macdonald symmetric functions introduced by Nazarov and Sklyanin in 2015, extending the spectral theory developed by Mickler-Moll in the Jack case. We extend the NS operator to a Lax operator acting on symmetric functions with coefficients in polynomials in an auxiliary variable, and prove it has an orthogonal eigenbasis indexed by partitions and their addable corners, with the corner contents as eigenvalues, and leading terms given by Macdonald symmetric functions. We obtain the Macdonald analogue of the author's earlier Jack box-sum identity for Littlewood-Richardson coefficients. We then strengthen this box-sum identity to a two-parameter formula, proved using a finite-rank product formula of Warnaar. Its residues give explicit linear relations among Macdonald Littlewood-Richardson coefficients.

Majorization inequalities for symmetric polynomials have interested mathematicians for centuries, from the AM-GM inequality for two variables going back at least to Baudhāyana's Śulbasūtra and Euclid's Elements in the first millenium BCE, through classical results of Newton, Muirhead and Gantmacher, to more recent extensions to Schur polynomials and zonal spherical functions. These have been established case by case, with no unified approach. Although it is known that majorization inequalities follow from symmetry and convexity in the indexing partition, the difficulty of proving convexity in specific cases has left a number of outstanding conjectures inaccessible until now. The key insight of this paper is that log-convexity provides a more versatile tool and a unifying principle. It implies convexity and hence majorization, and it is preserved under multiplication and weighted averaging, making it well suited to inductive arguments in a wide range of settings. Using this idea, we prove new majorization inequalities for Macdonald polynomials, Jack polynomials and Heckman-Opdam hypergeometric functions, unifying existing results and resolving several open conjectures.

We establish a substantial part of the categorification framework for $k$-Schur functions proposed in Chen's Ph.D.\ thesis, written under the supervision of Mark Haiman. More precisely, we realize $k$-Schur functions as the graded characters of a distinguished family of objects in a certain module category and establish module-theoretic analogues of several foundational properties of $k$-Schur functions. A final part of Chen's framework predicts a homological characterization of modules admitting filtrations by these distinguished objects; we establish this characterization under an additional combinatorial hypothesis. In addition, we unconditionally prove that modules arising in this framework admit filtrations whose subquotients are affine Demazure modules of level $k$. As a consequence, modified Macdonald polynomials expand positively in the characters of affine Demazure modules. This may be viewed as a homological refinement of Macdonald positivity, arising from an intrinsic $\mathrm{ext}$-orthogonality condition on the corresponding Garsia--Haiman modules. We also prove the combinatorial hypothesis for $m \le 2k$ in the appendix and verify it computationally for $m\leq 19$, yielding $k$-Schur positivity of modified Macdonald polynomials in these cases. Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, a class encompassing both $k$-Schur and Hall--Littlewood functions.

We resolve a conjecture on the law of large numbers for coherent measures on Young diagrams associated with Macdonald-nonnegative specializations of the algebra of symmetric functions for all $0\le q,t<1$. We prove that row and column lengths divided by the diagram size converge to the corresponding specialization parameters. The proof combines a monomial estimate for skew Macdonald polynomials with exponential tilting and binomial decompositions obtained from the branching rule for the polynomials.

In a preceding article, we introduced stable symmetric series encoding simultaneously the normalized conjugacy classes of all symmetric groups. The same rational series remain stable for the Jack-deformed Goulden--Jackson product. We investigate their two-parameter Macdonald analogue. Starting from the $(q,t)$-deformed class product (dual to the coproduct diagonal on the $J$-basis), we construct the unique infinite series whose multiplication realizes any shifted Macdonald eigenvalue. In contrast with the classical and Jack cases, this transform is no longer multiplication by a fixed explicit series. We identify it with a composition of a Cauchy multiplication, the integral nabla operator, and a simple diagonal operator. We then determine the series realizing the Nazarov--Sklyanin operators $A^{(k)}$, derive a single generating series for all column partitions, and compare our construction with the Macdonald characters and Theta operators of Ben Dali and D'Adderio.

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.

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

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.

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.

It is well known that the $q$-Whittaker polynomials, which are $t=0$ specializations of the Macdonald polynomials $P_λ(X;q,t)$, expand positively as the sum of Schur polynomials. Macdonald polynomials have a quasisymmetric refinement: the quasisymmetric Macdonald polynomials $G_γ(X;q,t)$, and a nonsymmetric refinement: the ASEP polynomials $f_α(X;q,t)$. We study the $t=0$ specializations of both these families of polynomials and show analogous properties: the quasisymmetric Macdonald polynomials expand positively as a sum of quasisymmetric Schur functions, $\text{QS}_γ(X)$, and the ASEP polynomials expand positively as a sum of Demazure atoms, $\mathcal{A}_α(X)$. As a corollary of the latter, we prove more generally that any permuted basement Macdonald polynomial has a positive expansion in the Demazure atoms at $t=0$. We give a description of the structure coefficients of $G_γ(X;q,0)$ and $f_α(X;q,0)$ in both cases in terms of the charge statistic on a restricted set of semistandard tableaux.

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.

$q,t$-deformed matrix models give rise to representations of the deformed Virasoro algebra and more generally of the quantum toroidal $\mathfrak{gl}_1$ algebra. These representations are described in terms of finite difference equations that induce recursion relations for correlation functions. Under suitable assumptions, these recursions admit unique solutions expressible through "superintegrability" formulas, i.e. explicit closed formulas for averages of Macdonald polynomials. In this paper, we discuss examples arising from localization of 3d $\mathcal{N}=2$ theories, which include $q,t$-deformation of well known classical ensembles: Gaussian, Laguerre and Jacobi. We explain how relations in the quantum toroidal algebra can be used to give a new and universal proof of the known superintegrability formulas, as well as to derive new formulas for models that have not been previously studied in the literature. Finally, we make some remarks regarding the relation between superintegrability and orthogonal polynomials.