[論文レビュー] On the identification of the ground state based on occupation probabilities: An investigation of Smith's apparent counterexamples

Tien D. Kieu|ArXiv.org|Feb 17, 2006

Quantum Information and Cryptography参考文献 8被引用数 7

ひとこと要約

この論文は、ハミルトニアンの基底状態を占有確率に基づいて特定するための量子断熱基準に対するスミスの反例を検証する。有限次元行列における人工的な切断と境界条件が原因で、見かけ上の違反が生じていることが示され、適切な（反）周期的境界条件を用いることで、基準が物理的に意味のある切断においても有効であることが明らかになった。

ABSTRACT

We study a set of truncated matrices, given by Smith~\cite{Smith2005}, in connection to an identification criterion for the ground state in our proposed quantum adiabatic algorithm for Hilbert's tenth problem. We identify the origin of the trouble for this truncated example and show that for a suitable choice of some parameter it can always be removed. We also argue that it is only an artefact of the truncation of the underlying Hilbert spaces, through showing its sensitivity to different boundary conditions available for such a truncation. It is maintained that the criterion, in general, should be applicable provided certain conditions are satisfied. We also point out that, apart from this one, other criteria serving the same identification purpose may also be available.

研究の動機と目的

• ヒルベルトの10番目の問題に対する量子断竣工アルゴリズムにおける基底状態同定基準に対するスミスの見かけの反例を解消すること。
• α=1 および T=13.3444 のスミスの切断行列例における失敗の原因を調査すること。
• 断熱条件 (5) の違反が、有限次元切断における剛体的境界条件の結果であることを示すこと。
• （反）周期的境界条件などの代替境界条件が、同定基準の有効性を回復させることを示すこと。
• 適切な切断条件が適用された場合、基準が物理的に意味のある状況においても適用可能であると主張すること。

提案手法

• 初期ハミルトニアン HI から最終ハミルトニアン HP に至る時間に依存するハミルトニアン H̃(t) = (1−t/T)HI + (t/T)HP を分析する。HP はディオファントス方程式を符号化している。
• 初期状態 |ψ(0)⟩ = |{α}⟩（HI のコherent状態基底状態）を用いて、シュレーディンガー方程式 ∂t|ψ(t)⟩ = −iH̃(t)|ψ(t)⟩ を解く。
• 最終状態における占有確率 |⟨ψ(T)|{n}⟩|² を評価し、それが HP の基底状態と一致するかを判定する。
• 回避クロスイング（avoided crossing）を検出するため、エネルギー準位のスペクトルフローを調査し、断熱性の破綻の兆候を特定する。
• 境界条件の違い（剛体的（スミスのオリジナル）、周期的、反周期的）を比較し、HI および HP の行列表現をそれに応じて修正する。
• 数値シミュレーションを用いて、特に t≈10 の周辺で、占有確率およびエネルギー準位のフローを時間経過とともに追跡する。

実験結果

リサーチクエスチョン

• RQ1 なぜスミスの反例（α=1 および T=13.3444）は基底状態同定基準の違反を示すように見えるのか？
• RQ2 スミスの例において t≈10 の周辺で、基底状態の占有確率が急激に低下し、第一励起状態の占有確率が上昇する原因は何か？
• RQ3 条件 (5) の違反、⟨e(t)|HP−HI|g(t)⟩ ≠ 0 は根本的な欠陥なのか、それとも切断の結果であるアーティファクトなのか？
• RQ4 切断されたフォック空間における代替境界条件（例えば（反）周期的）を用いることで、見かけの違反を解消し、基準の有効性を回復できるか？
• RQ5 有限次元量子断竣工過程において、基底状態同定基準が頑健でかつ適用可能となる条件は何か？

主な発見

• スミスの例における基底状態同定基準の見かけの違反は、a†|4⟩=0 および a|0⟩=0 という剛体的境界条件に起因し、これがスペクトルフローを人工的に歪めている。
• t≈10 で、瞬間的な基底状態と第一励起状態の間の回避クロスイングが発生し、占有確率に急激な遷移が生じ、t=T 時に第一励起状態の占有確率が 0.999323 に達する。
• （反）周期的境界条件を用いることで、スペクトルフローは滑らかで異常なしとなり、真の基底状態 |4⟩ への最終占有確率は 0.99986 に上昇し、基準の有効性が確認される。
• 追加の状態を追加するか、周期的／反周期的境界条件を用いることで、誤った準位クロスイングが除去され、断熱的遷移が回復される。
• 条件 (5) の違反は物理的ではなく、切断手法に起因するアーティファクトである。無限次元では発生せず、適切な境界条件のもとでは発生しない。
• 本研究は、ユニタリティおよびスペクトルの整合性を保つ境界条件を用いた適切な切断がなされた場合、基準 (4) が有効であることを確認した。