2

You can use stim for this, although you do have to write the stabilizer projection procedure for yourself. Write some methods to project a system into the +1 eigenstate of several stabilizers: from typing import List import stim def find_compatible_tableau(stabilizers: List[stim.PauliString]) -> stim.Tableau: num_qubits = max(len(e) for e in ...


2

An arbitrary choice will work. Note that your choice will affect the logical basis (i.e. the eigenbasis of $\bar{Z}$), so some choices might be more convenient for you. You might find these lecture notes helpful, especially section III on logical operators for stabilizer codes.


Only top voted, non community-wiki answers of a minimum length are eligible