[논문 리뷰] An Introduction to Cartan's KAK Decomposition for QC Programmers

Robert R. Tucci|ArXiv.org|2005. 07. 18.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 47

한 줄 요약

이 논문은 양자 컴퓨팅 프로그래머를 대상으로 하여, 특수 케이스(KAK1)에 대해 구조적이고 선형 대수 기반의 카르탕의 KAK 분해를 제시한다. 이 경우는 SU(4)에 속하는 임의의 2 큐비트 유니터리 연산을 국소적 단일 큐비트 게이트로 둘러싸인 3파rameter 비국소적 얽힘 게이트로 분해한다. 주요 기여는 SU(2)×SU(2) 동형사상과 에크하르트-영 정리(의사역행렬 분해)를 이용한 엄밀하고 알고리즘 기반의 유도이며, 실용적인 양자 회로 컴파일링을 위한 올리브트/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.

연구 동기 및 목표

• 양자 컴퓨팅 프로그래머 중 리 군 이론에 익숙하지 않은 이들에게, KAK1 분해를 교육적이고 구조적인 방식으로 증명하는 것.
• SU(4)에 속하는 임의의 2 큐비트 유니터리 연산이 국소적 연산과 3파rameter 비국소적 얽힘 게이트의 곱으로 인수분해될 수 있음을 보여주는 것.
• 고급 미분 기하학이나 리 이론을 피하고 선형 대수학만을 사용하는 방법을 제공하는 것.
• 함께 제공되는 올리브트/Matlab m-파일에 대한 문서화 역할을 하는 것.
• 2 큐비트 게이트의 표준 파라미터화를 제공하여 실용적인 양자 회로 컴파일링을 가능하게 하는 것.

제안 방법

• 2 큐비트 연산을 단일 큐비트 게이트의 텐서곱으로 연결하는 데 사용되는 SU(2)×SU(2)/{±1} ≅ SO(4) 동형사상을 활용한다.
• 두 행렬의 동시 특이값 분해를 위해 에크하르트-영 정리를 적용하여 분해의 구조를 도출한다.
• SU(4) 연산자를 분해가 명백해지도록 하는 데 사용되는 마법 기저 변환 행렬 M을 이용해 공역을 변환한다.
• 구조적 행렬 연산과 파라미터화를 통해 최종 형태 U = (A₁⊗A₀)e^{i𝐤⋅Σ}(B₁⊗B₀)를 유도한다.
• 모든 3파라미터 벡터 𝐤를 테트라헤드론 영역 𝒦 내의 유일한 표준 대표자로 매핑하기 위해, 부호 반전, 순열, π/2 이동 등의 클래스 유지 연산을 사용한다.
• 알고리즘을 올리브트/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 이동)을 사용하여 𝒦 내의 유일한 표준 대표자로 매핑할 수 있는 알고리즘이 제시되었다.