[论文解读] The complexity of balanced presentations and the Andrews-Curtis conjecture

Martin R. Bridson|arXiv (Cornell University)|Apr 16, 2015

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

一句话总结

本文通过群扩张中的Dehn函数行为，建立了在秩≥4时，将平凡群的平衡表示化为平凡表示所需的Andrews-Curtis变换次数的显式、可计算的下界。结果表明，该变换次数的增长速度超过任何有限层的指数塔——超过可观测宇宙中电子总数——证明了尽管在理论上可行，此类化简在物理上是不可实现的。

ABSTRACT

Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new understanding of how Dehn functions of groups behave under certain kinds of push-outs. We consider groups $S$ with presentations of deficiency 1 satisfying certain technical conditions and construct balanced group presentations $¶_w$ indexed by words $w$ in the generators of $S$. If $w=1$ in $S$ then $¶_w$ is Andrews-Curtis trivialisable and the number of Andrews-Curtis moves required to trivialise it can be bounded above and below in terms of how hard it is to prove that $w=1$ in $S$.

研究动机与目标

• 研究平凡群的平衡表示在Andrews-Curtis化简中的计算复杂度。
• 建立将此类表示化简为平凡表示所需Andrews-Curtis变换次数的显式、可计算下界。
• 将Andrews-Curtis变换的复杂度与亏格为1的群中证明字为单位元的难度联系起来。
• 证明尽管理论上可行，此类化简在物理上仍不可实现，即使对于小规模表示也是如此。

提出的方法

• 构造由满足技术条件的亏格为1群 $S$ 中字 $w$ 索引的平衡表示 $\mathcal{P}_w$。
• 利用扩张构造分析Dehn函数在群扩张下的行为，将其与Andrews-Curtis复杂度联系起来。
• 将 $\hbox{AC}_*(\mathcal{P})$ 定义为将 $\mathcal{P}$ 化简为平凡表示所需的最少二面体AC变换次数，并通过在 $S$ 中证明 $w=1$ 的难度来界定其下界。
• 使用递归函数 $\Delta(m)$（定义为 $\Delta(0)=2$，$\Delta(m+1)=2^{\Delta(m)}$）来表达变换次数的下界。
• 分析Andrews-Curtis图 $\hbox{AC}_k$ 及其子水平集 $\Lambda(n)$，以研究连通性与路径复杂度。
• 应用几何群论中的技术，包括Dehn函数与群论复杂度，推导出与稳定化无关的下界。

实验结果

研究问题

• RQ1 在秩≥4时，将平凡群的平衡表示化简为平凡表示所需的Andrews-Curtis变换次数最少是多少？
• RQ2 在群 $S$ 中证明字 $w$ 等于单位元的复杂度，与关联表示 $\mathcal{P}_w$ 化简的复杂度之间有何关系？
• RQ3 即使对于小规模表示，所需Andrews-Curtis变换次数是否可能超过任何有限层的指数塔？
• RQ4 这些下界在多大程度上意味着显式化简序列在物理上不可行？

主要发现

• 对于 $k \geq 4$，存在显式的 $k$-生成元平衡表示 $\mathcal{P}_n$，其关系式总长度不超过 $24(n+1)$，但化简为平凡表示至少需要 $\Delta(\lfloor \log_2 n \rfloor)$ 次Andrews-Curtis变换。
• 下界 $\Delta(\lfloor \log_2 n \rfloor)$ 的增长速度超过任何有限层的指数塔，对于中等大小的 $n$，其数值已超过可观测宇宙中电子总数。
• 该构造表明，即使小规模表示（例如关系式总长度 ≤ 240）也可能需要超过 $10^{10000}$ 次变换才能化简，使得显式化简在物理上不可能实现。
• 所需变换次数与底层群 $S$ 的Dehn函数紧密相关，$S$ 中字证明问题越难，$\mathcal{P}_w$ 中的变换复杂度越高。
• 无论是否允许稳定化，该结果均成立，意味着这些下界同时适用于标准与稳定Andrews-Curtis猜想。
• 给出了一个显式例子：一个4-生成元的平衡表示，其化简需要超过 $10^{10000}$ 次AC变换，尽管仅有4个关系式且总长度 ≤ 240。