[论文解读] The lambda-q calculus can efficiently simulate quantum computers

Philip Maymin|arXiv (Cornell University)|Feb 26, 1997

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

一句话总结

本文证明了lambda-q微积分能够通过模拟已知与量子图灵机（QTM）计算等价的一维分块量子细胞自动机（1d-PQCA），高效地模拟量子图灵机（QTM）。其关键贡献在于，lambda-q能够高效求解诸如可满足性等NP完全问题，这表明其计算能力可能严格强于量子计算机，与普遍认为QTM无法高效求解此类问题的观点相悖。

ABSTRACT

We show that the lambda-q calculus can efficiently simulate quantum Turing machines by showing how the lambda-q calculus can efficiently simulate a class of quantum cellular automaton that are equivalent to quantum Turing machines. We conclude by noting that the lambda-q calculus may be strictly stronger than quantum computers because NP-complete problems such as satisfiability are efficiently solvable in the lambda-q calculus but there is a widespread doubt that they are efficiently solvable by quantum computers.

研究动机与目标

• 确立lambda-q微积分能够高效模拟量子计算模型。
• 在lambda-q微积分与量子细胞自动机（1d-PQCA）之间建立联系，后者是与量子图灵机等价的已知模型。
• 探究lambda-q在求解NP完全问题方面是否相对于量子图灵机具有计算优势，特别是针对NP完全性问题。
• 形式化将量子自动机状态与转移振幅转换为包含叠加与振幅处理的lambda-q项。

提出的方法

• 使用Church数对状态进行比较和单射编码，将1d-PQCA状态翻译为lambda-q项。
• 将接受状态和细胞位置编码为lambda-q项，以镜像自动机配置。
• 构建一个置换项P，以模拟1d-PQCA中量子态的空间重排。
• 将局部转移矩阵Λ翻译为lambda-q项L，通过在状态值上进行条件检查来计算叠加。
• 在lambda-q中使用带符号计数（a_i, b_i, n_i）表示量子叠加，将振幅编码为整数加权项。
• 通过一个句法的、单射的函数c，将lambda-q叠加映射到1d-PQCA配置，该函数剥离结构元数据并仅提取状态数据。

实验结果

研究问题

• RQ1 lambda-q微积分能否高效模拟一维分块量子细胞自动机（1d-PQCA）？
• RQ2 lambda-q微积分能否以多项式时间开销模拟量子图灵机（QTM）？
• RQ3 lambda-q微积分在求解NP完全问题方面是否相对于量子图灵机具有计算优势？
• RQ4 lambda-q微积分能否仅使用纯函数式、类型化构造高效处理叠加与酉变换？
• RQ5 是否存在量子振幅矩阵与lambda-q项之间的形式对应关系，且能保持计算等价性？

主要发现

• lambda-q微积分能够高效模拟1d-PQCA，而1d-PQCA在计算上等价于量子图灵机。
• 通过将转移矩阵多项式时间翻译为lambda-q项，该模拟保留了叠加与振幅结构。
• lambda-q微积分可使用整数加权项（a_i, b_i, n_i）表示量子叠加，从而实现对有理振幅的精确算术模拟。
• 从lambda-q叠加到1d-PQCA配置的映射是单射的，确保了状态之间的一一对应。
• lambda-q微积分能够高效求解诸如布尔可满足性等NP完全问题，而这一任务普遍被认为对量子图灵机不可行。
• 本文结论认为，由于lambda-q微积分能够高效求解NP完全问题，其计算能力可能严格强于量子图灵机。