量子门的高效离散近似

量子编译处理以取自特定有限集合的一串门来近似任意量子门的问题。已证明这对几乎所有基集选择皆可行，且达到精度 epsilon 所需门数仅关于 log 1/epsilon 为多项式级。此处我们证明，使用某些基门集合时量子编译所需串长度关于 log 1/epsilon 为线性，该结果与由体积计数所得下界相差至多常数因子。