[论文解读] Power sum expansion of chromatic quasisymmetric functions

Christos A. Athanasiadis|arXiv (Cornell University)|Sep 9, 2014

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

一句话总结

本文證明了Shareshian與Wachs提出的猜想，即自然單位區間序的不可比圖的色度擬對稱函數在冪和對稱函數基底下具有顯式展開。透過使用對稱群特徵的Roichman公式，以及線性擴展與無環定向之間的雙射，作者推導出一個組合公式，將該函數以冪和對稱函數表示，為色度對稱函數理論中的正性猜想提供了證據。

ABSTRACT

The chromatic quasisymmetric function of a graph was introduced by Shareshian and Wachs as a refinement of Stanley's chromatic symmetric function. An explicit combinatorial formula, conjectured by Shareshian and Wachs, expressing the chromatic quasisymmetric function of the incomparability graph of a natural unit interval order in terms of power sum symmetric functions, is proven. The proof uses a formula of Roichman for the irreducible characters of the symmetric group.

研究动机与目标

• 證明Shareshian與Wachs關於自然單位區間序的不可比圖之色度擬對稱函數在冪和基底下展開的猜想。
• 在冪和基底下建立色度擬對稱函數的組合公式，以精化Stanley關於對稱函數的定理。
• 為Shareshian與Wachs關於在基本對稱函數基底下展開的正性猜想提供證據。
• 透過Roichman的特徵公式，將色度擬對稱函數與對稱群表示理論聯繫起來。
• 透過已知的線性擴展與無環定向之間的雙射，將主要結果以無環定向與下降統計量重新表述。

提出的方法

• 證明使用Roichman對對稱群不可約特徵的公式，將特徵值與冪和對稱函數關聯。
• 首先透過[4, 定理3.1]將色度擬對稱函數表示為基本擬對稱函數基底。
• 接著透過基本與冪和對稱函數之間的轉移矩陣的逆，將展開轉換為冪和基底。
• 關鍵步驟涉及在擬對稱函數上使用對合ω，以將色度擬對稱函數與冪和基底關聯。
• 利用偏序集的線性擴展與其不可比圖的無環定向之間的雙射，將公式重新表達為定向形式。
• 透過證明定向中上升邊的數目與對應線性擴展中的下降統計量相符，來驗證公式。

实验结果

研究问题

• RQ1 自然單位區間序的不可比圖之色度擬對稱函數是否在冪和對稱函數基底下具有顯式展開？
• RQ2 能否使用表示理論工具嚴謹證明該展開的猜想組合公式？
• RQ3 在已知雙射下，線性擴展與無環定向中的下降與上升統計量之間有何關係？
• RQ4 冪和展開是否為色度擬對稱函數在基本對稱函數基底下正性提供證據？
• RQ5 該公式能否以無環定向重新表述，從而產生新的組合解釋？

主要发现

• 自然單位區間序的不可比圖之色度擬對稱函數 $ X_G(x,t) $ 在冪和對稱函數基底下具有顯式展開。
• 展開式為 $ X_G(x,t) = \frac{1}{z_\nu} \rho \big( \text{coefficients in } \text{fundamental quasisymmetric basis} \big) $，其中 $ z_\nu $ 為標準歸一化係數。
• 在展開中，$ p_\nu(x) $ 的係數為 $ \frac{1}{z_\nu} \times \text{sum over } \nu\text{-ordered partitions } \nu \text{ of } t^{\text{asc}(o)} $，其中 $ o $ 取遍滿足特定終點與邊方向條件的無環定向。
• 該公式確認了Shareshian與Wachs關於冪和展開的猜想，並在有序分拆與無環定向的組合解釋下提供支持。
• 結果顯示色度擬對稱函數在 $ x $ 上對稱，與先前結果一致。
• 在推論4.2中提供了另一種以無環定向表示的公式，顯示 $ \rho X_G(x,t) = \frac{1}{z_\nu} \times \text{sum over } \nu\text{-ordered partitions } \nu \text{ of } t^{\text{asc}(o)} $，其中 $ \text{asc}(o) $ 計數在總序下由較小頂點指向較大頂點的有向邊數。