[論文レビュー] Eilenberg Theorems for Free

Henning Urbat, Jiřı́ Adámek+2 more|arXiv (Cornell University)|Feb 18, 2016

semigroups and automata theory参考文献 5被引用数 5

ひとこと要約

本稿は、代数的圏上のモノイドとストーン型双対性を用いて、言語の多様体と有限代数の擬多様体の間のアイレンバーグ型対応を統一的な圏論的枠組みで提示する。既知の結果（無限語、木、コスト関数を含む）を一般化し、こうしたすべての対応が同一のレシピから生じることを示し、包括的な多様体定理を導出し、先行研究を包含するとともに、無限語に対する局所的多様体定理といった新たな結果を証明する。

ABSTRACT

Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory. Numerous such correspondences are known in the literature. We demonstrate that they all arise from the same recipe: one models languages and the algebras recognizing them by monads on an algebraic category, and applies a Stone-type duality. Our main contribution is a variety theorem that covers e.g. Wilke's and Pin's work on $\infty$-languages, the variety theorem for cost functions of Daviaud, Kuperberg, and Pin, and unifies the two previous categorical approaches of Bojańczyk and of Adámek et al. In addition we derive a number of new results, including an extension of the local variety theorem of Gehrke, Grigorieff, and Pin from finite to infinite words.

研究の動機と目的

• 代数的言語理論における多様なアイレンバーグ型対応を、1つの圏論的枠組みに統一すること。
• 代数的圏上のモノイドとストーン双対性を組み合わせることで、既存の圏論的アプローチを拡張し、有限および無限語言語、木言語、コスト関数をカバーすること。
• ゲルケ、グリゴリエフ、ピンによる局所的多様体定理を、有限語から無限語へ一般化すること。
• 順序木代数の正の多様体定理を含む新たな結果を導出し、ボヤンツキとアダメクらの先行圈权論的アプローチを統一すること。
• 異なる言語および代数的構造に対してアイレンバーグ対応を導出するための体系的かつ再利用可能なレシピを提供すること。

提案手法

• 有限集合 $S$ の sorts を持つ $\mathscr{D}^S$、すなわち $\mathscr{D}$-代数の $S$-sorted 圏におけるモノイドを用いて、言語とその認識代数をモデル化する。ここで $\mathscr{D}$ は代数的圏である。
• ストーン型双対性を適用し、モノイドによって認識される言語の多様体と有限代数の擬多様体の間の対応を確立する。
• モノイドの自由代数構成と語の構文的同値関係による商を用いて、構文的代数を言語の最小認識子として定義する。
• 準同型写像による導分および逆像に関する閉包性質を特徴づけ、古典的なアイレンバーグ条件を一般化する。
• 特に木やコンテキストに基づく言語に対して双対性の忠実性を保証するため、縮約代数の概念を導入する。
• 有限 $\mathbf{T}$-代数とその双対空間の間の双対性を用いて、多様体と擬多様体のラティスの間の同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 既知のすべてのアイレンバーグ型対応（言語の多様体と有限代数の擬多様体の間）が、1つの圏論的レシピから導出可能か？
• RQ2 代数的圏上のモノイドの枠組みを、無限語言語、木言語、コスト関数を捉えるためにどのように拡張できるか？
• RQ3 ゲルケ、グリゴリエフ、ピンによる局所的多様体定理を、この枠組みを用いて有限語から無限語へ一般化可能か？
• RQ4 双対性は、異なる言語タイプとその代数的認識子の統一的取り扱いにおいて、果たす役割は何か？
• RQ5 この枠組みは、順序的または確率的構造（例：順序木代数、確率的オートマトン）へ拡張可能か？

主な発見

• 本稿は、有限語、無限語、2分木、コスト関数についてのアイレンバーグ型対応を統一する一般多様体定理を確立する。
• 無限語のための新たな局所的多様体定理を証明し、ゲルケ、グリゴリエフ、ピンの研究を無限語へ拡張する。
• ウィルケとピンによる $\infty$-言語の多様体定理およびダヴィオ、クーパーバーク、ピンによるコスト関数多様体定理を一般化する。
• 順序木代数について正の多様体定理を導出し、補集合に関する閉包性を除外することで、正の多様体と縮約順序木代数の擬多様体のラティスの間の同型を導く。
• 2つの先行する圈权論的アプローチ（ボヤンツキのモノイドに基づく認識、著者らの順序圏における代数に関する先行研究）を包含・一般化する。
• この枠組みは、有限および無限構造を適切に扱えるほど堅牢であり、双対性を介して順序的および重み付き設定へも適応可能であることが示された。