量子科技中心_量科网

ZX-calculus是一种用于操控量子电路的强大图形语言，近期在量子纠错领域取得了广泛应用。该工作通过测量基代码切换与规范固定之间的关联（arXiv:1810.10037），将该语言扩展至弗洛凯及其他动态稳定子码的处理。通过整合规范固定步骤，研究团队在稳定子码空间中实现了一条闭合环路，并最终以逻辑克利福德门为代价回归至原始码空间。这些基于测量的稳定子码空间路径可视为相对于单量子比特克利福德操作与量子比特置换的捷径，即“滑道与梯子”。该方法为构建动态自同构提供了一种可机器解析的方案，并有助于搜索所需逻辑门的实现途径。作为示例，该团队利用七量子比特裸码（arXiv:1702.01155）的距离保持代码切换，实现了一个逻辑相位门——该裸码不存在基于单量子比特克利福德操作与量子比特置换的非平凡逻辑克利福德门（arXiv:2409.18175）。