[論文レビュー] Triangular Ladders $P_{d,2}$ are $e$-positive

Samantha Dahlberg|arXiv (Cornell University)|Nov 12, 2018

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

ひとこと要約

この論文は、1995年にスタンレーが提起した予想である、三角形ラダー図形 $P_{d,2}$ の彩色対称関数が $e$-正であるという予想を、単位区間グラフの基本対称関数基底における符号付き組合せ的公式を導入し、負の項をすべて消去する符号反転置換を構成することによって確認した。この結果、ゲーブハートとサガンが示した $e$-正グラフの族にすべての $P_{d,2}$ が含まれることになり、代数的組合せ論における長年の未解決問題が解決された。

ABSTRACT

In 1995 Stanley conjectured that the chromatic symmetric functions of the graphs $P_{d,2}$, which we call triangular ladders, were $e$-positive. In this paper we confirm this conjecture, which is also an unsolved case of the celebrated $(3+1)$-free conjecture. Our method is to follow the generalization of the chromatic symmetric functions by Gebhard and Sagan to symmetric functions in non-commuting variables. These functions satisfy a deletion-contraction property unlike the chromatic symmetric function in commuting variables. We do this by proving a new signed combinatorial formula for \emph{all} unit interval graphs on the basis of elementary symmetric functions. Then we prove $e$-positivity for triangular ladders by very carefully defining a sign-reversing involution on our signed combinatorial formula. This leaves us with certain positive terms and further allows us to expand on an already-known family of $e$-positive graphs by Gebhard and Sagan.

研究の動機と目的

• 1995年にスタンレーが提起した予想、すなわち三角形ラダー図形 $P_{d,2}$ の彩色対称関数が $e$-正であることを解決すること。
• すべての $P_{d,2}$ を含む、既知の $e$-正グラフの族を拡張すること。ここで $P_{d,2}$ は単位区間グラフである。
• 基本対称関数基底における単位区間グラフのための新しい符号付き組合せ的公式を開発すること。
• 符号反転置換を巧みに構成することで、負の項をすべてキャンセルし、$P_{d,2}$ の $e$-正性を証明すること。
• ゲーブハートとサガンの半要約 $e$-正グラフに関する結果を一般化し、完全グラフと三角形ラダーを組み合わせても $e$-正性が保たれることを示すこと。

提案手法

• 彩色対称関数を非可換対称関数に一般化し、その関数が削除・縮約の性質を満たすようにすること。
• 弧の図（arc diagrams）に頂点ラベル、マーク、弧のマークを導入し、すべての単位区間グラフに対して基本対称関数基底における新しい符号付き組合せ的公式を導出すること。
• 符号付き公式におけるすべての負の項をキャンセルするため、弧の図の集合に符号反転置換を定義すること。
• 特定の成分構造から始まる図に適応する写像 $h$ を構成し、置換が適切に定義されることを保証すること。
• 三角形ラダー $P_{d,2}$ に置換を適用し、正の項のみが残ることを示し、$e$-正性を証明すること。
• 置換とゲーブハート・サガンの結果を用いて、完全グラフと三角形ラダーの直和が $e$-正性を保つことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 1995年にスタンレーが提起した予想である、三角形ラダー図形 $P_{d,2}$ の彩色対称関数が $e$-正であるかどうか。
• RQ2 $e$-正性の証明を容易にするために、基本対称関数基底における単位区間グラフのための新しい符号付き組合せ的公式を構成できるか。
• RQ3 符号反転置換が、$P_{d,2}$ の符号付き公式におけるすべての負の項をキャンセルし、非負の係数のみを残すように存在するか。
• RQ4 完全グラフ $K_n$ と三角形ラダー $TL_n$ を組み合わせることで、$e$-正グラフの族を拡張できるか。
• RQ5 半要約 $e$-正グラフ $G$ に対して、$G o G ullet TL_n$ の操作が $e$-正性を保つか。

主な発見

• この論文は、すべての三角形ラダー図形 $P_{d,2}$ が $e$-正であることを確認し、スタンレーの1995年の予想を解決した。
• 任意の単位区間グラフの彩色対称関数について、基本対称関数基底における新しい符号付き組合せ的公式が導出された。
• 符号反転置換が、$P_{d,2}$ の符号付き公式におけるすべての負の項をキャンセルするように、明示的に構成された。この置換により、正の寄与のみが残る。
• 符号反転置換を用いることで、符号付き和を置換の不動点上の正の和に還元し、$P_{d,2}$ が $e$-正であることを証明した。
• $e$-正グラフの族は、各 $G_i$ が完全グラフ $K_{n_i}$ または三角形ラダー $TL_{n_i}$ であるような $G = G_1 ullet G_2 ullet igcdot ullet G_l$ の形のすべてのグラフを含むように拡張された。
• 半要約 $e$-正グラフ $G$ に対して、$G o G ullet TL_n$ の操作が $e$-正性を保つことが示され、ゲーブハートとサガンの結果が一般化された。