[論文レビュー] Statistical properties of the Calkin--Wilf tree: real an p-adic distribution

Giedrius Alkauskas, Jörn Steuding|ArXiv.org|Dec 29, 2007

Advanced Combinatorial Mathematics参考文献 10被引用数 3

ひとこと要約

本稿は、Calkin–Wilf木における有理数の統計的分布を調査し、第$ n $世代の平均値が$ \Sigma(n) = 3 \cdot 2^{n-2} - \frac{1}{2} $であることを証明し、$ n \to \infty $のとき$ 1.5 $に収束することを示し、$ p $-進整数上のマルコフ連鎖を用いてこの分布の$ p $-進類似を確立した。遷移行列の有限軌道構造と再帰性を示した。

ABSTRACT

We examine statistical properties of the Calkin--Wilf tree and give number-theoretical applications.

研究の動機と目的

• Calkin–Wilf木における有理数の統計的分布、特に各世代の要素の平均値を分析すること。
• Calkin–Wilf木の実数値統計的性質を$ p $-進設定に拡張し、平均値分布の$ p $-進類似を確立すること。
• $ p $-進整数上のマルコフ連鎖を用いて分布をモデル化し、状態空間における再帰性および有限軌道構造を特徴づけること。
• $ p $-進分布が有限で、既約的かつ非周期的なマルコフ連鎖によって支配され、明示的な再帰性を持つことを証明すること。

提案手法

• 帰納法を用いて、Calkin–Wilf木の第$ n $世代の和$ \Sigma(n) = 3 \cdot 2^{n-2} - \frac{1}{2} $の閉形式表現を証明する。
• 木の対称性の性質：$ x_j^{(n)} = \frac{a}{b} \iff x_{2^{n-1}+1-j}^{(n)} = \frac{b}{a} $を用い、要素をペアで扱い、和の簡略化を行う。
• $ p $-進付値に基づく状態$ (i, \kappa) $を定義し、木の進化を$ p $-進設定でモデル化するための遷移写像$ \tau(i,\kappa) $および$ \sigma(i,\kappa) $を構成する。
• 無限の遷移行列$ \mathcal{A} $を構築し、サイズ$ p^\kappa + p^{\kappa-1} $の有限で、既約的かつ非周期的なブロック$ \mathbf{P}_\kappa $に分解する。
• 各遷移写像における軌道が有限かつ再帰的であり、すべての状態が相互に到達可能であることを証明し、一意の定常分布への収束を保証する。
• 付値の議論を用いて、$ v\left(\frac{a}{a+b} - i\right) \geq \kappa $が成り立つことと、$ v\left(\frac{a}{b} - i_0\right) \geq \kappa_0 $が成り立つことが同値であることを示し、実数と$ p $-進分布を結びつける。

実験結果

リサーチクエスチョン

• RQ1 Calkin–Wilf木の第$ n $世代の要素の正確な平均値は何か？
• RQ2 有理数の分布が$ p $-進付値に関してどのように振る舞うか？
• RQ3 Calkin–Wilf木の統計的性質は、$ p $-進数上でマルコフ連鎖モデルを用いて拡張可能か？
• RQ4 $ p $-進版のCalkin–Wilf木における状態空間および遷移ダイナミクスの構造は何か？
• RQ5 $ p $-進遷移行列は既約的かつ非周期的か？ これにより一意の定常分布への収束が保証されるか？

主な発見

• Calkin–Wilf木の第$ n $世代のすべての要素の和は正確に$ \Sigma(n) = 3 \cdot 2^{n-2} - \frac{1}{2} $であり、$ n \to \infty $のとき平均値が$ \frac{3}{2} $に収束することが示唆される。
• $ p $-進分布は、サイズ$ p^\kappa + p^{\kappa-1} $の有限で、既約的かつ非周期的な遷移行列$ \mathbf{P}_\kappa $を持つマルコフ連鎖によってモデル化される。
• 各$ p $-進軌道は、正確に$ p^\kappa + p^{\kappa-1} $個の異なる状態を持ち、有限で再帰的なクラスを形成する。
• 遷移行列$ \mathcal{A} $は、各$ \kappa \geq 1 $に対応する既約なブロック$ \mathbf{P}_\kappa $からなるブロック対角行列であり、長期的な統計的安定性を保証する。
• $ p $-進版の平均値性質は保存される：各軌道における定常分布は一様であり、再帰性およびすべての状態間の通信性を示す。
• $ p $-進遷移規則$ \tau(i,\kappa) $および$ \sigma(i,\kappa) $は、付値に基づく変換によって定義され、木の再帰的構造と整合性を持つ。