[论文解读] A polynomial-time algorithm for the ground state of 1D gapped local Hamiltonians

Zeph Landau, Umesh Vazirani+1 more|arXiv (Cornell University)|Jul 19, 2013

Quantum many-body systems参考文献 16被引用 23

一句话总结

该论文提出了首个用于近似一维有能隙局部哈密顿量基态的多项式时间随机算法。通过结合凸优化、矩阵乘积态（MPS）结构以及一种新颖的近似基态投影（AGSP）技术，该算法高效地计算出与真实基态具有反多项式保真度的MPS近似，从而解决了量子多体物理中长期悬而未决的开放问题。

ABSTRACT

Computing ground states of local Hamiltonians is a fundamental problem in condensed matter physics. We give the first randomized polynomial-time algorithm for finding ground states of gapped one-dimensional Hamiltonians: it outputs an (inverse-polynomial) approximation, expressed as a matrix product state (MPS) of polynomial bond dimension. The algorithm combines many ingredients, including recently discovered structural features of gapped 1D systems, convex programming, insights from classical algorithms for 1D satisfiability, and new techniques for manipulating and bounding the complexity of MPS. Our result provides one of the first major classes of Hamiltonians for which computing ground states is provably tractable despite the exponential nature of the objects involved.

研究动机与目标

• 解决经典计算机是否能高效近似一维有能隙局部哈密顿量的基态，尽管其希尔伯特空间呈指数增长。
• 调和DMRG在实践中的成功与一维系统QMA完全性之间的理论矛盾。
• 提供一个可证明高效的算法，用于计算具有反多项式保真度的MPS形式基态近似。
• 证明有能隙的一维系统位于希尔伯特空间的一个可处理区域，支持高效的经典模拟。

提出的方法

• 该算法使用凸优化框架最小化密度矩阵的能量，受限于一个多项式维子空间。
• 通过迭代步骤构建可行状态集合：扩展、尺寸剪枝、键剪枝和误差减少，每一步均保持关键参数的多项式有界性。
• 设计了一种新颖的AGSP（近似基态投影），在保持多项式键维数和各截面的施密特秩的同时减少误差。
• 该算法利用哈斯廷斯面积律的结构性结果以及AGSP构造的最新进展，对纠缠和MPS复杂度进行约束。
• 采用矩阵乘法权重和维数约减技术，高效求解凸规划问题。
• 最终状态作为优化后密度矩阵的主特征向量提取，确保与真实基态具有高重叠。

实验结果

研究问题

• RQ1 一维有能隙局部哈密顿量的基态是否可在经典计算机上以多项式时间计算？
• RQ2 DMRG在实践中的成功是否源于有能隙一维系统更深层次的结构性特征？
• RQ3 是否存在一个可证明高效的算法，利用多项式键维数的矩阵乘积态近似基态？
• RQ4 仅凭谱能隙条件结合纠缠界，是否足以实现基态近似的时间多项式算法？
• RQ5 近似基态投影（AGSP）在实现有能隙一维系统高效经典模拟中起到何种作用？

主要发现

• 该算法运行时间为 n^{c(d,ε)} poly(n/η)，其中 c(d,ε) = 2^{O(log³d / ε)}，以高概率返回与真实基态保真度至少为 1−η 的MPS近似。
• 该算法在多项式时间内实现反多项式保真度（1−η），且键维数在n的多项式范围内有界。
• 通过迭代步骤构建可行集，确保任意截面的施密特秩保持多项式有界。
• 误差减少步骤可修改为实现保真度 1−1/p(n)（对任意固定多项式 p(n)），能量至多为 ε₀ + 1/p(n)。
• 该方法依赖一种新型AGSP构造，其结构比以往构造更简单，但足以实现误差减少，与早期为面积律证明而设计的AGSP不同。
• 结果表明，有能隙的一维系统可通过MPS实现简洁的经典描述，支持存在一个可处理的量子系统子类，可进行经典模拟。