[論文レビュー] Supertask Computation

Joel David Hamkins|ArXiv.org|Dec 3, 2002

Computability, Logic, AI Algorithms参考文献 5被引用数 7

ひとこと要約

この論文は、無限時間チューリング機械（ITTMs）を導入し、古典的チューリング機械を順序数的無限時間へ拡張することで、従来非計算可能とされていた関数の計算を可能にする超タスク計算のモデルを提示する。主な貢献は、ITTMsが停止問題やその他の決定不能問題を解けることを示したことであり、古典的計算可能性理論を拡張する、豊かな無限時間次数の階層が存在することを明らかにした。

ABSTRACT

Infinite time Turing machines extend the classical Turing machine concept to transfinite ordinal time, thereby providing a natural model of infinitary computability that sheds light on the power and limitations of supertask algorithms.

研究の動機と目的

• 古典的チューリング機械を順序数的無限時間へ拡張することで、無限回のステップを含む超タスク—計算を可能にする計算モデルを形式化すること。
• このようなモデルの計算能力が、古典的計算可能性の範囲外にある問題、たとえば停止問題を解けるかどうかを調査すること。
• 古典的チューリング次数に類似したが、無限時間計算を含む拡張版の無限時間次数の階層を確立すること。
• BSS機械、高階帰納的理論、量子チューリング機械などの他の無限記号計算モデルと、ITTMsモデルを比較すること。
• 無限時間計算可能性の構造に関する基礎的問題を検討すること。特に、Sacks密度定理のような古典的定理の類似が成り立つかどうか。

提案手法

• 古典的チューリング機械モデルを拡張し、極限順序数によってインデックス付けされた順序数的段階を通じて計算を進行可能にする。
• 計算中にアクセス可能な情報の特徴づけとして、3つの主要な実数クラス（書き込み可能、最終的に書き込み可能、ある極限段階で書き込み可能）を定義する。
• 計算の長さとして到達可能な順序数（時計で測れる順序数）の概念を導入し、モデルの基礎的構造を形成する。
• 古典的帰納的理論における優先度法に類似した、無限時間優先度論法を用いて、特定の要件を満たす実数の集合を構成する。
• 相対性理論的時空を用いて超タスクをシミュレートする。時間歪みを介して、移動観測者の視点から無限大の探索を有限時間で完了可能であることを示す。
• ITTMsモデルを他のモデルと比較する：BSS機械（無限精度）、高階帰納的理論（順序数帰納的）、量子チューリング機械（重ね合わせに基づく並列性）。

実験結果

リサーチクエスチョン

• RQ1 相対性理論的時空における超タスク計算（例：時間歪みを利用した計算）は、停止問題やその他の決定不能問題を解けるか？
• RQ2 無限時間チューリング次数の構造はどのようなものか？ また、古典的チューリング次数構造と比較してどう異なるか？
• RQ3 Sacks密度定理は、無限時間計算可能性の文脈でも成立するか？
• RQ4 無限時間チューリング機械は、量子チューリング機械に比べて、どの程度計算能力が優れているか？
• RQ5 書き込み可能、最終的に書き込み可能、ある段階で書き込み可能な実数のクラスは、無限時間計算の階層とどのように関係しているか？

主な発見

• 無限時間チューリング機械は、停止問題を解くことができ、超タスク計算が古典的計算可能性の限界を越えることを示している。
• このモデルは、古典的計算可能性理論を適切に拡張する豊かな無限時間次数の階層を導入している。特に、書き込み可能な実数の構造は、古典的理論の適切な拡張である。
• 長さαの計算のいかなる段階でも書き込めないが、未だに書き込み可能な非可算多数の実数が存在することを示しており、継続的に新しい情報が出現することを示している。
• このモデルは、Postの問題のバージョンを満たしている：0と停止問題の中間の次数が、無限時間次数構造に存在する。
• 無限時間次数の構造は、古典的次数理論の一部の側面（例：最小次数の存在）を模倣しているが、非可算多数の書き込み可能な実数の存在といった点で異なる。
• 量子チューリング機械は、指数的高速化を可能にするが、決定不能問題を解くことはできず、計算能力の観点では無限時間チューリング機械に厳密に劣る。