[论文解读] Linear time algorithm for quantum 2SAT

Itai Arad, Miklós Sántha+2 more|arXiv (Cornell University)|Aug 26, 2015

Quantum Computing Algorithms and Architecture参考文献 16被引用 3

一句话总结

本文提出了一种确定性线性时间算法来解决量子2-SAT问题，时间复杂度为 O(n + m)，其中 n 为量子比特数量，m 为两量子比特投影算符数量。该算法通过引入乘积态定理和考虑纠缠的路径传播与约束滑动机制，将经典的Davis-Putnam方法推广至量子场景，通过利用无 frustration 结构和高效的图遍历与动态路径压缩，实现了最优时间复杂度。

ABSTRACT

A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $Π_{ij}$ on a system of $n$ qubits, and the task is to decide whether the Hamiltonian $H=\sum Π_{ij}$ has a 0-eigenvalue, or it is larger than $1/n^α$ for some $α=O(1)$. The problem is not only a natural extension of the classical 2-SAT problem to the quantum case, but is also equivalent to the problem of finding the ground state of 2-local frustration-free Hamiltonians of spin $\frac{1}{2}$, a well-studied model believed to capture certain key properties in modern condensed matter physics. While Bravyi has shown that the quantum 2-SAT problem has a classical polynomial-time algorithm, the running time of his algorithm is $O(n^4)$. In this paper we give a classical algorithm with linear running time in the number of local projectors, therefore achieving the best possible complexity.

研究动机与目标

• 开发一种具有最优线性时间复杂度的量子2-SAT问题经典算法。
• 弥合已知的多项式时间解法（O(n⁴)）与量子2-SAT理论下限之间的差距。
• 为仅含秩-1与秩-2投影算符的无 frustration 量子2-SAT实例建立结构化乘积态定理。
• 实现在自旋-1/2 系统的两体局部、无 frustration 哈密顿量中高效地面态检测。
• 在保持线性时间性能的前提下，将经典2-SAT求解技术推广至量子场景。

提出的方法

• 提出一个乘积态定理，证明任意仅含秩-1与秩-2投影算符的无 frustration 量子2-SAT实例均存在一个由单量子比特态张量积构成的基态。
• 通过在量子场景中测试量子比特上的候选赋值并沿相互作用图传播约束，将Davis-Putnam消解策略适配至量子设置。
• 采用一种新颖的路径传播机制，通过检测冲突路径识别矛盾，并应用滑动引理将多边路径替换为直接的两量子比特约束。
• 迭代应用滑动引理，将纠缠路径坍缩为等价的直接投影算符，保持基态空间不变并支持高效传播。
• 实现一种带有动态图收缩的递归算法：在成功传播后，将已探索子图分离，并在剩余系统上递归处理。
• 采用封闭态追踪机制以确保一致性，并通过并行传播路径中的矛盾检测不满足性。

实验结果

研究问题

• RQ1 量子2-SAT问题是否可在线性时间内求解，与最优经典2-SAT算法保持一致？
• RQ2 每个仅含秩-1与秩-2投影算符的无 frustration 量子2-SAT实例是否都存在乘积态基态？
• RQ3 在约束传播中如何高效处理量子纠缠而不引起指数爆炸？
• RQ4 能否优化量子2-SAT中的基于路径的约束传播，使其复杂度呈 telescoping（嵌套）形式并按边集求和？
• RQ5 在相互作用图中是否可将多边路径替换为等价的直接两量子比特投影算符，同时保持基态空间不变？

主要发现

• 本文建立了乘积态定理：对于任意仅由秩-1与秩-2投影算符构成的无 frustration 量子2-SAT实例，均存在一个由单量子比特态张量积构成的基态。
• 所提出的算法时间复杂度为 O(n + m)，其中 n 为量子比特数量，m 为局部投影算符数量，实现了最优线性复杂度。
• 该算法使用一种新颖的滑动引理，将纠缠约束路径替换为等价的直接两量子比特投影算符，保持基态空间不变并支持高效传播。
• 通过冲突路径结果检测传播中的矛盾，当所有路径均无一致赋值时确认不满足性。
• 算法复杂度被证明在边集上呈 telescoping 形式，总和为 O(|E|)，这是由于传播路径的高效复用与动态图收缩机制。
• 该算法能正确识别无 frustration 实例，并在时间复杂度 O(n + m) 内返回有效的乘积态基态赋值，优于先前的 O(n⁴) 上限。