[论文解读] Chromatic symmetric functions via the group algebra of $S_n$

Brendan Pawlowski|arXiv (Cornell University)|Feb 15, 2018

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

一句话总结

该论文通过利用厄米型幂等元乘积的特征值，在色对称函数与对称群 $S_n$ 的群代数之间建立了新颖的联系，证明了（超）森林与弦图的舒尔正性。该研究证实了泰勒关于路径型超图舒尔正性的猜想，并引入了带根色对称函数 $X_{G,v}$，证明了若 $X_{G,v}$ 与 $X_{H,w}$ 均为带根舒尔正性，则其楔和图 $G \vee H$ 亦为舒尔正性，从而推进了斯坦利-斯蒂姆布里奇猜想。

ABSTRACT

We prove some Schur positivity results for the chromatic symmetric function $X_G$ of a (hyper)graph $G$, using connections to the group algebra of the symmetric group. The first such connection works for (hyper)forests $F$: we describe the Schur coefficients of $X_F$ in terms of eigenvalues of a product of Hermitian idempotents in the group algebra, one factor for each edge (a more general formula of similar shape holds for all chordal graphs). Our main application of this technique is to prove a conjecture of Taylor on the Schur positivity of certain $X_F$, which implies Schur positivity of the formal group laws associated to various combinatorial generating functions. We also introduce the pointed chromatic symmetric function $X_{G,v}$ associated to a rooted graph $(G,v)$. We prove that if $X_{G,v}$ and $X_{H,w}$ are positive in the generalized Schur basis of Strahov, then the chromatic symmetric function of the wedge sum of $(G,v)$ and $(H,w)$ is Schur positive.

研究动机与目标

• 建立一个基于 $S_n$ 群代数的表示论框架，用于证明色对称函数的舒尔正性。
• 证明泰勒关于某些路径型超图舒尔正性的猜想，该猜想蕴含组合生成函数所导出的形式群律的正性。
• 引入并研究带根色对称函数 $X_{G,v}$，将色对称函数推广至根图。
• 通过引入 $e$-正性的带根类比并将其与 $X_G$ 的 $e$-正性关联，为斯坦利-斯蒂姆布里奇猜想提供新方法。
• 利用表示论工具与特征值分析，推广加沙罗夫关于 $(\mathbf{3}+\mathbf{1})$-自由偏序集的结果。

提出的方法

• 使用弗罗贝尼乌斯特征映射 $\operatorname{ch}: \mathbb{C}[S_n] \to \Lambda$ 将群代数元素与对称函数关联起来。
• 对森林 $F$，在 $\mathbb{C}[S_n]$ 中定义算子 $\alpha_F = n! \prod_{(i,j)\in E}(1 - (i\,j))$，其在 $\operatorname{ch}$ 下的像为 $X_F$，且与边的排序无关。
• 证明若 $\alpha_F$ 的特征值非负，则 $X_F$ 为舒尔正性，依据的是关于不可约模上迹非负性的引理 1.3。
• 通过将边集划分为 $E_1, \dots, E_q$，将构造推广至弦图，定义 $\alpha_G = n! \prod_{p=1}^q \left(1 - \sum_{(i,j)\in E_p}(i\,j)\right)$，并满足 $\operatorname{ch}(\alpha_G) = X_G$。
• 为根图 $(G,v)$ 引入带根色对称函数 $X_{G,v} \in \Lambda[t]$，其满足删除-收缩递推关系，且满足 $X_{G,v}X_{H,w} = X_{G\vee H,v}$。
• 利用斯特拉霍夫的广义舒尔基定义带根舒尔正性，并证明若 $X_{G,v}$ 与 $X_{H,w}$ 均为带根舒尔正性，则 $G\vee H$ 为舒尔正性。

实验结果

研究问题

• RQ1 能否利用 $S_n$ 的表示理论证明（超）森林的色对称函数的舒尔正性？
• RQ2 泰勒关于路径型超图舒尔正性的猜想是否成立？其是否蕴含形式群律的正性？
• RQ3 带根色对称函数 $X_{G,v}$ 是否可用于证明图的楔和的舒尔正性？
• RQ4 单位区间图 $G(m)$ 的带根色对称函数 $X_{G(m),1}$ 是否为带根 $e$-正性？其对斯坦利-斯蒂姆布里奇猜想有何含义？
• RQ5 能否将 $\mathbb{C}[S_n]$ 中厄米型幂等元的特征值方法推广至森林以外的弦图？

主要发现

• 在 $\mathbb{C}[S_n]$ 中，算子 $\alpha_F = n! \prod_{(i,j)\in E}(1 - (i\,j))$ 满足 $\operatorname{ch}(\alpha_F) = X_F$，对任意森林 $F$ 成立，且与边的排序无关。
• 由于 $\alpha_F$ 是半正定算子的乘积，其特征值非负，因此由引理 1.3 可知 $X_F$ 为舒尔正性。
• 利用该方法证明了泰勒关于某些路径型超图舒尔正性的猜想，进而推出其对应形式群律的舒尔正性。
• 带根色对称函数 $X_{G,v}$ 满足 $X_{G,v}X_{H,w} = X_{G\vee H,v}$，且若 $X_{G,v}$ 与 $X_{H,w}$ 均为带根舒尔正性，则 $G\vee H$ 为舒尔正性。
• 以顶点 $n$ 为根的环图 $C_n$ 满足 $X_{C_n,n} = X_{P_n,n} - tX_{C_{n-1},n-1}$，其 $e$-展开式系数非负，从而证明了环图的带根 $e$-正性。
• 单位区间图 $G(m)$ 的猜想 $X_{G(m),1}$ 为带根 $e$-正性在 $n \leq 7$ 时成立；若该猜想为真，则可推出斯坦利-斯蒂姆布里奇猜想。