[論文レビュー] Classical Algorithms for Constant Approximation of the Ground State Energy of Local Hamiltonians

François Le Gall|arXiv (Cornell University)|Oct 29, 2024

Numerical methods for differential equations被引用数 1

ひとこと要約

本稿では、nキュービットのk-局所ハミルトニアンの基底状態エネルギーの定数近似を達成する古典的アルゴリズムを提示する。ガイド状態との重なりがχであるサンプルおよびクエリアクセスがある場合、時間複雑度がpoly(1/χ, n)、空間複雑度がpoly(n)で定数精度の推定が可能であり、これは量子アルゴリズムの複雑度を多項式オーバーヘッドの範囲で再現する。ガイドなしの場合、時間複雑度が2^O(n)、空間複雑度がpoly(n)となる。これは、同時に効率的な時間・空間境界を達成するという未解決の問題を解決する。

ABSTRACT

We construct classical algorithms computing an approximation of the ground state energy of an arbitrary $k$-local Hamiltonian acting on $n$ qubits. We first consider the setting where a good ``guiding state'' is available, which is the main setting where quantum algorithms are expected to achieve an exponential speedup over classical methods. We show that a constant approximation (i.e., an approximation with constant relative accuracy) of the ground state energy can be computed classically in $\mathrm{poly}\left(1/χ,n ight)$ time and $\mathrm{poly}(n)$ space, where $χ$ denotes the overlap between the guiding state and the ground state (as in prior works in dequantization, we assume sample-and-query access to the guiding state). This gives a significant improvement over the recent classical algorithm by Gharibian and Le Gall (SICOMP 2023), and matches (up a to polynomial overhead) both the time and space complexities of quantum algorithms for constant approximation of the ground state energy. We also obtain classical algorithms for higher-precision approximation. For the setting where no guided state is given (i.e., the standard version of the local Hamiltonian problem), we obtain a classical algorithm computing a constant approximation of the ground state energy in $2^{O(n)}$ time and $\mathrm{poly}(n)$ space. To our knowledge, before this work it was unknown how to classically achieve these bounds simultaneously, even for constant approximation. We also discuss complexity-theoretic aspects of our results.

研究の動機と目的

• ガイド付きハミルトニアン設定下での、古典的アルゴリズムと量子アルゴリズムの間の基底状態エネルギー推定のギャップを埋めること。
• ガイドなしの局所ハミルトニアン問題において、2^O(n)時間とpoly(n)空間の両方を同時に達成する古典的アルゴリズムを実現すること。
• 定数精度近似において、量子位相推定の古典的代替を提供し、量子アルゴリズムのスピードアップを複雑度の観点で再現すること。
• QMA-ハードネスおよび量子PCP予想の文脈における、古典的デキュアンタイゼーションの計算理論的意味を確立すること。

提案手法

• 量子特異値変換（QSVT）フレームワークを用いてスペクトル射影子の多項式近似を構築し、それを古典計算に適応する。
• エネルギー区間の二分探索を用い、閾値より下か上かを判別するための低次多項式に基づくテスト関数を導入する。
• ガイド状態のサンプルおよびクエリアクセスを用いて、期待値⟨ψ|P(A′)|ψ⟩の高確率近似を濃度推定法で行う。
• パラメータτ, θ, ξを用いて多項式Pを構築し、エネルギーが閾値未満の場合は期待値が大きく、超過の場合は小さくなるようにする。これにより二分探索が可能になる。
• 最終推定の高確率正しさを保証するため、O(1/ε)回のテストにユニオンバウンディングを適用する。
• ガイドなしの場合、最大もつれ状態を重なりが2^(-n/2)であるガイド状態として構築し、ガイド付きアルゴリズムの適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 古典的アルゴリズムは、1/χに依存する時間複雑度が量子アルゴリズムと同等になるように、k-局所ハミルトニアンの基底状態エネルギーの定数精度近似を達成できるか？
• RQ2 ガイドなしの局所ハミルトニアン問題において、同時に2^O(n)時間とpoly(n)空間を達成することは可能か？
• RQ3 ガイド付き設定下で、古典的アルゴリズムが量子アルゴリズムの複雑度を再現するための最小の重なりχは何か？
• RQ4 ガイド状態のサンプルおよびクエリアクセスを用いることで、どのようにして位相推定のような量子アルゴリズムの古典的シミュレーションが可能になるか？
• RQ5 局所ハミルトニアン問題や量子PCP予想のような問題において、古典的デキュアンタイゼーションの計算理論的意味は何か？

主な発見

• ガイド状態との重なりがχであるサンプルおよびクエリアクセスがある場合、古典的アルゴリズムはpoly(1/χ, n)時間とpoly(n)空間で基底状態エネルギーの定数近似を計算する。
• 先行研究（GharibianとLe Gall, 2023）から、n^O(log(1/χ)/ε)からpoly(1/χ^{1/ε}, n)へと時間複雑度が改善され、1/χに依存する部分で指数的高速化が達成された。
• 定数精度（ε = Ω(1)）の場合、時間複雑度はpoly(1/χ, n)となり、量子アルゴリズムの複雑度を多項式オーバーヘッドの範囲で再現する。
• 本稿は、ガイドなしの局所ハミルトニアン問題に対して、2^O(n)時間とpoly(n)空間を同時に達成する最初の古典的アルゴリズムを提供し、長年の未解決問題を解決する。
• 多項式近似と濃度推定に基づく新しい二分探索フレームワークを用いることで、高い信頼性で基底状態エネルギーを特定する。
• 最大もつれ状態を普遍的なガイド状態として構築することで、ガイド付きアルゴリズムをガイドなしの状況に適用可能とし、χ = 2^{-n/2}のもとで2^O(n)時間の境界を達成した。