[논문 리뷰] Geometric properties of the Markov and Lagrange spectra

Carlos Gustavo Moreira|arXiv (Cornell University)|2016. 12. 17.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 6

한 줄 요약

이 논문은 임의의 반직선 $(-\infty, t)$와 마르코프 스펙트럼 및 라그랑주 스펙트럼의 교차부분의 하우스도르프 차원이 동일하며, 이 값이 $[0,1]$의 모든 값을 가질 수 있음을 입증한다. 또한 차원 함수 $d(t) = \mathrm{HD}(L \cap (-\infty, t))$가 연속적이고, 비감소적이며, $[0,1]$ 전역에 대해 전사적임을 증명하며, $d(t) = \min\{1, 2D(t)\}$를 만족한다. 여기서 $D(t)$는 $k(\alpha)$ 사상에 대한 역상의 하우스도르프 차원이다.

ABSTRACT

We prove several results on (fractal) geometric properties of the classical Markov and Lagrange spectra. In particular, we prove that the Hausdorff dimensions of intersections of both spectra with half-lines always coincide, and may assume any real value in the interval $[0, 1]$.

연구 동기 및 목표

• 3와 프라이먼 상수 $c \approx 4.5278$ 사이의 고전적 마르코프 및 라그랑주 스펙트럼의 분수기하학적 구조를 조사하는 것.
• 이 스펙트럼들이 반직선 $(-\infty, t)$와 교차하는 부분의 하우스도르프 차원의 행동을 규명하는 것.
• $d(t) = \mathrm{HD}(L \cap (-\infty, t))$의 연속성과 범위에 관한 열린 문제를 해결하는 것.
• 마르코프 및 라그랑주 스펙트럼 간의 기하학적 및 차원적 성질에 대한 관계를 명확히 하는 것.

제안 방법

• 논문은 이중 무한 수열 $\underline{\theta} \in \Sigma = (\mathbb{N}^*)^{\mathbb{Z}}$ 위에서의 동역학계 프레임워크를 사용하며, $f(\underline{\theta}) = \alpha_0 + \beta_0$로 정의한다. 여기서 $\alpha_0$와 $\beta_0$는 연분수 꼬리이다.
• 라그랑주 스펙트럼은 $L = \{ \limsup_{n \to \infty} f(\sigma^n \underline{\theta}) \mid \underline{\theta} \in \Sigma \}$로 정의되고, 마르코프 스펙트럼는 $M = \{ \sup_{n \in \mathbb{Z}} f(\sigma^n \underline{\theta}) \mid \underline{\theta} \in \Sigma \}$로 정의되며, 이는 연분수 전개와 연결된다.
• 핵심 기법은 $k(\alpha)$ 함수의 역상 $k^{-1}(-\infty, t)$를 분석하고, 그 하우스도르프 차원 $D(t)$를 스펙트럼 교차부분의 차원과 연결하는 것이다.
• 정규 캔터 집합 이론 및 이러한 집합의 산술 합에 관한 결과를 적용하며, 특히 할의 반사사 및 프라이먼의 $L$ 및 $M$에서 최대 반직선에 관한 연구에 기초한다.
• 유한 연분수 단어에 대한 함수 $s(\alpha) = 1/(q_n(q_n + q_{n-1}))$의 행동에 관한 보조정리들을 사용하여 거리의 상한을 구하고, 차원 추정치를 도출한다.
• 함수 $d(t)$의 허더 연속성 불량을 증명하기 위해, 부분 몫이 유계이면서 왜곡이 제어된 연분수 단어의 수열을 구성하고, 부분 몰입의 유계성으로부터 $|x - y|$의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 모든 $t$에 대해 마르코프 및 라그랑주 스펙트럼이 반직선 $(-\infty, t)$와 교차하는 부분의 하우스도르프 차원이 일치하는가?
• RQ2 $d(t) = \mathrm{HD}(L \cap (-\infty, t))$ 함수가 $[0,1]$의 모든 값을 가질 수 있는가?
• RQ3 차원 함수 $d(t)$는 연속적이고 비감소적이며, $\sqrt{12}$ 이전에 값 1을 취하는가?
• RQ4 $d(t)$는 허더 연속 함수인가, 아니면 특이 행동을 보이는가?
• RQ5 $d(t)$와 $D(t) = \mathrm{HD}(k^{-1}(-\infty, t))$ 사이의 관계는 무엇인가?

주요 결과

• 모든 $t \in \mathbb{R}$에 대해 $L \cap (-\infty, t)$와 $M \cap (-\infty, t)$의 하우스도르프 차원이 동일하며, 이 공통 값은 $d(t)$로 표기된다.
• 함수 $d(t)$는 연속적이고, 비감소적이며, $\mathbb{R}$에서 $[0,1]$ 전역으로 전사적이며, $d(t) = \min\{1, 2D(t)\}$를 만족한다.
• $d(t)$는 $L \cap (-\infty, t_1]$의 여집합의 연결 성분들에서 일정하며, 여기서 $t_1 = \min\{t \in \mathbb{R} \mid d(t) = 1\} < \sqrt{12}$이므로, 캔터 유사한 구조를 나타낸다.
• $\delta > 0$이 존재하여 $d(\sqrt{12} - \delta) = 1$임을 보여, 차원이 $\sqrt{12}$ 이전에 1에 도달함을 시사한다.
• $d(t)$는 부분 몰입이 유계이고 왜곡이 제어된 연분수 단어의 수열을 사용하여 모순을 이용해 증명함으로써, 허더 연속적이지 않음을 보였다.
• $L \cap (-\infty, t_1]$은 컴팩트하고, 르베그 측도가 0이며, 내부가 없지만, $t_1$에서 전체 차원 1을 가진다.