[论文解读] Computational Complexity of Uniform Quantum Circuit Families and Quantum Turing Machines

Harumichi Nishimura, Masanao Ozawa|ArXiv.org|Jun 25, 1999

Quantum Computing Algorithms and Architecture参考文献 16被引用 5

一句话总结

本文研究了量子图灵机（QTMs）与统一量子线路族（QCFs）之间的计算等价性，证明在蒙特卡洛算法中，两种模型产生的复杂度类完全相同。然而，在拉斯维加斯算法中，等价性尚未被证明，且可能存在根本性差异，凸显了量子复杂度理论中的一个关键开放问题。

ABSTRACT

Deutsch proposed two sorts of models of quantum computers, quantum Turing machines (QTMs) and quantum circuit families (QCFs). In this paper we explore the computational powers of these models and re-examine the claim of the computational equivalence of these models often made in the literature without detailed investigations. For this purpose, we formulate the notion of the codes of QCFs and the uniformity of QCFs by the computability of the codes. Various complexity classes are introduced for QTMs and QCFs according to constraints on the error probability of algorithms or transition amplitudes. Their interrelations are examined in detail. For Monte Carlo algorithms, it is proved that the complexity classes based on uniform QCFs are identical with the corresponding classes based on QTMs. However, for Las Vegas algorithms, it is still open whether the two models are equivalent. We indicate the possibility that they are not equivalent. In addition, we give a complete proof of the existence of a universal QTM simulating multi-tape QTMs efficiently. We also examine the simulation of various types of QTMs such as multi-tape QTMs, single tape QTMs, stationary, normal form QTMs (SNQTMs), and QTMs with the binary tapes. As a result, we show that these QTMs are computationally equivalent one another as computing models implementing not only Monte Carlo algorithms but exact (or error-free) ones.

研究动机与目标

• 严格检验文献中常被默认但未经证明的关于量子图灵机（QTMs）与量子线路族（QCFs）之间计算等价性的主张。
• 通过代码的可计算性形式化统一QCFs的概念，从而实现精确的复杂度理论分析。
• 在误差概率和跃迁振幅约束下，定义并比较QTMs与QCFs的复杂度类。
• 研究多种QTM模型（包括多带、单带和二进制带变体）的模拟效率。
• 确定QTMs与QCFs在拉斯维加斯算法中是否具有计算等价性，这是量子计算领域一个关键未解问题。

提出的方法

• 引入QCF代码的正式定义，并通过这些代码的可计算性定义统一性，从而支持复杂度理论分析。
• 基于误差概率（如有界误差、零误差）和振幅约束，为QTMs与QCFs定义复杂度类。
• 构建一个通用QTM，通过构造性模拟技术严格证明其能高效模拟多带QTMs，从而确立其存在性与效率。
• 分析并比较多种QTM变体——多带、单带、静止型、标准形式及二进制带QTM——证明其在计算能力上是等价的。
• 采用经典复杂度理论中的证明技术，并将其适配至量子设置，尤其适用于有误差界和精确计算模型。
• 通过归约与模拟论证，比较由QTMs与QCFs导出的复杂度类，特别是在蒙特卡洛与拉斯维加斯范式下的表现。

实验结果

研究问题

• RQ1 对于蒙特卡洛算法，量子线路族与量子图灵机在计算上是否等价？
• RQ2 该等价性是否同样适用于拉斯维加斯算法？是否存在计算能力的根本差异？
• RQ3 是否存在一个通用量子图灵机，能够高效模拟所有多带QTMs？此类模拟的复杂度是多少？
• RQ4 不同QTM变体（如单带、静止型或二进制带模型）在计算能力上如何比较？
• RQ5 统一性在量子线路族中起什么作用？它如何影响所生成的复杂度类？

主要发现

• 在蒙特卡洛算法中，通过统一QCFs定义的复杂度类与通过QTMs定义的复杂度类完全相同，确认了该设定下的等价性。
• 通用QTM能够高效模拟多带QTMs的存在性已得到严格证明，支持了QTM模型的普遍性。
• 多种QTM模型——包括多带、单带、静止型、标准形式及二进制带——在蒙特卡洛与精确（无误差）计算中均被证明具有计算等价性。
• 本文指出，QTMs与QCFs在拉斯维加斯算法中的等价性仍为开放问题，暗示可能存在计算能力上的不对称性。
• 通过可计算代码对统一QCFs的形式化，为量子线路的复杂度理论分析提供了坚实基础。
• 本研究确立了基于有界误差与零误差计算的复杂度类在两种模型间是明确定义且可比较的，唯独在拉斯维加斯情形例外。