A proof of the Stanley-Stembridge conjecture

Tatsuyuki Hikita
2024-10-17
Abstract:We give a probability theoretic interpretation of the coefficients of the elementary symmetric function expansion of chromatic quasisymmetric function for any unit interval graph. As a corollary, we prove the Stanley-Stembridge conjecture.
Combinatorics,Representation Theory
What problem does this paper attempt to address?
This paper attempts to solve the Stanley - Stembridge conjecture, which is a long - standing conjecture in algebraic combinatorics. Specifically, this conjecture states that for any (3 + 1)-free graph, the coefficients in the expansion of its chromatic symmetric function in terms of elementary symmetric functions are all positive. Through the work of Guay - Paquet, this conjecture was reduced to only considering the case of unit interval graphs. Shareshian and Wachs further refined this conjecture by introducing the chromatic quasisymmetric function and proposing that the coefficients in the expansion of these functions in terms of elementary symmetric functions belong to the non - negative integer polynomials \(\mathbb{Z}_{\geq 0}[q]\) for any unit interval graph. The main result of this paper is to prove the Stanley - Stembridge conjecture by giving a new inductive formula for the expansion of the chromatic quasisymmetric function of unit interval graphs in terms of elementary symmetric functions. More precisely, the author provides a probabilistic interpretation to show that these coefficients are non - negative for any \(q\in\mathbb{R}_{> 0}\), which obviously implies positivity when \(q = 1\). The proof process is entirely based on elementary methods and does not use any geometry or representation theory, although considerations in these areas play a certain role behind it.