关于量子无噪声子系统验证过程的注记

我们建立了如下条件：针对线性误差算符集$\ce$的量子纠错行为的实验验证，足以验证包含在$\ce$中的误差代数$\ca$的无噪声子系统。从实际角度看，我们的结果意味着无噪声子系统的验证不必要求对 syndrome subsystem（症状子系统）所有可能初态的无噪声行为作显式验证。