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)
681
questions
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 ...
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 ...
- 3
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 ...
- 93
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 ...
- 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 ...
- 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 ...
- 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 ...
- 1,414
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 (...
- 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}^...
- 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 ...
- 173
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 ...
- 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 ...
- 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 ...
- 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 ...
- 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 ...
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 ...
- 153
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}, \...
- 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 ...
- 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 ...
- 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 ...
- 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 ...
- 63
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:...
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 ...
- 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'...
- 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, ...
- 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?
- 838
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$....
- 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 ...
- 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 ...
- 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 ...
- 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 ...
- 81
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> = $...
- 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 ...
- 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 \...
- 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 ...
- 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 ...
- 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 ...
- 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 ...
- 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. ...
- 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 ...
- 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 ...
- 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 ...
- 1,414
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. ...
- 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 ...
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 ...
- 53
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 ...
- 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 ...
- 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 ...
- 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 ...
- 1,414
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 ...
