Skip to Main Content

Representation Theory

Published by the American Mathematical Society, the Representation Theory (ERT) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

ISSN 1088-4165

The 2020 MCQ for Representation Theory is 0.7.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Rank-deficient representations in the theta correspondence over finite fields arise from quantum codes
HTML articles powered by AMS MathViewer

by Felipe Montealegre-Mora and David Gross PDF
Represent. Theory 25 (2021), 193-223

Abstract:

Let $V$ be a symplectic vector space and let $\mu$ be the oscillator representation of $\operatorname {Sp}(V)$. It is natural to ask how the tensor power representation $\mu ^{\otimes t}$ decomposes. If $V$ is a real vector space, then the theta correspondence asserts that there is a one-one correspondence between the irreducible subrepresentations of $\operatorname {Sp}(V)$ and the irreps of an orthogonal group $O(t)$. It is well-known that this duality fails over finite fields. Addressing this situation, Gurevich and Howe have recently assigned a notion of rank to each $\operatorname {Sp}(V)$ representation. They show that a variant of the Theta correspondence continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank. The nature of the rank-deficient components was left open. Here, we show that all rank-deficient $\operatorname {Sp}(V)$-subrepresentations arise from embeddings of lower-order tensor products of $\mu$ and $\bar \mu$ into $\mu ^{\otimes t}$. The embeddings live on spaces that have been studied in quantum information theory as tensor powers of self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes. We then find that the irreducible $\operatorname {Sp}(V)$-subrepresentations of $\mu ^{\otimes t}$ are labelled by the irreps of orthogonal groups $O(r)$ acting on certain $r$-dimensional spaces for $r\leq t$. The results hold in odd charachteristic and the “stable range” $t\leq \frac 12 \dim V$. Our work has implications for the representation theory of the Clifford group. 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.
References
Similar Articles
  • Retrieve articles in Representation Theory of the American Mathematical Society with MSC (2020): 20C33, 20G40
  • Retrieve articles in all journals with MSC (2020): 20C33, 20G40
Additional Information
  • Felipe Montealegre-Mora
  • Affiliation: Institute for Theoretical Physics, University of Cologne, 50937 Cologne, Germany
  • Email: fmonteal@thp.uni-koeln.de
  • David Gross
  • Affiliation: Institute for Theoretical Physics, University of Cologne, 50937 Cologne, Germany
  • Email: david.gross@thp.uni-koeln.de
  • Received by editor(s): June 24, 2020
  • Received by editor(s) in revised form: November 23, 2020
  • Published electronically: March 25, 2021
  • Additional Notes: This work was by the Excellence Initiative of the German Federal and State Governments (Grant ZUK 81), the ARO under contract W911NF-14-1-0098 (Quantum Characterization, Verification, and Validation), and the DFG (SPP1798 CoSIP, project B01 of CRC 183).
  • © Copyright 2021 the authors
  • Journal: Represent. Theory 25 (2021), 193-223
  • MSC (2020): Primary 20C33; Secondary 20G40
  • DOI: https://doi.org/10.1090/ert/563
  • MathSciNet review: 4235130