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)
889
questions
13
votes
1
answer
845
views
Significance of Clifford operations from quantum error correction perspective
In the literature on QECC, Clifford gates occupy an elevated status.
Consider the following examples which attest to this:
When you study stabilizer codes, you separately study how to perform ...
5
votes
0
answers
174
views
Quantum Belief Propagation decoding
I have been reading about a family of quantum error correction codes called Quantum Turbo Codes, which are the quantum analog of the well-known classical Turbo codes. This codes were introduced in ...
4
votes
1
answer
174
views
topological error correction concepts
Reading about quantum topological error correction I’ve found some information, but I don’t have already clear the link with the topological concept (trivial and not trivial paths, how they are ...
7
votes
2
answers
112
views
What are reliable references on analytical and/or numerical studies of threshold theorems under faulty quantum error correction?
By "faulty", I mean that you can have errors on the ancilla qubits, you can have faulty syndrome extraction, etc.
6
votes
1
answer
323
views
Quantum error correction: necessary and sufficient condition
For quantum error correction, the necessary and sufficient condition is given in standard texts as:
$\langle \phi| E^{\dagger}_{a} E_{b} |\psi \rangle = C_{ab} \langle \phi|\psi \rangle $
$|\psi\...
7
votes
1
answer
1k
views
Shor code: phase flip error
For Shor's error correcting code, what is the intuition behind saying that the following circuit corrects the phase flip error?
I realize that the circuit is trying to compare phases of the three 3-...
20
votes
1
answer
5k
views
Is the Pauli group for $n$-qubits a basis for $\mathbb{C}^{2^n\times 2^n}$?
The $n$-fold Pauli operator set is defined as $G_n=\{I,X,Y,Z \}^{\otimes n}$, that is as the set containing all the possible tensor products between $n$ Pauli matrices. It is clear that the Pauli ...
5
votes
2
answers
425
views
Computing with Logical Qunits
What exactly is a logical (non-physical? error corrected?) qunit?
Can quantum systems be built exclusively w/ logical qunits?
19
votes
5
answers
6k
views
What is a Bacon-Shor code and what is its significance?
I'm at the AQC conference at NASA and everybody seems to suddenly be talking about the Bacon-Shor code but there is no Wikipedia page and the pdf that I gave a link to does not really explain what it ...
12
votes
2
answers
738
views
Are all $[[n, k, d]]$ quantum codes equivalent to additive self-orthogonal $GF(4)^n$ classical codes?
Theorem 2 of [1] states:
Suppose $C$ is an additive self-orthogonal sub-code of $\textrm{GF}(4)^n$, containing $2^{n-k}$ vectors, such that there are no vectors of weight $<d$ in $C^\perp/C$. ...
8
votes
1
answer
149
views
What does "conjugation of coordinates" mean with respect to GF(4) (quantum) codes
In On the classification of all self-dual additive codes over $\textrm{GF}(4)$ of length up to 12 by Danielsen and Parker, they state:
Two self-dual additive codes over $\textrm{GF}(4)$, $C$ and $...
7
votes
1
answer
133
views
Zero-distance self-dual GF(4) quantum codes and constructing k > 0 codes from them
During a description of zero-dimensional self-dual $\text{GF}(4)$ quantum codes in "On self-dual quantum codes, graphs, and Boolean functions" by L.E. Danielsen, it states:
A zero-dimensional ...
8
votes
2
answers
562
views
Practical Implementations of QECCs in IBM Q Experience
I am learning how to program the IBM Q Experience quantum computers in order to learn more about how does it work and in order to perform some experiments in it. By doing so I was wondering what are ...
4
votes
1
answer
219
views
How to find the fidelity between two state when one is an operator?
I am going through Nielsen and Chuang and am finding the chapter on error-correction particularly confusing. At the moment I am stuck on exercise 10.12 which states
Show that the fidelity between the ...
8
votes
2
answers
485
views
Reference on MITxPRO Applications of Quantum Computing Professional Certificate Program
Recently I found out the Applications of Quantum Computing Professional Certificate Program that MITxPRO is offering for people interested in quantum computing. I saw that it is consisted of four ...
9
votes
2
answers
2k
views
Allowed CNOT gates for IBM Q 5 quantum computer
I trying to do some tests in the IBM Q5 computer of IBM quantm experience for some simple error correction protocols, but as I can see, some operations between the qubits are not allowed.
For example,...
9
votes
2
answers
951
views
Why do we use ancilla qubits for error syndrome measurements?
Consider the measurement of the syndrome for the standard 3-qubit code to correct bit flips:
$$
\def\place#1#2#3{\smash{\rlap{\hskip{#1px}\raise{#2px}{#3}}}}
\def\hline#1#2#3{\place{#1}{#2}{\rule{#3px}...
8
votes
1
answer
1k
views
What quantum channels are considered in quantum communication, and how does this choice affect the construction of error correction codes?
The so-called depolarizing channel is the channel model that is mostly used when constructing quantum error correction codes. The action of such channel over a quantum state $\rho$ is
$$\rho\...
43
votes
2
answers
19k
views
What is the "surface code" in the context of quantum error correction?
I am studying Quantum Computing and Information, and have come across the term "surface code", but I can't find a brief explanation of what it is and how it works. Hopefully you guys can ...
9
votes
2
answers
602
views
How does the size of a toric code torus affect its ability to protect qubits?
The Toric code Hamiltonian is:
$\sum_{x,y}\left( \prod_{i\in p(x,y)} Z_{ixy} + \prod_{i\in v(x,y)} X_{ixy} \right),$
where the $v$ and $p$ are defined according to this picture (courtesy of James ...
16
votes
1
answer
958
views
Violation of the Quantum Hamming bound
The quantum Hamming bound for a non-degenerate $[[N,k,d]]$ quantum error correction code is defined as:
\begin{equation}
2^{N-k}\geq\sum_{n=0}^{\lfloor d/2\rfloor}3^n\begin{pmatrix}N \\ n\end{...
13
votes
2
answers
2k
views
Degeneracy of Quantum Error Correction Codes
The feature of quantum error correcting codes called degeneracy is that they can sometimes be used to correct more errors than they can uniquely identify. It seems that codes exhibiting such ...
7
votes
1
answer
138
views
Translation of color/toric code to a small network of solid-state spins
Within Quantum Error Correction and stabilizer codes, toric codes/surface codes are very tempting, mainly for their high error threshold. For more background please check up, in our Physics sister (...
7
votes
1
answer
463
views
Lower bound for Degenerate Codes?
According to (Macchiavello, Palma, Zeilinger, 2001; pg82) a lower bound of the encoding Hilbert space of a non degenerate code is given by the quantum version of the Hamming bound:
$$2^k \sum_{i=0}^t ...
8
votes
1
answer
592
views
Intuition for Shor code failure probability
Consider the 9 qubit Shor code. This can detect and correct arbitrary single qubit errors, but if there are 2 or more single qubit errors before a correction round, the correction will fail. (In the ...
14
votes
3
answers
3k
views
What is the difference between "code space", "code word" and "stabilizer code"?
I keep reading (e.g. Nielsen and Chuang, 2010; pg. 456 and 465) the following three phases; "code space", "code word" and "stabilizer code" - but am having a difficult time finding definitions of them ...
12
votes
2
answers
2k
views
Why is the Pauli group used for stabilizers?
When it comes to error correction, we take our stabilizers to be members of the Pauli group. Why is the Pauli group used for this and not, say, the group of all unitary matrices?
14
votes
2
answers
2k
views
What does quantum error correction code notation stand for?
I understand the notation for classical error correcting codes. E.g., "Hamming(7,4)" stands for a Hamming code that uses 7 bits to encode blocks of 4 bits.
What does the notation for quantum error ...
15
votes
1
answer
2k
views
Is Gil Kalai's argument against topological quantum computers sound?
In a lecture, recorded on Youtube, Gil Kalai presents a 'deduction' for why topological quantum computers will not work. The interesting part is that he claims this is a stronger argument than the ...
5
votes
1
answer
230
views
What set of quantum logical operations can one use to benchmark spin Hamiltonians?
Chemistry background: In magnetic molecules, it is sometimes the case that one can adjust the time-independent Hamiltonian by chemical design. This means there is freedom to adjust parameters in the ...
9
votes
2
answers
726
views
Why does the surface (quantum error correction) code have such a high threshold for errors?
Is there an intuitive explanation why the surface code fares so much better than older quantum error correction codes in terms of its high error threshold, with thresholds of up to a few percent ...
11
votes
5
answers
938
views
What is quantum entanglement, and what role does it play in quantum error correction?
I want to understand what quantum entanglement is and what role does it play in quantum error correction.
NOTE:
As per the suggestions of @JamesWootton and @NielDeBeaudrap, I have asked a separate ...
10
votes
2
answers
700
views
How could Majorana particles be used to improve quantum computers?
This recent press release claiming that Improved measurements bring final proof of Majorana particles closer than ever, which summarizes the results of a recent paper in Nature simply entitled "...
14
votes
5
answers
737
views
Why do error correction protocols only work when the error rates are already significantly low to begin with?
Quantum error correction is a fundamental aspect of quantum computation, without which large-scale quantum computations are practically unfeasible.
One aspect of fault-tolerant quantum computing that ...
13
votes
1
answer
608
views
What is the leading edge technology for creating a quantum computer with the fewest errors?
Which technological path seems most promising to produce a quantum processor with a greater quantum volume (preferring fewer errors per qubit over more qubits), than Majorana fermions?
The preferred ...
21
votes
1
answer
538
views
How does magic state distillation overhead scale compare to quantum advantages?
I'm interested in the model of quantum computation by magic state injection, that is where we have access to the Clifford gates, a cheap supply of ancilla qubits in the computational basis, and a few ...
26
votes
4
answers
2k
views
Is error correction necessary?
Why do you need error correction? My understanding is that error correction removes errors from noise, but noise should average itself out. To make clear what I'm asking, why can't you, instead of ...
24
votes
3
answers
1k
views
Which quantum error correction code has the highest threshold (as proven at the time of writing this)?
Which quantum error correction code currently holds the record in terms of the highest threshold for fault-tolerance? I know that the surface code is pretty good ($\approx10^{-2}$?), but finding exact ...
24
votes
3
answers
2k
views
What level of "confidence" of the result from a quantum computer is possible?
At a very basic level, reading or measuring a qubit forces it to be in one state or the other, so the operation of a quantum computer to gain a result collapses the state into one of many ...