[論文レビュー] Nominal Topology for Data Languages

Fabian Birkmann, Stefan Milius+1 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Algebra and Logic被引用数 2

ひとこと要約

本稿は、軌道有限な名前付きモノイドによって認識可能なデータ言語のための位相的枠組みを、pro-軌道有限な名前付き位相空間を用いて導入する。全般的に支持サイズが有界な条件下で、これらの空間と名前付きブール代数の部分圏との間に双対性を確立し、認識可能なデータ言語を閉開集合として特徴づけ、pro方程式を用いて名前付きのリーターマンの擬体積定理のバージョンを証明する。

ABSTRACT

We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite nominal topological spaces. Assuming globally bounded support sizes, they coincide with nominal Stone spaces and are shown to be dually equivalent to a subcategory of nominal boolean algebras. Recognizable data languages are characterized as topologically clopen sets of pro-orbit-finite words. In addition, we explore the expressive power of pro-orbit-finite equations by establishing a nominal version of Reiterman's pseudovariety theorem.

研究の動機と目的

• 軌道有限な名前付きモノイドによって認識可能なデータ言語の位相的特徴づけを構築すること。
• 名前付き集合におけるPro-完備化の失敗を避けるために、支持サイズに上限を設けること。
• k-有界な名前付き集合に対して、名前付きのストーン双対性を確立すること。
• 認識可能なデータ言語をpro-軌道有限な語空間における閉開部分集合として特徴づけること。
• pro方程式を用いて、名前付きのリーターマン定理の類似を証明すること。

提案手法

• pro-軌道有限な名前付き位相空間を、profinite語の名前付き一般化として導入する。
• Pro-完備化の存在を保証するために、k-有界な名前付き集合（Nomk および Nomof,k）に制限する。
• 局所k-原子的軌道有限に完全な名前付きブール代数の双対として名前付きストーン空間を定義する。
• k-有界な名前付きストーン空間と名前付きブール代数の部分圏との間に双対性を確立する。
• 認識可能なデータ言語をpro-軌道有限語空間における閉開集合として特徴づける。
• pro方程式によって、MSR-擬体積が公理化されることを示し、名前付きのリーターマン定理のバージョンを証明する。

実験結果

リサーチクエスチョン

• RQ1 無限のアルファベット上のデータ言語に対して、名前付き位相を用いて位相的枠組みを構築できるか？
• RQ2 標準的構成が失敗する際、軌道有限な名前付き集合のPro-完備化をどのように再構築できるか？
• RQ3 有界な支持サイズが、名前付き空間の双対理論を可能にする役割は何か？
• RQ4 認識可能なデータ言語は、名前付きprofinite空間における閉開集合として位相的に特徴づけられるか？
• RQ5 pro方程式に基づく、リーターマンの擬体積定理の名前付き類似は存在するか？

主な発見

• k-有界な名前付きストーン空間の圏は、k-有界な軌道有限な名前付き集合の圏のPro-完備化と同値である。
• 名前付きストーン双対性により、k-有界な名前付きストーン空間と局所k-原子的軌道有限に完全な名前付きブール代数の部分圏との間に双対同値が確立される。
• k-有界位相の下で、認識可能なデータ言語はpro-軌道有限語空間の閉開部分集合として正確に特徴づけられる。
• 任意のMSR-擬体積は、家族のpro方程式によって公理化可能であり、これによりリーターマンの定理の名前付き版が確立される。
• pro方程式がモノイドによって満たされるための必要十分条件は、その核から導かれるすべての明示的方程式が満たされることであり、論理的・位相的整合性が保証される。
• 明示的pro方程式の集合を満たすモノイドの集合は、MSR-擬体積をなし、有限積、部分モノイド、およびMSR商に関して閉じている。