A matrix generalization of a theorem of Fine

Abstract

In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$, for $m$ in the range $0\le m\le n$, that are not divisible by $p$. We give a matrix product that generalizes Fine's formula, simultaneously counting binomial coefficients with $p$-adic valuation $\alpha$ for each $\alpha \ge 0$. For each $n$ this information is naturally encoded in a polynomial generating function, and the sequence of these polynomials is $p$-regular in the sense of Allouche and Shallit. We also give a further generalization to multinomial coefficients.

9 pages; publication version