特にハミルトニアンの条件に関しては、さまざまなバリエーションがあります。たとえば、シミュレーションがまだBQP完全であるハミルトニアンの可能な限り単純なクラスを見つけようとするのは、ちょっとしたゲームです。
ステートメントはおおよそ次の行に沿っています|ψ⟩(正規化)製品の状態であっても、H(例えば、一次元格子上のみ最近隣結合からなる)は、いくつかの特定のクラスからハミルトニアンことOO^ワン体オペレータようのテンソル積を含む観察∥O^∥≤1、及びt時間です。その約束を考えると⟨ψ|eiHtO^e−iHt|ψ⟩1より大きいまたは1未満12+aいくつかのためにA(例えば、A=112−aa)、どちらが当てはまるかを決定します。a=16
詳細
ハミルトニアンシミュレーションはBQP困難です
基本的な構造(元々はファインマンによるもので、ここでは少し調整されています)は、基本的に、BQP完全計算を含む量子計算を実装するハミルトニアンを設計する方法を示しています。測定するオブザーバブルは、特定の出力キュービットののみで、2つの測定結果は「yes」と「no」に対応します。Z
あなたが考えるかもしれないハミルトニアンの最も簡単なソートは計算の考慮することであるシーケンシャルunitaries U Nに作用するMの状態から、量子ビット| 0 ⟩ ⊗ M。次に、追加のNキュービットを導入し、ハミルトニアンH = 2を指定できます
N−1UnM|0⟩⊗MN|
として初期状態を準備する場合 1⟩| 0⟩ ⊗ (N - 1 ) | 0⟩ ⊗ M次いで時間後N
H=2N∑n=1N−1n(N−n)−−−−−−−−√(|10⟩⟨01|n,n+1⊗U+|01⟩⟨10|n,n+1⊗U†).
|1⟩|0⟩⊗(N−1)|0⟩⊗M、状態になります
| 0 ⟩ ⊗ (N - 1 ) | 1 ⟩ | Φ ⟩場所
| Φ ⟩は、所望の計算の出力です。ここで使用した面白い結合強度、
√Nπ/4| 0 ⟩⊗ (N− 1 )| 1⟩ | Φ⟩| Φ⟩は、決定論的進化を与えるために特に選択され、
完全な状態遷移の概念に関連しています。通常、結果は等しい結合で示されますが、確率的進化です。
n (N− n )−−−−−−−−√
これがどのように機能するかを確認するには、一連の状態を定義します
ハミルトニアンの作用は
H | ψ N ⟩ = 2
| ψn⟩ = | 0 ⟩⊗ (n − 1 )| 1⟩ | 0 ⟩⊗ N− n⊗ (Un − 1うんn − 2… U1| 0 ⟩⊗ M)。
進化がに制限されていることを証明している
N×Nの(完全な状態の転送で検討特定のものである)三重対角行列で表される部分空間。
H| ψn⟩ = 2N(n − 1 )(N+ 1 − n )−−−−−−−−−−−−−−−√| ψn − 1⟩ + 2Nn (N− n )−−−−−−−−√| ψn + 1⟩ 、
N×N
もちろん、このハミルトニアンには特に良いプロパティはありません-たとえば、非常に非ローカルです。ハミルトニアンを、たとえば1次元に単純化するために再生できる多くのトリックがあります。必要に応じて、より複雑な初期製品状態を準備する必要がありますが、翻訳的に不変である場合もあります(その時点で、計算はハミルトニアンでエンコードされなくなりました。これは普遍的ですが、入力状態でエンコードされます) 。たとえば、こちらをご覧ください。
ハミルトニアンシミュレーション
ある格子上で局所的であり、初期製品状態に作用する、システムサイズの多項式以下の時間のハミルトニアンの進化は、量子コンピューターによってシミュレートでき、効率的に実装可能な測定を適用できます。オブザーバブルを推定します。この意味で、ハミルトニアンシミュレーションは量子計算ほど難しくないことがわかります。これは、量子計算がハミルトニアンシミュレーションほど困難ではないという前のステートメントに対する反論点です。
HHi
eiHt≈(e−iH1δte−iH2δt…e−iHnδt)t/δt
e−iH1δtH1=∑nhne−iH1δt=∏ne−ihnδt
これは少数の用語の単一であるため、ユニバーサル量子コンピューターで実装できます。