[论文解读] Measurement-Based Quantum Turing Machines and Questions of Universalities

Simon Perdrix, Philippe Jorrand|arXiv (Cornell University)|Feb 20, 2004

Quantum Computing Algorithms and Architecture参考文献 7被引用 11

一句话总结

本文提出测量基量子图灵机（MQTMs）以基于测量而非幺正演化的形式化量子计算，证明了量子测量在量子计算中具有普遍性。该研究建立了量子普遍性所需最小资源的新上界，并证明某些MQTM子集对经典计算是普遍的，但对量子计算并非如此，揭示了经典与量子计算模型之间的根本性差异。

ABSTRACT

Quantum measurement is universal for quantum computation. This universality allows alternative schemes to the traditional three-step organisation of quantum computation: initial state preparation, unitary transformation, measurement. In order to formalize these other forms of computation, while pointing out the role and the necessity of classical control in measurement-based computation, and for establishing a new upper bound of the minimal resources needed to quantum universality, a formal model is introduced by means of Measurement-based Quantum Turing Machines.

研究动机与目标

• 将基于测量而非幺正演化的形式化替代量子计算模型。
• 阐明经典控制在测量基量子计算中的作用。
• 建立量子普遍性所需最小资源的上界。
• 在测量基模型的背景下，研究经典与量子计算普遍性之间的差异。

提出的方法

• 提出测量基量子图灵机（MQTMs）的形式化模型，以通过测量表示量子计算。
• 采用三级分解：幺正操作的步骤模拟、幺正变换的完整模拟，以及电路级模拟。
• 使用辅助态和贝尔测量来模拟幺正门（例如 H、T、CNOT），直至保罗伊修正。
• 使用有限自动机建模测量序列的控制逻辑，其状态对应于保罗伊修正结果。
• 通过基于保罗伊算符的等价类对测量结果组合进行分组，减少所需机器状态的数量。
• 通过证明任何使用 {H, T, CNOT} 的量子电路均可由具有有限状态控制的MQTM模拟，从而证明量子普遍性。

实验结果

研究问题

• RQ1 是否可以仅通过量子测量而非显式幺正演化来普遍实现量子计算？
• RQ2 测量基模型实现量子普遍性所需的最小资源集合是什么？
• RQ3 经典控制如何影响测量基量子计算的成功？
• RQ4 当受限于测量基模型时，经典计算与量子计算在计算能力上是否存在根本性差异？
• RQ5 MQTM 的某个子集是否对经典计算是普遍的但对量子计算并非如此，从而揭示计算能力的差距？

主要发现

• 量子测量对量子计算具有普遍性，可仅通过测量和经典控制完全模拟任意量子电路。
• 测量基量子图灵机（MQTM）可使用有限数量的状态模拟任意量子电路，从而确立了量子普遍性所需最小资源的新上界。
• 每个幺正门的模拟被分解为多个步骤，每步结果均包含保罗伊修正，随后通过迭代修正步骤进行处理。
• 幺正变换的完整模拟需要一个有限自动机，其状态编码保罗伊修正序列，从而确保终止性和有限状态控制。
• 已证明MQTM的一个子集对经典计算是普遍的，但对量子计算并非如此，表明在此模型中经典与量子计算能力之间存在明显差距。
• 该证明依赖于三级抽象：步骤模拟、完整模拟和电路模拟，每一级均通过跟踪保罗伊修正来保持正确性。