[论文解读] Fraenkel's Partition and Brown's Decomposition

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

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

一句话总结

本文使用Beatty序列和非标准分析的性质，提供了Fraenkel划分定理与Brown分解的简洁、自包含的证明。它建立了两个Beatty序列划分正整数的充要条件，并表明Beatty序列的特征二进制词可分解为更长序列的初始段的乘积，利用连分数收敛子和小数部分。

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.

研究动机与目标

• 提供Fraenkel划分定理的完整、简短且正确的证明，该定理刻画了两个Beatty序列何时划分正整数。
• 为Brown分解提供一种新的、简化的证明，该分解将Beatty序列特征词的初始段表示为更长初始段的乘积。
• 通过使用非标准分析和连分数理论，解决先前证明中的历史问题，包括错误陈述和过于复杂的论证。
• 阐明Beatty序列与小数部分之间的联系，特别是通过使用向下取整函数和小数部分函数。
• 建立特征词 $ C_m $ 的分解，利用 $ \alpha $ 的连分数展开的连分数常数，实现递归结构分析。

提出的方法

• Fraenkel定理的证明使用非标准分析处理无理数情形，通过 $ \ast $-有理逼近将问题约化为有理数情形。
• 定义Beatty序列 $ \mathcal{B}(\alpha, \alpha') $ 为 $ \left\lfloor \frac{n - \alpha'}{\alpha} \right\rfloor $，并利用等价关系 $ k \in \mathcal{B}(\alpha) \Leftrightarrow \{k\alpha\} \in \overline{(-\alpha, 0]} $。
• 对于Brown分解，方法依赖于 $ \alpha $ 的连分数展开的连分数常数 $ q_t $，选取满足 $ q_t < m $ 的最大值，并通过小数部分的性质证明 $ 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 在何种条件下，两个Beatty序列 $ \mathcal{B}(\alpha, \alpha') $ 和 $ \mathcal{B}(\beta, \beta') $ 能够划分正整数？
• RQ2 如何将Beatty序列的特征词 $ C_m $ 分解为更长序列的初始段的乘积？
• RQ3 连分数展开的连分数常数在 $ C_m $ 的结构中起什么作用？
• RQ4 非标准分析能否有效用于证明关于Beatty序列及其划分性质的结果？
• RQ5 为何分解式 $ C_m = C_{q_t}^{z_t} \cdots C_{q_0}^{z_0} $ 成立，且如何保证指数 $ z_i $ 的定义良好？

主要发现

• Fraenkel划分定理的证明给出了充要条件：$ \alpha, \beta \in (0,1) $，$ \alpha + \beta = 1 $，$ \alpha $ 为无理数，且 $ \alpha' + \beta' = 1 $，确保了 $ \mathbb{N} $ 的不相交覆盖。
• Brown分解成立，其中 $ 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 $ 为有理数时是周期的，而在 $ \alpha $ 为无理数时则通过连分数结构化。
• 该分解在如下意义上与 $ m $ 无关：$ q_i $ 的集合仅依赖于 $ \alpha $，而与 $ m $ 无关，使其成为一种普遍的结构分解。
• 证明使用非标准分析将无理数情形约化为有理数情形，通过用 $ \ast $-有理数 $ \gamma, \delta $ 近似 $ \alpha $，保持了划分和词结构的不变性。