分形码

分形码（fractal codes）是 Devakul 与 Williamson 2021 年系统化的构造程序”分形化（fractalization）“的产物：给定一个 D 维自旋模型或量子码与一个 m 维线性元胞自动机（LCA）规则，把每个局域算符提升到 D+m 维空间中支集为分形的算符。得到的码在 3D 里打破了 2D 稳定子码 $d=O(\sqrt{n})$ 的距离上界——逻辑算符的支集是分形而非弦，Haah 立方码等 type-II fracton 模型由此被识别为”分形化的 2D 环面码”。它把拓扑码、fracton 模型与子系统码三条线拧在一起。

分形化映射

设输入一个 D 维模型及其稳定子/项，以及一个 m 维 LCA 规则（每条规则是 ${\mathbb{Z}}_2$ 上的线性元胞自动机，形如”下一代 = 某些邻居的模 2 和”）。分形化把 D 维算符 $O$ 映到 $(D+m)$ 维算符：在原有 D 个空间方向上复制 $L$ 份，第 $D+1,\dots ,D+m$ 个方向的连接模式由 LCA 规则逐层生成，得到支集为分形图案（在 LCA 的时空图上跑足够多步后仍保持局域分支结构）的算符Devakul & Williamson 2021 (Quantum)。

关键结构性结论：分形化模型的基态流形与原模型的 $L^m$ 份堆叠（stacks）通过非局域幺正等价。因此编码维数严格乘以 $L^m$：

$D\text{维}[[n,k,d]]⟼(D+m)\text{维}[[L^{m}n,L^{m}k,d^{\prime }]],d^{\prime }\ge d,$

距离不缩水（依 LCA 规则可大幅增长）Devakul & Williamson 2021 (Quantum)。

打破 2D 距离上界

2D 稳定子码在局域生成元约束下被钳制在 $d=O(\sqrt{n})$（见locality-bounds）。分形化后的 3D 码绕开了这个钳制：逻辑算符的支集是分形——它没有”弦状”的连续路径可走，任何试图把逻辑算符压细的操作都会遇到指数增长的重叠惩罚。因此 $n$ 固定时距离可以随 LCA 规则的选择超过 $O(\sqrt{n})$；这正是 fracton 文献里 type-II 模型（无可动激发）的编码论表述：

• Haah 立方码等 type-II fracton 相 = 分形化的 2D 环面码（见toric-code）；
• 分形 Ising 模型 = 分形化的 1D Ising；分形 SPT/cluster 模型同理Devakul & Williamson 2021 (Quantum)。

激发谱随之变形：原模型的点激发变成不可动的 fracton；环激发变成”分形化环”，其能量随尺寸超线性增长——给 3D 自纠正存储提供了能量势垒来源。

分形 Bacon-Shor 子系统码

把分形化作用在 2D Bacon–Shor 子系统码上（见bacon-shor、subsystem-codes），得到 $[[L^3,L^2,L^{\eta }]]$ 的分形子系统码，其中指数 $\eta$ 依赖于 LCA 规则与 qudit 维数，猜想在大 qudit 维极限下 $\eta \to 2$——若成立，这是首个饱和 3D 局域子系统码存储上限 $k\sqrt{d}\le O(n)$ 的构造Devakul & Williamson 2021 (Quantum)。分形化 4D 环面码更进一步给出 5D 无膜逻辑算符的模型。

分形几何上的拓扑序：no-go 与存活

Zhu–Jochym-O’Connor–Dua 2022 年从另一端问：拓扑序本身能否活在分形几何（而非完整格点空间）上？结论是双层的Zhu et al. 2022 (PRX Quantum)：

• 2D 分形：$Z_N$ 拓扑序有 no-go 定理——存在收缩几何（systole，非收缩环的下界）障碍，拓扑序无法在 2D 分形上存活；
• 3D 及以上：分形几何上拓扑序可以存活，且约束由收缩几何界刻画——这给”用分形几何造码”划定了可行域。

这条线与分形码互补：分形化把码从平直格点送入分形支集，而分形几何分析说明哪些拓扑结构能承受这样的空间手术。

地位与代价

分形码的意义主要是原理性的：它证明”距离上界”是维度 + 算符几何的联合性质，而非稳定子码的宿命；并把 fracton 相（凝聚态）与容错存储（编码）翻译成同一套语言。代价同样明确：分形支集的综合征提取线路复杂、分形维数决定的一切常数在实践中并不友好，且 3D 连通性对当前硬件是苛求——目前没有主流实验平台直接实现分形码；作为对照，2026 年出现的”复合维”边界与缺陷理论开始处理这类跨维码的逻辑操作问题Mousa et al. 2025 (arXiv)（见topological-code-comparison）。

延伸阅读

• toric-code
• subsystem-codes
• bacon-shor
• locality-bounds
• topological-code-comparison