[论文解读] Rule Algebras for Adhesive Categories

Nicolas Behr, Vincent Danos+2 more|arXiv (Cornell University)|Dec 19, 2016

Bayesian Modeling and Causal Inference参考文献 9被引用 10

一句话总结

本文通过构建一个规则图代数——一种源自重写规则图示复合的非交换、含幺结合代数——提出了一种图重写系统的新型框架。通过对该代数应用四种不同的约化同态，作者定义了四种新型规则代数，揭示了两种此前未知的图重写形式。该研究建立了组合霍普夫代数结构，证明了类Poincaré-Birkhoff-Witt型定理，并将图重写牢固地嵌入代数组合数学与数学物理领域。

ABSTRACT

The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting systems than previously known in the literature, and we present an analysis of the structure of the rule algebras as well as a form of Poincaré-Birkhoff-Witt theorem for the rule diagram algebra. Our work lays the foundation for a fundamentally new way of analyzing graph transformation systems, and embeds this very important concept from theoretical computer science firmly into the realm of mathematical combinatorics and statistical physics.

研究动机与目标

• 为从组合数学、计算机科学和物理视角分析图重写系统，构建一个统一的代数框架。
• 通过扩展图示组合霍普夫代数的概念，识别并形式化四种不同的图重写类型。
• 揭示在既有的DPO和SPO模型之外，两种此前未知的图重写形式。
• 通过构建规则图代数及其受限规则代数，为图重写建立严格的代数基础。
• 将图重写嵌入组合霍普夫代数与统计物理领域，实现新的结构性与表示论分析。

提出的方法

• 以不可约规则图作为基底元素，构建规则图代数，表示单个重写规则及其复合。
• 定义四种不同的约化同态，将规则图代数映射到四种不同的规则代数，每种对应一种独特的重写范式。
• 在规则图代数上应用滤子结构与余代数结构，导出一个连通的滤子双代数，并通过反极构造最终得到霍普夫代数。
• 利用卷积积与形式幂级数形式化方法定义反极，证明每个连通滤子双代数均为霍普夫代数。
• 通过识别原初元素基并分析不可约子图的代数结构，为规则图代数推导出类Poincaré-Birkhoff-Witt型定理。
• 分析规则图代数的普遍包络代数与李代数结构，以揭示其更深层的代数性质与对称性。

实验结果

研究问题

• RQ1 图重写规则的顺序复合背后的代数结构是什么？如何以一种普遍的、图示化的方式对其进行形式化？
• RQ2 对规则图应用不同的约化策略，如何产生不同的图重写系统类型？它们的代数性质是什么？
• RQ3 规则图代数能否被赋予组合霍普夫代数结构？这对图重写表示理论意味着什么？
• RQ4 是否存在与规则图代数相关的代数结构（如李代数或普遍包络代数），可揭示其更深层的对称性？
• RQ5 规则代数与海森堡-外尔代数之间存在何种关系？这一联系如何为广义组合物理框架提供启示？

主要发现

• 规则图代数是一个连通的滤子双代数，因此具有唯一的反极，即为霍普夫代数。
• 通过四种不同的约化同态构造了四种不同的规则代数，其中两种对应已知的重写范式（DPO与SPO），另两种代表此前未知的图重写类型。
• 为规则图代数建立了类Poincaré-Birkhoff-Witt型定理，表明该代数存在一个由不可约子图索引的基。
• 规则图代数的原初元素恰好是那些非空且不可分解为更小组成部分的不可约规则图。
• 与规则图代数相关联的李代数的普遍包络代数，同构于规则图代数本身，证实了该结构的代数丰富性。
• 规则代数RT不具有霍普夫代数结构，表明规则图代数与其受限商代数之间存在根本性差异。