[論文レビュー] Quantum Fast Fourier Transform Viewed as a Special Case of Recursive Application of Cosine-Sine Decomposition

Robert R. Tucci|ArXiv.org|Nov 15, 2004

Quantum Computing Algorithms and Architecture参考文献 4被引用数 8

ひとこと要約

本稿は、量子高速フーリエ変換（qFFT）が、一般の量子コン piling アルゴリズムであるコサイン・サイン分解（re-CSD）の再帰的適用の特殊ケースとして導出可能であることを示している。DFT行列にre-CSDを適用することで、事前に構造を知らなくても、qFFTのO(NB²)の基本ゲート分解が自然に得られ、re-CSDがHNBやUF T(NB)を含むユニタリ行列を効率的にコンパイルする強力で汎用的なフレームワークであることが明らかになった。

ABSTRACT

A quantum compiler is a software program for decomposing ("compiling") an arbitrary unitary matrix into a sequence of elementary operations (SEO). Coppersmith showed that the $ b$-bit Discrete Fourier Transform matrix $U_{FT}$ can be decomposed in a very efficient way, as a sequence of order($ b^2$) elementary operations. Can a quantum compiler that doesn't know a priori about Coppersmith's decomposition nevertheless decompose $U_{FT}$ as a sequence of order($ b^2$) elementary operations? In other words, can it rediscover Coppersmith's decomposition by following a much more general algorithm? Yes it can, if that more general algorithm is the recursive application of the Cosine-Sine Decomposition (CSD).

研究の動機と目的

• Qubiter（再帰的コサイン・サイン分解（re-CSD）を用いる量子コンパイラ）が、DFT行列UF T(NB)をO(NB²)の基本操作に効率的に分解できる理由を説明すること。
• qFFTが特殊目的の構造ではなく、より一般的なre-CSDアルゴリズムの特殊ケースであることを示すこと。
• re-CSDが、これらの構造を事前にハードコードせずとも、ハダマード行列HNBおよびDFT行列UF T(NB)の効率的分解を自然に再発見できることを示すこと。
• re-CSDが、HNBやUF T(NB)を含む広範なユニタリ行列クラスを効率的にコンパイルするスケーラブルで汎用的なフレームワークであることを確立すること。

提案手法

• 本稿は、DFT行列UF T(NB)を再帰的にCSDを適用することで、行列の部分ブロックに再帰的に分解する再帰的コサイン・サイン分解（re-CSD）を用いる。
• re-CSDの前処理としてビット反転置換行列Rを導入し、UF T(NB)を前処理することで、左端または右端の分岐のみを持つ退化したCSD木を構築可能にする。
• DFT行列を行列の積として表現する：UF TR = D4(A3⊕B3)D⊕23(A2⊕B2)⊕2D⊕42(A1⊕B1)⊕4σz⊕8。ここでDrはY軸回転を表す。
• Γr行列とビットラベル付き演算子を用いて再帰的関係を定義し、段階的分解を表現する。Γr+1 = Dr+1 [ArΓr 0; 0 BrΓr]。
• Dr⊕sや対角的位相因子（例：V）が1キュービットおよび2キュービットゲートに対応することを活用する。
• CSD木の順序付き走査を用いてゲートシーケンスを導出し、その順序が標準的なqFFT回路と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 re-CSDを用いる汎用的量子コンパイラが、構造的知識なしにDFT行列UF T(NB)の効率的O(NB²)分解を再発見できるか？
• RQ2 量子高速フーリエ変換（qFFT）は、コサイン・サイン分解（re-CSD）の再帰的適用の特殊ケースか？
• RQ3 ビット置換（特にビット反転）は、UF T(NB)の効率的re-CSD分解を可能にする役割を果たすか？
• RQ4 CSD木の構造（例：退化した左端／右端の分岐）は、得られるゲートシーケンスの効率性とどのように関係するか？
• RQ5 re-CSDを用いて、HNBやUF T(NB)を含む広範なユニタリ行列クラスの効率的分解を体系的に導出できるか？

主な発見

• UF TRにre-CSDを適用することで、O(NB²)の基本操作を有する標準qFFT回路が得られ、qFFTが一般的手法の自然な結果であることが確認された。
• UF T(NB)のre-CSDによる分解は、1キュービットY回転（Dr行列で表す）と制御位相ゲート（Ar⊕Brのような対角行列で表す）のシーケンスとなる。
• ビット反転置換行列Rは、行列構造を整えるために不可欠であり、re-CSDが左端または右端の分岐のみを持つ退化木を生成可能にし、効率的なゲート数を実現する。
• Γr+1 = Dr+1 [ArΓr 0; 0 BrΓr] は、初期行列から全qFFT回路を生成する再帰的公式を提供し、Γ0 = 1である。
• 分解の転置は、標準的なqFFTゲート順序を再現し、既知の回路構造と整合性があることを確認する。
• 本手法により、HNBおよびUF T(NB)の両方の分解がre-CSDの特殊ケースであることが示され、re-CSDが効率的量子回路合成の統合的フレームワークである可能性が示唆された。