[论文解读] Triangular Ladders $P_{d,2}$ are $e$-positive

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

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

一句话总结

该论文通过引入单位区间图在基本对称函数基下的新带符号组合公式，并构造一个符号相反的对合，消除了负项，仅保留非负系数，从而证实了Stanley在1995年提出的猜想：三角形梯形图$P_{d,2}$的色对称函数是$e$-正的。该结果将Gebhard和Sagan的$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.

研究动机与目标

• 解决Stanley于1995年提出的猜想：三角形梯形图$P_{d,2}$的色对称函数是$e$-正的。
• 通过包含所有$P_{d,2}$（即单位区间图）来扩展已知的$e$-正图家族。
• 为单位区间图在基本对称函数基下开发一个新的带符号组合公式。
• 通过精心构造的符号相反对合证明$P_{d,2}$的$e$-正性，该对合可消除所有负项。
• 通过证明将完全图与三角形梯形图组合后仍保持$e$-正性，推广Gebhard和Sagan关于半总结$e$-正图的结果。

提出的方法

• 将色对称函数推广至非交换对称函数，其满足删除-收缩性质。
• 利用带顶点标签、标记和弧标记的弧图，推导出所有单位区间图在基本对称函数基下的新带符号组合公式。
• 在弧图集合上定义一个符号相反的对合，以消除带符号公式中的所有负项。
• 构造一个双射$h$，将对合适配到具有特定分量结构的图上，确保对合定义良好。
• 将对合应用于三角形梯形图$P_{d,2}$，证明仅剩正项，从而证明$e$-正性。
• 利用该对合及Gebhard和Sagan的结果，证明完全图与三角形梯形图的不相交并集仍保持$e$-正性。

实验结果

研究问题

• RQ1 三角形梯形图$P_{d,2}$的色对称函数是否如Stanley在1995年所猜想的那样是$e$-正的？
• RQ2 能否为单位区间图在基本对称函数基下构造一个新的带符号组合公式，以促进$e$-正性证明？
• RQ3 是否存在一个符号相反的对合，能消除$P_{d,2}$带符号公式中的所有负项，仅留下非负系数？
• RQ4 能否通过将完全图$K_n$与三角形梯形图$TL_n$组合，扩展$e$-正图的类？
• RQ5 对于半总结$e$-正图$G$，操作$G \to G \bullet TL_n$是否保持$e$-正性？

主要发现

• 该论文证实了所有三角形梯形图$P_{d,2}$均为$e$-正，解决了Stanley 1995年的猜想。
• 推导出任意单位区间图的色对称函数在基本对称函数基下的新带符号组合公式。
• 在弧图上显式构造了一个符号相反的对合，消除了$P_{d,2}$带符号公式中的所有负项，仅留下非负贡献。
• 该方法通过将带符号和化为对合不动点上的正和，证明了$P_{d,2}$图的$e$-正性。
• $e$-正图的类被扩展至包含所有形如$G = G_1 \bullet G_2 \bullet \cdots \bullet G_l$的图，其中每个$G_i$为完全图$K_{n_i}$或三角形梯形图$TL_{n_i}$。
• 证明了对于半总结$e$-正图$G$，操作$G \to G \bullet TL_n$保持$e$-正性，推广了Gebhard和Sagan的结果。