Questions tagged [error-correction]

Quantum error correction (QEC) is a collection of techniques to protect quantum information from decoherence and other quantum noise, to realise fault-tolerant quantum computation. Quantum error correction is expected to be essential for practical quantum computation in the face of noise on stored quantum information, faulty quantum gates, faulty state preparations, and faulty measurements. (Wikipedia)

Filter by
Sorted by
Tagged with
1 vote
0 answers
12 views

Effect of error correction gates in QCNN

In Iris Cong et. al. (2019) they propose a Quantum Convolutional Neural Network that utilizes mid-circuit measurements to control an error-correcting ansatz $V_j$. This is the equivalent of a pooling ...
Federico Tiblias's user avatar
0 votes
1 answer
33 views

Can we get which error mechanisms acutually happens in Stim?

I'm working on making some decoders for surface codes. I know there is a great stabilizer simulator, Stim, so I try using it. Now, I have a question: can we get what type of error mechanisms actually ...
orclecle's user avatar
2 votes
2 answers
101 views

Preparation of logical state with qLDPC code

I'm recently learning qLDPC code. Although I've seen literature talking about the code construction, parity check, possible logical operation and decoding. How exactly do I prepare e.g. a logical phi ...
AndyLiuin's user avatar
1 vote
1 answer
54 views

How to convert stim encoder circuit to a parity check matrix?

I would like to take an encoding noiseless circuit and output the corresponding parity check matrix in the the binary symplectic format $(H_x | H_z)$ I'm aware of the related question: How to get ...
tomek's user avatar
  • 25
1 vote
1 answer
74 views

How to properly generate circuit measurement results from detector error model

I'm reading the paper of Google's neural network decoder for surface code, and I'm confused about how to generate the measurement results for pre-training dataset. If I understand it correctly, the ...
Inm's user avatar
  • 429
1 vote
1 answer
45 views

Current situation of quantum computing with respect to physical vs logical qubits

As an example I'm going to start with Google and IBM. Google has the Sycamore processor right now with 53 physical qubits. However I haven't found any info on how many logical qubits it can actually ...
Omeglac's user avatar
  • 89
2 votes
0 answers
23 views

Recent references establishing connections between stabilizer error correction and entanglement distillation procedures

