[论文解读] Non-Identity Check Remains QMA-Complete for Short Circuits

Zhengfeng Ji, Xiaodi Wu|ArXiv.org|Jun 30, 2009

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

一句话总结

本文证明，只要每个门以 Ω(log n) 位精度指定，非同一性检测问题在常数深度量子线路中仍保持 QMA-完全性。通过从一维局部哈密顿量问题进行约化，并利用 Solovay-Kitaev 定理，作者表明当使用通用门集时，该问题在多项式对数深度和对数深度线路中仍保持 QMA-完全性，从而确立了短深度量子计算的基本困难极限。

ABSTRACT

The Non-Identity Check problem asks whether a given a quantum circuit is far away from the identity or not. It is well known that this problem is QMA-Complete \cite{JWB05}. In this note, it is shown that the Non-Identity Check problem remains QMA-Complete for circuits of short depth. Specifically, we prove that for constant depth quantum circuit in which each gate is given to at least $Ω(\log n)$ bits of precision, the Non-Identity Check problem is QMA-Complete. It also follows that the hardness of the problem remains for polylogarithmic depth circuit consisting of only gates from any universal gate set and for logarithmic depth circuit using some specific universal gate set.

研究动机与目标

• 确定非同一性检测问题在有界或短深度量子线路中是否仍保持 QMA-完全性。
• 研究门精度和通用门集限制对非同一性检测问题复杂性的影响。
• 将已知的 QMA-完全性结果从一般线路扩展到短深度量子线路这一物理相关的范畴。
• 证明非同一性检测的困难性在电路深度约束和门集限制下具有鲁棒性。

提出的方法

• 将已知为 QMA-完全的一维局部哈密顿量问题约化为常数深度量子线路中的非同一性检测问题。
• 使用 Trotter 近似构造一个酉线路 $ U_H = e^{iH_{\text{even}}t}e^{iH_{\text{odd}}t} $，以实现常数深度的时间演化模拟。
• 通过谱分析和本征求精范围的论证，将哈密顿量问题的承诺间隙与线路的相位范围 $ \alpha(U_H) $ 关联起来。
• 应用 Solovay-Kitaev 定理，将任意门近似为有限通用门集中的门，确保误差界保持在逆多项式间隙范围内。
• 通过门误差的迹范数界定相位范围 $ \alpha $ 中的总误差，表明其仍小于阈值间隙。
• 证明在门近似下，非同一性检测问题的承诺间隙得以保持，从而维持 QMA-完全性。

实验结果

研究问题

• RQ1 当非同一性检测问题被限制在常数深度量子线路时，是否仍保持 QMA-完全性？
• RQ2 在短深度线路中，保持 QMA-完全性所需的门精度水平是什么？
• RQ3 能否使用有限通用门集，将非同一性检测的 QMA-完全性扩展到多项式对数深度或对数深度线路？
• RQ4 门近似误差如何影响非同一性检测问题中的相位范围和承诺间隙？
• RQ5 在有限门精度和固定通用门集等物理约束下，非同一性检测的困难性是否具有鲁棒性？

主要发现

• 当每个门以 Ω(log n) 位精度指定时，非同一性检测问题在常数深度量子线路中为 QMA-完全。
• 对于由任意有限通用门集构成的线路，当电路深度为 O(log^δ(n)) 且 δ ≈ 3 时，该问题仍保持 QMA-完全性。
• 存在某一特定通用门集，使得非同一性检测问题在对数深度线路中仍为 QMA-完全。
• 从一维局部哈密顿量问题到非同一性检测问题的约化保持了承诺间隙，并在常数深度约束下维持了 QMA-完全性。
• 通过 Solovay-Kitaev 定理界定的门近似误差不会关闭承诺间隙，确保即使在有限门集下问题仍保持困难。
• 线路相位范围 $ \alpha $ 中的总误差被限制为 π 倍门误差范数之和，该和可被控制在小于逆多项式承诺间隙的范围内。