[논문 리뷰] Supplementarity is Necessary for Quantum Diagram Reasoning

Simon Perdrix, Quanlong Wang|arXiv (Cornell University)|2015. 06. 09.

Logic, programming, and type systems인용 수 5

한 줄 요약

이 논문은 π/4-조각이 클리포드+T 양자역학에 대해 완비가 아니라는 것을 증명한다. 보완성 방정식—양자 상태의 기본 성질—는 각도가 π/2의 배수일 때에만 유도될 수 있으며, 그렇지 않으면 유도되지 않는다. 저자들은 보완성에 대한 그래픽 규칙을 도입하여 반상동류를 융합할 수 있도록 하고, 순수하게 다이어그램 기반의 해석을 제공함으로써, 보완성이 스태빌라이저 양자역학을 초월한 완전한 다이어그램 기반 추론을 위해 필수적임을 입증한다.

ABSTRACT

The ZX-calculus is a powerful diagrammatic language for quantum mechanics and quantum information processing. We prove that its π/4-fragment is not complete, in other words the ZX-calculus is not complete for the so called "Clifford+T quantum mechanics". The completeness of this fragment was one of the main open problems in categorical quantum mechanics, a programme initiated by Abramsky and Coecke. The ZX-calculus was known to be incomplete for quantum mechanics. On the other hand, its π/2-fragment is known to be complete, i.e. the ZX-calculus is complete for the so called "stabilizer quantum mechanics". Deciding whether its π/4-fragment is complete is a crucial step in the development of the ZX-calculus since this fragment is approximately universal for quantum mechanics, contrary to the π/2-fragment. To establish our incompleteness result, we consider a fairly simple property of quantum states called supplementarity. We show that supplementarity can be derived in the ZX-calculus if and only if the angles involved in this equation are multiples of π/2. In particular, the impossibility to derive supplementarity for π/4 implies the incompleteness of the ZX-calculus for Clifford+T quantum mechanics. As a consequence, we propose to add the supplementarity to the set of rules of the ZX-calculus. We also show that if a ZX-diagram involves antiphase twins, they can be merged when the ZX-calculus is augmented with the supplementarity rule. Merging antiphase twins makes diagrammatic reasoning much easier and provides a purely graphical meaning to the supplementarity rule.

연구 동기 및 목표

• 범주적 양자역학의 주요 미해결 문제를 해결하기 위해: ZX-계산법의 π/4-조각이 클리포드+T 양자역학에 대해 완비인지 여부를 밝히는 것.
• 보완성 방정식—양자 상태의 핵심 성질—이 ZX-계산법 프레임워크 내에서 유도 가능한지 조사하는 것.
• 보완성이 스태빌라이저 양자역학을 초월해 근사적으로 보편성을 갖는 ZX-계산법으로의 확장에 있어 필수적인지 판단하는 것.
• ZX-다이어그램에서의 반상동류 개념을 통해 보완성의 순수한 그래픽적 의미를 제공하는 것.
• 보완성 규칙을 포함한 확장된 ZX-계산법을 제안하여 다이어그램 기반 추론과 완비성을 향상시키는 것.

제안 방법

• 논문은 표준 해석과 재작도 규칙의 타당성을 사용하여 ZX-계산법에서 보완성 방정식의 유도 가능성 분석.
• 각도가 π/2의 배수일 때에만 보완성이 ZX-계산법에서 유도 가능하다는 것을 증명하며, J.K♯를 포함한 유도된 방정식을 사용.
• 다이어그램의 구조적 및 스칼라 행동을 분석하기 위해 수정된 해석 J.K♯k,ℓ를 사용.
• 이중구조 규칙(B2), 호프 법칙, π의 흡수 성질을 적용하여 보완성 방정식 양변의 다이어그램을 단순화하고 비교.
• 복잡한 다이어그램의 표준 해석을 유도하고 이를 스칼라 방정식으로 줄여 등식 여부를 테스트하는 방법을 사용.
• 같은 색상, 같은 이웃, 각도 차이가 π인 정점들—반상동류—의 개념을 도입하여 보완성의 그래픽적 표현을 제공.

실험 결과

연구 질문

• RQ1 각도가 π/2의 배수가 아닐 경우, 특히 π/4일 때 보완성 방정식이 ZX-계산법에서 유도 가능한가?
• RQ2 π/4-조각이 근사적으로 보편성을 갖는 바탕으로 클리포드+T 양자역학에 대해 완비인가?
• RQ3 보완성 규칙이 기본적인 양자 상태 성질에 순수한 그래픽적 의미를 제공하는가?
• RQ4 ZX-다이어그램에서 반상동류를 보완성 규칙을 사용해 융합할 수 있으며, 이는 다이어그램 기반 추론을 단순화하는가?
• RQ5 보완성이 스태빌라이저 양자역학을 초월해 클리포드+T 회로에 대해 완비성을 달성하기 위해 ZX-계산법을 확장하는 데 필수적인가?

주요 결과

• 각도가 π/4일 경우 보완성 방정식을 유도할 수 없기 때문에, ZX-계산법의 π/4-조각은 클리포드+T 양자역학에 대해 완비가 아니다.
• 보완성이 ZX-계산법에서 유도 가능하려면 반드시 다루는 각도가 π/2의 배수여야 하며, 이는 유도 가능성의 정확한 경계를 설정한다.
• ZX-계산법의 표준 해석은 타당하며, 이 해석 하에서 보완성 방정식을 유도하면 α = 0 mod π/2 조건이 도출된다.
• 해석에서 유도된 방정식 (1 + e²ⁱᵃ)(1 − e⁴ⁱᵃ) = 0은 α가 π/2의 배수일 때에만 성립한다.
• 보완성 규칙을 추가하면 반상동류를 융합할 수 있어 다이어그램 기반 추론이 단순화되며, 규칙에 대한 그래픽적 의미론이 제공된다.
• 보완성 규칙을 추가하더라도 일반적으로 ZX-계산법은 여전히 완비가 아니며, 예를 들어 각도를 홀수 정수로 곱하는 등의 다른 해석이 여전히 타당하기 때문이다.