[論文レビュー] GLC actors, artificial chemical connectomes, topological issues and knots

Marius Buliga, Louis H. Kauffman|arXiv (Cornell University)|Dec 16, 2013

Geometric and Algebraic Topology参考文献 13被引用数 10

ひとこと要約

本稿では、グラフィック・ラムダ計算（GLC）とchemlambdaを用いて局所的でグラフベースの反応として計算をモデル化することにより、非同期分散計算の新しいモデルとしてGLCアクターと人工化学的コンニェクトーム（ACCs）を提案する。このモデルは、絡み合い理論、ラムダ計算の不動点、位相不変量の間に深い関係を確立し、絡み合い図が自然に不動点コンビネータを符号化できることを示し、位相的移動の計算的解釈を可能にする。

ABSTRACT

Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot diagrammatics.

研究の動機と目的

• 生物学的コンニェクトームと化学反応ネットワークにインspiredされた、非同期分散計算の新しいモデルの開発。
• グラフィック・ラムダ計算（GLC）に基づく図式的形式主義を通じて、ラムダ計算、絡み合い理論、位相的量子計算を統合すること。
• ラムダ計算における不動点コンビネータが、リーディマイスター移動に依存せずに、絡み合い図やトゥイスト図から自然に出現することの証明。
• 絡み合い図における位相的不変量と仮想的交差を用いて、計算プロセスおよび量子測定をモデル化する方法の探求。
• 化学的インスピレーションを受けるグラフ書き換え系における局所的でアクターに基づく相互作用から、グローバルな計算が生じる計算フレームワークの確立。

提案手法

• モデルは、プログラムを三価グラフとして表現し、計算を局所的グラフ書き換え（移動）として扱うグラフィック・ラムダ計算（GLC）を用いる。
• chemlambdaは、局所的移動のみを用いるGLCの変種であり、'酵素'が'分子'（グラフ）の反応部位で作用する化学反応をシミュレートする。
• 分子は、局所的グラフ構造に従って近接性と相互作用が制御される非同期アクターモデルのアクターとして再解釈される。
• トポロジカルな不動点コンビネータ（例：Yコンビネータ）は、自己適用と再帰を表すクルルを有するトゥイスト図として符号化される。
• トゥイスト図における仮想的交差は、干渉しない相互作用をモデル化するために用いられ、仮想絡み合い理論への拡張が可能になる。
• 量子測定をβ還元に類似した還元移動としてモデル化することで、フレームワークは位相的量子計算へと拡張される。

実験結果

リサーチクエスチョン

• RQ1 ラムダ計算の計算は、どのようにして絡み合い図やトゥイスト図といった位相的構造に自然に埋め込まれるか？
• RQ2 リーディマイスター移動に依存せずに、ラムダ計算における不動点コンビネータが絡み合い図のトポロジーからどのように出現するか？
• RQ3 GLCから人工化学的コンニェクトーム（ACCs）を構築し、化学的インスピレーションを受ける非同期分散計算をモデル化できるか？
• RQ4 トゥイスト図における仮想的交差は、計算系における干渉しない局所的相互作用をどのようにモデル化に寄与するか？
• RQ5 量子測定を、位相的でグラフベースの計算モデルにおける図式的還元移動として再定式化できるか？

主な発見

• Yコンビネータや他の不動点コンビネータは、クルルによって自己複製が符号化された状態で、絡み合い図において自然に位相的構造として表現される。
• 三つ葉結びの図は、リーディマイスター移動を一切用いずに、代数的に結合された不動点方程式 $ b = (ab)a $ および $ a = b(ab) $ を内蔵している。
• 図式的ラムダ計算における不動点恒等式は、等価性ではなくβ還元可能性に対応しており、計算における無限ループの制御が可能になる。
• 位相的図式的ラムダ計算（TGLC）は、仮想絡み合い理論の計算的解釈を提供し、仮想的交差が干渉しない相互作用を表す。
• このモデルは、抽象代数学、絡み合い不変量、計算の間の橋渡しを実現し、結びの位相的タイプが、異なる非自明な不動点コンビネータに対応することを示している。
• フレームワークは、量子測定をテンソルネットワークに類似した構造における還元移動としてモデル化することで、位相的量子計算と図式的計算を統合する道筋を示唆している。