[論文レビュー] Stochastic Models for the 3x+1 and 5x+1 Problems

Alex Kontorovich, Jeffrey C. Lagarias|arXiv (Cornell University)|Oct 11, 2009

Benford’s Law and Fraud Detection参考文献 29被引用数 5

ひとこと要約

本稿では、$3x+1$ 問題と$5x+1$ 問題における軌道の長期的挙動を予測するため、確率的ウォークおよび分岐過程の枠組みを用いた確率的モデルを開発する。$3x+1$ 軌道は有界である（成長定数$g=1$）と予想されるが、$5x+1$ 軌道は密度1の整数集合に対して発散し、例外集合の密度は$\delta_5 \approx 0.649$であると予想される。

ABSTRACT

This paper discusses stochastic models for predicting the long-time behavior of the trajectories of orbits of the 3x+1 problem and, for comparison, the 5x+1 problem. The stochastic models are rigorously analyzable, and yield heuristic predictions (conjectures) for the behavior of 3x+1 orbits and 5x+1 orbits.

研究の動機と目的

• $3x+1$および$5x+1$反復の長期的ダイナミクスを解析可能な確率的モデルとして開発すること。これらは決定論的手法では取り扱いが困難である。
• 2つの写像の予想される長期的挙動を比較すること。特に、$3x+1$軌道の有界性と、$5x+1$軌道の大多数の発散性の比較である。
• 2進数および$p$-進数の枠組みを用いて、数論的構造がダイナミクスに与える影響を分析すること。
• 大偏差理論を用いて、周期軌道および例外集合の存在と分布を両問題において調査すること。
• アーチメデス的および非アーチメデス的ノルムを統合する統一的枠組みを提案し、ダイナミクスをより正確にモデル化すること。

提案手法

• 整数上での確率的ヒューリスティクスを用いて、前向き反復モデルを確率的ウォークまたはマルコフ過程として定式化し、軌道サイズの変化を予測する。
• 逆向き反復モデルを分岐過程または分岐確率的ウォークとして用い、前像木と軌道構造を探索する。
• 大偏差理論を用いて、$3x+1$の成長定数$g$と、$5x+1$の例外集合密度$\delta_5$を推定する。
• $2$-進数の設定で写像を分析し、$2$-進シフト写像と関係づけるための共役写像$\Phi_3$と$\Phi_5$を用いる。
• $\mathbb{Q}_{(2)} = \mathbb{Q} \cap \mathbb{Z}_2$（分母が奇数である有理数）の不変領域を分析する。この領域は両写像を支持し、すべての周期軌道を含む。
• $3x+1$に対して$\mathbb{Z}_3^*$、$5x+1$に対して$\mathbb{Z}_5^*$の$p$-進整数にモデルを拡張し、無限の逆像木を構築し、グローバル構造を調査する。

実験結果

リサーチクエスチョン

• RQ1 $3x+1$軌道の長期的挙動は、確率的初期条件のもとでどうなるか。また、$5x+1$とはどのように異なるか。
• RQ2 $3x+1$軌道は有界に保たれるが、$5x+1$軌道はほとんどすべての整数に対して発散する。これは局所的ダイナミクスが類似しているにもかかわらず、なぜか。
• RQ3 $5x+1$問題における最終的に周期的となる軌道を持つ整数の密度は何か。また、これは大偏差理論によってどのように決定されるか。
• RQ4 $2$-進数および$p$-進数の構造は、$3x+1$と$5x+1$写像間のダイナミクスの違いをどのように符号化しているか。
• RQ5 アーチメデス的および非アーチメデス的ノルムを統合する統一モデルは、これらの写像の挙動をよりよく予測できるか。

主な発見

• $3x+1$問題では、すべての軌道が有界であると予想され、成長定数$g=1$を満たす。$1 \geq g \geq 0.84$を満たす。
• $5x+1$問題では、密度1の整数集合に対して軌道が無限大に発散すると予想され、例外集合の密度は$\delta_5 \approx 0.649$である。
• 両写像の$2$-進ダイナミクスはエルゴード的で構造的に類似しており、主な違いは$\mathbb{Z}$内での数論的性質に起因すると示唆される。
• $2$-進シフト写像と写像を関係づける共役写像$\Phi_3$と$\Phi_5$は複雑な構造を持ち、ダイナミクスの違いを符号化している可能性がある。
• $\mathbb{Q}_{(2)}$は両写像に関して不変であり、すべての周期軌道を含む。したがって、ダイナミクスの違いを研究するには自然な定義域である。
• $\mathbb{Z}_3^*$および$\mathbb{Z}_5^*$への逆向き反復モデルの拡張により、無限の前像木が構築可能となり、写像のより深い構造的性質が明らかになる。