[论文解读] Diameter of reduced words

Victor Reiner, Yuval Roichman|arXiv (Cornell University)|Jun 25, 2009

Advanced Combinatorial Mathematics参考文献 32被引用 3

一句话总结

本文确定了对称群与超八面体群（类型 A 与 B）中长元素的约化字图的精确直径，其值为 $rac{1}{24}(n-2)(n-1)n(3n-5)$，该数值与反射排列中余维数为二的子空间数量完全一致。该结果通过超可解超平面排列的性质以及房间复形中最小路径的几何特性推导得出。

ABSTRACT

For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.

研究动机与目标

• 确定有限 Coxeter 群类型 A 与 B 中长元素的约化字图的精确直径。
• 将直径问题推广至超可解超平面排列及房间复形中的最小路径。
• 建立约化字图的直径与反射排列中余维数为二的子空间数量之间的联系。
• 研究约化字图的直径是否受此类子空间数量的限制，并检验已知界限的紧致性。

提出的方法

• 定义图 $G(w)$，其顶点为 Coxeter 群中元素 $w$ 的约化字，边对应于 braid 关系。
• 利用中心化、本质化超平面排列的房间复形，建模从基房间到其对径房间的最小路径。
• 在从 $c_0$ 到 $-c_0$ 的最小路径集合上构造图 $G_2$，其边对应于被余维数为二的子空间分离的情况。
• 证明对于超可解排列，图 $G_2$ 是连通的，且其直径下界为 $|L_2|$，即余维数为二的子空间数量。
• 应用反射群与模旗理论，识别出与旗关联的唯一最小路径，将其与规范约化字关联。
• 通过组合与几何论证，证明在类型 A 与 B 中，$G(w_0)$ 的直径等于排列中余维数为二的交子空间数量。

实验结果

研究问题

• RQ1 对称群 $\mathfrak{S}_n$ 中长元素的约化字图的精确直径是多少？
• RQ2 在类型 A 与 B 中，$w_0$ 的约化字图的直径是否等于反射排列中余维数为二的子空间数量？
• RQ3 约化字图的直径是否可被 $|L_2(w)|$（即此类子空间的数量）所界定，且该界限是否紧致？
• RQ4 超可解超平面排列的结构如何影响约化字图的连通性与直径？
• RQ5 已知的直径上界（例如 $2|L_2(w)|$）在多大程度上反映了图的真实几何与组合结构？

主要发现

• 在类型 $A_{n-1}$ 中，长元素的约化字图直径精确为 $\frac{1}{24}(n-2)(n-1)n(3n-5)$，与反射排列中余维数为二的子空间数量完全一致。
• 对于类型 $B_n$，长元素的约化字图直径也适用相同的公式，该结果通过相同的几何与组合框架推导得出。
• 图 $G(w)$ 的直径上界为 $2|L_2(w)|$，但类型 $A_3$ 与 $B_3$ 的例子表明该上界并不紧致，因为直径可能远小于 $|L_2(w)|$。
• 本文提供了反例，推翻了直径始终不超过 $|L_2(w)|$ 的猜想，表明即使 $|L_2(w)|$ 也并非紧致上界。
• 提出一个改进的猜想：对于 $\mathfrak{S}_n$，直径位于 $\frac{1}{2}|L_2(w)|$ 与 $|L_2(w)|$ 之间；对于 $B_n$，位于 $\frac{1}{3}|L_2(w)|$ 与 $|L_2(w)|$ 之间。
• 在超可解排列中，与模旗关联的最小路径的构造，为每个群元素生成了一个规范约化字，该结果与 Armstrong 提出的 $\mathbf{w}_0$-sorted 字概念一致。