[論文レビュー] The Detectability Lemma and Quantum Gap Amplification

Dorit Aharonov, Itai Arad+2 more|ArXiv.org|Nov 20, 2008

Quantum Computing Algorithms and Architecture参考文献 22被引用数 5

ひとこと要約

本稿では、非可換な項を含む局所ハミルトニアンにおいても、基底状態エネルギーと破損制約の検出可能性を定量的に結びつける、量子アナログの検出可能ラーメンを導入する。非可換な場合を可換な場合に還元するためのXY分解を用い、拡張子に基づくハミルトニアンに対して量子ギャップ拡大ラーメンを証明することで、古典的ランダムウォークに類似した量子計算における確率拡大を可能にする。

ABSTRACT

The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive connection between the ground (minimal) energy of the Hamiltonian and the minimum number of violated constraints is problematic, since the number of constraints being violated is not well defined when the terms in the Hamiltonian do not commute. The detectability lemma proved in this paper provides precisely such a quantitative connection. We apply the lemma to derive a quantum analogue of a basic primitive in classical complexity: amplification of probabilities by random walks on expander graphs. It holds under the restriction that the interaction graph of the local Hamiltonian is an expander. Our proofs are based on a novel structure imposed on the Hilbert space that we call the $XY$ decomposition, which enables a reduction from the quantum non-commuting case to the commuting case (where many classical arguments go through). The results may have several interesting implications. First, proving a quantum analogue to the PCP theorem is one of the most important challenges in quantum complexity theory. Our quantum gap amplification lemma may be viewed as the quantum analogue of the first of the three main steps in Dinur's PCP proof. Quantum gap amplification may also be related to spectral gap amplification, and in particular, to fault tolerance of adiabatic computation. Finally, the detectability lemma, and the $XY$ decomposition provide a handle on the structure of local Hamiltonians and their ground states.

研究の動機と目的

• 非可換な局所ハミルトニアンにおける基底状態エネルギーと破損制約の数の間の明確な関係を形式化すること。
• ハミルトニアン項の非可換性による、『破損制約の数』の定義の曖昧さを解消すること。
• 拡張子グラフ上のランダムウォークによる古典的ギャップ拡大の量子アナログを、量子制約充足問題に適用可能にするものとして開発すること。
• 局所ハミルトニアンの基底状態およびスペクトル特性の解析のための構造的枠組み（XY分解を介して）を確立すること。
• 量子PCP定理の進展およびアディアバティック量子計算における耐障害性の支援を目的とする。

提案手法

• 基底状態エネルギーがゼロから離れている場合、少なくとも1つの可換項の層において、制約破損の非可視確率が非可視量以上に検出可能であることを保証する検出可能ラーメンを導入する。
• 非可換な状況から可換な状況への還元を可能にする、独創的なヒルバート空間構造であるXY分解を用いる。
• ハミルトニアンの相互作用グラフが拡張子グラフであるという条件の下で、量子ギャップ拡大結果を導出する。
• 拡張子のスぺクトルギャップ特性を活用し、ランダムウォークにおける相関の減衰を制御することで、未満たされた制約の確率の拡大を保証する。
• 固有値の境界と集中不等式を含む確率的およびスペクトル的技法を用い、拡張子上でのtステップランダムウォークの挙動を分析する。
• 層数g、ウォーク長t、スぺクトルギャップパラメータλを含む不等式を用いて、拡大の十分条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 非可換な局所ハミルトニアン項を含む量子系において、制約破損の意味的で定量的な測度を定義することは可能か？
• RQ2 古典的ギャップ拡大に類似した、未満たされた制約の検出確率を量子制約充足問題で拡大することは可能か？
• RQ3 局所ハミルトニアン項の非可換性をどのように克服すれば、基底状態のスペクトル的および構造的解析が可能になるか？
• RQ4 拡張子や限定された相互作用次数といった、局所ハミルトニアンのどのような構造的性質が量子ギャップ拡大を可能にするか？
• RQ5 検出可能ラーメンは、ディヌールの古典的証明に類似した量子PCP定理の基盤として機能できるか？

主な発見

• 検出可能ラーメンにより、相互作用次数が有界で有限の基底状態エネルギーε₀をもつ任意の局所ハミルトニアンに対して、可換項の層のうち、1つ以上の破損制約が検出される確率が、系のサイズに依存しないΩ(ε₀)以上に保証される。
• 相互作用グラフが拡張子である場合、量子ギャップ拡大ラーメンが成立し、tステップランダムウォークを用いて未満たされた制約の確率を拡大可能であり、拡大要因はスぺクトルギャップに依存する関数で下限づけられる。
• XY分解は、ヒルバート空間の構造的分解を提供し、非可換問題を可換な部分空間に分離することで還元を可能にする。
• 任意の固定されたε₀ > 0と定数個の層数gに対して、ある層でℓ以上の破損が検出される確率は、ℓが正規化された基底状態エネルギーの下で線形にε₀に比例する。
• 拡大要因F(x) = tx / (1 + tx + 2/(1−λ))は、初期の未満たし割合xが小さい場合、tがスぺクトルギャップλに適切に選ばれていれば、拡大後の割合がゼロから離れていることを保証する。
• 拡大の十分条件は、パラメータr > 3、g、k、θを含み、不等式(2g+1)log(r)/r + (4g + 2g²log(k))/r < log(1/θ)が十分に大きなrに対して成り立つと、拡大が保証される。