[論文レビュー] Detailed Analysis of Circuit-to-Hamiltonian Mappings

James D. Watson|arXiv (Cornell University)|Oct 2, 2019

Quantum Computing Algorithms and Architecture参考文献 26被引用数 5

ひとこと要約

本稿は、動的初期化および非一様ペナルティ構造を有する構成を含め、Feynman-Kitaev回路からハミルトニアンへのマッピングにおける基底状態エネルギーの正確で指数的につめられた解析を提供する。精密な固有値境界を導出し、一定の拒否確率のもとで基底状態エネルギーが $ O(\eta / T^2) $ にスケーリングすることを示し、従来のスケーリング推定を著しく改善し、量子計算複雑性理論におけるよりきめの細かいスペクトル解析のためのツールを提供する。

ABSTRACT

The circuit-to-Hamiltonian construction has found widespread use within the field of Hamiltonian complexity, particularly for proving QMA-hardness results. In this work we examine the ground state energies of the Hamiltonian for standard clock constructions and those which require dynamic initialisation. We put exponentially tight bounds on these ground state energies and also determine improved scaling bounds in the case where there is a constant probability of the computation being rejected. Furthermore, we prove a collection of results concerning the low-energy subspace of quantum walks on a line with energy penalties appearing at any point along the walk and introduce some general tools that may be useful for such analyses.

研究の動機と目的

• 動的初期化を伴う非標準的なクロック構成を含め、Feynman-Kitaevハミルトニアンの基底状態エネルギーに対する指数的につめられた境界を提供すること。
• 一定の拒否確率を伴う計算をエンコードするハミルトニアンの既存のスケーリング境界を改善すること。
• 端点以外の任意の位置にエネルギーペナルティを設ける場合の、直線上の量子ウォークの解析に一般化されたツールを開発すること。
• 標準形式およびEQMAエンコード済みハミルトニアンのよりきついスペクトル境界を確立し、より正確なQMA-hardnessの証明を可能にすること。
• アディアバティック量子計算や複雑性理論的構成に適した、エネルギースケールを微調整可能なハミルトニアンの設計の基盤を築くこと。

提案手法

• 線グラフの分離を可能にする新規のアンコアリング補題（補題4.1）を用い、量子ウォークの異なるセグメントからのエネルギー寄与を分離する。
• ラプラシアン行列解析と端点ペナルティ解析を適用し、任意の位置にペナルティを設けた量子ウォークの低エネルギー部分空間を特徴付ける。
• 変分法と内積推定を用いて候補基底状態のレイリー商を境界化し、精密な固有値境界を導出する。
• ウォーク状態 $ |u_{T'}\rangle $ のノルムに関する境界を導出し、$ \sin(\pi/(4T'+2)) $ や関連する項を含む式を三角恒等式を用いて簡略化する。
• 非ゼロの拒否振幅が基底状態エネルギーのスケーリングに与える影響を分析するための一定拒否確率補題を導入する。
• EQMA解析を中間ステップとして用い、EQMAにおける正確な受容／拒否条件を活用してQMAの結果を証明し、よりきつい境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 動的初期化および非一様ペナルティを用いて構築されたFeynman-Kitaevハミルトニアンの正確な基底状態エネルギーは何か？
• RQ2 一定の拒否確率が回路からハミルトニアンへのマッピングにおける基底状態エネルギーのスケーリングに与える影響は何か？
• RQ3 直線上の量子ウォークにおけるエネルギーペナルティ構造を解析することで、基底状態エネルギーを最小化するためのペナルティの最適配置を特定できるか？
• RQ4 標準形式ハミルトニアンがEQMAおよびQMA計算をエンコードする場合、プロミスギャップおよび固有値スケーリングの最もきつい境界は何か？
• RQ5 開発された直線ウォーク用のツールを用いて、ユニタリラベル付きグラフのスペクトル構造を解析し、既存の境界を改善できるか？

主な発見

• QMAハミルトニアンの基底状態エネルギーは $ O(\eta / T^2) $ にスケーリングする。ここで $ \eta $ は拒否確率の最大値であり、従来のスケーリング解析に比べて指数的にきつい境界を提供する。
• 動的初期化クロックのため、基底状態エネルギーは指数的精度で境界づけられており、従来の近似推定における曖昧さを解消した。
• 解析により、量子ウォークの端点にエネルギーペナルティを設ける場合、他の場所に設ける場合よりもエネルギーが低くなることが証明され、そのエネルギーコストに関する定量的境界が得られた。
• アンコアリング補題（補題4.1）により、線グラフの分離が可能となり、ペナルティ寄与の独立した解析が可能になり、よりきつい固有値境界が得られた。
• ノルム $ |u_{T'}\rangle $ に関する改善された境界が得られ、$ T \geq 2 $ に対して $ T|u_{T'}|^2 \geq 1 $ が成り立つことが示され、最終的な固有値推定に不可欠である。
• 本稿は、$ \lambda_0(H^{(YES)}_{QMA}) \leq \mu \left(1 - \cos\left(\frac{\pi}{2(T - T_{\text{init}}) + 1}\right)\right) $ を確立し、$ T_{\text{init}} = O(T^{1/2}) $ のもとで、最終的に $ O(\eta / T^2) $ のスケーリングが得られた。