[論文レビュー] Inside the Muchnik Degrees I: Discontinuity, Learnability, and Constructivism

Kojiro Higuchi, Takayuki Kihara|arXiv (Cornell University)|Oct 2, 2012

Computability, Logic, AI Algorithms参考文献 41被引用数 3

ひとこと要約

本稿は、ガロア接続を通じて学習可能性、区分的計算可能性、次数構造を結びつけることにより、計算解析における非一様計算可能性と不連続性を調査する。$Π^{0}_{1}$、$Δ^{0}_{2}$、$Σ^{0}_{2}$ の定義域上で、学習可能性の概念（例：変化回数が有界、誤差が有界）と区分的計算可能性の間の同値性を確立する。また、BHKに類似した論理和演算を導入し、次数構造を回復させ、ワイハウト次数やワゲゲームと関連付ける。

ABSTRACT

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify nonuniformly computable functions on Baire space from the viewpoint of learning theory and piecewise computability. For instance, we show that mind-change-bounded-learnability is equivalent to finite $(Π^0_1)_2$-piecewise computability (where $(Π^0_1)_2$ denotes the difference of two $Π^0_1$ sets), error-bounded-learnability is equivalent to finite $Δ^0_2$-piecewise computability, and learnability is equivalent to countable $Π^0_1$-piecewise computability (equivalently, countable $Σ^0_2$-piecewise computability). Second, we introduce disjunction-like operations such as the coproduct based on BHK-like interpretations, and then, we see that these operations induce Galois connections between the Medvedev degree structure and associated Medvedev/Muchnik-like degree structures. Finally, we interpret these results in the context of the Weihrauch degrees and Wadge-like games.

研究の動機と目的

• 表現や位相を変更せずに、床関数のような関数の非計算可能性および不連続性のレベルを理解すること。
• 学習可能性と区分的計算可能性の枠組みを用いて、ベア空間上の非一様計算可能な関数を分類すること。
• 動的近似（学習）と静的近似（区分的計算可能性）を次数論的構造を通じて結びつけること。
• BHKに類似した解釈に基づく、合成（コプロダクトなど）のような論理和的演算を導入し、メドベデフ／ムーチニク次数構造を回復すること。
• ワイハウト次数およびワゲに類似したゲームの文脈において、結果を解釈すること。特に、${\sf LLPO}$ や ${\sf LPO}$ のような原則について。

提案手法

• ベア空間上の部分関数における $(\alpha,\beta|\gamma)$-計算可能性を導入し、非一様計算可能性の段階を形式化する。
• 学習ゲーム $G(f, {\sf PM}_m)$ および $G(f, {\sf PBM}_m)$ を定義し、変化回数が有界および誤差が有界な学習をモデル化する。
• 学習ゲームにおける計算可能勝ち戦略の構築により、学習可能性を特徴づけ、それを区分的計算可能性と関連付ける。
• BHKに類似した解釈と動的証明モデル（例えば、整礎的・非整礎的木に沿ったもの）を用いて、論理和の演算を定義する。
• これらの論理和の演算を通じて、メドベデフ次数構造とそれに対応するムーチニクに類似した次数構造との間のガロア接続を確立する。
• 非構成的原理（例：${\sf LLPO}$, ${\sf LPO}$）を次数論的枠組み内で解釈することで、結果をワイハウト次数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 特定の算術的クラス上で、学習可能性の概念（例：変化回数が有界、誤差が有界）は、どのように区分的計算可能性の観点から特徴づけられるか？
• RQ2 コプロダクトなどの論理和的演算は、動的近似モデルから次数構造を回復する上で果たす役割は何か？
• RQ3 BHKに類似した解釈とネストされた動的モデル（例：整礎的または非整礎的木に沿ったもの）は、高階の学習可能性および分解可能性をどのように捉えるか？
• RQ4 ガロア接続は、学習および区分的計算可能性によって誘導されるムーチニクに類似した次数構造と、メドベデフ次数構造とをどのように結びつけるか？
• RQ5 ワイハウト次数およびワゲに類似したゲームは、ほぼ計算可能な関数の非計算可能性の段階を分類するためにどのように用いられるか？

主な発見

• 変化回数が有界な学習可能性は、有限個の $\Pi^{0}_{1}$-領域を持つ計算可能関数への分解可能性（すなわち、有限 $(\Pi^{0}_{1})_{2}$-区分的計算可能性）と同値である。
• 誤差が有界な学習可能性は、正確に有限個の $\Delta^{0}_{2}$-領域を持つ区分的計算可能性に対応し、その領域は $\Sigma^{0}_{2}$-集合である。
• 一般の学習可能性は、可算個の $\Pi^{0}_{1}$-領域への区分的計算可能性と同値であり、これは可算個の $\Sigma^{0}_{2}$-領域への区分的計算可能性とも同値である。
• ゲーム $G_{*}(f, {\sf PM}_m)$ において計算可能勝ち戦略が存在することは、$f$ が $(1,\omega|m)$-計算可能であることと同値であり、戦略の存在が、変化回数が有界な学習可能性を示す。
• 極限-BHK解釈に基づくコプロダクト演算は、学習可能な関数の還元可能性を捉え、メドベデフ次数構造とガロア接続を形成する。
• 本稿は、ほぼ計算可能な関数の非計算可能性の段階が、ワイハウト次数を用いて特徴づけられることを確立した。特に、${\sf LLPO}$ や ${\sf LPO}$ のような原則の解釈を通じてその特徴づけがなされた。