I know some concrete entanglement distillation protocols (from this review). I also know there are connections between error-correction codes and entanglement distillation (again this review but also ...
Marco Fellous-Asiani's user avatar
1 vote
1 answer
41 views

How to fix two flip-bit errors in a 3 qubit input

Aware of how a 1-bit flip can be fixed for 3-qubit input by having 2 Ancilla bits, encoding, and using the Toffoli gate to fix the error and decode. How can this idea be extended for a 2-bit flip (...
codeit's user avatar
  • 69
4 votes
1 answer
291 views

If a quantum error correcting code can correct every single-qubit $X$ and $Z$ error, can it also correct every single-qubit $Y$ error?

Let $\mathcal{C}$ be a given arbitrary $n$ qubit quantum error correcting code which can correct any single qubit $X$ error and any single qubit $Z$ error, i.e., $\{X_i\}_{i=1}^n$ & $\{Z_i\}_{i=1}^...
FDGod's user avatar
  • 1,311
2 votes
0 answers
46 views

Using ZX calculus to postselect the first round of a distance-2 rotated surface code

I'm translating gate model language to ZX calculus diagram using such notation, to describe the first round of measurement of such a distance-2 rotated surface code below. I wrote this diagram where ...
Jiakai Wang's user avatar
3 votes
2 answers
272 views

For any given parameters, does there always exist a quantum code which saturates the Quantum Hamming Bound?

We know that the Quantum Hamming Bound is as follows: $$ \sum_{j=0}^t 3^j {n\choose j} \leq 2^{n-k}$$ where $n$ is the number of physical qubits, $k$ is the number of logical qubits, $t$ is the ...
FDGod's user avatar
  • 1,311
3 votes
0 answers
36 views

How to address the 2 logical qubits on the toric code individually? In general, how to address $k$ logical qubits in a $[[n,k,d]]$ code independently?

Suppose I have a $[[n,k,d]]$-quantum error correction code. Let us take the toric code $(T^2=S^1 \times S^1)$ as an example. We have 2 logical qubits whose logical operators lie along the different ...
JoJo P's user avatar
  • 179
2 votes
1 answer
89 views

do local clifford gates preserve code distance?

It can be shown that clifford gates do not preserve distance. My question is what if you restrict to local clifford gates, is distance preserved by these? (by local I mean that they act on each qubit ...
unknown's user avatar
  • 1,942
1 vote
1 answer
109 views

Get parameters of a CU gate for implementing an erroneous CX gate with fidelity = 0.81

Let's say the definition of an erroneous CNOT gate is given as - CNOT is a 2-qubit quantum gate when the control qubit is at state 0, applies identity operation on the target qubit, when the control ...
codeit's user avatar
  • 69
2 votes
0 answers
63 views

Stim error when measuring detectors

I am attempting to compute the circuit for the syndrome extraction of the [[144, 12, 12]] code using stim so as to consider circuit-level noise. Unfortunately, when trying to obtain the detector error ...
Antoni de Marti 's user avatar
1 vote
0 answers
32 views

Using LDPC for Information Reconciliation in QKD

I am confused about the role of LDPC in QKD information reconciliation. Say Alice and Bob have raw key bitstrings $r_A$ and $r_B$, respectively. They might contain some errors and generally $r_A \neq ...
SlowerPhoton's user avatar
0 votes
0 answers
50 views

How is Pauli twirling so powerful?

So the Pauli twirling approximation gives us a quantum channel $\Phi$ that transforms a density matrix $\rho$ to: $\Phi(\rho)\mapsto\sum_{i=0}^3 \sigma^i \rho \sigma^i,$ where $\sigma^0 = \mathbb{I}, \...
JoJo P's user avatar
  • 179
3 votes
1 answer
58 views

Quantum error correction circuit from stabilizer codes

I am trying to familiarize myself with QEC codes and their use in quantum communication. Right now, I am trying to implement some more widely known codes in Qiskit. My main problem is I cannot wrap my ...
Narcano's user avatar
  • 31
3 votes
1 answer
44 views

Overlooked noise sources in circuit-level noise

In the research of quantum error correction, noise is often classified into code capacity noise, phenomenological noise, and circuit-level noise. Among these, circuit-level noise is considered the ...
david's user avatar
  • 61
2 votes
0 answers
24 views

Isn't measurement-free quantum error correction uneconomic, i.e. requires too much overhead?

For certain quantum computing systems, measurement is an operation that takes up >90% of the total quantum error correction time. Measurement-free quantum error correction has been proposed, where ...
JoJo P's user avatar
  • 179
5 votes
2 answers
145 views

What is the clear definition of coherent versus incoherent errors?

The noise types in quantum computing are pivotal topics frequently discussed in academic papers. Could you provide a clear definition of coherent versus incoherent errors? Additionally, I'm keen to ...
Yunjie Wang's user avatar
3 votes
1 answer
66 views

Single-shot error correction for the surface code with measurement errors

I am trying to implement a single-shot error correction for the surface code with data + measurement errors (both with prob. p), using the (build-in) BP+OSD decoder. I am mostly following these papers:...
David Dentelski's user avatar
1 vote
1 answer
71 views

How to interpret the circuit that measures stabilizers in the 5-qubit error correcting code

I would like to understand the exact role of the following circuit (By Vtomole - Own work, CC BY-SA 4.0) in the 5-qubit QECC. The image attached (from Wikipedia) is captioned "Quantum Circuit ...
QC123_367's user avatar
  • 295
1 vote
0 answers
39 views

lattice surgery in state picture

I was following Surface code quantum computing by lattice surgery. A few questions about this paper have been asked in this forum, but I believe my question is new. The main text took a 'state picture'...
quTANum's user avatar
  • 11
2 votes
0 answers
27 views

If $\bar{S}$ has dimension $n-k$, then $|E / \bar{S}|= 2^{n-k}$

This question revolves around understanding a claim made in "Quantum Error Correction via GF(4) Codes". Background $S \leqslant S^{\perp} \leqslant E$ Where $E$ is the quantum error group, ...
QC123_367's user avatar
  • 295
5 votes
1 answer
89 views

Smallest distance 9 self-dual CSS code?

The level-2 concatenated [[7,1,3]] Steane code, and the 4.8.8 color code are both self-dual [[49,1,9]] codes from the CSS family. Is there a distance 9 self-dual CSS code that has less than 49 qubits?
Balint Pato's user avatar
2 votes
1 answer
66 views

Understanding the operation of commutation of stabilizer operators

I want to show that the stabilizer operators ($M_{0}, M_{1}, M_{2}, M_{3}$) for the 5-qubit quantum error correcting code: If $M_{1} = [XXZIZ]$ and $M_{2} = [XZIZX]$ They commute iff $[M_{1},M_{2}]=0$....
QC123_367's user avatar
  • 295
1 vote
1 answer
43 views

Sample detection events with TableauSimulator

I've been manually driving stim.TableauSimulator to simulate more complex noise models like in a previous post. The way I've set up my code is to replace instances ...
jfids's user avatar
  • 13
2 votes
2 answers
227 views

Complexity of translation between Measurement Based and Circuit Based with Error Correction

As I know, translation between measurement-based and circuit-based is polynomial, not trivial, and might not be efficient in real time. It behaves this way because given some quantum circuit, we have ...
Ron Cohen's user avatar
  • 1,174
3 votes
1 answer
43 views

A matrix that can be simultaneously diagonalisable can induce a decomposition of its space

Potentially "space" is not the correct word to use in the title, please correct if wrong I am reading "Quantum Error Correction Via codes over Gf(4)" and I came across something I ...
QC123_367's user avatar
  • 295
1 vote
0 answers
59 views

The standard form of a CSS code is CSS?

I suspect that if the standard form of a code is $$H = \begin{pmatrix} H_X & 0 \\ 0 & H_Z \end{pmatrix}~, \quad(1)$$ then I can claim that the code is CSS. They way I'm thinking about ...
Jan Olle's user avatar
1 vote
1 answer
43 views

What do the cosets of the group $E/Z(E)$ look like? (E is the quantum error group and Z(E) is the centre of E)

If I have the quantum error group $E$ which contains elements of the form: {$ \pm w_{1} \otimes \dots \otimes w_{n}, \pm i w_{1} \otimes \dots \otimes w_{n} $} The centre of $E$: $Z(E) = <iI> = $...
QC123_367's user avatar
  • 295
2 votes
0 answers
29 views

Distance of concatenated codes: a counter example?

In the following answer to a recent question, it is claimed that when we concatenate two error correcting codes of distances $d_1$ and $d_2$, the greatest distance that we can prove without assuming ...
DaftWullie's user avatar
  • 55.7k
0 votes
1 answer
29 views

How to find the order of the error group $E$

The following is taken from "Quantum Error Correction Via Codes Over GF(4)" Calderbank, Rains, Shor, Sloane. We are told that the group $E$ of tensor products $\pm w_{1} \otimes \dots \...
QC123_367's user avatar
  • 295
1 vote
1 answer
73 views

Z error detection circuit

In this video at 0:50, they have two circuits. One claims to detect a Z error in any of four qubits and one detects an X error in any of the four qubits. I don't understand the Z error detection ...
user1936752's user avatar
  • 2,587
1 vote
1 answer
90 views

Does the number of stabilizers bound the number of correctable errors?

Suppose I have a quantum error correcting code with two stabilizers. Does this mean that I can potentially correct at most 3 distinct errors using this code? My reasoning is that for each error, we ...
JRT's user avatar
  • 478
3 votes
1 answer
95 views

Distance of the concatenated quantum error correcting code

If we have two quantum error correcting qubit $[[n_1, 1, d_1]]$ and $[[n_2,1,d_2]]$ codes then the notes of Preskill (http://theory.caltech.edu/~preskill/ph229/notes/chap7.pdf) says that the ...
SiOn's user avatar
  • 131
1 vote
1 answer
245 views

how is logical error rate calculated?

I have a CSS code defined through binary matrices $H_X$ and $H_Z$. I also have the logicals $L_X$ and $L_Z$ as binary matrices. I decode $H_X$ and $H_Z$ independently as classical codes. The decoder ...
unknown's user avatar
  • 1,942
1 vote
1 answer
58 views

What is the motivation for quantum color codes?

I am a beginner in topological quantum codes and have been interested in quantum color codes recently. The 2-D quantum color codes have a very clear physical picture and can check stabilizers locally. ...
Yunzhe's user avatar
  • 168
2 votes
2 answers
135 views

Encoding circuit for $[\![6, 4, 2]\!]$ code

For the famous $[\![4, 2, 2]\!]$ code, there is a circuit to encode two physical states into the logical state (from Roffe's work): As $[\![m, m-2, 2]\!]$ is a class of error-detection code, I am ...
Yunzhe's user avatar
  • 168
2 votes
0 answers
72 views

Quantum error correction terminology

I'm asking for help to clear up something, but instead of asking a question, I'm just writing my attempt of a definition below. I assume it's not this simple, and the below is not the correct ...
Tron's user avatar
  • 21
4 votes
0 answers
33 views

When do we need to decode live the syndromes? Various examples to understand

I would like to precisely understand why we need to decode syndrome "live" when we want to perform $T$ gates. For this reason I consider different scenario (some are fictive but helpful to ...
Marco Fellous-Asiani's user avatar
0 votes
1 answer
82 views

Is there any programming project that implements one quantum error correction code or demonstrates it?

A gigantic list of all the error correction codes(Classical Domain, Quantum Domain, Classical-quantum Domain), see https://errorcorrectionzoo.org/all There are lots of quantum error correction code. ...
138 Aspen's user avatar
  • 141
0 votes
1 answer
83 views

How to use surface codes on a quantum circuit?

So far, I have used surface codes on Stim simulations only. The simulation is for a surface code and I want to understand how surface codes work when I comes to quantum circuit. How is this done for a ...
Avimita Chatterjee's user avatar
2 votes
0 answers
38 views

Leakage Detection Circuit

Leakage happens when the state of the system is no longer in the computational subspace that defines a qubit. In Preskill's notes on Fault Tolerant Quantum Computation (Pg 40), a circuit for leakage ...
user1752323's user avatar
4 votes
0 answers
42 views

What is the smallest system to apply nonlocal quantum LDPC codes?

I just learned that there are very promising nonlocal low-density parity check codes (LDPC) codes for quantum error correction. What is the smallest number of qubits necessary to carry out these ...
Mauricio's user avatar
  • 2,192
3 votes
1 answer
117 views

Smaller quasi-cyclic LDPC code

Recently, IBM proposed a new high-threshold and high-encoding-rate LDPC code family called quasi-cyclic code. In the paper, they give the examples with the smallest [[72, 12, 6]] code. My question is ...
Inm's user avatar
  • 429
0 votes
1 answer
51 views

Is it possible to adjust the weights of a pymatching graph after it is created?

I'd like to adjust the characteristics of a pymatching graph (specifically the edge weights of individual edges) to explore the effects on the decoding process. While the ...
Ian's user avatar
  • 94
2 votes
1 answer
99 views

15-to-1 distillation protocol implemented with lattice surgery: don't we loose transversality by commuting Clifford toward measurements?

I am following Litinsky's paper explaining the 15-to-1 distillation protocol. The usual "trick" done to distill, say the $|T \rangle \equiv T |+ \rangle$ magic state, is to use a code ...
Marco Fellous-Asiani's user avatar
4 votes
1 answer
180 views

Proof that for an $[\![n,k,d]\!]$ code we have $N(S)/S\simeq{\cal G}_k$ with $S$ stabilizer

I am reading about Quantum Error Correction and more specifically about the stabilizer formalism. Nielsen's textbook introduces the selection of logical Pauli as a kind of "ad hoc" process ...
Giorgos Giapitzakis's user avatar

1
2 3 4 5
14