[논문 리뷰] ZX-calculus for the working quantum computer scientist

John van de Wetering|arXiv (Cornell University)|2020. 12. 27.

Quantum Computing Algorithms and Architecture참고 문헌 110인용 수 29

한 줄 요약

이 논문은 양자 계산을 위한 그래픽스 언어인 ZX-계산법에 대한 종합적이고 접근하기 쉬운 소개를 제공한다. ZX-다이어그램이 양자 회로와 상태를 어떻게 표현하는지 설명하고, 양자 과정을 단순화하고 검증하기 위한 핵심 규칙과 재작성 체계를 상세히 기술하며, 완전성 정리, 클리포드 회로 및 토플리 게이트를 위한 확장, 그리고 양자 회로 최적화와 측정 기반 양자 계산 분야에서의 적용을 포함한 주요 발전 사항을 검토한다.

ABSTRACT

The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation, surface codes and lattice surgery, measurement-based quantum computation, and quantum foundations. The first half of this review gives a gentle introduction to the ZX-calculus suitable for those familiar with the basics of quantum computing. The aim here is to make the reader comfortable enough with the ZX-calculus that they could use it in their daily work for small computations on quantum circuits and states. The latter sections give a condensed overview of the literature on the ZX-calculus. We discuss Clifford computation and graphically prove the Gottesman-Knill theorem, we discuss a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and we discuss the recent completeness theorems for the ZX-calculus that show that, in principle, all reasoning about quantum computation can be done using ZX-diagrams. Additionally, we discuss the categorical and algebraic origins of the ZX-calculus and we discuss several extensions of the language which can represent mixed states, measurement, classical control and higher-dimensional qudits.

연구 동기 및 목표

• 양자 계산 기초를 알고 있는 양자 컴퓨터 과학자들에게 ZX-계산법에 대한 부드럽지만 엄밀한 소개를 제공하기 위해.
• 실무자들이 일상적인 양자 회로 분석 및 최적화 작업에서 ZX-다이어그램을 사용할 수 있도록 하기 위해.
• 최근의 ZX-계산법 발전 사항을 검토하고 통합하기 위해, 특히 완전성 결과, 토플리 게이트를 위한 확장, 그리고 양자 기초 이론과 표면 코드에의 적용을 포함하여.
• ZX-계산법의 범주론적 및 대수적 기초를 명확히 하고, 고유수와 혼합 상태로의 일반화를 다루기 위해.

제안 방법

• Z-스피더와 X-스피더(단계 이동 프로젝터) 및 헤이즈드 게이트를 사용하여 양자 과정의 그래픽스 표현으로서 ZX-다이어그램을 도입한다.
• ZX-계산법의 핵심 재작성 규칙을 정의한다: 스피더 융합, 항등원 제거, 복사 규칙, π-교환, 이중대수, 하프 규칙.
• 표준 양자 프로토콜인 양자 텔레포테이션, GHZ 상태 준비, 마법 상태 삽입 등을 유도하기 위해 계산법을 적용한다.
• 범주 이론을 사용하여 다이어그램의 의미를 형식화하고 계산법의 타당성과 완전성을 증명한다.
• H-박스와 ZH-계산법을 통해 Toffoli 게이트를 다룰 수 있도록 언어를 확장하고, 유한 아벨 군과 푸리에 변환을 사용하여 고유수를 다룬다.
• 다양한 조각에 대한 완전성 정리(옥스포드 및 낭시 결과 포함)를 검토하고, 보편적인 양자 추론에 대한 함의를 논의한다.

실험 결과

연구 질문

• RQ1 ZX-계산법을 어떻게 사용하여 직관적이면서도 형식적으로 타당한 방식으로 양자 회로와 상태를 그래픽스적으로 추론할 수 있는가?
• RQ2 ZX-계산법 프레임워크 내에서 양자 회로의 단순화와 검증을 가능하게 하는 핵심 재작성 규칙은 무엇인가?
• RQ3 ZX-계산법이 양자 과정에 대해 완전한 형식 시스템을 제공하는 방식은 무엇이며, 완전성이 성립하는 조건은 무엇인가?
• RQ4 ZX-계산법을 어떻게 확장하여 토플리 게이트와 같은 비클리포드 연산 및 고유수를 다룰 수 있는가?
• RQ5 ZX-계산법은 양자 회로 최적화, 측정 기반 양자 계산, 표면 코드 양자 컴퓨팅에 어떻게 실용적으로 적용될 수 있는가?

주요 결과

• ZX-계산법은 고유수 간의 선형 사상 전체를 보완 스피더와 단계 매개변수를 사용하여 표현할 수 있는 보편적 언어이다.
• 핵심 조각에 대해 ZX-계산법의 완전성 정리가 확립되었으며, 이는 안정자(클리포드) 조각과 전체 큐비트 이론에서 모든 등식적 추론이 그래픽스적으로 포괄될 수 있음을 보여준다.
• H-박스와 ZH-계산법과 같은 확장은 Toffoli 및 제어된-상태 게이트에 대한 효율적인 그래픽스 추론을 가능하게 하며, 회로 최적화와 검증을 가능하게 한다.
• 유한 아벨 군과 푸리에 변환을 사용하여 ZX-계산법을 고유수로 일반화할 수 있으며, 삼진 클리포드 조각에 대해 완전한 규칙 집합이 입증되었다.
• 계산법은 측정 기반 양자 계산과 표면 코드에 대한 추론에 강력한 도구를 제공하며, 랙스어지와 고장 내성 양자 컴퓨팅에의 적용이 가능하다.
• ZX-계산법의 기초가 되는 범주론적 프레임워크는 프로비우스 대수와 이중대수를 기반으로 하며, 양자 과정의 대수적 구조를 설명하고 재작성 규칙의 타당성을 정당화한다.