[논문 리뷰] Simplification Strategies for the Qutrit ZX-Calculus

Alex Townsend-Teague, Konstantinos Meichanetzidis|arXiv (Cornell University)|2021. 03. 11.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

이 논문은 큐트리트 ZX-계산의 안정자 분할에 대한 효율적인 단순화 전략을 개발하며, 국소 보완성에서 유도된 큐트리트 전용 피봇 규칙을 도입한다. 주요 기여는 큐트리트 안정자 ZX-다이어그램의 효율적 재작성 가능성을 보장하는 것으로, 존스 다항식 평가 및 그래프 색칠 문제와 같은 문제들에 대한 복잡도 이론적 통찰을 제공하며, 차원 d=3에서 복잡도의 급격한 전이가 발생함을 보여준다.

ABSTRACT

The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings.

연구 동기 및 목표

• 큐트리트 ZX-계산의 안정자 분할에 대한 효율적인 단순화 전략을 개발하기 위해.
• 큐비트 기반 국소 보완성 및 피봇 규칙을 큐트리트 환경으로 확장하기 위해.
• ZX-계산 프레임워크를 통해 존스 다항식 평가 및 그래프 색칠과 같은 문제들에 대한 복잡도 이론적 통찰을 제공하기 위해.
• 미래의 큐트리트 회로 최적화 및 일반 큐디트 단순화에의 적용을 가능하게 하기 위해.

제안 방법

• 큐트리트 국소 보완성 연산의 조합을 통해 큐트리트 버전의 피봇 규칙을 유도하기 위해.
• 유도된 재작성 규칙을 사용하여 큐트리트 안정자 ZX-다이어그램을 효율적으로 단순화하기 위해.
• 단순화 전략을 적용하여 존스 다항식 및 그래프 색칠과 같은 텐서 네트워크 문제를 인코딩하고 분석하기 위해.
• 기존의 복잡도 결과를 ZX-계산으로 매핑하여 재해석함으로써, 안정자 다이어그램으로 표현 가능한 문제들은 다항시간 내에 해결 가능하다는 것을 보여주기 위해.
• 재작성 과정에서 유도된 스칼라 인자를 효율적으로 추적하여 정확성을 유지하기 위해.
• 안정자 분할의 완전성과 효율성을 활용하여, d=3에서 P에서 #P-난이도로 전이되는 문제들을 분석하기 위해.

실험 결과

연구 질문

• RQ1 ZX-계산에서 큐비트에서의 국소 보완성 및 피봇 연산은 큐트리트로 어떻게 일반화될 수 있는가?
• RQ2 큐트리트 안정자 ZX-다이어그램에 대한 효율적인 단순화 전략은 무엇인가?
• RQ3 이러한 전략은 루트 오브 유니티에서 존스 다항식을 평가하는 복잡도에 대해 어떤 통찰을 제공하는가?
• RQ4 큐트리트 다이어그램으로 인코딩했을 때 그래프 색칠 문제의 복잡도 전이점은 어디인가?
• RQ5 큐트리트 ZX-계산의 안정자 분할이 기존의 복잡도 결과를 재도출하거나 재해석하는 데 사용될 수 있는가?

주요 결과

• 논문은 세 개의 국소 보완성 연산의 조합으로 유도된 큐트리트 전용 피봇 규칙을 도출하여, 큐트리트 안정자 ZX-다이어그램의 효율적 재작성을 가능하게 한다.
• 단순화 전략을 통해 d ∈ {2,3,4}에서 루트 오브 유니티에서 존스 다항식을 평가하는 데 있어 다항시간 내에 해결 가능하게 되며, 이는 P에 속함을 의미한다. 반면 ZGL(d ≥5)는 여전히 #P-난이도이다.
• 그래프 색칠 문제의 경우 d=3에서 P에서 #P-완전으로 전이되며, 이는 d=3일 때 X-박스 행렬이 안정자 큐트리트 다이어그램으로 표현될 수 없다는 사실과 일치한다.
• 이 작업은 차원 d=3에서 안정자 ZX-다이어그램으로 표현 가능한 문제들은 효율적으로 단순화 가능하며, 높은 차원 표현이 필요한 문제들은 비효율적이 된다는 것을 보여준다.
• 결과적으로, 이는 텐서 네트워크 문제에서의 복잡도 단계 전이를 이해하는 데 새로운 그림자적이고 대수적 프레임워크를 제공한다.
• 저자들은 재작성 과정에서 유도된 스칼라 인자를 효율적으로 추적할 수 있음을 보여주며, 정확성 유지와 함께 앰플리튜드의 정확한 계산을 가능하게 한다.