[論文レビュー] A proof of Goldbach's conjecture that all even numbers greater than four are the sum of two primes

Kent Slinker|arXiv (Cornell University)|Dec 14, 2007

Analytic Number Theory Research参考文献 1被引用数 3

ひとこと要約

この論文は、黄金の予想を証明するための、鏡像素数分布に基づく新規モデルを提示している。すべての4より大きい偶数が2つの素数の和として表せることを示している。素数に基づく構造を体系的にシフトすることで、次の素数＋1までのすべての偶数に対してゴールドバッハ分割が存在することを示しており、モデルの制約下で予想が証明される。

ABSTRACT

In this paper I introduce a model which allows one to prove Goldbachs hypothesis. The model is produced by studying Goldbach partitions as displayed by an inverted mirror image of all the primes up to some even number equal to the last prime plus three. The bottom half of the model is then moved to the right in steps of two which exhibit the Goldbach partitions for the next even number. As long as the model contains all the primes up to the resulting even number minus three, then Goldbachs hypothesis can be proven if it can be shown that each move must produce a Goldbach partition until one reaches the next prime plus one. I show that this must be the case.

研究の動機と目的

• ゴールドバッハの予想の形式的証明を提供すること。すなわち、2より大きいすべての偶数整数が2つの素数の和であるという仮説を提示すること。
• 4より大きなすべての偶数について、ゴールドバッハの仮説の妥当性に関して長年の数論の不確実性を解消すること。
• 素数分布の対称性に基づく構成的モデルを構築し、ゴールドバッハ分割の体系的な検証を可能にすること。
• モデルの構造的ダイナミクスが、連続する各偶数に対して少なくとも1つのゴールドバッハ分割が存在することを保証すること。

提案手法

• 最後の素数＋3に等しい偶数までのすべての素数の鏡像表現を構築する。
• 下部の素数鏡像を2単位ずつ右にずらすことで、次の偶数を模倣するモデルを形成する。
• 新しい偶数から3を引いた範囲までのすべての素数を保持することで、素数ペアの完全性を保つ。
• 鏡像素数レイアウトの構造的制約により、各シフト操作が少なくとも1つの有効なゴールドバッハ分割を生じることを示す。
• 段階的シフトにおけるモデルの不変性を用いて、次の素数＋1に達するまでゴールドバッハ分割が保証されることを主張する。
• モデルがすべての段階で完全性と構造を維持する限り、4より大きなすべての偶数に対して予想が成り立つと結論づける。

実験結果

リサーチクエスチョン

• RQ1 鏡像素数分布に基づく構造的モデルは、4より大きなすべての偶数が2つの素数の和であることを証明できるか？
• RQ2 素数に基づくモデルを体系的にシフトすることで、すべての偶数に対してゴールドバッハ分割の存在が保たれるか？
• RQ3 モデルが連続する各偶数に対して少なくとも1つのゴールドバッハ分割を保証する条件は何か？
• RQ4 偶数－3までの素数集合の完全性は、モデルにおけるゴールドバッハ分割の存在を保証するのに十分か？
• RQ5 ステップワイズシフトにおけるモデルの構造的不変性は、各偶数の和としての素数ペアの必然的存在的を示唆するか？

主な発見

• すべての必要な素数が含まれている限り、モデルは各偶数におけるゴールドバッハ分割が存在することを体系的に示している。
• 偶数－3までのすべての素数を含める必要性が、潜在的な素数ペアを保持するための構造的整合性を保証する。
• 下部を2単位ずつずらす各操作は、次の偶数に対応し、少なくとも1つの有効なゴールドバッハ分割を維持する。
• モデルの対称性と完全性により、どの偶数に対しても対応する素数ペアの和がないままスキップされることはない。
• モデルが次の素数＋1に達した時点で証明が完了し、それ以前のすべての偶数がカバーされたことが確認される。
• モデルの構造的ダイナミクスは、ゴールドバッハ分割が必然的かつ一貫して存在することを示唆しており、したがってモデルの枠組み内では予想が証明される。