拓扑序（topological order）是超越 Landau 对称破缺范式的物质相概念：两个相可以宏观性质全同、任何局域序参量都区分不了，却由长程纠缠与任意子激发的本质差异分开。Kitaev 的环面码哈密顿量是它的第一个精确可解模型——基态简并度是流形拓扑不变量、能隙保护、局域扰动下简并分裂指数小。量子纠错码与拓扑序是同一数学结构的两面：码空间 = 基态空间，不可检测错误 = 非局域算符，稳定子哈密顿量 = 码的自纠正版本。任意子统计则是这套结构的”探针语言”，也是拓扑量子计算的资源。
定义：长程纠缠，而非对称性
拓扑序的核心特征群Kitaev 1997 (Annals Phys.)：
- 基态简并依赖流形拓扑：环面码在亏格 g 曲面上简并度 ，在球面上唯一——简并度不是对称性保护，而是拓扑不变量；
- 局域不可分辨：任何支集直径 系统尺寸的算符在基态空间内只能表现为常数乘恒等——四个基态用局域测量完全无法区分（这同时就是”错误不可检测 ⇔ 非局域”的码学表述）；
- 能隙保护：哈密顿量 基态与激发间有能隙（），任意局域扰动 下基态简并的分裂只在 阶微扰以上出现且 ；
- 无局域序参量：不能用任何局域关联函数刻画——这是”拓扑”二字的精确含义（见toric-code）。
用现代语言：拓扑序 = 态的长程纠缠模式（经有限深度局域酉电路不能互相变换的态等价类）；环面码基态是 拓扑序（规范理论 deconfined 相）的代表。
任意子：统计作为探针
拓扑序的全部普适信息封装在任意子模型里：粒子类型标签、融合规则、编织统计（见twist-defects的 Ising 例子）。环面码给出最简单的非平凡模型Kitaev 1997 (Annals Phys.)：
- 四种粒子 ，；e、m 是阿贝尔任意子；
- 编织统计：e 绕 m 一圈得相位 ，e、m 各自是玻色子， 是费米子；
- 基态简并可由编织性质重构（Einarsson 论证： 可在平面上实现）。
统计决定论：阿贝尔任意子只能实现 Pauli（相位门之外的逻辑门需要非阿贝尔结构），这正是 Kitaev 转向量子双模型的动机；换任意子模型 = 换拓扑相 = 换码（semion-codes的半子统计、twist-defects的缺陷等价类都是这个纲领的实例）。
码 ↔ 序：同一结构的两种读法
| 量子纠错码语言 | 拓扑序语言 |
|---|---|
| 码空间 | 基态空间 |
| 稳定子哈密顿量 | 可解自旋液体哈密顿量 |
| 不可检测错误（逻辑算符） | 非局域算符 |
| 综合征（被违反的稳定子） | 任意子激发构型 |
| 简并度 | 基态简并 |
| 距离 d | 最短非收缩环 |
| 译码（配对湮灭任意子） | 序参量恢复 |
这一字典是双向营利：码学家从拓扑序拿到新码族（双半子、颜色码的非阿贝尔边界），凝聚态学者从译码理论拿到相变探针——DKLP 的 RBIM 映射同时定义了表面码阈值与无序 Ising 模型的 Nishimori 点（见surface-code-threshold）。
自纠正与 fragility 问题
有能隙 ≠ 会自纠正：2D 环面码的任意子无禁闭成本（能量不随分离增长），热涨落会产生任意子对并自由漫游，故 2D 拓扑码不是自发自纠正的量子存储（4D 环面码才是，弦/膜激发的能量随尺度增长）。自纠正问题即”能否设计能量势垒随码距增长的哈密顿量”，相关构造见fractal-codes（fracton 能量势垒）与subsystem-codes。
2026：混合态拓扑序与非阿贝尔码
纯态拓扑序理论成熟后，前沿转向混合态（开放系统、噪声下的拓扑序）：Kim–McGinley 2026 年建立非阿贝尔码中混合态拓扑序与纠错阈值的统一框架——拓扑序的”存活性”本身成为可定义、可证明阈值意义的量，把”码的阈值”与”相的稳定性”在非阿贝尔情形下接通Kim & McGinley 2026 (arXiv)。非阿贝尔任意子的 heralding（确证产生）与最优译码同样在 2026 年被系统化Jing et al. 2025 (arXiv)。实验侧，非阿贝尔任意子编织已在量子处理器上演示（哈佛/QuEra 的 48 逻辑比特工作用缺陷与编织做逻辑门，见harvard-quera）Bluvstein et al. 2024 (Nature)。