qat.synthopline.co_diagonalization.synthesize_stabilizer_state

qat.synthopline.co_diagonalization.synthesize_stabilizer_state(tableau: Tableau, backend: int, specs=None)

Given a Clifford operator \(C\) described by its Tableau, returns a circuit preparing state \(C|0\rangle\) from state \(|0\rangle\).

Parameters

tableau (stim.Tableau) – a stim Tableau object
backend (int) – the backend to use for the graph state synthesis. 1 corresponds to a naive synthesis, 2 to a syndrome decoding based synthesis.
specs (HardwareSpecs) – optional, some target hardware specs.

Returns

a circuit preparing the stabilizer state

Return type