综合、化简与等价验证的代数工具箱：Kitaev、ZX 演算与超优化。
本卷共 11 个词条，按认知顺序排列（与左侧目录一致）：
| 词条 | 读完能回答 |
|---|---|
| 电路提取与 Pauli Flow | ZX 图变回线路依赖流条件：有 gflow 时多项式时间可提取，一般情形 p 困难。 |
| 对角线路综合 | 无 ancilla 的对角幺正综合——Walsh 函数对应与相位多项式把电路综合化为函数逼近，多控 Z-rotation 电路可做到门数最优。 |
| 基本门分解 | 任意 n 比特幺正都可精确分解为单比特门与 CNOT 的有限序列，这一标准构造是所有量子编译器的前端。 |
| 电路等价性验证 | 判断两个量子电路是否实现同一幺正：ZX 化简、路径和与决策图三范式的互补实践。 |
| 多控相位门综合 | 用 ZX 演算从任意电路中识别隐含的多控相位门并直接综合为中性原子原生 CnP 门，基准执行时间最多降 40%。 |
| 相位 Gadget 与浅深综合 | Pauli 指数型相位 gadget 在 ZX 演算中只是带相位的蜘蛛，tket 借此把 CNOT 阶梯换成平衡树，化学基准上两比特门数平均降 54.5%。 |
| PyZX 与图论化简 | 开源 Python 库把 ZX 重写规则变成大规模自动图化简：策略、正确性检查与工程细节。 |
| Quartz 超优化 | 自动发现并机器验证电路等价替换类，再用代价回溯搜索对任意门集做超优化。 |
| Solovay-Kitaev 定理与算法 | 有限门集只要稠密就能以 polylog(1/ε) 长度逼近任意单比特门，递归的 commutator 构造把离散化开销从平方降到多对数。 |
| T 计数与非 Clifford 约简 | T-count 是 Clifford+T 容错计算的核心成本指标——基于 Todd、相位传送与奇偶网络的下界理论，可在多数基准电路上再省 20-50%。 |
| ZX 演算 | 用蜘蛛生成元与少量重写规则把量子线路变为可自由变形图形的图形化语言。 |