[論文レビュー] Game characterizations and lower cones in the Weihrauch degrees

Hugo Nobrega, Arno Pauly|arXiv (Cornell University)|Nov 11, 2015

Computability, Logic, AI Algorithms被引用数 7

ひとこと要約

この論文は、Weihrauch次数におけるすべての下位コーンを特徴付けるパラメータ付きWadgeゲームを導入し、元のWadgeゲーム、消しゴムゲーム、バックトラックゲーム、Semmesの木ゲームといった既存のゲームを統合・一般化する。主な貢献は、可算分岐木における繰り返しの刈り込み導出を用いて、すべてのBaire階層関数を特徴づけることであり、Weihrauch還元理論におけるこれらのクラスの完全なゲーム理論的特徴づけを提供する。

ABSTRACT

We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particular, we propose that the lower cones in the Weihrauch degrees are the answer to Andretta's question on which classes of functions admit game characterizations. We then discuss some applications of such parametrized Wadge games. Using machinery from Weihrauch reducibility theory, we introduce games characterizing every (transfinite) level of the Baire hierarchy via an iteration of a pruning derivative on countably branching trees.

研究の動機と目的

• 下位コーンがWeihrauch次数における自然な答えであることを特定することで、Andrettaの関数クラスに関するゲーム的特徴づけの可能性に関する問いに答える。
• 既存のゲーム理論的特徴づけ（例：Wadge、消しゴム、バックトラック、木ゲーム）を、単一のパラメータ付き枠組みに一般化する。
• 抽象的木における刈り込み導出の超限反復を用いて、すべてのBaire階層関数を一様にゲーム理論的に特徴づける。
• 得られたゲームが、それぞれのBaire階層に対してWeihrauch完全であることを確立し、透明なシリンダーと強いWeihrauch同倣を用いる。

提案手法

• プレイヤーIIの手がパラメータ木によって制約されるパラメータ付きWadgeゲームを導入し、元のWadgeゲームおよびその変種を一般化する。
• 無限路を支持しない部分木を繰り返し削除する操作である刈り込み導出 $\mathrm{PD}^\star$ を定義し、Baire階層を捉える。
• 最終的な木構造を、階層の各段階で線形木または有限分岐木とバイシミュレーション的に同値になるように制限する。
• 操作 $\operatorname{Prune}^\alpha$ を用いて、Baire階層 $\alpha$ 関数を特徴づけるゲームを構築し、$\alpha = \lambda + 2n$ または $\lambda + 2n+1$（$\lambda$ は極限順序数、$n \in \mathbb{N}$）の形とする。
• $\operatorname{Prune}_{\mathrm{fb}}$ が透明なシリンダーであることを証明し、強いWeihrauch同倣および完全性の結果を得る。
• 抽象的木とバイシミュレーションの理論を用いて、ゲームの結果が関心の対象となる関数クラスに正確に対応することを保証する。

実験結果

リサーチクエスチョン

• RQ1 どの関数クラスがゲーム的特徴づけを許容するか、そしてこれはWeihrauch次数において一様に捉えられるか？
• RQ2 Wadgeゲームおよびその変種（消しゴム、バックトラック、木ゲーム）は、単一のパラメータ付き枠組みに統合可能か？
• RQ3 超限反復の刈り込み導出を用いた木における無限ゲームによって、Baire階層はどのように捉えられるか？
• RQ4 得られたゲームは、それぞれのBaire階層に対してWeihrauch完全か？
• RQ5 特定のBaire階層を特徴づけるために、抽象的木（例：線形、有限分岐）に必要な構造的性質は何か（十分かつ必要か）？

主な発見

• Weihrauch次数におけるすべての下位コーンがパラメータ付きWadgeゲームによって特徴づけられ、Andrettaの問いに肯定的に答えられる。
• パラメータ付きWadgeゲームは、元のWadgeゲーム、消しゴムゲーム、バックトラックゲーム、Semmesの木ゲームを特別な場合として包含する。
• 各順序数 $\alpha = \lambda + 2n$ に対して、$\operatorname{Prune}^\alpha$ 操作は透明なシリンダーであり、Baire階層 $\alpha$ 関数に対してWeihrauch完全である。
• $\alpha = \lambda + 2n+1$ の場合、$\operatorname{Prune}^{\alpha} = \operatorname{Prune}_{\mathrm{fb}} \circ \operatorname{Prune}^{\alpha-1}_{\mathrm{fb}}$ がBaire階層 $\alpha$ 関数を特徴づける。
• $\operatorname{Prune}_{\mathrm{fb}}$ 操作は透明なシリンダーであり、強いWeihrauch同倣および完全性の結果を得る。
• $\operatorname{Prune}^\alpha$ と $\operatorname{Label}$ 関数に基づくゲームは、$(\operatorname{Prune}^\alpha, \operatorname{Label})$-Wadgeゲームとして、正確にBaire階層 $\alpha$ 関数を特徴づける。