[论文解读] Simulating Concordant Computations

Bryan Eastin|arXiv (Cornell University)|Jun 23, 2010

Quantum Computing Algorithms and Architecture被引用 12

一句话总结

本文提出了一种经典算法，可高效模拟由单量子比特或两量子比特门组成、且初始化为乘积态的相容量子计算——即生成零量子失谐的计算。关键结果表明，除非生成量子失谐，否则此类计算无法实现超多项式加速，这意味着在此设定下，量子失谐是实现量子优势的必要条件。

ABSTRACT

A quantum state is called concordant if it has zero quantum discord with respect to any part. By extension, a concordant computation is one such that the state of the computer, at each time step, is concordant. In this paper, I describe a classical algorithm that, given a product state as input, permits the efficient simulation of any concordant quantum computation having a conventional form and composed of gates acting on two or fewer qubits. This shows that such a quantum computation must generate quantum discord if it is to efficiently solve a problem that requires super-polynomial time classically. While I employ the restriction to two-qubit gates sparingly, a crucial component of the simulation algorithm appears not to be extensible to gates acting on higher-dimensional systems.

研究动机与目标

• 研究量子失谐而非纠缠是否是混合态计算中实现量子加速的关键资源。
• 确定相容量子计算——即量子失谐为零的计算——是否可被经典高效模拟。
• 建立量子失谐缺失与量子计算经典可模拟性之间的正式联系。
• 探索将模拟方法扩展至量子比特和两量子比特门之外的局限性。

提出的方法

• 该模拟算法追踪密度矩阵在幺正门和投影测量下的演化，利用相容态保持简单本征基结构的特性。
• 采用退化诊断技术判断门作用是否与当前态的本征基对易，从而实现高效的经典追踪。
• 该方法依赖于单个或两个量子比特上的置换的线性性质，允许通过检查一组少量基向量来验证门的兼容性。
• 对于乘积态输入，显式存储并更新状态，通过测量保持或降低秩，确保计算可处理性。
• 通过在测量结果下调整退化诊断，将该方法扩展至非传统形式。
• 一个关键技术组件是验证门是否满足条件 $ \rho^0 \neq P^\dagger Q P \rho^0 P^\dagger Q P $，若推广至高维，则该条件可简化为一个3-SAT实例。

实验结果

研究问题

• RQ1 能否在经典计算机上高效模拟不产生量子失谐的相容量子计算？
• RQ2 在混合态量子计算中，量子失谐是否是实现超多项式量子加速的必要资源？
• RQ3 该模拟方法在多大程度上可推广至量子比特和两量子比特门之外？
• RQ4 在DQC1模型中，量子失谐扮演何种角色，尽管纠缠极少但加速仍可实现？
• RQ5 该模拟方法能否扩展以处理少量纯乘积态混合的输入态？

主要发现

• 由单量子比特或两量子比特门组成、且初始化为乘积态的相容量子计算可被经典高效模拟。
• 该模拟算法的时间复杂度相对于量子比特数和门数为多项式时间，证明了无失谐计算的经典可模拟性。
• 该方法无法推广至高维系统（如量子寄存器），因为多于两层的置换不一定是线性的，这会破坏核心的退化检查机制。
• 若将该算法直接扩展至任意门集，则意味着可高效求解3-SAT这一NP完全问题，暗示此类推广极不可能。
• 结果支持了量子失谐是混合态计算中实现量子优势的关键资源的假设，尤其是在纠缠缺失的情况下。
• 对于少量纯乘积态混合的输入态，由于低秩状态追踪，模拟仍保持高效。