1: \begin{abstract} 

2: We clarify the mathematical structure underlying \emph{unitary

3: $t$-designs}. These are sets of unitary matrices, evenly distributed

4: in the sense that the average of any $t$-th order polynomial over the

5: design equals the average over the entire unitary group. We present a

6: simple necessary and sufficient criterion for deciding if a set of

7: matrices constitutes a design. Lower bounds for the number of elements

8: of $2$-designs are derived. We show how to turn mutually unbiased

9: bases into approximate 2-designs whose cardinality is optimal in

10: leading order. Designs of higher order are discussed and an example of

11: a unitary 5-design is presented. We comment on the relation between

12: unitary and spherical designs and outline methods for finding designs

13: numerically or by searching character tables of finite groups.

14: Further, we sketch connections to problems in linear optics

15: and questions regarding typical entanglement.

16: \end{abstract}

17: