[論文レビュー] A New Approach to the Conjugacy Problem in Garside Groups

Volker Gebhardt|ArXiv.org|Jun 12, 2003

Geometric and Algebraic Topology参考文献 9被引用数 5

ひとこと要約

本稿では、ガルサイド群における超標準集合（S_x）の部分集合として、サイクル操作によって誘導される有向グラフ構造に基づき、はるかに小さい超標準集合（U_x）を導入する。著者らは、U_xが共役性の決定と探索に必要な凸性を保つことを証明し、特にブレード群においてS_xが指数関数的にサイズが増大するため計算的に非現実的である場合に、U_xがより高速で実用的な共役問題の解決法を可能にすることを示している。

ABSTRACT

The cycling operation endows the super summit set $S_x$ of any element $x$ of a Garside group $G$ with the structure of a directed graph $Γ_x$. We establish that the subset $U_x$ of $S_x$ consisting of the circuits of $Γ_x$ can be used instead of $S_x$ for deciding conjugacy to $x$ in $G$, yielding a faster and more practical solution to the conjugacy problem for Garside groups. Moreover, we present a probabilistic approach to the conjugacy search problem in Garside groups. The results are likely to have implications for the security of recently proposed cryptosystems based on the hardness of problems related to the conjugacy (search) problem in braid groups.

研究の動機と目的

• ガルサイド群、特にブレード群において、超標準集合（S_x）がブレード指数および要素長に伴い指数関数的に増大するため、計算的に非現実的になる問題に対処すること。
• 共役問題を解くために必要な構造的性質を保持しつつ、S_xのより小さな管理しやすい部分集合を同定すること。
• 新しい不変量を用いて、ガルサイド群における共役決定および探索問題の実用的で効率的なアルゴリズムを開発すること。
• このアプローチが、共役探索問題の困難性に依存するブレード群ベースの暗号方式のセキュリティに与える影響を評価すること。

提案手法

• 特定の単純な要素による共役によって生成される遷移を用いて、超標準集合S_x上に有向グラフΓ_xを定義する。
• U_xをΓ_x内のすべてのサイクル（閉路）の和集合として特定し、これによりU_xがS_xの凸性を引き継ぐことを保証する。
• U_xがS_xと同一の共役操作に対して閉じていることを証明し、計算コストを著しく削減したまま同じ共役決定手順を適用可能にすることを示す。
• U_xのグラフ構造を活用し、平均して少ない連結成分（トラジェクトリ）数を有することを応用して、共役探索問題の確率的アルゴリズムを構築する。
• δ^k · A_1⋯A_r 形式の要素（A_iはランダムな単純要素）が非常に高い確率で超標準要素であるという事実を用い、S_xの効率的なランダムサンプリングを可能にする。
• アーティンのブレード群B_nの提示に基づき、nとrの変動に応じてS_xとU_xのサイズを比較して実装・テストする。

実験結果

リサーチクエスチョン

• RQ1 超標準集合S_xの適切な部分集合を用いて、ガルサイド群における共役問題を解くことは可能か？ また、理論的保証は同じままであるか？
• RQ2 特にブレード指数nと標準長rの関数として、ブレード群における超標準集合U_xのサイズは、S_xのサイズと比べてどの程度か？
• RQ3 U_xにおける連結成分（トラジェクトリ）の平均数はどの程度か？ これは共役探索アルゴリズムの効率にどのように影響するか？
• RQ4 ランダムに生成されたブレード群の要素が超標準集合に属する確率はどの程度か？ これはnやrに依存するか？
• RQ5 この新しい手法は、大規模なブレード群における共役問題の計算的実行可能性をどの程度向上させるか？

主な発見

• 超標準集合S_xの平均サイズはnとrに伴い指数関数的に増大し、n ≥ 10 または n > 5, r > 15 の場合、通常の現在のハードウェアでは計算不能である。
• 超標準集合U_xの平均サイズは、アーティンのB_nの提示において約2rであり、nにほとんど依存せず、nやrが大きくても計算的に取り扱える。
• rが大きい場合、U_x内の連結成分（トラジェクトリ）の平均数は約1.5であり、U_xは通常、1つまたは少数の小さな成分から構成されており、効率的な走査と共役探索が可能である。
• δ^k · A_1⋯A_r 形式のランダム要素は非常に高い確率（n > 20では確率 ≈1）で超標準要素であるが、超標準要素は極めてまれ（n > 20ではテストで観測されない）であり、U_xがS_xの極めて小さな部分集合であることが確認された。
• 本手法により、現在のコンピュータ上で、標準長1000のB_100の要素について、共役決定および探索問題を非常に短時間で解けることが示された。実用的な実行可能性が裏付けられた。
• 結果から、U_xは計算的に効率的であるだけでなく、自然かつ理論的に重要な不変量であることが示唆され、ブレード群ベースの暗号方式のセキュリティに影響を与える可能性がある。