arXiv論文メモ
新着一覧
quant-ph · 査読状況未確認

量子線形方程式のためのシュレーディンガー化の線形結合と最適行列クエリ計算量

Linear combination of Schrödingerization for quantum linear systems with optimal matrix-query complexity

Yin Yang and Yue Yu and Long Zhang

この論文をやさしく読む

ひとことで言うと

連立一次方程式を、移流方程式とユニタリな時間発展の線形結合へ変換して解く量子アルゴリズムです。

何に役立つ?

量子計算で行列や右辺の情報を何回呼び出す必要があるかを減らす、アルゴリズム設計の基礎になります。

この研究の面白いところ

補助区間全体から解を回収する構成により、単一格子点を選ぶ際の成功確率の損失を避けます。可変時間振幅増幅を使わず、条件数と精度に対する最適な問い合わせ数を達成するとしています。

どこまで分かった?

保証には所定のオラクル仮定と、解のノルムの定数倍精度の見積もりが必要です。行列問い合わせ数の最適性であり、任意の実装の総実行時間が最適という意味ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

量子線形系アルゴリズム(QLSA)は、条件次第で線形方程式Ax=bを古典手法より指数的に高速に解くことを目指す。本研究ではODEに基づく観点から線形代数方程式を解く量子アルゴリズムを構築する。フーリエ法のHamiltonianシミュレーションの線形結合(LCHS)表現に着想を得て、解xを線形移流方程式系の解の線形結合で表す。この系はフーリエ領域ではユニタリ発展を持つシュレーディンガー型方程式になる。この表現をLC-Schrödinger化と呼ぶ。 この結果に基づき、時間発展用と数値積分用に二つのLCHSを使う量子アルゴリズムを構成する。中心構成ではガウス平滑化した帽関数の導関数を用い、固定補助区間上で解を復元する。これにより打ち切り時間を目標精度から独立にでき、単一格子点の選択による成功確率の損失を避ける。周期化と明示的フーリエ係数から射影誤差上界を得る。記載したオラクル仮定の下で、解ノルムの定数倍推定値が与えられれば、select演算子の直接シミュレーションとブロック前処理により、可変時間振幅増幅(VTAA)なしで最適な行列クエリ計算量O(κA log(1/ε))を達成する。同じ上界は右辺準備オラクルへのクエリにも成立する。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-17(UTC)
最新改訂
2026-09-17 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Quantum linear systems algorithms (QLSAs) aim to solve linear systems $A\bb{x}=\bb{b}$ exponentially faster than classical methods under certain conditions. In this work, we develop quantum algorithms for solving linear algebraic equations from an ODE-based perspective. Inspired by the linear combination of Hamiltonian simulation (LCHS) representation in the Fourier approach \cite{Childs2017QLSA}, we express the solution $\bb{x}$ as a linear combination of solutions to a system of linear convection equations, which become Schrödinger-type equations with unitary evolutions in the Fourier domain. We refer to this representation as LC-Schrödingerization. Based on this result, we construct an LCHS-based quantum algorithm with two LCHS instances: one for time-marching and one for numerical integration. The key construction uses the derivative of a Gaussian-smoothed hat function and recovers the solution over a fixed auxiliary interval. This permits a truncation time independent of the target accuracy and avoids the loss in success probability from selecting a single grid point. Periodization and explicit Fourier coefficients provide the corresponding projection error bounds. Under the stated oracle assumptions and given a constant-factor estimate of the solution norm, direct simulation of the select operators and block preconditioning achieve the optimal matrix-query complexity $\mathcal{O}(\kappa_A\log\frac1\varepsilon)$ without using variable-time amplitude amplification (VTAA). The same upper bound holds for queries to the right-hand-side preparation oracle.

arXiv ID: 2609.19676 / 要約の誤りについて