[논문 리뷰] Schmidt Games and Conditions on Resonant Sets

Steffen Weil|arXiv (Cornell University)|2012. 10. 03.

Mathematical Dynamics and Fractals참고 문헌 34인용 수 5

한 줄 요약

이 논문은 이전의 수정들인 Kleinbock-Weiss와 McMullen의 버전을 통합하고 일반화한 일반화된 Schmidt 게임을 제안하며, 공진점 집합에 대한 악수근사 가능한 점들의 집합이 승리 집합이 되는 데 필요한 충분한 공리적 조건을 확립한다. 주요 기여는 다양한 설정에서 새로운 결과를 도출할 수 있도록 증명을 단순화하는 프레임워크를 제공하는 것이다. 이는 CAT(-1) 공간 내 지오데식선, R^n, C^2, Z_p^2 내 악수근사 가능한 벡터, 그리고 가중치가 부여된 프랙탈 부분집합을 포함한다.

ABSTRACT

Winning sets of Schmidt's game enjoy a remarkable rigidity. Therefore, this game (and modifications of it) have been applied to many examples of complete metric spaces (X, d) to show that the set of "badly approximable points", with respect to a given collection of resonant sets in X, is a winning set. For these examples, strategies were deduced that are, in most cases, strongly adapted to the specific dynamics and properties of the underlying setting. We introduce a new modification of Schmidt's game which is a combination and generalization of the ones of [18] and [20]. This modification allows us to axiomatize conditions on the collection of resonant sets under which there always exists a winning strategy. Moreover, we discuss properties of winning sets of this modification and verify our conditions for several examples - among them, the set of badly approximable vectors in the Euclidian space and the p-adic integers with weights and, as a main example, the set of geodesic rays in proper geodesic CAT(-1) spaces which avoid a suitable collection of convex subsets.

연구 동기 및 목표

• Schmidt의 게임에 대한 통합된 수정을 개발하여 Kleinbock-Weiss와 McMullen의 이전 버전을 일반화한다.
• 악수근사 가능한 점들의 집합이 승리 집합이 되는 조건을 정의하기 위해 공진점 집합과 거리 공간에 대한 공리적 조건을 규명한다.
• 특수 전략이 아닌 구조적 조건에 초점을 맞춤으로써 디오판틴 대수 및 동역학 이론 내 기존 증명을 단순화하고 통합한다.
• 지오데식선이 CAT(-1) 공간 내에서, 그리고 다양한 공간 내에서 가중치가 부여된 악수근사 가능한 벡터에 대해 주어진 조건을 검증한다.
• 제안된 공리적 프레임워크에 따라 전체 하우스도르프 차원과 승리 성질이 유도됨을 보여준다.

제안 방법

• Kleinbock-Weiss와 McMullen의 게임의 특징을 통합한 새로운 Schmidt 게임 수정을 도입하여, 공진점 집합의 이웃 영역에 대한 민감한 제어를 가능하게 한다.
• 공진점 집합과 환경 공간에 대한 기하학적 및 동역학적 조건을 공리화하며, 국소 분포, 볼록성, 수축 행동을 포함한다.
• Gromov 초구형 기하학과 호보울 그림자(Shadows)를 사용하여 지오데식선의 입구/퇴장 시간과 축소 파rameter 간의 관계를 분석한다.
• CAT(-1) 공간에 게임을 적용하기 위해 호보울 그림자 분석을 수행하고, 시야 거리 측정법을 사용하여 근사 상수를 제어한다.
• 승리 집합의 강성(strength)을 활용하여 구체적인 전략을 구성하지 않고도 전체 하우스도르프 차원 및 기타 측도 이론적 성질을 유도한다.
• R^n, C^2, Z_p^2, 가중치가 부여된 프랙탈 부분집합 등 다양한 설정에서 공리 조건을 검증하기 위해 거리 및 기하학적 추정을 사용한다.

실험 결과

연구 질문

• RQ1 공진점 집합에 대한 기하학적 및 동역학적 조건이 무엇이면, 제안된 Schmidt 게임 수정에서 악수근사 가능한 점들의 집합이 승리 집합이 되는가?
• RQ2 Bad(X, F)의 승리 성질은 사례별 전략이 아닌 통합된 공리적 프레임워크를 통해 확립될 수 있는가?
• RQ3 CAT(-1) 공간 내 호보울 그림자와 축소 파rameter는 게임 내 근사 상수와 어떻게 관련이 있는가?
• RQ4 이 프레임워크는 R^n, C^2, Z_p^2 내에서 가중치가 부여된 악수근사 가능한 집합에 얼마나 넓게 적용될 수 있는가?
• RQ5 지오데식선이 호보울 내에 머무는 시간과 그 끝점이 무한대에 도달하는 데 필요한 축소 파rameter 사이의 관계는 어떠한가?

주요 결과

• R^n, C^2, Z_p^2 내 악수근사 가능한 벡터의 집합과 '좋은' 프랙탈 집합의 교차는 제안된 게임 수정 하에서 승리 집합이다.
• 적절한 볼록 부분집합의 모임을 피하는, 올바른 지오데식 CAT(-1) 공간 내 지오데식선의 집합은 승리 집합이다.
• 지오데식선이 호보울 C에 진입하고 퇴장할 경우, 그 동안 머무는 시간은 2s + 2c₀ 이하이다. 여기서 s는 축소 파rameter이고, c₀는 일관된 상수이다.
• 무한대에서의 시야 거리 측정법은 d_o(ξ, η) ≤ c e^{-d(o,C)} e^{-l/2} 를 만족하며, l은 C 내 머무는 시간이고, c는 기하학적 특성에 따라 결정된다.
• 공리적 조건을 통해 다양한 설정에서 승리 성질을 증명하는 데 필요한 특수 전략의 필요성을 줄여 증명을 단순화한다.
• 비유클리드 및 복소 공간 내에서의 가중치가 부여된 악수근사 가능한 집합을 포함한 주요 예시들에서 공리 조건이 모두 검증되었다.