[论文解读] Chromatic bases for symmetric functions

Soojin Cho, Stephanie van Willigenburg|arXiv (Cornell University)|Aug 31, 2015

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

一句话总结

本文引入了对称函数代数的一类新型基底，其由特定连通图（如完全图、星图、路径图和环图）的色数对称函数生成。证明了对于每个 $ k \geq 1 $，任意由 $ k $ 个顶点构成的连通图序列均可生成完整的对称函数代数，并提供了这些生成元在幂和基底下的显式展开式，揭示了色数对称函数的新结构特性及其在对称函数理论中的作用。

ABSTRACT

In this note we obtain numerous new bases for the algebra of symmetric functions whose generators are chromatic symmetric functions. More precisely, if $\{ G_ k \}_{k\geq 1}$ is a set of connected graphs such that $G_k$ has $k$ vertices for each $k$, then the set of all chromatic symmetric functions $\{ X_{G_ k} \}_{k\geq 1}$ generates the algebra of symmetric functions. We also obtain explicit expressions for the generators arising from complete graphs, star graphs, path graphs and cycle graphs.

研究动机与目标

• 建立连通图的色数对称函数可生成完整的对称函数代数。
• 为完全图、星图、路径图和环图等著名图族提供色数对称函数的显式公式。
• 探讨这些生成元在对称函数代数中的代数结构。
• 研究这些新基底是否表现出舒尔正性，这是代数组合学中的一个关键性质。

提出的方法

• 通过图的正常染色定义色数对称函数，表示为所有正常染色的和。
• 应用容斥原理公式：$ X_G = \sum_{S \subseteq E} (-1)^{|S|} p_{\lambda(S)} $，其中 $ \lambda(S) $ 是边集为 $ S $ 的生成子图的连通分量大小构成的分拆。
• 在连通分拆格 $ L_G $ 上使用莫比乌斯函数，利用 $ X_G = \sum_{\pi \in L_G} \mu(\hat{0}, \pi) p_{</span>\text{type}(\pi)} $。
• 通过计数边子集 $ S \subseteq E $ 使得其产生给定分拆 $ \lambda $，结合连通分量结构的组合计数，推导出显式展开式。
• 应用关于路径图和环图的已知结果，包括斯坦利（1995）的生成函数，推导出闭式表达式。
• 使用生成函数技巧和分类讨论处理环图，区分最后一条边是否被包含的情况。

实验结果

研究问题

• RQ1 连通图的色数对称函数能否作为对称函数代数的生成元？
• RQ2 完全图、星图、路径图和环图的色数对称函数是否存在显式公式？
• RQ3 这些标准图族的色数对称函数是否构成对称函数代数的基底？
• RQ4 由完全图色数对称函数生成的基底是否具有舒尔正性？
• RQ5 由星图色数对称函数生成的基底是否具有舒尔正性？

主要发现

• 任意序列的连通图 $ \{G_k\}_{k \geq 1} $，其中 $ G_k $ 有 $ k $ 个顶点，其色数对称函数可生成完整的对称函数代数。
• 对于完全图 $ K_n $，有 $ X_{K_n} = n! \, e_n $，表明其与初等对称函数存在直接联系。
• 对于星图 $ S_{n+1} $，有 $ X_{S_{n+1}} = \sum_{r=0}^{n} (-1)^r \binom{n}{r} p_{(r+1,1^{n-r})} $，提供了精确的幂和展开式。
• 对于路径图 $ P_n $，有 $ X_{P_n} = \sum_{\lambda \vdash n} (-1)^{n - \sum m_i} \frac{(\sum m_i)!}{\prod m_i!} \, p_\lambda $，其系数由连通分量结构的计数导出。
• 对于环图 $ C_n $，有 $ X_{C_n} = \sum_{\lambda \vdash n} \left[ (-1)^{n - \sum m_i} \frac{(\sum m_i)!}{\prod m_i!} \left(1 + \sum_{j=2}^n (j-1) \frac{m_j}{\sum m_i} \right) \right] p_\lambda + (-1)^n p_n $，其中包含了边包含效应的影响。
• 由完全图色数对称函数生成的基底具有舒尔正性，而由星图生成的基底则不具有，如 $ X_{S_4} $ 并非舒尔正性所示。