[论文解读] 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

一句话总结

本文通过有限差分与尾函数分析，证明了任意非完全平方自然数的平方根在二进制下是简单正规的。研究表明，√s 的二进制展开中数字1的极限频率收敛于1/2，其依据是数字频率的上极限在平方的二进制展开发生移位时保持不变。

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这样的著名无理数是否在二进制下是简单正规的。
• 解决长期存在的开放问题：识别特定非随机无理数为正规数。
• 建立一个充分条件——条件(TU)，将√s的尾部行为与其数位频率分布联系起来。
• 通过有限差分与坐标函数分析的创新应用，证明√s在二进制下满足简单正规性。
• 为未来工作奠定基础，将结果推广至完全正规性（而不仅限于简单正规性）。

提出的方法

• 利用ω = √s与ν = ω²的二进制展开，将ω的数位频率与ν展开的尾部行为联系起来。
• 定义平均频率函数fₙ(ω) = (X₁ + ... + Xₙ)/n，表示ω前n个二进制数位中1的比例。
• 引入上极限函数f(ω) = limsup fₙ(ω)（沿子序列nᵢ），该函数作为X序列的尾函数。
• 建立条件(TU)：f(ω)仅依赖于U序列（即ν的数位）的尾部，而不依赖于初始段。
• 应用有限差分微积分分析fₙ(ω)对ν数位变化的敏感性，表明ν早期Uᵢ数位的变化不会影响fₙ的上极限。
• 通过反证法证明：在有限差分展开中，ΔXⱼ的系数随j增大而消失，意味着f在U序列的尾部移位下保持不变。

实验结果

研究问题

• RQ1 非完全平方整数的平方根是否在二进制下是简单正规的？
• RQ2 能否证明√s的二进制展开中平均数位频率的上极限仅依赖于其平方的二进制展开的尾部？
• RQ3 条件(TU)——即f(ω)是U序列的尾函数——是否对√s成立？
• RQ4 有限差分技术能否用于证明无理数中数位频率极限的不变性？
• RQ5 能否使用此方法将结果从简单正规性推广至完全正规性？

主要发现

• 本文证明了对于任意非完全平方自然数s，√s在二进制下是简单正规的。
• 条件(TU)成立：平均数位频率f(ω)的上极限仅依赖于U序列（即ν = ω²的二进制展开）的尾部。
• 函数f(ω)在U序列的移位下保持不变，意味着它由ν展开的尾部决定。
• 有限差分分析表明，早期数位Xⱼ对fₙ(ω)上极限的贡献在极限下消失，从而确认了对尾部的依赖性。
• 证明表明，当ω与ω′的平方在二进制展开中具有相同的尾部时，必有f(ω) = f(ω′)。
• 该结果支持未来工作将此方法推广至证明完全正规性，尽管该问题目前仍待解决。