[論文レビュー] What are the fundamental structures of concurrency? We still don't know!

Samson Abramsky|arXiv (Cornell University)|Jan 20, 2014

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

ひとこと要約

この論文は、プロセス計算や並行性理論の数十年にわたる進歩にもかかわらず、根本的で文法に依存しない並行性の理論がまだ成立していないと主張する。ペトリネット、物理学、幾何学――特に圏論的・図式的アプローチを通じて――その分野が物理学のそれらに類似した統一的基盤を欠いているとし、真の情報ダイナミクスの理論を達成するためには、量子情報と幾何的構造とのより深い統合が求められると述べる。

ABSTRACT

Process algebra has been successful in many ways; but we don't yet see the lineaments of a fundamental theory. Some fleeting glimpses are sought from Petri Nets, physics and geometry.

研究の動機と目的

• プロセス計算の成功にもかかわらず、なぜ並行性の根本的理論が成立しなかったのかを問い直すこと。
• プロセス計算の多様な出現が、因果関係や並行性といったコアな概念を文法に依存しない、内生的な定義が欠如していることを示唆すること。
• 離散的モデルと圏論的フレームワークにインspiredされた、並行性理論と物理学・幾何学のより深い統合を提唱すること。
• 量子情報と幾何的構造からの知見が、統一的並行性理論の欠落している基盤を提供できるかどうかを検討すること。
• ペトリネットおよび関連形式的体系が、それらの制限にもかかわらず、現在最も有望な基礎的並行性構造の候補であると位置づけること。

提案手法

• プロセス計算の歴史的発展と、それらが標準的かつ根本的な理論を達成する上で抱える限界を分析すること。
• 微分方程式やフーリエ変換といった確立された科学的道具箱との類似性を引き出し、実用的有用性に重点を置くが、基礎的完全性には欠けることを強調すること。
• ペトリネットとイベント構造を、文法に依存しないフレームワークとして検討し、並行性、因果関係、プロセスの内生的定義を提供すること。
• 相対性理論や量子力学が、並行性の概念的基盤に与える影響を検討し、因果的集合や非局所性を含む。
• 圏論的および図式的形式的体系（例：量子力学やインタラクション幾何学におけるもの）が、統一的フレームワークとしての可能性を調査すること。
• トポロジカル不変量（例：ジョーンズ多項式）と並行性構造との関連を強調し、深い幾何的基盤がある可能性を示唆すること。

実験結果

リサーチクエスチョン

• RQ1 プロセス計算の成功にもかかわらず、なぜ並行性の単一で根本的な理論が成立しなかったのか。
• RQ2 因果関係、並行性、プロセスといったコアな並行性概念の、内生的かつ文法に依存しない定義とは何か。
• RQ3 特に離散的時空モデルや量子もつれを含む物理学からの知見が、並行性理論の基礎にどのように寄与できるか。
• RQ4 幾何的および圏論的構造が、現代の理論物理学におけるそれらに類似した統一的フレームワークを並行性に提供できるか。
• RQ5 量子情報と計算生物学が、より深く根本的な情報ダイナミクス理論を形作る上で果たす役割とは何か。

主な発見

• プロセス計算は実用的に強力であるが、文法に依存しない基礎的理論を欠いており、類似したが異なる形式的体系の氾濫を引き起こしている。
• ペトリネットとイベント構造は、並行性の内生的定義の観点から、現在最も有望な既存のフレームワークを提供しているが、依然として不完全である。
• 物理学、特に相対性理論と量子力学がペトリの元々の研究に与えた影響は、並行性理論が本質的に物理的原理に結びついている可能性を示唆している。
• 量子力学における圏論的・図式的アプローチ（例：コーエックとの共同研究）は、インタラクション幾何学や並行性と強く形式的に類似しており、深い構造的関係があると示唆している。
• 「並行性のチューリングの定理」や表現的完全性の概念が存在しないことは、完全または普遍的なモデルとは何かについての合意が欠如していることを示している。
• 幾何学、特にトポロジカル不変量と因果的集合を通じて、並行性の根本的理論に欠けている数学的言語が提供される可能性がある。