[论文解读] Game characterizations and lower cones in the Weihrauch degrees

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

Computability, Logic, AI Algorithms被引用 7

一句话总结

本文引入了一种参数化的Wadge博弈，用于刻画Weihrauch度中的每一个下锥，统一并推广了现有的博弈，如原始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.

研究动机与目标

• 为解决Andretta关于哪些函数类可被博弈刻画的问题，通过将Weihrauch度中的下锥识别为自然答案来实现。
• 将现有的博弈论刻画（例如Wadge博弈、擦除博弈、回溯博弈、树博弈）统一到一个单一的参数化框架中。
• 通过在抽象树上对修剪导数进行超限迭代，为所有Baire类函数提供统一的博弈论刻画。
• 建立所得到的博弈在各自Baire类中为Weihrauch完全的结论，利用透明圆柱体和强Weihrauch等价性。

提出的方法

• 引入一种参数化的Wadge博弈，其中玩家II的移动受一个参数树的约束，从而推广了原始Wadge博弈及其变体。
• 定义一种修剪导数操作，记为$\mathrm{PD}^\star$，通过迭代移除不支持无限路径的子树来捕捉Baire类层次结构。
• 将最终的树结构限制为在层次结构的每一级上与线性树或有限分支树双侧相似，具体取决于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$函数。