arXiv++ Combinatorics

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map of type AII, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to LR-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII$_{2n-1}$. The algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(\C)$ to $Sp_{2n}(\C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof for the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux. The surjectivity is exhibited via the iteration of the reverse Schensted column insertion, initialized on a symplectic tableau, ruled by the slack data of a quantum recording tableau, and followed with the inverse reduction map on the bumped symplectic column in each iteration. The explicit inverse reduction map has been recently computed by the author in arXiv:2606.24840v2 for any symplectic column. The inverse of the quantum LR map is used to compute and characterize a family of $\k$- highest weight semi-standard tableaux in the recent proof of the Naito-Sagaki conjecture using the Watanabe's branching rule based on the crystal basis theory for $\imath$quantum groups of type AII$_{2n-1}$. That family of tableaux is generated by quantum recording tableaux with $1$-$0$-slack sequence and shape length $2n$ or $2n-1$ is characterized by certain linear inequalities.