[論文レビュー] The 3x+1 Problem and Integer Representations

Jeffrey R. Goodwin|arXiv (Cornell University)|Apr 13, 2015

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

ひとこと要約

本稿では、3x+1問題における1のすべての逆反復を、指数型ディオファントス方程式を用いて集合論的に精緻化した表現を提示し、自然数解の完全な特徴付けを提供する。主な結果として、自明なサイクルを含む系列における1の比率（奇数項の割合）は、奇数項の数が任意に大きくなるにつれて0に収束する。

ABSTRACT

The $3x+1$ Problem asks if whether for every natural number $n$, there exists a finite number of iterations of the piecewise function $$f(2n)=n, \quad f(2n-1)=6n-2, $$ with an iterate equal to the number $1$, or in other words, every sequence contains the trivial cycle $\left\langle {4,2,1} ight angle$. We use a set-theoretic approach to get representations of all inverse iterates of the number $1$. The representations, which are exponential Diophantine equations, help us study both the extit{mixing} property of $f$ and the asymptotic behavior of sequences containing the trivial cycle. Another one of our original results is the new insight that the extit{ones-ratio} approaches zero for such sequences, where the number of odd terms is extit{arbitrarily large}.

研究の動機と目的

• 3x+1問題における1の逆反復のすべての自然数解を、完全に集合論的に特徴付けること。
• 従来の式（例：Crandallの式）を改善し、非整数解を排除し、自然数解にのみ焦点を当てる。
• 自明なサイクル⟨4,2,1⟩を含む系列の漸近的挙動を分析し、特に奇数項と偶数項の比率を検討すること。
• 逆軌道の構造的表現を通じて、コラッツ関数の混合性に関する新たな知見を提供すること。

提案手法

• Crandallの式の精緻化版に基づき、すべての1の逆反復を指数型ディオファントス方程式で表現する。
• 許容可能な系列(s)と関数ζs(q)を導入し、有理数qをh(s)q − l(s)により整数に写像する。ここでh(s) = 2^||s|| / 3^ℓ(s)であり、l(s)は重み付き和である。
• レベルkにおける整数の特別な3-スムーズ表現を用い、各レベルごとに一意性を保証し、項数の正確な制御を可能にする。
• 原始的シードと小規模な系列(L)の概念を用いて、長さが有界なすべての許容可能な逆軌道を列挙する。
• 連続する奇数項の間の偶数ステップ数を表す差分a_{i+1} − a_iを用いて、系列を偶数項と奇数項のブロックに再帰的に分解する。
• 導出された式とCrandallの元の式との同値性を確立するが、許容可能な系列の構造的制約により非整数解を排除する。

実験結果

リサーチクエスチョン

• RQ1 3x+1関数下での1の逆軌道問題の自然数解の完全な集合は何か？
• RQ2 標準的な逆反復式を、非整数解を除外し自然数解に限定するようにどのように精緻化できるか？
• RQ3 自明なサイクルに到達する系列における1の比率（奇数項の割合）の漸近的挙動は何か？
• RQ4 許容可能な系列と3-スムーズ表現を用いて、逆軌道の構造を完全に特徴付けられるか？
• RQ5 逆反復式におけるパラメータa_iとkは、系列内の偶数項と奇数項の数とどのように関係するか？

主な発見

• 本稿は、非整数解を含む従来の定式化とは異なり、1の逆反復に対して自然数解のみを生成する精緻化された式を提供する。
• 自明なサイクルを含む系列における奇数項の数は、3-スムーズ表現のレベルkに対して、ちょうどk+1に一致する。
• このような系列における偶数項の数は、指数列における最大の指数a_{k+1}で与えられる。
• 差分a_{i+1} − a_iは、系列内における連続する奇数項の間の偶数ステップ数を表す。
• 自明なサイクルを含む系列において、1の比率（奇数項の割合）は、奇数項の数が無限に増加するにつれて0に収束する。
• 導出された表現はCrandallの式と同値であるが、許容可能な系列の構造的制約により自然数解に制限されている。