English
Related papers

Related papers: Symbolic Execution for Quantum Error Correction Pr…

200 papers

We study the performance of quantum error correction codes (QECCs) under the detection-induced coherent error due to the imperfectness of practical implementations of stabilizer measurements, after running a quantum circuit. Considering the…

Quantum Physics · Physics 2022-02-25 Qinghong Yang , Dong E. Liu

In the noisy intermediate-scale quantum (NISQ) era, quantum error mitigation (QEM) is essential for producing reliable outputs from quantum circuits. We present a statistical signal processing approach to QEM that estimates the most likely…

Quantum error correction (QEC) is considered a deciding component in enabling practical quantum computing. Stabilizer codes, and in particular topological surface codes, are promising candidates for implementing QEC by redundantly encoding…

Quantum Physics · Physics 2025-12-12 Josias Old , Stephan Tasler , Michael J. Hartmann , Markus Müller

Quantum error correction (QEC) entails the encoding of quantum information into a QEC code space, measuring error syndromes to properly locate and identify errors, and, if necessary, applying a proper recovery operation. Here we compare…

Quantum Physics · Physics 2015-05-28 Yaakov S. Weinstein

While quantum algorithms for simulation exhibit better asymptotic scaling than their classical counterparts, they currently cannot be implemented on real-world devices. Instead, chemists and computer scientists rely on costly classical…

Quantum Physics · Physics 2022-06-03 Christopher Kang , Nicholas P. Bauman , Sriram Krishnamoorthy , Karol Kowalski

We introduce a stabilizer formalism for the general quantum error correction framework called operator algebra quantum error correction (OAQEC), which generalizes Gottesman's formulation for traditional quantum error correcting codes (QEC)…

Quantum Physics · Physics 2024-02-21 Guillaume Dauphinais , David W. Kribs , Michael Vasmer

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence…

Software Engineering · Computer Science 2018-05-03 Roberto Baldoni , Emilio Coppa , Daniele Cono D'Elia , Camil Demetrescu , Irene Finocchi

Collective coherent noise poses challenges for fault-tolerant quantum error correction (FTQEC), as it falls outside the usual stochastic noise models. While constant excitation (CE) codes can naturally avoid coherent noise, a complete…

Quantum Physics · Physics 2025-07-15 Ching-Yi Lai , Pei-Hao Liou , Yingkai Ouyang

Quantum error correction (QEC), the lynchpin of fault-tolerant quantum computing (FTQC), is designed and validated against well-behaved Pauli stochastic error models. But in real-world deployment, QEC protocols encounter a vast array of…

Quantum simulations are designed to model quantum systems, and many compilation frameworks have been developed for executing such simulations on quantum computers. Most compilers leverage the capabilities of digital and analog quantum…

Quantum Physics · Physics 2025-09-26 Liyi Li , Federico Zahariev , Chandeepa Dissanayake , Jae Swanepoel , Amr Sabry , Mark S. Gordon

Quantum error correction (QEC) is essential for realizing scalable quantum computation. However, when evaluating its benefits, most analyses assume idealized components, overlooking the imperfections inherent in realistic fault-tolerant…

Quantum Physics · Physics 2026-05-26 Lorenzo Valentini , Diego Forlivesi , Marco Chiani

Active quantum error correction using qubit stabilizer codes has emerged as a promising, but experimentally challenging, engineering program for building a universal quantum computer. In this review we consider the formalism of qubit…

Quantum Physics · Physics 2015-04-13 Barbara M. Terhal

Quantum error correction and the use of quantum error correction codes is likely to be essential for the realisation of practical quantum computing. Because the error models of quantum devices vary widely, quantum codes which are tailored…

Quantum Physics · Physics 2024-09-23 Mark Webster , Dan Browne

Due to the fragility of quantum mechanical effects, real quantum computers are plagued by frequent noise effects that cause errors during computations. Quantum error-correcting codes address this problem by providing means to identify and…

Quantum Physics · Physics 2023-01-18 Thomas Grurl , Christoph Pichler , Jürgen Fuß , Robert Wille

Quantum error mitigation (QEM) protocols have provably exponential bounds on the cost scaling; however, exploring which regimes QEM can recover usable results is still of sizable interest. The expected absence of complete error correction…

Quantum Physics · Physics 2025-05-12 Ugnė Liaubaitė , S. E. Skelton

Quantum error correction (QEC) is essential for quantum computers to perform useful algorithms, but large-scale fault-tolerant computation remains out of reach due to demanding requirements on operation fidelity and the number of…

In quantum error-correcting code (QECC), many quantum operations and measurements are necessary to correct errors in logical qubits. In the stabilizer formalism, which is widely used in QECC, generators $G_i (i=1,2,..)$ consist of multiples…

Quantum Physics · Physics 2016-01-27 Tetsufumi Tanamoto

We introduce a high-level graphical framework for designing and analysing quantum error correcting codes, centred on what we term the coherent parity check (CPC). The graphical formulation is based on the diagrammatic tools of the…

Quantum Physics · Physics 2023-08-21 Nicholas Chancellor , Aleks Kissinger , Joschka Roffe , Stefan Zohren , Dominic Horsman

Quantum error correction protocols have been developed to offset the high sensitivity to noise inherent in quantum systems. However, much is still unknown about the behaviour of a quantum error-correcting code under general noise, including…

Quantum Physics · Physics 2021-06-09 Stefanie J. Beale , Joel J. Wallman

We investigate a novel class of quantum error correcting codes to correct errors on both qubits and higher-state quantum systems represented as qudits. These codes arise from an original graph-theoretic representation of sets of quantum…

Quantum Physics · Physics 2022-04-13 Robert Vandermolen , Duncan Wright