English

Explicit orthogonal and unitary designs

Computational Complexity 2023-10-23 v1

Abstract

We give a strongly explicit construction of ε\varepsilon-approximate kk-designs for the orthogonal group O(N)\mathrm{O}(N) and the unitary group U(N)\mathrm{U}(N), for N=2nN=2^n. Our designs are of cardinality poly(Nk/ε)\mathrm{poly}(N^k/\varepsilon) (equivalently, they have seed length O(nk+log(1/ε)))O(nk + \log(1/\varepsilon))); up to the polynomial, this matches the number of design elements used by the construction consisting of completely random matrices.

Cite

@article{arxiv.2310.13597,
  title  = {Explicit orthogonal and unitary designs},
  author = {Ryan O'Donnell and Rocco A. Servedio and Pedro Paredes},
  journal= {arXiv preprint arXiv:2310.13597},
  year   = {2023}
}
R2 v1 2026-06-28T12:57:00.416Z