[论文解读] The Parameterized Complexity of Quantum Verification

Srinivasan Arunachalam, Sergey Bravyi+2 more|arXiv (Cornell University)|Jan 1, 2022

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

该论文证明，量子电路可满足性（QCSAT）——一个典型的QMA完全问题——可以仅以非 Clifford 门（T 门）数量的指数时间进行经典求解，而非系统尺寸。论文证明，此类电路的最优量子证明态位于一个与至多 t 个量子比特同构的稳定子子空间中，从而实现一种经典算法，其运行时间为 poly(n, m, s, t) + O(δ⁻¹t²ᵗ)，当 t ≪ n 时，显著快于对完整 n 量子比特希尔伯特空间的暴力搜索。

ABSTRACT

We initiate the study of parameterized complexity of $ extsf{QMA}$ problems in terms of the number of non-Clifford gates in the problem description. We show that for the problem of parameterized quantum circuit satisfiability, there exists a classical algorithm solving the problem with a runtime scaling exponentially in the number of non-Clifford gates but only polynomially with the system size. This result follows from our main result, that for any Clifford + $t$ $T$-gate quantum circuit satisfiability problem, the search space of optimal witnesses can be reduced to a stabilizer subspace isomorphic to at most $t$ qubits (independent of the system size). Furthermore, we derive new lower bounds on the $T$-count of circuit satisfiability instances and the $T$-count of the $W$-state assuming the classical exponential time hypothesis ($ extsf{ETH}$). Lastly, we explore the parameterized complexity of the quantum non-identity check problem.

研究动机与目标

• 研究 QMA 问题的参数化复杂度，重点关注非 Clifford（T）门数量作为关键参数。
• 确定当 T 门数量较小时，量子验证问题（如 QCSAT）是否可以比暴力搜索希尔伯特空间更高效地求解。
• 建立寻找最优量子证明态的经典复杂度的上界，以及其表示所需的量子比特维度。
• 在经典指数时间假设（ETH）下，推导出 QCSAT 实例和 W 态的 T-计数的新下界。

提出的方法

• 证明对于任意 Clifford + t 个 T 门的电路，最优证明态的集合位于一个与 t 个量子比特同构的稳定子子空间中，且与系统尺寸 n 无关。
• 构建一种经典随机算法，仅在该 t 量子比特稳定子子空间中搜索，以估计验证电路的最大接受概率。
• 利用稳定子形式，通过精确估计稳定子态之间的内积，高效计算酉算符幂的迹。
• 利用低深度量子电路的光锥和局域性特性，界定局部约化密度矩阵与单位算符之间的距离。
• 应用经典指数时间假设（ETH），推导出 QCSAT 实例和 W 态所需 T-计数的下界。
• 证明当门集大小和电路深度为常数且承诺间隙为 o(1) 时，非恒等检查（NIC）问题属于 P。

实验结果

研究问题

• RQ1 当以 T 门数量为参数时，QCSAT 中最优量子证明态的搜索空间是否可以被压缩？
• RQ2 是否存在一种经典算法，使得 QCSAT 的运行时间仅随 T 门数量指数增长，而随系统尺寸多项式增长？
• RQ3 在经典指数时间假设（ETH）下，QCSAT 实例和 W 态的 T-计数下界是什么？
• RQ4 对于低深度、常数大小门集且承诺间隙为 o(1) 的情况，非恒等检查（NIC）问题是否可在多项式时间内求解？
• RQ5 Clifford + T 电路的结构如何约束最优量子证明态的几何形态？

主要发现

• 对于任意包含 t 个 T 门的 QCSAT 实例，所有最优证明态均位于一个与 t 个量子比特同构的稳定子子空间中，与总系统尺寸 n 无关。
• 一种经典随机算法可在时间 poly(n, m, s, t) + O(δ⁻¹t²ᵗ) 内求解参数化 QCSAT，以 99% 的置信度实现对最大接受概率的 (1−δ) 近似。
• 运行时间仅随 t（T 门数量）指数增长，而非随 n（证明态尺寸）增长，当 t ≪ n 时可实现显著加速。
• 在经典指数时间假设（ETH）下，任何 QCSAT 实例的 T-计数至少为 Ω(log n)，而 W 态的 T-计数为 Ω(n)。
• 当门集大小和电路深度为常数且承诺间隙为 o(1) 时，由于局域性和与单位算符的有界距离，非恒等检查（NIC）问题属于 P。
• 任何 Clifford 单位算符的幂的迹均可通过稳定子态内积估计在 poly(n) 时间内精确计算，从而实现谱范数的高效计算。