# 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 characteristic are able to overcome the performance of quantum error correction codes that are nondegenerate.

I am wondering if there exists some kind of measure, or classification method in order to determine how degenerate is a quantum code, and so if there has been any study trying to determine the error correction abilities of quantum codes depending on the degeneracy of them.

Apart from that, it would be interesting to give reference or some intuition about how to construct good degenerate codes, or just reference about the current state of the art of those issues.

I don't have a complete answer, but perhaps others can improve on this starting point.

1. How degenerate is it?

2. How hard is it to perform the classical post-processing of the error syndrome in order to determine which corrections to make?

3. What are its error correcting/fault-tolerant thresholds?

I suppose a simple enough measure of degeneracy is the extent to which the Quantum Hamming Bound is surpassed. For an $[[N,k,d]]$ code, a non-degenerate code must satisfy:

$$2^{N-k}\geq\sum_{n=0}^{\lfloor d/2\rfloor}3^n\binom{N}{n}$$

So the amount by which that bound is violated suggests something interesting about how densely the information is packed. Of course, that's no use if your mega-degenerate code cannot actually correct for any errors. Similarly, if your code is in principle awesome, but it takes too long to actually work out what the correction is, your code isn't really any use in practice because errors will continue to accumulate as you try to work out what corrections to do.

• Thanks for the thought about the question. The points you give in order to analyze the code are really interesting and I think that considerig the violation of the quantum Hamming bound in order to analyze the degeneracy is really interesting. I have been thinking about using the cardinals of the error cosets which will be bigger than one for degenerate codes in order to classify the degeneracy, what do you think about it? Also if you have any interesting reference about the topic, it would be interesting to share it. – Josu Etxezarreta Martinez May 14 '18 at 13:52
• @JosuEtxezarretaMartinez Perhaps you could expand your idea more within the question? I'm not sure I immediately understand what you're getting at, but it will also advertise it to a wider audience than the comment will... – DaftWullie May 14 '18 at 21:04
• Ok, I guess I will prepare a question about that sometime. Also, the link you wrote is not working because it has taken the bracket and the "(here)" as part of it, it'd be nice if you edit it so that other people can use that. Thanks. – Josu Etxezarreta Martinez May 15 '18 at 7:37
• Off the top of my head, I don't know of any references. To myknowledge, properties of degenerate codes are relatively under-studied in this way, because the first major challenge is to find some good degenerate codes. I don't think we know so many (e.g. here), and they don't beat the quantum Hamming bound by very much. – DaftWullie May 15 '18 at 15:24