[論文レビュー] Diameter of reduced words

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

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

ひとこと要約

本稿は、対称群および超立方体群（タイプAおよびB）の最長元の削減語からなるグラフの直径を正確に特定し、それが $\frac{1}{24}(n-2)(n-1)n(3n-5)$ に等しいことを示している。この値は、その反射配置におけるcodimension-two部分空間の数と一致する。結果は、超可解な超平面配置の性質およびチャーマー複体内の最小ギャラリーの性質を用いて導出される。

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.

研究の動機と目的

• 有限コックスター群のタイプAおよびBにおける最長元の削減語グラフの正確な直径を特定すること。
• 直径問題を超可解な超平面配置およびチャーマー複体内の最小ギャラリーに一般化すること。
• 削減語グラフの直径と反射配置におけるcodimension-two部分空間の数との間の関係を確立すること。
• 削減語グラフの直径がそのような部分空間の数によって上から抑えられるかどうかを調査し、既知の上限のタイトさを検証すること。

提案手法

• コックスター群の元 $w$ の削減語を頂点とするグラフ $G(w)$ を定義し、辺はブレード関係に対応する。
• 中心的かつ本質的な超平面配置のチャーマー複体を用いて、基本チャーマーから反対側への最小ギャラリーをモデル化する。
• $c_0$ から $-c_0$ への最小ギャラリーの集合上にグラフ $G_2$ を構成し、辺はcodimension-two部分空間による分離に対応する。
• 超可解な配置に対して、グラフ $G_2$ が連結であり、かつ $|L_2|$（codimension-two部分空間の数）によって下から抑えられることを証明する。
• 反射群およびモジュラーフラッグの理論を適用し、特定のフラッグに接する一意な最小ギャラリーを特定し、それと標準的な削減語を関連付ける。
• 組合せ論的および幾何学的議論を用いて、タイプAおよびBにおける $G(w_0)$ の直径が配置内のcodimension-two交差の数に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 対称群 $\mathfrak{S}_n$ の最長元の削減語グラフの正確な直径は何か？
• RQ2 タイプAおよびBにおける $w_0$ の削減語グラフの直径は、反射配置におけるcodimension-two部分空間の数に等しいか？
• RQ3 削減語グラフの直径は $|L_2(w)|$（そのような部分空間の数）によって上から抑えられるか。また、この上限はタイトか？
• RQ4 超可解な超平面配置の構造は、削減語グラフの連結性および直径にどのように影響するか？
• RQ5 既知の上界（例：$2|L_2(w)|$）は、グラフの真の幾何学的・組合せ論的構造をどれほど正確に反映しているか？

主な発見

• タイプ $A_{n-1}$ における最長元の削減語グラフの直径は正確に $\frac{1}{24}(n-2)(n-1)n(3n-5)$ に等しく、これは反射配置におけるcodimension-two部分空間の数と一致する。
• タイプ $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)|$ の間であると予想される。
• 超可解な配置におけるモジュラーフラッグに接する最小ギャラリーの構成により、各群元に対して標準的な削減語が得られ、これはアーミストロングの $\mathbf{w}_0$-sorted 語の概念と整合する。