Designing Quantum Channels Induced by Diagonal Gates

https://dukespace.lib.duke.edu/items/a9be7bf3-5df0-4088-aed9-ce84dcb479b0 The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal T gate play an important role in implementing a universal set of quantum operations. We introduce a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). The framework describes the interaction of code states and physical gates in terms of generator coefficients determined by the induced logical operator. The interaction of code states and diagonal gates depends on the signs of Z-stabilizers in the CSS code, and the proposed generator coefficient framework explicitly includes this degree of freedom. We derive necessary and sufficient conditions for an arbitrary diagonal gate to preserve the code space of a stabilizer code, and provide an explicit expression of the induced logical operator. When the diagonal gate is a quadratic form diagonal gate, the conditions can be expressed in terms of divisibility of weights in the two classical codes that determine the CSS code. These codes find applications in magic state distillation and elsewhere. When all the signs are positive, we characterize all possible CSS codes, invariant under transversal Z-rotation through π/2^l, that are constructed from classical Reed-Muller codes by deriving the necessary and sufficient constraints on the level l. According to the divisibility conditions, we construct new families of CSS codes using cosets of the first order Reed-Muller code defined by quadratic forms. The generator coefficient framework extends to arbitrary stabilizer codes but the more general class of non-degenerate stabilizer codes does not bring advantages when designing the code parameters.