[论文解读] Instantaneous Non-Local Computation of Low T-Depth Quantum Circuits

Speelman, Florian|arXiv (Cornell University)|Jul 1, 1998

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

一句话总结

本文提出了量子计算的海森堡表象，使得仅由 Clifford 群门和 Pauli 群测量组成的量子电路能够实现高效的经典模拟。通过追踪 Pauli 算符的演化而非完整的态矢量，该方法将计算复杂度从指数时间降低至多项式时间，证明此类电路可在经典计算机上被完美模拟——这表明量子优势仅在使用非 Clifford 门时才会出现。

ABSTRACT

Instantaneous non-local quantum computation requires multiple parties to jointly perform a quantum operation, using pre-shared entanglement and a single round of simultaneous communication. We study this task for its close connection to position-based quantum cryptography, but it also has natural applications in the context of foundations of quantum physics and in distributed computing. The best known general construction for instantaneous non-local quantum computation requires a pre-shared state which is exponentially large in the number of qubits involved in the operation, while efficient constructions are known for very specific cases only. We partially close this gap by presenting new schemes for efficient instantaneous non-local computation of several classes of quantum circuits, using the Clifford+T gate set. Our main result is a protocol which uses entanglement exponential in the T-depth of a quantum circuit, able to perform non-local computation of quantum circuits with a (poly-)logarithmic number of layers of T gates with quasi-polynomial entanglement. Our proofs combine ideas from blind and delegated quantum computation with the garden-hose model, a combinatorial model of communication complexity which was recently introduced as a tool for studying certain schemes for quantum position verification. As an application of our results, we also present an efficient attack on a recently-proposed scheme for position verification by Chakraborty and Leverrier.

研究动机与目标

• 开发一种形式化方法，通过追踪算符演化而非态演化来简化量子电路的分析。
• 证明仅由 Clifford 群门和 Pauli 群测量组成的电路可在经典计算机上高效模拟。
• 明确经典可模拟量子计算与需要通用量子优势的计算之间的边界。
• 提供一种系统化方法，用于通过算符演化分析量子协议（如量子隐形传态和纠错）

提出的方法

• 采用海森堡绘景，其中算符通过共轭作用在幺正变换下演化：N → UNU†。
• 使用 Pauli 群作为追踪算符演化的基，因其在 Clifford 群操作下保持封闭性。
• 通过每个 qubit 的 2n 个 X 和 Z 算符来表示演化，每个算符以 2n+1 位编码。
• 应用 Clifford 群门（Hadamard、相位、CNOT）根据已知变换规则更新 Pauli 算符。
• 通过更新稳定子群处理测量：测量算符 A，若结果为 -1 则应用校正，并通过与反对易的稳定子元素相乘来更新所有非对易算符。
• 使用稳定子形式化方法追踪逻辑操作，并模拟如量子隐形传态和远程 CNOT 等协议。

实验结果

研究问题

• RQ1 仅由 Clifford 群门和 Pauli 群测量组成的量子电路是否可在经典计算机上高效模拟？
• RQ2 与态矢量演化相比，海森堡表象如何简化量子电路的分析？
• RQ3 稳定子形式化在实现量子纠错码高效模拟中起到什么作用？
• RQ4 能否通过海森堡绘景中的算符演化完全分析和验证量子隐形传态与远程门操作？
• RQ5 经典可模拟量子电路与需要通用量子优势的电路之间的计算边界是什么？

主要发现

• 仅由 Clifford 群门和 Pauli 群测量组成的电路可在经典计算机上以多项式时间模拟，此结论由 Knill 定理证明。
• 海森堡表象通过仅追踪 2n 个 Pauli 算符，将 n 量子比特电路的分析复杂度从指数时间降低至关于 n 的多项式时间。
• 稳定子形式化可精确追踪稳定子码中的量子态，从而实现量子纠错的高效模拟。
• 量子隐形传态和远程 CNOT 操作可完全通过海森堡表象分析和验证，测量结果决定校正操作。
• 该方法确认，量子计算中的量子优势仅在使用非 Clifford 门（如 T 门）时出现，因为仅含 Clifford 门的电路是经典可模拟的。