[论文解读] Nominal Topology for Data Languages

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

Advanced Algebra and Logic被引用 2

一句话总结

本文提出了一种基于轨道有限名义幺半群识别的数据语言的拓扑框架，采用广义轨道有限名义拓扑空间。在全局有界支撑大小条件下，建立了这些空间与名义布尔代数子范畴之间的对偶性，将可识别数据语言刻画为闭开集，并通过广义方程证明了名义版本的Reiterman伪variety定理。

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-有界名义集建立名义版本的Stone对偶性。
• 将可识别数据语言刻画为广义轨道有限词空间中的闭开子集。
• 通过广义方程证明名义版的Reiterman定理。

提出的方法

• 引入广义轨道有限名义拓扑空间，作为广义有限词的名义推广。
• 限制在k-有界名义集（Nomk 和 Nomof,k）以确保Pro-完备化的存在性。
• 将名义Stone空间定义为局部k-原子轨道有限完备的名义布尔代数的对偶。
• 在k-有界名义Stone空间与名义布尔代数的一个子范畴之间建立对偶性。
• 将可识别数据语言刻画为广义轨道有限词空间中闭开集。
• 通过证明MSR-伪variety由广义方程公理化，建立名义版的Reiterman定理。

实验结果

研究问题

• RQ1 能否基于名义拓扑为无限字母表上的数据语言建立拓扑框架？
• RQ2 当标准构造失败时，如何重构轨道有限名义集的Pro-完备化？
• RQ3 有界支撑大小在名义空间对偶理论中的作用是什么？
• RQ4 可识别数据语言能否在名义广义有限空间中被拓扑地刻画为闭开集？
• RQ5 是否存在基于广义方程的名义版Reiterman伪variety定理？

主要发现

• k-有界名义Stone空间的范畴与k-有界轨道有限名义集范畴的Pro-完备化等价。
• 名义Stone对偶性在k-有界名义Stone空间与局部k-原子轨道有限完备的名义布尔代数之间建立了对偶等价。
• 在k-有界拓扑下，可识别数据语言恰好是广义轨道有限词空间中的闭开子集。
• 每个MSR-伪variety的轨道有限名义幺半群均由一族广义方程公理化，从而确立了名义版的Reiterman定理。
• 一个广义方程被幺半群满足，当且仅当其核导出的所有显式方程均被满足，确保了逻辑与拓扑的一致性。
• 满足一组显式广义方程的幺半群类构成一个MSR-伪variety，对有限积、子幺半群和MSR商集封闭。