[论文解读] Supplementarity is Necessary for Quantum Diagram Reasoning

Simon Perdrix, Quanlong Wang|arXiv (Cornell University)|Jun 9, 2015

Logic, programming, and type systems被引用 5

一句话总结

本文證明了π/4-片段的ZX演算對於Clifford+T量子力學是不完備的，這是因為補全方程——量子態的一個基本性質——除非角度為π/2的倍數，否則無法推導出來。作者引入了一個補全的圖形規則，可實現反相位雙生子的合併，並提供了純粹的圖形化解釋，從而確立了補全在超越穩定子量子力學的ZX演算完整圖形推理中是必要的。

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-片段是否對Clifford+T量子力學是完備的。
• 研究補全方程——量子態的一個關鍵性質——是否能在ZX演算框架內被推導出來。
• 確定補全是否對於將ZX演算擴展至超越穩定子量子力學的近似通用性至關重要。
• 透過ZX圖形中的反相位雙生子概念，提供補全的純圖形化解釋。
• 提出一個增強版的ZX演算，加入補全規則，以改善圖形推理與完備性。

提出的方法

• 本文利用標準解釋與重寫規則的正當性，分析補全方程在ZX演算中是否可推導。
• 證明補全可在ZX演算中被推導，當且僅當涉及的角度為π/2的倍數，並使用涉及解釋J.K♯的推導方程。
• 作者使用修改後的解釋J.K♯k,ℓ，分析規則應用下圖形的結構與標量行為。
• 應用雙代數規則（B2）、霍夫定律，以及π的吸收性質，簡化並比較補全方程兩側的圖形。
• 該方法涉及推導複雜圖形的標準解釋，並將其簡化為標量方程以測試等式。
• 引入反相位雙生子的概念——相同顏色、相同鄰域，且角度差為π的頂點——作為補全的圖形表現形式。

实验结果

研究问题

• RQ1 對於非π/2倍數的角度，特別是π/4，補全方程是否可在ZX演算中被推導？
• RQ2 考慮其近似通用性，ZX演算的π/4-片段是否對Clifford+T量子力學完備？
• RQ3 補全規則是否為一個基本量子態性質提供了純圖形化的意義？
• RQ4 是否可使用補全規則合併ZX圖形中的反相位雙生子？這是否簡化了圖形推理？
• RQ5 補全是否對於將ZX演算擴展至超越穩定子量子力學、以達成Clifford+T電路完備性是必要的？

主要发现

• ZX演算的π/4-片段對Clifford+T量子力學不完備，因為當角度為π/4時，補全方程無法被推導。
• 補全可在ZX演算中被推導，當且僅當涉及的角度為π/2的倍數，從而確立了推導能力的精確邊界。
• ZX演算的標準解釋是正當的，且在此解釋下補全方程的推導導致條件α = 0 mod π/2。
• 從解釋中推導出方程(1 + e²ⁱᵃ)(1 − e⁴ⁱᵃ) = 0，該式僅在α為π/2的倍數時成立。
• 加入補全規則後，可實現反相位雙生子的合併，簡化圖形推理，並為該規則提供圖形語義。
• 即使加入補全規則，ZX演算在一般情況下仍不完備，因為其他解釋（例如角度乘以奇數）仍保持正當性。