[論文レビュー] Computational Universality in Symbolic Dynamical Systems

Jean‐Charles Delvenne, Petr Kůrka+1 more|arXiv (Cornell University)|Apr 8, 2004

Computability, Logic, AI Algorithms被引用数 4

ひとこと要約

本稿では、セルラーオートマトンやサブシフトを含む、すべての離散時間記号的力学系に適用可能な一般的で頑健な計算的普遍性の定義を提案する。これは標準的な概念とは異なり、初期条件のノイズを考慮に入れており、普遍的システムが感度を持つ点、適切な部分系、おそらく無限に多くの部分系を備えている必要があることを示している。同時に、普遍的なカオス的システムの構築も示している。

ABSTRACT

Abstract. Many different definitions of computational universality for various types of systems have flourished since Turing’s work. In this paper, we propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. For Turing machines and tag systems, our definition coincides with the usual notion of universality. It however yields a new definition for cellular automata and subshifts. Our definition is robust with respect to noise on the initial condition, which is a desirable feature for physical realizability. We derive necessary conditions for universality. For instance, a universal system must have a sensitive point and a proper subsystem. We conjecture that universal systems have an infinite number of subsystems. We also discuss the thesis that computation should occur at the ‘edge of chaos ’ and we exhibit a universal chaotic system. 1

研究の動機と目的

• さまざまな離散時間記号的力学系にわたる計算的普遍性の概念を統一的かつ一般化すること。
• チューリングマシンとは異なるが、セルラーオートマトンやサブシフトのようなシステムに対して、一貫性のある普遍性定義が欠落している問題を解決すること。
• 物理的実現可能性のための重要な要件である、初期条件におけるノイズに対する頑健性を保証すること。
• 感度を持つ点や適切な部分系といった、普遍性に必要な構造的条件を導出すること。
• 計算が「カオスの縁」で発生するという仮説を検証するために、普遍的なカオス的システムを構築すること。

提案手法

• すべての記号的力学系に適用可能な一般枠組みを用いて、いかなる計算可能関数のシミュレーションによって普遍性を定義する。
• 初期状態の微小な摂動に対しても普遍性が維持されることを要請することで、ノイズに頑健な定義を導入する。
• 記号的力学系と部分系理論を用いて、感度を持つ点や適切な部分系といった、普遍性に必要な構造的条件を分析する。
• チューリングマシン や タグシステム といった既知のシステムにこの枠組みを適用し、既存の定義と整合性があることを検証する。
• カオス的挙動を示す特定の普遍的システムの例を構築し、カオス的領域内での普遍性を実証する。
• 位相的および力学系の性質（感度、部分系の分解など）を用いて、普遍性に必要な条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての離散時間記号的力学系に適用可能な、一般的で一貫性のある計算的普遍性の定義は何か？
• RQ2 初期条件におけるノイズに対して普遍性をどのように頑健化できるか。これは物理的システムにとってなぜ重要なのか？
• RQ3 感度を持つ点や部分系といった、構造的性質は、普遍的システムが備えるべきものか？
• RQ4 カオス的ダイナミクスを示すシステムも同時に計算的普遍的になり得るか？
• RQ5 普遍的システムが無限個の部分系を備えている必要があるのか。その仮説を支持する証拠は何か？

主な発見

• 提案された普遍性の定義は、チューリングマシン や タグシステム に対する既存の概念を一般化・統合するとともに、セルラーオートマトン や サブシフト に対しても、新たな意味のある定義を導入している。
• 提案された定義における普遍性は、初期条件のノイズに対して頑健であり、物理的実現可能性が向上する。
• 普遍的システムは、少なくとも1つの感度を持つ点と、適切な部分系を含む必要がある。これらは普遍性に必要な構造的条件である。
• 本稿では、構造的および動的制約に基づき、普遍的システムが無限個の部分系を備えている必要があると仮説を立てている。
• 普遍的なカオス的システムの具体的な例を構築した。これは、計算が「カオスの縁」で発生しうることを支持する。
• 本フレームワークは、感度や部分系の分解といった普遍性に必要な条件を提供しており、特定のシステムにおける普遍性の否定に利用できる。