[论文解读] Simulations of Quantum Turing Machines by Quantum Multi-Stack Machines

Daowen Qiu|ArXiv.org|Jan 30, 2005

Quantum Computing Algorithms and Architecture参考文献 25被引用 3

一句话总结

本文引入了具有扩展计数能力（n > 1 时为 ±1, ±2, ..., ±n）的量子多栈机（QMSMs）和量子多计数器机（QMCMs），并通过建立良好的形式性（W-F）条件来确保幺正演化。研究证明，QMSMs 可以以多项式时间慢化实现对量子图灵机（QTMs）的高效 $(n,t)$-模拟，而 QMCMs 也能以相同的时间复杂度模拟 QMSMs，从而在量子模型中确立了 QTMs 与 QMSMs/QMCMs 之间的计算等价性。

ABSTRACT

As was well known, in classical computation, Turing machines, circuits, multi-stack machines, and multi-counter machines are equivalent, that is, they can simulate each other in polynomial time. In quantum computation, Yao [11] first proved that for any quantum Turing machines $M$, there exists quantum Boolean circuit $(n,t)$-simulating $M$, where $n$ denotes the length of input strings, and $t$ is the number of move steps before machine stopping. However, the simulations of quantum Turing machines by quantum multi-stack machines and quantum multi-counter machines have not been considered, and quantum multi-stack machines have not been established, either. Though quantum counter machines were dealt with by Kravtsev [6] and Yamasaki {\it et al.} [10], in which the machines count with $0,\pm 1$ only, we sense that it is difficult to simulate quantum Turing machines in terms of this fashion of quantum computing devices, and we therefore prove that the quantum multi-counter machines allowed to count with $0,\pm 1,\pm 2,...,\pm n$ for some $n>1$ can efficiently simulate quantum Turing machines. Therefore, our mail goals are to establish quantum multi-stack machines and quantum multi-counter machines with counts $0,\pm 1,\pm 2,...,\pm n$ and $n>1$, and particularly to simulate quantum Turing machines by these quantum computing devices.

研究动机与目标

• 通过将量子下推自动机（QPDAs）推广至多栈系统，正式定义量子多栈机（QMSMs），并通过良好的形式性（W-F）条件确保其幺正演化。
• 引入具有扩展计数能力（n > 1 时为 0, ±1, ±2, ..., ±n）的量子多计数器机（QMCMs），与以往的量子计数器自动机（QCAs）相区别，并定义其 W-F 条件。
• 证明任何能够以 ±n（n > 1）计数的 QMCM 均可被仅使用 0, ±1 计数的 QMCM 高效模拟。
• 证明量子图灵机（QTMs）可被 QMSMs 高效地 $(n,t)$-模拟，且 QMCMs 可被 QMSMs 以相同时间复杂度模拟。
• 建立 QTMs、QMSMs 和 QMCMs 之间在量子计算模型中的计算等价性基础，将经典计算等价性扩展至量子领域。

提出的方法

• 将量子下推自动机（QPDAs）推广至多栈系统，以定义量子多栈机（QMSMs），其状态转移函数作用于完整的栈配置。
• 基于幺正演化，基于所有栈配置下的转移振幅满足幺正约束，定义 QMSMs 的良好形式性（W-F）条件。
• 引入具有扩展计数能力（n > 1 时为 0, ±1, ..., ±n）的量子多计数器机（QMCMs），其转移过程使用完整的计数器状态信息，与以往的 QCAs 不同。
• 建立 QMCMs 的 W-F 条件，以保证时间演化的幺正性，其表述形式比以往工作更为简洁。
• 通过将 QTM 的磁带和读写头位置编码至栈和计数器状态，构建 QMSM 对 QTM 的 $(n,t)$-模拟，同时保持时间复杂度。
• 通过一种保持幺正性和时间效率的计数器编码方案，证明具有扩展计数能力的 QMCMs 可被仅使用 0, ±1 计数的 QMCMs 模拟。

实验结果

研究问题

• RQ1 能否形式化定义量子多栈机（QMSMs），并基于良好形式性条件确保其幺正演化，且能否高效模拟量子图灵机（QTMs）？
• RQ2 能否定义具有扩展计数能力（n > 1 时为 0, ±1, ..., ±n）的量子多计数器机（QMCMs），使其对 QTMs 的模拟具有多项式时间开销？
• RQ3 是否能够使用仅支持 0, ±1 计数的 QMCM 来模拟一个支持 ±n（n > 1）计数的 QMCM，同时保持时间复杂度和幺正性？
• RQ4 所提出的 QMSMs 和 QMCMs 的 W-F 条件在复杂性和表达能力上与现有量子计数器自动机（QCAs）的 W-F 条件相比如何？
• RQ5 QMSMs 是否能以相同时间复杂度模拟 QMCMs，从而实现对 QTMs 的分层模拟？

主要发现

• 本文通过将 QPDAs 推广至多栈系统，定义了量子多栈机（QMSMs），并提供了简洁的 W-F 条件，确保系统实现幺正演化。
• 引入了具有扩展计数能力（n > 1 时为 0, ±1, ..., ±n）的量子多计数器机（QMCMs），并制定了其 W-F 条件以保持幺正性。
• 任何能够以 ±n（n > 1）计数的 QMCM 均可被仅使用 0, ±1 计数的 QMCM 高效模拟，且时间复杂度得以保持。
• 量子图灵机（QTMs）可被 QMSMs 以 $(n,t)$-模拟方式高效模拟，时间慢化为 $O(n + t)$，从而确立了计算等价性。
• QMCMs 可被 QMSMs 以相同时间复杂度模拟，证实 QMSMs 在模拟 QTMs 方面至少与 QMCMs 具有同等能力。
• QMSMs 和 QMCMs 的 W-F 条件比以往为 QCAs 提出的条件更为简洁，提升了量子自动机设计中的清晰度与实用性。