Conjecture on nonnegative coefficients in the highest-weight inner-product recursion
Let ∣λ⟩=Ejn(w)−⋯Ej1−∣Λs⟩|\lambda\rangle=E_{j_{n(w)}}^-\cdots E_{j_1}^-|\Lambda_s\rangle∣λ⟩=Ejn(w)−⋯Ej1−∣Λs⟩ be a state in a finite-dimensional irreducible representation, and let nkn_knk and Λik\Lambda_i^kΛik denote the coef…