[論文レビュー] A Rudimentary Quantum Compiler(2cnd Ed.)

Robert R. Tucci|ArXiv.org|Feb 18, 1999

Advanced Thermodynamics and Statistical Mechanics参考文献 9被引用数 32

ひとこと要約

この論文は、CS分解（CSD）技術を用いて任意のユニタリ行列を基本的な量子ゲートのシーケンスに分解する、新しい量子コンパイラアルゴリズムを提示する。CSDを再帰的に適用して行列の二分木構造を構築することで、コンパクトな量子回路を効率的に生成し、量子FFTを特別なケースとして再現する。この手法により、ユニバーサル量子計算に適した短く最適化されたゲートシーケンスが得られる。

ABSTRACT

We present a new algorithm for reducing an arbitrary unitary matrix U into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). Our algorithm applies recursively a mathematical technique called the CS Decomposition to build a binary tree of matrices whose product, in some order, equals the original matrix U. We show that the Fast Fourier Transform (FFT) algorithm is a special case of our algorithm. We report on a C++ program called "Qubiter" that implements the ideas of this paper. Qubiter(PATENT PENDING) source code is publicly available.

研究の動機と目的

• 任意のユニタリ行列を基本的な量子ゲートのシーケンスに還元する汎用的量子コンパイラの開発を目的とする。
• 大きなユニタリ演算子を物理的に実装可能な量子回路に効率的に分解する課題に取り組む。
• 量子FFTやハダマード変換といった既知の最適ベンチマークと同等のコンパクトなゲートシーケンスを達成する。
• 実用的利用およびさらなる開発を可能にするために、公開されたC++実装（Qubiter）を提供する。

提案手法

• アルゴリズムは、ユニタリ行列 U を、ブロック対角行列と中心の D 行列（コサインおよびサインパラメータを含む）の積に再帰的に分解するために、CS分解（CSD）を適用する。
• CSDの構造により、ユニタリ性が保たれ、ユニタリ行列の階層的・二分木型の分解が可能になる。
• 角度が [0°, 90°] の範囲にある D 行列から導かれる制御回転と位相シフトを用いることで、効率的なゲート合成が可能になる。
• 行列の因数分解 U = L D R を活用し、L および R はユニタリブロック、D は対角コサイン／サイン要素を含む。
• 複素数 D 行列からの位相抽出によりゲートシーケンスを最適化し、可能であればゲート数を削減する。
• C++プログラムである Qubiter（特許出願中）がアルゴリズムを実装し、ソースコードを公開している。

実験結果

リサーチクエスチョン

• RQ1 数学的根拠に基づいたアプローチを用いて、任意のユニタリ行列を基本的な量子ゲートのシーケンスに分解できる汎用的量子コンパイラを設計できるか？
• RQ2 従来の手法と比較して、CS分解はどのように効率的でコンパクトな量子回路合成を可能にするか？
• RQ3 アルゴリズムは、量子FFT やハダマード変換といった既知の最適回路をどの程度正確に再現できるか？
• RQ4 特定のチューニングを必要とせずに、近似的に最小のゲート数のシーケンスを生成できるか？
• RQ5 位相抽出と行列の置換は、最終的な回路における制御ゲート数の最小化において果たす役割は何か？

主な発見

• アルゴリズムは量子高速フーリエ変換（FFT）を正確に再現し、既知の最適ゲート数に達する能力を示している。
• 理論的ベンチマークと一致するゲートシーケンス長が達成されている：ハダマード変換では O(N_B)、離散フーリエ変換では O(N_B²)。
• 再帰的なCS分解の適用により、ユニタリ行列の二分木構造を形成することで、コンパクトな量子回路が生成される。
• 角度が [0°, 90°] の範囲にある D 行列の使用により、制御回転と位相シフトへの効率的分解が可能になる。
• 位相抽出最適化を有効にすると、特定の演算を制御回転ではなく制御位相シフトとして表現でき、ゲート数が削減される。
• Qubiter C++プログラムはアルゴリズムを正常に実装し、ソースコードを公開しており、再現性とさらなる開発を可能にしている。