On odd perfect numbers with exactly one even exponent greater than 2

技術的要約：正確に1つの2より大きい偶数指数を持つ奇数完全数について

問題設定
本論文は、「制約された（restrained）」奇数完全数（OPN）の存在と性質を調査している。OPNとは、$\sigma(N) = 2N$を満たす奇数$N$である（ここで$\sigma$は約数の和関数である）。オイラーは、任意のOPNが$N = p^e m^2$という形をとることを確立した。ここで、$p$は特殊素数であり、$p \equiv e \equiv 1 \pmod 4$を満たし、$p \nmid m$である。

McDanielは、$m$が平方フリー（square-free）ではあり得ないことを以前に示しており、これは$N$の素因数分解において少なくとも1つの偶数指数が4以上でなければならないことを意味する。著者らは、もしそのような指数がちょうど1つだけ存在するならば、そのOPNを**制約された（restrained）**と定義する。$n^q$を、$n \neq p$かつ$q \ge 4$である唯一の成分とする。このとき、$n$を「注目される素数（notable prime）」、$q$を「注目される指数（notable exponent）」と呼ぶ。本研究の主な目的は、制約されたOPNが存在すると仮定した場合の$q$の下限を確立することである。

手法
著者らは、数論的補題、計算的篩（ふるい）、および豊富度（abundancy）解析を組み合わせて用いる。

1. 構造的補題:

   • 剰余の制約: 論文では、素数の値を制約するために、乗法的位数（$\text{ord}_s(n)$）および二次剰余の性質を利用している。例えば、補題6は、特殊素数$p$が$p \equiv 1 \pmod 3$を満たさなければならないことを証明している。
   • 除数規則: 補題4および補題5は、次数のパリティと異なる素数の関係に基づき、素数$s$が$\sigma(n^q)$または$\sigma(t^v)$をどのように割り切るかについての条件を確立している。
   • 解の排除: BennettとLevinから導かれた補題3は、素数$z, r$および$t > 1$に対して$z^2 + z + 1 = r^t$となる解が存在しないことを断言している。これは、$\sigma(s^2)$が単一の素数の累乗となるような素数$s$の数を制限するために用いられる。

2. 素数3に関するケース分析:
   本定理の証明は、$N$における素数3の指数に関する3つの網羅的なケースに分割される：

   • ケース1：3が因子ではない場合。 3が$N$を割り切らない場合、豊富度指数$\sigma(N)/N$が2に達しないことを著者らは示す。これは、「通常の」成分（指数が2の素数）と「特異な」成分の寄与を、ファクターツリーの手法と小素数の計算的検証を用いて境界付けることで達成される。
   • ケース2：3が通常（ordinary）である場合（$3^2 \parallel N$）。 $3^2$の成分から導かれたファクターツリーを用いて、著者らは候補となる注目される素数（$n$）を集合 $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$ から系統的に排除する。各候補$n$について、結果として生じる要求される素因数の構成が、豊富度を厳密に2未満にするか、あるいは矛盾（例：3のコピーを2つ以上必要とする）を生じさせることを示す。
   • ケース3：3が注目される（notable）場合（$3^q \parallel N$）。 これが唯一残された実行可能なケースである。ここでは、焦点は$q$の下限を導出することに移る。

3. 計算的篩（Computational Sieving）:
   3が注目されるケースを扱うために、著者らは通常の素数を篩い分けるためのC++/GMPプログラム（loopless.cpp）を利用する。このアルゴリズムは、通常ではあり得ない素数の集合（$M_1$）、および$N$を割り切ることができない$1 \pmod 3$に合同な素数の集合（$M_2$）を維持する。プログラムは、通常の成分からの最大可能たる豊富度の寄与を計算しながら、素数を反復処理する。

主要な結果

• 定理1: もし$N$が制約された奇数完全数であるならば、注目される素数$n$は3でなければならず、注目される指数$q$は$q \ge 23,000,000,000$を満たさなければならない。
• 境界の改善: この結果は、以前のモジュラー制約（$q \not\equiv 2 \pmod 3$、$q \neq 4, 6, 10, 12$）の組み合わせから導かれた既知の境界$q \ge 16$を大幅に改善している。
• $n=3$への帰着: 本論文は、もし制約されたOPNが存在するならば、注目される素数は必ず3であることを証明している。他のすべての候補となる注目される素数は、豊富度の矛盾によって排除される。
• 下限の導出: 特殊な成分と注目される成分（$3^q$）の豊富度を、通常の素数の最大可能たる寄与（たとえ460億個以上の通常の素数があったとしても）と組み合わせたとき、$q$が極めて大きくならない限り2に達しないことを示すことにより、著者らは$q \ge 23,000,000,000$という境界を導き出した。

意義と主張
本論文は、制約されたOPNの存在問題が、単一の特定のケース、すなわち「注目される素数が3である」というケースに集約されることを主張している。著者らは、OPNの存在自体を完全に否定したと主張しているわけではないが、「制約された」シナリオがいかに限定的であるかを示している。

著者らは、より高度な篩理論の議論を用いることで、彼らの$q$の境界はさらに数桁（orders of magnitude）改善できる可能性があると控えめに述べている。しかし、3が注目されるケースを完全に排除すること（すなわち、すべてのOPNは2より大きい偶数指数を少なくとも2つ持たなければならないことを証明すること）には、「新しいアイデア」が必要であると強調している。

本論文は、素数$x$の$\sigma(x^2)$の構造に関する2つの未解決問題を提示して締めくくられている：

1. $x^2 + x + 1$が平方フル（square-full）となるような素数$x$が存在するか。
2. $x^2 + x + 1 = p^a r$ かつ $y^2 + y + 1 = p^b r$ となる素数 $x, y, p, r$ および整数 $a > b > 0$ が存在するか。

これらの問いに対する否定的な回答は、OPNの因数分解における可能な指数のペアに対してよりタイトな制約を与え、より強力な非存在の結果につながる可能性がある。著者らは、さらなる研究を促進するために、彼らのプログラムとデータを提供している。