[論文レビュー] Transcending the Limits of Turing Computability

Vadim A. Adamyan, Cristian S. Calude+1 more|ArXiv.org|Apr 19, 2003

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

ひとこと要約

本稿は、量子散乱とワイナー測度論を用いて、無限商人問題（停止問題と同値な意思決定問題）を解くことで、チューリング計算不能性を超えるハイパーコンピュータの数学的実現可能性を検討する。特定の散乱パラメータ条件下で、同一視不能な結果の確率が有限に保たれることを示し、物理的計算によって決定不能な停止問題に理論的解決をもたらす。

ABSTRACT

Hypercomputation or super-Turing computation is a ``computation'' that transcends the limit imposed by Turing's model of computability. The field still faces some basic questions, technical (can we mathematically and/or physically build a hypercomputer?), cognitive (can hypercomputers realize the AI dream?), philosophical (is thinking more than computing?). The aim of this paper is to address the question: can we mathematically build a hypercomputer? We will discuss the solutions of the Infinite Merchant Problem, a decision problem equivalent to the Halting Problem, based on results obtained in \cite{Coins,acp}. The accent will be on the new computational technique and results rather than formal proofs.

研究の動機と目的

• 古典的チューリング計算不能性の限界を超える数学的ハイパーコンピュータの構築可能性を検証すること。
• 物理的・確率的モデルを用いて、停止問題を解く基礎的課題に取り組むこと。
• 量子散乱プロセスとワイナー測度論を用いたハイパーコンピュータの実現可能性を探ること。
• 無限の意思決定問題（無限商人問題）が物理的実装によって決定可能になる条件を確立すること。
• ヒルベルト空間における散乱誘発確率の分析を通じて、理論的決定不能性と物理的計算可能性を橋渡しすること。

提案手法

• 停止問題を、各スタックが計算ステップに対応し、偽のコインが停止動作を表す無限商人問題に還元する。
• ポテンシャル井戸の系列を通る粒子の散乱をモデル化し、散乱振幅を $\vec{\beta} \in l^2$ に符号化する。
• 有限エネルギー制約下での同一視不能な散乱軌道の確率を推定するために、ワイナー測度 $\tilde{W}$ を用いる。
• 有界パス変動を持つ準ループ上のワイナーダブルの有限次元近似を適用する。
• 変位ベクトル $\vec{x}$ におけるガウス積分を用いて、同一視不能な結果の確率を推定し、$\xi_m = x_m - x_{m-1}$ に変換する。
• 二次形式作用素 $A_\varepsilon = I + \frac{|b|^2}{|\vec{\beta}|^2 \varepsilon} \mathbf{P}_b$ の行列式を用いて、確率の上限を導出する。ここで $b_m = \sum_{l=m}^\infty \beta_l$ である。

実験結果

リサーチクエスチョン

• RQ1 物理的モデルが古典的計算不能性を超える場合、停止問題を解くことは可能か？
• RQ2 無限次元系において、同一視不能な散乱結果の確率が有限に保たれる条件は何か？
• RQ3 量子散乱による物理的実装が、チューリングマシンの決定不能性の壁を避けるハイパーコンピュータを実現可能か？
• RQ4 ワイナー測度論を用いて、無限スタック系における1つの偽コインの検出可能性を推定するにはどうすればよいか？
• RQ5 $l^2$-ノルムの散乱ベクトル $\vec{\beta}$ とテイル和ベクトル $\vec{b}$ が有限の区別可能性を可能にする役割は何か？

主な発見

• 確率 $\tilde{W}({\mathcal{F}}_{\varepsilon,1})$ が有限であるため、$\sum_{m=1}^\infty |\beta_m|^2 < \infty$ であれば、数学的実現可能性が保証される。
• 同一視不能確率の上界は、ガウス積分推定から得られる $\tilde{W}({\mathcal{F}}_{\varepsilon,1}) < \frac{\sqrt{\varepsilon} |\vec{\beta}|}{\prod_{l=1}^\infty \sqrt{\Delta_l} \sqrt{\varepsilon |\vec{\beta}|^2 + |b|^2}}$ である。
• 主要作用素 $A_\varepsilon = I + \frac{|b|^2}{|\vec{\beta}|^2 \varepsilon} \mathbf{P}_b$ が指数部の二次形式を支配し、その行列式が確率の上限を生じる。
• 確率推定は、有界変動を持つパス上のワイナーメジャーの有限次元近似の極限過程を経て導出される。
• 同一視不能な結果の確率が有限であることから、物理的測定により、無限スタック系における1つの偽コイン（すなわち、停止計算）の存在を、原理的に検出可能である。
• 本結果は、量子散乱と確率的解析に基づく、古典的決定不能性を回避する、構成的数学的フレームワークを確立する。