[논문 리뷰] Quantum circuits of c -- Z and SWAP gates optimization and entanglement

Marc Bataille, Jean-Gabriel Luque|arXiv (Cornell University)|2018. 10. 02.

Quantum Computing Algorithms and Architecture참고 문헌 22인용 수 4

한 줄 요약

이 논문은 제어-초(√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.

연구 동기 및 목표

• 제어-초(c-Z) 및 스위프(SWAP) 게이트로만 구성된 양자 회로의 대수적 및 조합적 구조를 이해하는 것.
• 이러한 게이트가 생성하는 유한군을 기반으로 효율적인 회로 단순화 알고리즘을 개발하는 것.
• 이러한 회로가 분리된 입력 상태에 작용할 때 얽힘이 어떻게 발생하는지 조사하는 것.
• 특히 SLOCC-동치가 아닌 얽힘 클래스들이 c-Z 및 SWAP 게이트만으로 도달 가능한지 확인하는 것.
• 이러한 게이트가 |0000⟩ 상태에서 V₃, V₉, V₁₄와 같은 복잡한 얽힌 상태를 생성할 잠재력을 탐색하는 것.

제안 방법

• c-Z 및 SWAP 게이트로 생성되는 회로 집합이 복합에 의해 유한군 cZS_k를 이룬다는 것을 증명한다.
• 공액류 및 표현 이론과 같은 군론 기법을 사용하여 cZS_k의 구조를 분석한다.
• 협력자로부터 제안된 Dehn 알고리즘을 적용하여 게이트 수를 줄임으로써 양자 회로를 단순화한다.
• 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₁₄는 σ₃(ℙ¹×ℙ¹×ℙ¹×ℙ¹)의 제3차 시컨트 다양체에 속해 있어 특정 대수기하학적 얽힘 구조를 나타낸다.
• 상태 V₉는 σ₃(ℙ³×ℙ³)에 속해 있으며, V₃ 및 V₁₄보다 더 일반적인 얽힘 클래스를 나타내며, L ≠ 0 이지만 M = N = 0 이다.
• 이 논문은 일반적으로 얽힌 상태인 V₃, V₉, V₁₄가 |0000⟩ 상태에서 c-Z 및 SWAP 게이트만으로 생성 가능하다는 것을 입증하여, SLOCC 하에서의 도달 가능성 확인하였다.