{"id":"arxiv/2604.25394","url":"https://arxiv.org/abs/2604.25394","tags":["math.NT","math.CO"],"score":0,"title":"Congruences via Partitions with Exactly Two Part Sizes","domain":"math.NT","source":"arxiv","authors":["Sittinon Jirattikansakul","Teeradej Kittipassorn","Kraiwich Kongsiri","Nitipon Moonwichit","Kirati Sriamorn"],"reviews":0,"subject":"math.NT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}