[论文解读] 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演员与人工化学连通组（ACCs）作为异步分布式计算的新模型，利用图形lambda演算（graphic lambda calculus）和chemlambda将计算建模为局部的、基于图的反应。该研究建立了纽结理论、lambda演算不动点与拓扑不变量之间的深层联系，表明纽结图自然编码不动点组合子，并使拓扑变换具有计算解释。

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.

研究动机与目标

• 开发一种受生物连通组与化学反应网络启发的异步分布式计算新模型。
• 通过基于图形lambda演算（GLC）的图形形式，统一lambda演算、纽结理论与拓扑量子计算。
• 证明lambda演算中的不动点组合子可自然地从纽结与辫子图中产生，而无需依赖Reidemeister变换。
• 探讨纽结图中的拓扑不变量与虚交叉如何建模计算过程与量子测量。
• 建立一个计算框架，其中全局计算由化学启发的图重写系统中局部的、基于演员的交互产生。

提出的方法

• 该模型使用图形lambda演算（GLC）将程序表示为三价图，计算表现为局部图重写（变换）。
• Chemlambda是仅使用局部变换的GLC变体，模拟化学反应，其中'酶'为作用于'分子'（图）反应位点的变换。
• 分子被重新解释为异步演员模型中的演员，其接近性与相互作用由局部图结构决定。
• 拓扑不动点组合子（如Y组合子）以带有卷曲的辫子图形式编码，表示自应用与递归。
• 辫子图中的虚交叉用于建模非干扰性相互作用，将框架扩展至虚纽结理论。
• 通过将量子测量建模为类似于beta-归约的约化变换，将框架扩展至拓扑量子计算。

实验结果

研究问题

• RQ1 lambda演算计算如何自然地嵌入纽结与辫子图等拓扑结构中？
• RQ2 在不依赖Reidemeister变换的情况下，lambda演算中的不动点组合子如何从纽结图的拓扑中自然产生？
• RQ3 能否从GLC构建人工化学连通组（ACCs），以化学启发的方式建模分布式、异步计算？
• RQ4 辫子图中的虚交叉如何促进计算系统中非干扰性、局部相互作用的建模？
• RQ5 能否将量子测量重新表述为拓扑性、基于图的计算模型中的图形约化变换？

主要发现

• Y组合子及其他不动点组合子在纽结图中自然表现为拓扑结构，自复制通过卷曲编码。
• 三叶纽结图本身自然编码代数链接的不动点方程，如$ b = (ab)a $与$ a = b(ab) $，而无需任何Reidemeister变换。
• 图形lambda演算中的不动点恒等式对应于beta-可约性而非等式，从而可控制计算中的无限循环。
• 拓扑图形lambda演算（TGLC）为虚纽结理论提供了计算解释，其中虚交叉表示非干扰性相互作用。
• 该框架建立了抽象代数、纽结不变量与计算之间的桥梁，表明纽结的拓扑类型对应于不同且非平凡的不动点组合子。
• 该框架提出了一条统一拓扑量子计算与图形计算的路径，通过将量子测量建模为张量网络类结构中的约化变换。