The non-existence of a [[13,5,4]] quantum stabilizer code

J. Bierbrauer, S. Marcugini, F. Pambianco

We solve one of the oldest problems in the theory of quantum stabilizer codes by proving the non-existence of quantum [[13,5,4]]-codes.