English
Related papers

Related papers: Efficient Formal Verification of Quantum Error Cor…

200 papers

Quantum error correction (QEC) is a way to protect quantum information against noise. It consists of encoding input information into entangled quantum states known as the code space. Furthermore, to classify if the encoded information is…

Quantum Physics · Physics 2024-02-15 Pejman Jouzdani , H. Arslan Hashim , Eduardo R. Mucciolo

We present a general-purpose quantum error correction primitive based on state purification via the SWAP test, which we refer to as purification quantum error correction (PQEC). This method operates on $N$ noisy copies, requires minimally…

Quantum Physics · Physics 2026-03-13 Jonathan Raghoonanan , Tim Byrnes

Quantum error correcting (QEC) codes protect quantum information against environmental noise. Computational errors caused by the environment change the quantum state within the qubit subspace, whereas quantum erasures correspond to the loss…

Quantum Physics · Physics 2025-11-26 Luis Colmenarez , Seyong Kim , Markus Müller

Quantum Error Correction (QEC) codes store information reliably in logical qubits by encoding them in a larger number of less reliable qubits. The surface code, known for its high resilience to physical errors, is a leading candidate for…

Quantum Physics · Physics 2025-06-13 Satvik Maurya , Swamit Tannu

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a…

Programming Languages · Computer Science 2022-04-15 Yuxiang Peng , Kesha Hietala , Runzhou Tao , Liyi Li , Robert Rand , Michael Hicks , Xiaodi Wu

Reliability is fundamental for developing large-scale quantum computers. Since the benefit of technological advancements to the qubit's stability is saturating, algorithmic solutions, such as quantum error correction (QEC) codes, are needed…

Quantum Physics · Physics 2025-06-23 Marzio Vallero , Gioele Casagranda , Flavio Vella , Paolo Rech

Quantum states are very delicate, so it is likely some sort of quantum error correction will be necessary to build reliable quantum computers. The theory of quantum error-correcting codes has some close ties to and some striking differences…

Quantum Physics · Physics 2009-04-17 Daniel Gottesman

Recent progress in quantum computing has enabled systems with tens of reliable logical qubits, built from thousands of noisy physical qubits. However, many impactful applications demand quantum computations with millions of logical qubits,…

Quantum Physics · Physics 2026-05-26 Daiki Komoto , Kenta Kasai

We study, by means of the stabilizer formalism, a quantum error correcting code which is alternative to the standard block codes since it embeds a qubit into a qudit. The code exploits the non-commutative geometry of discrete phase space to…

Quantum Physics · Physics 2015-06-04 Carlo Cafaro , Federico Maiolini , Stefano Mancini

If a quantum computer is stabilized by fault-tolerant quantum error correction (QEC), then most of its resources (qubits and operations) are dedicated to the extraction of error information. Analysis of this process leads to a set of…

Quantum Physics · Physics 2007-05-23 Andrew M. Steane

Exploring an efficient and scalable architecture of fault-tolerant quantum computing (FTQC) is vital for demonstrating useful quantum computing. Here, we propose and evaluate a scalable and practical architecture with a…

Quantum Physics · Physics 2025-04-29 Rui Asaoka , Yasunari Suzuki , Yuuki Tokunaga

Quantum characterization, verification, and validation (QCVV) is a set of techniques to probe, describe, and assess the behavior of quantum bits (qubits), quantum information-processing registers, and quantum computers. QCVV protocols probe…

Quantum Physics · Physics 2025-03-21 Robin Blume-Kohout , Timothy Proctor , Kevin Young

Quantum error correction (QEC) is an essential concept for any quantum information processing device. Typically, QEC is designed with minimal assumptions about the noise process; this generic assumption exacts a high cost in efficiency and…

Quantum Physics · Physics 2007-06-26 Andrew S. Fletcher

Quantum Error Correction (QEC) decoding faces a fundamental accuracy-efficiency tradeoff. Classical methods like Minimum Weight Perfect Matching (MWPM) exhibit variable performance across noise models and suffer from polynomial complexity,…

Quantum Physics · Physics 2026-04-16 David Zenati , Eliya Nachmani

The scheme of entanglement-assisted quantum error-correcting (EAQEC) codes assumes that the ebits of the receiver are error-free. In practical situations, errors on these ebits are unavoidable, which diminishes the error-correcting ability…

Quantum Physics · Physics 2012-09-26 Ching-Yi Lai , Todd A. Brun

The overhead of quantum error correction (QEC) poses a major bottleneck for realizing fault-tolerant computation. To reduce this overhead, we exploit the idea of erasure qubits, relying on an efficient conversion of the dominant noise into…

Quantum Physics · Physics 2025-09-30 Shouzhen Gu , Alex Retzker , Aleksander Kubica

Designing quantum processors is a complex task that demands advanced verification methods to ensure their correct functionality. However, traditional methods of comprehensively verifying quantum devices, such as quantum process tomography,…

Quantum Physics · Physics 2025-08-04 Keren Li , Peng Yan , Hanru Jiang , Nengkun Yu

Typical studies of quantum error correction assume probabilistic Pauli noise, largely because it is relatively easy to analyze and simulate. Consequently, the effective logical noise due to physically realistic coherent errors is relatively…

Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum…

Programming Languages · Computer Science 2018-12-04 Shih-Han Hung , Kesha Hietala , Shaopeng Zhu , Mingsheng Ying , Michael Hicks , Xiaodi Wu

A major challenge in performing quantum error correction (QEC) is implementing reliable measurements and conditional feed-forward operations. In quantum computing platforms supporting unconditional qubit resets, or a constant supply of…

Quantum Physics · Physics 2024-12-23 Stefano Veroni , Markus Müller , Giacomo Giudice