[论文解读] A New Approach to the Conjugacy Problem in Garside Groups

Volker Gebhardt|ArXiv.org|Jun 12, 2003

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

一句话总结

本文引入了超 summit 集（U_x），这是 Garside 群中 super summit 集（S_x）的一个显著更小的子集，其来源于由环操作（cycling operation）诱导的有向图结构。通过证明 U_x 保留了解决共轭判定与搜索问题所需的凸性性质，作者展示了 U_x 能够提供一种更快、更实用的共轭问题解决方案——尤其在 braid 群中，因为 S_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.

研究动机与目标

• 为解决 Garside 群中 super summit 集（S_x）的计算不可行性，特别是在 braid 群中，S_x 随 braid 指数和元素长度呈指数增长。
• 识别 S_x 的一个更小、更易处理的子集，该子集保留了解决共轭问题所需的结构特性。
• 基于新不变量，开发一种共轭判定与搜索问题在 Garside 群中的实用且高效算法。
• 评估该方法对依赖共轭搜索问题困难性的 braid group 基础密码系统的安全性影响。

提出的方法

• 通过环操作在 super summit 集 S_x 上定义有向图 Γ_x，该操作通过特定简单元素的共轭生成元素间的转移。
• 将 ultra summit 集 U_x 定义为有向图 Γ_x 中所有环（循环）的并集，确保 U_x 继承 S_x 的凸性性质。
• 证明 U_x 对与 S_x 相同的共轭操作封闭，从而支持相同的共轭判定程序，但计算成本大幅降低。
• 基于 U_x 的图结构，开发一种共轭搜索问题的概率算法，利用 U_x 中连接分量（轨迹）的平均数量较低的特点。
• 利用如下事实：形如 δ^k · A_1⋯A_r 的元素（其中 A_i 为随机简单元素）极大概率是 super summit 元素，从而实现对 S_x 的高效随机采样。
• 在 braid 群 B_n 的 Artin 表示下实现并测试该方法，比较不同 n 和 r 下 S_x 与 U_x 的大小。

实验结果

研究问题

• RQ1 能否使用 super summit 集 S_x 的一个真子集来解决 Garside 群中的共轭问题，同时保持相同的理论保证？
• RQ2 在 braid 群中，ultra summit 集 U_x 的大小与 S_x 的大小相比如何，特别是作为 braid 指数 n 和规范长度 r 的函数？
• RQ3 U_x 中连接分量（轨迹）的平均数量是多少，这如何影响共轭搜索算法的效率？
• RQ4 在 braid 群中随机生成的元素属于 ultra summit 集的概率是多少，该概率是否依赖于 n 和 r？
• RQ5 该新方法在多大程度上提升了在大型 braid 群中求解共轭问题的计算可行性？

主要发现

• super summit 集 S_x 的平均大小随 n 和 r 呈指数增长，导致在典型当前硬件上 n ≥ 10 或 n > 5, r > 15 时计算不可行。
• ultra summit 集 U_x 的平均大小约为 2r（在 B_n 的 Artin 表示下），且几乎与 n 无关，即使在 n 和 r 较大时也保持计算上的可处理性。
• 当 r 较大时，U_x 中连接分量（轨迹）的平均数量约为 1.5，表明 U_x 通常为单个或少数几个小分量，从而支持高效遍历与共轭搜索。
• 形如 δ^k · A_1⋯A_r 的随机元素极大概率是 super summit 元素（当 n > 20 时概率 ≈1），但 ultra summit 元素极为稀少（在 n > 20 的测试中未观察到），证实 U_x 是 S_x 的一个极小子集。
• 该方法可在当前计算机上以极短时间求解 B_100 中规范长度为 1000 的元素的共轭判定与搜索问题，证明了其实际可行性。
• 结果表明，U_x 不仅计算高效，而且是自然且具有理论重要性的不变量，对 braid group 基础密码系统的安全性具有深远影响。