[論文レビュー] Adversary lower bounds in the Hamiltonian oracle model

David L. Yonge-Mallo|arXiv (Cornell University)|Aug 11, 2011

Quantum Computing Algorithms and Architecture参考文献 8被引用数 3

ひとこと要約

この論文は、標準的および一般化された（負の重みを許容する）アドバーザリ法を用いた量子クエリ下界が、連続時間の量子クエリフレームワークとしてのハミルトニアンオラクルモデルでも成立することを確立する。ハミルトニアンモデルにおける進捗測度の変化率が、離散的クエリモデルと同様に制限されることを証明し、時間に依存するハミルトニアンを伴う連続時間の時間発展演算子においてもアドバーザリ下界が有効であることを保証する。

ABSTRACT

In this note, we show that quantum lower bounds obtained using the adversary method hold in the Hamiltonian oracle model.

研究の動機と目的

• 量子アドバーザリ法の適用範囲を、連続時間の一般化された量子クエリモデル（ハミルトニアンオラクルモデル）に拡張すること。
• 標準的および一般化されたアドバーザリ法（負の重みを含むものも含む）が、ハミルトニアン設定においても有効な下界を導くことを示すこと。
• 離散的クエリモデルと連続時間ハミルトニアン時間発展演算子との間の関係を形式化し、アドバーザリ法の進捗測度が両モデルで一貫して振る舞うことを示すこと。
• ドライバーハミルトニアンに依存しない、ハミルトニアンモデルにおける進捗測度の変化率の上界を厳密に導出すること。
• アドバーザリ法フレームワークを用いて、パリティ関数などの関数に対する下界の先行結果を連続時間領域へ一般化すること。

提案手法

• 時間に依存するドライバーハミルトニアンとオラクル成分を伴うシュレーディンガー方程式に従うハミルトニアンオラクルモデルを、連続時間の量子クエリモデルとして形式化する。
• 進捗測度 $ w^t = ig| igra{ ilde{ ho}^t } ig| $ を定義し、出力が異なる入力ペairから導かれる密度行列 $ ilde{ ho}^t $ を用いる。
• 内積の絶対値 $ ig| ra{ ilde{ ho}^t } ig| $ の時間微分を導出し、それが $ 2 ig( ext{max}_j ext{eigenvalue}( ilde{ ho}_j) ig) $ で抑えられることを示す。
• 差分作用素 $ igra{ ilde{ ho}_j } $ のスペクトルノルムを用い、$ igra{ ilde{ ho}_j } = ext{Re} ig( ext{Tr}[ ho_j ho_j^ op ] ig) $ と定義することで、変化率の上界を導出する。
• スペクトルアドバーザリ行列 $ ilde{ ho} $ に負の重みを許容する一般化アドバーザリ法を適用し、依然として上界が成立することを示す。
• 微分の上界を統合して、全時間発展演算時間 $ T $ の下界を導出し、成功のためには $ T imes ext{max}_j ext{eigenvalue}( ilde{ ho}_j) imes ext{ある要因} imes ext{初期進捗} $ が十分に大きくなければならないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 アドバーザリ法による量子クエリ複雑性の下界は、ハミルトニアンオラクルモデルへと拡張可能か？
• RQ2 負の重みを許容する一般化アドバーザリ法は、連続時間のハミルトニアンモデルでも有効か？
• RQ3 ハミルトニアンモデルにおける進捗測度の変化率は、離散的クエリモデルとどのように比較できるか？
• RQ4 ドライバーハミルトニアン $ H_D(t) $ は、ハミルトニアンオラクルモデルにおけるアドバーザリ下界に対して無関係か？
• RQ5 離散的クエリに用いられる同じアドバーザリフレームワークを、時間変動するハミルトニアンを伴う連続時間量子アルゴリズムに適応可能か？

主な発見

• 標準的および一般化された（負の重みを含む）アドバーザリ法による下界は、ハミルトニアンオラクルモデルにおいても有効である。
• ハミルトニアンモデルにおける進捗測度 $ |w^t| $ の変化率は、ドライバーハミルトニアン $ H_D(t) $ に依存せず、$ 2 imes ext{max}_j ext{eigenvalue}( ilde{ ho}_j) $ で抑えられる。
• 異なる入力に対応する状態間の内積の微分の上界は、差分作用素 $ igra{ ilde{ ho}_j } $ のスペクトルノルムを用いて導出され、$ ||igra{ ilde{ ho}_j }|| o 2 $ となる。
• 進捗測度の時間発展演算は可積分であり、全時間発展演算時間 $ T $ の下界が得られ、$ w^T o ext{小さい値} $ となるのは十分な時間が経った後であることが保証される。
• 先行研究におけるパリティ関数やグローバー探索の結果が、ハミルトニアンモデルにおいて一般化され、FGGの証明技法が連続時間におけるアドバーザリ法の特別な場合であることが示された。
• 証明技法により、アドバーザリ法の根幹にある論理（情報量の増加を用いた入力ペアの区別）が、連続時間量子アルゴリズムへ直接的に移行可能であることが確認された。