arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.12698

Extremely Low-Cost Magic State Preparation toward Fault-Tolerant Quantum Computing

Jianshuo Gao·Xiao Yuan·Yuan Yao
View original source ↗Read source document ↗Export metadata ↓

Abstract

Fault-tolerant preparation of non-Clifford resource states is a major contributor to the overhead of quantum computation, motivating protocols that achieve high output fidelity with minimal qubit and circuit costs. We introduce a low-cost magic-state preparation protocol in which the choice of stabilizer generators is co-designed with the flag gadgets, allowing the syndrome-extraction circuit itself to filter correlated faults across a non-Clifford layer. The protocol prepares a logical plus state in the 15-qubit quantum Reed-Muller code, applies a transversal T gate, and gauge-fixes the same register into the seven-qubit Steane code. By reorganizing equivalent Z-type stabilizer generators into jointly flagged measurement groups, the protocol eliminates all accepted logical-error contributions arising from one or two circuit faults under destructive error detection. Under a uniform circuit-level depolarizing noise model, the postselected infidelity is $210.2p^3+O(p^4)$. At $p=10^{-3}$, exact low-order enumeration combined with stratified sampling bounds the infidelity by $2.2\times10^{-7}$ at 99.9% joint confidence, while retaining an acceptance probability of 86.9%. The complete circuit requires only 19 qubits and 82 CNOT gates. These results demonstrate that stabilizer-generator design can substantially reduce the cost of postselected magic-state preparation, although corrected operation and the fidelity of an unmeasured output block require separate analysis.

Explore related subjects

quant-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jianshuo Gao, Xiao Yuan, Yuan Yao. 2026-09-11. Extremely Low-Cost Magic State Preparation toward Fault-Tolerant Quantum Computing. https://arxiv.org/abs/2609.12698

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bounded information as a foundation for quantum theory

The purpose of this paper is to formalize the concept that best synthesizes our intuitive understanding of quantum mechanics - that the information carried by a system is limited - and, from this principle, to construct the foundations of quantum theory. In our discussion, we also introduce a second important hypothesis: if a measurement closely approximates an ideal one in terms of experimental precision, the information it provides about a physical system is independent of the measurement method and, specifically, of the system's physical quantities being measured. This principle can be expressed in terms of metric properties of a manifold whose points represent the state of the system. These and other reasonable hypotheses provide the foundation for a framework of quantum reconstruction. The theory presented in this paper is based on a description of physical systems in terms of their statistical properties, specifically statistical parameters, and focuses on the study of estimators for these parameters. To achieve the goal of quantum reconstruction, a divide-and-conquer approach is employed, wherein the space of two discrete conjugate Hamiltonian variables is partitioned into a binary tree of nested sets. This approach naturally leads to the reconstruction of the linear and probabilistic structure of quantum mechanics.

quant-ph↗
arXiv2026

Reducibility of native weighted graphs on Rydberg Arrays

We investigate the classical reducibility of random unit-disk graph (UDG) instances of the maximum independent set (MIS) and maximum weighted independent set (MWIS) problems, which can be natively realised in Rydberg atom quantum processors. Using state-of-the-art kernelisation techniques, we systematically probe how far classical preprocessing can simplify such native optimisation problems of varying size and connectivity. While many small or sparse instances can be fully reduced, dense graphs often retain finite irreducible kernels even after extensive reductions. Introducing vertex weights tends to increase reducibility, whereas extending the interaction range in the underlying UDG connectivity suppresses the reduction efficiency. By exploring where classical reductions cease to be effective, we aim to delineate the regime of problem instances that remain computationally demanding - those most relevant for testing and benchmarking near-term quantum optimisation hardware. We find that for the remaining finite kernels, quantum execution would require non-native embeddings with substantial resource overheads, suggesting that directly running native instances may be more practical than embedding a reduced kernel.

quant-ph↗
arXiv2026

When Complementary Measurements Count the Same Classical Bit Twice: Counterexamples to CQC, ECQC, and Complementarity-Based Certification

Mutually unbiased measurements are commonly expected to expose independent facets of a quantum state: a correlation that is classical in one basis should disappear in a complementary basis. In higher dimensions, however, this intuition becomes particularly subtle because correlations recovered in different settings need not represent different information. To expose this loophole, we propose a two-branch classical null test: before the setting is chosen, a shared bit selects one of two orthogonal product preparations, producing a rank-two classical--classical state, and the candidate protocol then runs unchanged. Different settings can read the same bit through different outcome patterns. This two-branch classical architecture disproves the complementary-quantum correlation (CQC) conjecture in every dimension $d\geq3$. A distinct rank-two classical--classical state disproves its complete-basis extension (ECQC) at $d=7$, with an overrun that grows without bound along prime dimensions. Its qutrit CQC instance also gives classical false positives for a proposed quantum-correlation measure and a proposed one-sided semi-device-independent steering criterion, and refutes a conditional-probability conjecture. The failures identify the missing requirement: information read in different settings must be nonredundant. In experiments and applications, the same low-overhead architecture can serve as a calibration test before a multibasis score is assigned quantum meaning.

quant-ph↗