[论文解读] The many faces of the Kempner number

Boris Adamczewski|arXiv (Cornell University)|Mar 7, 2013

Mathematics and Applications参考文献 69被引用 5

一句话总结

本文通过多种方法——包括数字分析、Mahler 的 p 进方法、Ridout 的 p 进 Roth 定理、连分数结构以及子空间定理——提供了对 Kempner 数（定义为无穷级数 ∑_{n=0}^∞ 1/2^{2^n}）超越性的五个不同证明。其核心贡献在于揭示了超越性、丢番图逼近与组合数论之间深刻的内在联系。

ABSTRACT

In this survey, we present five different proofs for the transcendence of Kempner's number, defined by the infinite series $\sum_{n=0}^{\infty} \frac{1}{2^{2^n}}$. We take the opportunity to mention some interesting ideas and methods that are used for proving deeper results. We outline proofs for some of these results and also point out references where the reader can find all the details.

研究动机与目标

• 呈现并分析 Kempner 数 κ = ∑_{n=0}^∞ 1/2^{2^n} 的五个不同数学证明，以证明其超越性。
• 阐明每种证明如何揭示与超越数论及丢番图逼近中高级结果相关联的深层思想与技术。
• 强调 κ 的二进制展开结构、其连分数表示及其逼近性质之间的联系。
• 展示组合与代数工具（如子空间定理及连分数中的对称模式）在证明超越性方面的有效性。
• 提供一份全面的综述，作为进入超越数论高级主题的入门指南，并引用文献中详细的证明。

提出的方法

• 基于 f(x)^i = (∑_{n=0}^∞ x^{2^n})^i 的系数展开，采用数字方法，其中 f(x) 是 Kempner 数的生成函数。
• 应用 Mahler 方法分析 f(x) 满足的函数方程，利用 p 进分析技术。
• 采用 Ridout 的 p 进版本 Roth 定理，以限制 κ 的有理逼近。
• 分析 κ 的连分数展开，表明其具有涉及回文块的自相似对称结构。
• 应用 Schmidt 子空间定理于 κ 和 κ² 的渐近分数所构成的线性型，利用其共享的分母。
• 利用镜像公式与连分数系数的递推关系，推导逼近界，并通过子空间定理的应用导出矛盾。

实验结果

研究问题

• RQ1 Kempner 数的超越性能否通过多种概念上不同的方法加以证明？
• RQ2 代数无理数的二进制数字模式与其非零数字个数之间有何关系？可建立怎样的下界？
• RQ3 连分数中的对称模式（如回文）在判断超越性方面起什么作用？
• RQ4 在具有自相似连分数结构的数中，子空间定理在多大程度上可用于检测超越性？
• RQ5 对于具有稀疏二进制展开的数，p 进方法与 Roth 型定理如何协同作用以证明其超越性？

主要发现

• Kempner 数 κ = ∑_{n=0}^∞ 1/2^{2^n} 是超越数，这一结论由五种不同的证明方法证实，每种方法均揭示了与数论的深层联系。
• 基于虚假二进制展开与进位机制的数字证明表明，任何代数无理数的二进制展开中非零数字的个数，其下界函数的增长速度超过任何幂函数。
• κ 的连分数具有涉及回文块的自相似结构，若假设 κ 为二次数，则可导出矛盾，从而证明其为超越数。
• 将子空间定理应用于由 κ 和 κ² 的渐近分数导出的整数四元组，表明这些四元组位于有限个真子空间中，除非 κ 为二次数，否则将导致矛盾。
• 由于 κ 和 κ² 的渐近分数共享相同分母，其逼近质量在子空间定理下导致矛盾，从而表明 κ 不可能是二次数，故为超越数。
• 本文建立了一个新准则：若一个实数的连分数包含任意长的回文块，则该数要么是二次数，要么是超越数；此准则适用于 κ。