[논문 리뷰] Equivalence of Local Complementation and Euler Decomposition in the Qutrit ZX-calculus

Xiaoyan Gong, Quanlong Wang|arXiv (Cornell University)|2017. 04. 19.

Quantum Information and Cryptography참고 문헌 11인용 수 3

한 줄 요약

이 논문은 큐트리트 ZX-계산법에서 국소 보완과 올레르 분해 간의 동치성을 확립하며, 큐트리트 국소 보완 성질이 성립함은 허다르드 게이트 H가 초록과 빨간 스파이더의 4π/3-회전으로 올레르 분해될 수 있을 때에만 성립함을 증명한다. 저자들은 큐트리트 ZX-계산법을 위한 수정된 규칙 집합을 제안하고, 이중화자 일치성과 호프 법칙과 같은 기본적인 그래픽적 성질을 증명하며, 큐트리트 스태빌라이저 양자역학에서의 완전성 결과를 위한 기초를 마련한다.

ABSTRACT

In this paper, we give a modified version of the qutrit ZX-calculus, by which we represent qutrit graph states as diagrams and prove that the qutrit version of local complementation property is true if and only if the qutrit Hadamard gate $H$ has an Euler decomposition into $4π/3$-green and red rotations. This paves the way for studying the completeness of qutrit ZX-calculus for qutrit stabilizer quantum mechanics.

연구 동기 및 목표

• 큐트리트 스태빌라이저 양자역학을 위한 그래픽적 추론을 지원하는 수정된, 타당하고 완전한 큐트리트 ZX-계산법 규칙 집합을 확립하기.
• 큐트리트 그래프 상태를 큐트리트 ZX-계산법 프레임워크 내에서 다이어그램으로 표현하기.
• 큐트리트 설정에서 국소 보완 성질이 성립하는 조건을 조사하기.
• 큐트리트 국소 보완 성질의 버전이 허다르드 게이트 H가 4π/3-회전으로 분해될 때와 동치임을 증명하기.
• 큐트리트 ZX-계산법의 완전성을 증명하기 위한 기초를 마련하기.

제안 방법

• 위상적 변형을 가정하지 않고, (S3)와 (H2′) 규칙을 추가하고, (S1)과 (P1)을 확장하며, (P2)를 제거하고 (K2)를 단순화하여 수정된 큐트리트 ZX-계산법을 도입하기.
• 힐버트 공간에서 다이어그램의 표준 해석을 정의하며, 각도 2π/3과 4π/3를 각각 1과 2로 사용하고, 허다르드 게이트 H의 행렬 및 상태 표현을 정의하기.
• 새로운 규칙 집합을 사용하여 기본적인 그래픽적 성질을 증명: 호프 법칙, 모든 이중화자 일치성, 복사 및 공복사 연산의 교환 법칙.
• 다이어그램적 추론을 통해 삼각형에서의 국소 보완이 H의 4π/3-회전으로의 올레르 분해를 암시함을 보여주기.
• 역으로, H의 올레르 분해가 다이어그램 변환의 일련의 과정을 통해 국소 보완의 타당성을 암시함을 보여주기.
• 일반적인 경우를 별다른 그래프와 완전 그래프에 H†-간선이 있는 별형 그래프로 환원하여, 일반적인 3-다중그래프에 대한 국소 보완을 별도로 다루기.

실험 결과

연구 질문

• RQ1 큐트리트 ZX-계산법에서 국소 보완 성질이 성립하는 조건은 무엇인가?
• RQ2 큐트리트 허다르드 게이트 H는 초록과 빨간 스파이더의 4π/3-회전으로 분해 가능한가? 이는 국소 보완과 어떻게 관련이 있는가?
• RQ3 수정된 큐트리트 ZX-계산법 규칙이 호프 법칙과 이중화자 일치성과 같은 핵심 그래픽적 항등식을 유도하는 데 지원 가능한가?
• RQ4 큐트리트 설정에서 H의 올레르 분해는 국소 보완 성질에 필수적이고 충분한가?
• RQ5 일반적인 큐트리트 그래프 상태는 수정된 큐트리트 ZX-계산법을 통해 어떻게 표현되고 변환될 수 있는가?

주요 결과

• 큐트리트 국소 보완 성질은 허다르드 게이트 H가 초록과 빨간 스파이더의 4π/3-회전으로 올레르 분해될 수 있을 때에만 성립한다.
• 수정된 큐트리트 ZX-계산법 규칙((S3), (H2′), 확장된 (S1)과 (P1))는 호프 법칙과 모든 이중화자 일치성을 도출하는 데 충분하다.
• 허다르드 게이트 H와 그 역행 H†는 초록 컵을 자유자재로 이동할 수 있으며, 이는 다이어그램 변환에서 핵심적인 성질이다.
• H의 올레르 분해는 유일하지 않으며, 동일한 게이트에 대해 여러 등가의 다이어그램 표현이 존재함을 보여준다.
• 한 색상의 4π/3-회전은 다른 색상의 표현을 통해 올레르 분해를 통해 표현될 수 있으며, 이는 규칙 집합 내에서 색상 대칭성을 보여준다.
• 일반적인 3-다중그래프에 대한 국소 보완의 경우는 별형 그래프와 H†-간선이 있는 완전 그래프로 환원되며, 이를 통해 귀납적 증명 전략을 적용할 수 있다.