标题： 量子门普适性的判据 显示英文标题

标题： Criteria for universality of quantum gates

摘要： 我们研究了决定一组量子单量子比特门 $\mathcal{S}=\{U_1,\ldots,U_n\}$是否是通用集的问题。 我们给出了简洁形式的判据，这些判据可以导出一个简单的算法，该算法能够在有限步骤内判定任意一组门是否是通用的。 此外，对于非通用的 $\mathcal{S}$，我们的判据指出了可以向 $\mathcal{S}$添加何种类型的门以使其变为通用集。 显示英文摘要

摘要： We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{U_1,\ldots,U_n\}$ is universal. We provide the compact form criteria leading to a simple algorithm that allows deciding universality of any given set of gates in a finite number of steps. Moreover, for a non-universal $\mathcal{S}$ our criteria indicate what type of gates can be added to $\mathcal{S}$ to turn it into a universal set.