[論文レビュー] 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

ひとこと要約

この論文は、断層のない局所ハミルトニアンの基底状態を分析するためのLieb-Robinson束縛の組合せ的代替手段として検出可能性補題を導入する。ギャップのある系における1次元の面積則および相関の指数的減衰のより簡単で直感的な証明を提供し、解析的時間発展を避けることで、量子ハミルトニアン複雑性の新たな計算枠組みを提示し、高次元への一般化の可能性を秘めている。

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.

研究の動機と目的

• 局所ハミルトニアンの基底状態を研究するためのLieb-Robinson束縛の組合せ的代替手段を開発すること。
• ギャップがあり断層のない系における1次元の面積則および相関の指数的減衰の既存の証明を簡略化すること。
• 元々の検出可能性補題の記述における制限的な仮定を除去し、量子ハミルトニアン複雑性への適用可能性を高めること。
• 1次元の結果を2次元およびそれ以上の次元へ一般化するための、純粋に運動的で組合せ的な推論に基づく基盤を提供すること。

提案手法

• 時間発展や動的性に依存せずに、基底状態における量子もつれや相関を抑え込むための検出可能性補題の再定式化。
• サイズ$\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$という上限を用いて示す。
• 検出可能性補題を用いて、ハスティングスの1次元面積則の新たな簡略証明を導出し、任意のカットにおけるもつれエントロピーが定数で有界であることを示す。

実験結果

リサーチクエスチョン

• RQ1 検出可能性補題は、基底状態の運動的性質を証明するためのLieb-Robinson束縛の組合せ的代替手段として用いられるか？
• RQ2 検出可能性補題は、断層のないハミルトニアンにおける1次元面積則のより簡単で直感的な証明を可能にするか？
• RQ3 検出可能性補題は、2次元およびそれ以上の次元における面積則の証明に一般化可能か？
• RQ4 検出可能性補題は、動的性に依存せずに、ギャップがあり断層のない系における相関の指数的減衰を証明するために用いられるか？
• RQ5 検出可能性補題がもつれや相関に関する非自明な上限を導くために必要な最小限の仮定は何か？

主な発見

• 検出可能性補題は、断層のないハミルトニアンにおける1次元面積則を、より簡単で組合せ的な証明で示し、任意のカットにおけるもつれエントロピーが定数で有界であることを示している。
• この論文は、$d$次元グリッド上に存在するギャップがあり断層のないハミルトニアンにおける相関の指数的減衰を、1ページの証明で示しており、減衰率は$e^{-\mathcal{O}(m)}$（$m$は観測量間の距離）である。
• 検出可能性補題は、あるカットでの積状態との内積が小さい場合、$2\ell$ウィンドウ内のすべてのカットに対してもそれが小さいことを示すように一般化され、上限は$\mu d^\ell$である。
• 検出可能性補題を用いて、局所的観測量の因果的影響を分離する射影$P_{in}$と$P_{out}$を構築し、相関の減衰を明確に導出する。
• 時間発展やフーリエ解析に依存せず、純粋に運動的で組合せ的なアプローチを提供する。
• 検出可能性補題が面積則と相関の減衰の両方の証明に十分であることが示され、これが量子ハミルトニアン複雑性における基本的ツールである可能性を示唆している。