[論文レビュー] 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

ひとこと要約

この論文は、ガーディス群におけるサイクリングとべき乗の根本的な関係を確立し、ある元が剛性のあるべき乗を持つならば、そのべき乗が $||\Delta||^3$ の明示的な上限内に存在することを証明している。また、ブレイド群における擬・アノソフブレイドに対しては、$m < ||\Delta||^3$ であるような小さなべき乗 $X^m$ が、すべての要素が剛性を持つ超頂点集合 $USS$ を持つことを示しており、これはブレイド群における共役決定問題と探索問題の多項式時間解法への重要な一歩である。

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.

研究の動機と目的

• ガーディス群における『剛性』（サイクリング操作に対して安定な標準形）を持つべき乗を有する要素を同定すること。
• べき乗 $X^m$ が剛性を示すような指数 $m$ の多項式的上界を確立すること、特に $m < ||\Delta||^3$ であることを示すこと。
• これらの結果をブレイド群、特に擬・アノソフブレイドに適用し、共役決定問題と探索問題の計算複雑度を低減すること。
• 剛性とサイクリングダイナミクスを活用することで、ブレイド群における共役問題の多項式時間アルゴリズムへの道筋を前進させること。

提案手法

• ガーディス群における繰り返しサイクリングと群の元の繰り返しべき乗の相互作用を導入し、分析する。
• 左標準形と剛性の概念を用いて、サイクリングがべき乗の構造に与える影響を研究する。
• 共役ダイナミクスを分析するために、超頂点集合（USS）と安定超頂点集合を定義し、それらを用いる。
• サイクリングとべき乗の下での構造的変化を追跡するために、絶対的初期因子および終了因子の概念を適用する。
• 基本的元 $\Delta$ 及びそのノルム $||\Delta||$ の性質を活用して、剛性べき乗の指数を有界化する。
• もし $t$ が十分に大きな範囲において $X^t \in USS(X^t)$ が成り立つならば、$X$ は示された上限内に剛性べき乗を持つ、という事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 ガーディス群の元が剛性べき乗を持つのはどのような条件下か？
• RQ2 元 $X$ が剛性べき乗を持つと仮定したとき、$X^m$ が剛性を示す最小の指数 $m$ は何か？
• RQ3 ブレイド群における共役決定問題と探索問題は、超頂点集合内の剛性要素に注目することで多項式時間で解けるか？
• RQ4 特にブレイド群において、サイクリングとべき乗はガーディス群の元に対してどのように相互作用するか？
• RQ5 擬・アノソフブレイドのどのような構造的性質が、ある小さなべき乗が剛性超頂点集合を持つことを保証するのか？

主な発見

• ガーディス群の元 $X$ が剛性べき乗を持つならば、そのべき乗は指数 $m < ||\Delta||^3$ で存在する。
• 任意の $X \in USS(X)$ が剛性べき乗を持つ場合、すべての $t$ に対して $-||\Delta||^2 \leq t \leq ||\Delta||^2$ が成り立つならば、$X^m$ は $m < ||\Delta||^3$ で剛性を示す。
• ブレイド群において、すべての擬・アノソフブレイドは、$m < ||\Delta||^3$ であるようなべき乗 $X^m$ を持ち、$USS(X^m)$ はすべての要素が剛性を持つ。
• もし $USS(X)$ の要素の標準長が 1 より大きいならば、$X^m$ が剛性超頂点集合を持つためには $m < ||\Delta||^2$ で十分である。
• $X^m$ に剛性べき乗が存在することは、$USS(X^m)$ が計算的に単純であることを示しており、すべての要素が剛性であるため、サイクリングの振る舞いが予測可能になる。
• この結果により、剛性要素の共役性に帰着させることで、ブレイド群における共役決定問題と探索問題の多項式時間解法が可能になる。