[論文レビュー] Uniform Finite Generation of Compact Lie Groups and universal quantum gates

Domenico D’Alessandro|ArXiv.org|Nov 24, 2001

Algebraic structures and combinatorial models参考文献 12被引用数 7

ひとこと要約

この論文は、1パラメータ部分群がコンパクトでなくてもよいという条件下で、コンパクトな連結リー群の任意の元が、固定された有限個のリー代数生成子の指数写像の積として一様に有限生成可能であることを証明している。主な結果は、共役とコンパクト性の議論を用いてリー代数の基底を構成することで、ローレンスの「一様有限生成」を一般のコンパクトリー群へ拡張したものであり、量子コンピューティングにおけるユニバーサル量子ゲート合成に直接的な応用を持つ。

ABSTRACT

Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This means that every element $K \in G$ can be expressed as $K=e^{Xt_1}e^{Xt_2} \cdot \cdot \cdot e^{Xt_l}$, where the indeterminates $X$ are in the set $\{X_1,...,X_m \}$, $t_i \in \RR$, $i=1,...,l$, and the number $l$ is uniformly bounded. This extends a previous result by F. Lowenthal in that we do not require the connected one dimensional Lie subgroups corresponding to the $X_i$, $i=1,...,m$, to be compact. We discuss the consequence of this result to the question of universality of quantum gates in quantum computing.

研究の動機と目的

• 任意の一次独立なリー代数生成子の集合を用いて、コンパクトな連結リー群の一様有限生成を確立すること。
• ローレンスの先行結果で要請されていた1パラメータ部分群のコンパクト性仮定を緩和すること。
• 物理的実装可能性を考慮して、時間パラメータを非負に制限した場合の結果への拡張。
• 深さ有界な回路深度を持つユニバーサル量子ゲートセットの理論的基盤を提供すること。
• リー群の分解および量子制御に関する既存結果を統合・一般化すること。

提案手法

• 生成子集合の要素による相似変換を用いてリー代数の基底を構成し、線形独立性およびリー括弧演算における閉包を保証する。
• 逆関数定理を適用し、リー群における単位元の近傍が、基底要素の指数写像の積によってパラメトライズ可能であることを示す。
• 新しい基底要素を生成するために必要な共役の回数に対する再帰的評価を用い、再帰式 $ r_k = 2r_{k-2} + r_{k-1} + 1 $ で定義される $ r_k $ を用いて、因子数の上界を一様に導出する。
• 群のコンパクト性を応用し、近傍の有限個の平行移動で $ G $ を被覆することで、群の全要素に対して一様な生成が保証される。
• 時間パラメータ $ t_i \geq 0 $ に制限した場合に、正の時間パラメータの指数写像が生成する半群が稠密で内部をもつことから、群全体に等しいことを示し、非負パラメータへの拡張を実現する。
• ジュルジエヴィッチとサスマンの定理3を組み合わせることで、非負パラメータを用いた一様生成を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな連結リー群の任意の元は、固定された有限個のリー代数生成子の指数写像の積として、因子数が一様に有界な形で表現可能か？
• RQ2 生成される1パラメータ部分群がコンパクトでなくても、一様有限生成性は成立するか？
• RQ3 物理的制御系の実装可能性を考慮し、時間パラメータを非負に制限した場合に、一様生成が達成可能か？
• RQ4 任意の群元を生成するために必要な指数因子の最大数（最悪ケース）の上限は何か？
• RQ5 この結果は、ユニバーサル量子ゲートおよび量子制御に関する先行結果をどのように一般化するか？

主な発見

• コンパクトな連結リー群 $ G $ の任意の元 $ K $ は、$ K = e^{Xt_1} e^{Xt_2} \cdots e^{Xt_l} $ の形に表され、ここで $ X \in \{X_1, \dots, X_m\} $、$ t_i \in \mathbb{R} $、かつ $ l $ は $ G $ 全体にわたって一様に有界である。1パラメータ部分群のコンパクト性を仮定しない場合でも成立する。
• 因子数の上界は $ l \leq n + 2\sum_{k=1}^{n-m} r_k $ で与えられ、ここで $ r_k $ は再帰式 $ r_1 = 1, r_2 = 2, r_k = 2r_{k-2} + r_{k-1} + 1 $ を満たす。
• 時間パラメータを非負に制限した場合（すなわち $ t_i \geq 0 $）でも結果が成り立ち、制御系および量子系における物理的実装可能性が保証される。
• 証明は、生成子による共役を用いたリー代数の基底構成に依拠し、その後にコンパクト性と開被覆の議論を用いて局所的な生成を群全体へ拡張する。
• 一様有限生成の結果は、量子コンピューティングにおける任意のユニタリ変換が、基本的な量子ゲートの深さ有界な回路で実装可能であることを示唆する。
• この手法はローレンスの先行結果を一般化・強化し、1パラメータ部分群のコンパクト性仮定を排除することで、すべてのコンパクトリー群への応用範囲を広げた。