[論文レビュー] A note on a Cayley graph of S_n

Guillaume Chapuy, Valentin Féray|arXiv (Cornell University)|Feb 22, 2012

Graph theory and applications参考文献 11被引用数 9

ひとこと要約

このノートは、対称群 $\mathfrak{S}_n$ 上のカイリー図において、$2 \leq i \leq n$ に対する互換 $(1,i)$ によって生成されるスペクトルが、$\mathfrak{S}_n$ の表現論、特にジュシス＝マーフィー要素の固有値を通じて完全に特徴づけられることを確立する。主な結果は、すべての固有値が整数であり、その重複度が標準ヤング盤のコンテンツ統計から得られること、および $n \to \infty$ の際にスペクトル測度が漸近的に半円則に従うことである。

ABSTRACT

Recently in graph theory several authors have studied the spectrum of the Cayley graph of the symmetric group S_n generated by the transpositions (1, i) for 2 <= i <= n. Several conjectures were made and partial results were obtained. The purpose of this note is to point out that, as mentioned also by P. Renteln, this problem is actually already solved in another context. Indeed it is equivalent to studying the spectrum of so-called Jucys-Murphy elements in the algebra of the symmetric group, which is well understood. The aforementioned conjectures are direct consequences of the existing theory. We also present a related result from P. Biane, giving an asymptotic description of this spectrum. We insist on the fact that this note does not contain any new results, but has only been written to convey the information from the algebraic combinatorics community to graph theorists.

研究の動機と目的

• $(1,i)$ による生成のカイリー図のスペクトルを特定するという未解決問題に取り組み、これは整数固有値であると予想されていた。
• このスペクトル問題が、代数的組合せ論におけるよく知られた枠組みである $\mathbb{C}[\mathfrak{S}_n]$ 内のジュシス＝マーフィー要素の固有値を分析することと同値であることを明確にする。
• 標準ヤング盤とコンテンツ統計を用いた直接的な導出により、スペクトルの整数性と重複度構造を提示する。
• 確率的行列理論からのモーメント収束技術を用いて、スペクトルの漸近的記述を半円則に基づいて提示する。
• 代数的組合せ論分野で知られている結果をグラフ理論コミュニティに広める。本研究では新規結果を主張するのではなく、既存の結果の統合と明確化に焦点を当てる。

提案手法

• カイリー図のスペクトルが $\mathbb{C}[\mathfrak{S}_n]$ 内のジュシス＝マーフィー要素 $J_n$ のスペクトルと一致することを、隣接行列の乗算が $J_n$ による左乗算に対応することを根拠に特定する。
• $J_n$ の固有値は、$J_n v_T = c_T(n) v_T$ を満たす標準ヤング盤 $T$ でインデックス付けられた基底における作用を用いて計算される。
• 固有値 $k$ の重複度は、$\mathrm{mul}(k) = \sum_{\lambda \vdash n} f_\lambda \cdot I_\lambda(k)$ で与えられ、ここで $I_\lambda(k)$ は形状 $\lambda$ の標準ヤング盤で $n$ がコンテンツ $k$ の箱にあるものの数を数える。
• スケーリングされた固有値 $k / (2\sqrt{n})$ の漸近的スペクトル測度は、非交差ペアリングの組合せ的数え上げを用いて、半円則のモーメントへの収束を示すことによって分析される。
• スケーリングされたスペクトル測度のモーメントが半円則のモーメントに収束することを示す。これは、$(i_n)$ による恒等元の因子分解の数え上げに基づく。$k=2p$ の場合、その数は $n^p \cdot \mathrm{Cat}(p)$ に漸近的に比例する。
• 積 $J_n^k$ 内のインデックスの非交差ペアリングを用いて、寄与する項を数える。各ペアリングは $\mathrm{Cat}(p)$ 個の配置と $n$ に依存する重みを寄与する。

実験結果

リサーチクエスチョン

• RQ1 $(1,i)$ による生成のカイリー図の $\mathfrak{S}_n$ 上の完全なスペクトルは何か？
• RQ2 固有値とその重複度は $\mathfrak{S}_n$ の表現論とどのように関係しているか？
• RQ3 $n \to \infty$ の際の固有値の漸近的分布は何か？
• RQ4 ジュシス＝マーフィー要素に関する既知の結果を用いて、スペクトルに関する以前の予想を解消できるか？
• RQ5 このカイリー図のスペクトル測度は漸近的に半円則に従うか？

主な発見

• $(1,i)$ による生成のカイリー図のすべての固有値は整数であり、[1, 猜測2.14] で予想されたことを確認した。
• 固有値 $k$ の重複度は、$\mathrm{mul}(k) = \sum_{\lambda \vdash n} f_\lambda \cdot \mathrm{card}\{T \in \mathcal{T}(\lambda) \mid c_T(n) = k\}$ で与えられ、ここで $f_\lambda$ は形状 $\lambda$ の標準ヤング盤の数である。
• スペクトルは $\{-(n-1), \dots, n-1\}$ に含まれ、$\mathrm{mul}(-n+1) = \mathrm{mul}(n-1) = 1$ であり、$n > 3$ のとき $\mathrm{mul}(0) \neq 0$ である。
• $n > 3$ のとき、スペクトルは完全な区間 $\{-(n-1), \dots, n-1\}$ であるが、$n=2$ または $n=3$ のとき、0 は除外される。
• スケーリングされた固有値 $k / (2\sqrt{n})$ のスペクトル測度は、$n \to \infty$ の際に半円則に分布収束し、モーメントが半円分布のモーメントと一致する。
• ヘイク形状のヤング盤に基づく、固有値 $l$ の重複度に対する改良された下界 $\mathrm{mul}(l) \geq \binom{n-2}{l-1} \binom{n-1}{l}$ が得られ、以前の境界を改善した。