[논문 리뷰] Qufinite ZX-calculus: a unified framework of qudit ZX-calculi

Quanlong Wang|arXiv (Cornell University)|2021. 04. 13.

Quantum Computing Algorithms and Architecture참고 문헌 13인용 수 15

한 줄 요약

이 논문은 유한 차원 d ≥ 2에서의 qudit 양자역학을 위한 통합적인 그래픽 프레임워크인 qufinite ZX-계산법을 도입한다. 복소수 단위의 Z 스파이더, 일반화된 삼각형 노드, 그리고 새로운 차원 분할기/결합기 생성자를 포함한 qubit ZX-계산법의 확장으로, 임의의 유한차원 행렬에 대한 정규형을 수립하여 보편성을 입증하고, 완전성 증명과 유한 양자이론의 다이어그램 기반 재구성의 길을 열어 놓는다.

ABSTRACT

ZX-calculus is graphical language for quantum computing which usually focuses on qubits. In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by introducing suitable generators, especially a carefully chosen triangle node. As a consequence we obtain a set of rewriting rules which can be seen as a direct generalisation of qubit rules, and a normal form for any qudit vectors. Based on the qudit ZX-calculi, we propose a graphical formalism called qufinite ZX-calculus as a unified framework for all qudit ZX-calculi, which is universal for finite quantum theory due to a normal form for matrix of any finite size. As a result, it would be interesting to give a fine-grained version of the diagrammatic reconstruction of finite quantum theory [Selby2021reconstructing] within the framework of qufinite ZX-calculus.

연구 동기 및 목표

• qubit ZX-계산법을 임의의 유한 차원 d ≥ 2에서의 qudit 시스템으로 일반화하기.
• 혼합된 차원을 가진 qudit ZX-계산법 간의 통합 프레임워크 부족 문제를 해결하기.
• qudit 벡터에 대한 정규형을 구성하고 이를 임의의 유한차원 행렬으로 확장하기.
• 통합적인 그래픽 계산법 내에서 유한 양자이론의 세밀한 다이어그램 기반 재구성 가능하게 하기.
• 복소수 및 가환 세미환에 대한 qudit 및 qufinite ZX-계산법의 완전성 증명을 위한 기초 마련하기.

제안 방법

• 복소수 단위의 단위를 가진 Z 스파이더와 새로운 일반화된 삼각형 노드를 핵심 생성자로 도입하여 qudit ZX-계산법을 구성하기.
• 비정규화된 하다마드 및 그 수반 노드를 정의하고, 표준 qubit 재작성 규칙을 qudit 차원으로 확장하기.
• 차원 분할기 및 차원 결합기 생성자를 도입하여 선들을 임의의 양의 정수로 레이블링함으로써, 혼합된 차원을 가진 시스템의 조합 가능하게 하기.
• qubit 정규형을 일반화하여 qudit 벡터에 대한 정규형을 구성하고, qudit ZX-계산법의 보편성 입증하기.
• 차원 분할기 및 차원 결합기 규칙을 통해 qudit 정규형을 조합하여 임의의 m×n 행렬에 대한 정규형으로 확장하기.
• 프레임워크가 임의의 가환 세미환에 대해서도 보편적이며, 더 넓은 대수적 일반화 가능함을 입증하기.

실험 결과

연구 질문

• RQ1 qubit ZX-계산법은 일관된 재작성 규칙 세트를 갖추어 임의의 유한 차원 d ≥ 2에서 qudit 시스템으로 체계적으로 일반화될 수 있는가?
• RQ2 혼합된 차원을 가진 qudit 시스템을 하나의 그래픽 계산법 내에서 통합적으로 다룰 수 있는 프레임워크는 어떻게 구성할 수 있는가?
• RQ3 qudit ZX-계산법 프레임워크 내에서 임의의 유한차원 행렬에 대한 정규형을 유도할 수 있으며, 보편성이 보장되는가?
• RQ4 일반화된 삼각형 노드와 차원 분할기/결합기 생성자는 이질적인 qudit 시스템 간의 조합을 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 qufinite ZX-계산법은 유한 양자이론의 세밀한 다이어그램 기반 재구성의 기초로 기능할 수 있는가?

주요 결과

• 논문은 복소수 단위의 Z 스파이더와 일반화된 삼각형 노드를 갖춘 qudit ZX-계산법을 구성하여, qubit 재작성 규칙을 임의의 유한 차원 d ≥ 2로 직접 일반화할 수 있음을 보여준다.
• qudit 벡터에 대한 정규형이 확립되어, qudit ZX-계산법이 임의의 유한차원 양자 상태를 표현하는 데 보편적임을 입증한다.
• qufinite ZX-계산법은 임의의 양의 정수 차원을 가진 선을 지원하는 통합 프레임워크로서, 혼합된 차원을 가진 시스템 간의 조합을 가능하게 한다.
• 차원 분할기 및 차원 결합기 생성자를 사용하여 임의의 m×n 행렬에 대한 정규형을 구성함으로써, qufinite ZX-계산법이 모든 유한차원 양자이론에 대해 보편적임을 입증한다.
• 프레임워크는 임의의 가환 세미환으로 일반화 가능하며, 이는 [14, 15]와 유사한 방법을 통해 완전성 증명 가능성을 시사한다.
• 행렬 곱셈 유형 일치 조건(t = u)이 정규형의 조합 규칙을 통해 시각적이고 구조적으로 명확히 드러난다.