[論文レビュー] Simulation of the Collatz 3x+1 function by Turing machines

Michel Pascal|arXiv (Cornell University)|Sep 25, 2014

Benford’s Law and Fraud Detection参考文献 3被引用数 4

ひとこと要約

本稿では、停止しない3状態4記号のチューリングマシンを提案し、これはコラッツの3x+1関数をシミュレートするもので、従来の3×5および4×4マシンを改善したものである。また、コラッツ列が2→1→2の循環に達する際に正確に停止する4つの新しい停止型チューリングマシン（3×10、4×6、5×4、13×2）を導入し、3x+1予想の新たな計算的表現を提供する。

ABSTRACT

We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on the final loop, in the classes 3x10, 4x6, 5x4, and 13x2.

研究の動機と目的

• より少ない状態数と記号数で、コラッツの3x+1関数をシミュレートするより効率的なユニバーサルシミュレータを構築すること。
• 3x+1関数が停止しない3×4マシンによってシミュレート可能であることを示すことで、チューリングマシンの分類を精緻化すること。
• コラッツ列の最終的な2→1→2の循環を検出する新しい停止型チューリングマシンを設計し、3x+1予想の計算的検証を可能にすること。
• バイナリ、ユニタリ、および3進数といった異なる数の表現方法をチューリングマシンのシミュレーションに応用し、状態数と記号数を最適化すること。

提案手法

• 3×4チューリングマシンは、3進数で表現された数を処理し、3倍の計算と標準的な2で割るアルゴリズムの容易さを活用する。
• 停止型マシンは、既知の停止しないマシンに追加の状態を追加することで、数1または2→1→2ループに対応する状態構成を検出するように拡張される。
• 3×10および4×6マシンの構築では、それぞれマーゲンシュタインの2×10および3×6マシンに停止状態を追加し、数1を示す(A1)b構成を検出可能にする。
• 5×4マシンは3進数表現を用い、末尾の0をクリアするための状態と、(Bb)構成を停止条件として検出するための状態を追加することで構築される。
• 13×2マシンは、マーゲンシュタインの11×2バイナリ符号化マシンを拡張し、数1を示す(A1)10構成を検出するための状態を追加することで構築される。
• すべてのマシンは、コラッツ関数を正しくシミュレートし、列が2→1→2の循環に達する際に正確に停止することを形式的に検証済みである。

実験結果

リサーチクエスチョン

• RQ1 コラッツの3x+1関数は、停止しない3状態4記号のチューリングマシンによってシミュレート可能であり、既知の3×5および4×4マシンを改善できるか？
• RQ2 コラッツ列が2→1→2の循環に達する際に正確に停止する、3×10、4×6、5×4、13×2のクラスに属する新しい停止型チューリングマシンを構築可能か？
• RQ3 バイナリ、ユニタリ、3進数といった異なる数の表現方法は、3x+1関数をシミュレートするチューリングマシンの効率性と設計にどのように影響を与えるか？
• RQ4 最終的なループでの停止条件を満たすために、3x+1関数をシミュレートするのに必要な最小の状態数と記号数の組み合わせは何か？

主な発見

• 停止しない3×4チューリングマシンが新たに構築され、これによりコラッツの3x+1関数がシミュレート可能であり、従来の3×5および4×4マシンを改善している。
• 3×10チューリングマシンは、マーゲンシュタインの2×10マシンに1つの状態を追加することで得られ、(A1)b構成が検出された際に停止可能になる。
• 4×6チューリングマシンは、マーゲンシュタインの3×6マシンに1つの追加状態を追加し、(A1)b構成を検出し停止可能にする。
• 5×4チューリングマシンは、3×4マシンに2つの新しい状態を追加することで構築される：1つは末尾の0をクリアするためのもの、もう1つは(Bb)構成を停止条件として検出するためのもの。
• 13×2チューリングマシンは、マーゲンシュタインの11×2マシンに2つの状態を追加し、バイナリ符号化された数1を示す(A1)10構成を検出可能にする。
• 新規に構築された各停止型マシンは、3x+1予想の形式的かつ有限状態のテストを提供する：予想が成り立つのは、すべての正の整数入力に対してマシンが停止する場合に限る。