[論文レビュー] The many faces of the Kempner number

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

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

ひとこと要約

本稿では、無限級数 ∑_{n=0}^∞ 1/2^{2^n} として定義されるケンプナー定数の超越性について、デジタル解析、マーラーのp進数法、リドイュートのp進数ロス定理、連分数構造、および部分空間定理といった多様な手法を用いて、5つの異なる証明を提示する。主な貢献は、これらの多様なアプローチが、超越性、ディオファントス近似、組合せ的整数論の間の深い関係を明らかにすることにある。

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.

研究の動機と目的

• ケンプナー定数 κ = ∑_{n=0}^∞ 1/2^{2^n} の超越性を示す5つの数学的証明を提示・分析すること。
• 各証明が、超越論およびディオファントス近似の高度な結果に関連するより深い洞察と技術をどのように明らかにするかを示すこと。
• κ の2進展開の構造、その連分数、および近似性質の間の関係を強調すること。
• 部分空間定理や連分数における対称的パターンといった、組合せ的・代数的道具の、超越性の証明における有用性を示すこと。
• 詳細な証明を文献に参照しながら、超越数論の高度なトピックへの入り口となる包括的なサーベイを提供すること。

提案手法

• ケンプナー定数の母関数 f(x) = ∑_{n=0}^∞ x^{2^n} を用いた、f(x)^i = (∑_{n=0}^∞ x^{2^n})^i の係数ごとの展開に基づくデジタル的手法を用いる。
• f(x) が満たす関数方程式を解析するために、マーラーの手法を適用し、p進解析的手法を活用する。
• リドイュートによるp進数版のロス定理を用いて、κ への有理数近似を評価する。
• κ の連分数展開を解析し、回文的ブロックを含む自己同一的・対称的構造を示す。
• κ と κ² の収束分数を含む線形形式に、シュミットの部分空間定理を適用し、共通の分母を活用する。
• 連分数の連分数数（continuants）の鏡像公式および再帰関係を用いて、近似の評価を得るとともに、部分空間定理の適用によって矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 ケンプナー定数の超越性は、概念的に異なる複数の方法で証明可能か？
• RQ2 代数的無理数の2進数値における非ゼロ桁のパターンは、非ゼロ桁の個数とどのように関係するか。また、その下界としてどのような関数が得られるか？
• RQ3 連分数における対称的パターン（例：回文）は、超越性の判定にどのような役割を果たすか？
• RQ4 自己同一的連分数構造を持つ数に対して、部分空間定理をどれほど活用して超越性を検出できるか？
• RQ5 スパースな2進展開をもつ数の超越性を示す際に、p進数的手法とロス型定理はどのように作用し合うか？

主な発見

• ケンプナー定数 κ = ∑_{n=0}^∞ 1/2^{2^n} は、5つの異なる証明によって超越的であることが示され、それぞれが数論における深い関係を明らかにする。
• 偽2進展開と繰り上がりの観点から導かれるデジタル証明により、任意の代数的無理数の2進展開における非ゼロ桁の個数は、N の任意のべきよりも速く増加する関数によって下から抑えられることが示される。
• κ の連分数展開は、回文的ブロックを含む自己同一的構造を示し、κ が二次的であると仮定すると矛盾が生じる。これにより、κ が超越的であることが証明される。
• κ と κ² の収束分数から得られる整数四つ組に部分空間定理を適用すると、それらが有限個の真部分空間に含まれることが示され、κ が二次的でなければ矛盾が生じる。
• κ と κ² の収束分数が共通の分母を持つ近似を示すが、部分空間定理の下ではこの性質が成立せず、κ が二次的でないことが示され、したがって超越的であることが結論づけられる。
• 本稿では、実数の連分数展開に任意に長い回文的ブロックが含まれるならば、その数は二次的であるか、超越的であることを示す基準を確立している。この基準は κ に適用可能である。