🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

本論文は、ブリルハート・レーマー・セルフリッジ判定法と分円因数分解を用いて、ワガスタフ数 $W_{2617}$ 、 $W_{10501}$ 、および $W_{12391}$ に対する完全に検証された古典的な $N-1$ 素性証明を提示し、それによって楕円曲線法や未証明の予想に依存せずにそれらの素性を確立する。

原著者： Alexey Dolotov

公開日 2026-05-19

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Alexey Dolotov

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

あなたが探偵だと想像してください。特定の、信じられないほど大きな数が本当に「素数」（1 と自分自身でしか割り切れない数）であることを証明しようとしているのです。数学の世界では、これらの数は巨大で複雑な金庫のようです。ほとんどの場合、金庫が壊せないことを証明するために、数学者はECPP（楕円曲線素性証明）と呼ばれる高度で複雑な方法を使います。これは、ロックをチェックするためにスーパーコンピュータで量子物理学の実験をシミュレーションするようなものです。機能はしますが、重く、複雑で、他の人が素早く再確認するのは困難です。

アレクセイ・ドルトフによるこの論文は、異なるアプローチを提示しています。著者は 3 つの特定の巨大な数（ワガスタフ数と呼ばれる）が素数であることを証明しますが、重い量子スタイルのツールを使う代わりに、BLS（ブリルハート・レマー・セルフリッジ）と呼ばれる古典的で「古風な」方法を使用します。

以下に、この論文が何を行っているかを簡単な比喩を使って解説します。

1. ターゲット：ワガスタフ数

ワガスタフ数を、既知の最大の素数を見つけるために使われる有名なメルセンヌ数に関連する特別な数の一族だと考えてください。それらはシンプルなレシピで定義されます：素数 $p$ を取り、 $2^p + 1$ を計算し、3 で割ります。
この論文は、この一族に属する 3 つの特定の「巨人」に焦点を当てています。

W2617（788 桁の数）
W10501（3,161 桁の数）
W12391（3,730 桁の数）

誰もがすでにこれらが素数だと疑っていましたが、その証明は重い ECPP 方法に依存していました。この論文は、「より軽量で透明な方法を使って、もう一度証明しよう」と言っています。

2. 方法：「N-1」パズル

BLS 方法はパズルのように機能します。数 $N$ が素数であることを証明するために、 $N$ までのすべての数をチェックする必要はありません。代わりに、 $N - 1$ という数を見ます。

$N - 1$ を長い鎖の連鎖だと想像してください。その鎖の大きな断片を、完全に因数分解された（つまり、その断片を構成する小さな素数が正確にわかっている）ものとして見つけられ、かつその断片が十分に大きい（具体的には $N$ の立方根より大きい）場合、数学的に数 $N$ 全体が素数であることを証明できます。

課題：これらの巨大なワガスタフ数にとって、 $N-1$ は巨大な鎖です。通常、鎖の大部分は隠れていたり、不明だったりします。
トリック：著者は、これらの数における $N-1$ が分円分解と呼ばれる特定の数学的構造から来ていることに気づきました。これは、鎖が特定の種類のリンク（ $\Phi_d(2)$ と呼ばれる）でできていることを知っているようなものです。
収穫：著者は、すでに知られているリンクを見つけるために、既存の数学データ「ライブラリ」（カニンガム・プロジェクトの表とFactorDB）にアクセスしました。残りの部分については、コンピュータアルゴリズムを使って分解しました。

3. 検証：「ゴールドスタンダード」チェック

著者が鎖の十分な大きさの断片（「因数分解された部分」）を見つけると、その断片内のすべての小さな素数リンクが実際に素数であることを証明しなければなりませんでした。

彼は推測しただけではありませんでした。彼はAPR-CLと呼ばれる厳密で壊れない方法を使って、すべての小さな素数を認定しました。
これは、壁が安全だと宣言する前に、壁のすべてのレンガに公証人のスタンプを押すようなものです。

4. 二重チェック：「魔法の鏡」

自分のコンピュータコードにバグがないことを確認するために、著者は 2 番目の独立したチェックを追加しました。

彼は 2 の平方根を含む異なる数学的システム（ $\mathbb{Z}[\sqrt{2}]$ と呼ばれる）を使用しました。
数値が素数である場合に必ず発生する特定の数学的「合同式」（パターン一致を指す洗練された表現）をチェックしました。
これは、問題を逆から解いて作業を確認するようなものです。パターンが一致すれば、数学が正しく行われたことが確認されます。

5. 結果

この論文は、W2617、W10501、およびW12391が素数であることを成功裏に証明しました。

なぜ特別なのか？これらの証明は「無条件」であり、証明されていない推測に依存していません。また、「独立」しており、他の誰もが使用する重い ECPP 方法を使っていません。
限界：著者は、この方法が数 $p-1$ が「滑らか」（つまり、小さく既知の部品に簡単に分解できる）である場合にのみ機能すると説明しています。彼は他の既知のワガスタフ候補をすべてチェックし、そのほとんどについて、鎖に巨大で壊せないリンクがあり、この特定の方法を現在使用することが不可能であることを発見しました。これら 3 つの数だけが、この方法で解けるほど「滑らか」でした。

まとめ

アレクセイ・ドルトフは、すでに素数だと信じられていた 3 つの巨大な数を取り上げ、古典的で透明性が高く、検証性の高い方法でそれらを証明しました。彼は単に「これは素数だ」と言うだけでなく、誰でも自分のコンピュータで実行して結果を検証できる、完全なステップバイステップの証明書を作成しました。これは、これらの巨人に対して通常使用されるより複雑な方法に依存しない、より「クリーン」な証明です。

