[論文レビュー] Weihrauch Complexity in Computable Analysis

Vasco Brattka, Guido Gherardi+1 more|arXiv (Cornell University)|Jul 11, 2017

Computability, Logic, AI Algorithms被引用数 8

ひとこと要約

この論文は、計算可能解析における数学的問題の均一計算的含量を分類する枠組みとして、ワイラウヒ複雑度を導入し、体系化する。合成、積、並列化などの代数的演算を通じて問題のラティスを構築し、ワイラウヒ次数が均一還元可能性を捉え、記述的集合論、計算可能性クラス、論理的原則と完全問題およびゲーム的特徴づけを通じて関連することを示す。

ABSTRACT

We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.

研究の動機と目的

• 計算可能解析における数学的問題の均一計算的強度を体系的に分析する枠組みを構築すること。
• 合成、積、並列化などの代数的演算を用いた、多価関数に基づく問題の計算式を形式化すること。
• ワイラウヒ次数と記述的集合論、計算可能性クラス、論理的原則などの他の分野との関係を確立すること。
• 主要な関数クラス（例：効果的 $\Sigma^{0}_{n+2}$-可測関数）がワイラウヒ完全性によって特徴づけられることを示すこと。
• ワイラウヒ還元性やワゲ還元性などの既存の還元概念を、さまざまな計算モデルや空間にわたって統一的かつ拡張的に扱うこと。

提案手法

• 数学的問題を部分的多価関数 $ f: \subseteq X \rightrightarrows Y $ としてモデル化し、$ \text{dom}(f) $ を許容可能な入力の集合、$ f(x) $ を可能な出力の集合とする。
• 問題に対する代数的演算を定義する：合成 $ h \circ f $、積 $ f \times g $、余積 $ f \sqcup g $、最小元 $ f \sqcap g $、和 $ f + g $、有限並列化 $ f^* $、並列化 $ \widehat{f} $。
• ワイラウヒラティスを用いて、均一還元性による問題の比較を行う：$ f \leq_{\text{W}} g $ であるとは、$ g $ を均一なブラックボックスとして用いて $ f $ が計算可能であることを意味する。
• ゼロ問題 $ \text{Z}_X $（$ f \mapsto f^{-1}\{0\} $）のような問題を分析し、それらが次数を生成することを示す。
• 記述的集合論への関係を確立するため、$ f \leq_{\text{W}} \text{C}_{\mathbb{N}}^{(n)} $ であることと、$ f $ が効果的 $ (\Sigma^{0}_{n+2}, \Sigma^{0}_{n+2}) $-可測であることとは同値であることを示す。
• ワイラウヒ次数がゲーム的特徴づけに対応し、代表空間における相対化およびジャンプ作用素のもとで保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 解析における数学的問題は、どのようにその均一計算的含量に基づいて体系的に分類可能か？
• RQ2 合成、積、並列化などの代数的演算が、ワイラウヒラティス内での問題の構築と比較に果たす役割は何か？
• RQ3 ワイラウヒ次数は、ワゲ還元性や $ \Sigma^{0}_{n+2} $-可測性といった記述的集合論の古典的概念とどのように関係するか？
• RQ4 特定のワイラウヒ次数によって特徴づけられる計算可能関数クラス（例：極限計算可能、ラスベガス）は何か？
• RQ5 さまざまな計算モデル（例：BSSマシン）は、ワイラウヒ枠組みにどの程度適合し、それらの次数の上限は何か？

主な発見

• ワイラウヒラティスは、計算可能解析における問題の計算的含量を均一に分類する枠組みを提供し、合成と並列化は逐次的および並列的計算を捉える。
• ゼロ問題 $ \text{Z}_X $ は、連続方程式 $ f(x) = 0 $ を解く均一複雑度を捉える標準的な例である。
• $ \Sigma^{0}_{n+2} $-可測関数のワイラウヒ完全性は、$ f \leq_{\text{W}} \text{C}_{\mathbb{N}}^{(n)} $ によって特徴づけられ、$ f: \mathbb{N}^\mathbb{N} \to \mathbb{N}^\mathbb{N} $ および $ n \in \mathbb{N} $ の場合に等号が成り立つ。
• $ n \in \{0,1\} $ の場合、効果的 $ (\Sigma^{0}_{n+2}, \Sigma^{0}_{n+2}) $-可測性は、逆像写像の連続性と同値であるが、$ n > 1 $ の場合の同値性は未解決であり、一般化されたジェイン＝ロジャース予想と関連している。
• BSS計算可能関数 $ f: \subseteq \mathbb{R}^* \to \mathbb{R}^* $ は $ f \leq_{\text{W}} \text{C}_{\mathbb{N}} $ を満たし、$ \text{C}_{\mathbb{N}} $ の次数に達するBSS計算可能関数が存在することを示し、タイトな次数境界を示している。
• ジャンプ作用素と計算可能自己函手を用いて、準ポーリッシュ空間および代表空間へと理論を拡張でき、記述的集合論をポーリッシュ空間を超えて一般化している。