[论文解读] Bounds on the quantum satisfiability threshold

Sergey Bravyi, Cristopher Moore+1 more|arXiv (Cornell University)|Jul 7, 2009

Quantum Computing Algorithms and Architecture参考文献 8被引用 9

一句话总结

该论文通过超图的部件化分解与微分方程分析，建立了随机量子3-SAT公式量子可满足性阈值的上界为3.594，计算了满足子空间的通用秩。此外，对于所有 $k \geq 4$，该研究证明了量子阈值严格小于经典阈值，其上界为 $2^k b$，其中 $b \approx 0.573$，表明经典与量子 $k$-SAT 在相变行为上存在根本性差异。

ABSTRACT

Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivalently, the problem is to decide whether a particular type of local Hamiltonian has a ground state with zero energy. We consider random quantum k-SAT formulas with n variables and m = αn clauses, and ask at what value of αthese formulas cease to be satisfiable. We show that the threshold for random quantum 3-SAT is at most 3.594. For comparison, convincing arguments from statistical physics suggest that the classical 3-SAT threshold is α\approx 4.267. For larger k, we show that the quantum threshold is a constant factor smaller than the classical one. Our bounds work by determining the generic rank of the satisfying subspace for certain gadgets, and then using the technique of differential equations to analyze various algorithms that partition the hypergraph into a collection of these gadgets. Our use of differential equation to establish upper bounds on a satisfiability threshold appears to be novel, and our techniques may apply to various classical problems as well.

研究动机与目标

• 确定随机量子 $k$-SAT 公式从可满足变为不可满足的概率趋于1的阈值密度 $\alpha_c^q$。
• 为 $k \geq 3$ 的量子 $k$-SAT 阈值建立严格的上界，尤其针对 $k=3$ 和一般 $k$ 的情况。
• 将量子阈值与经典 $k$-SAT 阈值进行比较，证明当 $k \geq 4$ 时，量子阈值严格更小。
• 通过将超图分解为结构部件（gadgets）的方法，分析随机量子 $k$-SAT 公式中满足子空间的通用秩 $R_{\rm sat}^{\rm gen}$。
• 开发一种通过将微分方程应用于随机超图中的度分布来界定通用秩的方法。

提出的方法

• 将随机 $k$-均匀超图划分为结构部件（如荷包花与花束），从而实现对满足子空间通用秩 $R_{\rm sat}^{\rm gen}$ 的精确计算。
• 使用配置模型对超图的度分布进行条件化，并通过一组耦合的微分方程对随机图过程进行建模。
• 通过公式 $R_{\rm sat}^{\rm gen} \leq 2^n \left(1 - \frac{1}{2^{k-1}}\right)^m \prod_d \left(\frac{d}{2^k - 2} + 1\right)^{n_d}$ 计算满足子空间的通用秩，其中 $n_d$ 表示度为 $d$ 的顶点数量。
• 应用詹森不等式对秩表达式的对数期望进行界定，将其简化为平均度 $\alpha$ 的函数。
• 通过令对数秩表达式为零并求解 $\alpha$，推导出 $\alpha$ 的上界，得到 $\alpha \leq 2^k b$，其中 $b \approx 0.573$ 满足方程 $\ln 2 - 2b + \ln(b+1) = 0$。
• 利用 $\ln(1-x)$ 的泰勒展开分析渐近行为，确认当 $k$ 较大时 $\alpha_c^q < \alpha_c$，因为 $b < \ln 2$。

实验结果

研究问题

• RQ1 对于 $m = \alpha n$ 个子句的随机公式，量子3-SAT阈值 $\alpha_c^q$ 的上界是多少？
• RQ2 对于 $k \geq 4$，量子 $k$-SAT 阈值 $\alpha_c^q$ 与经典 $k$-SAT 阈值 $\alpha_c$ 相比如何？
• RQ3 能否通过将超图分解为部件（gadgets）的方法，在随机量子 $k$-SAT 公式中界定满足子空间的通用秩 $R_{\rm sat}^{\rm gen}$？
• RQ4 量子 $k$-SAT 阈值是否与 $2^k$ 成正比？若是，其渐近常数 $b = \lim_{k \to \infty} \alpha_c^q / 2^k$ 是多少？
• RQ5 超图中是否存在非退化的2-核，可用于推导出 $\alpha_c^q$ 的非平凡下界？

主要发现

• 量子3-SAT阈值至多为 $\alpha_c^q \leq 3.594$，远低于经典3-SAT阈值约4.267。
• 对于一般 $k \geq 4$，量子 $k$-SAT 阈值的上界为 $\alpha_c^q \leq 2^k b$，其中 $b \approx 0.573$ 是方程 $\ln 2 - 2b + \ln(b+1) = 0$ 的唯一正根。
• 由于 $b < \ln 2$，量子阈值的增长速度严格慢于经典阈值（其渐近形式为 $2^k \ln 2$），这意味着对所有 $k \geq 6$，有 $\alpha_c^q / \alpha_c < 1$。
• 对量子3-SAT的3.594上界优于早期结果，该结果通过引入荷包花与花束部件并结合度优先策略的精细化分解方法得出。
• 由于向量分量的代数独立性，满足子空间的通用秩 $R_{\rm sat}^{\rm gen}$ 几乎必然等于随机子句向量的实际秩。
• 该方法表明，当使用定理6的改进界时，对于 $k \geq 5$，量子阈值严格小于经典阈值；当使用定理8的一般界时，对于 $k \geq 6$ 同样成立。