[論文レビュー] General cycling operations in Garside groups

Hao Zheng|ArXiv.org|May 30, 2006

Geometric and Algebraic Topology参考文献 11被引用数 4

ひとこと要約

本稿では、一般化された任意の順序のサイクリング操作をガーディス群に導入し、古典的なサイクリングおよびデサイクリング操作を統一的かつ拡張的に扱う。これにより、還元可能なブレッドに対して、押し出し構造および引き戻し構造を用いてブレッド成分におけるサイクリング再発条件を強制することで、顕著に性能が向上した修正された頂点集合アルゴリズムが可能となり、従来の主要なボトル neck であった、還元可能なブレッドの共役問題に対する性能が大幅に改善される。この手法により、ガーディス群の計算における実用的かつ理論的に統一された枠組みが得られる。

ABSTRACT

In this article, we introduce the notion of cycling operations of arbitrary order in Garside groups, which is a full generalization of the cycling and decycling operations. Theoretically, this notion together with other related concepts provides a context in which various definitions and arguments concerning Garside groups are unified and simplified as well as improved. Practically, it yields a new algorithm which has a considerably improved performance on solving the conjugacy problem of reducible braids.

研究の動機と目的

• 還元可能なブレッドに対して既存の共役アルゴリズムの性能が著しく劣るために生じる、超頂点集合がスーパー頂点集合の挙動に退化する問題に対処すること。
• 古典的なサイクリングおよびデサイクリング操作を、ガーディス群における任意順序のサイクリング操作というより広範な枠組みに一般化すること。
• 新しい操作および関連する押し出し／引き戻し概念を用いて、ガーディス群論における理論的定義および議論を統一的かつ簡素化すること。
• 還元可能なブレッドに対して完全に修正された頂点集合を効果的に計算できる実用的なアルゴリズムを開発すること。従来の手法よりも性能が向上すること。
• 一般化されたサイクリング操作および正規形解析を用いて、ある元のべきが剛性元に共役であるような理論的条件を確立すること。

提案手法

• ガーディス群における任意順序のサイクリング操作の概念を導入し、標準的なサイクリングおよびデサイクリング操作を特別な場合として一般化すること。
• これらの一般化されたサイクリング操作に沿った押し出しおよび引き戻し写像を定義し、共役ダイナミクスおよび成分の挙動を分析すること。
• 一般化されたサイクリングフレームワークを用いて、還元可能なブレッドの個々の成分にサイクリング再発条件を課すことにより、超頂点集合を修正すること。
• 従来のスーパー頂点集合および超頂点集合のアルゴリズムを、新しい一般化されたサイクリング操作を組み込むように変更し、修正された頂点集合の効果的計算を可能にすること。
• ブレッド群への理論の適用において、一般化されたサイクリング下での正規形、下端、上端、および剛性条件を分析すること。
• 元 x の剛性共役の集合が、安定頂点集合と G_{2, inf x + sup x} の共通部分であることを証明し、明確な特徴付けを与えること。

実験結果

リサーチクエスチョン

• RQ1 還元可能なブレッドの共役問題を、成分ごとのサイクリング再発条件を用いて頂点集合を修正することで、より効率的に解くことができるか？
• RQ2 ガーディス群におけるサイクリングおよびデサイクリング操作を、理論的分析を統一的かつ簡素化するために、任意の順序に一般化できるか？
• RQ3 ある元の剛性と、その一般化されたサイクリング操作下での挙動との関係は何か？
• RQ4 ある元のべきが剛性元に共役であるのはどのような条件下か？そして、これをアルゴリズム的にどのように特定できるか？
• RQ5 一般化されたサイクリング操作に沿った押し出しおよび引き戻し写像を用いて、頂点集合および剛性の構造を特徴づけることができるか？

主な発見

• 一般化されたサイクリング操作は、ガーディス群論における理論的議論を簡素化し、改善する統一的枠組みを提供する。
• 一般化されたサイクリング操作に基づく新しいアルゴリズムは、還元可能なブレッドの共役問題に対して顕著に性能が向上しており、従来の手法を上回る。
• 任意の元 x に対して、剛性共役の集合は正確に C^{*,*}(x) = C^s(x) ∩ G_{2, inf x + sup x} に等しく、明確な特徴付けが得られる。
• x のべきが剛性元に共役であるのは、C^s(x^N) ∩ G_{2, inf_s x^N + sup_s x^N} に属する元が剛性であるときであり、かつそのときに限る。ここで N は補題 7.8 の N_1 と N_2 の最小公倍数である。
• ブレッド群では、必要な整数 N_1, N_2 を効率的に計算できるため、アルゴリズムは多項式時間で実行可能である。
• 理論的に、x^m が剛性で inf x^m = m inf x、sup x^m = m sup x であるならば、x に対しても剛性が保たれることが示され、べき乗における剛性保存性が拡張される。