[論文レビュー] On the number of commutation classes of the longest element in the symmetric group

Hugh Denoncourt, Dana C. Ernst+1 more|arXiv (Cornell University)|Jan 25, 2016

Coding theory and cryptography被引用数 4

ひとこと要約

この論文は、1992年にKnuthが提起した長年の未解決問題である、対称群 $S_n$ の最長元における交換類の数を調査する。ヘープ、ソーティングネットワーク、平行四辺形タイル張り、擬似直線配置との関連を用いて、交換類の数 $c_n$ が複数の組合せ的対象に対応することを確立し、$c_n$ の最初の15の既知の値を提供する。また、大きな $n$ に対して $c_n \leq 2^{0.6571n^2}$ という現在最も良い上界を得た。主な貢献は、$c_n$ がいくつかの豊かな組合せ的構造と同型であることを特定したことにより、コクセター群における短縮表現の同値関係の理解を深めることにある。

ABSTRACT

Using the standard Coxeter presentation for the symmetric group $S_n$, two reduced expressions for the same group element are said to be commutation equivalent if we can obtain one expression from the other by applying a finite sequence of commutations. The resulting equivalence classes of reduced expressions are called commutation classes. How many commutation classes are there for the longest element in $S_n$?

研究の動機と目的

• 対称群 $S_n$ の最長元における交換類の数を特定すること。これは1992年にKnuthが提起した問題である。
• 最長元の交換類と、ヘープ、ソーティングネットワーク、平行四辺形タイル張りなどの他の組合せ的対象との関係を確立すること。
• $S_n$ における交換類の数 $c_n$ の最初の15の値を提供し、$c_n$ の上界を改善すること。
• 組合せ的数学におけるよく知られた構造と同型であることを示すことにより、$c_n$ の組合せ的意義を明確にすること。

提案手法

• 著者たちは、$S_n$ の標準的コクセター表現を用いて、短縮表現と、交換とブレード移動による同値関係を定義し、Matsumotoの定理に従う。
• 交換類は、単一の交換による同値類として定義され、タイプ $A_{n-1}$ のコクセター系を用いてその構造が研究される。
• 論文は、既知の双対写像を活用して、交換類と組合せ的対象（ヘープ、原始的ソーティングネットワーク、正 $2n$-角形の単位平行四辺形タイル張り、ランク3のオルタネートマトロイド、擬似直線配置）との間の双対写像を活用する。
• 著者たちは、これらの双対写像と既存の数え上げ技術を用いて、$n \leq 15$ の範囲で $c_n$ を計算し、FelsnerとValtrの結果を応用して上界 $c_n \leq 2^{0.6571n^2}$ を導出する。
• ヘープの格子点表現と、ソーティングネットワークおよび平行四辺形タイル張りの可視化を用いて、対応関係を図示し、$c_4 = 8$ のような小さなケースを検証する。

実験結果

リサーチクエスチョン

• RQ1 対称群 $S_n$ の最長元における交換類はいくつ存在するのか。その増加率はいかほどか。
• RQ2 最長元の交換類と双対写像が成立する組合せ的構造は何か。
• RQ3 より大きな $n$ に対して交換類の数 $c_n$ を計算可能か。また、どのような上界を確立できるか。
• RQ4 $n \leq 15$ の範囲で得られた $c_n$ の既知の値は、$c_n$ の漸近的挙動にどのような示唆を与えるか。

主な発見

• 最長元 $w_0$ における交換類の数 $c_n$ は、[13, 系2.2] で確立された双対写像により、$w_0$ のヘープの数に等しい。
• $n=4$ の場合、正確に8つの交換類が存在し、16個の短縮表現を列挙し、交換同値類にグループ化することで確認された。
• $c_n$ の最初の15の値が現在明らかになった：$1, 1, 2, 8, 62, 908, 24698, 1232944, 112018190, 18410581880$ であり、$c_{15}$ はこれまでに計算された最大の値である。
• 現在知られている $c_n$ の最も良い上界は、$n$ が十分に大きい場合に $c_n \leq 2^{0.6571n^2}$ であり、FelsnerとValtrによる擬似直線配置に関する結果から導出された。
• $w_0$ の交換類は、$n$ 個の要素における原始的ソーティングネットワーク、および単位平行四辺形で敷き詰められた正 $2n$-角形の平行四辺形タイル張りと双対写像が成立する。
• 他の有限コクセター群については未解決であり、対称群 $S_n$ を超えて $c_n$ についてほとんど何も分かっていない。