[논문 리뷰] Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions

Robert Booth, Titouan Carette|arXiv (Cornell University)|2022. 01. 01.

Quantum Computing Algorithms and Architecture참고 문헌 52인용 수 4

한 줄 요약

이 논문은 홀수 소수 차원에서 양자역학의 안정자 분량을 위한 완전하고 공리화된 ZX-계산법을 제안하며, 이전의 고차원 제안에서 상실된 핵심 특성인 '오직 연결성이 중요하다'(Only Connectivity Matters, OCM) 원칙을 복원한다. 이는 클리포드 군의 군론적 구조에 기반한 일련의 재작성 규칙을 통해 완전성을 확보하며, 폐기 맵을 도입하여 혼합 상태 안정자 이론과 애핀 코이소트로프 관계로 확장된다.

ABSTRACT

We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.

연구 동기 및 목표

• 홀수 소수 차원에서 안정자 양자역학을 위한 완전하고 직관적인 ZX-계산법을 개발하는 것.
• 큐비트 ZX-계산법의 상징적인 특징인 '오직 연결성이 중요하다'(OCM) 메타규칙을 고차원 시스템으로 복원하는 것.
• 폐기 구성에 의해 홀수 소수 차원에서 혼합 상태 안정자 양자역학을 위한 완전한 공리화를 제공하는 것.
• 확장된 계산법을 사용하여 애핀 코이소트로프 관계에 대한 완전한 공리화를 수립하는 것.
• 큐비트 프레임워크를 소수 차원 큐핏으로 확장하면서도 단순성과 그래픽적 직관성을 유지하는 것.

제안 방법

• 홀수 소수 차원 p에 따라 매개변수화된 ZX-계산법의 가족을 도입하며, Zp × Zp의 원소로 표시된 스파이더를 사용해 안정자 상태와 연산을 표현하는 것.
• 홀수 소수 차원에서 클리포드 군의 심플렉틱 구조와 군론적 성질에 기반한 재작성 규칙을 정의하는 것.
• 홀수 소수 차원에서 파울리 및 클리포드 연산이 위상공간 Zp × Zp 위의 애핀 변환에 대응함을 활용하는 것.
• 등가성과 정규형 추론를 통해 안정자 ZX-다이어그램 간의 모든 등식이 재작성 규칙을 통해 유도될 수 있음을 보여 완전성을 증명하는 것.
• 혼합 상태를 모델링하기 위해 폐기 맵을 계산법에 추가하고, CPM(Stabp)에 대한 완전성을 확립하는 것.
• 규칙 p = 1로 몫을 취할 경우, 표준 해석을 통해 애핀 코이소트로프 관계에 대한 완전한 공리화를 도출하는 것.

실험 결과

연구 질문

• RQ1 홀수 소수 차원에서 안정자 분량을 위한 완전하고 직관적인 ZX-계산법을 구성할 수 있는가? 이때 OCM과 같은 특징을 유지할 수 있는가?
• RQ2 홀수 소수 차원에서 클리포드 군의 군론적 구조는 어떻게 그래픽 계산법에 표현될 수 있는가?
• RQ3 안정자 ZX-계산법을 홀수 소수 차원에서 혼합 상태로 확장하면서도 완전성을 유지할 수 있는가?
• RQ4 유도된 계산법이 동일한 설정에서 애핀 코이소트로프 관계에 대한 완전한 공리화를 제공할 수 있는가?
• RQ5 큐비트 경우에서처럼 계산법을 단순화하거나 최소화할 수 있는가?

주요 결과

• 제안된 ZX-계산법은 홀수 소수 차원에서 양자역학의 안정자 분량에 대해 완전하며, 이는 안정자 다이어그램 간의 모든 등식이 재작성 규칙을 통해 유도될 수 있음을 의미한다.
• 계산법은 '오직 연결성이 중요하다'(OCM) 원칙을 성공적으로 복원하였으며, 이는 다이어그램의 동치성이 오직 연결성에 의존함을 보장함으로써 큐비트 ZX-계산법의 핵심 특징을 유지한다.
• 폐기 맵을 추가함으로써 홀수 소수 차원에서 혼합 상태 안정자 양자역학을 위한 완전하고 보편적인 계산법이 도출된다.
• 계산법은 표준 해석을 통해 Zp 위에서의 애핀 코이소트로프 관계의 범주에 대한 완전한 공리화를 제공한다.
• ZX-다이어그램의 해석이 애핀 라그랑주 또는 코이소트로프 관계로 명시적으로 정의되며, 생성자는 위상공간 Zp × Zp 위의 특정 애핀 변환으로 매핑된다.
• 이 작업은 계산법이 규칙 p = 1로 몫을 취하더라도 여전히 타당성과 완전성을 유지함을 입증하였으며, 이는 애핀 코이소트로프 관계의 구조와 일치한다.