[論文レビュー] An Introduction to Cartan's KAK Decomposition for QC Programmers

Robert R. Tucci|ArXiv.org|Jul 18, 2005

Quantum Computing Algorithms and Architecture参考文献 11被引用数 47

ひとこと要約

本論文は、量子コンピューティングプログラマーを対象に、線形代数に基づく構成的証明を提供する。CartanのKAK分解の特殊な場合（KAK1）に焦点を当て、SU(4)に属する任意の2キュービットユニタリ操作を、非局所的エンタングルゲート（3パラメータ）を挟んだ局所的1キュービットゲートの積に分解する。主な貢献は、SU(2)×SU(2)の同型性とEckart-Youngの定理を用いた厳密でアルゴリズム的な導出であり、実用的な量子回路合成を可能にするOctave/Matlabのmファイルによる完全実装を提供する。

ABSTRACT

This paper presents no new results; its goals are purely pedagogical. A special case of the Cartan Decomposition has found much utility in the field of quantum computing, especially in its sub-field of quantum compiling. This special case allows one to factor a general 2-qubit operation (i.e., an element of U(4)) into local operations applied before and after a three parameter, non-local operation. In this paper, we give a complete and rigorous proof of this special case of Cartan's Decomposition. From the point of view of QC programmers who might not be familiar with the subtleties of Lie Group Theory, the proof given here has the virtues, that it is constructive in nature, and that it uses only Linear Algebra. The constructive proof presented in this paper is implemented in some Octave/Matlab m-files that are included with the paper. Thus, this paper serves as documentation for the attached m-files.

研究の動機と目的

• Lie群理論に馴染みのない量子コンピューティングプログラマー向けに、KAK1分解の教育的で構成的な証明を提供すること。
• SU(4)に属する任意の2キュービットユニタリが、局所的操作と3パラメータ非局所的エンタングルゲートの積に因数分解可能であることを示すこと。
• 高度な微分幾何学やリー理論を避けて、線形代数のみを用いた手法を提供すること。
• 併せて提供されるOctave/Matlabのmファイルに実装された分解アルゴリズムのドキュメンテーションとしての役割を果たすこと。
• 2キュービットゲートの標準パラメータ化を提供することで、実用的な量子回路合成を可能にすること。

提案手法

• 2キュービット操作と1キュービットゲートのテンソル積との関係を、同型性SU(2)×SU(2)/{±1} ≅ SO(4)を用いて関係づける。
• 2つの行列の同時特異値分解を導出するため、Eckart-Youngの定理を適用する。
• SU(4)演算子を、分解が明確になる形に変換するため、マジックベクトル変換行列Mを用いて共役変換する。
• 構成的行列操作とパラメータ化を通し、U = (A₁⊗A₀)e^{i𝐤⋅Σ}(B₁⊗B₀)の形の標準形を導出する。
• 任意の3パラメータのベクトル𝐤を、四面体領域𝒦内に一意の標準代表元に写像するために、クラスを保存する操作（符号反転、置換、π/2のシフト）を用いる。
• Octave/Matlabのmファイルにアルゴリズムを実装し、分解、標準化、ゲート合成のための関数を提供する。

実験結果

リサーチクエスチョン

• RQ1 2キュービット量子ゲートのKAK1分解を、高度なリー群理論を用いずに、線形代数のみでどのように導出できるか？
• RQ2 任意のSU(4)ゲートが、局所的ゲートと3パラメータ非局所ゲートの積として表現可能となる完全な条件は何か？
• RQ3 量子回路合成を支援するために、分解をどのようにアルゴリズム的に構成的に行えるか？
• RQ4 分解の非局所的側の標準パラメータ空間は何か？ 任意のパラメータベクトルをその空間に写像する方法は？
• RQ5 CNOTや√CNOTといった標準量子ゲートは、この標準パラメータ空間にどのように写像されるか？

主な発見

• KAK1分解は、微分幾何学の深い知識がなくても、量子コンピューティング実務者にアクセス可能な線形代数のみを用いて厳密に証明された。
• SU(4)に属する任意の2キュービットゲートは、正確に(A₁⊗A₀)e^{i𝐤⋅Σ}(B₁⊗B₀)の形に分解可能であり、ここでA₁,A₀,B₁,B₀ ∈ SU(2)、𝐤 ∈ ℝ³である。
• 標準パラメータ空間𝒦は、π/2 > kₓ ≥ kᵧ ≥ k_z ≥ 0 および kₓ + kᵧ ≤ π/2 を満たす四面体領域であり、さらにk_z = 0のときkₓ ≤ π/4の追加制約がある。
• CNOTゲートは標準ベクトル(π/4, 0, 0)に写像され、標準領域の点Bに対応する。
• √CNOTゲートは(π/8, 0, 0)に写像され、エクスチェンジャー（スワッパー）ゲートは(π/4, π/4, π/4)に写像され、四面体の頂点に位置する。
• 符号反転、置換、π/2のシフトといったクラスを保存する操作を用いて、任意のパラメータベクトル𝐤を𝒦内の一意の標準代表元に写像するアルゴリズムが提供されている。