[논문 리뷰] Game characterizations and lower cones in the Weihrauch degrees

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

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.

연구 동기 및 목표

• Andretta의 질문을 해결하기 위해, 게임적 특징이 가능한 함수 계열을 특정함으로써 하향 원추가 자연스러운 답이 되는지를 밝히는 것.
• 기존의 게임 이론적 특징(예: Wadge, 지우개, 백트랙, 트리 게임 등)을 단일 매개변수화된 프레임워크로 일반화하는 것.
• 추상 트리에서 나누기 도함수의 순환적 반복을 사용하여 모든 Baire 계열 함수에 대한 통일된 게임 이론적 특징을 제공하는 것.
• 결과로 얻어진 게임이 각각의 Baire 계열에 대해 Weihrauch 완전성을 갖는다는 것을 입증하고, 투명한 цิ린더와 강한 Weihrauch 동치를 사용하는 것.

제안 방법

• 플레이어 II의 수를 매개변수 트리로 제약하는 매개변수화된 Wadge 게임을 도입하여 원래 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}$ 함수를 기반으로 한 게임은 정확히 Baire 계열 $\alpha$ 함수를 특징짓는다. 이는 $(\operatorname{Prune}^\alpha, \operatorname{Label})$-Wadge 게임으로서의 특징이다.