[論文レビュー] Quantum circuits of c -- Z and SWAP gates optimization and entanglement

Marc Bataille, Jean-Gabriel Luque|arXiv (Cornell University)|Oct 2, 2018

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

ひとこと要約

本稿は、制御Z（c-Z）およびSWAPゲートから構成される量子回路に焦点を当て、それらが合成に関して有限群を形成することを証明する。この群の代数的構造に基づき、効率的な簡略化アルゴリズムを導入し、特にSLOCC同値性を用いてエンタングルメントの生成を分析する。その結果、特定のエンタングル状態、例えばV₃、V₉、V₁₄は、|0000⟩状態からこれらのゲートのみを用いて生成可能であることが明らかになった。

ABSTRACT

We have studied the algebraic structure underlying the quantum circuits composed by $\\cZ$ and $\\Swap$ gates. Our results are applied to optimize the circuits and to understand the emergence of entanglement when a circuit acts on a fully factorized state.

研究の動機と目的

• 制御Z（c-Z）およびSWAPゲートからなる量子回路の代数的・組合的構造を理解すること。
• これらのゲートが生成する有限群に基づいた、効率的な回路簡略化アルゴリズムの開発。
• このような回路が分離状態の入力状態に作用する際に、エンタングルメントがどのように生じるかを調査すること。
• 特にSLOCC同値でないエンタングルメントクラスが、c-ZおよびSWAPゲートのみで到達可能かどうかを特定すること。
• |0000⟩状態からV₃、V₉、V₁₄のような複雑なエンタングル状態を生成する可能性を検討すること。

提案手法

• c-ZおよびSWAPゲートが生成する回路の集合が合成に関して有限群cZS_kを形成することを証明する。
• 共役類や表現論などの群論的技法を用いて、cZS_kの構造を分析する。
• 共同研究者から提案されたデーンのアルゴリズムを応用し、ゲート数の削減によって量子回路を簡略化する。
• SLOCC（確率的局所操作と古典的通信）同値性を用いて、回路が生成するエンタングルメントタイプを分類する。
• |GHZ_k⟩、|W_k⟩、およびV₃、V₉、V₁₄のような特定のエンタングル状態を分析し、c-ZおよびSWAP操作による到達可能性を検証する。
• L、M、N、およびQ_iのような幾何学的・代数的不変量を用いて、生成された状態のエンタングルメント構造を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 c-ZおよびSWAPゲートの回路簡略化問題は、その背後にある群構造を用いて効率的に解けるか？
• RQ2 kキュービット上でc-ZおよびSWAPゲートが生成する群の代数的・組合的構造は何か？
• RQ3 特にSLOCC同値でないエンタングルメントクラスは、分離状態の入力からc-ZおよびSWAPゲートのみで到達可能か？
• RQ4 V₃、V₉、V₁₄のような複雑なエンタングル状態は、|0000⟩からc-ZおよびSWAP操作のみで合成可能か？
• RQ5 群cZS_kの背後には、より深い理論的洞察を可能にする多項式的またはホップ代数的構造が存在するか？

主な発見

• c-ZおよびSWAPゲートからなる量子回路の集合は、有限群cZS_kを形成し、体系的な解析と簡略化を可能にする。
• 群構造に基づく効率的な回路簡略化アルゴリズムが導出され、ゲート数の削減と信頼性の向上が達成された。
• 群cZS_kには、|GHZ_k⟩や|W_k⟩のようなエンタングル状態を生成する要素が含まれており、高深度のエンタングルメント生成能力が示された。
• 状態V₃およびV₁₄は、三重セカント多様体σ₃(ℙ¹×ℙ¹×ℙ¹×ℙ¹)に属しており、特定の代数的幾何的エンタングルメント構造を示している。
• 状態V₉はσ₃(ℙ³×ℙ³)に属しており、V₃およびV₁₄よりも一般的なエンタングルメントクラスを示しており、L ≠ 0だがM = N = 0である。
• 本稿では、一般的にエンタングルされた状態であるV₃、V₉、V₁₄が、|0000⟩状態からc-ZおよびSWAPゲートのみを用いて生成可能であることを示し、SLOCC下での到達可能性を確認した。