[論文レビュー] Conjugacy Search Problem for Relatively Hyperbolic Groups

Zoe Ann O'Connor|arXiv (Cornell University)|Nov 23, 2012

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

ひとこと要約

本稿は、相対的に双曲的群における共役探索問題（CSP）の共役要素の長さに対して、顕著に改善された多項式上界を確立する。相対的測地線と周辺部分群の挙動を分析することで、双曲的要素に対しては立方上界が得られ、放物的要素に対しては、$n$ を周辺部分群におけるCSP上界の次数とするとき、$ \max\{3, 2n+1\}$ 次の上界が得られ、これは以前の推定値 $576n$ に比べて顕著な改善である。

ABSTRACT

The asymptotic bound for a length-based attack on the Conjugacy Search Problem in relatively hyperbolic groups is cubic for hyperbolic elements and a "small" polynomial for parabolic elements, depending on the Conjugacy Search Problem for the peripheral subgroups. The bound for relatively hyperbolic groups in this paper is a significant improvement on previous work.

研究の動機と目的

• 相対的に双曲的群における共役探索問題（CSP）の解法に向けた効率的長さ上界の欠如に対処する。
• 暗号的応用において現実的でないとされた、相対的に双曲的群におけるCSP長さ上界の以前の推定値 $576n$ を克服する。
• 相対的に双曲的群における共役要素の最小長さに対する、より緊密で実用的な上界を確立する。
• 相対的測地線およびコーンを施したカイリーグラフ上の $H_i$-成分の構造を分析し、長さ上界を導出する。
• CSPに基づく鍵共有プロトコルに適用可能な枠組みを提供し、探索空間サイズの妥当性を保証する。

提案手法

• Farbの相対的双曲性の定義と、群の幾何をモデル化するためのコーンを施したカイリーグラフ $\widehat{\Gamma}$ を用いる。
• 相対的測地線とその $H_i$-成分の整合性を制御するため、有界コセット浸食（BCP）性質を適用する。
• 共通の特徴的要素を持つ対称的かつ最小の測地線対を定義し、共役パスの分析に用いる。
• 周辺部分群からの多項式上界とパス幾何からの二次上界を組み合わせることで、共役パスにおける $H_i$-成分の $\Gamma$-長さを上界で制御する。
• 最小対称測地線対と孤立成分を用い、補題2.5および命題2.4により長さ制約を導出する。
• 双曲的および放物的要素の上界を統合し、CSP長さ上界の総体的な次数 $\max\{3, 2n+1\}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 相対的に双曲的群における共役要素の長さに対して、可能な限りtightな多項式上界は何か？
• RQ2 周辺部分群におけるCSP長さ上界の次数が、包摂的な相対的に双曲的群における全体の上界にどのように影響を与えるか？
• RQ3 相対的に双曲的群におけるCSPの以前の $576n$-次上界は、著しく改善可能か？
• RQ4 相対的測地線および $H_i$-成分の構造は、共役要素長さのより洗練された分析を可能にするか？
• RQ5 極限群（最大の非巡回アーベル部分群に関して相対的に双曲的である群）におけるCSP長さ上界の漸近的挙動は何か、その構造から導かれるか？

主な発見

• 相対的に双曲的群における共役探索問題は、$n$ を周辺部分群におけるCSP上界の次数とするとき、$\mathcal{L} = \max\{\|a\|_X, \|b\|_X\}$ における多項式上界 $\max\{3, 2n+1\}$ 次で与えられる。
• 双曲的要素に対しては、上界は立方（次数3）であり、$n$ とは独立に成立する。
• 放物的要素に対しては、上界は $2n+1$ 次であり、二次的パス上界と周辺部分群における多項式上界の相互作用から導出される。
• この上界は、暗号的プロトコルにおいて現実的でないとされた以前の推定値 $576n$ に比べて顕著に改善されている。
• 極限群（最大の非巡回アーベル部分群に関して相対的に双曲的）の場合、CSPは自明（$n=0$）であるため、上界は立方となる。
• 著者の近い結果によれば、極限群におけるCSPは実際には線形漸近的上界を有する可能性があり、現時点の立方上界がタイトでない可能性がある。