[論文レビュー] Rule Algebras for Adhesive Categories

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

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

ひとこと要約

本稿では、図式的書き換え規則の合成から導かれる非可換で単位的結合的代数であるルール図代数を構築することで、グラフ書き換えシステムのための新規フレームワークを提示する。この代数に4種類の異なる還元準同型を適用することにより、4種類の新しいタイプのルール代数を定義し、従来未知であった2つのグラフ書き換えの形式を明らかにする。本研究では組合せ的ホップ代数構造を確立し、ピカール・バーキホフ・ワイット型の定理を証明し、グラフ書き換えを組合せ的整数論および数理物理学の分野にしっかりと統合する。

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.

研究の動機と目的

• 組合せ論、コンピュータサイエンス、物理学の視点から、グラフ書き換えシステムを統一的に分析するための代数的フレームワークを構築すること。
• 図式的組合せ的ホップ代数の概念を拡張することで、4種類の明確に区別できるグラフ書き換えタイプを同定・形式化すること。
• 既存のDPOおよびSPOモデルを超えて、これまで未知であった2つの新たな形式のグラフ書き換えを明らかにすること。
• ルール図代数とその制限付きルール代数を構築することで、グラフ書き換えに厳密な代数的基盤を確立すること。
• グラフ書き換えを組合せ的ホップ代数および統計力学の分野に統合し、新たな構造的および表現論的解析を可能にすること。

提案手法

• 個々の書き換え規則およびその合成を表す、不可約なルール図を基底元とするルール図代数を構築する。
• ルール図代数から4つの異なるルール代数へ写像する4種類の異なる還元準同型を定義し、それぞれが異なる書き換えパラダイムに対応する。
• フィルトレーションとコールゲブラ構造をルール図代数に適用し、連結でフィルター付きバイアリューブラおよび、アントイプ構成によりホップ代数に至る。
• 畳み込み積と幾何級数の形式的記法を用いてアントイプを定義し、連結でフィルター付きバイアリューブラがホップ代数であることを証明する。
• 分解不能な部分図の代数的構造を分析することで、原始的元の基底を同定し、ルール図代数に対してピカール・バーキホフ・ワイット型の定理を導出する。
• ルール図代数に付随するユニバーサル包あらわし代数およびリー代数構造を分析し、より深い代数的性質および対称性を解明する。

実験結果

リサーチクエスチョン

• RQ1 グラフ書き換え規則の逐次合成の背後にある代数的構造は何か。そして、それを普遍的で図式的な方法で形式化できるか。
• RQ2 ルール図に対する異なる還元戦略は、どのように異なるタイプのグラフ書き換えシステムを生じさせ、それらの代数的性質は何か。
• RQ3 ルール図代数に組合せ的ホップ代数構造を導入できるか。その場合、グラフ書き換えの表現論にどのような含意があるか。
• RQ4 ルール図代数に関連する代数的構造（例えばリー代数やユニバーサル包あらわし代数）は存在するか。それらはより深い対称性を明らかにするか。
• RQ5 ルール代数RTとヘイゼンベルク＝ヴァイエル代数との関係は何か。この関係は、一般化された組合せ的物理学フレームワークにどのように寄与するか。

主な発見

• ルール図代数は連結でフィルター付きバイアリューブラであり、したがって一意なアントイプを有する。よってホップ代数である。
• 4種類の異なる還元準同型を用いて4種類の異なるルール代数が構成され、そのうち2つは既知の書き換えパラダイム（DPOおよびSPO）に対応するが、残りの2つは従来未知のグラフ書き換えタイプを表す。
• ルール図代数に対してピカール・バーキホフ・ワイット型の定理が確立され、代数が分解不能な部分図によってインデックスづけられる基底を有することを示している。
• ルール図代数の原始的元は、空でもなく、より小さな成分に分解できない不可約なルール図に限り、それらに一致する。
• ルール図代数に関連するリー代数のユニバーサル包あらわし代数は、ルール図代数自身と同型であることが示され、この構造の代数的豊かさが裏付けられた。
• ルール代数RTはホップ代数構造を有さないことが示され、ルール図代数とその制限付き商の間には根本的な相違があることが示された。