[論文レビュー] A Reduced Forward Collatz Algorithm: How Binary Strings Change Their Length Under 3x+1

Richard Kaufman|arXiv (Cornell University)|Jan 18, 2023

Benford’s Law and Fraud Detection被引用数 5

ひとこと要約

本稿では、奇数の2進長さが3x+1写像下でどのように変化するかを、2進桁パターンを分析することで予測する、簡略化された前向きコラッツアルゴリズムを導入する。この手法により、系列における次の奇数のビット長さが増加するか減少するかを簡易的に特定でき、コラッツダイナミクスおよび潜在的反例に関する新たな知見を提供する。

ABSTRACT

We developed an algorithm that easily goes from one odd number to the next odd number in binary representation for the reduced forward Collatz map (Syracuse function). The algorithm indicates when an odd number can grow or shrink to the next odd number based on the pattern of binary digits. The algorithm is also used to provide a simpler method for determining the change in binary string length for the reduced map than one found in the literature. Accordingly, an inspection of the binary digits for an odd number can determine the number of binary digits of the subsequent odd number. We also show some simple results for what the smallest number could be for a counterexample to the Collatz conjecture.

研究の動機と目的

• 簡略化されたアルゴリズムを用いて、縮小版前向きコラッツ写像における2進長さの変化を追跡すること。
• 奇数の2進表現が3x+1写像の1ステップ後にビット長が増加するか減少するかを特定すること。
• コラッツ系列における2進文字列長の変化を計算する既存手法のより効率的な代替手段を提供すること。
• コラッツ予想に対する潜在的反例の存在に及ぼす影響を調査すること。
• 2進桁パターンと3x+1関数が奇数整数に与える挙動との直接的な関連を確立すること。

提案手法

• 奇数の2進表現における末尾の1と0を分析することで、系列における次の奇数を予測する。
• 2進桁の構造を用いて、次の奇数がより多くのビット、より少ないビット、または同じ数のビットを持つかどうかを特定する。
• 末尾の1の数とそれらの直後にある最初の0の位置に注目することで、完全な算術計算を回避する。
• ビット操作による効率性を活かし、2進対応の縮小コラッツ写像（サライアス関数）を適用する。
• 2進文字列の検査と既知の長さ変化行動との比較を通じて、アルゴリズムを検証する。
• 2進接尾部に基づくルールベースの分類システムを導入し、長さ変遷を予測する。

実験結果

リサーチクエスチョン

• RQ1 縮小コラッツ写像の1ステップ後、奇数の2進長さはどのように変化するか？
• RQ2 次の奇数の2進表現が長くなるか短くなるかを決定する2進桁パターンは何か？
• RQ3 完全な計算を置き換える、直接的でパターンに基づいたアルゴリズムは、コラッツ系列における長さ変化を予測するために可能か？
• RQ4 2進構造が、3x+1プロセスにおける奇数の増大または縮小に及える制約は何か？
• RQ5 コラッツ予想に対する潜在的反例を引き起こす最小の2進構造は何か？

主な発見

• アルゴリズムは、現在の数の2進桁パターンに基づくのみで、コラッツ系列における次の奇数の2進表現が長くなるか短くなるかを正確に予測できる。
• 文献に記載された既存の手法よりも、2進文字列長の変化を計算するためのより単純で効率的な方法を提供する。
• 分析により、末尾の1の数とそれらの直後にある最初の0の位置が、長さ変遷を決定する上で極めて重要であることが明らかになった。
• アルゴリズムは、長さの短縮を引き起こす特定の2進構成を同定し、潜在的反例の境界を絞るのに役立つ可能性がある。
• 本稿では、最小の反例が、アルゴリズムのルールが定義する持続的増大と整合する2進構造を持つ必要があると示唆している。
• 結果として、長さ変化は局所的な2進パターンによって予測可能であり、コラッツ関数のグローバルな挙動を分析する新たな視点を提供する。