The overhead exponent -- characterizing the scaling of the number of noisy magic states with respect to the target distillation error -- has been a central quantity to benchmark magic state distillation protocols. On the other hand, a related but less investigated quantity motivated by an information-theoretic viewpoint is the asymptotic distillation rate, the largest ratio of output to input magic states such that error vanishes asymptotically. These two quantities are tightly related in the specific case -- the overhead exponent is zero if and only if the asymptotic distillation rate is linear. However, their relationship in other regimes has been unclear. Here, we show that their quantitative relation is generally not robust, by presenting a family of magic state distillation protocols with an overhead exponent not close to zero -- in fact, larger than one -- that still achieves the asymptotic rate arbitrarily close to the linear rate. This implies that the distillation rate is not constrained by the overhead exponent within the sublinear rate regime. Notably, our protocol is based on error checking by measurements of logical Clifford operators, which underlies the recent magic state cultivation protocol, suggesting the potential of this mechanism for asymptotic magic state distillation.
Magic state distillation is a crucial yet resource-intensive process in fault-tolerant quantum computation. The protocol's overhead, defined as the number of input magic states required per output magic state with an error rate below
ε, typically grows as
O(logγ(1/ε)). Achieving smaller overheads, i.e., smaller exponents
γ, is highly desirable; however, all existing protocols require polylogarithmically growing overheads with some
γ>0, and identifying the smallest achievable exponent
γ for distilling magic states of qubits has remained challenging. To address this issue, we develop magic state distillation protocols for qubits with efficient, polynomial-time decoding that achieve an
O(1) overhead, meaning the optimal exponent
γ=0; this improves over the previous best of
γ≈0.678 due to Hastings and Haah. In our construction, we employ algebraic geometry codes to explicitly present asymptotically good quantum codes for
210-dimensional qudits that support transversally implementable logical gates in the third level of the Clifford hierarchy. The use of asymptotically good codes with non-vanishing rate and relative distance leads to the constant overhead. These codes can be realised by representing each
210-dimensional qudit as a set of
10 qubits, using stabiliser operations on qubits. The
10-qubit magic states distilled with these codes can be converted to and from conventional magic states for the controlled-controlled-
Z (
CCZ) and
T gates on qubits with only a constant overhead loss, making it possible to achieve constant-overhead distillation of such standard magic states for qubits. These results resolve the fundamental open problem in quantum information theory concerning the construction of magic state distillation protocols with the optimal exponent.
Quantum resource distillation converts imperfect resource states into highly resourceful targets and is a central task in quantum information processing. When distillation is probabilistic, unfavorable outcomes may be discarded and the quality of the output is evaluated conditioned on success, leading to a notion of reliability that differs from the deterministic setting. Here we study the conditional error exponents of probabilistic quantum resource distillation under approximately resource-nongenerating instruments and derive its general connection to the postselected composite quantum hypothesis testing against the corresponding set of free states. This reduction leads naturally to scale-invariant projective distinguishability measures and provides finite-blocklength bounds for a broad class of resource theories. We apply the framework to entanglement, coherence, and magic. For entanglement and magic, we obtain exact zero-rate asymptotic characterizations of the conditional error exponent in terms of regularized projective distinguishability, while for coherence we derive general finite-blocklength and asymptotic bounds. For representative entangled and magic states, the resulting quantities can be evaluated analytically and reveal regimes in which postselection yields a strictly larger conditional error exponent than deterministic distillation. Furthermore, we also show that the conditional error exponents for probabilistic entanglement distillation under a strictly positive success probability constraint are smaller than those with no constraints on the success probability.
Magic state distillation plays an important role in universal fault-tolerant quantum computing, and its overhead is one of the major obstacles to realizing fault-tolerant quantum computers. Hence, many studies have been conducted to reduce this overhead. Among these, Litinski has provided a concrete assessment of resource-efficient distillation protocol implementations on the rotated surface code. On the other hand, recently, Itogawa et al. have proposed zero-level distillation, a distillation protocol offering very small spatial and temporal overhead to generate relatively low-fidelity magic states. While zero-level distillation offers preferable spatial and temporal overhead, it cannot directly generate high-fidelity magic states since it only reduces the logical error rate of the magic state quadratically. In this study, we evaluate the spatial and temporal overhead of two-level distillation implementations generating relatively high-fidelity magic states, including ones incorporating zero-level dis-tillation. To this end, we introduce (0+ 1)-level distillation, a two-level distillation protocol which combines zero-level distillation and the 15-to-1 distillation protocol. We refine the second-level 15-to-l implementation in it to capitalize on the small footprint of zero-level distillation. Under conditions of a physical error probability of Pphys = 10-4(10-3) and targeting an error rate for the magic state within [5 × 10-17,10-11] ([5 × 10-11,10-8]), (0+1)-level distillation reduces the spatiotemporal overhead by more than 63% (61%) compared to the (15-to-l)x(15-to-l) protocol and more than 43% (44%) compared to the (15-to-l)x(20-to-4) protocol, offering a substantial efficiency gain over the traditional protocols.
Developing space- and time-efficient logical magic state preparation protocols will likely be an essential step towards building a large-scale fault-tolerant quantum computer. Motivated by this need, we introduce a scalable method for simulating logical magic state preparation protocols under the standard circuit-level noise model. When applied to protocols based on code switching, magic state cultivation, and magic state distillation, our method yields a complexity polynomial in (i) the number of qubits and (ii) the non-stabilizerness, e.g., stabilizer rank or Pauli rank, of the target encoded magic state. The efficiency of our simulation method is rooted in a curious fact: every circuit-level Pauli error in these protocols propagates to a Clifford error at the end. This property is satisfied by a large family of protocols, including those that repeatedly measure a transversal Clifford that squares to a Pauli. We provide a proof-of-principle numerical simulation that prepares a magic state using such logical Clifford measurements. Our work enables practical simulation of logical magic state preparation protocols without resorting to approximations or resource-intensive state-vector simulations.
Magic plays a dual role in quantum computation: it promotes stabilizer dynamics from efficient classical simulability to computational universality, but also challenges fault-tolerant architectures, since non-stabilizer operations are harder to protect against noise. Magic state distillation addresses this issue, yet existing protocols remain largely tailored to specific assumptions about the input or noise model and, more fundamentally, no general information-theoretic theory of optimal magic-state conversion currently exists. Here we develop such a characterization for pure qubit states through universal magic state concentration: a fixed stabilizer protocol that converts a few copies of an unknown pure non-stabilizer qubit state into an exact target magic state. Motivated by the impossibility of exact
T-state concentration, we build six- and eight-copy protocols producing an exact
CCZ state, with six copies being minimal. Their success probabilities are governed by the linearized order-three stabilizer Rényi entropy
M3lin. We show that this connection is structural: for up to nine input copies,
M3lin fully determines the success probability of every universal Clifford-invariant stabilizer protocol. Remarkably, this characterization persists asymptotically: our constructions achieve optimal rates among universal single-output protocols and remain optimal up to logarithmic factors among arbitrary stabilizer protocols. As a corollary, we show that any unknown pure non-stabilizer state suffices for universal quantum computation via probabilistic
CCZ-state injection. Together, these results identify the stabilizer Rényi entropy as a fundamental operational quantity in magic state distillation.
Magic states are a scarce resource for two-dimensional qubit stabilizer codes. Magic state cultivation was recently proposed to reduce the cost of magic state preparation by measuring the transversal Clifford operator of the color code. Cultivation achieves
∼10−9 logical error rates for the
d=5 color code, with substantially lower space-time overhead than magic state distillation. However, due to the
O(d) depth of the Clifford measurement circuit, magic state cultivation becomes impractical for
d>5. Here, we perform logical
XS† measurements on the color code by gauging a transversal Clifford gate, resulting in a constant-depth logical measurement circuit. We employ repeated gauging measurements with post-selection rather than performing error correction on the Clifford stabilizer code that emerges during the gauging protocol, thus gaining simplicity at the cost of scalability. Our protocol requires a regular square grid connectivity and yields logical error rates comparable to magic state cultivation. The
d=7 version of our protocol gives access to the
10−12 logical error rate regime at
0.05% physical error rate while retaining more than
1% of the shots after the equivalent of the cultivation stage.