Chen–Haiman Schur-positivity conjecture for Catalan functions
Chen–Haiman's conjecture. The Catalan functions H(Ψ;μ)H(\Psi;\mu)H(Ψ;μ) are Schur positive:
MathDB