[论文解读] A Foundation of Programming a Multi-Tape Quantum Turing machine

Tomoyuki Yamakami|ArXiv.org|Jun 23, 1999

Quantum Computing Algorithms and Architecture参考文献 2被引用 10

一句话总结

本文为支持驻留头操作和多个终态的多磁带、多头量子图灵机（QTM）编程建立了一个基础框架。它形式化了该模型的转移规则、叠加态演化以及测量机制，为量子复杂性理论提供了严谨的基础，并支持对超越单磁带模型的量子算法和计算能力进行形式化分析。

ABSTRACT

The notion of quantum Turing machines is a basis of quantum complexity theory. We discuss a general model of multi-tape, multi-head Quantum Turing machines with multi final states that also allow tape heads to stay still.

研究动机与目标

• 形式化一个支持驻留头移动和多个终态的多磁带、多头量子图灵机的一般模型。
• 为超越单磁带模型的量子算法提供严谨的编程基础。
• 通过定义一致且可扩展的QTM框架，支持量子复杂性理论的发展。
• 通过支持叠加态与测量动力学，实现对多磁带与多头量子计算的精确分析。

提出的方法

• 定义一个具有多磁带、每条磁带上多个磁头，并支持在转移过程中保持位置不变的QTM模型。
• 引入一个形式化的转移函数，将当前状态与磁带头符号映射为下一状态、磁头移动和磁带符号更新的叠加态。
• 通过配置上的酉变换对量子演化进行建模，保持振幅归一化。
• 允许多个终态，以在量子计算中表示接受与拒绝的结果。
• 定义测量操作，根据概率振幅将叠加态坍缩为经典结果。
• 建立量子计算序列的形式语义，包括叠加态演化与概率性结果。

实验结果

研究问题

• RQ1 如何形式化定义一个支持驻留头操作和多个终态的多磁带、多头量子图灵机？
• RQ2 在多磁带配置中，转移函数需满足哪些条件以保持幺正性与量子相干性？
• RQ3 在多磁带量子计算框架中，如何一致地建模叠加态与测量？
• RQ4 多个终态在定义量子计算中的接受与拒绝行为中起什么作用？
• RQ5 多磁带模型如何扩展单磁带量子图灵机的计算能力与表达力？

主要发现

• 本文成功定义了一个包含驻留头移动和多个终态的一般多磁带、多头QTM模型。
• 该模型确保了量子配置的幺正演化，保持了量子相干性与振幅归一化。
• 该框架支持使用配置叠加态与概率性测量结果对量子算法进行形式化描述。
• 该模型通过支持对多磁带量子计算的精确分析，为量子复杂性理论提供了坚实基础。
• 形式化方法允许表示具有多磁带与多头的量子算法，其表达力超越了单磁带模型。
• 转移函数被定义为将当前配置映射为下一配置叠加态，从而实现相干的量子演化。