[論文レビュー] Meanders in a Cayley graph

H. Tracy Hall|ArXiv.org|Jun 8, 2006

Advanced Combinatorial Mathematics参考文献 2被引用数 5

ひとこと要約

この論文は、非交叉分割の包絡線図のハッセ図における最大に分離された頂点の対と、順序 $n$ のミーランドルの間の全単写像を確立する。この全単写像は、すべての対称群 $S_n$ の互換によって生成されるケイリー図の幾何的区間として実現される。主な結果は、ミーランドルが、非交叉分割の包絡線図内でのパス距離が最大であるような順列の対にちょうど一致することであり、ミーランドルの数え上げ問題に対して、新しい幾何的および群論的視点を提供する。

ABSTRACT

A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Hasse diagram of the lattice of noncrossing partitions. The meanders of order n are in one-to-one correspondence with ordered pairs of maximally separated vertices of Lambda_n.

研究の動機と目的

• ミーランドルと非交叉分割のハッセ図における最大に分離された頂点の対との間の対応関係を確立すること。
• 非交叉分割のハッセ図を、すべての互換によって生成される $S_n$ のケイリー図内の幾何的区間として解釈すること。
• ケイリー図内のパス距離を用いて、ミーランドルの群論的および位相的特徴づけを提供すること。
• この対応関係が、長年のミーランドルの数え上げ問題に対する新たな知見をもたらすかどうかを検討すること。

提案手法

• ミーランドルを、$2n$ 個の点で横線を横断的に交差する単純な閉曲線として定義し、ホモトピーによる同値関係を用いる。
• ミーランドルの各半分を非交叉マッチングとして表現し、半平面の一点コンパクト化を介して、非交叉分割と一対一に対応づける。
• すべての $\binom{n}{2}$ 個の互換によって生成される対称群 $S_n$ のケイリー図 $\Gamma_n$ をモデル化し、非交叉分割の包絡線図 $\Lambda_n$ を $\Gamma_n$ 内の最大区間として特定する。
• 順列 $\sigma^{-1}\tau$ を用いて、ミーランドル系の連結成分の数を計算し、位相的成分とサイクル構造を結びつける。
• 誘導法と距離を保存する双対写像を用いて、$\Gamma_n$ 内のパス距離 $d(\sigma,\tau)$ が $\Lambda_n$ 内の距離 $d_\Lambda(\sigma,\tau)$ に等しいことを証明する。
• 双対変換を用いて、任意の対 $(\sigma,\tau)$ を $\sigma(n) = \tau(n) = n$ となる形に簡約し、$S_{n-1}$ への帰納的還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ミーランドルの概念は、他の有限コックスター群へ一般化可能か？
• RQ2 一般化されたミーランドル行列式は、対称群の場合と同様に綺麗に因数分解されるか？
• RQ3 ミーランドルと非交叉分割の包絡線図内での最大距離の間の対応関係は、ミーランドルの数え上げ問題の解決への有効な道筋を提供するか？
• RQ4 ハッセ図内の最小パスが非可換的であることは、効率的な数え上げの可能性にどのような影響を及えるか？

主な発見

• 順序 $n$ のミーランドルは、非交叉分割の包絡線図 $\Lambda_n$ 内で最大のパス距離を達成する頂点の対と一対一に対応する。
• $\Lambda_n$ 内の最大パス距離は $n - k$ であり、$k$ はミーランドル系の連結成分の数を表す。この距離は、ケイリー図 $\Gamma_n$ 内の語長 $d(e, \sigma^{-1}\tau)$ に等しい。
• ハッセ図 $\Lambda_n$ は、すべての互換によって生成される $S_n$ のケイリー図 $\Gamma_n$ 内の幾何的区間であり、$\Gamma_n$ に等長埋め込みされている。
• 任意の二つの順列 $\sigma$ と $\tau$ 間の $\Gamma_n$ 内の距離は、$\Lambda_n$ 内に完全に含まれるパスによって実現可能であり、$d_\Lambda(\sigma,\tau) = d(\sigma,\tau)$ が成り立つことを示す。
• 双対写像 $ (\sigma,\tau) \mapsto (\vec{\sigma},\vec{\tau}) $ は距離を保存し、任意のミーランドルを $\sigma(n) = \tau(n) = n$ となる標準形に還元可能であり、帰納的証明を可能にする。
• この結果は、David Savitt が独立的に示した事実を裏付ける。彼は、ミーランドルの成分数が非交叉分割の包絡線図内のパス距離によって測定されることを示している。