[논문 리뷰] Badly approximable systems of affine forms, fractals, and Schmidt games

Manfred Einsiedler, Jimmy Tseng|ArXiv.org|2009. 12. 13.

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

한 줄 요약

이 논문은 키르스팅의 추측을 증명한다. 즉, 벡터가 고정되어 있을 때와 행렬이 고정되어 있을 때 모두, 약간의 근사가 불가능한 애핀 형태의 집합이 샤미드 게임의 의미에서 승리 집합임을 보여준다. 동역학계와 단위 띠어의 이론을 이용하여, 저자들은 이러한 집합이 넓은 범주에 속하는 프랙탈에 제한된 경우에도 여전히 승리 집합임을 입증하며, 다양한 기하학적 제약 조건 하에서 그 강건성과 완전한 하우스도르프 차원을 확인한다.

ABSTRACT

A badly approximable system of affine forms is determined by a matrix and a vector. We show Kleinbock's conjecture for badly approximable systems of affine forms: for any fixed vector, the set of badly approximable systems of affine forms is winning (in the sense of Schmidt games) even when restricted to a fractal (from a certain large class of fractals). In addition, we consider fixing the matrix instead of the vector where an analog statement holds.

연구 동기 및 목표

• 고정된 벡터에 대해 약간의 근사가 불가능한 애핀 형태의 집합이 승리 집합임을 입증하는 것.
• 큰 범주에 속하는 프랙탈으로의 확장을 통해 승리 성질이 전체 공간을 초월해 강건함을 보이는 것.
• 벡터가 아닌 행렬이 고정된 경우에도 유사한 승리 성질을 확립하여, 새로운 종류의 비동차 디오판틴스 문제를 다루는 것.
• 특이한 시스템에 대해 무한히 약간의 근사가 불가능한 행렬의 집합의 구조를 조사하는 것.
• 절대적으로 감쇠하는 측도를 지닌 프랙탈 부분집합에서 강력한 승리 성질과 일반화된 승리 성질의 가능성을 탐색하는 것.

제안 방법

• 디오판틴스 근사 조건으로 정의된 집합의 승리 성질을 증명하기 위해 샤미드의 게임 이론을 활용한다.
• 특히 일차원 대각선 흐름 $g_t$ 와의 공역을 이용하여 단위 띠어 공간에서의 동역학을 적용한다.
• $\eta$-감쇠 측도와 마르슈랑드 절삭 정리를 이용하여 프랙탈과의 교차를 분석한다.
• $L_A(\mathbf{b})$ 의 구조와 띠어에 대한 작용을 이용하여 흐름 변환 하에서 최소 벡터의 크기를 제어한다.
• 강력한 승리 성질과 등위대칭 불변성을 이용하여 승리 결과를 강화한다.
• $g_T$-작용 하에서 격자점의 행동을 분석하고, 노름 추정을 바탕으로 한 모순 추론을 이용하여 게임 전략을 검증한다.

실험 결과

연구 질문

• RQ1 모든 고정된 $\mathbf{b} \in \mathbb{R}^m$ 에 대해 집합 $\mathbf{Bad}^\mathbf{b}(m,n)$ 이 승리 집합인가?
• RQ2 $\mathbf{Bad}^\mathbf{b}(m,n)$ 의 승리 성질이 $\mathbb{R}^{m+n}$ 의 프랙탈 부분집합으로 제한될 때도 유지되는가?
• RQ3 모든 고정된 행렬 $A \in M_{m,n}(\mathbb{R})$ 에 대해 집합 $\mathbf{Bad}_A(m,n)$ 이 승리 집합인가?
• RQ4 특이한 $A$ 에 대해 무한히 약간의 근사가 불가능한 행렬의 집합 $\mathbf{Bad}^\infty_A(m,n)$ 이 강력한 승리 성질을 지닌다?
• RQ5 $\widetilde{M}_{m,n}(\mathbb{R})$ 의 부분집합 $K \subset \widetilde{M}_{m,n}(\mathbb{R})$ 가 절대적으로 $\eta$-감쇠 측도를 지닐 경우 승리 성질을 일반화할 수 있는가?

주요 결과

• 모든 고정된 $\mathbf{b} \in \mathbb{R}^m$ 에 대해 집합 $\mathbf{Bad}^\mathbf{b}(m,n)$ 이 승리 집합이며, 이는 키르스팅의 추측을 확인한다.
• $\mathbf{Bad}^\mathbf{b}(m,n)$ 의 승리 성질은 절대적으로 $\eta$-감쇠 측도를 지닌 임의의 프랙탈 부분집합으로 제한된 경우에도 유지된다.
• 모든 고정된 행렬 $A \in M_{m,n}(\mathbb{R})$ 에 대해 집합 $\mathbf{Bad}_A(m,n)$ 이 승리 집합이며, 이는 이전 결과를 일반적인 경우로 확장한다.
• 무한히 약간의 근사가 불가능한 벡터의 집합 $\mathbf{Bad}^\infty_A(m,n)$ 이 특이한 행렬 $A$ 에 대해 승리 집합으로 밝혀졌다.
• $\mathbf{Bad}^\mathbf{b}(m,n)$ 과 $\mathbf{Bad}_A(m,n)$ 의 승리 집합은 강력한 승리 집합이기도 하며, 이는 등위대칭 변환 하에서도 유지되는 더 강력한 성질이다.
• 결과적으로 $\mathbf{Bad}(m,n)$ 이 완전한 하우스도르프 차원을 지니며, 프랙탈에서 승리 집합임을 시사하며, $\eta$-감쇠 측도에 대한 더 넓은 추측을 뒷받침한다.