A proof of $K$-theoretic Littlewood-Richardson rules by Bender-Knuth-type involutions
Takeshi Ikeda, Tatsushi Shimazaki · Mathematical Research Letters · 2014
The K-theoretic Littlewood-Richardson rule due to A. Buch describes the product structure constants for the Grothendieck polynomials of Grassmannian type.We present a simple self-contained proof of the rule by generalizing Stembridge's cancelation argument which was applied for the classical Littlewood-Richardson rule.