[論文レビュー] Optimal Realization of an Arbitrary Two-Qubit Quantum Gate

Farrokh Vatan, Colin P. Williams|arXiv (Cornell University)|Aug 1, 2003

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

ひとこと要約

本稿では、任意の2キュービット量子ゲートを最大16個の単一キュービットゲートと3個のCNOTゲートを用いて最適な分解を提示し、これが可能な最小のゲート数であることを証明している。SO(4)に属する2キュービットゲートの場合、構成は12個の単一キュービットゲートと2個のCNOTゲートに簡略化され、量子回路合成の理論的下界が確立される。

ABSTRACT

By an explicit construction, we show that an arbitrary two-qubit gate can be implemented by using at most 16 elementary one-qubit gates and 3 CNOT gates. We show that this construction is optimal; in the sense that these numbers of gates is the minimal possible ones. Moreover, we show that if the two-qubit gate belongs to SO(4), then we need only 12 elementary one-qubit gates and 2 CNOT gates. 1

研究の動機と目的

• 任意の2キュービット量子ゲートを実装するために必要な基本量子ゲートの最小数を特定すること。
• すべての2キュービット操作においてこの最小ゲート数を達成する普遍的な構成を確立すること。
• 提案された分解がCNOTおよび単一キュービットゲートリソースの観点から最適であることを証明すること。
• 物理的に重要な部分群であるSO(4)に属する2キュービットゲートの特殊ケースにおけるゲート数の低減を特定すること。
• 量子ゲート合成の理論的下界に達する構成的メソッドを提供すること。

提案手法

• 任意の2キュービットゲートを単一キュービット回転とCNOTゲートのシーケンスに分解する明示的なパラメトリック構成が開発された。
• SU(4)のカルタン分解を活用して、エンタングリング操作と局所的操作にゲート分解を構造化した。
• 制御位相および制御ノット操作を用いてエンタングリング層を最適化することで、CNOTゲートの数を体系的に最小化した。
• SU(4)群の次元と基本ゲートのパラメータ空間に基づく数え上げ的議論により、最適性が証明された。
• SO(4)ゲートの場合、実直交行列の特別な構造を活用して、ゲート数を12個の単一キュービットゲートと2個のCNOTゲートにまで低減した。
• すべての分解が標準的な量子ゲートセットで実現可能であることを保証したため、実用的実装が可能である。

実験結果

リサーチクエスチョン

• RQ1 任意の2キュービット量子ゲートを実装するために必要なCNOTおよび単一キュービットゲートの最小数は何か？
• RQ2 この最小ゲート数は明示的かつ体系的な構成によって達成可能か？
• RQ3 分解が最適であるとは、いかなる2キュービットゲートに対してもより少ないゲート数では実現できないことを意味するか？
• RQ4 SO(4)に属する2キュービットゲートの特殊ケースではゲート数がどのように低減するか？
• RQ5 群論的および次元的議論を用いて、この構成の最適性を厳密に証明できるか？

主な発見

• 本稿では、任意の2キュービットゲートを最大16個の単一キュービットゲートと3個のCNOTゲートで実装でき、この上限はタイトであることが確立された。
• すべての2キュービット操作を実現可能なより少ない基本ゲートの組み合わせは存在しないため、この構成が最適であることが証明された。
• SO(4)に属する2キュービットゲートの場合、最小分解には12個の単一キュービットゲートと2個のCNOTゲートのみが必要であり、顕著な低減が達成された。
• 最適性結果は、SU(4)群の次元と基本ゲートのパラメータ空間の次元解析から導出された。
• 量子回路合成の理論的下界に達する体系的で明示的な分解が提供された。
• これらの結果は、線形光学およびスーパーコンダクティングキュービットアーキテクチャにおける量子回路最適化とゲート合成の基盤的ベンチマークを提供する。