[논문 리뷰] Schmidt games and Cantor winning sets

Dzmitry Badziahin, Stephen Harrap외 2명|arXiv (Cornell University)|2018. 04. 17.

Mathematical Dynamics and Fractals참고 문헌 31인용 수 7

한 줄 요약

이 논문은 승리 집합이 정확히 캔터 승리 집합과 일치하는 새로운 위상 게임인 캔터 게임을 소개한다. 이는 스키모트 게임과 캔터 유형의 구성 방식을 통합한다. 거기서 더 나아가, 거리 공간에서 1-캔터 승리 집합은 절대 승리 집합과 동치이며, R에서 1/2-승리 집합은 절대 승리 집합을 함의함을 증명함으로써, 디오판틴 대수 approximation 및 거리수론에서 주요 승리 개념들 사이의 핵심 연결 고리를 해결한다.

ABSTRACT

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in doubling metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb{R}$, and we suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.

연구 동기 및 목표

• 새로운 위상 게임 프레임워크를 통해 스키모트 게임과 캔터 승리 집합을 통합한다.
• 거리 공간에서 절대 승리, 캔터 승리, 잠재 승리 간의 관계를 명확히 한다.
• 특히 R에서 다양한 승리 성질 간의 함의 관계에 대한 열린 질문을 해결한다.
• 구체적인 예시를 통해 디오판틴 대수 approximation 및 에르고딕 이론에서 캔터 승리 집합의 광범위한 존재를 보여준다.
• 완전한 두 배 거리 공간에서 1-캔터 승리 집합이 절대 승리 집합과 동치임을 증명하며, R에서 1/2-승리 집합은 절대 승리 집합을 함의함을 보인다.

제안 방법

• 승리 집합이 정확히 캔터 승리 집합과 일치하는 새로운 위상 게임인 캔터 게임을 도입한다.
• 잠재 게임의 기법을 사용하여, R^N에서 ε-캔터 승리 집합이 N(1−ε)-잠재 승리 집합과 동치임을 증명한다.
• R^N에서 절대 승리 집합은 1-캔터 승리 집합임을 증명하고, 특정 조건 하에서 그 역도 성립함을 보인다.
• 승리 집합과 캔터 승리 집합이 동치가 아니라는 것을 보여주기 위해 명시적 반례를 구성한다. 그러나 이들의 교집합은 허스트로프 차원이 1이다.
• 유한한 약한 게임과 자릿수 제어 전략을 사용하여, 특정 집합(예: 캔터 유형 집합의 여집합)이 σ-유한한 약한 승리 집합임을 증명한다.
• 보어 집합과 무리수 회전의 성질을 활용하여, 일부 집합이 보어 집합을 포함하지 않음을 보이고, 이는 E₀에 속하지 않음을 의미함으로써, 여집합의 σ-유한한 약한 승리 성질을 증명한다.

실험 결과

연구 질문

• RQ1 거리 공간에서 스키모트 게임, 캔터 승리 집합, 잠재 게임은 어떻게 관련되어 있는가?
• RQ2 R에서 1/2-승리 성질이 절대 승리 성질을 함의하는가? 만약 그렇다면 어떤 조건에서 성립하는가?
• RQ3 스키모트 게임과 캔터 유형의 구성 방식을 모두 포괄하는 통합된 게임 이론적 프레임워크를 구축할 수 있는가?
• RQ4 R^N에서 캔터 승리와 잠재 승리 간의 정확한 관계는 무엇인가?
• RQ5 승리 집합과 캔터 승리 집합은 허스트로프 차원이 1인 교집합을 가지는가?

주요 결과

• 캔터 게임을 도입하고, 그 승리 집합이 정확히 ε-캔터 승리 집합임을 증명함으로써, 캔터 승리 성질에 대한 게임 이론적 기반을 확립한다.
• 완전한 두 배 거리 공간에서, 집합이 1-캔터 승리 집합이 되는 것과 절대 승리 집합이 되는 것은 동치이며, 강력한 동치 관계를 확립한다.
• R에서 1/2-승리 집합은 반드시 절대 승리 집합이 되며, 이는 이전에 열려 있던 승리 집합의 계층에 대한 질문을 해결한다.
• R에선 캔터 승리 집합이지만 승리 집합이 아닌 집합과 그 반대의 경우가 존재하므로, 두 개념이 동치가 아님을 보여준다.
• R^N에서 스키모트 게임의 승리 집합과 캔터 승리 집합의 교집합은 허스트로프 차원이 N이므로, 메트릭적 의미에서 매우 크다는 것을 나타낸다.
• 특정 캔터 유형 집합 E₀의 여집합은 σ-유한한 약한 1/3-승리 집합이며, 이 성질을 활용하여 E₀가 어떤 보어 집합에도 포함되지 않음을 보였고, 이는 디오판틴 맥락에서의 구조적 풍부성을 확인한다.