[论文解读] On the genericity of pseudo-Anosov braids II: conjugations to rigid braids

Sandrine Caruso, Bert Wiest|arXiv (Cornell University)|Sep 24, 2013

Geometric and Algebraic Topology参考文献 8被引用 15

一句话总结

该论文证明，在 braid 群 $\mathcal{B}_n$（$n \geq 3$）中，使用 Garside 生成集时，以单位元为中心、半径为 $l$ 的球内伪阿诺索夫 braids 的比例随着 $l \to \infty$ 指数趋于 1。其关键机制在于，典型 braids 可通过非侵入式共轭转化为刚性 braids —— 这类结构便于高效算法分析，从而使得典型 braids 对之间的共轭搜索问题可在二次时间内求解。

ABSTRACT

We prove that generic elements of braid groups are pseudo-Anosov, in the following sense: in the Cayley graph of the braid group with n $\\ge$ 3 strands, with respect to Garside's generating set, we prove that the proportion of pseudo-Anosov braids in the ball of radius l tends to 1 exponentially quickly as l tends to infinity. Moreover, with a similar notion of genericity, we prove that for generic pairs of elements of the braid group, the conjugacy search problem can be solved in quadratic time. The idea behind both results is that generic braids can be conjugated "easily" into a rigid braid.

研究动机与目标

• 在 Garside 生成集下，建立 braid 群 $\mathcal{B}_n$ 中伪阿诺索夫 braids 的普遍性。
• 证明典型 braids 可通过非侵入式共轭转化为刚性 braids，从而简化算法分析。
• 证明对于典型 braids 对，共轭搜索问题可在二次时间内求解。
• 通过 Garside 理论与增长估计，拓展对 braid 群中典型行为的理解。
• 探讨几何与拓扑后果，例如典型 braid 闭包的双曲性。

提出的方法

• 使用 $\mathcal{B}_n$ 的 Cayley 图与 Garside 生成集（简单 braids）定义以单位元为中心、半径为 $l$ 的球。
• 应用 Garside 理论将 braids 分解为左正规形式，通过初始与末尾因子定义下确界、规范长度及刚性 braids。
• 引入非侵入式共轭的概念，即保持正规形式中一中间段不变，以维持结构稳定性。
• 采用阻断 braid 技术与先前工作中获得的渐近增长估计，证明可实现此类共轭的 braids 比例以指数速度趋于 1。
• 利用 Dehornoy 的全序及区间 $[\Delta^{-4}, \Delta^4]$ 上的界限，证明具有非双曲闭包的 braids 比例趋于 0。
• 利用 braid 群的指数增长性质，推导出非伪阿诺索夫元素数量的下界，从而反驳小球均匀覆盖的假设。

实验结果

研究问题

• RQ1 当 $l \to \infty$ 时，$\mathcal{B}_n$ 中半径为 $l$ 的球内伪阿诺索夫 braids 的比例是否趋于 1？
• RQ2 典型 braids 是否可通过非侵入式共轭转化为刚性形式？这一过程的速度如何？
• RQ3 对于典型 braids 对，求解共轭搜索问题的渐近时间复杂度是多少？
• RQ4 典型 braids 的闭包是否构成双曲链？
• RQ5 该普遍性结果在生成集或子群结构改变时是否具有鲁棒性？

主要发现

• 在 $\mathcal{B}_n$ 中，以单位元为中心、半径为 $l$ 的球内，伪阿诺索夫 braids 的比例随着 $l \to \infty$ 指数趋于 1。
• 可实现非侵入式共轭至刚性 braids 的 braids 比例，也随规范长度以指数速度趋于 1。
• 对于典型 braids 对，可利用非侵入式共轭框架在二次时间内求解共轭搜索问题。
• 典型 braid 的闭包为双曲链，因为具有非双曲闭包的 braids 比例趋于 0。
• 在 Cayley 图中存在一个顶点，使得以该点为中心、半径为 $l$ 的球内仅包含伪阿诺索夫元素，对任意 $l$ 成立。
• 结果提示一个猜想：在具有 WPD 作用的非初等群中，典型元素作为 WPD 元素作用，且具有指数普遍性。