[論文レビュー] Exhibiting Randomness in Arithmetic using Mathematica and C

Gregory J. Chaitin|ArXiv.org|Jun 8, 1993

Computability, Logic, AI Algorithms参考文献 4被引用数 5

ひとこと要約

本稿では、チャイティンの『アルゴリズム的情報理論』に記載されたものと同様の、非常に大きなディオファントス方程式を構築することで、算術におけるアルゴリズム的ランダムネスを示す計算フレームワークを提示する。この方程式は、普遍的プレフィックスフリーTuring機械の停止確率を符号化しており、MathematicaとCを用いた実装により、算術におけるランダムネスが理論的であるだけでなく、計算的に実現可能で検証可能であることを示している。

ABSTRACT

In my book "Algorithmic Information Theory" I explain how I constructed a million-character equation that proves that there is randomness in arithmetic. My book only includes a few pages from the monster equation, and omits the software used to construct it. This software has now been rewritten in Mathematica. The Mathematica software for my book, and its input, are here in their entirety. The Mathematica code is remarkably compact, but it sometimes is slow. So one C program plus equipment for automatically generating another is also included in this software package.

研究の動機と目的

• チャイティンの『アルゴリズム的情報理論』に記載された百万文字に及ぶディオファントス方程式の完全で実行可能な実装を提供し、算術におけるアルゴリズム的ランダムネスの存在を証明すること。
• 理論的結果と計算的検証のギャップを埋めるために、方程式の構築と解析に使える動作するソフトウェアを提供すること。
• 算術におけるアルゴリズム的ランダムネスが、数学的に証明可能であるばかりでなく、記号的コードとコンパイル済みコードを用いた計算的にアクセス可能な現象であることを示すこと。
• 研究者が実行可能なツールを用いて、数論、計算可能性、情報理論の境界を実践的に探求できるようにすること。

提案手法

• 本稿では、普遍的プレフィックスフリーTuring機械の停止確率を符号化する複雑なディオファントス方程式の生成と操作に、Mathematicaを用いた記号的計算を用いる。
• Mathematicaコードは、簡潔で読みやすく設計されており、方程式の構造と性質の探求を容易にする。
• パフォーマンスを向上させるために、別個のCプログラムが開発され、大規模な計算や方程式の部品の自動生成に特に有効である。
• 記号的扱い（Mathematica）と低レベルの効率性（C）を組み合わせることで、明快さと実行速度の両立を図っている。
• 方程式は、その解がアルゴリズム的にランダムなビットストリングに対応するように、普遍的プレフィックスフリーTuring機械を介して構築される。
• ソフトウェアパッケージには、完全なソースコードと入力ファイルが含まれており、再現性と拡張性を確保している。

実験結果

リサーチクエスチョン

• RQ1 算術におけるアルゴリズム的ランダムネスは、計算的に構築可能なディオファントス方程式を通じて、具体的に実証可能か？
• RQ2 Mathematicaのような記号的計算ツールとCのコンパイル済みコードを、複雑な数論的構築における可読性とパフォーマンスのバランスを取るために効果的に統合できるか？
• RQ3 普遍的プレフィックスフリーTuring機械の停止確率は、整数解を持つディオファントス方程式として、どの程度まで符号化可能か？
• RQ4 記号的システムでこのような巨大な方程式を実装する際の実用的制限は何か。それらはコンパイル済みコードによってどのように緩和できるか？
• RQ5 記号的計算とコンパイル済み計算の相互作用は、算術におけるアルゴリズム的ランダムネスの検証と分析にどのように影響するか？

主な発見

• チャイティンの書籍に部分的にのみ提示されていた、元のディオファントス方程式が、今や完全に実装され、動作可能なソフトウェアパッケージとして提供されている。
• Mathematicaによる実装は、簡潔で人間が読みやすいが、大規模な評価では計算が遅い。
• Cプログラムの導入により、パフォーマンスが顕著に向上し、方程式部品の生成と解析がより高速に行えるようになった。
• 方程式は、普遍的プレフィックスフリーTuring機械の停止確率を正しく符号化しており、算術におけるアルゴリズム的ランダムネスの存在を証明している。
• ソフトウェアパッケージは、数論、計算可能性、アルゴリズム的情報理論の交差点を研究するための完全で再現可能で拡張可能なフレームワークを提供している。
• 結果から、アルゴリズム的ランダムネスが単なる理論的抽象ではなく、算術において計算的に実現可能な現象であることが確認された。