The mystery of plethysm coefficients

Laura Colmenarejo,Rosa Orellana,Franco Saliola,Anne Schilling,Mike Zabrocki
2024-06-15
Abstract:Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the "$s$-perp trick", and point out several examples in the literature where this idea is used. We use the $s$-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in {\sc SageMath}.
Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find a combinatorial interpretation of the Schur expansion coefficients \(a^\nu_{\lambda,\mu}\) of the outer power symmetric function \(s_\lambda[s_\mu]\) in combinatorial representation theory. Specifically, these coefficients appear in the following expansion: \[ s_\lambda[s_\mu]=\sum_\nu a^\nu_{\lambda,\mu} s_\nu \] where \(s_\lambda\) and \(s_\mu\) are Schur functions, and \(a^\nu_{\lambda,\mu}\) are natural number coefficients. This problem has been an important indicator of the progress in GL\(_n\) representation theory research throughout the last century. The main objective of the paper is to discuss and solve the following open problem: **Problem 1.1**: Since \(s_\lambda[s_\mu]\) is a character of a GL\(_n\) representation, it can be expressed as an N - linear combination of Schur polynomials. Find a combinatorial interpretation of these combination coefficients \(a^\nu_{\lambda,\mu}\). Although there are some known results in special cases, it is still difficult to obtain a combinatorial interpretation in the general form. For this purpose, the authors introduce a method called "s - perp trick", and use it to prove the simplicity of the known cases and discover some new combinatorial descriptions. In addition, they also show the efficiency of the "s - perp trick" in calculating outer power coefficients.