A new proof of an Egecioglu--Remmel inverse Kostka matrix problem via a Garsia--Milne involution involving Sym and NSym
Abstract
Egecioglu and Remmel provide a combinatorial proof (using special rim hook tableaux) that the product of the Kostka matrix K and its inverse K-1 equals the identity matrix I. They then pose the problem of proving the reverse identity K-1K =I combinatorially. Sagan and Lee prove a special case of this identity using overlapping special rim hook tableaux. Loehr and Mendes provide a full proof using bijective matrix algebra that relies on the Egecioglu--Remmel map. In this article, we solve the problem in full generality independent of the Egecioglu--Remmel bijection. To do this, we start by proving NSym versions of both Kostka matrix identities using sign-reversing involutions involving the tunnel hook coverings recently introduced by the first and third authors. Then we modify our sign-reversing involutions to reduce to Sym. Finally, we show that our bijection is different than the Loehr and Mendes result by constructing an injective map between special rim tableaux and the symmetric group Sn.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.