[論文レビュー] A Survey on Continuous Time Computations

Olivier Bournez, Manuel L. Campagnolo|ArXiv.org|Jul 17, 2009

Network Time Synchronization Technologies被引用数 4

ひとこと要約

本調査は、多項式ODE、GPAC、実再帰関数などのモデルを通じて、連続時間計算理論の計算能力と計算複雑性を検討することで、連続時間計算理論の包括的概要を提供する。解析的連続時間系がチューリングマシンをシミュレートできることを確立しており、デジタル計算と同等の計算可能性を示唆している。複雑性や耐障害性に関する未解決の課題が存在するものの、モデル間の統合的傾向が顕著である。

ABSTRACT

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature.

研究の動機と目的

• オルポネンの1997年の調査に基づき、連続時間計算理論に関する研究の現状を統合的かつ更新する。
• 特に古典的計算可能性およびチューリングのチャーチ＝チューリング仮説との関係において、連続時間モデルの計算能力を明確化する。
• 時間定義や入力サイズの定義に合意が得られていない現状を踏まえ、連続時間系における統一的複雑性理論の可能性を調査する。
• ハイブリッド系の決定不能性と検証の文脈において、アナログ系の耐障害性とノイズ耐性を検討する。
• 特に計算可能性理論から複雑性および耐障害性への拡張において、未解決の問題や研究方向性を特定する。

提案手法

• アナログマシン、ハイブリッド系、ODEベースのシステムを含む連続時間計算モデルのサーベイと分類。
• 多項式ODE、GPAC、再帰的解析における実再帰関数によって計算可能な関数の間の同等性を分析する。
• 連続時間系の複雑性と計算可能性を研究するための基礎的枠組みとして、計算可能解析を適用する。
• ノイズや有界摂動を伴う系における決定不能性と耐障害性に関する結果をレビューする。
• 連続時間モデルを古典的デジタル計算および他の非古典的モデル（例：ニューラルネットワーク、量子、光学）と比較する。
• 最近の同等性に関する進展（例：[Graça et al., 2005], [Bournez et al., 2007]）を統合し、統一理論への道筋を示唆する。

実験結果

リサーチクエスチョン

• RQ1 特に解析的ODEを含む連続時間系は、チューリングマシンと同等の計算能力を達成できるか？
• RQ2 GPAC、多項式ODE、実再帰関数といった連続時間計算の異なるモデルは、どの程度計算的に同等と見なせるか？
• RQ3 連続時間系における耐障害的複雑性理論の構築に、どのような根本的障壁があるのか。計算可能解析はその解決にどのように寄与できるか？
• RQ4 ノイズや不正確さは、連続時間系の決定可能性と計算能力にどのように影響を与えるか？
• RQ5 連続時間系における決定不能性は、耐障害的または摂動を伴う動的条件下でも維持されるのか？

主な発見

• 多項式ODE、GPAC、再帰的解析における実再帰関数は、計算的に同等であることが示され、連続時間計算モデルの統合的統合が可能である可能性を示唆している。
• 解析的連続時間系は、無限大の状態空間においてチューリングマシンをシミュレート可能であり、アナログ計算とデジタル計算の計算可能性が同等であることを示唆している。
• 進展は見られるものの、計算時間や入力サイズといった複雑性測度についての合意はまだ得られていない。
• 強いチューリング仮説は、解析的ODE系では成立する可能性があるが、一般のリプシッツ連続ODEやホプフィールドネットワークでは上界が未だ不明である。
• ノイズに対する耐障害性は依然として十分に理解されておらず、有界または非決定的ノイズ下でも決定不能性が継続するかという点には未解決の問いがある。
• 解析的ODEと計算可能解析を通じて、古典的計算可能性理論に類似した統一的枠組みが構築可能であるという証拠が蓄積されつつある。