6 votes

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

Three-coupler and iswap and walking surface codes Pair-measurement surface code Honeycomb code Bacon-Shor code and Fractal Bacon-Shor code You may also want to look at the example circuits in ...
Craig Gidney's user avatar
  • 32.3k
5 votes
Accepted

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

TL;DR: This can be seen by decoding the $k$ logical qubits out of the code subspace into the first $k$ physical qubits while keeping track of the stabilizer group. Code subspace Consider an $[\![n,k]\!...
Adam Zalcman's user avatar
2 votes
Accepted

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

This can easily be done using stac. More explanations of the process for generating the encoding circuit is explained in a previous answer. But, since, this question is specifically asking for $[[2m, ...
Abdullah Khalid's user avatar
2 votes

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

We can obtain an encoding circuit for the $[\![m,m-2,2]\!]$ code for any even $m$ by generalizing the circuit displayed in the question. More precisely, for every new qubit we prepend a CNOT gate with ...
Adam Zalcman's user avatar
2 votes

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

We don't actually care about the fact that the T gates are "transversal". That's just a way of explaining why the circuit works. The underlying thing we care about is the fact that replacing ...
Craig Gidney's user avatar
  • 32.3k
1 vote
Accepted

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

Yes. ...
Abdullah Khalid's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible