Encyclopedia · Research Topic Index
从一个研究问题出发，快速定位它在全栈中的位置、相邻技术和代表证据。这里保持轻量；深入阅读交给右侧详情与完整主题页。
Published knowledge
构造 commuting generators、逻辑 X/Z 与错误等价类，是数学定义、测量线路和简并解码的共同主干。
用 logical gadgets、extended rectangles、良性/恶性 fault sets 和 level reduction 表达受保护操作的可组合正确性。
对代码投影 P 与错误集合 {E_a}，精确可纠正性要求 P E_a† E_b P = c_ab P，使错误不泄露逻辑态信息。
选择稳定子、CSS、subsystem、bosonic 或更一般的算符代数量子纠错形式。
在满足局域噪声与容错 gadget 条件时，物理故障率低于常数阈值即可用可控开销把任意长理想量子计算模拟到目标精度。
明确保护对象、逻辑任务、目标逻辑错误率、硬件连接与实时控制预算。
用 Hamming、Singleton、linear-programming 与局域性约束界定量子码可达到的长度、维数、距离和校验结构。
把编码空间分解为受保护的 logical subsystem 与无需恢复的 gauge subsystem，并以 gauge group、stabilizer center 和 dressed logical operators 描述纠错。