{"id":"arxiv/2603.11979","url":"https://arxiv.org/abs/2603.11979","tags":["math.NT"],"score":0,"title":"On the $2$-adic valuation of $σ_k(n)$","domain":"math.NT","source":"arxiv","authors":["Kaimin Cheng","Ke Zhang"],"reviews":0,"subject":"math.NT","summary":"For a positive integer $k$, let \\[ σ_k(n)=\\sum_{d\\mid n} d^k \\] be the divisor function of order $k$, and let $ν_p(m)$ denote the $p$-adic valuation of an integer $m$. Motivated by recent work on the $p$-adic valuation of $σ_k(n)$, we study $ν_2(σ_k(n))$ in detail. We prove that, for every integer $n\\ge 2$, \\[ ν_2(σ_k(n)) \\le \\begin{cases} \\lceil \\log_2 n \\rceil, & \\text{if $k$ is odd},\\\\[1mm] \\lfloor \\log_2 n \\rfloor, & \\text{if $k$ is even}. \\end{cases} \\] These bounds are best possible. More precisely, if $k$ is odd, then equality holds if and only if $n$ is a product of distinct Mersenne…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-12","reactions":{}}