[论文解读] Algorithmic Problems in the Braid Group

Elie Feder|ArXiv.org|May 14, 2003

Geometric and Algebraic Topology参考文献 46被引用 3

一句话总结

本博士论文研究辫群中的算法问题，提出了一种基于多带图灵机模型的高效解法，用于解决循环子群中的广义字问题。该方法被进一步推广至辫群的循环合并结构，解决了字问题与共轭问题，并提供了新的理论结果及在辫群密码学中的应用，全文包含详细的复杂度分析。

ABSTRACT

We begin with a review of the notion of a braid group. We then discuss some known solutions to decision problems in braid groups. We then move on to proving new results in braid group algorithmics. We offer a quick solution to the generalized word problem in braid groups, in the special case of cyclic subgroups. We illustrate this solution and its complexity using a multitape Turing machine. We then turn to a discussion of decision problems in cyclic amalgamations of groups. Again using a multitape Turing machine, we solve the word problem for the cyclic amalgamation of two braid groups. We analyze its complexity as well. We then turn to a more general study of the conjugacy problem in cyclic amalgamations. We revise and prove some theorems of Lipschutz[L1] and show their application to cyclic amalgamations of braid groups. We generalize this application to prove a new theorem regarding the conjugacy problem in cyclic amalgamations. We then discuss some application of braid groups, culminating in a section devoted to the discussion of braid group cryptography. We conclude with a discussion of some open questions that we would like to pursue in future research.

研究动机与目标

• 解决辫群中的基本决策问题，特别是循环子群中的广义字问题。
• 将算法解法扩展至辫群的循环合并结构，解决字问题并分析其复杂度。
• 通过修订Lipschutz的定理，推广共轭问题结果至辫群的循环合并结构，并证明一个新定理。
• 探索辫群算法在密码学中的应用，尤其在公钥密码系统背景下的应用。
• 识别并概述未来辫群算法研究中的开放问题。

提出的方法

• 采用多带图灵机模型，实现并分析解决辫群循环子群中广义字问题的时间复杂度。
• 利用群论结构技术与自动机推理方法，解决两个辫群的循环合并中的字问题。
• 应用组合群论技术分析循环合并中的共轭问题，基于并修订Lipschutz的现有定理。
• 通过正规形式与辫群表示，推导字问题与共轭问题的决策程序。
• 通过在多带图灵机上建模计算步骤，推导复杂度界，提供精确的时间复杂度估计。
• 讨论辫群密码学的应用，尤其聚焦于基于共轭搜索问题的密钥交换协议。

实验结果

研究问题

• RQ1 如何高效求解辫群循环子群中的广义字问题，其计算复杂度是多少？
• RQ2 求解两个辫群的循环合并中字问题的复杂度是多少？
• RQ3 能否将现有关于自由合并积中共轭问题的定理推广并应用于辫群？
• RQ4 在辫群的循环合并中，共轭问题可推导出哪些新的理论结果？
• RQ5 这些算法结果对基于辫群的密码学具有何种影响？

主要发现

• 提出一种高效算法，用于求解辫群循环子群中的广义字问题，并通过多带图灵机模型提供复杂度分析。
• 两个辫群的循环合并中的字问题具有可判定性，且其时间复杂度通过相同计算模型得到显式界定。
• 证明了一个关于辫群循环合并中共轭问题的新定理，推广了Lipschutz的先前结果。
• 重新审视并证明了Lipschutz工作中的关键定理，确立其在辫群合并结构中的有效性与适用性。
• 将理论结果应用于辫群密码学，表明基于共轭搜索问题的密钥交换协议具有潜在安全性。
• 识别出若干辫群算法中的开放问题，包括向更一般合并结构的推广及复杂度界改进。