可扩展蛛网（……或如何以图形方式领悟横向非 Clifford 门）

这是“图形领悟”系列论文的第二篇，我们在其中研究如何使用 ZX-calculus 来理解 stabiliser codes。在本文中，我们展示了涉及 ZX-diagrams 的某些复杂规则（称为 spider nest identities）可以使用可扩展 ZX-calculus 简洁地刻画，并且所有此类恒等式都可以在 Clifford ZX-calculus 中使用单一新规则进行归纳证明。这可以与第一篇“领悟”论文中提出的 CSS codes 的 ZX 图景相结合，从而对可在任意 CSS code 中实现的、位于 Clifford 层级第三层的所有横向对角门集合给出一个简单刻画。