[論文レビュー] Local adiabatic quantum search with different paths

Recep Eryiğit, Y. Gündüç+1 more|ArXiv.org|Sep 28, 2003

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

ひとこと要約

本稿では、最小スペクトルギャップを安定化させるために '確実に成功する' ハミルトニアンを制御項として用いる一般化された局所的断熱的量子探索アルゴリズムを提案する。これにより、データベースサイズ N に依存しない定数に近い探索時間が達成可能になる。特徴的な駆動ハミルトニアンを用いて進化経路を最適化することで、漸近的に定数時間の時間計算量を達成し、オракルアクセスなしでグローバーの O(√N) スケーリングを効果的に上回る。

ABSTRACT

We report on a detailed analysis of generalization of the local adiabatic search algorithm. Instead of evolving directly from an initial ground state Hamiltonian to a solution Hamiltonian a different evolution path is introduced and is shown that the time required to find an item in a database of size $N$ can be made to be independent of the size of the database by modifying the Hamiltonian used to evolve the system.

研究の動機と目的

• 制御ハミルトニアンを介して代替的進化経路を導入することで、局所的断熱的量子探索アルゴリズムを一般化すること。
• スペクトルギャップを操作することにより、標準的な O(√N) スケーリング未満の時間計算量を達成すること。
• 進化中に最小エネルギーギャップがゼロから離れたまま保たれるかを分析すること。
• アルゴリズムの高速化と、必要なハミルトニアンを構築する複雑さとのトレードオフを調査すること。

提案手法

• H̃(s) = (1−s)H₀ + sHₘ + s(1−s)H_D と定義される時間に依存するハミルトニアン H̃(s) を導入する。ここで H_D は、BaeとKwonの '確実に成功する' ハミルトニアンから導出される制御ハミルトニアンである。
• 局所的断熱近似を用い、瞬時のスペクトルギャップ g(s) と行列要素 |⟨dH̃/ds⟩₁₀| に応じて進化レート ds/dt を動的に調整する。
• ds/dt = ε·g²(s) として進化レートを導出し、各時刻で局所的に断熱条件を満たすようにする。
• 得られた微分方程式 s(t) を解く。この解にはギャップ関数の根に関する逆双曲正 tangent 関数が含まれる。
• s(t) を s=1 で評価することで、合計進化時間 T の漸近的挙動を分析し、N → ∞ のとき T → (1 + π/4) であることを示す。
• 得られた進化経路と時間計算量を、標準的な局所的断熱アルゴリズム（RolandとCerf）と比較し、より速い収束を示す。

実験結果

リサーチクエスチョン

• RQ1 制御ハミルトニアンを介した修正された進化経路が、最小スペクトルギャップを安定化させ、断熱的進化時間を短縮できるか？
• RQ2 '確実に成功する' ハミルトニアン項の導入により、N が増加するにつれてアルゴリズムの実行時間が定数に近づくか？
• RQ3 この一般化された断熱的探索の時間計算量は、グローバーの O(√N) アルゴリズムと比べてどのように異なるか？
• RQ4 大 N の極限における合計進化時間 T の漸近的挙動は何か？
• RQ5 駆動ハミルトニアン H_D の選択が、スペクトルギャップおよび進化速度にどのように影響するか？

主な発見

• H_D 項の追加により、最小スペクトルギャップ g_min がゼロから離れたまま保たれ、通常のギャップの逆平方根スケーリングを回避する。
• 合計進化時間 T は、N → ∞ のとき定数値 (1 + π/4) ≈ 1.785 に漸近的に近づく。これはシステムサイズに依存しない。
• アルゴリズムは N にほとんど依存しない実行時間を達成し、標準的断熱的およびグローバーのアルゴリズムの O(√N) スケーリングに比べ顕著な改善を示す。
• 進化経路は、N=64 の場合の図2の s(t) 曲線から示されるように、標準的な局所的断熱アルゴリズムよりも著しく高速になる。
• 時間計算量は、探索プロセスからハミルトニアンの構築にシフトしており、これはマークド状態 |m⟩ の知識を含む必要があることを意味する。
• 結果は Das らの手法に類似しているが、a(s)=b(s)=√(s(s+1)) の異なる H_D パarametrization を用いることで、1 のより低い漸近的時間に到達する。