[论文解读] Quantum Complexity: restrictions on algorithms and architectures

D. J. Shepherd|arXiv (Cornell University)|May 9, 2010

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

一句话总结

本博士论文研究了量子算法与量子架构的根本限制与设计原则，聚焦于控制最少的模型——如一维量子细胞自动机和仅在末端可访问的自旋链。论文证明了在这些约束下仍可实现高效的通用量子计算，并提出了IQP预言机模型，表明即使在时间结构上无序的量子计算，也能通过常数深度电路实现BQP计算能力，对量子优势测试与经典模拟极限具有重要意义。

ABSTRACT

A dissertation submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy (PhD) in the Faculty of Engineering, Department of Computer Science, July 2009.

研究动机与目标

• 研究在空间或操作受限架构中实现通用量子计算的最小控制需求。
• 探索“一个纯态量子比特”模型的计算能力及其复杂度类，特别是其与⊕L和P的关系。
• 开发并分析IQP（即时量子多项式）预言机模型，作为在无时间深度条件下研究量子优势的框架。
• 提出实用协议，用于测试计算深度有限的量子设备，利用量子特异性复杂度。
• 研究量子分布的经典可模拟性，并在缺乏时间结构的情况下识别内在的量子优势。

提出的方法

• 构建基于一维量子细胞自动机的高效通用量子计算框架，采用局部且无噪声的门操作。
• 设计一种仅在一端可访问的自旋链架构，证明在单位酉演化与有限控制下仍可实现通用性。
• 基于Clifford-对角层级提出IQP预言机模型，实现无需按序排列门操作的计算。
• 将Shor算法重新表述为仅使用基保持门与Hadamard基初始化/测量，以凸显其结构简洁性。
• 利用拟阵不变量分析IQP分布的经典可模拟性，并提出对量子分布X的类经典近似Y。
• 采用后选择技术表明，即使缺乏时间结构，常数作用X-程序在θ = π/8时仍可实现BQP能力。

实验结果

研究问题

• RQ1 在空间受限系统中，实现通用量子计算所需的最小控制结构是什么？
• RQ2 IQP模型缺乏时间深度，是否仍能实现通用量子计算能力？
• RQ3 “一个纯态量子比特”模型与⊕L和P等经典复杂度类之间有何关系？
• RQ4 IQP电路产生的量子分布在多大程度上可被经典模拟？哪些量子优势仍存在？
• RQ5 在无通信或多方交互的双人协议中，能否实现非平凡的量子任务？

主要发现

• “一个纯态量子比特”模型包含复杂度类⊕L，且相对于某些预言机与P不可比较。
• 通过一维量子细胞自动机与局部无噪声门，实现了通用量子计算框架。
• 仅通过末端控制的自旋链架构，可通过单位酉演化实现通用量子计算，证明了最小控制的充分性。
• 具有常数作用θ = π/8且采用后选择的IQP电路，尽管缺乏时间结构，仍可实现BQP计算能力。
• 通过随机变量Y对IQP分布的经典近似能捕获所有局部拟阵信息，表明其在多项式时间经典模拟中渐近最优。
• 提出一个猜想：在平均情况与多项式时间约束下，产生Y的类经典方法是θ = π/8时IQP的最佳可能经典模拟策略。