[論文レビュー] The Local Consistency Problem for Stoquastic and 1-D Quantum Systems

Yi-Kai Liu|ArXiv.org|Dec 10, 2007

Quantum Computing Algorithms and Architecture参考文献 26被引用数 6

ひとこと要約

本稿は、1次元量子系およびstoquastic系の両方において、局所的整合性問題から局所ハミルトニアン問題への多項式時間オракル還元を確立し、これら特殊ケースがQMA-hardでないにもかかわらず同等の複雑さを持つことを示している。主な革新は、半正定値計画法（SDP）の双対性に基づく新規な還元手法であり、系の構造を保ちながら、これらの制限付き設定における二問題の根本的な関係を明らかにしている。

ABSTRACT

The Local Hamiltonian problem (finding the ground state energy of a quantum system) is known to be QMA-complete. The Local Consistency problem (deciding whether descriptions of small pieces of a quantum system are consistent) is also known to be QMA-complete. Here we consider special cases of Local Hamiltonian, for ``stoquastic'' and 1-dimensional systems, that seem to be strictly easier than QMA. We show that there exist analogous special cases of Local Consistency, that have equivalent complexity (up to poly-time oracle reductions). Our main technical tool is a new reduction from Local Consistency to Local Hamiltonian, using SDP duality.

研究の動機と目的

• 局所的整合性問題と局所ハミルトニアン問題が、QMA-hardでないとされている制限付き量子設定において同等の複雑さを持つかどうかを調査すること。
• 従来のQMA完全性に基づく還元とは異なり、量子系の構造的性質を保全する新しい還元手法を開発すること。
• 1次元のqudit鎖およびstoquastic系において、半正定値計画法の双対性を用いて、局所的整合性問題を局所ハミルトニアン問題に還元できることを示すこと。
• 局所ハミルトニアン問題が解ける場合に、局所的整合性問題がこれらの設定で効率的であるかどうかを検討すること。
• stoquastic系の複雑度を、StoqMAクラスと関連付けることにより明確にすること、および局所的整合性問題がその中に入るかどうかを評価すること。

提案手法

• 強い双対性を用いた新しい還元手法を導入し、半正定値計画法（SDP）における強双対性を用いて、QMA完全性の仕組みを必要としない。
• 変数 x ∈ [0,1]^D および s ∈ [1−2D,1+2D] に対するプライマルSDP最適化問題を構築し、制約 F(x) ⪯ sI を満たす。ここで F(x) = Σx_p F_p + I である。
• 双対SDPプログラムを導出し、Z ⪰ 0 および tr(Z) = 1 を満たす条件下で g(Z) = inf_{x∈[0,1]^D} tr(Z F(x)) を最大化する。g(Z) = Σx_p tr(Z F_p) + 1 が成り立つ。
• 強い双対性（p* = d*）を用いて、プライマルおよび双対プログラムの最適値を結びつけ、局所的整合性問題から局所ハミルトニアン問題への還元を可能にする。
• 1次元系に適用する際は、局所相互作用が直線上に配置されていることを保証し、stoquastic系に適用する際は、係数を非負実数に制限する。
• 強い双対性を保証する一般化されたスレーター条件を用い、実行可能集合の条件数を有界化することで、多項式時間内での解法を保証する。

実験結果

リサーチクエスチョン

• RQ1 QMA完全性に依存せずに、1次元量子系における局所的整合性問題を局所ハミルトニアン問題に還元できるか？
• RQ2 半正定値計画法の双対性は、特殊な量子系における局所的整合性問題と局所ハミルトニアン問題の間で構造を保全する還元を可能にするか？
• RQ3 両者ともQMA-hardでないとされているにもかかわらず、stoquastic系において局所的整合性問題の複雑さと局所ハミルトニアン問題の複雑さが同等であるか？
• RQ4 この双対性に基づく還元は、局所相互作用および非負の行列要素を持つ系、例えばstoquasticハミルトニアンに適応可能か？
• RQ5 この還元により、stoquastic系において局所的整合性問題がStoqMAまたは関連複雑度クラスに属するかどうかが示唆されるか？

主な発見

• 1次元系において、SDP双対性を用いた多項式時間オラクル還元により、局所的整合性問題から局所ハミルトニアン問題への還元が確立され、キュービット数および相互作用構造が保持される。
• stoquastic系においても、同様の双対性に基づく還元により、局所的整合性問題が局所ハミルトニアン問題に還元可能であり、双対プログラムの最適値がYESとNOのインスタンスを区別する。
• 一般化されたスレーター条件のおかげで強い双対性（p* = d*）が達成され、プライマルドメインに厳密に実行可能な点が存在することが保証される。
• プライマルSDPの実行可能集合Kの条件数がpoly(D)で有界であるため、局所ハミルトニアンオラクルを用いて効率的に属するかをテストできる。
• Stoquastic局所的整合性のYESケースでは、プライマル最適値 p* ≥ 1 である。NOケースでは、p* ≤ 1−β（β > 0）であるため、エネルギー推定により決定可能である。
• 検証者のシミュレーションを必要としないため、QMAベースの還元における指数的オーバーヘッドを回避し、系の整合性を保ちながら構造を保全する還元が可能である。