Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm

技術要約：最適に境界付けられた量子状態準備アルゴリズムの代数的削減

問題提起
量子状態準備（QSP）は、線形システムソルバー、ハミルトニアンシミュレーション、量子化学、および機械学習を含む数多くの量子アルゴリズムにおいて必要とされる基本的なサブルーチンである。主要な課題は、初期状態 $|0\rangle^{\otimes n}$ を所望のターゲット状態 $|\psi\rangle = \sum c_i |i\rangle$ へと写すユニタリ演算子 $U$ の回路複雑性（深さ、ゲート数、およびCNOTカウント）を最小化することにある。Sunらによるアルゴリズム（SUN）は、漸近的な時空トレードオフに関して最適に境界付けられている（補助量子ビットを利用して深さを削減する）ことが知られているが、その実装には各一様制御ゲート（UCG）に対して3つの $\Lambda$ 型演算子の分解が含まれる。本論文は、より効率的な代数的分解を通じて、SUNアルゴリズムの回路深さとゲート数を削減する機会に対処するものである。特に、補助量子ビットの数 $m$ が $2^n \leq m \leq 2^n/n$ を満たすパラメータ範囲において焦点を当てる。

手法
著者らは、ユニタリ演算子のより単純な代数的分解を導入する、OSUNと呼ばれる新しいQSPアルゴリズムを提案している。核心となる手法の転換は、目的の状態の準備を2つの明確なユニタリ・ブロックに分離することである：

1. 実部 ($U_{mod}$): ターゲット状態の係数の実数絶対値（振幅）を準備するユニタリ。
2. 複素部 ($D_{ph}$): 必要な複素位相を適用する対角ユニタリ。

従来のSUNの枠組みでは、ラダー構造内の各UCGは、実数成分と複素成分の両方の対角位相シフトを個別に扱う3つの $\Lambda$ 型演算子へと分解される。提案されているOSUNアルゴリズムは、$U_{mod}$ が実数振幅の準備のみを必要とする事実を利用している。UCGを $R_y$ ブロック対角行列に制限し、特定のゲートセット変更（$R_y(\gamma) \equiv SH \cdot R_z(\gamma) \cdot HS^\dagger$）を利用することで、著者らは、実部準備における各UCGが3つの $\Lambda$ 型演算子の代わりに単一の $\Lambda$ 型演算子を用いて実装できることを示している。複素位相の情報は、その後、単一の最大次元の $\Lambda$ 演算子を介して回路の最後に適用される。

この分解により、以前のSUNの実装で確立された5段階のフーリエ空間総和法を用いて、補助レジスタへの操作を並列化しつつ、各レベルあたりの $\Lambda$ コンストラクタの数を削減することが可能となる。

主な貢献
本論文は、以下の6つの具体的な貢献を概説している：

1. SUNの最適化: Sunら [40, Theorem 1] で定義された最適な時空トレードオフの第1の範囲全体において、SUNアルゴリズムを改善する新しいQSPアルゴリズム。
2. 代数的分解: 実部と複素部を分離することで、各UCGを単一の $\Lambda$ 型コンストラクタで実装でき、ゲートレベルあたりのカウントを3から1に削減できることを示す導出。
3. よりタイトな漸近境界: 指定されたパラメータ範囲における時空トレードオフの、よりタイトな漸近的最適境界の形式的な分析。
4. 実装: GitHubで公開されている、PennyLaneライブラリを用いたOSUNアルゴリズムの完全な実装。
5. 広範な検証: 密な状態、疎な状態、ランダムな係数（実数正、実数負、複素数）、および物理的に関連のある状態（Bell, GHZ, W, Dicke）を対象とし、最大10量子ビットまでのテストを実行した、パルマ大学のHPCシステムによる包括的な検証。
6. 比較分析: Möttönenらのアルゴリズム（補助量子ビットなしの標準的なQSP）およびオリジナルのSUN実装との直接的な性能比較を行い、深さ、総ゲート数、CNOTカウント、およびゲートタイプを評価。

結果
シミュレーション結果は、OSUNアルゴリズムがオリジナルのSUN実装と比較して、回路深さの系統的な削減を実現していることを示している。

• 複雑性分析: 理論的分析により、漸近的な複雑性クラスは $O(n^2 + 2^n/m)$ のままであるものの、支配的な項の係数が大幅に減少していることが確認された。具体的には、対数線形項（$n \log m$）は3倍の改善を示し、指数項（$2^n/m$）は2倍の改善を示している。
• シミュレーション指標: 複素係数を持つランダムな状態に対して、OSUNは6量子ビットから、MöttönenおよびオリジナルのSUNの両方よりも浅い深さを実現している。深さの成長曲線は、オリジナル版よりも滑らかである。
• ゲート数: OSUNは深さを削減する一方で、総ゲート数およびCNOT数はMöttönenのアルゴリズムと比較して減少は示さなかった。しかし、著者らはゲートセットの構成の変化に注目している。MöttönenのアプローチはCNOTと回転を使用するが、OSUNはCNOTと位相シフト（対角演算子）を利用する。
• フィデリティ: アルゴリズムは、テストされたすべての状態タイプおよび量子ビット数（2〜10）において、高いフィデリティ（1に近い）と低いトレース距離を維持している。

意義と主張
本論文は、提案された代数的削減が、その基本的な漸近的複雑性クラスを変更することなく、最先端のSUNアルゴリズムに対する実用的な改善を提供すると主張している。深さとゲート数の定数係数を減少させることで、OSUNは補助量子ビットが利用可能な領域（$m \geq 2^n$）において、より効率的な状態準備回路を提供する。著者らは、この最適化が最適なトレードオフの全範囲の第1パラメータ範囲に適用されることを明示している。また、将来の研究として、補助レジスタが指数関数的に増大する他のドメインにおけるこれらの利点の拡張を示唆している。結論として、OSUNは深さを改善するものの、将来的な調査では、実際のハードウェアにおける量子ビットの接続性や、フォールトトレラントな文脈における複雑性を完全に評価するためのClifford+Tゲートセットへの変換に対処すべきであると述べている。本研究は、一般的なQSP問題をすべてのハードウェア制約に対して解決することを主張するものではなく、既存の補助戦略を用いたSUNフレームワークに対する特定の、検証済みの改善を提供するものである。