[논문 리뷰] A dichotomy between uniform distributions of the Stern-Brocot and the Farey sequence

Marc Keßeböhmer, Bernd O. Stratmann|arXiv (Cornell University)|2010. 09. 09.

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

한 줄 요약

이 논문은 무한ergodic 이론을 사용하여 Stern-Brocot 수열과 Farey 수열에 대한 1에 대한 균일 분포의 이분법을 수립한다. 특정 표준 척도—짝수 Stern-Brocot 수열의 경우 $ q^{-2} $, Farey 수열의 경우 $ \\frac{\zeta(2)}{\log n} \cdot q^{-2} $—하에 가중치가 부여된 경험 측도가 $[0,1]$ 상의 Lebesgue 측도로 약하게 수렴함을 증명하며, 이는 디오판틴 대수에서 두 기본 수열 간의 오랜 분포 이분법을 해결한다.

ABSTRACT

We employ infinite ergodic theory to show that the even Stern-Brocot sequence and the Farey sequence are uniformly distributed mod 1 with respect to certain canonical weightings. As a corollary we derive the precise asymptotic for the Lebesgue measure of continued fraction sum-level sets as well as connections to asymptotic behaviours of geometrically and arithmetically restricted Poincaré series. Moreover, we give relations of our main results to elementary observations for the Stern-Brocot tree.

연구 동기 및 목표

• 1에 대한 균일 분포의 맥락에서 Stern-Brocot 수열과 Farey 수열 간 오랜 분포 이분법을 해결하기 위해.
• 특정 표준 척도 하에 두 수열에 대해 가중치가 부여된 경험 측도가 $[0,1]$ 상의 Lebesgue 측도로 약하게 수렴함을 수립하기 위해.
• 연분수 합레벨 집합의 Lebesgue 측도에 대한 渐近 결과와 모듈라 군의 Poincaré 급수와의 연결 고리를 유도하기 위해.
• 무한ergodic 이론을 활용하여 Fiala-Kleban 추측, 즉 연분수 합레벨 집합의 점근 밀도에 대한 새로운 증명을 제공하기 위해.

제안 방법

• 무한ergodic 이론과 Farey 사상 $ T $ 의 역학을 활용하여, 반복 적용된 $ T $ 에 대한 전이상태 $ T^{-n}(v/w) $ 의 분포를 분석한다.
• 약한 극한 $ \ast\text{-lim}_{n\to\infty} \log(n^{vw}) \sum_{p/q \in T^{-n}\{v/w\}} q^{-2} \delta_{p/q} = \lambda $ 를 사용하여 주요 수렴 결과를 도출한다.
• Toeplitz의 보조정리와 Landau 및 Mikolás의 오일러 쇄도 함수에 관한 고전 결과를 적용하여, $ \frac{\zeta(2)}{\log n} $ 정규화 하에 Farey 수열의 수렴을 확립한다.
• Stern-Brocot 트리의 구조와 그것이 Farey 사상과의 관계를 활용하여, 짝수 Stern-Brocot 수열이 일반 전이상태 측도 수렴의 특수한 경우임을 보인다.
• 측도의 변동을 직경 제어와 도함수 비율을 통한 추정에 기반하여, 유리수 점의 $ \varepsilon $-근접 영역과 상반평면의 쌍곡 거리에서의 분석을 수행한다.
• 저자들은 결과를 기하학적 및 대수학적 Poincaré 급수 $ \Gamma = \mathrm{PSL}_2(\mathbb{Z}) $ 와 연결하여, 단어 길이 및 쌍곡 거리에 대한 합의 점근 동치 $ \asymp $ 를 보여준다.

실험 결과

연구 질문

• RQ1 표준 척도 하에 짝수 Stern-Brocot 수열과 Farey 수열의 가중치가 부여된 경험 측도는 1에 대해 어떻게 행동하는가?
• RQ2 연분수 합레벨 집합 $ \{[x_1,\dots,x_k] : \sum_{i=1}^k x_i = n\} $ 의 Lebesgue 측도의 정확한 점근 행동은 무엇인가?
• RQ3 무한ergodic 이론을 사용하여 Fiala-Kleban 추측, 즉 합레벨 집합의 밀도에 대한 재증명이 가능한가?
• RQ4 모듈라 군 $ \Gamma $ 의 기하학적 및 대수학적 성장률 간의 Poincaré 급수의 관계는 무엇인가?
• RQ5 Farey 사상의 역학은 $[0,1]$ 내의 유리수 점들의 가중치가 부여된 전이상태 측도에 의해 어떻게 분포를 지배하는가?

주요 결과

• 짝수 Stern-Brocot 수열은 $ \ast\text{-lim}_{n\to\infty} \log(n^2) \sum_{p/q \in \mathcal{S}_n} q^{-2} \delta_{p/q} = \lambda $ 를 만족하며, $ q^{-2} $ 척도 하에 균일 분포임을 증명한다.
• Farey 수열은 $ \ast\text{-lim}_{n\to\infty} \frac{\zeta(2)}{\log n} \sum_{p/q \in \mathcal{F}_n} q^{-2} \delta_{p/q} = \lambda $ 를 만족하며, $ \frac{\zeta(2)}{\log n} \cdot q^{-2} $ 정규화 하에 균일 분포임을 확인한다.
• 집합 $ \{[x_1,\dots,x_k] : \sum_{i=1}^k x_i = n\} $ 의 Lebesgue 측도는 점근적으로 $ \sim \frac{1}{\log_2 n} $ 이며, 이는 Fiala-Kleban 추측을 확인한다.
• 기하학적 Poincaré 급수 $ \sum_{\gamma \in \Gamma, \, d(0,\gamma(0)) \leq n} e^{-d(0,\gamma(0))} \asymp n $ 이며, 대수학적 급수 $ \sum_{\gamma \in \Gamma, \, |\gamma| \leq n} e^{-d(0,\gamma(0))} \asymp \frac{n}{\log n} $ 이며, 이는 근본적인 이분법을 드러낸다.
• 일반 전이상태 측도 결과 $ \ast\text{-lim}_{n\to\infty} \log(n^{vw}) \sum_{p/q \in T^{-n}\{v/w\}} q^{-2} \delta_{p/q} = \lambda $ 는 모든 $ v/w \in (0,1] $ 에 대해 성립하며, 두 경우를 통합한다.
• 결과들은 무한ergodic 이론을 통해 도출되었으며, 핵심 추정은 유리수 점의 $ \varepsilon $-근접 영역에서 도함수 비율과 직경 제어에 기반한다.