[論文レビュー] The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits

David I. Spivak|arXiv (Cornell University)|May 1, 2013

Logic, programming, and type systems参考文献 14被引用数 42

ひとこと要約

この論文は、データベース、回路、再帰的システムにおける階層的・自己同型構造を形式化するための数学的枠組みとして、ワイヤリング図のオペラッド $\tau$ を導入する。ワイヤリング図をオペラッド内の準同型としてモデル化することにより、関係の合成、即挿し可能（plug-and-play）な部品、再帰的システムを、関係代数上の代数的意味論を通じて統一的な図的言語として可能にする。

ABSTRACT

Wiring diagrams, as seen in digital circuits, can be nested hierarchically and thus have an aspect of self-similarity. We show that wiring diagrams form the morphisms of an operad $\mcT$, capturing this self-similarity. We discuss the algebra $\Rel$ of mathematical relations on $\mcT$, and in so doing use wiring diagrams as a graphical language with which to structure queries on relational databases. We give the example of circuit diagrams as a special case. We move on to show how plug-and-play devices and also recursion can be formulated in the operadic framework as well. Throughout we include many examples and figures.

研究の動機と目的

• 階層的システムのための図的言語をオペラッドを用いて形式化すること、特にデータベースとデジタル回路を対象とする。
• 情報処理システム（ニューラルネットワークや設計された回路など）における自己同型性と合成をモデル化すること。
• オペラッド代数を用いて、即挿し可能デバイスや再帰的システム設計の圏論的基盤を提供すること。
• 1つのオペラッド枠組みを用いて、ニューロンから回路、データベースに至るまでスケールをまたがる複雑なシステムの記述を統一すること。
• 関係データベース理論を拡張し、関係代数とオペラッドおよび圏論的構造に埋め込むことで、視覚的かつ合成的なクエリ記述を可能にする。

提案手法

• 有限集合のコスパンの圏として、ワイヤリング図のオペラッド $\mathcal{T}$ を定義し、小さな部品がどのように大きなものに接続されるかを捉える。
• 関係代数 $\mathcal{R}\textnormal{el}$ を、ワイヤリング図が関係を合成して新たな関係を形成するように定義し、視覚的なデータベースクエリ表現を可能にする。
• オペラッドの合成を用いて、部品を関係上の代数的演算として扱うことで、即挿し可能システムをモデル化する。
• 閉じたオペラッドを用いて再帰を形式化し、部品が自己を含む制御的・明確な方法での再帰的ワイヤリングパターンを可能にする。
• 圏論とコスパン構成を用いて、構造（ワイヤリングパターン）と機能（代数的規則）を別々にモデル化する。
• デジタル回路、ニューラルサブシステム、サイバーフィジカルシステムにこの枠組みを適用し、汎用性と表現力の高さを示す。

実験結果

リサーチクエスチョン

• RQ1 ワイヤリング図をオペラッドの準同型としてどのように形式化できるか。特に階層的合成と自己同型性を捉えるために。
• RQ2 関係データベースは、ワイヤリング図のオペラッド上の関係代数を用いて、どのようにモデル化され、クエリ可能になるか。
• RQ3 即挿し可能（ホットプラグ可能）な部品は、オペラッド枠組み内でどのように数学的に形式化できるか。
• RQ4 閉じたオペラッドを用いてシステムの再帰を捉えることは可能か。また、これは自己参照的またはフィードバック構造とどのように関係するか。
• RQ5 オペラッドが、ニューラルネットワーク、回路、データベースといった多様なシステムを、1つの合成的言語で統一する役割を果たすか。

主な発見

• ワイヤリング図のオペラッド $\mathcal{T}$ は、有限集合のコスパンとして、部品の階層的合成を可能にするオペラッドとして正式に定義される。
• 関係代数 $\mathcal{R}\textnormal{el}$ は、ワイヤリング図を用いて関係データベースクエリを表現・合成するための整合的な圏論的モデルを提供する。
• 即挿し可能システムは、オペラッド上の代数としてモデル化され、部品は明確なインターフェースを持つ再利用可能で合成可能なエンティティとして扱われる。
• 再帰は閉じたオペラッドを用いて形式化され、部品が自己のコピーを制御的・悪質でない方法で含む再帰的ワイヤリングパターンを可能にする。
• この枠組みは、デジタル回路、ニューラルサブシステム、データベースといった多様な分野を、1つのオペラッドと代数に基づく合成的言語で統一的に扱うことに成功する。
• オペラッドモデルは、将来的にトポロジー的特徴（例：配線長）、応力伝播、集約関数などを閉じたオペラッド構造を通じて拡張可能である。