48b58ee3f967b597.tex
1: \begin{abstract}
2:   Let $V$ be a symplectic vector space and let $\mu$ be the \emph{oscillator representation} of $\Sp(V)$.
3:   It is natural to ask how the tensor power representation $\mu^{\otimes t}$ decomposes. % into irreps.
4:   If $V$ is a real vector space, then \emph{Howe duality} asserts that there is a one-one correspondence between the irreducible subrepresentations of $\Sp(V)$ and the irreps of an orthogonal group $O(t)$.
5:   It is well-known that this duality fails over finite fields.
6:   Addressing this situation, Gurevich and Howe have recently assigned a notion of \emph{rank} to each $\Sp(V)$ representation.
7:   They show that Howe duality continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank.
8:   The nature of the rank-deficient components was left open.
9:   Here, we show that all rank-deficient $\Sp(V)$-subrepresentations arise from embeddings of
10:   lower-order tensor products of $\mu$ and $\bar\mu$ into $\mu^{\otimes t}$.
11:   The embeddings live on spaces that have been studied in quantum information theory as tensor powers of \emph{self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes}.
12:   We then find that the  irreducible $\Sp(V)$ subrepresentations of $\mu^{\otimes t}$ are labelled by
13:   the irreps of orthogonal groups $O(r)$ acting on certain $r$-dimensional spaces for $r\leq t$.
14:   The results hold in odd charachteristic and the ``stable range'' $t\leq \frac12 \dim V$.
15:   Our work has implications for the representation theory of the \emph{Clifford group}.
16:   It can be thought of as a generalization of the known characterization of the invariants of the Clifford group in terms of self-dual codes.
17: \end{abstract}
18: