The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods. Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$. We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.

Combinatorial designs are different than unitary designs.

Unitary designs are about splitting up U(n) into a “balanced” finite subset. This helps mimic random choices of unitary.

This approach uses Gelfand pairs: \(U(n) \to U(m) \times U(n-m)\)

The Clifford group is an exact unitary 3-design.

This is based on representation theory. The design is found inductively “from zeros of zonal spherical functions of the complex Grassmanian”. The Grassmanian parameterizes k-dimensional linear subspaces of a n-dimensional vector space (i.e. like the Gelfand pairs above)

The constructions can be extremely large: \(5^4\) for \(U(2)\); \(5^{36}\) for \(U(4)\)…

JP talked about qutrits and Bloch sphere extensions. You can still construct the Bloch sphere, but not every point in the sphere is a valid qutrit. It’s related to purity. The \(2^N -1\) -dimensional ball is full from radius \(1/N\) to \(1/(N-1)\), but from then to \(1\) it is not always full. (For qutrits, \(N=3\), so it’s only full from radius \(1/3\) to \(1/2\).)