[論文レビュー] Commutative version of the k-local Hamiltonian problem and common eigenspace problem

Sergey Bravyi, M. Vyalyi|ArXiv.org|Aug 4, 2003

Spectral Theory in Mathematical Physics参考文献 16被引用数 16

ひとこと要約

この論文は、可換な局所ハミルトニアンおよび分解可能射影子に対して、共通固有空間（CES）問題の量子複雑性を調査し、特定のケース（例：k-局所でk=2、d=2）において、問題がNPに属することを示している。分解可能射影子のCES問題は、ゼロ固有値およびランク1射影子を持つ特別なケースに還元可能であり、Kochen-Speckerのコンテキスチュアルティに関連する病理的構成が一般の還元を妨げるため、特別なケースを超えたNP包含の構造的障壁を特定している。

ABSTRACT

We study the complexity of a problem "Common Eigenspace" -- verifying consistency of eigenvalue equations for composite quantum systems. The input of the problem is a family of pairwise commuting Hermitian operators H_1,...,H_r on a Hilbert space (C^d)^{\otimes n} and a string of real numbers h_1,...,h_r. The problem is to determine whether a common eigenspace specified by equalities (H_a - h_a)|ψ>=0, a=1,...,r, has a positive dimension. We consider two cases: (i) all operators H_a are k-local; (ii) all operators H_a are factorized. It can be easily shown that both problems belong to the class QMA - the quantum analogue of NP, and that some NP-complete problems can be reduced to either (i) or (ii). A non-trivial question is whether the problems (i) or (ii) belong to NP? We show that the answer is positive for some special values of k and d. Also we prove that the problem (ii) can be reduced to its special case, such that all operators H_a are factorized projectors and all h_a=0.

研究の動機と目的

• 可換な局所ハミルトニアンに対する共通固有空間（CES）問題の古典的複雑性を特定すること。
• QMAに属するが、k-局所可換ハミルトニアンまたは分解可能射影子のCES問題が、NPに属するかどうかを調査すること。
• 一般の分解可能射影子のCES問題を、すべての固有値がゼロで、すべての射影子がランク1である標準形に還元すること。
• Kochen-Speckerのコンテキスチュアルティに関連する構造的障害——特に、一般のNP還元を妨げる要因——を同定すること。

提案手法

• ペアワイズ可換なエルミート作用素の集合に対して、指定された固有値を持つ共通固有ベクトルの存在を検証するCES問題を形式化すること。
• 可換な設定におけるk-局所ハミルトニアン問題を分析し、QMAに属することを示し、NPに属する条件を同定すること。
• 一般の分解可能射影子のCES問題を、すべての固有値がゼロで、すべての射影子がランク1である標準形に還元すること。
• すべての作用素が正規に可換する場合に、共通固有空間の次元を包含・除外の公式を用いて計算すること。
• 量子コンテキスチュアルティ（Kochen-Specker定理）の結果を応用し、特定の構成が標準形に還元できないことを示すこと。
• グラフ論的および線形代数的技法を用いて、作用素表における可換性構造とランク制約を分析すること。

実験結果

リサーチクエスチョン

• RQ1 kとdが小さい場合、可換k-局所ハミルトニアン問題はNPに属するか？
• RQ2 一般の分解可能射影子のCES問題は、すべての固有値がゼロで、すべての射影子がランク1である標準形に還元可能か？
• RQ3 正規な可換性パターンを超えた構造的障害——特に、CES問題がNPに属しない原因——は存在するか？
• RQ4 Kochen-Speckerコンテキスチュアルティ現象は、CES問題の簡略化への還元をどの程度妨げるか？
• RQ5 共通固有空間の次元は、どのような条件下で多項式時間の古典的計算が可能か？

主な発見

• k=2およびd=2の可換k-局所ハミルトニアン問題はNPに属し、QMAを超える非自明な包含関係を示している。
• 一般の分解可能射影子のCES問題は、すべての固有値がゼロで、すべての射影子がランク1である標準形に還元可能であり、問題構造が単純化される。
• d≥3では、Kochen-Speckerコンテキストの存在により、一般には標準形への還元が失敗する。これは、基底状態への射影子の一貫した割り当てを不可能にする。
• すべての作用素が正規に可換する場合（例：支持体に一貫した彩色が可能である場合）、共通固有空間の次元は包含・除外の公式を用いて計算可能である。
• 問題はQMAに属するが、NPに属するとは限らず、特に非正規な可換性パターンが生じる場合にはそうならない。
• 本論文は、正規および特異な可換性パターンが混在する「病理的」構成が、NP還元を困難にする主な要因であると特定している。