{"id":"arxiv/2610.25248","url":"https://arxiv.org/abs/2610.25248","tags":["math.NT"],"score":0,"title":"Lucas' Theorem modulo $p^n$ via Harmonic sums","domain":"math.NT","source":"arxiv","authors":["Suneel Kumar"],"reviews":0,"subject":"math.NT","summary":"Lucas' theorem states that for a prime $p$, integers $a,b\\geq0$ and $0\\leq r,s\\leq p-1$, one has $\\binom{pa+r}{pb+s}\\equiv\\binom{a}{b}\\binom{r}{s}\\bmod p$. Let $D(p^n)$ be the set of pairs $(r,s)$ with $s\\leq r$ for which this congruence holds modulo $p^n$ for all $a,b\\geq0$. Rowland characterized $D(p^2)$ in terms of harmonic sums and symmetries of Pascal's triangle. For $n<p$, we give a criterion for a point $(r,s)$ to lie in $D(p^n)$ in terms of generalized harmonic sums of order at most $n-1$. We show that $D(p^n)$ is invariant under the reflection $(r,s)\\mapsto(r,r-s)$ and the rotation…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}