[論文レビュー] Infinite quantum signal processing

Yulong Dong, Lin Lin+2 more|arXiv (Cornell University)|Sep 21, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、ℓ¹空間における位相因子を用いて非多項式関数を表現可能な、量子信号処理の一般化である無限量子信号処理（IQSP）を導入する。ℓ¹ノルムが有界である場合、位相因子が収束することを証明し、大次数近似において収束が保証される数値的に安定な固定点アルゴリズム（倍精度演算を用いる）を提示する。

ABSTRACT

Quantum signal processing (QSP) represents a real scalar polynomial of degree $d$ using a product of unitary matrices of size $2 imes 2$, parameterized by $(d+1)$ real numbers called the phase factors. This innovative representation of polynomials has a wide range of applications in quantum computation. When the polynomial of interest is obtained by truncating an infinite polynomial series, a natural question is whether the phase factors have a well defined limit as the degree $d o \infty$. While the phase factors are generally not unique, we find that there exists a consistent choice of parameterization so that the limit is well defined in the $\ell^1$ space. This generalization of QSP, called the infinite quantum signal processing, can be used to represent a large class of non-polynomial functions. Our analysis reveals a surprising connection between the regularity of the target function and the decay properties of the phase factors. Our analysis also inspires a very simple and efficient algorithm to approximately compute the phase factors in the $\ell^1$ space. The algorithm uses only double precision arithmetic operations, and provably converges when the $\ell^1$ norm of the Chebyshev coefficients of the target function is upper bounded by a constant that is independent of $d$. This is also the first numerically stable algorithm for finding phase factors with provable performance guarantees in the limit $d o \infty$.

研究の動機と目的

• 多項式次数 d → ∞ の際、非多項式関数を近似する際の量子信号処理における位相因子が、無限級数としての意味で明確な極限を持つかどうかを調査すること。
• 非多項式の目的関数に対して、ℓ¹空間における位相因子の収束条件を確立すること。
• 収束保証付きの数値的に安定で効率的なアルゴリズムを、無限次数極限における位相因子の計算に開発すること。
• 目的関数の正則性と、それに対応する位相因子の減衰特性との関係を明らかにすること。
• 量子特異値変換を用いて、滑らかで多項式でない関数の実用的量子アルゴリズムを可能にすること。

提案手法

• Chebyshev係数のℓ¹ノルムが有界である限り収束を保証するℓ¹空間における無限列の位相因子への量子信号処理の一般化。
• 固定点反復アルゴリズム（アルゴリズム1）を用いて位相因子を計算し、倍精度演算に依存し、‖c‖₁ ≤ r_c の条件下で収束が保証される。
• ℓ¹空間における導関数行列 DF の構造と可逆性を解析し、解の存在と一意性を確立する。
• 滑らかな関数をChebyshev多項式展開で表現し、その係数の減衰と位相因子の減衰との関係を分析する。
• Banach空間理論と行列ノルム推定を用いて、固定点法の収束性と安定性を証明する。
• |x|³ や f_even および f_odd の奇関数成分・偶関数成分といった目的関数を用いて数値的検証を行い、既存のソルバと比較する。

実験結果

リサーチクエスチョン

• RQ1 多項式次数 d → ∞ の際、量子信号処理における位相因子がどのような条件下で収束するか。
• RQ2 非多項式関数に対して、ℓ¹空間における極限が存在するような一貫性のある位相因子のパrameterizationを定義可能か。
• RQ3 目的関数の正則性と、それに対応する位相因子の減衰速度との関係は何か。
• RQ4 無限次数極限における位相因子の計算に、数値的に安定で収束が保証されるアルゴリズムを構築可能か。
• RQ5 提案された固定点アルゴリズムの性能は、QSPPACKなどの既存手法と比較して、速度と精度の面でどのように異なるか。

主な発見

• 目的関数のChebyshev係数のℓ¹ノルムが、d とは無関係な定数で有界である限り、位相因子はℓ¹空間で収束する。
• 固定点反復アルゴリズムは、同一のℓ¹ノルム条件のもとで収束が保証され、CPU時間はτ²に比例するO(τ²)でスケーリングする（τは切断次数）。
• 収束に必要な反復回数は、τに依存せず安定しており、τ ≤ 1000 の範囲で通常14〜16回程度である。
• 位相因子の減衰がChebyshev係数の減衰と密接に一致しており、関数の滑らかさと位相因子のスパarsity（スパース性）との強い関連性が示唆される。
• 数値実験では、アルゴリズムがQSPPACKを上回る速度を発揮し、τが大きくてもε = 10⁻¹²の高精度を維持する。
• 理論的境界を超過するℓ¹ノルム（例：τ = 3.2332）に対しても、本手法は有効であるため、条件の緩和が可能である可能性がある。