“…Unitaries constituting δ-approximate t-design form -nets for t d 5/2 and δ 3/2 d d 2 [13]. As a direct consequence of property (1) δ-approximate t-designs find numerous applications throughout quantum information, including randomized benchmarking [16,17], information transmission [18], quantum state discrimination [19], criteria for universality of quantum gates [10] and complexity growth [7,[20][21][22]. It is also known that the constant A(S) from the Solovay-Kitaev theorem is inversely proportional to 1 − δ(ν S ), where δ(ν S ) := sup t δ(ν S , t), whenever δ(ν S ) < 1 [15].…”