The Shareshian-Wachs conjecture: elementary positivity of chromatic quasisymmetric functions of natural unit interval graphs

Lineage and corrections

The Shareshian-Wachs conjecture: elementary positivity of chromatic quasisymmetric functions of natural unit interval graphs evidence for this event

This event attributed to Unreleased internal OpenAI model

Shareshian and Wachs, Chromatic quasisymmetric functions (Adv. Math. 2016) evidence for this event

The Shareshian-Wachs conjecture: elementary positivity of chromatic quasisymmetric functions of natural unit interval graphs parent of this event

Lean proof: OAI/Combinatorics/Chromatic/Main.lean evidence for this event

VibeMathed record: The Shareshian-Wachs conjecture: elementary positivity of chromatic quasisymmetric functions of natural unit interval graphs evidence for this event

Lean statement: ComparatorChallenges/ElementaryPositivity.lean evidence for this event

Theorem 1.1: a terminating procedure assigns to each $\sigma\in D_G^0$ (permutations whose adjacent descents are edges) a partition $\theta_G(\sigma)\vdash n$ with $X_G(x;q)=\sum_{\sigma\in D_G^0}q^{\mathrm{ginv}_G(\sigma)}e_{\theta_G(\sigma)}(x)$, where $\mathrm{ginv}_G$ counts inversions supported on edges. Hence every elementary coefficient lies in $\mathbb N[q]$ and counts permutations; at $q=1$ this reproves the Stanley-Stembridge conjecture (Hikita; Griffin-Mellit-Romero-Weigl-Wen). Not shown: the unimodality part of the Shareshian-Wachs conjecture, an efficient description of $\theta_G$ (the procedure may be slow), or $e$-positivity outside the natural unit interval class. parent of this event