ベリー位相推定の計算量が相互作用数で変わる
On the Computational Complexity of Guided Berry Phase Estimation
この論文をやさしく読む
ひとことで言うと
量子系のベリー位相を求める計算の難しさが、1局所と2局所の相互作用で変わると証明します。
何に役立つ？
量子計算と量子多体系の計算量を比較する際に役立つ理論結果です。実用的な推定器の性能評価ではありません。
この研究の面白いところ
基底状態と重なる案内状態が与えられても2局所の問題はBQP完全で、一方の1局所の場合は効率的に計算できます。格子や相互作用の制限にも結果を広げています。
どこまで分かった？
案内状態と基底状態の重なりの保証など、要旨に記された前提での計算量結果です。実験による検証は記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
系の基底状態と重なりがあると保証された案内状態の古典的な記述が与えられるとき、パラメーターに依存する2局所量子ビットハミルトニアンのベリー位相を判定する問題がBQP完全であると証明する。この結果は、重み付きのハイゼンベルク相互作用を持つ系や、二次元の正方格子または三角格子の幾何に制限した場合にも拡張される。用いる手法は、局所ハミルトニアン問題の摂動ガジェットによる帰着で通常使われるシュリーファー・ウォルフ変換を、パラメーター付きハミルトニアンの族へ拡張する。パラメーター付きの模擬ハミルトニアンを適切に選べば、そのベリー位相が対象となるパラメーター付きの族のベリー位相をよく近似することを示す。OliveiraとTerhal、およびSchuchとVerstraeteの摂動ガジェットによる帰着の枠組みを、パラメーター付き相互作用に適合させ、得られる模擬の誤差を制御できることを示す。さらに、1局所ハミルトニアンの族では、ベリー位相を逆多項式の精度まで効率よく計算できることを明示的に証明する。これにより、1局所と2局所のハミルトニアンの族の間に計算量の転換点があると分かる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that deciding the Berry phase for parameterised 2-local qubit Hamiltonians is BQP-complete when presented with a classical description of a guiding state, promised to overlap with the ground state of the system. Our results extend to systems with weighted Heisenberg interactions and when restricted to a 2D square or triangular lattice geometry. The techniques we develop leverage the Schrieffer--Wolff transformation, typically used in the construction of perturbative gadget reductions for local Hamiltonian problems, extending it to parameterised families of Hamiltonians. We demonstrate that there exists a choice of parameterised simulator Hamiltonians whose Berry phase well-approximates that of a parameterised target family. Using the perturbative gadget reduction framework of Oliveira and Terhal and of Schuch and Verstraete, we adapt the arguments to parameterised interactions and demonstrate the error bounds in the resulting simulation can be controlled. Additionally, we provide an explicit proof that families of 1-local Hamiltonians have a Berry phase that can be efficiently computed to inverse-polynomial precision. This establishes a complexity transition between 1-local and 2-local Hamiltonian families.
著者のコメント
41 + 30 pages; 8 figures. v1: comments welcome
arXiv ID: 2609.25929 ／ 要約の誤りについて