Abstract:Quantum error-correcting codes (QECCs) is at the heart of fault-tolerant quantum computing. As the size of quantum platforms is expected to grow, one of the open questions is to design new optimal codes of ever-increasing size. A related challenge is to ``certify'' the quality of a given code by evaluating its minimum distance, a quantity characterizing code's capacity to preserve quantum information. This problem is known to be NP-hard. Here we propose to harness the power of contemporary quantum platforms to address this question, and in this way help design quantum platforms of the future. Namely, we introduce an approach to compute the minimum distance of quantum stabilizer codes by reformulating the problem as a Quadratic Unconstrained Binary Optimization (QUBO) problem and leveraging established QUBO algorithms and heuristics as well as quantum annealing (QA) to address the latter. The reformulation as a QUBO introduces only a logarithmic multiplicative overhead in the required number of variables. We demonstrate practical viability of our method by comparing the performance of purely classical algorithms with the D-Wave Advantage 4.1 quantum annealer as well as hybrid quantum-classical algorithm Qbsolv. We found that the hybrid approach demonstrates competitive performance, on par with the best available classical algorithms to solve QUBO. In a practical sense, the QUBO-based approach is currently lagging behind the best deterministic minimal distance algorithms, however this advantage may disappear as the size of the platforms grows.

On the Computing of the Minimum Distance of Linear Block Codes by Heuristic Methods

Minimum distance computation of linear codes via genetic algorithms with permutation encoding

Computation and Reformation of the Minimum Distance and Check Array of QC LDPC Codes

On the minimum distance of elliptic curve codes

Fast Reliability-based Algorithm of Finding Minimum-weight Codewords for LDPC Codes

Fast Algorithms and Implementations for Computing the Minimum Distance of Quantum Codes

Optimum Distance Profiles of Linear Block Codes.

An Improved Linear Programming Bound on the Average Distance of a Binary Code

A Low-Complexity Approach for Constructing the Optimal Binary Finite-Length Block Code

A quantum annealing approach to the minimum distance problem of quantum codes

A Low-Complexity Method for Evaluating the Distance Spectrum of Polar Codes

Finding the minimum distance and decoding linear codes with Gaussian Elimination Method

Searching for Minimum Storage Regenerating Codes

Computing the Minimum Distance of Several Kinds of LDPC Codes

On the Linear Programming Bound for Lee-codes

An Efficient Soft Decoder of Block Codes Based on Compact Genetic Algorithm

Fast Search on Binary Codes by Weighted Hamming Distance

On the Minimum Distance of Subspace Codes Generated by Linear Cellular Automata

The Method to Recognize Linear Block Code Based on the Distribution of Code Weight

Infinite families of minimal binary codes via Krawtchouk polynomials

An Approximate Coding-Rate Versus Minimum Distance Formula for Binary Codes