[論文レビュー] On the joint normality of certain digit expansions

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

History and Theory of Mathematics被引用数 6

ひとこと要約

本稿では、点が数論的変換 $ T $ に関して正規であるための必要十分条件が、任意の $ n \geq 1 $ に対して $ T^n $ に関しても正規であることであることを確立しており、シュヴァイガーの以前の証明における誤りを是正している。拡張された変換とシリンダーセット解析を用いて、著者たちはこの結果を拡張し、正規連分数（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.

研究の動機と目的

• 反復的数論的変換における正規性の同値性に関するシュヴァイガーの研究における誤った証明を是正すること。
• 任意の $ n \geq 1 $ に対して $ T $-正規性が $ T^n $-正規性と同値であることを確立し、シュミットの基数正規性定理をより広範な力学系へ拡張すること。
• 構造的ダイナミクスを符号化する拡張された変換を構築することで、正規連分数（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の変種を適用し、頻度比が収束する正ルベーグ測度の集合がECF正規数の集合に含まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 1 $ に対して $ T $-正規性と $ T^n $-正規性が同値となる条件は何か？
• RQ2 シュヴァイガーの変換正規性に関する誤った証明は是正され、一般化可能か？
• RQ3 正規連分数（RCF）正規性は奇数連分数（OCF）正規性と同値か？
• RQ4 ECFの不変測度が無限大であるにもかかわらず、RCF正規性は偶数連分数（ECF）正規性と同値か？
• RQ5 拡張された変換を用いて、基数$ b $を超える展開においても異なる桁展開間の共同正規性を証明できるか？

主な発見

• 本稿では、$ x $ が $ T $-正規であることと、すべての $ n \geq 1 $ に対して $ T^n $-正規であることとが同値であることを証明しており、シュヴァイガーの元の証明における誤りを是正している。
• RCF正規性はOCF正規性を含むことが示され、その証明は連分数係数の偶奇性と値に基づく桁変更アルゴリズムに依存している。
• ECFの不変測度が無限大であるにもかかわらず、RCF正規性はECF正規性を含むことが、有限シリンダーセット測度を含む修正された頻度比条件を用いて示されている。
• 拡張された変換 $ \widetilde{T} $ を用いることで、$ \widetilde{T}^n(x;1) $ が $ m(n)+1 $ 番目以降のすべてのECF桁を符号化でき、ECFシリンダーセットのトリガーストリングが有限長であることが保証される。
• ECFシリンダーセットへの訪問頻度比は、その測度比に漸近的に収束し、誤差項が $ O(|s|) $ で有界であることが確認され、新しい正規性定義のもとで漸近的同値性が裏付けられた。
• 本手法により、頻度比が収束する正ルベーグ測度の任意の集合 $ X \subset [0,1) $ がECF正規数の集合に含まれることが示され、全測度基準が得られた。