[論文レビュー] Consistency of Local Density Matrices is QMA-complete

Yi-Kai Liu|ArXiv.org|Apr 21, 2006

Quantum Computing Algorithms and Architecture参考文献 18被引用数 16

ひとこと要約

この論文は、量子系からの局所的密度行列がグローバルな量子状態と整合しているかどうかを判定することは、QMA完全であることを証明しており、量子計算複雑性理論における根本的な難問であることを確立している。証明は、局所ハミルトニアン問題からの新しい確率的チューリング還元を用い、非可換演算子に対処するため、凸最適化（Bertsimas-Vempalaアルゴリズム）とパウリ行列の期待値表現を活用している。

ABSTRACT

Suppose we have an n-qubit system, and we are given a collection of local density matrices rho_1,...,rho_m, where each rho_i describes a subset C_i of the qubits. We say that the rho_i are ``consistent'' if there exists some global state sigma (on all n qubits) that matches each of the rho_i on the subsets C_i. This generalizes the classical notion of the consistency of marginal probability distributions. We show that deciding the consistency of local density matrices is QMA-complete (where QMA is the quantum analogue of NP). This gives an interesting example of a hard problem in QMA. Our proof is somewhat unusual: we give a Turing reduction from Local Hamiltonian, using a convex optimization algorithm by Bertsimas and Vempala, which is based on random sampling. Unlike in the classical case, simple mapping reductions do not seem to work here.

研究の動機と目的

• 量子系から得られる局所的密度行列がグローバルな量子状態と整合しているかどうかを判定する問題の計算複雑性を確立すること。
• この整合性問題がQMA完全であることを示し、既知の局所ハミルトニアン問題の難易度を拡張すること。
• 非可換演算子の存在により従来のマッピング還元が失敗する量子設定において、従来とは異なる還元手法を開発すること。
• 2局所相互作用や2次元格子などの制限付き設定下でも、この問題がQMA困難の性質を保つことを示すこと。
• 局所ハミルトニアンなど他のQMA完全問題と比較して、整合性問題の構造的相違点を明らかにし、量子計算複雑性におけるその独自の役割を強調すること。

提案手法

• パウリ演算子の期待値による局所的密度行列の表現を用い、状態空間の線形パラメータ化を可能にする。
• パウリ期待値値に関する制約で定義される多面体上での凸最適化問題として、整合性問題を定式化する。
• メンバーシップオракルのみを必要とし、ランダムウォークを用いるBertsimas-Vempalaの確率的凸最適化アルゴリズムを用いる。
• 目的エネルギー閾値の妥当性のためのメンバーシップオラクルを、整合性問題に還元することで構築する。
• 最適化の目的関数が多項式的に有界な導関数を持つリプシッツ連続関数であることを活用し、微小な誤差に対しても安定性を保証する。
• YESインスタンスとNOインスタンスを分離するためのギャップ拡張技術を適用し、オラクルノイズの影響を受けても最適化アルゴリズムが区別可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 局所的密度行列がグローバルな量子状態と整合しているかどうかを判定する問題は、量子計算複雑性クラスQMAにおいて計算的に難しいか？
• RQ2 非可換演算子のため従来のマッピング還元が失敗する量子設定において、標準的でない還元法を用いて、整合性問題のQMA完全性を確立できるか？
• RQ3 Bertsimas-Vempalaの凸最適化アルゴリズムは、整合性問題のオラクルを用いても、有界な誤差下でも有効に機能するか？
• RQ4 2局所相互作用や2次元格子幾何学などの構造的制限下でも、整合性問題のQMA困難性は保たれるか？
• RQ5 整合性問題はゼロ知識証明システムに適しているか？その場合、QMAクラス全体にどのような意味を持つのか？

主な発見

• 局所的密度行列の整合性問題はQMA完全であり、量子計算複雑性理論における根本的な難問であることが確立された。
• 古典的ガジェット技法が量子設定で失敗するため、従来のマッピング還元ではなく、局所ハミルトニアン問題からの確率的チューリング還元を用いた証明である。
• 還元は、メンバーシップオラクルのみを必要とするBertsimas-Vempalaの凸最適化アルゴリズムに依存しており、微小な誤差に対して堅牢である。
• 最適化における目的関数の導関数がnの多項式で有界であることが示され、微小な摂動が関数値を著しく変化させないことが保証された。
• 局所ハミルトニアンのYESインスタンスでは、実行可能領域に半径が少なくとも1/poly(n)以上の球が含まれており、オラクルノイズの影響を受けても最適化アルゴリズムが成功する。
• アルゴリズムは多項式時間で実行され、誤差閾値は実行可能集合の体積に比べて境界層が小さくなるように選ばれており、オラクルモデル下で正しく動作することが保証された。