[論文レビュー] On the simple normality to base 2 of the square root of s, for s not a perfect square

Richard Isaac|ArXiv.org|Dec 16, 2005

Mathematics and Applications参考文献 2被引用数 3

ひとこと要約

この論文は、有限差分とテイル関数解析を用いて、任意の完全平方でない自然数の平方根が、基数2において単純正規であることを証明している。√s の2進展開における1の極限頻度が1/2に収束することを示し、s の2進展開のシフトに関して、桁の頻度のlimsup の不変性を活用している。

ABSTRACT

We show that each number of the form, the square root of s for s not a perfect square, is simply normal to the base 2. The argument uses some elementary ideas from the calculus of finite differences.

研究の動機と目的

• √2 のようなよく知られた無理数が基数2で単純正規であるかどうかを特定すること。
• 特定の非ランダムな無理数を正規数として同定するという長年の未解決問題に取り組むこと。
• √s のテイル行動とその桁の頻度分布を結びつける十分条件「条件(TU)」を確立すること。
• 有限差分と座標関数解析の新しい応用により、√s が基数2で単純正規であることを示すこと。
• 今後の研究において、単純正規性から完全正規性（単純正規性を超える性質）への拡張の基盤を築くこと。

提案手法

• ω = √s と ν = ω² の2進展開を用い、ω の桁の頻度を ν の展開のテイル行動に関連付ける。
• 平均頻度関数 fₙ(ω) = (X₁ + ... + Xₙ)/n を定義し、ω の最初の n 個の2進桁における1の割合を表す。
• 部分列 nᵢ 沿いでの f(ω) = limsup fₙ(ω) を導入し、これは X-系列に関するテイル関数として機能する。
• 条件(TU) を確立：f(ω) は ν の桁（U-系列）の初期部分に依存せず、テイルにのみ依存する。
• 有限差分の微積分を用いて、fₙ(ω) が ν の桁の変化に対してどれほど感度が高いかを分析し、初期の Uᵢ 桁の変化が fₙ の limsup に影響しないことを示す。
• 背理法を用いて、有限差分展開における ΔXⱼ の係数が j が大きくなるにつれて消えることを証明し、f が U-系列のテイルシフトに関して不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非完全平方整数の平方根は、基数2において単純正規であるか？
• RQ2 √s の2進展開における平均桁頻度の limsup が、その平方の2進展開のテイルにのみ依存することが示せるか？
• RQ3 f(ω) が U-系列（ν の桁）に関してテイル関数であるという条件(TU) が √s に対して成り立つか？
• RQ4 有限差分技法を用いて、無理数の桁頻度極限の不変性を証明できるか？
• RQ5 この手法を用いて、単純正規性から完全正規性への拡張が可能か？

主な発見

• この論文は、任意の完全平方でない自然数 s に対して、√s が基数2で単純正規であることを証明している。
• 条件(TU) が満たされている：平均桁頻度 f(ω) の limsup は、U-系列（ν = ω² の2進展開）のテイルにのみ依存する。
• 関数 f(ω) は U-系列のシフトに関して不変であり、ν の展開のテイルによって決定される。
• 有限差分解析により、初期桁 Xⱼ が fₙ(ω) の limsup に与える寄与は極限で消えることが確認され、テイル依存性が裏付けられた。
• ω と ω′ が平方の2進展開で同じテイルを持つ限り、f(ω) = f(ω′) が成り立つことが証明された。
• この結果は、将来的に完全正規性への拡張が可能である可能性を支持しているが、その拡張は今後の研究に委ねられている。