[論文レビュー] Chromatic bases for symmetric functions

Soojin Cho, Stephanie van Willigenburg|arXiv (Cornell University)|Aug 31, 2015

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

ひとこと要約

本論文は、特定の連結グラフ—完全グラフ、スターマッチ、パス、サイクルグラフ—の彩色対称関数によって生成される、対称関数代数の新しい基底族を導入する。任意の k ≥ 1 に対して k 頂点を持つ連結グラフの系列が、全対称関数代数を生成することを証明し、これらの生成子を単項対称関数基底において明示的に展開する。これにより、彩色対称関数の構造的性質および対称関数論におけるその役割に関する新たな洞察が得られる。

ABSTRACT

In this note we obtain numerous new bases for the algebra of symmetric functions whose generators are chromatic symmetric functions. More precisely, if $\{ G_ k \}_{k\geq 1}$ is a set of connected graphs such that $G_k$ has $k$ vertices for each $k$, then the set of all chromatic symmetric functions $\{ X_{G_ k} \}_{k\geq 1}$ generates the algebra of symmetric functions. We also obtain explicit expressions for the generators arising from complete graphs, star graphs, path graphs and cycle graphs.

研究の動機と目的

• 連結グラフの彩色対称関数が全対称関数代数を生成することを確立すること。
• 完全、スターマッチ、パス、サイクルグラフといった代表的なグラフ族の彩色対称関数に対する明示的公式を提供すること。
• これらの生成子が対称関数代数内での代数的構造を探索すること。
• これらの新しい基底が代数的組合せ論における重要な性質であるシュール正性を示すかどうかを調査すること。

提案手法

• グラフの適切な彩色による彩色対称関数の定義を用い、すべての適切な彩色の和として表現する。
• 包含除算法の公式を適用：$ X_G = \sum_{S \subseteq E} (-1)^{|S|} p_{\lambda(S)} $、ここで $ \lambda(S) $ は部分グラフ（辺集合 S を持つ）の成分サイズの分割である。
• 連結分割の格子 $ L_G $ 上のモービウス関数を用い、$ X_G = \sum_{\pi \in L_G} \mu(\hat{0}, \pi) p_{\text{type}(\pi)} $ と表現する。
• 与えられた分割 $ \lambda $ を得るための辺部分集合 $ S \subseteq E $ の個数を数えることで、組合せ的列挙によって明示的展開を導出する。
• パスおよびサイクルグラフに関する既知の結果、特にスターリング（1995）の生成関数を応用し、閉形式の表現を導出する。
• 生成関数技法と場合分けを用い、サイクルグラフに対しては最後の辺を含むか含まないかの2通りに分けて処理する。

実験結果

リサーチクエスチョン

• RQ1 連結グラフの彩色対称関数は、全対称関数代数の生成子として機能するか？
• RQ2 完全、スターマッチ、パス、サイクルグラフの彩色対称関数に対する明示的公式は何か？
• RQ3 これらの標準的グラフ族の彩色対称関数は、対称関数代数の基底をなすか？
• RQ4 完全グラフの彩色対称関数によって生成される基底はシュール正性を示すか？
• RQ5 スターマッチグラフの彩色対称関数によって生成される基底はシュール正性を示すか？

主な発見

• 任意の k ≥ 1 に対して k 頂点を持つ連結グラフの系列 $ \{G_k\}_{k \geq 1} $ に対して、その彩色対称関数は全対称関数代数を生成する。
• 完全グラフ $ K_n $ に対しては $ X_{K_n} = n! \, e_n $ が成り立ち、基本対称関数と直接的な関係があることが示される。
• スターマッチグラフ $ S_{n+1} $ に対しては $ X_{S_{n+1}} = \sum_{r=0}^{n} (-1)^r \binom{n}{r} p_{(r+1,1^{n-r})} $ が得られ、明確な単項対称関数展開が得られる。
• パスグラフ $ P_n $ に対しては $ X_{P_n} = \sum_{\lambda \vdash n} (-1)^{n - \sum m_i} \frac{(\sum m_i)!}{\prod m_i!} \, p_\lambda $ が成り立ち、係数は成分構造の列挙から導出される。
• サイクルグラフ $ C_n $ に対しては $ X_{C_n} = \sum_{\lambda \vdash n} \left[ (-1)^{n - \sum m_i} \frac{(\sum m_i)!}{\prod m_i!} \left(1 + \sum_{j=2}^n (j-1) \frac{m_j}{\sum m_i} \right) \right] p_\lambda + (-1)^n p_n $ が得られ、辺の包含効果が組み込まれている。
• 完全グラフの彩色対称関数によって生成される基底はシュール正性を示すが、スターマッチグラフのそれらはそうではない。$ X_{S_4} $ がシュール正でないことが示されている。