[论文解读] Conjugacy Search Problem for Relatively Hyperbolic Groups

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

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

一句话总结

该论文在相对超曲群的共轭搜索问题（CSP）中建立了共轭元素长度的显著改进的多项式上界。通过分析相对测地线和旁系子群的行为，证明了对双曲元素其上界为三次，对抛物元素其上界次数为 $\max\{3, 2n+1\}$，其中 $n$ 为旁系子群中CSP上界的次数——相比先前估计的 $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}$ 建模群的几何结构。
• 应用有界共轭穿透（BCP）性质，控制相对测地线及其 $H_i$-分量的对齐方式。
• 定义具有共享特征元素的对称与最小测地线对，以分析共轭路径。
• 利用旁系子群中的多项式上界和路径几何中的二次上界，控制共轭路径中 $H_i$-分量的 $\Gamma$-长度。
• 利用最小对称测地线对和孤立分量，通过引理2.5和命题2.4推导长度约束。
• 结合双曲与抛物元素的上界，推导出CSP长度上界的整体次数 $\max\{3, 2n+1\}$。

实验结果

研究问题

• RQ1 在相对超曲群中，共轭元素长度的最紧致可能的多项式上界是什么？
• RQ2 旁系子群中CSP长度上界如何影响在整体相对超曲群中的上界？
• RQ3 能否显著改进先前对相对超曲群中CSP的 $576n$ 次上界？
• RQ4 相对测地线和 $H_i$-分量的结构是否允许对共轭元素长度进行更精细的分析？
• RQ5 给定极限群作为相对于极大非循环阿贝尔子群的相对超曲群，CSP长度上界的渐近行为是什么？

主要发现

• 在相对超曲群中，共轭搜索问题（CSP）的长度上界为 $\mathcal{L} = \max\{\|a\|_X, \|b\|_X\}$ 的多项式，次数为 $\max\{3, 2n+1\}$，其中 $n$ 为旁系子群中CSP上界的次数。
• 对于双曲元素，上界为三次，即次数为3，与 $n$ 无关。
• 对于抛物元素，上界次数为 $2n+1$，由路径几何的二次上界与旁系子群中多项式上界的相互作用导出。
• 该上界相比先前估计的 $576n$ 显著改进，后者在密码学协议中被认为过大而不实用。
• 在极限群的情形下——即相对于极大非循环阿贝尔子群的相对超曲群——上界为三次，因为阿贝尔群中CSP是平凡的（$n=0$）。
• 作者即将发表的结果表明，极限群中的CSP实际上可能具有线性渐近上界，提示当前的三次上界可能并非紧致。