[论文解读] Identity check is QMA-complete

Dominik Janzing, Paweł Wocjan+1 more|arXiv (Cornell University)|May 9, 2003

Quantum Computing Algorithms and Architecture参考文献 5被引用 28

一句话总结

本文证明了判定一个量子线路是否近似等价于恒等操作这一量子问题——称为“恒等检验”——是QMA-完全的。此外，本文还确立了在共同不变子空间上检查两个量子线路等价性的更一般问题同样是QMA-完全的，通过使用量子验证与量子见证态以及算子范数分析，证明了其在QMA复杂度类中的完备性。

ABSTRACT

We define the problem identity check: Given a classical description of a quantum circuit, determine whether it is almost equivalent to the identity. Explicitly, the task is to decide whether the corresponding unitary is close to a complex multiple of the identity matrix with respect to the operator norm. We show that this problem is QMA-complete. A generalization of this problem is equivalence check: Given two descriptions of quantum circuits and a description of a common invariant subspace, decide whether the restrictions of the circuits to this subspace almost coincide. We show that equivalence check is also in QMA and hence QMA-complete.

研究动机与目标

• 定义并形式化‘恒等检验’问题：判定一个量子线路是否近似等价于恒等操作。
• 将该问题推广至‘等价检验’——验证两个量子线路在指定不变子空间上是否一致。
• 确立恒等检验与等价检验均属于量子复杂度类QMA的完备问题。
• 证明即使在由量子纠错码或退相干自由子空间定义的子空间限制下，这些问题仍保持QMA-完全性。
• 提供一种基于量子见证态的量子验证协议，以高概率确认线路等价性。

提出的方法

• 将恒等检验问题定义为：判断一个量子线路的幺正操作与恒等矩阵的全局相位之间的算子范数距离是否小于μ。
• 推广至等价检验：验证当限制在共同不变子空间V上时，两个线路Ux与Uy是否近似相等。
• 使用一个接受量子见证态的量子验证器线路，测试复合线路Ux†Uy是否接近于一个全局相位。
• 应用算子范数分析，通过本征值差异来界定幺正操作与全局相位变换集合之间的距离。
• 构造一个编码系统状态的见证态|Ψ⟩，并利用其测试线路复合是否显著偏离恒等操作。
• 利用放大技术将验证协议中的误差概率ϵ降低至任意小的值，从而在QMA框架内确保可靠性与完备性。

实验结果

研究问题

• RQ1 判定一个量子线路是否近似等价于恒等操作的问题是否为QMA-完全？
• RQ2 能否在QMA复杂度类中判定两个量子线路在共同不变子空间上的等价性？
• RQ3 量子见证态在以高置信度验证线路等价性中起什么作用？
• RQ4 幺正操作与全局相位变换集合之间的算子范数距离如何关联于线路恒等性的验证？
• RQ5 恒等检验的QMA-完全性是否可推广至涉及子空间的更一般等价问题？

主要发现

• 恒等检验问题是QMA-完全的，意味着它是QMA复杂度类中最难的问题之一。
• 等价检验问题，即判断两个线路在共同不变子空间上是否一致，同样是QMA-完全的。
• 通过使用量子见证态的量子验证器实现完备性，可高概率验证线路等价性。
• 幺正操作与全局相位变换集合之间的算子范数距离由本征相位差异界定，从而支持基于范数的验证。
• 验证协议中的误差概率ϵ可通过放大技术被降至任意小，确保了QMA验证的稳健性。
• 即使不变子空间由量子纠错码或退相干自由子空间定义，结果依然成立，表明其具有广泛适用性。