[論文レビュー] Complexity, Computation, and Measurement

Christoph Adami, Nicolas J. Cerf|arXiv (Cornell University)|May 29, 1996

Computability, Logic, AI Algorithms参考文献 9被引用数 8

ひとこと要約

この論文は、熱力学的チューリングマシンにおける計算と測定の双対性に基づき、物理的複雑性を新たな複雑性の尺度として導入する。この複雑性は、システムの状態とその計算履歴の間の相互情報量として定義され、ゲノムのような現実世界のシステムに適用可能な直感的で推定可能な指標を提供する。

ABSTRACT

We consider the duality between computation and measurement emerging from the thermodynamics of Turing machines. This duality suggests a new measure of complexity (physical complexity) which corresponds to our intuition and appears to be practical enough to estimate the complexity of genomes. From an automata theoretic point of view, this complexity is just the mutual information

研究の動機と目的

• 自然システムにおける直感的な複雑性の概念と整合する物理的根拠を持つ複雑性の尺度を確立すること。
• 計算と測定の熱力学的原理に根ざして、既存の複雑性尺度に内在する曖昧さを解消すること。
• 生物学的システム（ゲノムなど）に適した計算可能で経験的に推定可能な複雑性指標を開発すること。
• 計算と測定の双対性を物理的複雑性を定義する基盤として形式化すること。

提案手法

• 熱力学的チューリングマシンのモデルを用いて、計算と測定の双対性を形式化する。
• システムの状態とその計算的軌道の間の相互情報量として物理的複雑性を定義する。
• 情報理論的ツールを用いて、計算および測定プロセスの熱力学的コストをモデル化する。
• オートマトン理論を用いて、状態の変化と情報の流れの間の関係を分析する。
• 特定の計算変換に対して不変であり、物理的に意味のある複雑性指標を導出する。

実験結果

リサーチクエスチョン

• RQ1 物理的および計算的プロセスを反映する形で、複雑性を形式的に定義する方法は何か？
• RQ2 測定は計算の熱力学において果たす役割は何か？ そしてそれは複雑性とどのように関係するか？
• RQ3 システムの状態とその計算履歴の間の相互情報量は、頑健で実用的な複雑性の指標として機能できるか？
• RQ4 この新しい物理的複雑性の尺度は、生物学的文脈において既存の複雑性指標とどのように比較できるか？

主な発見

• 物理的複雑性は、システムの状態とその計算履歴の間の相互情報量として形式的に定義され、熱力学的根拠を持つ指標を提供する。
• 提案された指標は、ゲノム構造の複雑さのような直感的な複雑性の概念と整合する。
• このフレームワークにより、生物学的配列を含む現実世界のシステムにおける複雑性の実用的推定が可能になる。
• 計算と測定の双対性は、一貫性があり物理的に意味のある複雑性指標を導く。