[논문 리뷰] Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings

Quanlong Wang|arXiv (Cornell University)|2019. 12. 02.

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

한 줄 요약

이 논문은 새로운 생성자와 재작성 규칙을 도입하여 보다 일반적인 가환 링과 반링으로 ZX-계산법을 일반화한다. 이는 타당성을 유지하면서도, 기본 행렬 연산 기반의 정규형을 사용하여 이러한 구조 위의 행렬에 대해 완전성을 증명한다. 이는 복소수를 넘어서 수론과 일반 대수적 영역에서의 선형대수학 응용을 가능하게 한다.

ABSTRACT

ZX-calculus is a strict mathematical formalism for graphical quantum computing which is based on the field of complex numbers. In this paper, we extend its power by generalising ZX-calculus to such an extent that it is universal both in an arbitrary commutative ring and in an arbitrary commutative semiring. Furthermore, we follow the framework of arXiv:2007.13739 to prove respectively that the proposed ZX-calculus over an arbitrary commutative ring (semiring) is complete for matrices over the same ring (semiring), via a normal form inspired from matrix elementary operations such as row addition and row multiplication. This work could lead to various applications including doing elementary number theory in string diagrams.

연구 동기 및 목표

• 복소수를 넘어서 임의의 가환 링과 반링으로 ZX-계산법을 일반화하는 것.
• 이 대수적 구조에서 타당하고 보편적인 새로운 생성자와 재작성 규칙을 정의하는 것.
• 임의의 가환 링과 반링 위의 행렬에 대해 일반화된 ZX-계산법의 완전성을 증명하는 것.
• 정수나 자연수와 같은 이산 대수적 영역에서의 초등 수론과 선형대수학 분야에 새로운 응용을 가능하게 하는 것.
• 체가 아닌 대수적 구조에서의 스트링 다이어그램 추론을 지원할 수 있도록 프레임워크를 일반화하는 것.

제안 방법

• 스칼라 없는 생성자 도입: 모든 계수가 1인 빨간 스파이더와 1/√2 대신 ±1을 갖는 하다마드 노드.
• 임의의 가환 링과 반링에서 생성자와 관계를 사용한 프롭 기반 서술 방식 채택.
• 기본 행렬 연산—행 덧셈과 행 곱셈—에서 영감을 얻은 정규형 사용; 분홍색 노드로 연산을 인코딩.
• 맵-상태 dualit 및 텐서곱 재작성 기법을 사용해 다이어그램의 구조를 통합하고 단순화.
• [14]의 프레임워크를 적용하여 정규형으로의 환원을 통해 완전성 증명.
• 역원과 음수를 피하고 가환 모노이드 구조에 의존함으로써 반링에 대한 증명을 적응화.

실험 결과

연구 질문

• RQ1 가환 링으로 일반화된 ZX-계산법이 완전성을 유지할 수 있는가?
• RQ2 역원과 음수가 존재하지 않는 가환 반링에서 ZX-계산법을 어떻게 적응시킬 수 있는가?
• RQ3 기본 행렬 연산 기반의 정규형을 구성하고, 이러한 일반화된 설정에서 완전성을 증명하는 데 사용할 수 있는가?
• RQ4 가환 링과 반링에서 보편성과 타당성을 보장하기 위해 필요한 최소 생성자와 재작성 규칙는 무엇인가?
• RQ5 정수나 자연수와 같은 대수적 구조로 ZX-계산법을 확장함으로써 어떤 새로운 응용이 도출되는가?

주요 결과

• 임의의 가환 링 R 위에서 일반화된 ZX-계산법은 R 위의 행렬에 대해 정규형 기반의 행 연산을 사용하여 완전하다.
• 가환 반링 S에 대해서도 동일한 완전성 결과가 성립하나, 덧셈 역원이 존재하지 않음에도 불구하고.
• S 위의 행렬에 대한 정규형은 분홍색 노드를 사용해 행 덧셈과 스칼라 곱셈을 표현하며, m 큐비트에 대해 정확히 2^m - 1개의 이러한 연산을 포함한다.
• R 또는 S 위의 2^m × 2^n 행렬은 항상 ZX 다이어그램으로 표현 가능하므로, 계산법의 보편성이 증명된다.
• 이 프레임워크는 일반 링 위에서의 기본 행렬을 ZX 형태로 표현할 수 있게 하여, 일반 링 위의 선형대수학을 지원한다.
• 완전성 증명은 정규형의 텐서곱 재작성, 자기 삽입, 생성자 변환 기법에 기반하며, 반링 제약 조건에 맞게 적응화되었다.