[논문 리뷰] Completeness of the Phase-free ZH-calculus

John van de Wetering, Sal Wolffs|arXiv (Cornell University)|2019. 04. 16.

Logic, programming, and type systems참고 문헌 10인용 수 6

한 줄 요약

이 논문은 단순화된 규칙 집합을 도입함으로써, 레이블이 없는 H-박스에 국한된 단일한 단계 없는 ZH-계산법의 완전한 조각을 제시한다. 이 규칙 집합에는 H-박스와 ZX삼각형 생성자 간의 새로운 관계를 나타내는 규칙가 포함되어 있으며, 완전성은 Vilmart의 완전한 ∆ZX-계산법으로의 환원을 통해 증명된다. 이에 따라 단계 매개변수 없이 Toffoli+Hadamard 게이트 집합에서의 양자 회로에 대한 추론이 가능해진다.

ABSTRACT

The ZH-calculus is a graphical calculus for linear maps between qubits that allows a natural representation of the Toffoli+Hadamard gate set. The original version of the calculus, which allows every generator to be labelled by an arbitrary complex number, was shown to be complete by Backens and Kissinger. Even though the calculus is complete, this does not mean it allows one to easily reason in restricted settings such as is the case in quantum computing. In this paper we study the fragment of the ZH-calculus that is phase-free, and thus is closer aligned to physically implementable maps. We present a modified rule-set for the phase-free ZH-calculus and show that it is complete. We further discuss the minimality of this rule-set and we give an intuitive interpretation of the rules. Our completeness result follows by reducing to Vilmart's rule-set for the phase-free $Δ$ZX-calculus.

연구 동기 및 목표

• 단계 매개변수를 포함하지 않으며 물리적으로 의미 있는 ZH-계산법의 조각을 개발하여 실제 구현 가능한 양자 회로와 일치시킨다.
• 스티블라이저 회로에 대한 추론을 지원하는 최소이고 직관적인 규칙 집합을 도출한다.
• 기존에 알려진 완전한 ∆ZX-계산법으로의 환원을 통해 단계 없는 ZH-계산법의 완전성을 확립한다.
• 규칙 집합의 최소성과 대부분의 규칙에 대한 고전적 해석을 제공함으로써 개념적 명료성을 높인다.
• 최근 도입된 규칙들이 완전성에 대해 실제로 필수적인지 분석하고, 증명에서의 필요성을 도전한다.

제안 방법

• 단계 의존적 규칙을 제거하고 단계 없는 설정에서 유효한 규칙들만 유지함으로써 전체 ZH-계산법을 수정한다.
• 스칼라 인자(특히 1/√2)를 다루는 데 사용되는 새로운 규칙 (Z)과, H-박스와 ZX삼각형을 이용한 AND 게이트의 두 가지 구성 방식을 동치로 만드는 규칙 (&)을 도입한다.
• 단계 없는 ZH-계산법의 완전성을 Vilmart의 ∆ZX-계산법의 완전성으로 환원함으로써 증명한다. 이는 기존의 완전성 결과를 활용한다.
• 도표적 추론과 재작성 규칙을 사용하여, 동일한 선형 사상을 나타내는 모든 도표가 새로운 규칙 집합 하에서 상호 변환 가능하다는 것을 보인다.
• 생성자들을 표준 고전적 논리 게이트(예: COPY, XOR, AND, NOT)와 대응시켜 규칙에 고전적 의미를 부여한다.
• 기타 규칙의 필요성을 입증하기 위해, 특정 규칙를 제외한 나머지 모든 규칙를 만족하는 대체 해석을 구성함으로써 최소성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 Toffoli+Hadamard 회로에 대해 추론할 수 있는 완전한 단계 없는 ZH-계산법의 조각이 존재하는가?
• RQ2 단계 매개변수나 복잡한 레이블 없이도 단계 없는 ZH-계산법의 완전성을 확립할 수 있는가?
• RQ3 최근 도입된 두 가지 규칙—(Z)와 (&)—는 완전성에 대해 실제로 필수적인가, 아니면 유도될 수 있는가?
• RQ4 단계 없는 ZH-계산법의 규칙들이 표준 논리 게이트(예: COPY, XOR, AND, NOT)의 성질로 해석될 수 있는가?
• RQ5 ∆ZX-계산법으로의 환원 없이도 ZH-계산법에서 직접 완전성 증명을 구성할 수 있는가?

주요 결과

• 단계 없는 ZH-계산법은 H-박스와 ZX삼각형을 이용한 AND 게이트의 두 가지 구성 방식을 동치로 만드는 새로운 규칙 (&)을 포함하는 최소 규칙 집합을 통해 완전성을 확보한다.
• 완전성은 완전한 ∆ZX-계산법으로의 환원을 통해 확립되며, 이 ∆ZX-계산법 자체는 ZW-계산법의 완전성에 기반한다.
• 스칼라 1/√2를 다루는 규칙 (Z)는 현재 증명 프레임워크에서는 필수적이지만, 직접 완전성 증명에서는 피할 수 있을 수 있다.
• 규칙 (&)는 주로 ∆ZX-계산법에서 H-박스와 삼각형 표현 간의 동치성을 증명하는 데 사용되므로, 완전성에 필수적인 것은 아닐 수 있다.
• 시스템 내 대부분의 규칙들은 표준 논리 게이트(COPY, XOR, AND, NOT 등)의 성질로 명확히 해석될 수 있다.
• 최소성 분석 결과, (HS2) 또는 (BA1), (ZS2) 또는 (BA2), (BA2) 또는 (O)는 최소한 하나 이상 포함되어야 하며, 이는 핵심 규칙의 구조적 필수성을 시사한다.