6 个可见节点 · 3 条关系ELK layered + semantic lanes
A. 需求、数学与码设计从任务约束到稳定子、逻辑算符与码参数
B. 态制备、编码与量子线路把抽象码编译为可执行的容错量子操作
C. 噪声、综合征与时空检测事件物理错误经测量转化为经典解码输入
D. 经典解码与实时控制根据 syndrome history 推断逻辑等价类
E. 恢复、逻辑操作与评测闭环Pauli frame、容错计算、阈值与联合优化
noise设计噪声假设码和解码器设计不能脱离噪声模型；需区分 code-capacity、phenomenological 与 circuit-level。
core formalismQEC 数学形式选择稳定子、CSS、subsystem、bosonic 或更一般的算符代数量子纠错形式。
core formalism稳定子与逻辑算符构造 commuting generators、逻辑 X/Z 与错误等价类，是数学定义、测量线路和简并解码的共同主干。
core codeBacon–Shor subsystemShor 类码的 subsystem 版本；测量低权重 gauge operators，再组合得到 stabilizer syndrome。
core codeGKP code将有限维逻辑态编码进振子相空间晶格，以 syndrome 估计连续位移误差。
core reviewQuantum error correction for quantum memories以量子存储为主线系统梳理可纠正条件、稳定子与 subsystem 码、拓扑存储、解码和容错阈值的基础综述。
core Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.