[論文レビュー] On $e$-positivity and $e$-unimodality of chromatic quasisymmetric functions

Soojin Cho, JiSun Huh|arXiv (Cornell University)|Nov 20, 2017

Advanced Combinatorial Mathematics参考文献 9被引用数 9

ひとこと要約

本稿は、P-テーブルと符号反転置換に基づく組合せ的技法を用いて、特定の自然単位区間順序の彩色クasi-対称関数に関するe-正性およびe-単峰性予想を証明する。2つの異なる順序族についてe-正性を確立し、それぞれ$2^{n-1} - n$および$rac{(n-3)(n-4)}{2}$の順序をカバーする。また、$(n-2)^2$個の順序についてe-単峰性を示し、これらのケースにおいてスターリングのe-正性予想（3+1-自由なposetに対する）を解決する。

ABSTRACT

The $e$-positivity conjecture and the $e$-unimodality conjecture of chromatic quasisymmetric functions are proved for some classes of natural unit interval orders. Recently, J. Shareshian and M. Wachs introduced chromatic quasisymmetric functions as a refinement of Stanley's chromatic symmetric functions and conjectured the $e$-positivity and the $e$-unimodality of these functions. The $e$-positivity of chromatic quasisymmetric functions implies the $e$-positivity of corresponding chromatic symmetric functions, and our work resolves Stanley's conjecture on chromatic symmetric functions of $(3+1)$-free posets for two classes of natural unit interval orders.

研究の動機と目的

• 特定の自然単位区間順序の彩色クasi-対称関数に関するe-正性およびe-単峰性予想を証明すること。
• P-テーブルと符号反転置換を用いた組合せ的証明を提供すること。
• 自然単位区間順序の2つの異なる族についてe-正性を確立し、スターリングとステムブリッジが以前に研究したクラスについても新たな証明を提供すること。
• 全$rac{1}{n} \binom{2(n-1)}{n-1}$個の自然単位区間順序の中から$(n-2)^2$個の順序についてe-単峰性を示すこと。
• これらの特定の順序の文脈において、(3+1)-自由なposetの彩色対称関数に関するスターリングのe-正性予想を解決すること。

提案手法

• シャレシュアンとワッハスによって確立されたガシャロフのP-テーブルを用いた、彩色クasi-対称関数のシュール関数展開を利用する。
• ヤコビ＝トゥリッヒの恒等式を適用し、シュール関数を基本対称関数に展開し、彩色クasi-対称関数を$t$-多項式を係数とする$e_\lambda$の符号付き和として表現する。
• $e$-展開における負の項を相殺する符号反転置換を構成し、e-正性を証明する。
• P-テーブルに関する帰納的議論を用いて、特定の順序クラスの明示的$e$-基底展開を導出する。
• $e$-展開の係数の組合せ的モデルを用い、特に係数の差$ a_{j+1} - a_j $に注目して単峰性を分析する。
• 対称性の議論と多項式分解を適用し、係数多項式が中心が$ \frac{|E(G)|}{2} $であるe-単峰的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの自然単位区間順序のクラスに対して、彩色クasi-対称関数がe-正であるか。
• RQ2 特定の自然単位区間順序の族に対して、彩色クasi-対称関数はe-単峰的か。
• RQ3 スターリングの(3+1)-自由なposetに対するe-正性予想は、彩色クasi-対称関数を用いて解決可能か。
• RQ4 自然単位区間順序の不可換性グラフの$e$-基底展開の構造は何か。
• RQ5 彩色クasi-対称関数の$t$-展開の係数は、単峰性の観点でどのように振る舞うか。

主な発見

• 本稿は、$2^{n-1} - n$個の自然単位区間順序および$rac{(n-3)(n-4)}{2}$個の順序についてe-正性を証明し、これらは$n$頂点の連結グラフに対応する$rac{1}{n} \binom{2(n-1)}{n-1}$個の自然単位区間順序の部分集合である。
• $(n-2)^2$個の自然単位区間順序についてe-単峰性を確立し、$t$-展開の係数がe-単峰的であるという顕著なクラスの例を提供する。
• 係数$ C_{(n-1,1)}(t) $は、中心が$ \frac{|E(G)|}{2} $であるe-単峰的であることが示され、対称的分解と多項式解析によって確認された。
• 係数$ C_{(n-2,2)}(t) $は、対称多項式恒等式$ C_{(n-2,2)}(t) = [n-4]_t! \overline{C}_{(n-2,2)}(t) $を用いてe-単峰的であることが証明され、中心は$ \frac{|E(G)|}{2} $である。
• 本稿の証明は、スターリング＝ステムブリッジおよびハラダ＝プリーカップとは異なる組合せ的アプローチを提供し、同様の順序クラスに対して別個の方法を提示する。
• 著者らは、指定された族に対して$ X_G(\mathbf{x},t) $がe-正かつe-単峰的であることを確認し、これらのケースにおいてスターリングのe-正性予想を解決した。