Schur positivity of multi-parameter Macdonald polynomials
Prove that the coefficients of the multi-parameter Macdonald polynomials H_mu(q, t_1, ..., t_{r-1}) and their tilde versions \widetilde{H}_mu(q, t_1, ..., t_{r-1}) in the Schur basis are polynomials with nonnegative integer coefficients.
References
The coefficients of H_\mu(q,{\bf t}) (or \tilde H_\mu(q,{\bf t})) on the Schur basis are polynomials with nonnegative integer coefficients.
The $m$-symmetric Schur functions $s_\Lambda(x;t)$ that we study here were introduced in for the sake of the following conjecture. Let $J_\Lambda(x;q,t)$ be the integral form of $P_\Lambda(x;q,t)$, and extend to $R_m$ the plethysm $X \mapsto X/(1-t)$ relevant to Macdonald polynomials. The $m$-symmetric Macdonald positivity conjecture then asserts that
J_\Lambda\left[\frac{X}{1-t};q,t \right]= \sum_{\Omega} K_{\Omega \Lambda}(q,t) \, s_\Omega(x;t),
with $K_{\Omega \Lambda}(q,t) \in \mathbb N[q,t]$.