We develop a maximum likelihood Pauli error decoding algorithm for stabilisers codes based on general purpose integer optimisation. Using this decoder we analyse the performance of holographic codes against Pauli errors and find numerical evidence for thresholds against Pauli errors. We compare the performance of holographic code families of various code rates and find phenomenological Pauli error thresholds ranging from 7% to 16%, depending on the code rate. Additionally we give numerical evidence that the distance of the codes we consider scales polynomially with number of physical qubits.
We develop a maximum likelihood Pauli error decoding algorithm for stabilisers codes based on general purpose integer optimisation. Using this decoder we analyse the performance of holographic codes against Pauli errors and find numerical evidence for thresholds against Pauli errors. We compare the performance of holographic code families of various code rates and find phenomenological Pauli error thresholds ranging from 7% to 16%, depending on the code rate. Additionally we give numerical evidence that the distance of the codes we consider scales polynomially with number of physical qubits.
We develop a most likely error Pauli error decoding algorithm for stabilizer codes based on general purpose integer optimization. Using this decoder we analyze the performance of holographic codes against Pauli errors and find numerical evidence for thresholds against Pauli errors for bulk qubits. We compare the performance of holographic code families of various code rates and find phenomenological Pauli error thresholds ranging from 7 to 16, depending on the code rate. Additionally we give numerical evidence that specific distance measures of the codes we consider scale polynomially with number of physical qubits.
A crucial insight for practical quantum error correction is that different types of errors, such as single-qubit Pauli operators, typically occur with different probabilities. Finding an optimal quantum code under such biased noise is a challenging problem, related to the (generally unknown) maximum capacity of the corresponding noisy channel. A benchmark for this capacity is given by the hashing bound, which describes the performance of random stabilizer codes and leads to the matter of identifying codes that come close to the bound while also being efficiently decodable. In this work, we perform a comprehensive analysis of asymptotically zero-rate holographic codes under biased noise. We show that many representatives from such models of this code class fulfill both the channel optimality and efficient decoding guarantees for tensor-network codes. In fact, all tested holographic codes are found to reach the hashing bound in some bias regime, while several built from the [[ 5 , 1 , 2 ]] surface code and [[ 6 , 1 , 3 ]] code exceed state-of-the-art code performance in the 2-Pauli noise regime. Furthermore, we consider Clifford deformations which allow all considered codes to reach the hashing bound for 1-Pauli noise as well. Our results establish that holographic codes, which were previously shown to possess efficient tensor-network decoders, also exhibit competitive thresholds under biased noise.
The maximum likelihood decoder based on tensor networks has proven highly successful for the 2D surface code, achieving the optimal decoding success rate. However, existing tensor network decoders are typically designed for independent single-qubit error models, and their performance under inter-qubit correlated error models remains unexplored. This is due to two major challenges. The first challenge lies in constructing the tensor network for correlated errors, since the same final Pauli error can arise from many different combinations of independent and correlated errors, preventing a direct factorization of the error probability. The second challenge is that even after a tensor network is constructed, it generally contains huge-dimensional tensors and is therefore not efficiently contractible. In this work, to address the first difficulty, we introduce additional binary indices and two transformations to construct a multi-index tensor network for maximum-likelihood decoding with correlated errors. To address the second difficulty, we use reparametrization, elimination, and index classification to decompose the huge-dimensional tensors into lower-dimensional tensors. This yields an efficiently contractible tensor network for error models satisfying the tractability conditions derived in this work. We perform numerical simulations for a representative correlated error model and show that the maximum-likelihood decoder implemented with our multi-index tensor network construction achieves a higher finite-size threshold than the widely used MWPM decoder.
We consider tensor-network stabilizer codes and show that their tensor-network decoder has the property that independent logical qubits can be decoded in parallel. As long as the error rate is below threshold, we show that this parallel decoder is essentially optimal. Holographic codes are interesting examples of tensor-network codes, so we first test out this parallel decoding strategy on the max-rate holographic Steane (heptagon) code. For holographic codes with a constant number of logical qubits, the tensor-network decoder was shown to be efficient with complexity polynomial in n, the number of physical qubits. Here we show that, by using the parallel decoding scheme, the complexity is also linear in k, the number of logical qubits. We then calculate the bulk threshold (the threshold for logical qubits a fixed distance from the code center) under depolarizing noise for the max-rate holographic Steane code to be 9.4. We also introduce some further holographic error-correcting codes and calculate their thresholds under depolarizing noise. One example is based on an 11-qubit code due to Gottesman, which has asymptotic rate 0.114 and threshold 13.8%. Another code we consider is an asymptotically zero-rate holographic code, which performs extremely well under dephasing noise in the X,Y, or Z basis with a threshold of 50.
Quantum error correction is instrumental in protecting quantum systems from noise in quantum computing and communication settings. Pauli channels can be efficiently simulated and threshold values for Pauli error rates under a variety of error-correcting codes have been obtained. However, realistic quantum systems can undergo noise processes that differ significantly from Pauli noise. In this paper, we present an efficient hard decoding algorithm for optimizing thresholds and lowering failure rates of an error-correcting code under general completely positive and trace-preserving (i.e., Markovian) noise. We use our hard decoding algorithm to study the performance of several error-correcting codes under various non-Pauli noise models by computing threshold values and failure rates for these codes. We compare the performance of our hard decoding algorithm to decoders optimized for depolarizing noise and show improvements in thresholds and reductions in failure rates by several orders of magnitude. Our hard decoding algorithm can also be adapted to take advantage of a code's non-Pauli transversal gates to further suppress noise. For example, we show that using the transversal gates of the 5-qubit code allows arbitrary rotations around certain axes to be perfectly corrected. Furthermore, we show that Pauli twirling can increase or decrease the threshold depending upon the code properties. Lastly, we show that even if the physical noise model differs slightly from the hypothesized noise model used to determine an optimized decoder, failure rates can still be reduced by applying our hard decoding algorithm.
Real quantum computers will be subject to complicated, qubit-dependent noise, instead of simple noise such as depolarizing noise with the same strength for all qubits. We can do quantum error correction more effectively if our decoding algorithms take into account this prior information about the specific noise present. This motivates us to consider the complexity of surface code decoding where the input to the decoding problem is not only the syndrome-measurement results, but also a noise model in the form of probabilities of single-qubit Pauli errors for every qubit. In this setting, we show that quantum maximum likelihood decoding (QMLD) and degenerate quantum maximum likelihood decoding (DQMLD) for the surface code are NP-hard and #P-hard, respectively. We reduce directly from SAT for QMLD, and from #SAT for DQMLD, by showing how to transform a boolean formula into a qubit-dependent Pauli noise model and set of syndromes that encode the satisfiability properties of the formula. We also give hardness of approximation results for QMLD and DQMLD. These are worst-case hardness results that do not contradict the empirical fact that many efficient surface code decoders are correct in the average case (i.e., for most sets of syndromes and for most reasonable noise models). These hardness results are nicely analogous with the known hardness results for QMLD and DQMLD for arbitrary stabilizer codes with independent X and Z noise.