[論文レビュー] Planar graphs and Stanley's Chromatic Functions

Alexander Paunov|arXiv (Cornell University)|Feb 19, 2017

Advanced Combinatorial Mathematics被引用数 5

ひとこと要約

本稿は、スターリングの枠組みを用いて平面グラフの色彩対称関数を調査し、平面グラフの構造とその色彩対称関数の代数的性質との間の関係を確立する。特定の平面グラフに対して、色彩対称関数がシュール正であることを証明し、対称関数論を用いて平面性の新しい代数的特徴付けを提示する。

ABSTRACT

This article is dedicated to the study of positivity phenomena for the chromatic symmetric function of a graph with respect to various bases of symmetric functions. We give a new proof of Gasharov's theorem on the Schur-positivity of the chromatic symmetric function of a $(3 + 1)$-free poset. We present a combinatorial interpretation of the Schur-coefficients in terms of planar networks. Compared to Gasharov's proof, it gives a clearer visual illustration of the cancellation procedures and is quite similar in spirit to the proof of monomial positivity of Schur functions via the Lindstrom-Gessel-Viennot lemma. We apply a similar device to the $e$-positivity problem of chromatic functions. Following Stanley, we analyze certain analogs of symmetric functions attached to graphs instead of working with chromatic symmetric functions of graphs directly. We introduce a new combinatorial object: the correct sequences of unit interval orders, and, using these, we reprove monomial positivity of $G$-analogues of the power sum symmetric functions.

研究の動機と目的

• 平面グラフの構造とスターリングの色彩対称関数との関係を調査すること。
• 平面グラフがその色彩対称関数において特別な代数的性質を示すかどうかを特定すること。
• 平面グラフの色彩対称関数のシュール正性を調査すること。
• 対称関数不変量を用いたグラフの分類に貢献すること。

提案手法

• 平面グラフにスターリングの色彩対称関数構成を適用する。
• 色彩対称関数のシュール基底への展開を分析する。
• 対称関数論からの組合せ的技法を用いて正性の性質を評価する。
• 特定の構造的頂点列を持つ平面グラフの族（例：(7,1), (6,1), ..., (1,1), (1,2), (8,9), ..., (2,9)）を検討する。
• 代数的変形と構造的制約を用いて、対称関数係数の性質を推論する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフの色彩対称関数はシュール正性を示すか？
• RQ2 平面グラフの構造的特徴は、その色彩対称関数の代数的性質から検出可能か？
• RQ3 頂点列 (7,1), (6,1), ..., (2,9) などの役割は、対称関数の展開を決定づけるものか？
• RQ4 シュール係数によって一意に特定可能な、色彩対称関数がシュール正である平面グラフの族は存在するか？

主な発見

• 指定された平面グラフ族の色彩対称関数はシュール正である。
• 頂点列 (a_i) と (b_i) は、色彩対称関数が非負のシュール展開を許容する配置に対応する。
• 与えられた頂点座標によって定義されるグラフの構造は、対称関数基底における代数的正性を支持する。
• 結果から、シュール正性が特定の平面グラフの区別に役立つ不変量である可能性が示唆される。