Software · stim
面向量子纠错稳定子线路的高性能仿真与分析工具。
Capability boundary
提供稳定子线路采样、detector error model、Pauli/Tableau 工具，并通过 Sinter 支持并行 Monte Carlo 工作流。
Connected technologies
构造 commuting generators、逻辑 X/Z 与错误等价类，是数学定义、测量线路和简并解码的共同主干。
提供 PauliString、Tableau 与稳定子线路仿真原语。
证据记录 1 ·software-relation:stim:stabilizer复查官方来源 ↗把每个 Pauli check 编译为初始化、交互门、测量基和 reset 的具体电路。
执行并分析稳定子测量线路。
证据记录 1 ·software-relation:stim:stabilizer_compile复查官方来源 ↗相邻轮测量结果的变化构成时空检测事件，是 surface-code 与 circuit-level decoding 的核心输入。
从含噪线路生成 detector error model 与 detection-event 数据。
证据记录 1 ·software-relation:stim:detection_events复查官方来源 ↗抽样物理故障、执行 syndrome 与 decoder、判断逻辑失败；它通常是评估方法，不是 decoder。
Sinter 子项目支持并行纠错采样与逻辑错误率统计。
证据记录 1 ·software-relation:stim:montecarlo复查官方来源 ↗噪声覆盖 state prep、门、idle、测量与 reset，而不是编码后的单一位置。
Stim 提供单比特、双比特 Pauli 通道及相关 Pauli 乘积错误指令。
证据记录 1 ·software-relation:stim:physical_noise复查官方来源 ↗当 Z 或 X 类错误占主导时，可通过 code、gate 和 decoder 联合利用偏置；综合征线路可能破坏偏置。
可通过独立 px、py、pz 概率表示非对称 Pauli 噪声，并生成带 herald 的偏置错误。
证据记录 1 ·software-relation:stim:biased_noise复查官方来源 ↗若错误位置可被标记，decoder 可利用 erasure information；泄漏还需考虑持续传播和复位。
HERALDED_ERASE 指令模拟位置已知的 heralded erasure channel。
证据记录 1 ·software-relation:stim:erasure_loss复查官方来源 ↗在制备、门、空闲、测量和 reset 等具体电路位置上注入随机故障，并保留故障传播与时序信息的噪声模型。
Stim 可在稳定子线路的具体门、测量与 reset 位置组合噪声指令，生成电路级采样模型。
证据记录 1 ·software-relation:stim:circuit_level_noise复查官方来源 ↗在空间位置、时间轮次或多比特故障机制之间具有统计依赖，因而违反独立同分布故障假设的噪声。
Stim 用相关 Pauli 乘积及互斥相关错误分支表示多比特联合故障。
证据记录 1 ·software-relation:stim:correlated_noise复查官方来源 ↗重复纠错周期中由读出分布、分类、状态制备和 reset 失败引入，并直接改变 syndrome 流的噪声。
Stim 的测量与 measurement-reset 指令可显式表示读出翻转和 reset 后状态。
证据记录 1 ·software-relation:stim:measurement_reset_noise复查官方来源 ↗面向量子纠错稳定子线路的高性能仿真与分析工具。
与 Atlas 百科主题“Stim stabilizer simulator”建立一对一官方资源对齐。
证据记录 1 ·software-relation:stim:stim_software复查官方来源 ↗