⚛️ quantum physics

Floquetifying stabiliser codes with distance-preserving rewrites

本文介绍了一种基于 ZX-演算的 Floquet 化程序，该程序通过仅使用单比特和双比特操作，将任意稳定器码转化为容错版本，并利用距离保持重写（distance-preserving rewrites）这一新颖应用，在证明能够保持原码距离和逻辑比特数的同时实现转化。

原作者： Benjamin Rodatz, Boldizsár Poór, Aleks Kissinger

发布于 2026-07-17

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Benjamin Rodatz, Boldizsár Poór, Aleks Kissinger

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正试图用玻璃建造一座城堡。这是一个美妙的想法，但玻璃非常脆弱；仅仅一次喷嚏或微小的震动就可能让整座塔楼碎裂。这就是量子计算的日常挣扎。这里的“玻璃”是指量子比特（qubit），它将信息保存在一种既是 0 又是 1 的微妙叠加状态中。而“喷嚏”则是来自环境的噪声和误差。为了防止城堡崩塌，科学家们使用了“量子纠错”技术，这是一种将一个量子比特的信息分散到许多其他量子比特上的系统，就像是用许多细小的、相互锁定的玻璃碎片来建造一座塔楼，这样即使其中一片破碎，整体也不会倒塌。

实现这一目标最常见的方法是使用“稳定器码”（stabiliser codes）。你可以把它们想象成一套严格的规则或测量手段，你不断地检查这些规则，以确保玻璃碎片仍处于正确的位置。通常，这些规则涉及同时检查许多碎片（“高权重”测量）。但问题在于，同时检查十块碎片就像是站在摇晃的梯子上同时玩转十个玻璃球一样——极其困难，而且很容易出错。如果测量本身过于复杂，它引入的误差可能比它修复的还要多。因此，研究人员面临的一个重大问题是：我们如何仅通过简单的、安全的动作（比如只检查一个或两个碎片）来检查这些规则，而不失去整个城堡的保护？

这正是 Benjamin Rodatz、Boldizsár Poór 和 Aleks Kissinger 的论文所解决的问题。他们开发了一种聪明的“翻译”方法，将这些复杂、难以构建的量子码改写为更简单、更易于构建的版本。他们将这个过程称为“Floquet 化”（Floquetifying）。

这里有一个神奇的戏法：想象你有一个巨大的、复杂的蛋糕食谱，要求在同一个碗里同时混合十种原料。这既混乱又冒险。作者发现了一种方法，可以让你仍然做出完全相同的蛋糕，但现在你只需要一次混合两种原料，一个接一个地进行。最终的蛋糕味道一模一样，结构也同样坚固，但厨房变得更加安全且易于管理。

在量子物理的世界中，这种“食谱改写”是使用一种被称为 ZX calculus 的视觉语言完成的。你可以将 ZX calculus 理解为一组彩色的“连点成线”谜题，它们代表了量子电路。作者意识到，虽然你通常可以通过重新排列这些谜题来使它们变得更简单，但这往往会破坏代码的“距离”（distance）。在我们的玻璃城堡类比中，“距离”是指单次喷嚏需要传播多远才能推倒整座塔楼。高距离意味着城堡非常坚固；低距离则意味着它很脆弱。

作者的主要突破在于定义了一套特殊的“安全动作”。他们称之为“保持距离的改写”（distance-preserving rewrites）。这就像是有一本规则手册规定：“你可以移动这些方块，但严禁进行任何会导致单次喷嚏就能同时撞倒两面墙壁的操作。”通过遵循这些安全动作，他们证明了可以将任何复杂的测量（检查许多量子比特）分解为一系列简单的、单量子比特或双量子比特的检查。

其结果是一种新型的量子码，称为“Floquet 码”。这些代码是动态的；它们不是一次性检查所有规则，而是按照特定的、重复的节奏进行检查。作者证明，对于任何现有的量子码，你都可以创建一个仅使用简单的双量子比特操作的 Floquet 版本。至关重要的是，他们证明了这个新代码与原代码一样强大。它保留了相同的“逻辑”量子比特数量（即你想要存储的实际信息）以及相同的“距离”（即抵御误差的相同水平的保护）。

不过，这种简洁性也是有代价的。为了使用简单的步骤执行这些复杂的检查，新代码需要一些额外的“辅助”量子比特。作者计算出，所需额外辅助者的数量与原始复杂测量的规模呈线性增长关系。如果原始代码同时检查 100 个量子比特，那么新代码可能需要大约 50 个额外的辅助者来分步完成工作。但对于许多现代代码来说，这种开销是在可控范围内的，且是常数级的。

或许最令人兴奋的部分在于，这些新代码不仅仅是旧代码的“简化版”；它们是完全不同的物种。作者表明，这些新代码是“真正的”Floquet 码，这意味着它们具有随时间变化的动态结构，不同于传统代码的静态规则。这为构建更实用的量子计算机打开了大门，使硬件能够处理仅能进行简单、局部连接的情况，同时仍能保护数据免受现实世界中混乱噪声的影响。他们不仅提出了这可能可行，还提供了数学证明，证明了安全保障依然成立，从而将一个困难的工程问题变成了一个可以解决的谜题。

