[논문 리뷰] Completeness and the ZX-calculus

Miriam Backens|arXiv (Cornell University)|2016. 02. 29.

Quantum Mechanics and Applications참고 문헌 64인용 수 14

한 줄 요약

이 논문은 순수 상태 스태빌라이저 양자역학과 단일 큐비트 클리포드+T 군에 대한 zx-계산의 완전성을 확립하며, 이러한 분할에서의 모든 등식이 그래픽적으로 유도될 수 있음을 보여준다. 또한 스펙켄스의 장난감 이론을 위한 그래픽 계산법을 도입하여 그 완전성을 증명하고, 스태빌라이저 양자역학과의 직접적인 비교를 가능하게 한다. 이는 동형 형식론을 통해 이루어진다.

ABSTRACT

Graphical languages offer intuitive and rigorous formalisms for quantum physics. They can be used to simplify expressions, derive equalities, and do computations. Yet in order to replace conventional formalisms, rigour alone is not sufficient: the new formalisms also need to have equivalent deductive power. This requirement is captured by the property of completeness, which means that any equality that can be derived using some standard formalism can also be derived graphically. In this thesis, I consider the ZX-calculus, a graphical language for pure state qubit quantum mechanics. I show that it is complete for pure state stabilizer quantum mechanics, so any problem within this fragment of quantum theory can be fully analysed using graphical methods. This includes questions of central importance in areas such as error-correcting codes or measurement-based quantum computation. Furthermore, I show that the ZX-calculus is complete for the single-qubit Clifford+T group, which is approximately universal: any single-qubit unitary can be approximated to arbitrary accuracy using only Clifford gates and the T-gate. [...] Lastly, I extend the use of rigorous graphical languages outside quantum theory to Spekkens' toy theory, a local hidden variable model that nevertheless exhibits some features commonly associated with quantum mechanics. [...] I develop a graphical calculus similar to the ZX-calculus that fully describes Spekkens' toy theory, and show that it is complete. Hence, stabilizer quantum mechanics and Spekkens' toy theory can be fully analysed and compared using graphical formalisms. Intuitive graphical languages can replace conventional formalisms for the analysis of many questions in quantum computation and foundations without loss of mathematical rigour or deductive power.

연구 동기 및 목표

• 순수 상태 스태빌라이저 양자역학에 대한 zx-계산의 완전성을 확립하여, 이 분할 내에서 유도 가능한 모든 등식이 그래픽적으로 유도될 수 있음을 보장한다.
• 양자 계산의 보편 게이트 세트인 단일 큐비트 클리포드+T 군으로의 완전성 확장을 이루며, 근사적인 양자 회로의 그래픽적 분석을 가능하게 한다.
• 스태빌라이저 양자역학과 유사한 특성을 지닌 고전적 숨겨진 변수 모델인 스펙켄스의 장난감 이론을 위한 엄밀한 그래픽 계산법을 개발하고, 그 완전성을 증명한다.
• 동형 그래픽 형식론을 통해 스태빌라이저 양자역학과 스펙켄스의 장난감 이론 간의 직접적 비교를 가능하게 한다.
• 직관적인 그래픽 언어가 양자 기초 및 계산 분야에서 전통적 형식론에 비해 추론 능력을 손상시키지 않고 대체할 수 있음을 보여준다.

제안 방법

• 범주론과 스트링 다이어그램을 사용하여 zx-계산을 그래픽 언어로 형식화하며, Z 및 X 스파이더와 그 단위 각도 매개변수를 생성자로 정의한다.
• 스태빌라이저 양자역학에 대해 타당성과 완전성이 보장된 일련의 재작성 규칙(예: 스파이더 융합, 바이알제브라, 오일러 분해)을 정의한다.
• 그래프 상태와 국소 클리포드 연산을 사용하여 스태빌라이저 상태 다이어그램의 정규형을 구성함으로써, 다이어그램 정규화를 통한 등식 테스트를 가능하게 한다.
• 유한한 규칙 집합을 사용하여 어떤 유니터리 연산도 zx-계산으로 표현하고 등식을 유도할 수 있음을 보여줌으로써, 단일 큐비트 클리포드+T 군에 대한 완전성을 증명한다.
• 스펙켄스의 장난감 이론에 대해 zx-계산 프레임워크를 적응시켜, zx-계산의 구조를 반영하는 유사한 생성자와 재작성 규칙을 정의한다.
• 맵-상태 dualit 및 이진 형식론을 사용하여 스태빌라이저 양자역학과 장난감 이론을 연결하고, 동형 그래픽 계산법을 통해 구조적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 순수 상태 스태빌라이저 양자역학에 대한 zx-계산은 완전한가? 즉, 기존 형식론에서 유도 가능한 모든 등식이 그래픽적으로도 유도 가능한가?
• RQ2 zx-계산은 근사적으로 보편적인 양자 계산을 위한 단일 큐비트 클리포드+T 군으로 확장되어 완전성이 확보될 수 있는가?
• RQ3 스펙켄스의 장난감 이론을 위한 그래픽 계산법을 구성할 수 있는가? 이는 타당성과 완전성을 모두 충족해야 하며, zx-계산의 구조를 반영해야 한다.
• RQ4 동형 그래픽 형식론을 통해 분석했을 때, 스태빌라이저 양자역학과 스펙켄스의 장난감 이론 간의 구조적 유사점과 차이점은 무엇인가?
• RQ5 이 분할에 대한 zx-계산의 완전성은 실질적인 양자 컴퓨팅 환경에서 양자 회로의 자동 추론 및 단순화를 가능하게 하는가?

주요 결과

• 순수 상태 스태빌라이저 양자역학에 대한 zx-계산은 완전하다. 즉, 기존 형식론에서 유도 가능한 모든 등식은 zx-다이어그램과 주어진 재작성 규칙을 사용하여 그래픽적으로도 유도될 수 있다.
• 단일 큐비트 클리포드+T 군에 대한 zx-계산은 완전하다. 이는 어떤 단일 큐비트 양자 회로도 클리포드 게이트와 T-게이트만을 사용하여 완전히 그래픽적으로 분석할 수 있음을 의미한다.
• 스펙켄스의 장난감 이론의 최대 지식 분할을 위한 새로운 그래픽 계산법이 도입되었으며, 이는 보편성, 타당성, 완전성을 모두 확보하고 있음이 증명되었다.
• 스펙켄스의 장난감 이론에 대한 그래픽 계산법은 구조적으로 zx-계산과 동형이며, 스태빌라이저 양자역학과의 직접적 비교를 가능하게 한다.
• 이 분할에 대한 zx-계산의 완전성은 자동 추론 및 등식 테스트를 가능하게 하며, Quantomatic과 같은 도구에 통합되어 회로 단순화 및 컴파일링에 활용될 수 있다.
• 보완성 규칙(supplementarity rule)은 다중 큐비트 클리포드+T 연산자로의 완전성 확장을 위한 후보로 지목되었지만, 그 충분성 여부는 여전히 열린 질문이다.