[논문 리뷰] Fraenkel's Partition and Brown's Decomposition

Kevin O’Bryant|ArXiv.org|2003. 05. 09.

semigroups and automata theory참고 문헌 11인용 수 11

한 줄 요약

이 논문은 베아티 수열과 비표준 해석학을 이용하여 프렌켈의 분할 정리와 브라운의 분해에 대한 간결하고 자가 포함된 증명을 제시한다. 양의 정수를 덮는 데 필요한 그리고 충분한 조건을 규명하고, 베아티 수열의 특성 이진 단어가 연속 분수 수렴근과 분수 부분을 활용하여 더 긴 수열의 초기 세그먼트의 곱으로 분해될 수 있음을 보여준다.

ABSTRACT

Denote the sequence ([ (n-x') / x ])_{n=1}^\infty by B(x, x'), a so-called Beatty sequence. Fraenkel's Partition Theorem gives necessary and sufficient conditions for B(x, x') and B(y, y') to tile the positive integers, i.e., for B(x, x') \cap B(y, y') = \emptyset and B(x, x') \cup B(y, y') = {1,2, 3, ...}. Fix 0 < x < 1, and let c_k = 1 if k \in B(x, 0), and c_k = 0 otherwise, i.e., c_k=[ (k+1) / x ] - [ k / x]. For a positive integer m let C_m be the binary word c_1c_2c_3... c_m. Brown's Decomposition gives integers q_1, q_2, ..., independent of m and growing at least exponentially, and integers t, z_0, z_1, z_2, ..., z_t (depending on m) such that C_m = C_{q_t}^{z_t}C_{q_{t-1}}^{z_{t-1}} ... C_{q_1}^{z_1}C_{q_0}^{z_0}. In other words, Brown's Decomposition gives a sparse set of initial segments of C_\infty and an explicit decomposition of C_m (for every m) into a product of these initial segments.

연구 동기 및 목표

• 두 베아티 수열이 양의 정수를 덮을 수 있는지 여부를 특징짓는 프렌켈의 분할 정리에 대해 완전하고 간결하며 올바른 증명을 제공하는 것.
• 베아티 수열의 초기 세그먼트의 특성 단어를 더 긴 수열의 초기 세그먼트의 곱으로 표현하는 브라운의 분해에 대해 새로운, 간결한 증명을 제공하는 것.
• 비표준 해석학과 연속 분수 이론을 활용하여 이전 증명에서의 역사적 문제점, 즉 잘못된 진술과 과도하게 복잡한 추론을 해결하는 것.
• 특히 바닥 함수와 분수 부분 함수를 통해 베아티 수열과 분수 부분 간의 관계를 명확히 하는 것.
• 연속 분수 전개의 연속분수 계수를 이용하여 특성 단어 $ C_m $ 의 분해를 수립함으로써 재귀적 구조 분석을 가능하게 하는 것.

제안 방법

• 비표준 해석학을 사용하여 무리수 경우를 다루고, $ \ast $-유리수 근사에 의해 무리수 경우를 유리수 경우로 환원함으로써 프렌켈의 정리를 증명한다.
• 베아티 수열 $ \mathcal{B}(\alpha, \alpha') $ 을 $ \left\lfloor \frac{n - \alpha'}{\alpha} \right\rfloor $ 로 정의하고, $ k \in \mathcal{B}(\alpha) \Leftrightarrow \{k\alpha\} \in \overline{(-\alpha, 0]} $ 의 동치 조건을 사용한다.
• 브라운의 분해에 있어서는 $ \alpha $ 의 연속 분수 전개의 연속분수 계수 $ q_t $ 를 사용하며, $ m $ 보다 작은 최대의 $ q_t $ 를 선택하고, 분수 부분의 성질을 통해 $ C_m = C_{q_t} C_{m - q_t} $ 를 증명한다.
• 핵심 기술 도구는 렘마 7이며, 이는 $ |s| < q_{t+1} $ 이면 $ \|s\alpha\| > \|q_t\alpha\| $ 라고 하는 것으로, 구간의 대칭 차집합에서 겹침이 없음을 보장한다.
• 증명은 $ m $ 에 대한 귀납법을 사용하며, 재귀식 $ C_m = C_{q_t} C_{m - q_t} $ 를 통해 문제를 더 작은 세그먼트로 환원하고, 기본 케이스는 작은 $ q_t $ 를 통해 처리한다.
• 분해가 $ m $ 에 따라 달라지지 않음을 보이며, $ q_1, q_2, \dots $ 는 적어도 지수적으로 증가하고, 지수 $ z_0, \dots, z_t $ 는 $ m $ 에 따라 결정된다.

실험 결과

연구 질문

• RQ1 두 베아티 수열 $ \mathcal{B}(\alpha, \alpha') $ 과 $ \mathcal{B}(\beta, \beta') $ 이 양의 정수를 덮는 조건은 무엇인가?
• RQ2 베아티 수열의 특성 단어 $ C_m $ 은 어떻게 더 긴 수열의 초기 세그먼트의 곱으로 분해될 수 있는가?
• RQ3 $ \alpha $ 의 연속 분수 전개의 연속분수 계수는 $ C_m $ 의 구조에서 어떤 역할을 하는가?
• RQ4 비표준 해석학은 베아티 수열과 그들의 덮개 성질에 관한 결과를 효과적으로 증명하는 데 사용될 수 있는가?
• RQ5 왜 분해 $ C_m = C_{q_t}^{z_t} \cdots C_{q_0}^{z_0} $ 가 성립하며, 지수 $ z_i $ 가 잘 정의되어 있는가?

주요 결과

• 프렌켈의 분할 정리는 필요하고 충분한 조건을 갖추어 증명되었으며, 조건은 $ \alpha, \beta \in (0,1) $, $ \alpha + \beta = 1 $, $ \alpha $ 가 무리수여야 하며, $ \alpha' + \beta' = 1 $ 이어야 하며, 이는 $ \mathbb{N} $ 의 분할이 이산적이고 완전함을 보장한다.
• 브라운의 분해는 $ q_1, q_2, \dots $ 가 $ \alpha $ 의 연속분수 계수이며 적어도 지수적으로 증가하며, $ C_m $ 이 $ C_{q_i}^{z_i} $ 의 곱으로 분해됨을 보여주며, $ i = 0 $ 에서 $ t $ 까지이며, $ q_t $ 는 $ m $ 보다 작은 최대의 연속분수 계수이다.
• 증명은 $ C_m = C_{q_t} C_{m - q_t} $ 를 수립하며, 이는 귀납법을 통해 전체 분해를 유도한다. 이 과정에서 핵심 부등식 $ \|s\alpha\| > \|q_t\alpha\| $ 가 $ |s| < q_{t+1} $ 일 때 성립함을 보장한다.
• 특성 단어 $ c_k = \lfloor (k+1)\alpha \rfloor - \lfloor k\alpha \rfloor $ 는 $ \alpha $ 가 유리수일 경우 주기적임을 보이고, 무리수일 경우 연속 분수를 통해 구조화됨을 보여준다.
• 분해는 $ m $ 와 무관하다는 점에서, $ q_i $ 의 집합은 $ \alpha $ 에만 의존하며, $ m $ 에 따라 달라지지 않아 보편적인 구조적 분해가 된다.
• 비표준 해석학을 사용하여 무리수 경우를 유리수 경우로 환원하며, $ \alpha $ 를 $ \ast $-유리수 $ \gamma, \delta $ 로 근사함으로써 덮개 성질과 단어 구조를 유지한다.