数学与理论基础formalism
稳定子与逻辑算符
构造 commuting generators、逻辑 X/Z 与错误等价类，是数学定义、测量线路和简并解码的共同主干。
- 成熟度
- 核心基础
- 重要度
- 核心主题
- 证据
- 2 篇代表来源
01
范围与辨析
本主题覆盖以可交换 Pauli 稳定子定义编码空间和逻辑算符的形式体系。Subsystem gauge 自由度、玻色码和更一般 operator-QEC 条件作为相关但独立的主题处理。
02
核心机制与研究判断
核心机制
- S = <S1,…,S_{n-k}>
- 编码空间是共同 +1 本征空间
- N(S)/S 给出逻辑 Pauli
- CSS 条件 Hx Hz^T = 0
- 错误只需恢复到同一稳定子陪集
适用场景
- 用于推导编码空间、syndrome、逻辑 Pauli、等价错误和 CSS 分解。
比较维度
- 比较 stabilizer rank、check weight、逻辑算符支持和由线路引入的有效 circuit distance。
至少报告
- 明确生成元约定、逻辑算符代表元、边界条件以及 X/Z check 的矩阵定义。
重点风险
- 不要把相同 syndrome 的简并错误当成可区分错误，也不要把抽象码距直接等同于线路码距。
03
全栈位置与直接关系
theory/formalism/stabilizer← flowQEC 数学形式选择稳定子、CSS、subsystem、bosonic 或更一般的算符代数量子纠错形式。→ flow量子码族选择按物理实现、码率、距离、检查权重与逻辑门能力选择码族。→ crosslayer稳定子→测量线路把每个 Pauli check 编译为初始化、交互门、测量基和 reset 的具体电路。→ crosslayerSyndrome由稳定子测量本征值形成；理想单轮 syndrome 指示与错误反对易的 checks。→ crosslayer错误估计与逻辑类输出物理错误代表元、逻辑类别、置信度或待更新的 Pauli frame。← feedback联合优化闭环根据仿真和硬件结果同时调整码、稳定子基、线路、调度、映射、decoder 与逻辑操作。→ 兼容小型稳定子码纠错实验在有限块码或 subsystem code 上执行 syndrome 提取与实际纠正，而不只进行终态错误检测。← 依赖Quantum Error Correction: An Introductory Guide从量子错误数字化、稳定子测量与小型码出发，逐步进入 surface code、decoder、threshold 和实际容错约束的同行评议教程。
04
代表证据
05