Sampling hard circuits with verifiably high fidelity
The construction is a systematic method for promoting a stabilizer state to a magic state while keeping an error-detected fidelity certificate, and is a systematic method for promoting a stabilizer state to a magic state while keeping an error-detected fidelity certificate.