線形連立方程式の量子アルゴリズム(HHL09):ステップ1-位相推定アルゴリズムの使用に関する混乱


11

私はしばらくの間、有名な(?)論文の線形連立方程式の量子アルゴリズム(Harrow、Hassidim&Lloyd、2009)(より一般的にはHHL09アルゴリズム論文として知られています)に頭を悩ませてきました。

最初のページで、彼らは言う

ここでアルゴリズムの基本的なアイデアをスケッチし、次のセクションで詳細に説明します。エルミート行列 Aと単位ベクトルbが与えられ、A x = bを満たすxを見つけたいと仮定します 。(効率に関する後の質問と、A およびbについて行った仮定をどのように緩和できるかについて説明します。)最初に、アルゴリズムは量子状態としてbを表し ますB = Σ N IN×NAbxAx=bAbb。次に、ハミルトニアンシミュレーション[3、4]の手法を使用してeiAt|に適用します B異なる時間の重ね合わせのためのトンAをべき乗するこの能力は、位相推定のよく知られた手法[5–7]を介して、分解する能力に変換されますB の固有基底でAおよび対応する固有値見つける λJ非公式には、この段階の後、システムの状態がクローズされましたΣ J =|b=i=1Nbi|ieiAt|bitA|bAλjUjはの固有ベクトル基盤である A| B=Σの J = NのJ = 1つの βJ| ujをj=1j=Nβj|uj|λjujA|b=j=1j=Nβj|uj

ここまでは順調ですね。で説明したようにニールセン&荘「の章で量子フーリエ変換とその応用」、位相推定アルゴリズムを推定するために使用されるにおけるE I 2 π φ固有ベクトルに対応する固有値であるが| U ユニタリ演算子のUφei2πφ|uU

Nielsen&Chuangからの関連部分は次のとおりです。

位相推定アルゴリズムは2つのレジスタを使用します。最初のレジスタには、最初は状態のキュービットが含まれています0 tをどのように選択するかは、φの推定値に含める精度の桁数と、位相推定手順を成功させる確率との2つに依存します 。これらの量へのtの依存性は、次の分析から自然に現れます。t|0tφt

2番目のレジスタは、次の状態で始まりますと記憶しておく必要があるとして、多くの量子ビットとして含まれています| U 。位相推定は2段階で実行されます。まず、図5.2に示す回路を適用します。-回路はアダマール制御の適用に続いて最初のレジスタ、変換を適用することにより始まるUを用いて、第2のレジスタに操作Uは、両者の連続パワーに上昇しました。最初のレジスタの最終状態は、次のように簡単にわかります。|u|uUU

12t/2(|0+exp(2πi2t1φ)|1)(|0+exp(2πi2t2φ)|1)...(|0+exp(2πi20φ)|1)=12t/2k=02t1exp(2πiφk)|k

ここに画像の説明を入力してください

位相推定の2番目の段階は、最初のレジスタに逆量子フーリエ変換を適用することです。これは、前のセクション(演習5.5)の量子フーリエ変換の回路を逆にすることで得られ、ステップで実行できます。位相推定の3番目の最終段階は、計算ベースで測定を行うことにより、最初のレジスタの状態を読み取ることです。これがφのかなり良い推定値を提供することを示します。アルゴリズムの全体図を図5.3に示します。Θ(t2)φ

位相推定が働く理由として私たちの直感をシャープにするには、仮定 通り、正確にint型のビットを表現することができるφ = 0 φ 1φ トン。次に、位相推定の最初の段階から生じる状態(5.20)を書き換えることができます。φφ=0.φ1...φt

12t/2(|0+exp(2πi0.φt|1)(|0+exp(2πi0.φt1φt|1)...(|0+exp(2πi0.φ1...φt|1)

位相推定の第2段階では、逆量子フーリエ変換を適用します。しかし、前の方程式とフーリエ変換の式(5.4)を比較すると、2番目のステージからの出力状態は製品状態であることがわかります 。したがって、計算ベースで測定すると、正確にφが得られます!|φ1...φtφ

ここに画像の説明を入力してください

φU|u

12t/2j=02t1exp(2πiφj)|j|u|φ~|u

ここに画像の説明を入力してください

ステップ1(位相推定):

AAeiAtA

U=eiAt|ujUN×NNAλjeiAteiλjtUe2πiφeiλjtφ=λjt2π|bUj=1j=Nβj|uj|ujU|u(|0)t|u|φ~|uj|λjt2π~λj|ujAj=1j=Nβj|ujj=1j=Nβj|uj|λjt2π~

質問:

j=1j=Nβj|uj|λ~jj=1j=Nβj|uj|λjt2π~

ここで何が欠けていますか?の因子はどこでしたかt2π

編集: ここでは、個々の質問をより集中させるためにパート2を依頼しました。


また、HHL09アルゴリズムのステップ2とステップ3についてもいくつかの混乱がありますが、この質問が長すぎて別の質問スレッドとして投稿することにしました。これらの質問スレッドへのリンクを作成したら、この投稿に追加します。


1
6t=3+log2(2+12(0.1))=3+3=6|λj|λjt2π390%

回答:


5

論文次第ですが、2つのアプローチを見ました。

  1. tt=t0=2π

  2. λ~λt2πλ~λt2π

リンクは次のとおりです。

  1. t2π

  2. tt02π

  3. t=2π

  4. t0=2π


2

ここで何が欠けていますか?の因子はどこでしたかt2π

Ueiλtλt/(2π)Aλ

UeiλtAλ

|λ~

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.