基于绝热演化的量子计算

我们给出了一种基于绝热演化的量子算法，用于求解可满足性问题的实例。量子态的演化由含时哈密顿量支配，该哈密顿量在初始哈密顿量（其基态易于构造）与最终哈密顿量（其基态编码满足赋值）之间插值。为确保系统演化到所需的最终基态，演化时间必须足够大。所需时间取决于插值哈密顿量两个最低能级之间的最小能量差。我们通常无法估计该能隙。我们给出了可满足性问题的若干特殊对称情形，其中对称性使我们能够估计能隙，并表明在这些情形下我们的算法在多项式时间内运行。