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

标题： 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.