[論文レビュー] Non-Linear Transformations of Quantum Amplitudes: Exponential Improvement, Generalization, and Applications

Arthur G. Rattew, Patrick Rebentrost|arXiv (Cornell University)|Sep 18, 2023

Quantum Computing Algorithms and ArchitectureComputer Science被引用数 3

ひとこと要約

この論文は、対角ブロック符号化と量子信号処理を用いて、量子状態の振幅を非線形に変換するための新しい量子アルゴリズムフレームワークを提示する。従来の手法と比較して、最大で指数的スピードアップを達成する。ℓ₂ノルム誤差εを伴うtanhのような関数の効率的適用が可能で、O(log(N/ε))のクエリで実現可能であるのに対し、従来はO(√N log(N/ε))を要した。また、証明可能な誤差境界を備えた広範な非線形関数クラスへ一般化可能である。

ABSTRACT

Quantum algorithms manipulate the amplitudes of quantum states to find solutions to computational problems. In this work, we present a framework for applying a general class of non-linear functions to the amplitudes of quantum states, with up-to an exponential improvement over the previous work. Our framework accepts a state preparation unitary (or block-encoding), specified as a quantum circuit, defining an $N$-dimensional quantum state. We then construct a diagonal block-encoding of the amplitudes of the quantum state, building on and simplifying previous work. Techniques from the QSVT literature are then used to process this block-encoding. The source of our exponential speedup comes from the quantum analog of importance sampling. We then derive new error-bounds relevant for end-to-end applications, giving the error in terms of $\ell_2$-norm error. We demonstrate the power of this framework with four key applications. First, our algorithm can apply the important function $ anh(x)$ to the amplitudes of an arbitrary quantum state with at most an $\ell_2$-norm error of $ε$, with worst-case query complexity of $O(\log(N/ε))$, in comparison to the $O(\sqrt{N}\log(N/ε))$ of prior work. Second, we present an algorithm solving a new formulation of maximum finding in the unitary input model. Third, we prove efficient end-to-end complexities in applying a number of common non-linear functions to arbitrary quantum states. Finally, we generalize and unify existing quantum arithmetic-free state-preparation techniques. Our work provides an important and efficient algorithmic building block with potentially numerous applications in areas such as optimization, state preparation, quantum chemistry, and machine learning.

研究の動機と目的

• 従来の線形変換に基づく量子アルゴリズムの制限を克服し、非線形関数を量子状態の振幅に適用する一般的で効率的なフレームワークを開発すること。
• 量子アナログの重要度サンプリングとブロック符号化技術を活用することで、振幅変換タスクにおいて指数的スピードアップを達成すること。
• エンドツーエンドの応用において、厳密なℓ₂ノルム誤差境界を導出し、量子機械学習、最適化、量子化学における実用的利用を可能にすること。
• 既存の量子算術フリー状態準備技術を統一的かつスケーラブルなフレームワークの下に一般化すること。
• 4つの主要な応用を通じてフレームワークの有効性を示すこと：tanhの適用、最大値探索、一般非線形関数の適用、状態準備。

提案手法

• ユニタリ回路によって準備された量子状態の振幅の対角ブロック符号化を構築し、解析を単純化するとともに、効率的な処理を可能にする。
• ブロック符号化された振幅演算子に量子信号処理（QSP）技術を適用し、多項式近似を用いて非線形変換を実装する。
• 特定のケースで、クエリ複雑度を指数的に改善するために、重要度サンプリングの量子アナログを用いる。O(√N)からO(log N)への依存性の低減を達成する。
• 関数f(ψ_j)が区間[−1,1]上で低次の多項式でよく近似可能であることに着目し、QSPに基づく実装を効率的に行えるようにする。
• 部分空間誤差定義を用い、エンドツーエンドの量子アルゴリズムに適用可能なタイトで新しいℓ₂ノルム誤差境界を導出する。
• 複素振幅に対してもこのアプローチを一般化し、アーキテクチャのアダルタキュービット数をO(n)からO(1)に削減する可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 非線形関数を、従来の手法と比較して指数的スピードアップを達成できるように、量子状態の振幅に適用できるか？
• RQ2 実用的な量子アルゴリズムにおいて、振幅変換のℓ₂ノルム誤差を厳密に境界付け・最小化できるか？
• RQ3 このフレームワークは、tanh や逆三角関数を含む広範な非線形関数クラスに一般化可能か？
• RQ4 このアルゴリズムは、ユニタリ入力モデルにおける最大値探索といった新しい問題を解けるか？
• RQ5 既存の量子算術フリー状態準備技術は、この新しいフレームワークの下で統合・簡素化可能か？

主な発見

• tanhの振幅への適用において、ℓ₂ノルム誤差εを伴うクエリ複雑度がO(log(N/ε))に抑えられ、従来のO(√N log(N/ε))の境界と比較して指数的改善を達成した。
• ユニタリ入力モデルにおける最大値探索の新しい定式化が可能となり、エンドツーエンドの複雑度が効率的になった。
• 区間[−1,1]上で低次の多項式でよく近似可能な任意の関数fについて、f(ψ_j)の振幅への適用が、O(polylog(1/ε))の複雑度で実現可能である。
• ℓ₂ノルム誤差境界が導出され、タイトであることが示され、エンドツーエンドの応用における信頼性の高い誤差解析を可能にした。
• 対角ブロック符号化の構築により解析が単純化され、QSPを用いた非線形変換の効率的実装が可能になった。
• このフレームワークは、既存の量子算術フリー状態準備技術を一般化・統合し、量子機械学習、最適化、量子化学の分野における広範な適用可能性を示した。