[논문 리뷰] Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics

Kang Feng Ng, Quanlong Wang|arXiv (Cornell University)|2018. 01. 22.

Logic, programming, and type systems참고 문헌 2인용 수 15

한 줄 요약

이 논문은 복소수 계수를 Z[i, 1/√2]로 제한함으로써 Clifford+T 양자역학을 위한 ZX-계산법의 완전한 공리계를 제시한다. 이는 임의의 가환환 위에서 ZW-계산법의 완전성에 기반한다. 논문은 Toffoli 게이트의 구성과 일반화된 보완성의 통합을 단순화하기 위해 삼각형과 λ 상자라는 두 가지 새로운 생성자를 도입한다. 이는 이전 작업에 비해 ZX에서 ZW로의 번역이 더 직접적이며, 완전성 확보 프레임워크를 향상시킨다.

ABSTRACT

Recently, we gave a complete axiomatisation of the ZX-calculus for the overall pure qubit quantum mechanics. Based on this result, here we also obtain a complete axiomatisation of the ZX-calculus for the Clifford+T quantum mechanics by restricting the ring of complex numbers to its subring corresponding to the Clifford+T fragment resting on the completeness theorem of the ZW-calculus for arbitrary commutative ring. In contrast to the first complete axiomatisation of the ZX-calculus for the Clifford+T fragment, we have two new generators as features rather than novelties: the triangle can be employed as an essential component to construct a Toffoli gate in a very simple form, while the lambda box can be slightly extended to a generalised phase so that the generalised supplementarity (cyclotomic supplementarity ) is naturally seen as a special case of the generalised spider rule.

연구 동기 및 목표

• 양자역학의 Clifford+T 조각을 위한 ZX-계산법의 완전한 공리계를 제공한다.
• 불필요한 규칙을 유도하고 다이어그램 복잡도를 줄임으로써 규칙 집합을 단순화하고 통합한다.
• 표현력 향상과 구조적 명확성 향상을 위해 삼각형과 λ 상자라는 두 가지 새로운 생성자를 도입하고 그 타당성을 입증한다.
• ZX-계산법에서 ZW-계산법으로의 번역을 더 직접적으로 확립함으로써 완전성 증명 프레임워크를 향상시킨다.
• 일반화된 보완성(원주형 보완성)이 λ 상자를 통해 일반화된 스파이더 규칙의 특수한 경우로 자연스럽게 유도됨을 보여준다.

제안 방법

• ZX-계산법에서 복소수 진폭의 환을 Z[i, 1/√2]로 제한하여 Clifford+T 조각에 대응시킨다.
• 임의의 가환환 위에서 ZW-계산법의 완전성을 기본 정리로 활용한다.
• 삼각형 생성자를 Toffoli 게이트를 구성하는 데 사용되는 압축된 구성 요소로 도입하고, λ 상자를 일반화된 단계 게이트로 도입한다.
• 기존 규칙 집합의 부여된 중복성(예: TR4, TR10, TR11)을 다른 규칙들로부터 유도함으로써 계산법을 단순화한다.
• ZX-계산법에서 ZW-계산법으로의 직접적인 해석 맵을 구성하고, 그 반대로도 수행하여 일관성과 정확성을 확보한다.
• 도식적 추론과 재작성 규칙을 사용하여, 모든 Clifford+T 다이어그램에 대해 ZX-유도 가능성과 의미적 동치성의 일치를 증명한다.

실험 결과

연구 질문

• RQ1 Clifford+T 양자역학 조각을 위한 ZX-계산법의 완전하고 최소한의 공리계를 달성할 수 있는가?
• RQ2 삼각형과 λ 상자라는 새로운 생성자의 도입이 ZX-다이어그램 재작성의 표현력과 단순성에 어떻게 기여하는가?
• RQ3 ZW-계산법의 완전성과 가환환 위에서의 완전성 활용을 통해, ZX-계산법의 Clifford+T에 대한 완전성이 직접 번역을 통해 확립될 수 있는가?
• RQ4 λ 상자를 통해 일반화된 보완성(원주형 보완성)이 일반화된 스파이더 규칙의 특수한 경우로 통합될 수 있는 정도는 어느 정도인가?
• RQ5 이 연구에서의 비안정자 규칙(노드 수 기준)의 복잡도는 이전의 완전성 결과와 비교해 어떻게 다른가?

주요 결과

• 복소수 환을 Z[i, 1/√2]로 제한할 경우, Clifford+T 양자역학을 위한 ZX-계산법은 완전하며, 모든 다이어그램 간의 등가성은 유도 가능하다.
• 덧셈 규칙(AD)은 단순화될 수 있으며, 여러 규칙(TR4, TR10, TR11)은 다른 규칙들로부터 도출되어 규칙 집합의 중복성이 감소한다.
• 삼각형 생성자는 Toffoli 게이트를 매우 간결하게 구성할 수 있게 하여 회로 표현력 향상과 단순화 가능성 향상을 가져온다.
• λ 상자는 일반화된 단계로 확장될 수 있으며, 그 하위에서 일반화된 보완성(원주형 보완성)은 일반화된 스파이더 규칙의 특수한 경우가 된다.
• 이 연구에서의 비안정자 규칙은 다이어그램당 최대 8개의 노드를 가지며, 이는 이전 연구[4]의 최대 17개 노드보다 크게 감소한 것이다.
• ZX에서 ZW로의 번역과 그 반대가 직접적이며 일관되며, 해석의 복합이 항등원을 생성함으로써 타당성과 완전성이 보장된다.