Fault-tolerant architectures aim to reduce the noise of a quantum computation. Despite such architectures being well studied a detailed understanding of how noise is transformed in a fault-tolerant primitive such as magic state injection is currently lacking. We use numerical simulations of logical process tomography on a fault-tolerant gadget that implements a logical <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>T</mml:mi><mml:mo>=</mml:mo><mml:mi>Z</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>&#x03C0;</mml:mi><mml:mrow class="MJX-TeXAtom-ORD"><mml:mo>/</mml:mo></mml:mrow><mml:mn>4</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math> gate using magic state injection, to understand how noise characteristics at the physical level are transformed into noise characteristics at the logical level. We show how, in this gadget, a significant phase (<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>Z</mml:mi></mml:math>) bias can arise in the logical noise, even with unbiased noise at the physical level. While the magic state injection gadget intrinsically induces biased noise, with extant phase bias being further amplified at the logical level, we identify noisy error correction circuits as a key limiting factor in the circuits studied on the magnitude of this logical noise bias. Our approach provides a framework for assessing the detailed noise characteristics, as well as the overall performance, of fault-tolerant logical primitives.
This paper investigates a critical, yet often overlooked, aspect of fault-tolerant quantum computing: how physical-level noise characteristics transform into logical-level noise, specifically within the ubiquitous primitive of magic state injection for non-Clifford gates. It challenges the implicit assumption that logical noise simply mirrors physical noise, demonstrating a complex transformation process.
The key innovation is the demonstration that magic state injection (MSI) intrinsically introduces a logical Z-bias into the T-gate operation, even when the underlying physical noise is unbiased (e.g., depolarizing). Furthermore, if the physical noise already exhibits a Z-bias, MSI significantly amplifies this bias, showing a quadratic relationship between physical and logical Z-bias. Crucially, even when physical noise is strongly X- or Y-biased, the logical noise still acquires a weak, persistent Z-bias, highlighting the inherent noise-transforming nature of the MSI gadget itself. A significant finding is the dual role of noisy error correction (EC) circuits: while essential for fault tolerance, they are identified as a primary limiting factor on the magnitude of this logical Z-bias, especially counteracting the intrinsic bias when physical noise is X-biased. These insights are derived from novel numerical simulations performing logical process tomography on a fault-tolerant T-gate gadget encoded in the Steane code, allowing for a detailed component-by-component analysis of noise propagation.
This work builds upon foundational concepts of fault-tolerant quantum computing, which seeks to mitigate errors in quantum computations through error correction codes and schemes to achieve universal gate sets. Central to this is the use of the Steane code, a well-studied 7-qubit quantum error-correcting code, and the magic state injection protocol, which enables the implementation of non-Clifford gates like the T-gate necessary for universal quantum computation. The study employs sophisticated Pauli noise models, including the concept of ‘noise bias,’ which quantifies the preferential occurrence of certain error types (e.g., Z errors over X or Y errors). This builds on prior research demonstrating that tailored codes can exploit such biases to improve fault-tolerance thresholds. The methodology leverages logical process tomography, an extension of physical process tomography, to characterize the logical operation, along with established fault-tolerant state preparation and measurement techniques, to rigorously analyze noise propagation within a full fault-tolerant primitive.