Congruences via Partitions with Exactly Two Part Sizes

Sittinon Jirattikansakul; Teeradej Kittipassorn; Kraiwich Kongsiri; Nitipon Moonwichit; Kirati Sriamorn

Congruences via Partitions with Exactly Two Part Sizes

Sittinon Jirattikansakul, Teeradej Kittipassorn, Kraiwich Kongsiri, Nitipon Moonwichit, Kirati Sriamorn

arXivarxiv/2604.25394Apr 28, 2026math.NTscore 0

We prove the congruence $\sum_{1 \leq k < \sqrt{N}} σ_0 (N - k^2) \equiv 0 \pmod 4$, where $σ_0(m)$ denotes the number of positive divisors of $m$, for $N = An + B$ with $(A,B) \in \{ (16,14),$ $(36,30),$ $(72,42),$ $(196,70),$ $(252,114) \}$. Our proof relies on a result of Keith which states that $ν_2 (N) \equiv 0 \pmod 4$, where $ν_2(N)$ is the number of partitions of $N$ with exactly two part sizes. Inspired by Dewitt and Keith, our approach combines combinatorial arguments with modular arithmetic techniques.

Source JSON

Comments and reviews

No comments yet.

API

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