[論文レビュー] Weihrauch-completeness for layerwise computability

Arno Pauly, Willem L. Fouché+1 more|Cronfa (Swansea University)|May 8, 2015

Computability, Logic, AI Algorithms被引用数 5

ひとこと要約

本稿は、層ごとの計算可能性におけるWeihrauch完全性の概念を導入し、到達時間作用素、複素振動、Birkhoffの定理といった自然な問題が、この意味で完全性を有することを特定する。これらの問題は層ごとの計算可能性には従うが、より強い意味での計算可能性には従わず、到達時間作用素が層ごとの計算可能性のWeihrauch次数を共有するが、自らは層ごとの計算可能性に従わないことを示している。

ABSTRACT

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former examples but fail to be layerwise computable.

研究の動機と目的

• 層ごとの計算可能性の枠組みの中でWeihrauch完全性の概念を形式化し、調査すること。
• 解析および確率論における自然な問題で、層ごとの計算可能性に関してWeihrauch完全性を示すものを見つけること。
• 到達時間作用素を分析することで、層ごとの計算可能性とより強い計算可能性の概念との境界を明確にすること。
• 層ごとの計算可能性の問題のWeihrauch次数と、非層ごとの計算可能性の対応する問題のWeihrauch次数を比較すること。
• アルゴリズム的確率論と効果的解析の文脈において、Weihrauch還元を用いて非計算可能性の強度の階層を確立すること。

提案手法

• 代表的空間上の多価関数の非計算可能性の強度を比較するためにWeihrauch還元を用いる。
• 層境界がユニバーサルMartin-Löfテストから与えられるとき、関数が計算可能になるという層ごとの計算可能性の概念を適用する。
• 実現子とオラクル機械を用いて、特に選択関数 $\textrm{C}_{\mathbb{N}}$ と正の実数の極限 $\textrm{LPO}^*$ を含む関数間のWeihrauch還元を定義・分析する。
• 閉集合 $A \in \mathcal{A}(\{0,1\}^\mathbb{N})$ 上での特定の到達時間作用素 $\operatorname{HittingTime}_{\mathcal{A}}$ のインスタンスを構成し、それらのWeihrauch次数を分析する。
• 測度論的議論と部分列の圧縮不能性を用いて、特定の到達時間問題が層ごとの計算不可能であることを証明する。
• 効果的な構成を可能にするために、開集合と閉集合を表すためのハイパースペース $\mathcal{O}(\{0,1\}^\mathbb{N})$ と $\mathcal{A}(\mathbb{N})$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 解析および確率論におけるどの自然な問題が、層ごとの計算可能性に関してWeihrauch完全性を示すか？
• RQ2 到達時間作用素はWeihrauch階層において分類可能か？また、層ごとの計算可能性とはどのように関係するか？
• RQ3 Weihrauch次数と層ごとの計算可能性の間に、厳密な分離が存在するのか、すなわち同じ次数であっても、それらが一致しない場合があるのか？
• RQ4 どの程度まで層ごとの計算可能性を完全計算可能性へと改善できるか？その改善が妨げられる要因は何か？
• RQ5 $\operatorname{HittingTime}_{\mathcal{A}}$ と $\textnormal{LAY}$ のWeihrauch次数はどのように比較されるか？これにより、それらの計算可能性の強度について何が示唆されるか？

主な発見

• 到達時間作用素 $\operatorname{HittingTime}_{\mathcal{A}}$ は、層ごとの計算可能性問題 $\textnormal{LAY}$ とWeihrauch同値である。すなわち、$\operatorname{HittingTime}_{\mathcal{A}}\equiv_{\textnormal{W}}\textnormal{LAY}$ である。
• この $\textnormal{LAY}$ と同じWeihrauch次数を持つにもかかわらず、$\operatorname{HittingTime}_{\mathcal{A}}$ は層ごとの計算可能性に従わない。これは、Weihrauch次数と層ごとの計算可能性との間に厳密な分離が存在することを示している。
• 非層ごとの計算可能性の証明は、任意の長さの1-圧縮不能な語を生成するアルゴリズムの存在を示す、計算可能である閉集合の族 $A_k$ を構成することに依拠している。これは矛盾を引き起こす。
• 閉集合上での到達時間作用素（$\operatorname{HittingTime}_{\mathcal{A}\wedge\mathcal{O}}$）は計算可能である。これは、閉集合性の要件だけでは非計算可能性を生じさせないことを示している。
• $\textnormal{LAY}$ のWeihrauch次数は、$d_{\textrm{MLR}} \times \textrm{C}_{\mathbb{N}}$ よりも厳密に小さい。これは還元の鎖を確立するために用いられている。
• 本稿は、Birkhoffの定理や反復対数法則といった問題が、層ごとの計算可能性に関してWeihrauch完全性を示すことを確認しており、この枠組み内での最大の非計算可能性の強度を確立している。