Strong-tableau nonvanishing conjecture for elementary coefficients

Let PP be a (3+1)(\mathbf{3}+\mathbf{1})-free poset, let λ\lambda be a partition, and let cλPc_\lambda^P be the corresponding elementary-basis coefficient of Xinc(P)(x)X_{\operatorname{inc}(P)}(\mathbf{x}). Let strongSTP(λ)\operatorname{strongST}_P(\lambda) denote the set of strong standard PP-tableaux of shape λ\lambda. Strong-tableau nonvanishing conjecture. If strongSTP(λ)\operatorname{strongST}_P(\lambda) is empty, then cλP=0c_\lambda^P=0. The source explains that this is unresolved in general and, for natural unit interval orders, is equivalent to a formulation involving Hikita tableaux.

Sources & referencesView supporting material

Primary source

Isaiah Siegl, “Toward Lower Bounds for Chromatic Symmetric Functions in the Elementary Basis”, arXiv:2509.02841 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.