stabilizer formalism