arXiv++ Combinatorics

A partition is $t$-regular if none of its parts is divisible by $t$. Let $p(N,t)$ be the number of $(t+1)$-regular partitions of a positive integer $N$. In 1971, Hagis proved an asymptotic formula for $p(N,t)$ using the circle method, when $t$ fixed. In this article, we use the saddle point method and extend the result of Hagis in different ranges of $t$, obtaining explicit bounds. We also discuss an application of our result to estimate zeros in the character table of the symmetric group.

For any two partitions $λ$ and $μ$ of a positive integer $N$, let $χ_λ(μ)$ be the value of the irreducible character of the symmetric group $S_{N}$ associated with $λ$, evaluated at the conjugacy class of elements whose cycle type is determined by $μ$. Let $Z(N)$ be the number of zeros in the character table of $S_N$, and $Z_{t}(N)$ be defined as $$ Z_{t}(N):= \#\{(λ,μ): χ_λ(μ) = 0 \; \text{with $λ$ a $t$-core}\}. $$ We prove $$ Z(N) \ge \frac{2\, p(N)^{2}}{\log N} \left( 1 + O\left(\frac{\log\log N}{\log N} \right)\right), $$ where $p(N)$ denotes the number of partitions of $N$. We also give explicit lower bounds for $Z_t(N)$ in various ranges of $t$.

By the Chinese remainder theorem, the canonical map \[Ψ_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/Φ_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $Φ_d$ is the $d$th cyclotomic polynomial. When $R$ is the ring $\mathbf{Z}$ of rational integers, this map is injective but not surjective. In this paper, we give an explicit formula for the elementary divisors of the cokernel of $Ψ_n$(when $R=\mathbb{Z}$) using the prime factorisation of $n$. We also give a pictorial algorithm using Young Tableaux that takes $O(n^{3+ε})$ bit operations for any $ε> 0$ to determine a basis of Smith vectors (see Definition 3.1) for the codomain of $Ψ_n$. In general when $R$ is an integral domain, we prove that the determinant of $Ψ: R[X]/(\prod_j f_j) \to \bigoplus_j R[X]/(f_j)$ written with respect to the standard basis is $\prod_{1 \leqslant i < j \leqslant n} \mathcal{R}(f_j, f_i)$, where $f_i$'s are pairwise relatively prime monic polynomials and $\mathcal{R}(f_j, f_i)$ is the resultant of $f_j$ and $f_i$.