[論文レビュー] A topological view on algebraic computation models

Eike Neumann, Arno Pauly|arXiv (Cornell University)|Feb 25, 2016

Computability, Logic, AI Algorithms参考文献 31被引用数 4

ひとこと要約

この論文は、Weihrauch還元を用いて、BSS計算モデルと可算解析の間の形式的関係を確立し、SCI ≥ 2 である関数について、両モデルにおけるSCIが同一であることを示している。BSSマシンと解析的マシンの計算パワーはWeihrauch次数によって特徴付けられ、両フレームワークにおける非計算可能性の背後には、特に不連続性を含む位相的制限が存在することが明らかになった。

ABSTRACT

We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) independent of the computational model, and that there thus is common ground in the study of non-computability between the BSS and TTE setting.

研究の動機と目的

• 代数的計算モデル、特にBSSモデルにおける計算可能性の位相的制約を調査すること。
• 共通する非計算可能性構造を分析することで、BSS計算可能性と可算解析（TTE）を比較すること。
• Weihrauch次数を用いてBSSマシンと解析的マシンの計算パワーを特徴付けること。
• SCI ≥ 2 の場合に、可解性複雑度指数（SCI）が両モデル間で不変であることを示し、BSSとTTEフレームワークの共通基盤を確立すること。

提案手法

• 計算強度の比較のための枠組みとして、Weihrauch還元を用いる。
• 等価性および順序テストを備えたBSSマシンが、ℕ 上の閉じた選択（Cₙ）にWeihrauch還元可能な関数を計算することを特徴付ける。
• 順序テストを備えないBSSマシンが、より弱いLPO*次数によって特徴付けられることを示す。
• 解析的マシンの計算パワーを捉えるために、Weihrauch次数Sort*を導入・分析する。
• Stone-Weierstrass定理を適用して、BSS計算可能な関数を有理係数多項式で近似し、TTE計算可能性への移行を可能にする。
• 極限作用素の吸収性（lim⋆lim⋆Sort ≡ lim⋆lim）を用いて、SCI比較における複雑度を低減する。

実験結果

リサーチクエスチョン

• RQ1 不連続性を含む位相的障害は、どのようにBSS計算可能性を制限するか？
• RQ2 BSSの変種間で、非計算可能性の原因としての代数的要因と位相的要因は、どの程度異なるか？
• RQ3 BSSモデルにおける可解性複雑度指数（SCI）と可算解析（TTE）におけるSCIの関係は何か？
• RQ4 BSSマシンと解析的マシンの計算パワーは、Weihrauch次数によって完全に捉えられるか？
• RQ5 SCI ≥ 2 の場合に、BSSとTTEモデルにおける非計算可能性の共通フレームワークは存在するか？

主な発見

• SCI ≥ 2 である関数について、BSSモデルとTTEモデルにおける可解性複雑度指数は同一である。
• 等価性および順序テストを備えたBSSマシンは、Cₙ（ℕ 上の閉じた選択）にWeihrauch還元可能な関数を正確に計算する。
• 順序テストを備えないBSSマシンは、より弱いLPO*次数によって特徴付けられる。
• 解析的マシンは、Weihrauch次数Sort*によって特徴付けられ、近似の極限による計算能力を捉えている。
• BSS停止問題は、連続的演算のみを用いるいかなるマシンでも解けない。これは位相的要因によるものである。
• 合成 lim⋆lim⋆Sort* は、Weihrauch同値な lim⋆lim に等しく、SCI解析における高次極限の簡略化が可能になる。