[论文解读] Conjugacy classes of periodic braids

Eon-Kyung Lee, Sangjin Lee|arXiv (Cornell University)|Feb 13, 2007

Geometric and Algebraic Topology参考文献 23被引用 3

一句话总结

本文提出了一种多项式时间算法，用于在有周期性辫子的辫子群中利用BKL Garside结构求解共轭搜索问题（CSP）。尽管超顶点集的大小呈指数级增长，作者通过在超顶点集中利用部分循环操作，实现了高效的共轭检测与元素计算，显著优于以往依赖于暴力搜索的方法，后者在辫子指数n增大时性能急剧下降。

ABSTRACT

Recently, there have been several progresses for the conjugacy search problem (CSP) in Garside groups, especially in braid groups. All known algorithms for solving this problem use a sort of exhaustive search in a particular finite set such as the super summit set and the ultra summit set. Their complexities are proportional to the size of the finite set, even when there exist very short conjugating elements. However, ultra summit sets are very large in some cases especially for reducible braids and periodic braids. Some possible approaches to resolve this difficulty would be either to use different Garside structures and Garside groups in order to get a sufficiently small ultra summit set, or to develop an algorithm for finding a conjugating element faster than exhaustive search. Using the former method, Birman, González-Meneses and Gebhardt have proposed a polynomial-time algorithm for the CSP for periodic braids. In this paper we study the conjugacy classes of periodic braids under the BKL Garside structure, and show that we can solve the CSP for periodic braids in polynomial time although their ultra summit sets are exponentially large. Our algorithm describes how to connect two periodic braids in the (possibly exponentially large) ultra summit set by applying partial cycling polynomially many times.

研究动机与目标

• 为解决现有周期性辫子共轭搜索算法效率低下的问题，这些算法因超顶点集过大而导致时间复杂度呈指数级增长。
• 在BKL Garside结构下，为周期性辫子的共轭搜索问题（CSP）开发一种确定性、非穷举的算法。
• 与依赖于特殊子群（如$P_{n,2}$与$\mathrm{Sym}_{2n-2}$）之间双射关系的先前方法相比，降低计算复杂度。
• 提供可接受简单元素表示而非原子作为输入的算法，从而提升效率与表示的自然性。
• 证明即使在超顶点集呈指数级增长的情况下，仍可实现多项式时间的共轭求解。

提出的方法

• 利用辫子群$B_n$上的BKL Garside结构，定义具有有利算法特性的共轭代表集。
• 通过部分循环操作在多项式时间内遍历超顶点集，避免完整枚举。
• 将辫子元素表示为简单元素（而非原子）的字词，以实现更高效的计算。
• 应用改进形式的循环与反循环操作，每步操作的复杂度优化为$\mathcal{O}(ln)$，优于先前的复杂度界。
• 提出算法II用于$\delta$-型周期性辫子的CDP与CSP，以及算法IV用于$\varepsilon$-型，两者均具有多项式时间复杂度。
• 避免了在先前工作中必需的$P_{n,2}$与$\mathrm{Sym}_{2n-2}$之间显式双射的使用，从而降低了复杂度。

实验结果

研究问题

• RQ1 尽管其超顶点集大小呈指数级增长，是否仍可对周期性辫子的共轭搜索问题实现多项式时间求解？
• RQ2 能否构建一种确定性算法，用于周期性辫子共轭问题，避免在共轭代表集中进行穷举搜索？
• RQ3 Garside结构的选择（BKL与Artin相比）如何影响周期性辫子CSP求解的复杂度与可行性？
• RQ4 能否设计出直接基于简单元素表示而非原子生成元的算法，以提升效率？
• RQ5 用更简单的循环操作替代复杂的双射变换，对算法复杂度有何影响？

主要发现

• 所提出的算法在多项式时间内求解了周期性辫子的共轭判定问题（CDP）与共轭搜索问题（CSP），具体而言，CDP的时间复杂度为$\mathcal{O}(l^2n^2 + n^2\log n)$，$\delta$-型CSP的时间复杂度为$\mathcal{O}(l^2n^2)$。
• 用于$\varepsilon$-型周期性辫子的算法IV的时间复杂度为$\mathcal{O}(l^2n^2 + n^2\log n)$，优于先前方法所需的$\mathcal{O}(l^3n^2)$复杂度，并且无需额外实现双射。
• 使用简单元素表示而非原子可降低复杂度并提升效率，因为简单元素在Garside群算法中更自然且计算效率更高。
• 该算法避免了在先前方法中作为主要复杂度来源的$P_{n,2}$与$\mathrm{Sym}_{2n-2}$之间的显式双射。
• 通过采用BKL Garside结构与部分循环操作，即使在超顶点集呈指数级增长的情况下，仍可实现多项式时间性能。
• 修订后的复杂度分析表明，每步循环/反循环操作可于$\mathcal{O}(ln)$时间内完成，优于先前假设的$\mathcal{O}(l^2n)$界。