[论文解读] The Word Problem for the Singular Braid Monoid

Oliver T. Dasbach, Bernd Gemein|ArXiv.org|Sep 12, 1998

Geometric and Algebraic Topology参考文献 18被引用 7

一句话总结

该论文通过在字长与奇异生成元数量的乘积上给出一个时间复杂度为二次的算法，解决了奇异辫子幺半群 SB_n 的字问题。此外，还提供了 Fenn、Keyman 和 Rourke 嵌入结果的代数证明，并计算了相关群的上同调维数。

ABSTRACT

We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.

研究动机与目标

• 解决奇异辫子幺半群 SB_n 的字问题，判断两个字是否表示同一元素。
• 为 SB_n 中字的约化提供一个高效算法，并证明其时间复杂度。
• 以纯代数方法重新证明 SB_n 嵌入到一个群中的结果，此前由 Fenn、Keyman 和 Rourke 所证明。
• 计算 SB_n 嵌入的群的上同调维数。
• 使用几何与群论方法，建立奇异辫子的基础代数与算法性质。

提出的方法

• 利用一组定义关系，为奇异辫子幺半群 SB_n 的元素构造一种标准形。
• 采用一种约化算法，系统地应用辫子关系与奇异生成元规则，以简化字。
• 分析约化过程的复杂度，表明其在字长与奇异生成元数量乘积上的时间复杂度为二次。
• 使用代数技术，包括群表示与同调代数，分析 SB_n 的群化结构。
• 应用几何拓扑与群论的结果，建立 SB_n 嵌入到一个群中的结论。
• 通过代数拓扑方法，特别是利用幺半群及其分式群的结构，计算群的上同调维数。

实验结果

研究问题

• RQ1 是否存在一种高效算法，可判断奇异辫子幺半群中的两个字是否表示同一元素？
• RQ2 如何仅使用代数方法证明奇异辫子幺半群 SB_n 嵌入到一个群中？
• RQ3 与 SB_n 关联的群的上同调维数是多少？
• RQ4 在 SB_n 中求解字问题的计算复杂度是什么？
• RQ5 SB_n 中的关系如何相互作用，以支持标准形与字约化？

主要发现

• 奇异辫子幺半群 SB_n 的字问题可在字长与奇异生成元数量乘积的二次时间复杂度内求解。
• 提供了 SB_n 嵌入到群中的代数证明，确认了 Fenn、Keyman 和 Rourke 的结果，且不依赖于拓扑论证。
• SB_n 嵌入的群的上同调维数被计算为 n − 1。
• 该算法解决方案基于 SB_n 定义关系的系统约化系统。
• 证明了 SB_n 的群化同构于奇异辫子幺半群的分式群的一个子群。
• 研究结果为在几何与群论背景下处理奇异辫子，建立了完整的代数与算法框架。