Abstract: Epsilon-nets and approximate unitary -designs are natural notions that capture properties of unitary operations relevant for numerous applications in quantum information and quantum computing. The former constitute subsets of unitary channels that are epsilon-close to any unitary channel in the diamond norm. The latter are ensembles of unitaries that (approximately) recover Haar averages of polynomials in entries of unitary channels up to order . In this work we establish quantitative connections between these two notions. Specifically, we prove that, for a fixed dimension of the Hilbert space, unitaries constituting -approximate -expanders form -nets for and . We also show that -nets can be used to construct -approximate unitary -designs for . Finally, we prove that the degree of an exact unitary -design necessary to obtain an -net must grow at least fast as (for fixed ) and not slower than (for fixed ). This shows near optimality of our result connecting -designs and -nets. We apply our findings in the context of quantum computing. First, we show that that approximate t-designs can be generated by shallow random circuits formed from a set of universal two-qudit gates in the parallel and sequential local architectures. Our gate sets need not to be symmetric (i.e. contain gates together with their inverses) or consist of gates with algebraic entries. We also show a non-constructive version of the Solovay-Kitaev theorem for general universal gate sets. Our main technical contribution is a new construction of efficient polynomial approximations to the Dirac delta in the space of quantum channels, which can be of independent interest.
