Song–Wang's cyclotomic RSK bijection conjecture
For a level ℓ\ellℓ and multipartition data μ,ν\mu,\nuμ,ν, let ParMatν,μ♭\mathrm{ParMat}_{\nu,\mu}^{\flat}ParMatν,μ♭ denote the corresponding set of enriched block matrices, let…