Open Research Index

Lucas' Theorem modulo $p^n$ via Harmonic sums

Suneel Kumar

arXivarxiv/2610.25248Oct 18, 2026math.NTscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.25248
curl -X POST /api/v1/records/arxiv/2610.25248/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.25248/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'