[论文解读] Conjugacy in Garside groups I: Cyclings, powers, and rigidity

Joan S. Birman, Volker Gebhardt+1 more|ArXiv.org|May 9, 2006

Geometric and Algebraic Topology参考文献 13被引用 8

一句话总结

本文建立了 Garside 群中循环与幂之间的基本联系，证明若一个元素具有刚性幂，则该幂存在于 $||\Delta||^3$ 的显式范围内。研究表明，在辫子群中的伪阿诺索夫辫子中，存在某个小幂 $X^m$（其中 $m < ||\Delta||^3$），其超顶点集完全由刚性元素构成，这是实现辫子群中共轭判定与搜索问题多项式时间解法的关键一步。

ABSTRACT

In this paper a relation between iterated cyclings and iterated powers of elements in a Garside group is shown. This yields a characterization of elements in a Garside group having a rigid power, where 'rigid' means that the left normal form changes only in the obvious way under cycling and decycling. It is also shown that, given X in a Garside group, if some power X^m is conjugate to a rigid element, then m can be bounded above by ||Δ||^3. In the particular case of braid groups, this implies that a pseudo-Anosov braid has a small power whose ultra summit set consists of rigid elements. This solves one of the problems in the way of a polynomial solution to the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in braid groups. In addition to proving the rigidity theorem, it will be shown how this paper fits into the authors' program for finding a polynomial algorithm to the CDP/CSP, and what remains to be done.

研究动机与目标

• 刻画 Garside 群中具有刚性幂的元素，其中“刚性”指在循环操作下保持稳定正规形式。
• 建立指数 $m$ 的多项式上界，使得 $X^m$ 变为刚性，具体为 $m < ||\Delta||^3$。
• 将这些结果应用于辫子群，特别是伪阿诺索夫辫子，以降低共轭判定与搜索问题的复杂度。
• 通过利用刚性与循环动力学，推进实现辫子群中共轭问题多项式时间算法的程序。

提出的方法

• 引入并分析 Garside 群中迭代循环与群元素迭代幂之间的相互作用。
• 利用左正规形式与刚性概念，研究循环如何影响幂的结构。
• 定义并应用超顶点集（USS）与稳定超顶点集以分析共轭动力学。
• 应用绝对初始与最终因子的概念，追踪循环与幂运算下的结构变化。
• 利用基本元素 $\Delta$ 及其范数 $||\Delta||$ 的性质，对刚性幂的指数进行有界。
• 利用如下事实：若对足够大的范围内的 $t$，有 $X^t \in USS(X^t)$，则 $X$ 在所述范围内存在刚性幂。

实验结果

研究问题

• RQ1 在什么条件下，Garside 群中的元素具有刚性幂？
• RQ2 给定元素 $X$ 具有刚性幂，使得 $X^m$ 变为刚性的最小指数 $m$ 是多少？
• RQ3 通过聚焦于超顶点集中的刚性元素，是否可实现辫子群中共轭判定与搜索问题的多项式时间求解？
• RQ4 在 Garside 群元素的背景下，特别是辫子群中，循环与幂运算如何相互作用？
• RQ5 伪阿诺索夫辫子的何种结构性质可确保其某个小幂具有刚性超顶点集？

主要发现

• 若 Garside 群中的元素 $X$ 具有刚性幂，则该幂存在的指数满足 $m < ||\Delta||^3$。
• 对于任意满足 $X \in USS(X)$ 且具有刚性幂的 $X$，若对所有满足 $-||\Delta||^2 \leq t \leq ||\Delta||^2$ 的 $t$，均有 $X^t \in USS(X^t)$，则存在某个 $m < ||\Delta||^3$，使得 $X^m$ 为刚性。
• 在辫子群中，每个伪阿诺索夫辫子都存在一个幂 $X^m$（其中 $m < ||\Delta||^3$），使得 $USS(X^m)$ 完全由刚性元素构成。
• 若 $USS(X)$ 中元素的规范长度大于 1，则 $m < ||\Delta||^2$ 已足够使 $X^m$ 具有刚性超顶点集。
• 若 $X^m$ 中存在刚性幂，则 $USS(X^m)$ 在计算上更简单，因为其中所有元素均为刚性，因而具有可预测的循环行为。
• 该结果使得通过将问题简化为刚性元素之间的共轭关系，从而实现辫子群中共轭判定与搜索问题的潜在多项式时间求解。