[論文レビュー] On the $2$-adic valuation of $σ_k(n)$

Kaimin Cheng, Ke Zhang|arXiv (Cornell University)|Mar 12, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

この論文は σ_k(n) の 2 進法 valuation ν_2(σ_k(n)) を改善し、n の素因数分解に基づく正確な公式を与え、k の奇偶を区別する。等号成立は、k が奇ならモース primes の積、または k が偶なら n=3 に結びつく。

ABSTRACT

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 ceil, & ext{if $k$ is odd},\\[1mm] \lfloor \log_2 n floor, & ext{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 primes; if $k$ is even, then equality holds if and only if $n=3$. We also obtain an explicit formula for $ν_2(σ_k(n))$ in terms of the prime factorization of $n$.

研究の動機と目的

• 全ての n ≥ 2 および整数 k ≥ 1 に対する ν_2(σ_k(n)) の検討。
• 特に 2進法の場合の先行一般 p-アド界値を改善（p=2）する。
• n の素因数分解に基づく ν_2(σ_k(n)) の明示的公式を提供する。
• 等号が界値と等しくなる精密条件を特定する（奇 vs 偶）。

提案手法

• σ_k の乗法性を利用して素冪へ簡約する。
• 奇素数 p について、冪のリフティング・エクスポーネント類似の補題（A^m−1 公式）を用いて ν_2(σ_k(p^α)) を導出する。
• 2 乗部分を別途扱い、ν_2(σ_k(2^a)) = 0 を示す。
• 乗法性により、α_i が奇である奇素数冪の和として ν_2(σ_k(n)) を得る。
• 奇・偶の k で結果を分け、簡潔な界を得る。
• 等号性を検討し、ログ基数 2 による n の大きさと比較して鋭さを証明する。

実験結果

リサーチクエスチョン

• RQ1 n の素因数分解に基づく ν_2(σ_k(n)) の正確な値はいくつか。
• RQ2 k の奇偶性は ν_2(σ_k(n)) の上界と等号の場合にどう影響するか。
• RQ3 等号が成立する条件は何か（奇の場合は異なるモース素数の積、偶の場合は n=3 か）。

主な発見

• ν_2(σ_k(n)) = sum over i with α_i odd of (ν_2(α_i+1) + ν_2(p_i^k+1) − 1) for n = 2^a ∏ p_i^α_i.
• 奇 k のとき、ν_2(p^k+1) = ν_2(p+1) なので ν_2(σ_k(p^α)) = 0 は α 偶数、または ν_2(α+1) + ν_2(p+1) − 1 ならば α 奇。
• 偶 k のとき、ν_2(p^k+1) = 1 なので ν_2(σ_k(p^α)) = 0 は α 偶数、または ν_2(α+1) ならば α 奇。
• よって k 偶数のとき ν_2(σ_k(n)) ≤ ⌊log_2 n⌋（n ≥ 2）で、等号は n = 3 のみ。
• k 奇の場合は ν_2(σ_k(n)) ≤ ⌈log_2 n⌉（n ≥ 2）で、等号は n が異なるモース素数の積ときのみ成立。
• 結果は明示的な式を提供し、すべての場合に界の鋭さを確認する。