研究概念明确支持
稳定子与逻辑算符
构造 commuting generators、逻辑 X/Z 与错误等价类,是数学定义、测量线路和简并解码的共同主干。
官方来源入库前已核验
README introduction and § What Can You Do With PECOS? — stabilizer simulation backend提供稳定子及其他量子模拟后端。
证据记录 1 ·software-relation:pecos:stabilizer复查官方来源 ↗Software · quantum-pecos
用于探索、开发和评估量子纠错协议及量子—经典混合程序的框架。
Capability boundary
提供 Python API、Rust 核心、多种模拟器、噪声建模与 QEC 组件;官方提示 1.0 之前的次版本可能包含破坏性变更。
版本字段记录官方仓库展示的 Rust PECOS 版本,不代表所有语言包同步版本。Connected technologies
构造 commuting generators、逻辑 X/Z 与错误等价类,是数学定义、测量线路和简并解码的共同主干。
提供稳定子及其他量子模拟后端。
证据记录 1 ·software-relation:pecos:stabilizer复查官方来源 ↗码和解码器设计不能脱离噪声模型;需区分 code-capacity、phenomenological 与 circuit-level。
框架包含可配置噪声模型与协议评估接口。
证据记录 1 ·software-relation:pecos:noise_assumption复查官方来源 ↗在 noisy measurement 下连续执行多轮检查;单轮 syndrome 通常不足以区分数据错误与测量错误。
官方示例覆盖综合征提取与多轮协议结构。
证据记录 1 ·software-relation:pecos:syndrome_round复查官方来源 ↗抽样物理故障、执行 syndrome 与 decoder、判断逻辑失败;它通常是评估方法,不是 decoder。
提供面向 QEC 协议评估的重复仿真能力。
证据记录 1 ·software-relation:pecos:montecarlo复查官方来源 ↗用于探索、开发和评估量子纠错协议及量子—经典混合程序的框架。
与 Atlas 百科主题“PECOS QEC simulator”建立一对一官方资源对齐。
证据记录 1 ·software-relation:pecos:pecos_software复查官方来源 ↗