Cyclic Sieving of Multisets with Bounded Multiplicity and the Frobenius Coin Problem

The two subjects in the title are related via the specialization of symmetric polynomials at roots of unity. Let f(z₁,…,zₙ)∈ Z[z₁,…,zₙ] be a symmetric polynomial with integer coefficients and let ω be a primitive dth root of unity. If $d|n$ or $d|(n-1)$ then we have f(1,ω,…,ωⁿ⁻¹)∈ Z. If $d|n$ then of course we have f(ω,ω²,…,ωⁿ)=f(1,ω,…,ωⁿ⁻¹)∈ Z, but when $d|(n+1)$ we also have f(ω,ω²,…,ωⁿ)∈ Z. We investigate these three families of integers in the case f=hₖ⁽ᵇ⁾, where hₖ⁽ᵇ⁾ is the coefficient of tᵏ in the generating function ∏ᵢ₌₁ⁿ (1+zᵢt+⋯+(zᵢt)ᵇ⁻¹). These polynomials were previously considered by several authors. They interpolate between the elementary symmetric polynomials ($b=2$) and the complete homogeneous symmetric polynomials (b→∞). When (b,d)=1 with $d|n$ or $d|(n-1)$ we find that the integers hₖ⁽ᵇ⁾(1,ω,…,ωⁿ⁻¹) are related to cyclic sieving of multisets with multiplicities bounded above by b, generalizing the well-known cyclic sieving results for sets ($b=2$) and multisets (b→ ∞). When (b,d)=1 and $d|(n+1)$ we find that the integers hₖ⁽ᵇ⁾(ω,ω²,…,ωⁿ) are related to the Frobenius coin problem with two coins. The case (b,d)≠ 1 is more complicated. At the end of the paper we combine these results with the expansion of hₖ⁽ᵇ⁾ in various bases of the ring of symmetric polynomials.