[論文レビュー] The Collatz 3n+1 Conjecture is Unprovable

Craig Alan Feinstein|arXiv (Cornell University)|Dec 16, 2003

Benford’s Law and Fraud Detection参考文献 4被引用数 5

ひとこと要約

この論文は、任意の証明が2の剰余に関する指数的複雑なパターン系列を明示する必要があるため、その系列がアルゴリズム的ランダム性を示すため、有限長の証明に圧縮できないことから、コラッツの3n+1予想は形式的に証明不能であると主張している。主な結果は、背理法による証明であり、有限の証明がその中に含むビット数よりも多くのビットを要するため、証明が存在しえないことを示している。これは、予想が真であるが、形式的体系内では証明できないことを示唆している。

ABSTRACT

In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.

研究の動機と目的

• 強い経験的・ヒューリスティック的証拠があるにもかかわらず、コラッツの3n+1予想が形式的に証明できないことを示すこと。
• アルゴリズム的ランダム性と数論における証明不能性との間に関係を確立すること。
• 数列における確率的またはランダムに似た振る舞いに依存する命題が、真であるが証明不能である可能性を形式化すること。
• フレーマー・ダイソンの哲学的洞察を拡張し、コラッツ予想についての証明不能性を厳密に証明すること。

提案手法

• アルゴリズム的情報理論によるランダムネスの定義：長さkの2進ベクトルが、その長さ未満のビット数に圧縮できない場合、ランダムとみなす。
• 定理1を用いて、任意の長さkの2進系列が、あるnについてT(n)の最初のk反復の2の剰余ベクトル（mod 2）として実現可能であることを示す。
• 定理2を用いて、T^(k)(n) = 1の証明が、(n, T(n), ..., T^(k-1)(n)) mod 2の完全な2の剰余系列を含まなければならないことを証明する。
• 仮定された証明長Lを用いて、長さL+1のランダムな2の剰余ベクトルを構成し、証明に利用可能なビット数を超える必要がある反例を生成する。
• 背理法により、必要な2の剰余系列を指定するにはL+1ビットが必要であり、Lビットの証明では不足していることから、有限証明の存在を否定する。
• T^(k)(n) = λ_k(n)n + ρ_k(n)という式を用い、関数の出力が2の剰余系列に依存することを形式化する。

実験結果

リサーチクエスチョン

• RQ1 コラッツの3n+1予想は、有限の公理的体系内で形式的に証明可能か？
• RQ2 コラッツ反復における2の剰余系列のアルゴリズム的ランダム性は、有限の形式的証明をどの程度妨げるか？
• RQ3 確率的ヒューリスティクスと数論における証明不能性との間に、形式的な関係は存在するか？
• RQ4 その背後にあるデータが圧縮不能であるため、ある命題が非常に確率的であると同時に形式的に証明不能であることは可能か？

主な発見

• コラッツの3n+1予想の形式的証明は、Lを証明長とするとき、少なくともLビットを含まなければならない。
• ある自然数nが存在し、(n, T(n), ..., T^(L)(n)) mod 2の2の剰余系列はアルゴリズム的にランダムであり、指定するにはL+1ビットが必要である。
• 証明がT^(k)(n) = 1（あるk > L）を検証するには、このL+1ビットのランダム系列を指定しなければならないため、Lビットの証明では成立しない。
• 確率的ヒューリスティクスにより予想はおそらく真であるが、必要な2の剰余データの圧縮不能な複雑性を有限証明が捉えられないため、真であることを形式的に確立できない。
• 証明不能性の証明は、長さL+1の2進ベクトルの少なくとも半分がアルゴリズム的にランダムであるという事実に依拠しており、このような反例が存在することを保証する。
• この結果は、コラッツ予想が、真であるが形式的に証明不能な命題の例であることを示唆しており、ゲーデルの不完全性定理とダイソンの哲学的直観と整合的である。