问题陈述
稳定子码（Stabiliser codes）是量子纠错码的主要类别，由对易的泡利测量（Pauli measurements）定义。然而，在容错地实现这些代码具有挑战性，因为稳定子测量具有高权重（涉及多个量子比特），而高权重的操作在近期的硬件上难以实现。虽然“Floquet码”通过随时间变化的非对易测量提供了一种动态的替代方案，但现有的将稳定子码转换为低权重操作（具体为单比特和双比特操作）的 Floquet 码的方法仍然有限。在使用如 ZX 演算（ZX calculus）等图形语言进行此类转换时，一个显著的障碍是标准的重写规则通常不会保持代码距离，这可能导致生成的代码鲁棒性降低。

方法论
作者提出了一种“Floquet化”（Floquetification）程序，该程序可以将任意稳定子码转换为仅使用单比特和双比特操作的 Floquet 码，同时保持原代码的距离和逻辑量子比特数。该方法论依赖于三个核心组件：

ZX 演算框架： 稳定子码的测量电路被表示为 ZX 图（ZX diagrams）。作者利用了 ZX 演算中的 Clifford 片段，该片段对于稳定子量子力学是完备的。
保持距离的重写： 为了解决标准的 ZX 重写可能会降低代码距离的问题，作者定义了一类新的“保持距离的重写”。如果对于任何 ZX 图上下文，用其重写后的等价子图替换原有的子图不会降低非平凡不可检测错误的最小权重，则称该重写是保持距离的。作者证明了特定的重写（例如融合蜘蛛节点 [fusing spiders] 以及将高阶蜘蛛节点分解为低阶节点）满足这一条件。
测量电路（MC）流： 作者在 ZX 图上引入了一个称为“测量电路流”（measurement-circuit flow）的结构属性。该流由偏序关系和一组有向路径定义，它保证了图可以被提取为一个由局部 Clifford 操作和泡利测量组成的量子电路（即 MCLC 形式）。作者证明，任何具有 MC 流的图都可以通过仅使用保持距离的重写，转化为一个具有最多三阶蜘蛛节点的“良好覆盖”（well-covered）形式。

该程序包括：

将原稳定子码的测量调度表示为一个 ZX 图。
使用保持距离的重写，将任意权重的泡利测量分解为等效的单比特和双比特操作电路。这种分解会引入辅助量子比特，但确保新电路中的单个错误最多只会产生数据量子比特上的单个错误。
组合这些分解后的测量，并移除中间态制备和破坏性测量，以形成一个动力学电路。
提取最终的 Floquet 码，该码由无限循环的泡利测量调度组成。

核心贡献

保持距离的重写： 本文定义并证明了一系列有效的 ZX 重写规则，这些规则保证了在电路操作过程中能够保持 ZX 距离（以及代码距离）。这使得在不降低纠错能力的情况下，对纠错码进行转换成为可能。
广义 Floquet 化： 作者将 Floquet 化程序（此前仅应用于特定代码）推广到了任意稳定子码。他们提供了一种从任何给定的稳定子码合成新 Flolet 码的算法。
资源开销分析： 本文量化了该程序的开销。所需额外物理量子比特的数量与原代码中最大测量的权重呈线性关系，具体界限为 $\lceil w/2 \rceil + \log_2 w$ ，其中 $w$ 是最大权重。
逻辑属性的保持： 该程序证明可以同时保持输入稳定子码的距离 ( $d$ ) 和编码的逻辑量子比特数 ( $k$ )。
正规 Floquet 码： 作者表明，生成的代码是“正规”的 Floquet 码（区别于稳定子码或子系统码），因为它们包含非对易测量，并且在特定的调度下，其关联的子系统码不含逻辑量子比特。

结果

作者通过 $[[4, 2, 2]]$ 稳定子码演示了该程序，将其转化为一个仅使用权重为 1 和 2 的测量的 $[[6, 2, 2]]$ Floquet 码。
他们提供了一个针对权重为 $w$ 的泡利测量的通用分解方法，表明这些测量可以使用至多 $w + \lceil w/2 \rceil + \log_2 w$ 个量子比特来实现。
理论证明确认，生成的 Floquet 码保持了与输入稳定子码相同的距离和逻辑比特数。
该程序确保了分解后的测量电路中的单个不可检测错误，最多只会导致数据量子比特上的单个错误，从而维持了容错性。

意义
本文声称为使用 ZX 演算在噪声环境下进行量子电路推理提供了数学基础。通过引入保持距离的重写，作者使得将稳定子码编译成兼容硬件约束（限制为低权重操作）的形式成为可能，且不会牺牲纠错性能。这为稳定子码提供了一个动态视角，允许设计出在特定架构中可能优于同类稳定子码的 Floquet 码，或者以无额外成本的方式实现逻辑 Clifford 门。这项工作表明，保持距离的重写可以扩展到更广泛的容错电路综合、优化和验证任务中。

类似论文