[论文解读] On the joint normality of certain digit expansions

Joseph Vandehey|arXiv (Cornell University)|Aug 2, 2014

History and Theory of Mathematics被引用 6

一句话总结

本文证明了：一个点关于数论变换 $ T $ 正常，当且仅当它关于 $ T^n $ 对任意 $ n \geq 1 $ 正常，纠正了Schweiger早期证明中的错误。通过引入增强变换与柱集分析，作者将该结果推广，证明了正规连分数（RCF）正常性蕴含在奇连分数（OCF）与偶连分数（ECF）展开中的正常性，为不同数字展开之间的联合正常性提供了严格的框架。

ABSTRACT

We prove that a point $x$ is normal with respect to an ergodic, number-theoretic transformation $T$ if and only if $x$ is normal with respect to $T^n$ for any $n\ge 1$. This corrects an erroneous proof of Schweiger. Then, using some insights from Schweiger's original proof, we extend these results, showing for example that a number is normal with respect to the regular continued fraction expansion if and only if it is normal with respect to the odd continued fraction expansion.

研究动机与目标

• 纠正Schweiger在关于迭代数论变换下正常性等价性方面的错误证明。
• 建立 $ T $-正常性与 $ T^n $-正常性对所有 $ n \geq 1 $ 等价的结论，将Schmidt的底-正常性定理推广至更广泛的动力系统。
• 通过构建编码结构动力的增强变换，研究不同连分数展开（特别是正规连分数（RCF）、奇连分数（OCF）和偶连分数（ECF））之间的关系。
• 利用测度论与动力系统技术，证明RCF正常性蕴含OCF与ECF展开中的正常性。
• 通过引入交错柱集与触发字符串，为非基-$ b $ 展开之间的联合正常性建立框架。

提出的方法

• 在有界空间 $ \Omega \subset \mathbb{R}^m $ 上定义一个数论变换 $ T $，并将其划分为与数字相关的集合 $ \{I_d\} $，确保 $ T|_{I_d} $ 的连续性与单射性。
• 利用点态遍历定理，通过访问柱集 $ C_s $ 的渐近频率定义 $ T $-正常性，其中 $ \mu(C_s) $ 为期望频率。
• 引入一个增强变换 $ \widetilde{T} $，以追踪额外的结构信息（例如连分数系数的奇偶性），从而关联不同的展开方式。
• 构建从RCF到OCF与从RCF到ECF的算法，通过插入、删除或替换数字序列，保持在测度保持动力下的正常性。
• 定义触发字符串，并利用其关联不同展开中的柱集，表明 $ \widetilde{T}^n(x;1) $ 可捕获某一索引之后的所有未来ECF数字。
• 应用引理1.6的变体，证明：频率比收敛的正Lebesgue测度集合包含于ECF正常数的集合中。

实验结果

研究问题

• RQ1 在何种条件下，$ T $-正常性与 $ T^n $-正常性对 $ n \geq 1 $ 等价？
• RQ2 Schweiger关于变换正常性的错误证明能否被纠正并推广？
• RQ3 正规连分数（RCF）正常性是否等价于奇连分数（OCF）正常性？
• RQ4 RCF正常性是否等价于偶连分数（ECF）正常性，尤其考虑到ECF的不变测度是无限的？
• RQ5 增强变换能否用于证明超越基-$ b $ 系统的多种数字展开之间的联合正常性？

主要发现

• 本文证明了：$ x $ 是 $ T $-正常当且仅当对所有 $ n \geq 1 $，$ x $ 是 $ T^n $-正常，纠正了Schweiger原始证明中的错误。
• RCF正常性蕴含OCF正常性，其证明依赖于一种基于连分数系数奇偶性与取值的数字修改算法。
• 尽管ECF的不变测度为无限，RCF正常性仍蕴含ECF正常性，方法是使用涉及有限柱集测度的修改频率比条件。
• 增强变换 $ \widetilde{T} $ 允许 $ \widetilde{T}^n(x;1) $ 编码从位置 $ m(n)+1 $ 开始的所有ECF数字，确保ECF柱集的触发字符串长度有限。
• 访问ECF柱集的频率比收敛于其测度之比，误差项受 $ O(|s|) $ 有界，确认了在新正常性定义下的渐近等价性。
• 该方法表明：任何 $ X \subset [0,1) $ 的正Lebesgue测度集合，若其频率比收敛，则必包含于ECF正常数的集合中，从而提供了完整的测度准则。