[論文レビュー] A Survey on Analog Models of Computation

Olivier Bournez, Amaury Pouly|arXiv (Cornell University)|May 14, 2018

Computability, Logic, AI Algorithms被引用数 4

ひとこと要約

本調査は、多項式常微分方程式（ODE）で定義される連続時間動的系に焦点を当て、アナログ計算モデルの包括的分析を提示する。ODEを用いて古典的計算複雑度クラス（例えばP）の基礎的特徴付けを確立し、このような系の解軌道によって多項式時間で計算可能な関数を正確に捉えられることを示している。収束精度は解曲線の長さに依存する。

ABSTRACT

We present a survey on analog models of computations. Analog can be understood both as computing by analogy, or as working on the continuum. We consider both approaches, often intertwined, with a point of view mostly oriented by computation theory.

研究の動機と目的

• 連続的な空間と時間で動作するアナログ計算モデルを統合的かつ体系的に調査し、計算理論におけるそれらの理論的基盤を強調する。
• 『アナログ』という用語の二重の意味（類推による計算か、連続的計算か）を明確にし、歴史的および現代的モデルにおけるそれらの相互作用を強調する。
• 特に多項式ODEに従う連続的動的系の計算能力を調査し、古典的複雑度クラスを捉える能力を検証する。
• 解曲線の長さに基づく収束基準を用いて、多項式時間で計算可能な関数（P）を連続時間ODEで厳密に特徴付ける。
• 微分方程式を用いることで、計算可能性と複雑度の概念が純粋に微分方程式によって定義可能であることを示し、古典的計算理論と解析学を橋渡しする。

提案手法

• 時間Tがℝの部分群（連続的または離散的時間）であるような流れφ: T × X → Xで定義される動的系としてアナログ計算をモデル化する。Xは通常ℝⁿまたはℝⁿ×ℕᵏの空間である。
• 連続時間系を初期値問題（IVP）y′ = f(y), y(0) = x₀として表現する。ここでfは有理数係数の多項式のベクトルである。
• 解曲線の長さℓ(t) = ∫₀ᵗ ||y′(s)|| dsを主要な計算リソースとして用い、精度および実行時間と結びつける。
• 入力を（実数やバイナリ語列など）初期条件にエンコードする。バイナリ文字列の有理数エンコーディングとしてψ(w) = Σ wᵢ2⁻ⁱを用いる。
• 出力成分y₁(t)を用いて受理を定義する：y₁ ≥ 1で受理、y₁ ≤ -1で拒否とし、不変性条件によって安定性を保証する。
• ||y′(t)|| ≥ 1の下限を導入することで、極端に遅い収束を防ぎ、十分な長さが意味のある計算に対応することを保証する。

実験結果

リサーチクエスチョン

• RQ1 Pのような古典的複雑度クラスは、有理数係数の多項式ODEで定義される連続時間動的系を用いて特徴付けられるか？
• RQ2 解曲線の幾何的長さは、アナログモデルにおける計算精度および実行時間とどのように関係するか？
• RQ3 実数上でのアナログ計算は、古典的デジタル計算をどの程度シミュレートできるか。逆に、デジタル計算はアナログ計算をどの程度模倣できるか？
• RQ4 有理数係数をもつ多項式ODEは、計算可能関数や多項式時間決定可能性をどの程度正確に捉えるか？
• RQ5 『アナログ』という用語の二重の解釈（類推による計算か、連続的計算か）は、計算モデルの設計および分析においてどのように相互作用するか？

主な発見

• 言語L ⊆ {0,1}*がPに属するための必要十分条件は、有理数係数の多項式ODE系が存在し、解軌道の長さℓ(t) ≥ L(|w|)であれば、y₁(t) ≥ 1（受理）またはy₁(t) ≤ -1（拒否）となることである。受理後は出力が安定する。
• 出力y₁(t)の精度は解曲線の長さに比例して向上する：ℓ(0,t) ≥ L(μ)であれば、|f(x) - y₁(t)| ≤ e⁻ᵘが成り立ち、曲線が長くなるほど高精度になる。
• ||y′(t)|| ≥ 1という条件により、系が停止するのを防ぎ、長さが長くても意味のある計算に結びつかない退化したケースを回避できる。
• PのODEによる特徴付けは頑健である。入力のノルムを長さ関数Lに組み込むことで、多変数関数および非有界領域へも拡張可能である。
• このフレームワークにより、曲線の長さといった幾何的測度と微分方程式のみを用いて、多項式時間決定可能性といった古典的計算概念を純粋に解析的に定義可能である。
• 結果として、離散的ステップを一切用いずに、有理数係数の多項式ODEに従う連続的時間の進化のみで多項式時間計算を捉えることが可能であることが示された。