Surface Codes

Surface codes may be one of the keys to building large, fault-tolerant quantum computers. They involve the arrangement of qubits into two-dimensional lattices that define an error correction code. Some of the key concepts of any surface code include:

• Stabilizers that act on multiple qubits in two-dimensional arrays of physical qubits
• Two-dimensional lattices of physical qubits that implement the surface code
• The formation of logical qubits from these arrays of physical qubits
• The calculation of numerical estimates of the resultant fault tolerance
• The error correction process through syndrome measurement and correction application
• The establishment of universal quantum computation through H, S, and T operators

QuTech Academy offers a “Surface codes” mini-lecture, which consists of a digestible 4:37 video. The instructor provides explanations of some surface code visualizations that are depicted on a whiteboard. Below the video, the page includes links to suggested further reading, as well as to an additional video.

It is important to refer to any example of a surface code as a quantum surface code, as searching for variations of this term might result in irrelevant content. For example, reversing the words to become “code surfaces” might refer to coding on Microsoft Surface devices, which are not quantum computers. Adding words such as in “surface mount codes” refers to the fabrication of electronic components onto printed circuit boards (PCB) surfaces, which could be indirectly relevant on an engineering level, but isn’t specific to quantum computing.

What are Surface Codes?

Although it is not possible to know how many surface codes are currently being researched, an informative sampling can be drawn from those that have been publicly proposed. There are so many already, in fact, that the following is actually a sampling of surface code families, rather than a list of individual surface codes

• Planar codes, which might be the most practical surface codes
• Toric codes, which are simple, well-studied codes with boundaries
• Hyperbolic codes, which are similar to planar and toric codes, but in hyperbolic spaces
• Quantum double models, which are based on non-Abelian anyons
• Subsystem codes, which use a subset of data qubits to detect errors

Each of the above surface code families has distinct properties, and each may have different applications within quantum computing. And because surface codes are a highly active area of research, as is the case with quantum error correction codes in general, the continued discovery of novel codes can be expected.

In principle, all of these codes are modality agnostic. In other words, they ought to be compatible with all qubit modalities. This is a particularly interesting concept, as surface codes can be thought of as implementing topological quantum computing, even though none of these qubit modalities need to be topological qubits.

For further reading, a StackExchange Quantum Computing question titled “What is the ‘surface code’ in the context of quantum error correction?” includes one detailed response that covers the Toric Code, stabilizers, codespace, logical operators, error detection and correction, error correcting threshold, and the Planar Code. This response includes links and an image.  

The Underlying Principles of Surface Codes

Despite the variety of the surface codes that are listed in the immediately previous section, these code families all share a few common principles. These principles actually reveal functionality beyond simply the error correction for which these surface codes are being investigated:

• Stabilizers act upon two-dimensional arrays of physical qubits
• These arrays of physical qubits form logical qubits
• These logical qubits have estimated fault tolerances
• Logical qubits create “braids” through syndrome measurement and correction
• Logical operations are performed using syndrome measurements and corrections
• Two logical qubits can become entangled, which in turn unlocks the full potential of quantum computation

Beyond error correction, therefore, these principles allow for the transformation of quantum information. Instead of on the physical qubits, single-qubit operations may be implemented on the logical qubits. Furthermore, two logical qubits can become entangled, which in turn unlocks the full potential of quantum computation. Therefore, surface codes can be thought of as a genuine path toward fault-tolerant quantum computing.

‍