[論文レビュー] On the genericity of pseudo-Anosov braids II: conjugations to rigid braids

Sandrine Caruso, Bert Wiest|arXiv (Cornell University)|Sep 24, 2013

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

ひとこと要約

この論文は、$n \geq 3$ におけるブレード群 $\mathcal{B}_n$ において、ガーディスの生成集合を用いた単位元を中心とする半径 $l$ の球内における擬等長ブレードの割合が、$l \to \infty$ のとき指数関数的に 1 に近づくことを確立している。主なメカニズムは、一般のブレードが侵入的でない方法で剛性ブレードへと共役化可能であること—これは効率的なアルゴリズム的解析が可能な構造—であり、これにより一般のブレードペアに対して共役探索問題が二次時間で高速に解けるようになる。

ABSTRACT

We prove that generic elements of braid groups are pseudo-Anosov, in the following sense: in the Cayley graph of the braid group with n $\\ge$ 3 strands, with respect to Garside's generating set, we prove that the proportion of pseudo-Anosov braids in the ball of radius l tends to 1 exponentially quickly as l tends to infinity. Moreover, with a similar notion of genericity, we prove that for generic pairs of elements of the braid group, the conjugacy search problem can be solved in quadratic time. The idea behind both results is that generic braids can be conjugated "easily" into a rigid braid.

研究の動機と目的

• ガーディスの生成集合の下でブレード群 $\mathcal{B}_n$ における擬等長ブレードの一般性を確立すること。
• 一般のブレードが侵入的でない方法で剛性ブレードへと共役化可能であることを示し、アルゴリズム的解析を簡素化すること。
• 一般のブレードペアに対して共役探索問題が二次時間で解けることを示すこと。
• ガーディス理論と成長推定値を用いて、ブレード群における一般的挙動の理解を拡張すること。
• 例えば、一般のブレード閉包の双曲的性など、幾何的・位相的帰結を探索すること。

提案手法

• ガーディスの生成集合（単純ブレード）を用いた $\mathcal{B}_n$ のケイリー図を定義し、単位元を中心とする半径 $l$ の球を導入する。
• ガーディス理論を用いてブレードを左正規形に分解し、下端、標準長、剛性ブレードを初期因子および終端因子によって定義する。
• 正規形の中央セグメントを保持する非侵入的共役化の概念を導入し、構造的安定性を維持する。
• 先行研究からのブロッキングブレード技術および漸近的成長推定値を用いて、このような共役化が可能なブレードの割合が指数関数的に 1 に近づくことを示す。
• デールォワの全順序および $[\Delta^{-4}, \Delta^4]$ の区間に対する境界を用いて、非双曲的閉包を持つブレードの割合が消えることを示す。
• ブレード群の指数的成長を用いて、非擬等長要素の数に対する下界を導出し、小球による均一被覆と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 ブレード群 $\mathcal{B}_n$ の半径 $l$ の球内における擬等長ブレードの割合は、$l \to \infty$ のとき 1 に近づくか？
• RQ2 一般のブレードは非侵入的共役化により剛性形式に写せるか？その速度はいかほどか？
• RQ3 一般のブレードペアに対する共役探索問題の漸近的時間計算量は何か？
• RQ4 一般のブレードは、双曲的リンクを形成する閉包を持つのか？
• RQ5 生成集合や部分群構造の変更に対して、一般性の結果はロバストか？

主な発見

• ブレード群 $\mathcal{B}_n$ の半径 $l$ の球内における擬等長ブレードの割合は、$l \to \infty$ のとき指数関数的に 1 に近づく。
• 剛性ブレードへの非侵入的共役化が可能なブレードの割合も、標準長とともに指数関数的に 1 に近づく。
• 一般のブレードペアに対して、非侵入的共役化フレームワークを用いて共役探索問題を二次時間で解ける。
• 一般のブレードの閉包は、非双曲的閉包を持つブレードの割合が 0 に近づくことから、双曲的リンクである。
• 任意の $l$ に対して、その中心がその球内に唯一の擬等長要素しか含まないようなケイリー図上の頂点が存在する。
• 結果から、WPD作用をもつ非自明な群において、一般の要素がWPD要素として作用するという予想が示唆される。