一句话：为 Clifford+T 量子力学提出首个完全且近似通用的 ZX-Calculus 公理化，并证明其 π/4 片段完备。
本文解决了范畴量子力学中的一个主要开放问题：为 Clifford+T 量子力学（即 ZX-Calculus 的 π/4 片段）给出完整公理化。作者在 Coecke 与 Duncan 提出的图示语言 ZX-Calculus 上新增两条公理，构造出首个完全且近似通用的量子力学图示语言。完备性证明借助近期研究的 ZW-Calculus（处理整数矩阵的演算）完成。论文还证明 π/4 片段恰好表示二元有理数环的某有限维扩环上的所有矩阵。该结果从公理化与表示两方面刻画了 Clifford+T 片段的表达力。
We introduce the first complete and approximately universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding two new axioms to the language. The completeness of the ZX-Calculus for Clifford+T quantum mechanics -- also called the π/4-fragment of the ZX-Calculus -- was one of the main open questions in categorical quantum mechanics. We prove the completeness of this fragment using the recently studied ZW-Calculus, a calculus dealing with integer matrices. We also prove that the π/4-fragment of the ZX-Calculus represents exactly all the matrices over some finite dimensional extension of the ring of dyadic rationals.