2
$\begingroup$

The circuit performing the $15$-to-$1$ distillation of the magic state $T|+\rangle$ is shown below (figure taken from Litinski's paper). The first gates encode the $|+\rangle$ of the 15 qubit code. A logical $T$ is applied on this state (the gate is transversal for the $15$ qubit code), and we finally decode the state. We end up with an un-encoded magic state $T|+\rangle$.

enter image description here

The 15-qubit code is a distance 3 code: hence we can detect up to $2$ errors. Assuming the only noisy gates are the $T$ gates (yellow box in this image) and that they fail with a probability of error $p$, by post-selecting the states which return trivial syndromes, we can guarantee that the final state has a probability of error $O(p^3)$.

In his paper, Litinski says that the probability of error, at leading order, is $35p^3$. For me it should be $\binom{15}{3} p^3=455p^3$ (there are $\binom{15}{3}$ possibilities to have $3$ errors).

Where does the $35p^3$ comes from? Is it that some triplet of errors are actually harmless? If so, where is it explained?

$\endgroup$

1 Answer 1

5
$\begingroup$

It's because not every triplet is a failure. Most are detected.

A basic error is for one of the T gates to instead be Z*T. There are 15 T gates. Each of the 15 possible basic errors has a unique symptom. If you treat the four checks performed by the factory as the bits of a binary integer, this gives you an error 1 an error 2 and etc up to error 15. Because symptoms combine by xoring, the uniqueness of symptoms property implies every pair of errors has a non-zero combined symptom. This combined symptom can only be zero'd by adding a third error. That's why it's a distance 3 code.

Because each single error has a unique symptom, for a given pair there will always be exactly one unique third error to add that turns the pair into an undetected logical error. For example, starting from error 3 and error 14 you will need error $3 \oplus 14 = 13$ to finish a bad triplet. So the number of bad triplets is at most the number of pairs, of which there are ${15 \choose 2} = 105$. However, this overcounts by a factor of 3 because each failing triplet can be found redundantly via the ${3 \choose 2}$ different pairs within it. If the pair $a,b$ has the finisher $c$ forming $a,b,c$, then $a,c$ will have the finisher $b$ and $b,c$ will have the finisher $a$ so those three pairs all are telling you the same triplet.

So the total number of bad triplets is ${15 \choose 2} / {3 \choose 2} = 35$.

$\endgroup$
4
  • $\begingroup$ Thanks for the answer. I think I get your point. Would you agree that this would still give a pessimistic estimation on the error rates? For instance it could be that a+b+c gives a trivial syndrome but is equal to a stabilizer. Or maybe the event I describe here cannot happen "by construction"? $\endgroup$ Commented Aug 8, 2023 at 15:18
  • 1
    $\begingroup$ @MarcoFellous-Asiani In the 15-to-1 factory, every error triplet $(a,b,c)$ where $a \oplus b \oplus c = 0$ will result in a silently corrupted output if applied. $\endgroup$ Commented Aug 8, 2023 at 16:05
  • $\begingroup$ I see. If you have a reference where what you say is explained/shown, it would be great (but it goes beyond my original question which you already answered). Thanks a lot. $\endgroup$ Commented Aug 8, 2023 at 16:09
  • 1
    $\begingroup$ @MarcoFellous-Asiani You can verify it using the example magic state distillation circuit in Quirk. It takes a few minutes to manually iterate over all the single errors, pairs of errors, and triplets of errors and confirm there are 35 triplets that fail. $\endgroup$ Commented Aug 8, 2023 at 16:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.