[論文レビュー] A Partial Proof of a Conjecture of Dris

P. W. F. Brown|arXiv (Cornell University)|Feb 4, 2016

Analytic Number Theory Research参考文献 7被引用数 5

ひとこと要約

本稿は、オイラー形式 $ N = q^k n^2 $ における奇数の完全数 $ N $ に対して、Drisの予想 $ q^k < n $ の部分的証明を提供する。除数和の性質と素因数分解構造に基づくケース解析を用いて、著者は $ q < n $ を条件なしで証明し、$ \sigma(q^k) $ および $ \sigma(p_i^{2b_i}) $ の指数と可除性に関する特定の条件下で $ q^k < n $ を確立する。

ABSTRACT

Euler showed that if an odd perfect number $N$ exists, it must consist of two parts $N=q^k n^2$, with $q$ prime, $q \equiv k \equiv 1 \pmod{4}$, and gcd$(q,n)=1$. Dris conjectured that $q^k &lt; n$. We first show that $q

研究の動機と目的

• すべての奇数の完全数 $ N = q^k n^2 $ に対して $ q < n $ を確立すること。これは、より良い上限を得るための先行研究の拡張である。
• まだ完全に証明されていないが、Drisの予想 $ q^k < n $ が特定の構造的仮定の下で成り立つことを調査すること。
• 特殊素数 $ q $ と $ n^2 $ の構造が、$ q^k $ と $ n $ の大きさの相対関係を制約する役割を分析すること。
• Acquaah と Konyagin の手法を $ k > 1 $ の場合に拡張し、$ q^k < n $ を満たすための制限要因と必要な条件を同定すること。
• 非特殊素数 $ p $ に対して $ p < w $、$ p^b < w $、または $ p^{2b} < w $ が成り立つかどうかを検討し、今後の研究の方向性を示唆すること。

提案手法

• $ q \equiv k \equiv 1 \pmod{4} $、$ \gcd(q, n) = 1 $、$ \sigma(N) = 2N $ を満たすオイラー形式 $ N = q^k n^2 $ を使用する。
• 特に $ \gcd(a,b)=1 $ のとき $ \sigma(ab) = \sigma(a)\sigma(b) $ となるような除数関数 $ \sigma $ の乗法的性質を適用する。
• $ p^{2b} > \frac{2}{3}\sigma(p^{2b}) $ および $ \sigma(p^{2b}) \equiv 1 \pmod{p} $ などの不等式を用いて、除数和の上限を導く。
• $ \sigma(p_i^{2b_i}) $ と $ \sigma(q^k) $ の $ p $-進付値 $ p^{c_i} \parallel \sigma(p_i^{2b_i}) $ および $ p^{c_{iq}} \parallel \sigma(q^k) $ を分析し、$ \sigma(w^2) $ の下限を得る。
• 合同算術を用いて、$ p \mid \sigma(q) $ のとき $ u \equiv -1 \pmod{p} $ かつ $ u \geq 2p - 1 $ を導出し、サイズ推定を可能にする。
• Nielsen の結果（$ n $ は少なくとも 8 個の異なる素因数を持つ）を応用し、未考慮の素因数の積の推定を用いて境界を強化する。

実験結果

リサーチクエスチョン

• RQ1 すべての奇数の完全数に対して、$ k $ の値に関係なく $ q < n $ が成り立つか？
• RQ2 $ k > 1 $ のとき、Drisの予想 $ q^k < n $ が成り立つ条件は何か？
• RQ3 $ k = 1 $ の場合に用いられた手法を $ k > 1 $ に拡張できるか。その際の主な障害は何か？
• RQ4 $ \sigma(q^k) $ および $ \sigma(p_i^{2b_i}) $ の $ p $-進付値が、$ q^k $ と $ n $ の大きさの相対関係をどのように制約するか？
• RQ5 非特殊素数 $ p $ に対して、不等式 $ q^k < n $ を $ p^{2b} < w $ などの他の成分に一般化することは可能か？

主な発見

• 本稿は、すべての奇数の完全数 $ N = q^k n^2 $ に対して、$ q < n $ を条件なしで証明しており、$ q < \sqrt{3}n $ といった先行の境界を改善する。
• $ k = 1 $ の場合、著者は Acquaah と Konyagin の議論の洗練版を用いて $ q < n $ を確立し、$ p \nmid \sigma(q) $ および $ p \mid \sigma(q) $ のケースを活用する。
• $ k > 1 $ の場合、すべての $ i $ に対して $ p_i \nmid \sigma(q^k) $ であり、かつ $ p_i $ が $ \sigma(p_i^{2b_i}) $ を割り切るという仮定の下で、$ q^k < n $ が成り立つことを示す。
• $ s = 1 $ かつ $ p_1 \mid \sigma(q^k) $ のとき、$ c_{1q} \leq 2 $ であれば Dris の予想が成り立つ。ここで $ c_{1q} $ は $ \sigma(q^k) $ の $ p_1 $-進付値を表す。
• $ s > 1 $ の場合、$ \prod_{i=1}^s p_i^{c_i} \geq 7 \prod_{i=1}^s p_i^{c_{iq}} $ が成り立つと、$ q^k < n $ が成立する。ここで $ c_i $ および $ c_{iq} $ はそれぞれ $ \sigma(p_i^{2b_i}) $ および $ \sigma(q^k) $ の $ p_i $-進付値を表す。
• 本稿は、$ k > 1 $ の場合、特に $ \sigma(q^k) $ が $ q $ に関して線形でないとき、$ (p-1)u $ の有用な下限を導けないため、手法が Dris の予想を完全に証明できないと同定する。