量子科技中心_量科网

ZX演算的稳定子片段是该理论中最重要的片段之一。与之密切相关的Clifford+T片段具有近似普适性（arXiv:1705.11151）。此外，稳定子演算可通过一组精简的重写规则描述，其中大部分已被证明是必要的（arXiv:1709.08903）。然而，描述红/绿紧致结构重合性的两条规则以及重要的双代数定律，此前尚未被证明其必要性。该团队提出了一种反模型论证，表明相对于Backens-Perdrix-Wang（arXiv:1709.08903）的连通性元规则，这两条规则各自都是必要的，从而确立了arXiv:1709.08903中提出的规则集不存在冗余重写规则。