1. 比特翻转通道作用于 |0⟩:ρ = (1−p)|0⟩⟨0| + p|1⟩⟨1| = diag(1−p, p)
2. 反证:若 ρ = |φ⟩⟨φ| = (a,b)ᵀ(a,b),两个对角元 |a|², |b|² 均非零 ⇒ 非对角元 ab* ≠ 0;但这里 ρ₁₂ = 0 ⇒ 矛盾 ⇒ 非纯态,只能用 ρ
3. 纯度检验:Tr(ρ²) = (1−p)² + p² = 1 − 2p(1−p);代入 p = 0.02 → Tr(ρ²) = 0.9608 < 1(纯态恒为 1)
NoisySimulator 配 statevector 直接抛 ValueError(原文:simulate_pmeasure is only available for density_operator type OpcodeSimulator backend)