Let $S^{\lambda}$ be a Schur functor. Is there a known positive rule to compute the decomposition of $S^{\lambda}(\bigwedge^2 \mathbb{C}^n)$ into $GL_n(\mathbb{C})$ irreps?
In response to Vladimir's request for clarification, the ideal answer would be a finite set whose cardinality is the multiplicity of $S^{\mu}(\mathbb{C}^n)$ in $S^{\lambda}(\bigwedge^2 \mathbb{C}^2)$. As an example, the paper Splitting the square of a Schur function into its symmetric and anti-symmetric parts gives such a rule for $\bigwedge^2(S^{\lambda}(\mathbb{C}^n))$.
Formulas involving evaluations of symmetric group characters, or involving alternating sums over stable rim hooks, are not good because they are not positive.
And, yes, it is easy to relate the answers for $\bigwedge^2 \mathbb{C}^n$ and $\mathrm{Sym}^2(\mathbb{C}^n)$, so feel free to answer with whichever is more convenient.
Best Answer
If I remember this correctly the cases $\mathrm{Sym}^k(\bigwedge^2 \mathbb{C}^n)$ and $\mathrm{Sym}^k(\mathrm{Sym}^2(\mathbb{C}^n))$ are known; and hence $\bigwedge^k(\bigwedge^2 \mathbb{C}^n)$ and $\bigwedge^k(\mathrm{Sym}^2(\mathbb{C}^n))$. I will look up the references tomorrow (if this is of interest).
Edit The result has now been stated. I learnt this from R.P.Stanley "Enumerative Combinatorics" Vol 2, Appendix 2. Specifically, A2.9 Example (page 449) which refers to (7.202) on page 503. This gives as the original reference (11.9;4) of the 1950 edition of:
Littlewood, Dudley E. "The theory of group characters and matrix representations of groups."
P.S. In the Notes at the end of 7.24 (bottom of page 404 in CUP 1999 edition) it discusses the origin and the etymology of "plethysm". It says:
Plethysm was introduced in
MR0010594 (6,41c) Littlewood, D. E. Invariant theory, tensors and group characters.
Philos. Trans. Roy. Soc. London. Ser. A. 239, (1944). 305--365
The term "plethysm" was suggested to Littlewood by M. L. Clark after the Greek word plethysmos $\pi\lambda\eta\theta\upsilon\sigma\mu\acute o\varsigma$ for "multiplication".