Stabilizer Propagation

**Stabilizer propagation** is a method used in quantum computing to efficiently simulate how *stabilizer states* evolve under *Clifford operations*. Instead of tracking full quantum states, it tracks how the stabilizer generators (Pauli operators that define the state) transform through the circuit. This works because Clifford gates map Pauli operators to Pauli operators, keeping the stabilizer structure intact and making simulation polynomial-time efficient.