Open Research Index

On the $2$-adic valuation of $σ_k(n)$

Kaimin Cheng, Ke Zhang

arXivarxiv/2603.11979Mar 12, 2026math.NTscore 0

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…

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