[论文解读] Completeness of the ZH-calculus

Miriam Backens, Aleks Kissinger+3 more|arXiv (Cornell University)|Mar 11, 2021

Logic, programming, and type systems被引用 6

一句话总结

本文建立了 ZH-演算的完备性，这是一种用于量子计算的图形语言，其对应于 Z[1/2] 上的矩阵，即近似通用的 Toffoli+Hadamard 门集合。它引入了一组源自布尔函数恒等式的最小化重写规则，通过正规形约化证明了其完备性，并将该演算扩展至 2 不是零因子的任意环，从而为通用量子计算片段提供了完备且最小化的公理化体系。

ABSTRACT

There are various gate sets used for describing quantum computation. A particularly popular one consists of Clifford gates and arbitrary single-qubit phase gates. Computations in this gate set can be elegantly described by the ZX-calculus, a graphical language for a class of string diagrams describing linear maps between qubits. The ZX-calculus has proven useful in a variety of areas of quantum information, but is less suitable for reasoning about operations outside its natural gate set such as multi-linear Boolean operations like the Toffoli gate. In this paper we study the ZH-calculus, an alternative graphical language of string diagrams that does allow straightforward encoding of Toffoli gates and other more complicated Boolean logic circuits. We find a set of simple rewrite rules for this calculus and show it is complete with respect to matrices over $\mathbb{Z}[\frac12]$, which correspond to the approximately universal Toffoli+Hadamard gateset. Furthermore, we construct an extended version of the ZH-calculus that is complete with respect to matrices over any ring $R$ where $1+1$ is not a zero-divisor.

研究动机与目标

• 开发一种用于超越 Clifford+相位门集合的量子电路推理的完备图形演算，特别是针对涉及多控制门（如 Toffoli 门）的电路。
• 将 ZX-演算框架扩展至处理更复杂的布尔逻辑运算，如 Toffoli 门，这些在原始 ZX-演算中支持不足。
• 通过使用一组最小且直观的重写规则，建立 ZH-演算在对应于 Toffoli+Hadamard 门集合的 Z[1/2] 上矩阵的完备性。
• 将演算推广至 2 不是零因子的任意环，确保在与量子计算相关的更广泛代数结构上保持完备性。
• 通过证明某些规则的冗余性并提出更直观的规则集，简化并优化公理化体系。

提出的方法

• 使用 H-盒子（广义 Hadamard 盒）和 Z-蜘蛛作为生成元，引入 ZH-演算，并在 Z[1/2] 上赋予其矩阵解释。
• 定义一组重写规则——乘法、引入、平均等——其动机源于布尔函数理论中的恒等式。
• 通过条件化约化规则，为 ZH-图式构建正规形，从而实现图式的系统化简化与比较。
• 通过证明任意两个表示同一矩阵的图式均可使用重写规则转化为同一正规形，从而证明完备性。
• 通过引入一个元规则，在 1/2 ∉ R 时取消标量因子，将演算扩展至任意环 R，其中 1+1 不是零因子。
• 使用 !-盒子记号及带注释的 !-盒子，表达图式的族，并证明无限多电路族的性质。

实验结果

研究问题

• RQ1 能否通过一组最小且直观的重写规则，使 ZH-演算对 Toffoli+Hadamard 门集合完备？
• RQ2 ZH-演算中的标准重写规则（如 (hh)）是否必要，还是可由更简单的规则推导得出？
• RQ3 能否将 ZH-演算扩展至 2 不是零因子的任意环，并使其完备？此类完备性需要哪些修改？
• RQ4 该演算是否在最小化意义上完备，即所有规则是否对完备性都是必要的，或可移除或替换为更简单的规则？
• RQ5 能否通过重新解释生成元，使该演算适用于复数域上的酉矩阵，且是否保持完备性？

主要发现

• ZH-演算在对应于 Toffoli+Hadamard 门集合的 Z[1/2] 上矩阵上是完备的，且使用一组小而直观的重写规则。
• (hh) 规则对完备性并非必要，因其可由其他规则推导得出，从而简化了公理化体系。
• (o) 规则可被两个更简单、更直观的规则替代，提升了演算的清晰度与可理解性。
• 通过引入一个元规则，在 1/2 ∉ R 时取消标量因子，可将演算扩展至任意环 R，其中 1+1 不是零因子。
• 正规形构造确保任意图式均可约化为唯一的规范形式，从而支持图式等价性的决策过程。
• 即使将 H-盒子生成元重新解释为表示 1/√2 而非 1/2，该演算仍保持完备性，从而可表示形如 (1/√2)^n A（A ∈ Z^{n×n}）的矩阵。