1. 动态码与时空稳定器基础概念解析
量子纠错领域近年来发展出了一种新型编码方案——动态码（Dynamical Codes），它通过周期性变化的测量模式来实现量子信息的保护。与传统静态稳定器码不同，动态码的核心特征在于其编码结构随时间演化，形成了一种时空交织的纠错机制。
时空稳定器（Spacetime Stabilizer）是理解动态码工作原理的关键概念。当动态码被重复执行时，每个输出稳定器的Pauli网络会在后续的动态码中形成闭合循环。这种闭合结构在ZX图表示中表现为跨越时空的环路，我们称之为时空稳定器。在电路层面，它们也被称为时空检测器（Spacetime Detector），能够捕捉包括空闲错误和症状提取错误在内的各类电路级错误。
重要提示：时空稳定器的检测机制依赖于Pauli网络中多个测量结果的乘积特性。无错误时，所有测量结果相乘应为1；当存在反交换的错误时，乘积将变为-1，从而标记错误的发生。
2. 动态码的容错机制深度剖析
2.1 宏观逻辑支持条件（MLSC）
动态码的容错性（Fault-Tolerance）要求其能够保护输入和输出稳定器码之间共享的逻辑子空间。为确保这一点，必须满足宏观逻辑支持条件（Macroscopic Logical Support Condition, MLSC），即任何输入/输出逻辑算符在时空中的演化都必须保持宏观支持（非恒定权重）。
在HH Floquet码的圆柱几何结构中，我们观察到了一个典型的非容错边界案例。当使用体器件（bulk gadget）处理边界时，输入X逻辑算符会被映射到边界上的一组连接键算符P，实质上导致该逻辑算符被测量。这种现象实际上是Floquet环面码边界上测量量子细胞自动机（MQCA）异常的表现。
2.2 时空距离的计算方法
动态码的容错能力由其时空距离（Spacetime Distance）dst量化，定义为引起不可检测逻辑错误的最小电路级Pauli噪声权重。在ZX图中，这对应于与逻辑Pauli网络反交换、同时与所有时空稳定器交换的π节点的最小数量。
计算dst的关键步骤如下：
- 参数化输入逻辑算符为二进制向量l = (lX|lZ)
- 通过公式d(l) ≡ min_w ||l + HGM^T w||计算逻辑算符可能演化的最小权重
- 取所有输入/输出逻辑算符d(l)的最小值得到dst
3. HH Floquet码的ZX图表示与等效关系
3.1 基本ZX图结构
HH Floquet码的动力学过程可以用ZX图精确描述。图中：
- 边（edges）代表量子比特
- 节点（nodes）表示测量或幺正Clifford操作
- 静态码的每个稳定器和逻辑算符对应一个Pauli网络
当动态码M被重复或回绕时，这些网络会连接形成闭合的时空稳定器。在Algorithm 1构造的动态码中，输入和输出稳定器的Pauli网络会覆盖整个ZX图，确保每个边都参与至少一个连接输入或输出边界的Pauli网络。
3.2 等效关系分类
动态码之间存在两种重要的等效关系：
ZX等效：两个Clifford动态码的ZX图可以通过ZX重写规则相互转换。当输入输出稳定器群相同（S = S¯）时，它们ZX等效当且仅当具有相同的逻辑自同构。
时空等效：比ZX等效更强的概念，要求两个ZX图之间的重写不会创建或破坏任何时空稳定器。这保证了等效的动态码具有相同的容错特性。
实践技巧：判断两个动态码是否时空等效，可以检查它们是否存在具有相同内部腿布局的最小器件布局，且每个空间位置上的器件对是否通过键局部幺正变换相关联。
4. 动态码的资源权衡与优化策略
4.1 三类关键资源
实现动态码需要平衡三类硬件资源：
- 电路深度（Circuit Depth）
- 动态量子比特开销（mF - m）：每个器件中用于空间级联的额外物理量子比特
- 非SLP（Strictly Local Pauli-webs）特性：器件间内部腿的连接模式
这些资源通过器件内部腿的数量nL相互关联。给定器件连接性，最高效的动态码对应最小的nL。
4.2 深度与量子比特开销的权衡
通过调整ZX等效的三阶段布局，可以在电路深度和量子比特开销之间进行权衡：
- 第一阶段：输入码数据量子比特与mF物理量子比特的空间级联
- 第二阶段：每个物理量子比特的器件间操作（深度d2 ~ nL/mF）
- 第三阶段：内部测量（固定深度）
这种结构表明，对于固定m，电路深度dcirc和量子比特开销mF - m是相互可调配的资源。
4.3 连接性与nL的权衡
降低器件连接性（如将BB码的每个L器件连接从9个R器件减少到4个）需要增加nL来满足SLPC。反之，放宽SLPC可以降低nL，但可能导致：
- 更非局部的Pauli网络结构
- 时空距离dst缩短
5. 缺陷硬件的动态码适配方案
5.1 断裂连接器的处理
实际硬件中的制造缺陷（如量子比特或连接器缺失）需要动态码进行本地化调整。对于断裂的连接器，我们可以：
- 移除该方向上所有内部腿
- 放松SLPC，让相邻稳定器的Pauli网络进入附近器件
- 保持其余器件不变，仅修改断裂连接处的器件编码图
在HH Floquet码中，断裂连接处的器件需要特殊的单量子比特幺正门SHS^-1（见图28的ZX图表示），形成6轮调度012012而非标准的3轮。
5.2 最小修改原则
为最大限度保留原有动态码特性，应采用"最小改写"策略：
- 保持绝大多数器件不变
- 仅调整直接受缺陷影响的器件
- 必要时通过重复原有器件来寻找新解决方案
这种方法虽然可能在缺陷附近降低时空距离，但能保持系统整体的容错能力。
6. 动态码实现中的实用技巧与注意事项
6.1 器件布局优化
- 优先选择最小器件（无键局部内部稳定器）
- 对于给定连接性，尝试不同内部腿配置以最小化nL
- 考虑非平凡逻辑自同构可能带来的资源节省
6.2 错误检测增强
- 确保每个时空稳定器涉及足够多的测量
- 定期验证MLSC条件，防止逻辑算符退化为恒定权重
- 监控边界行为，防止MQCA异常导致的非容错情况
6.3 硬件适配建议
- 为可能出现的连接器断裂预留调整方案
- 在边界区域使用专门的边界器件
- 考虑采用CSS Floquet环面码等具有良好等效关系的变体
7. 典型问题排查与解决方案
7.1 逻辑算符被意外测量
症状：输入逻辑算符被映射为边界上的连接键算符原因：边界使用了体器件解决方案：
- 设计专门的边界器件
- 验证BKRC条件：|SG|in = |SG|out = n - k
7.2 时空距离不达标
症状：dst为常数，不随静态码距离d增加原因：逻辑算符演化为恒定权重算符检查步骤：
- 计算所有d(l)并取最小值得到dst
- 确认满足dst ≥ d（定理1保证）
7.3 器件连接断裂处理
症状：部分稳定器无法正确测量解决方案：
- 识别受影响的最小器件集
- 调整Pauli网络路径至相邻器件
- 在断裂端点应用补偿操作（如SHS^-1）
8. 进阶主题：动态码的等效变换
8.1 从HH到CSS Floquet码
通过将HH Floquet码的器件重复两次，可以得到CSS Floquet环面码。关键变换包括：
- 每个键方向内部腿增至2个
- 应用键局部幺正SHS^-1 ⊗ SHS^-1
- 旋转键算符从PI/QI/IQ/IP到XI/ZI/IX/IZ
8.2 SASEC的等效表示
CSS Floquet环面码通过特定键局部幺正变换可等效于稳定器自动短时纠错码（SASEC）。这一变换将ZX图中的4节点环收缩，形成树状结构（图25），最终得到SASEC的最小器件布局。
8.3 三次重复的等效性
某些情况下（如某些Floquet色码），需要将器件重复三次才能获得时空等效的动态码。这种现象与逻辑自同构的周期性密切相关。