技術的概要：ワグスタフ数に対する 3 つのブリルハート・レーマー・セルフリッジ素数証明

問題定義
本論文は、奇素数 $p$ に対して定義されるワグスタフ数 $W_p = (2^p + 1)/3$ の素性検証に取り組む。メルセンヌ数（ $M_p = 2^p - 1$ ）が決定的かつ単独の素性判定法（ルカス・レーマー判定法）を有するのに対し、ワグスタフ数にはこれに匹敵する決定的な判定法が存在しない。大きな指数（具体的には $p \ge 2617$ ）を持つワグスタフ数に対する既存の証明は、アトキン・モランの楕円曲線素性証明（ECPP）アルゴリズムに依存している。チェビシェフ/ルカス型の合同式（具体的にはチャウの枠組み条件 $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ）はワグスタフ素性に対する既知の必要条件であるが、その十分性は未だ仮説の域を出ない。したがって、ECPP や証明されていない仮説に依存しない、大規模なワグスタフ数に対する無条件の素数証明が必要とされている。

手法
著者は、3 つの特定のワグスタフ数 $W_{2617}$ 、 $W_{10501}$ 、および $W_{12391}$ に対する無条件の素数証明を提示する。この手法は、 $N-1$ の相当部分を完全に因数分解することを要求する、古典的なブリルハート・レーマー・セルフリッジ（BLS） $N-1$ 基準に完全に依存している。

分円分解: 証明は、 $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ の因数分解を利用する。項 $2^{p-1}-1$ は分円多項式に分解される： $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ 。
因数分解済部分（ $F$ ）: 著者は、カニングハムプロジェクトの表および FactorDB から、これらの分円因子 $\Phi_d(2)$ の既知の因数分解を収集する。取得された因子は、APR-CL（アドレマン・ポメランス・ルメリ / コーエン・レンストラ）アルゴリズムを用いて素性を再認証する。
BLS 基準の適用: 証明は、 $F^3 > N$ （ $N^{1/3}$ 閾値を超える）となるような $N-1$ の因数分解済部分 $F$ を確立する。 $F$ の各素因子 $q$ に対して、 $a_q^{N-1} \equiv 1 \pmod N$ および $\gcd(a_q^{(N-1)/q}-1, N) = 1$ を満たすフェルマー型の証人 $a_q$ を見つける。判別式 $\Delta = s^2 - 8m$ （$N = mF + s + 1$ から導出）が非平方であることを検証する。
独立した検証: $\mathbb{Z}[\sqrt{2}]$ 環における算術の実装に対する補助的なチェックとして、著者は各対象に対してチャウの合同式 $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ を検証する。これは整数のみの BLS 算術とは異なるサブストレートによるクロスチェックであるが、素性の推論には使用されない。

主要な貢献

無条件の証明: 本論文は、ECPP に依存しない、 $W_{2617}$ 、 $W_{10501}$ 、および $W_{12391}$ に対する最初の BLS ベースの素数証明を公表する。
手法の示唆: $2^{p-1}-1$ の分円分解を活用することで、ワグスタフ数への BLS $N-1$ 枠組みの適用可能性を実証する。このアプローチは、 $p-1$ が十分に滑らかであり、十分な数の分円因子の因数分解を可能にする指数に対して有効であることが示される。
監査可能性: 証明は高い監査可能性を意図して設計されている。証明書には証人と判別式チェックを含むコンパクトな JSON レコードが含まれる。検証には、ECPP が要求する複雑な楕円曲線評価を回避し、標準的なべき乗剰余と APR-CL チェックのみが必要である。
再現性: すべての計算は、オープンソースソフトウェア（Python、SymPy、PARI/GP、gmpy2）を使用して再現可能である。完全なドライバスクリプト、ログ、および証明書は Zenodo にアーカイブされている。

結果
本論文は以下の数の素性を成功裏に証明した：

$W_{2617}$ : 788 桁の数。因数分解済部分 $F$ は 22 の異なる素因子を用いて $N^{1/3}$ を 46 ビット上回っている。
$W_{10501}$ : 3,161 桁の数。因数分解済部分は 103 の異なる素因子を用いて閾値を 3,261 ビット上回っている。
$W_{12391}$ : 3,730 桁の数。因数分解済部分は 61 の異なる素因子を用いて閾値を 2,860 ビット上回っている。

各証明において、因数分解済部分 $F$ に含まれるすべての素因子は、APR-CL によって無条件に認証された。チャウの合同式は、一貫性チェックとして 3 つの数すべてに対して検証された。

意義と限界
本論文の意義は、主に監査可能性と手法の多様性の領域にある。これは、現在カールデウェル/ワグスタフプロジェクトのアーカイブに記録されている ECPP 証明とは区別される、これらの特定の数の素性に対する独立した確認を提供する。

著者は手法の範囲について控えめである。彼らは明示的に、BLS $N-1$ アプローチは $p-1$ の滑らかさによって制限されていると指摘している。 $p = 267,017$ までの既知のワグスタフ素数および疑似素数の分析により、現在の因数分解データを用いて BLS 基準に十分な大きさの因数分解済部分 $F$ を生み出す $p-1$ 構造を持つのは、 $p=10501$ と $p=12391$ （およびより小さな $p=2617$ ）のみであることが明らかになった。他の指数については、 $p-1$ に含まれる大きな素因子が、汎用因数分解では現在到達不可能な分解されていない分円成分 $\Phi_d(2)$ へとつながる。したがって、本論文はすべてのワグスタフ数に対する一般的な解決策を提案するものではなく、むしろ、特定の制約された指数のサブセットに対する厳密な非 ECCPP 証明経路を確立するものである。