[论文解读] A polynomial-time algorithm for the ground state of one-dimensional gapped Hamiltonians

Yichen Huang|arXiv (Cornell University)|Jun 24, 2014

Quantum many-body systems参考文献 31被引用 14

一句话总结

本文提出了一种确定性多项式时间算法，用于近似一维有能隙局部哈密顿量的基态，利用矩阵乘积态（MPS）表示和凸优化实现高效收敛。关键贡献在于证明了一维有能隙局部哈密顿量问题属于P类，解决了量子复杂性理论中长期悬而未决的开放问题，并超越了以往的随机化或受限（例如近乎无应力）方法。

ABSTRACT

A (deterministic) polynomial-time algorithm is proposed for approximating the ground state of (general) one-dimensional gapped Hamiltonians. Let $ε,n,η$ be the energy gap, the system size, and the desired precision, respectively. Neglecting $ε$-dependent subpolynomial (in $n$) and constant factors, the running time of the algorithm is $n^{O(1)}$ for $η=n^{-O(1)}$.

研究动机与目标

• 解决一维有能隙局部哈密顿量问题的计算复杂性，尽管已知一般一维哈密顿量为QMA完全，但该问题长期悬而未决。
• 开发一种可证明高效的确定性算法，用于近似任意一维有能隙哈密顿量的基态，不局限于无应力或近乎无应力的情形。
• 克服启发式方法（如DMRG）的局限性，这些方法缺乏收敛保证，可能陷入局部极小值。
• 证明一维有能隙哈密顿量的基态可被高效表示为矩阵乘积态（MPS），且纠缠维度有界，即使在一般情况下亦成立。
• 提供一种经典算法，可对最终为一维有能隙哈密顿量的绝热量子计算进行经典模拟，优于先前结果。

提出的方法

• 该算法采用在量子比特链上递归的动态规划方法，利用一维有能隙系统中纠缠的面积定律，限制MPS表示的纠缠维度。
• 应用凸优化计算子系统的最优密度矩阵，最小化能量，同时满足对约化密度矩阵和与候选态保真度的约束。
• 使用基数缩减技术截断每个位置的相关MPS态数量，保持多项式有界的候选态集合（支持集），并控制误差。
• 该方法引入了见证态，并通过在低秩子空间上最小化能量，识别出接近真实基态的低能态。
• 关键组件是通过将优化密度矩阵的最大特征值投影得到截断态（ϕ′_0, ϕ′_1），确保高效表示。
• 算法通过迭代细化支持集，并利用谱性质（如马尔可夫不等式）来界定候选态的能量，从而保证收敛。

实验结果

研究问题

• RQ1 能否在确定性多项式时间内近似一般一维有能隙哈密顿量的基态？
• RQ2 一维有能隙局部哈密顿量问题是否属于P类，还是需要量子优势？
• RQ3 经典算法能否在可证明的收敛性和运行时间保证方面优于启发式方法（如DMRG）？
• RQ4 是否存在常数能隙是否意味着基态可被多项式有界MPS表示？
• RQ5 能否对最终为一维有能隙哈密顿量的绝热量子计算进行高效经典模拟？

主要发现

• 在常数能隙ϵ的假设下，该算法的运行时间为n^O(1)，精度要求为η = n^−O(1)。
• 基态可由纠缠维度D = 2^{Õ(1/ϵ + ϵ^{−1/4} log^{3/4}(n/η))}的MPS近似，确保高效表示。
• 该算法证明了一维有能隙局部哈密顿量问题属于P类，解决了量子复杂性理论中长期悬而未决的开放问题。
• 该方法保证了重叠|⟨Ψ, Ψ₀⟩| ≥ 1 − η以高概率成立，其中Ψ为计算得到的MPS，Ψ₀为真实基态。
• 该算法优于先前结果，适用于一般一维有能隙哈密顿量，而不仅限于近乎无应力或交换型情况。
• 对最终为一维有能隙哈密顿量的绝热量子计算，可实现多项式时间的经典模拟，意味着在标准假设下此类系统并非BQP通用。