[論文レビュー] Fraenkel's Partition and Brown's Decomposition

Kevin O’Bryant|ArXiv.org|May 9, 2003

semigroups and automata theory参考文献 11被引用数 11

ひとこと要約

本稿は、ベアシー列と非標準解析の性質を用いて、フラーエンケルの分割定理およびブラウンの分解に関する簡潔で自己完結的な証明を提供する。正の整数を被覆する2つのベアシー列の必要十分条件を確立し、ベアシー列の特徴的バイナリ語が連分数の収束値と分数部分を用いて、より長い列の初期セグメントの積に分解可能であることを示している。

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.

研究の動機と目的

• フラーエンケルの分割定理の完全で短く正確な証明を提供すること。この定理は、2つのベアシー列が正の整数を被覆する条件を特徴づける。
• ブラウンの分解の新しい洗練された証明を提示すること。この分解は、ベアシー列の特徴的語の初期セグメントを、より長いセグメントの積として表現する。
• 非標準解析と連分数理論を用いることで、過去の証明における歴史的問題点（誤った記述や過剰に複雑な議論）を解消すること。
• 特に床関数と分数部分関数を用いた、ベアシー列と分数部分の関係を明確にすること。
• 連分数展開の連分数数 $ \alpha $ を用いた $ 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 $ に依存し、$ 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 2つのベアシー列 $ \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} $ の被覆と互いに素であることを保証する。
• ブラウンの分解は、$ \alpha $ の連分数数 $ q_1, q_2, \dots $ を用い、少なくとも指数関数的に増加する。$ C_m $ は $ i = 0 $ から $ t $ まで $ C_{q_i}^{z_i} $ の積として分解可能であり、$ q_t $ は $ m $ より小さい最大の連分数数である。
• 証明により $ C_m = C_{q_t} C_{m - q_t} $ が成り立ち、帰納法により完全な分解が得られる。この際、$ |s| < q_{t+1} $ のとき $ \|s\alpha\| > \|q_t\alpha\| $ という重要な不等式が成立する。
• 特徴的語 $ c_k = \lfloor (k+1)\alpha \rfloor - \lfloor k\alpha \rfloor $ は、$ \alpha $ が有理数のとき周期的であり、無理数のときは連分数を用いて構造化される。
• 分解は $ m $ に依存しない。なぜなら、$ q_i $ の集合は $ \alpha $ のみに依存し、$ m $ に依存しないからである。これにより、普遍的な構造的分解が得られる。
• 非標準解析を用いて、無理数の場合を有理数の場合に還元する。$ \alpha $ を $ \ast $-有理数 $ \gamma, \delta $ で近似し、被覆性と語の構造を保つ。