[論文レビュー] 3-Local Hamiltonian is QMA-complete

Julia Kempe, Oded Regev|ArXiv.org|Feb 10, 2003

Advanced Algebra and Geometry参考文献 2被引用数 20

ひとこと要約

この論文は、3局所ハミルトニアン問題がQMA完全であることを証明しており、キタエフの元々の5局所結果からQMA完全性に必要な局所性を低減している。量子検証者ハミルトニアンを構築することで、量子回路の計算を3局所相互作用構造に埋め込むことにより、著者たちは3局所ハミルトニアンの基底状態エネルギー問題が、量子メルリン＝アーサー証明系の全パワーを捉えられることを示している。

ABSTRACT

It has been shown by Kitaev that the 5-local Hamiltonian problem is QMA-complete. Here we reduce the locality of the problem by showing that 3-local Hamiltonian is already QMA-complete.

研究の動機と目的

• 局所ハミルトニアン問題におけるQMA完全性の最小局所性を特定することで、古典的・量子的複雑性のギャップを埋めること。
• 3局所ハミルトニアンがQMAの全表現的パワーを捉えるのに十分であることを示し、キタエフの5局所構成を改善すること。
• 任意のQMA問題を3局所ハミルトニアンインスタンスに構成的還元し、プロミスギャップと量子検証構造を保つこと。
• 局所性を3に低減させてもQMA完全性を維持できることを示し、量子制約充足の複雑性理論的理解を強化すること。
• 2局所の場合を未解決のまま残し、完全性を達成するには高次元クーディットまたは異なるアプローチを必要とすることが示唆される。

提案手法

• QMA問題のための量子回路検証者を構築し、クロック状態と計算履歴状態を用いてその計算をハミルトニアンに埋め込む。
• 3局所ハミルトニアン $ H = H_{clock} + H_{comp} $ を定義し、$ H_{clock} $ は正当なクロック進化を強制し、$ H_{comp} $ は正しいゲート適用および入力/出力条件を強制する。
• 合法な計算履歴空間 $ \Pi $ への射影を用いてハミルトニアンを合法状態に制限し、正当な計算経路のみがエネルギーに寄与することを保証する。
• $ H_{comp} $ の作用素ノルムを $ O(T) $ で抑え、$ T $ を回路サイズとして、不正な状態に顕著な振幅を持つ状態は高エネルギーを持つことを示す。
• スペクトル解析と伝搬項の構造を用いて、合法部分空間内の任意の状態について $ H_{comp} $ のエネルギーが $ \Omega(1/T^3) $ 以上であることを証明する。
• 元のQMAインスタンスに有効なウィtnessが存在する場合に限り、基底状態エネルギーが閾値 $ a $ 未満になることを示し、QMA完全性還元を完了する。

実験結果

リサーチクエスチョン

• RQ1 3局所ハミルトニアン問題はQMA完全であるか、それとも5局所がQMA完全性に必要な最小局所性か？
• RQ2 キタエフのQMA完全性構成におけるハミルトニアンの局所性を5から3に低減させても完全性を失わないか？
• RQ3 量子回路およびそのエネルギー分布のどのような構造的性質が、量子計算の3局所符号化を可能にするか？
• RQ4 2局所ハミルトニアン問題はQMA完全のままか、それとも3局所より弱いか？
• RQ5 QMA完全性は、2局所完全性を達成するために、qubitのみで確立可能か、それとも高次元系が必要か？

主な発見

• 3局所ハミルトニアン問題はQMA完全であり、3体相互作用のみで量子制約充足が、量子インタラクティブ証明系の全パワーを捉えることを確立した。
• 還元により、基底状態エネルギーが閾値 $ a $ 未満である3局所ハミルトニアンが構築され、その場合に限り、高い確率で検証回路を満たす量子ウィtnessが存在する。
• yesインスタンスとnoインスタンスの間のエネルギーギャップは入力サイズの逆多項式であり、$ b - a > 1/poly(n) $ を満たすプロミス問題の要件を満たす。
• クロックレジスタと計算履歴状態を用いて、量子回路の進化を符号化し、3局所項がゲート適用、クロック進行、初期化/終了を強制する。
• 不正部分空間（例えば、不正なクロック状態や誤ったゲート列）に顕著な振幅を持つ任意の状態は、エネルギーが少なくとも $ \Omega(T^{12}) $ に達し、$ O(T) $ の計算ハミルトニアンのノルムを上回る。
• 解析により、全ハミルトニアンの最小エネルギーは合法状態で $ \Omega(1/T^3) $ であり、これは0から離れており、yesとnoインスタンスを区別するのに十分である。