断熱量子計算において、初期ハミルトニアンが最終ハミルトニアンと通じないことがなぜ重要なのですか?


19

私は上の多くのソースや書籍で読んだ断熱量子計算、それがために重要であること(AQC)初期ハミルトニアン H私はで通勤しないように、最終的なハミルトニアンHの Fすなわち、[ H IH F ]H^i H^f。しかし、なぜそれがそれほど重要なのかという議論を見たことはありません。[H^i,H^f]0

我々は線形時間依存性を仮定した場合AQCのハミルトニアンは、 HT = 1 - T ここで

H^(t) = (1tτ)H^i+tτH^f,(0tτ)
断熱時間スケールです。τ

だから私の質問は次のとおりです。最初のハミルトニアンが最後のハミルトニアンと通勤しないことがなぜ重要なのですか?

回答:


13

断熱QCでは、結果を基底状態から抽出できるように、問題をハミルトニアンにエンコードします。その基底状態を直接準備するのは難しいので、代わりに「簡単な」ハミルトニアンの基底状態を準備してから、2つの間をゆっくりと補間します。十分に遅くすると、システムの状態は基底状態のままになります。プロセスの最後に、解決策があります。

これは 断熱定理ます。定理が成立するためには、基底状態と最初の励起状態の間にエネルギーギャップがなければなりません。ギャップが小さくなると、基底状態と最初の励起状態の混合を防ぐために補間する必要が遅くなります。ギャップが閉じると、このような混合を防ぐことはできず、十分に遅くすることはできません。その時点で手順は失敗します。

最初と最後のハミルトニアン通勤の場合、同じエネルギー固有状態を持っていることを意味します。したがって、彼らはどの州がエネルギーを割り当てられるかについて同意し、彼らが得るエネルギーについてのみ反対します。2つのハミルトニアン間の補間は、エネルギーを変更するだけです。したがって、最終的な基底状態は最初は励起状態であり、元の基底状態は最後に励起されます。ある時点で、すれ違うとき、これらの状態のエネルギーは等しくなり、それらの間のギャップは閉じます。これは、ある時点でエネルギーギャップを閉じる必要があることを確認するのに十分です。

したがって、非通勤のハミルトニアンを持つことは、ギャップを開いたままにするための必要条件であり、したがってAQCにとってもそうです。


1
これは非常に説得力があり、明確に聞こえます。断熱進化中に回避された交差ができない理由を明示的に説明してもらえますか?
-agaitaarino

4

2つの行列(この場合、ハミルトニアン)が通勤する場合、それらは同じ固有ベクトルを持ちます。したがって、最初のハミルトニアンの基底状態を準備すると、それは(大まかに言って)断熱進化全体を通して固有状態のままになります。

もう少し厳密にしたい場合は、最初のハミルトニアンが2番目のハミルトニアンによって持ち上げられた縮退を持っている可能性があり、システムを固有の基底状態に進化させることを望んでいるかもしれません。ただし、2番目のハミルトニアンがゼロ以外の量になると、縮退が解除されることに注意してください。どんな効果があるとしても、それは瞬間的なものです。適切な断熱進化が得られないと思います。代わりに、新しい固有状態の重ね合わせとして初期状態を記述する必要があり、これらは時間とともに進化し始めますが、ターゲット状態(基底状態)との状態の重複を増やすことはありません。


あなたの最初の声明が真実かどうか疑問に思うだけです。アイデンティティ行列を例にとると、すべてのハミルトニアンを交換します。しかし、恒等行列が任意のハミルトニアンと同じ固有ベクトルを持つ理由はありません。
ターボタンテン

ハミルトニアンの基底を含む、あらゆる基底でアイデンティティを分解できます。しかし、ポイントはそれが非常に退化しているということですので、あなたは私の2番目の段落について話している。
-DaftWullie

3

初期ハミルトニアンを有するイジング最適化の文脈において、それが本質的に製品で問題ハミルトニアン手段と通勤その固有状態は、古典的なビット列であることを意味演算子、。したがって、最初の基底状態(t = 0)も古典的であり、すべての可能なビット列の重ね合わせではありません。σZt

さらに、AQCの厳密な境界(たとえば、オープンシステムの量子アニーリング、QAOAなど)を超えても、駆動ハミルトニアンが転流すると、問題のハミルトニアンの固有状態間の遷移を誘導できず、波動関数の振幅の位相のみが変化します; また、検索スペースを探索するためにスピンフリップを誘導できるドライバーが必要です。


1

HiHf

Hi=(1001)

Hp=(1000.1)

最小固有値(つまり基底状態)を持つ固有ベクトルHi is |1 so we start in this state. The ground state of Hf is |0 so this is what we're looking for.

Remember the minimum runtime for the AQC to give the correct answer to within an error ϵ:
τmaxt(||HiHf||2ϵEgap(t)3).

This is given and explained in Eq. 2 of Tanburn et al. (2015).

  • Let's say we want ϵ=0.1.
  • Notice that ||HiHf||2=0.1 according Eq. 4 of the same paper.
  • Notice that ||HiHf||2ϵ=1 (I've chosen ϵ so that this would happen, but it doesn't matter).
  • We now have τmaxt(1Egap(t)3)

So what is the minimum gap between ground and first excited state (which gives the maxt) ?
When t=20τ/29, the Hamiltonian is:

H=929Hi+2029Hp

H=929(1001)+2029(1000.1)

H=(92900929)+(202900229)

H=(1129001129)

So when t=2029τ, we have Egap=0 and the lower bound on τ is essentially .

So the adiabatic theorem still applies, but when it states that the Hamiltonian needs to change "slowly enough", it turns out it needs to change "infinitely slowly", which means you will not likely ever get the answer using AQC.


Thanks! I like the example. Though that's a new expression of the minimum runtime that I've never seen before. Usually in the literature the adiabatic condition is given by τmax0s1|ψ1(s)|dH^(s)ds|ψ0(s)|min0s1Δ2(s);stτ where Δ2(s)=(E1(s)E0(s))2. See Ref [1] & [2]
Turbotanten

@Turbotanten: Thanks for the bounty. My proof works whether we use 1/gap^2 or 1/gap^3. In both cases gap=0 means runtime = infinity. In your expression, we can just have "max_s" on the outside, then we don't need "min_s" in the denominator. Also reference 2 of the Tanburn paper that I linked to, gives the gap^3 formula, which is a slightly tighter bound than the gap^2 formula. It is still popular to use the (slightly looser bound of) gap^2, mainly because some people haven't seen the recent literature on gap^3.
user1271772
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.