[论文解读] Efficient algorithm for a quantum analogue of 2-SAT

Sergey Bravyi|arXiv (Cornell University)|Feb 14, 2006

graph theory and CDMA systems被引用 13

一句话总结

本文提出了一种经典的多项式时间算法来求解量子2-归约满足性问题（quantum 2-SAT），该问题旨在判断是否存在一个n量子比特的量子态，使得其所有两量子比特约化密度矩阵均与指定的子空间正交。该算法通过局部一致性规则推广了经典2-SAT求解器，并证明了量子2-SAT可高效求解，而当k ≥ 4时，量子k-SAT为具有单边错误的QMA完全问题。

ABSTRACT

Complexity of a quantum analogue of the satisfiability problem is studied. Quantum k-SAT is a problem of verifying whether there exists n-qubit pure state such that its k-qubit reduced density matrices have support on prescribed subspaces. We present a classical algorithm solving quantum 2-SAT in a polynomial time. It generalizes the well-known algorithm for the classical 2-SAT. Besides, we show that for any k>=4 quantum k-SAT is complete in the complexity class QMA with one-sided error.

研究动机与目标

• 以约化密度矩阵上的约束为依据，定义经典2-SAT问题的量子类比。
• 确定量子2-SAT是否可被多项式时间经典算法求解，从而推广经典2-SAT算法。
• 确定当k ≥ 4时，量子k-SAT的计算复杂度，特别是其在具有单边错误的QMA中的完备性。
• 提供一种基于局部对称性与不变性原理，从已有约束生成新约束的构造性方法。

提出的方法

• 将量子2-SAT定义为寻找一个n量子比特态|Ψ⟩的问题，使得对所有两量子比特投影算符Π_{a,b}作用于禁止子空间时，均有Π_{a,b}|Ψ⟩ = 0。
• 引入引理1，该引理允许通过在量子比特交换下保持局部不变性，从已有约束推导出新的两量子比特约束。
• 采用一种归纳算法，通过逐个消除一个量子比特，将n量子比特问题逐步简化为(n−1)量子比特问题。
• 从一个量子电路构造哈密顿量H = H_init + H_clock + H_prop + H_out，以证明量子4-SAT的QMA完全性。
• 证明该哈密顿量的基态能量为零，当且仅当原始量子电路以概率1接受输入。
• 使用Kitaev-Vidick构造方法，对否定实例的基态能量进行下界估计，确保存在一个多项式级别的能量间隙。

实验结果

研究问题

• RQ1 是否存在一种多项式时间经典算法来求解量子2-SAT，类似于经典2-SAT的线性时间算法？
• RQ2 当k ≥ 4时，量子k-SAT的计算复杂度如何？它是否属于具有单边错误的QMA？
• RQ3 能否通过局部对称性与不变性原理，从已有约束推导出新的两量子比特约束？
• RQ4 当约束通过投影算符定义于任意两量子比特态时，量子2-SAT问题是否仍可高效求解？
• RQ5 能否将一个量子电路的接受行为编码进一个局部哈密顿量中，使得其基态能量为零当且仅当该电路以概率1接受？

主要发现

• 量子2-SAT可通过基于局部约束传播的归纳算法在经典多项式时间内求解。
• 该算法通过引理1推广了经典2-SAT求解器，利用在量子比特交换下的不变性，从已有约束生成新约束。
• 当k ≥ 4时，量子k-SAT为具有单边错误的QMA完全问题，确立了计算复杂度的精确分界点。
• 所构造哈密顿量的基态能量为零，当且仅当输入量子电路以概率1接受。
• 对于否定实例，基态能量被下界限制在1/q(|x|)以内，其中q为某个多项式，确保了非可忽略的能量间隙。
• 该构造使用时钟寄存器和4-体投影算符来编码电路演化过程，且整个哈密顿量可表示为4-量子比特投影算符之和。