[論文レビュー] Reply to: ``Comment on `Polynomial-Time Simulation of Pairing Models on a Quantum Computer'''

Liang Wu, Mark Byrd+1 more|arXiv (Cornell University)|May 26, 2003

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

この論文は、任意の結合定数をもつ一般化されたペアリングハミルトニアン—一般化されたペアリングハミルトニアン—を量子コンピュータ上で数値的に正確にシミュレートする多項式時間の量子アルゴリズムを主張している。DMRGのような近似古典的手法とは異なり、提案されたアルゴリズムはO(N⁴)ステップでハミルトニアンを正確に対角化し、効率的な古典的代替手法が存在しない領域で、証明可能な正確な解を提供する。

ABSTRACT

We reply to Dukelsky, et al. regarding the article: L. A. Wu, M. S. Byrd and D. A. Lidar, Phys. Rev. Lett. 89, 057904 (2002).

研究の動機と目的

• 一般化されたペアリングハミルトニアンを任意の結合定数で正確かつ効率的にシミュレートできる既知の古典的アルゴリズムが存在しないことを確立すること。
• DMRG法は強力ではあるが、本質的に近似法であり、数値的に正確ではないこと—批判的コメントで主張されていることとは対照的—を明確にすること。
• 提案された量子アルゴリズムが、結合定数の構造にかかわらず、一般化されたペアリングハミルトニアンを多項式時間で正確に対角化できることを示すこと。
• DMRGのような近似古典的手法が、一般化されたペアリングモデルの文脈で正確な量子シミュレーションと同等または十分であるという主張を反駁すること。
• Nが大きいときのパラメータ空間において、解析的に解ける（可積分な）ペアリングモデルの集合が無視できるほど小さいこと—非可積分ケースが物理的に重要であることを強調する—を示すこと。

提案手法

• 一般化されたペアリングハミルトニアン H_p = ∑_m (ε_m/2)σ_m^z + ∑_{r=±} ∑_{l>m} (V_ml^r/2)(σ_m^xσ_l^x + rσ_m^yσ_l^y) を量子コンピュータ上で正確に対角化する量子アルゴリズムを提案する。
• 量子位相推定および量子シミュレーション技術に適した形にペアリングハミルトニアンを変換する。
• O(N⁴)のゲート操作を用いた量子回路を採用し、系サイズNに比例して多項式的にスケーリングする正確な固有状態および固有値の計算を実現する。
• 半分充填系ではヒルベルト空間次元がN! / [(N/2)!]²の速度で超指数的に増加することに依存し、これにより古典的正確シミュレーションは不可能になる。
• 結合定数V_ml^rの構造にかかわらず、アルゴリズムが正確に保たれることを示し、非一様で任意の値をとる場合にも同様に成立することを確認する。
• 変分法や近似古典的手法（例：DMRG）と対比し、それらは本質的な誤差と収束問題に制限されることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の結合定数をもつ一般化されたペアリングハミルトニアンを、多項式時間で数値的に正確にシミュレートできる量子アルゴリズムは存在するか？
• RQ2 DMRG法は真に正確なのか、それとも文献で主張されているように本質的に近似法なのか？
• RQ3 N → ∞ のとき、ペアリングハミルトニアンのパラメータ空間における可積分な部分集合の相対的サイズはいかほどか？
• RQ4 DMRGのような近似古典的アルゴリズムが存在するという事実が、正確な量子シミュレーションアルゴリズムの必要性を無効にしているのか？
• RQ5 ペアリングハミルトニアンのヒルベルト空間次元は系サイズとともにどのように増加するのか？ そしてこれは古典的シミュレーションにどのような意味を持つのか？

主な発見

• 提案された量子アルゴリズムは、O(N⁴)時間で一般化されたペアリングハミルトニアンを正確に対角化し、量子コンピュータ上で証明可能な正確な解を提供する。
• DMRG法は数値的に正確ではなく、その開発者自身がテストされた範囲で相対誤差が10⁻⁴未満の変分法であると記述していることから確認できる。
• N → ∞ のとき、可積分なペアリングモデルと非可積分なモデルの比は0に近づくため、非可積分ケースがパラメータ空間を支配することが示された。
• ヒルベルト空間次元が超指数的に増加するため、一般化されたペアリングハミルトニアンを正確かつ効率的にシミュレートできる既知の古典的アルゴリズムは存在しない。
• コメントで主張されているように、DMRGが任意のペアリング行列要素を容易に扱えるという主張には、特に非一様なV_ml^rに対して根拠がない。
• 正確な量子シミュレーションが、DMRG や予測されたBCS法のような近似手法の検証に不可欠であり、特に量子コンピュータが実用化されつつある現在において重要である。