[论文解读] Explicit lower bounds on strong simulation of quantum circuits in terms of $T$-gate count

Cupjin Huang, Michael Newman+1 more|arXiv (Cornell University)|Feb 13, 2019

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

一句话总结

本文通过将3-SAT归约至量子电路模拟，建立了对Clifford+T量子电路进行强模拟所需经典时间的显式下界。研究表明，若经典模拟器能在O(2^{2.2451×10^{-8}N})时间内解决此类电路的非零振幅问题（其中N为T门数量），则其性能将超越目前已知的3-SAT求解器，从而在指数时间假设（Exponential Time Hypothesis）下引发经典复杂性理论的突破。

ABSTRACT

We investigate Clifford+$T$ quantum circuits with a small number of $T$-gates. Using the sparsification lemma, we identify time complexity lower bounds in terms of $T$-gate count below which a strong simulator would improve on the state-of-the-art $3$-SAT solving.

研究动机与目标

• 建立Clifford+T量子电路强模拟的显式经典时间下界。
• 在指数时间假设（ETH）下，将量子电路模拟的效率与求解3-SAT的难度联系起来。
• 提供定量界限，表明任何针对T-门计数有界的电路的快速经典模拟器都将意味着3-SAT求解的突破。
• 通过显式常数优化稀疏化引理（Sparsification Lemma），实现从3-SAT到量子电路模拟的精确归约。

提出的方法

• 将3-SAT实例归约为Clifford+T量子电路，使得电路输出振幅非零当且仅当公式可满足。
• 使用稀疏化引理将含有n个变量的3-SAT实例转换为长度与n成比例的稀疏实例列表，同时保持可满足性不变。
• 采用基于递归花形结构（sunflower-based）的归约方法，以参数θ₁和θ₂控制生成的稀疏子实例数量，实现最小化指数增长。
• 应用稀疏化引理中的显式常数，将量子电路中的T门计数N与3-SAT公式的长度L建立关联。
• 通过组合所有归约后电路的模拟构建经典3-SAT求解器，其运行时间依赖于T门计数与子实例数量。
• 利用T门计数与3-SAT公式长度之间的逆关系，推导出模拟时间的下界。

实验结果

研究问题

• RQ1 在不违反指数时间假设的前提下，能否以T门数量的亚指数时间完成Clifford+T电路的强模拟？
• RQ2 模拟时间中的何种显式常数将意味着3-SAT求解的突破？
• RQ3 如何结合显式常数应用稀疏化引理，将3-SAT归约为量子电路模拟？
• RQ4 在何种最小T门计数下，经典模拟器将超越目前已知的最佳3-SAT求解器？

主要发现

• 在指数时间假设下，任何对具有N个T门的Clifford+T电路进行强模拟的模拟器，其运行时间至少为2^{εN}，其中ε > 0。
• 若经典模拟器能在O(2^{2.2451×10^{-8}N})时间内解决N个T门的非零振幅问题，则其对3-SAT的运行时间可达到O(1.3^n)，其中m = poly(n)为子句数。
• 采用优化参数θ₁ = 109.395与θ₂ = 58367.2的稀疏化引理，可生成大小至多为2^{γ(θ₁,θ₂)n}的子实例列表，其中γ(θ₁,θ₂) ≤ 4θ₁H(1/(4θ₁²) + 1/θ₂)。
• 所推导的3-SAT求解器的总运行时间被限制在2^{3.1432×10^{-7}(η(θ₁,θ₂) + γ(θ₁,θ₂))n}以内，该值为o(1.3^n)，因此优于当前最佳的3-SAT求解器。
• 从3-SAT到量子电路模拟的归约确保电路中Toffoli门的数量至多为2L，其中L为3-SAT公式的长度。
• 该构造保证量子电路将3-SAT公式的真值作为受控输出进行计算，从而使模拟器能够检测非零振幅。