[論文レビュー] The Church-Turing thesis as a guiding principle for physics

Karl Svozil|ArXiv.org|Oct 22, 1997

Computability, Logic, AI Algorithms参考文献 43被引用数 34

ひとこと要約

この論文は、物理学における基礎的原則としてのチューリング・チャーチの thesis を探求し、物理法則が計算可能性を制限するとする仮説を提示する。無限の計算を有限時間に収める『ゼノン圧縮』時間サイクルの可能性を検討し、停止問題のような非計算可能問題を解けるようにし、可逆的（一対一）計算の役割を検討する。測定の不可逆性が根本的な物理法則ではなく、実用的制限の結果である可能性を示唆する。

ABSTRACT

Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of one-to-one computation, that is, the bijective (unique and reversible) evolution of computations and its relation to the measurement process.

研究の動機と目的

• チューリング・チャーチの thesis が数学的仮説としてだけでなく、計算を制限する物理的原理として見なされるべきかどうかを調査すること。
• ゼノンの逆説にインspiredされた時間圧縮サイクルを用いた、有限時間に無限の計算を実行する物理的妥当性を分析すること。
• 量子測定と測定結果の見かけ上の不可逆性との関係において、一対一（全単射）計算の役割を検討すること。
• 測定の不可逆性が根本的であるという仮定に反論し、それが物理法則ではなく実用的制限に起因する可能性を主張すること。

提案手法

• 幾何級数的サイクル時間の理論的『ゼノン圧縮オラクル』マシンを構築し、計算ステップを圧縮することで、外部時間に対して有限の時間内に無限のステップを完了させる。
• 2つの時間スケールを用いる：内部的離散サイクル時間（t = 0,1,2,...）と固有時間τ。τはtの増加に伴い無限大に近づき、物理的時間内で無限の計算が可能になる。
• 停止問題のような非計算可能な問題を解くためにモデルを適用し、有限時間内にチャイチンのΩ（アルゴリズム的ランダム数）を生成する。
• 置換行列（例：6×6行列U）による可逆的オートマトンを分析し、測定結果が情報抽出のタイミングとインターフェースに依存することを示す。
• 測定を情報がシステムに記憶されるプロセスとしてモデル化。逆転を防ぐために情報の不可逆的消失が必要であり、これは不可逆性が本質的ではなく、操作的であることを示唆する。
• 特にシュレーディンガーの「期待値のリスト」との類似性を示し、情報が保存されていれば波動関数の崩壊が原理的に可逆である可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 物理的システムは有限時間に無限の計算を実行できるか？ もしそうなら、どのような条件下で？
• RQ2 チューリング・チャーチの thesis は物理的原理として成立するのか、それとも物理法則がハイパーコンピュテーションを許容するのか？
• RQ3 量子力学的および計算的測定における見かけ上の不可逆性は、根本的特徴であるのか、それとも情報損失の結果であるのか？
• RQ4 計算における一対一（全単射）的進化と測定プロセス、情報構造との関係は何か？
• RQ5 時間圧縮計算を用いた物理的システムにより、チャイチンのΩのような非計算可能な関数は有限時間内に生成可能か？

主な発見

• ゼノン圧縮オラクルマシンは、有限の固有時間内に無限の計算ステップを実行でき、停止問題を解ける。
• チャイチンのΩはアルゴリズム的にランダムで非計算可能であるが、このようなマシンを用いることで有限時間内に生成可能であり、物理的ハイパーコンピュテーションを示す。
• 置換行列（例：6×6行列U）による可逆的計算は、測定結果が動的不可逆性ではなく、情報抽出のタイミングとインターフェースに依存することを示す。
• 可逆的システムにおける測定結果の論理的構造は、非ブール的（非分配的）である可能性があり、MO₂と同型である場合もあり、これは全単射的進化においても非古典的特徴を示す。
• 測定の不可逆性は根本的ではなく、情報消去や損失の結果である可能性があり、量子状態の再構成が理論的に可能であることを示唆する。
• 一対一の可逆的宇宙において、すべての計算と測定は、保存された「メッセージ」の置換として見なせる。これは、量子力学の一部の形而上的解釈と整合的である。