[논문 리뷰] A universal completion of the ZX-calculus

Kang Feng Ng, Quanlong Wang|arXiv (Cornell University)|2017. 06. 29.

Quantum Mechanics and Applications참고 문헌 11인용 수 46

한 줄 요약

이 논문은 ZW-계산법의 완전성에 기반하여 순수 큐비트 양자역학에 대한 ZX-계산법의 완전성을 확립한다. 실수 단위 위상과 람다 상자에 대한 확장된 그래픽 규칙을 도입하고, ZX-계산법과 ZW-계산법 사이의 가역적 번역을 구축하며, 모든 ZW-계산법의 재작성 규칙이 번역에 의해 유지됨을 증명함으로써 큐비트 양자역학에 대한 보편적 완전성을 달성한다.

ABSTRACT

In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these two graphical systems.

연구 동기 및 목표

• 순수 큐비트 양자역학의 전체 이론에 대해 ZX-계산법의 완전성을 확립하기 위해.
• ZX-계산법이 양자역학에서 유효한 모든 방정식을 완전히 포괄할 수 있는지 여부라는 오랫동안 열려 있던 문제를 해결하기 위해.
• ZX-계산법과 ZW-계산법 사이의 갭을 메우기 위해, 이들 사이에 가역적이고 구조를 유지하는 번역을 구축하기 위해.
• 표준 ZX-위상으로 표현 가능한 새로운 그래픽 기호인 람다 상자와 삼각형을 ZX-계산법에 확장하기 위해.
• ZW-계산법의 큐비트 양자역학에 대한 완전성이 번역과 규칙 유지에 의해 ZX-계산법의 완전성으로 이어짐을 보여주기 위해.

제안 방법

• 람다 상자(λ ≥ 0)와 삼각형이라는 두 가지 새로운 그래픽 요소를 도입하며, 이들은 표준 ZX-위상 게이트를 사용하여 표현 가능하다.
• ZX-계산법에서 ZW-계산법으로의 가역적 번역 맵 J·KXW와 반대로 ZW-계산법에서 ZX-계산법으로의 맵 J·KWX를 정의하며, 다이어그램의 구조와 해석을 유지한다.
• ZW-계산법의 모든 재작성 규칙이 ZX-계산법으로의 번역에 의해 그대로 유지됨을 증명하여 규칙 일관성을 확보한다.
• 기존에 알려진 큐비트 양자역학에 대한 ZW-계산법의 완전성을 기초 결과로 활용한다.
• 번역 맵과 규칙 유지 성질을 적용하여, 힐버트 공간 의미론에서 유효한 모든 방정식이 ZX-계산법에서 유도될 수 있음을 보여준다.
• 두 카테고리의 모노이드 구조와 해석 함자(coherence)의 성질을 활용하여 번역 간의 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 ZX-계산법은 순수 큐비트 양자역학의 전반에 대해 보편적으로 완전한가?
• RQ2 큐비트 양자역학에 대한 ZW-계산법의 완전성이 ZX-계산법의 완전성을 암시하는가?
• RQ3 람다 상자와 삼각형과 같은 새로운 그래픽 요소들이 구문을 확장하지 않고도 표준 ZX-계산법 내에서 표현 가능한가?
• RQ4 ZW-계산법의 재작성 규칙들이 ZX-계산법으로 번역되었을 때도 여전히 유효한가?
• RQ5 ZX-계산법과 ZW-계산법 사이에 보편적 완전성 결과를 전달할 수 있는 가역적이고 구조를 유지하는 번역을 구성할 수 있는가?

주요 결과

• ZX-계산법은 순수 큐비트 양자역학에 대해 완전하며, 힐버트 공간 의미론에서 유효한 모든 방정식이 그 규칙을 사용해 유도될 수 있다.
• 완전성 결과는 ZW-계산법의 모든 재작성 규칙이 ZX-계산법으로의 번역에 의해 유지됨을 증명함으로써 달성된다.
• 람다 상자(λ ≥ 0)와 삼각형 기호는 표준 ZX-위상과 그 대수적 조합을 사용하여 표준 ZX-계산법 내에서 표현 가능하다.
• ZX에서 ZW로, 그리고 ZW에서 ZX로의 번역은 가역적이며 구조를 유지하며, 두 맵의 병합은 ZX 다이어그램 위에서 항등원을 생성한다.
• 이 증명은 큐비트 양자역학에 대한 ZW-계산법의 완전성이 알려진 기초 결과로 가정됨을 기반으로 한다.
• 결과적으로 ZX-계산법은 큐비트 양자역학에 대한 보편적인 그래픽 언어임을 확인하며, 이는 이전의 안정자 또는 클리포드+티 양자역학의 제한된 분야에 대한 완전성 결과를 확장한다.