[论文解读] Quantum Hamiltonian complexity and the detectability lemma

Dorit Aharonov, Itai Arad+2 more|arXiv (Cornell University)|Nov 15, 2010

Quantum Computing Algorithms and Architecture参考文献 23被引用 9

一句话总结

本文提出可检测性引理作为分析无 frustration 局域哈密顿量基态的李伯-罗宾逊界之组合替代方法。它为一维面积律和在能隙系统中关联的指数衰减提供了更简单、更直观的证明，构建了一个避免分析动力学的新型量子哈密顿量复杂性计算框架，且具备推广至高维的潜力。

ABSTRACT

Quantum Hamiltonian complexity studies computational complexity aspects of local Hamiltonians and ground states; these questions can be viewed as generalizations of classical computational complexity problems related to local constraint satisfaction (such as SAT), with the additional ingredient of multi-particle entanglement. This additional ingredient of course makes generalizations of celebrated theorems such as the PCP theorem from classical to the quantum domain highly non-trivial; it also raises entirely new questions such as bounds on entanglement and correlations in ground states, and in particular area laws. We propose a simple combinatorial tool that helps to handle such questions: it is a simplified, yet more general version of the detectability lemma introduced by us in the more restricted context on quantum gap amplification a year ago. Here, we argue that this lemma is applicable in much more general contexts. We use it to provide a simplified and more combinatorial proof of Hastings' 1D area law, together with a less than 1 page proof of the decay of correlations in gapped local Hamiltonian systems in any constant dimension. We explain how the detectability lemma can replace the Lieb-Robinson bound in various other contexts, and argue that it constitutes a basic tool for the study of local Hamiltonians and their ground states in relation to various questions in quantum Hamiltonian complexity.

研究动机与目标

• 开发一种用于研究局域哈密顿量基态的组合替代方法，以取代李伯-罗宾逊界。
• 简化对能隙、无 frustration 系统中一维面积律和关联指数衰减的现有证明。
• 在原始可检测性引理陈述中去除限制性假设，增强其在量子哈密顿量复杂性中的适用性。
• 为使用纯粹的运动学、组合推理将一维结果推广至二维及更高维度提供基础。

提出的方法

• 将可检测性引理重新表述为一种不依赖于时间演化或动力学的工具，用于界定基态中的纠缠和关联。
• 通过在大小为 $\ell$ 的窗口内递归应用可检测性引理，推导出纠缠熵的界，当熵变为负数时产生矛盾。
• 应用可检测性引理构造投影算符 $P_{in}$ 和 $P_{out}$，以隔离局域可观测量对基态的因果影响。
• 使用近似 $A^\ell \approx \Pi_{gs} + e^{-\mathcal{O}(\ell)}$ 来界定 $\langle XY \rangle$ 与 $\bar{X}\bar{Y}$ 之间的差异，从而得到指数衰减。
• 证明：若在某一截面上与乘积态的内积较小，则在 $2\ell$ 窗口内的邻近截面上该内积也保持较小，使用界 $|\langle \chi_1 \otimes \chi_2 | \Omega \rangle| \leq \mu d^\ell$。
• 使用可检测性引理推导出哈斯廷斯一维面积律的新、简化证明，表明任意截面上的纠缠熵被一个常数所界定。

实验结果

研究问题

• RQ1 可检测性引理能否作为李伯-罗宾逊界在证明基态运动学性质方面的组合替代？
• RQ2 可检测性引理是否允许对无 frustration 哈密顿量中的一维面积律进行更简单、更直观的证明？
• RQ3 可检测性引理能否推广至证明二维及更高维度的面积律？
• RQ4 可检测性引理能否在不依赖动力学的情况下证明能隙、无 frustration 系统中关联的指数衰减？
• RQ5 可检测性引理产生纠缠与关联非平凡界所需的最小假设集是什么？

主要发现

• 可检测性引理为无 frustration 哈密顿量的一维面积律提供了更简单、组合的证明，表明任意截面上的纠缠熵被一个常数所界定。
• 本文给出了一篇一页纸的证明，表明在 $d$-维网格上能隙、无 frustration 哈密顿量中，关联衰减率为 $e^{-\mathcal{O}(m)}$，其中 $m$ 为可观测量之间的距离。
• 可检测性引理被推广，表明若在某一截面上与乘积态的内积较小，则在 $2\ell$ 窗口内所有截面上该内积也保持较小，其界为 $\mu d^\ell$。
• 可检测性引理被用于构造投影算符 $P_{in}$ 和 $P_{out}$，以隔离局域可观测量的因果影响，从而实现关联衰减的清晰推导。
• 该方法避免了对时间演化和傅里叶分析的依赖，为基态分析提供了一种纯粹的运动学、组合方法。
• 可检测性引理被证明足以证明面积律与关联衰减，表明其可能是量子哈密顿量复杂性中的基本工具。