arXiv++ Combinatorics

Bergeron, Garsia, Haiman, and Tesler conjectured that $(-1)^{n-\ell(μ)}\nabla\widetilde H_μ[X;0,t]$ and $\nablaω\widetilde H_μ[X;0,t^{-1}]$ are Schur positive, and that $\nablaω\widetilde H_μ[X;0,t^{-1}]-\nablaω\widetilde H_ν[X;0,t^{-1}]$ is Schur positive when $μ$ dominates $ν$. The first statement follows from the compositional shuffle conjecture of Haglund, Morse, and Zabrocki, proved by Carlsson and Mellit. We prove the other two statements. All three statements also hold for $\nabla^r$ with $r\geq1$. The main new step is an identity: when $μ$ covers $ν$, the difference $ω\widetilde H_μ[X;0,t^{-1}]-ω\widetilde H_ν[X;0,t^{-1}]$ is minus a power of $t$ times one LLT polynomial. Using the Catalanimals and the Cauchy identity of Blasiak, Haiman, Morse, Pun, and Seelinger, we show that $\nabla^r$ of this LLT polynomial is, up to sign, a positive sum of LLT polynomials. We also extend the main results to the Schiffmann algebra setting.

For positive integers $k,m,n$ with $\gcd(m,n)=1$, we prove a $(km,kn)$-square paths theorem: the symmetric function $(-1)^{k-1}\frac{[km]_q}{[k]_q}p_k[-MX^{m,n}]\cdot1$ is a weighted sum over $(km,kn)$-preference functions. This proves a corrected form of the conjecture of Iraci, Pagaria, Paolini, and Vanden Wyngaerd and generalizes the square paths theorem of Sergel. We encode preference functions by row strict tableaux and closed walks on a set of states, compare them with parking functions for each value of the touch statistic, and apply Mellit's compositional $(km,kn)$-shuffle theorem. Finally, we establish a fall Delta square theorem conjectured by Iraci, Pagaria, and Paolini.

Bergeron, Garsia, Haiman and Tesler conjectured in 1999 that, for all partitions $μ,λ\vdash n$, the polynomial $(-1)^{|μ|-\ell(μ)}\langle \nabla m_μ, s_λ\rangle$ has nonnegative integer coefficients, where $\nabla$ is the Bergeron--Garsia nabla operator, which acts diagonally on the modified Macdonald basis, and $m_μ$ is the monomial symmetric function. In this article, we prove this conjecture, and more generally that $(-1)^{|μ|-\ell(μ)}\langle\nabla^r m_μ,s_λ\rangle\in\mathbb{N}[q,t]$ for all $r\geq 1$. We establish a recursion showing that $(-1)^{|μ|-\ell(μ)}m_μ$ has an expansion with coefficients in $\mathbb{Q}_{\geq 0}[q]$ in the symmetric functions $C_α(1)$, where $C_a$ denotes the operator introduced by Haglund, Morse and Zabrocki. Combining this expansion with the compositional shuffle theorems of Carlsson--Mellit and Mellit, and with the Schur positivity of LLT polynomials, completes the proof. The same method, using the $e$-positivity of column LLT polynomials after the substitution $q\mapsto q+1$, also gives an $e$-positive analogue.

Extending the symmetric framework of D'Adderio and Mellit, we establish a nonsymmetric generalization of the compositional Delta theorem. Building on Blasiak et al.'s theory of flagged LLT polynomials, we derive signed and unsigned nonsymmetric identities evaluated in terms of flagged LLT polynomials. Furthermore, by introducing nonsymmetric variants of the $\nabla$ and $τ^*$ operators, we obtain a novel operator formulation. We show that applying Weyl symmetrization to these nonsymmetric identities systematically recovers the original compositional Delta theorem. Finally, we propose analogous conjectures regarding stable atom positivity.