[논문 리뷰] A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Renaud Vilmart|arXiv (Cornell University)|2018. 12. 21.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 9

한 줄 요약

이 논문은 순수 큐비트 양자역학에서 보편 ZX-계산법에 대해 두 가지 근사 최적의 완전한 공리계를 제시한다. 단일의 물리적으로 직관적인 오일러 분해 규칙(EU)을 도입하고, 0→1 및 1→1 다이어그램에 대해 특이값 분해(SVD) 정규형을 활용함으로써, 필수적이면서도 물리적으로 해석 가능한 최소한의 공리로 완전성을 달성한다.

ABSTRACT

Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.

연구 동기 및 목표

• 이전의 보편 ZX-계산법에 대한 완전한 공리계에서 직관적이고 최소적이며 물리적으로 해석 가능한 공리의 부족을 해결하기 위해.
• 모든 순수 큐비트 양자 과정에 대해 완전성을 확보하면서도, ZX-계산법의 구조적 직관성을 복원하기 위해.
• 특이값 분해(SVD)에 기반한 새로운 정규형을 도입함으로써, 식 유도의 증명 기법을 단순화하기 위해.
• 보편 ZX-계산법의 완전성이 안정자 공리에 더해 하나의 추가적인 물리적으로 의미 있는 규칙(EU)만으로도 달성될 수 있음을 보여주기 위해.

제안 방법

• 안정자 조각 공리에 더해 단일 규칙(EU)을 기반으로 한 새로운 공리계를 제안하며, 이는 단일 큐비트 유니터리의 오일러 각 분해를 코딩한다.
• 순환 없는 0→1 및 1→1 ZX-다이어그램에 대해 그래픽적 SVD 정규형을 활용하며, 이 정규형이 본질적으로 유일하다는 것을 증명한다.
• SVD 정규형을 활용해 완전성을 증명하며, 임의의 두 동치 다이어그램이 동일한 정규형으로 변환될 수 있음을 보인다.
• HD 및 EU 규칙을 하나의 더 컴act한 규칙으로 통합하는 약간 다른 공리계를 제안한다.
• 새 공리계에서 알려진 규칙들을 유도함으로써 완전성을 증명하며, 이는 EU 규칙의 힘과 SVD의 유일성에 기반한다.
• 맵-상태 dualit 및 다이어그램 재작성 기법을 사용해 순환 다이어그램을 다루며, (C) 및 (A)와 같은 핵심 식들을 도출할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 보편 ZX-계산법에 대해 완전하고 최소적이며 물리적으로 직관적인 공리계를 구성할 수 있는가?
• RQ2 안정자 공리에 더해 오일러 분해 규칙(EU)이 추가될 경우, 완전성이 달성되는가?
• RQ3 0→1 및 1→1 ZX-다이어그램의 특이값 분해(SVD)가 완전성 증명을 위한 본질적으로 유일한 정규형으로 기능할 수 있는가?
• RQ4 보편 ZX-계산법의 완전성은 얼마나 안정자 조각의 완전성에 더해 하나의 규칙으로 줄일 수 있는가?
• RQ5 완전성이나 해석 가능성에 손상 없이 다수의 규칙을 통합하는 더 컴act한 공리계가 존재하는가?

주요 결과

• 제안된 공리계는 보편 ZX-계산법에 대해 완전하며, 모든 공리가 필수적이며 물리적으로 해석 가능하다.
• 오일러 분해 규칙(EU)은 오일러 각 이론에 기반하여 단일 큐비트 유니터리에 대해 X–Z–X 회전의 순서로 자연스러운 정규형을 제공한다.
• 순환 없는 0→1 및 1→1 다이어그램에 대한 SVD 정규형은 본질적으로 유일하므로, 완전성 증명에 강력한 기법을 제공한다.
• 보편 ZX-계산법의 완전성은 안정자 조각의 완전성과 (EU) 규칙의 추가에 의해 유도된다.
• 논문은 두 가지 동치 공리계를 제공한다: 하나는 별개의 (HD) 및 (EU) 규칙을 사용하고, 다른 하나는 이들을 하나의 규칙으로 통합한다.
• 완전성 증명 과정에서 각도 연산의 번거로움을 피하기 위해 공리에서 직접 유도하는 대신 SVD 기반 정규화를 사용한다.