[논문 리뷰] Distribution modulo 1 and the lexicographic world

J-P. Allouche, Amy Glen|arXiv (Cornell University)|2009. 07. 21.

Mathematical Dynamics and Fractals참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $ξ > 0$ 및 $n \geq 0$ 인 경우 모든 분수부 ${\xi 2^n\}$를 포함하는 최소 간격을 렉시코그래픽 순서와 슈르미언 수열의 중심 단어를 사용하여 완전히 특성화한다. 이러한 간격은 $ξ$의 밑수 2 전개에 의해 결정되며, 각 $x \in [0,1]$를 모든 $n$에 대해 $\{\xi 2^n\} \in [x,y]$를 만족하는 최소 $y$로 매핑하는 함수 $F(x)$를 정의한다. 이 함수는 $ξ$의 숫자 시퀀스의 렉시코그래픽 구조에 의해 완전히 결정됨을 보이며, 핵심 결과는 이진 수열의 호모모르피즘과 중심 단어를 통한 $F(x)$의 완전한 기술이다.

ABSTRACT

We give a complete description of the minimal intervals containing all fractional parts $\{ξ2^n\}$, for some positive real number $ξ$, and for all $n \geq 0$.

연구 동기 및 목표

• 주어진 $\xi > 0$ 및 모든 $n \geq 0$ 에 대해 $\{\xi 2^n\}$을 포함하는 최소 닫힘 간격 $[x, y]$를 결정하는 것.
• 모든 $n$에 대해 $\{\xi 2^n\} \in [x,y]$가 되도록 하는 $y$의 하한이 되는 함수 $F: [0,1] \to [0,1]$을 정의하고 분석하는 것.
• $\{\xi 2^n\}$이 길이 $1/2$인 고정 간격 내에 있을 수 있도록 $ξ$의 이진 전개의 구조를 특성화하는 것.
• 이진 수열의 렉시코그래픽 세계와 $\{\xi 2^n\}$이 1을 모듈로로 나눈 분포 사이의 연결 고리를 설정하는 것.
• Bugeaud-Dubickas 정리의 $b$-adic 전개에 대한 일반화를 $b=2$의 경우로 확장하고, $F(x)$의 완전한 특성화를 제공하는 것.

제안 방법

• $F(x)$ 를 모든 $n \geq 0$ 에 대해 $\{\xi 2^n\} \in [x,y]$를 만족하는 $y$의 하한으로 정의한다.
• 특히 궁극적으로 순환하지 않는 수열에 중점을 두어, 렉시코그래픽 세계 프레임워크를 사용해 $ξ$의 밑수 2 전개를 분석한다.
• 이진 수열을 $(1w_{p,q}0)^\infty$ 형태의 궁극적으로 순환하는 수열로 매핑하는 호모모르피즘 $\phi$ 를 적용한다. 여기서 $w_{p,q}$ 는 중심 단어이다.
• 팔린드롬 클로처와 $Pal$ 연산자를 사용해 이진 수열 $\boldsymbol{u}$ 의 가장 긴 중심 접두어를 특성화한다.
• 슈르미언 수열과 균형 잡힌 순환 수열의 구조를 사용해, $ξ$의 자릿수 전개에 따라 $\{\xi 2^n\}$ 의 행동을 분류한다.
• $F(x) = y$ 이다 ⇔ $\phi$ 가 $x$의 이진 전개(또는 그 쌍대)를 $y$의 이진 전개로 매핑한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 0$ 에 대해 $\{\xi 2^n\} \in [x, y]$를 만족하는 $ξ > 0$ 이 존재하는 $x \in [0,1]$ 는 무엇이며, 그러한 $y$ 의 최소값은 얼마인가요?
• RQ2 모든 $n$ 에 대해 $\{\xi 2^n\} \in [x,y]$를 만족하는 최소 $y$ 를 $x$ 에 매핑하는 함수 $F(x)$ 는 $ξ$ 의 이진 전개의 렉시코그래픽 구조에 의해 어떻게 결정되나요?
• RQ3 $ξ$ 의 밑수 2 전개와 $\{\xi 2^n\}$ 수열의 1을 모듈로로 나눈 구조 사이의 정확한 관계는 무엇인가요?
• RQ4 $F(x)$ 가 반개방 또는 개방 간격을 제공하는 경우는 언제이며, 이는 수열 $\boldsymbol{s}_{\alpha,\rho}$ 의 시프트에 따라 어떻게 달라지나요?
• RQ5 이진 수열의 중심 단어와 팔린드롬 접두어는 $F(x)$ 의 값을 어떻게 결정하나요?

주요 결과

• $F(x)$ 는 $x$ 의 이진 전개의 렉시코그래픽 순서에 의해 완전히 결정되며, $F(x) = y$ 이다 ⇔ $\phi$ 가 $x$ 의 이진 전개에 적용되었을 때 $y$ 의 이진 전개를 생성한다.
• 예를 들어, $x = \frac{1}{4} = 0.01000\ldots_2$ 이면 $F\left(\frac{1}{4}\right) = \frac{2}{3}$ 이며, 이는 $\phi(01000\ldots) = (10)^\infty$ 이고 이는 $\frac{2}{3}$ 의 이진 전개이기 때문이다.
• 만약 $ξ$ 의 이진 전개가 $\{k,k+1\}$ 위에서 슈르미언 수열이라면, $\{\xi 2^n\}$ 은 길이 $1/2$ 인 닫힘 간격 내에 있으며, 이러한 수열의 지지집합 내의 $x$ 에 대해 $F(x)$ 는 잘 정의된다.
• $F(x)$ 의 값은 $x$ 의 이진 전개의 가장 긴 중심 접두어에 의해 결정되며, 이 접두어가 $w_{p,q}$ 라면, 특정한 $p,q$ 에 대해 $F(x) = \frac{1}{2} + \frac{1}{2} \cdot \frac{p}{q}$ 가 된다.
• 수열 $\boldsymbol{u}$ 가 $w_{p,q}100$ 으로 시작하고 $p > 2q$ 라면, $\phi(0\boldsymbol{u}) = (1w_{p,q}0)^\infty$ 가 되며, 이는 $\phi$ 의 이미지를 통해 $F(x)$ 를 결정한다.
• $F(x)$ 는 $x$ 의 이진 전개가 궁극적으로 순환하지 않을 경우 불연속적이며, 그 값은 특성 슈르미언 수열과의 렉시코그래픽 비교에 따라 달라진다.