|q⟩ Bad Qubits

advanced · Physics · Surface Codes & Topological Codes

The Planar Surface Code

A torus is convenient theory but impossible hardware — you cannot wire a chip into a doughnut. The planar surface code keeps all the local structure of the toric code but lays it on a flat patch with boundaries. Opening up the surface costs one logical qubit (we go from k=2k=2 to k=1k=1), but the surviving logical qubit is exactly what a 2D chip with nearest-neighbour couplings can host. This is the code being built in real superconducting and ion-trap devices.

From torus to patch

Cut the torus open into a rectangular sheet. The interior keeps the familiar checks: star operators Av=evXeA_v = \prod_{e \ni v} X_e at vertices and plaquette operators Bp=epZeB_p = \prod_{e \in \partial p} Z_e at faces. The novelty is what happens at the edges of the patch, where stabilizers are truncated to act on fewer qubits.

Two kinds of boundary

A planar surface code has two distinct boundary types, and they must alternate around the patch:

A standard planar patch has two opposite rough boundaries and two opposite smooth boundaries.

The single logical qubit

On the planar patch the logical operators are boundary-to-boundary strings, not closed loops:

Zˉ=eγZZe,Xˉ=eγXXe,\bar Z = \prod_{e \in \gamma_Z} Z_e , \qquad \bar X = \prod_{e \in \gamma_X} X_e ,

where γZ\gamma_Z is a ZZ-string connecting the two rough boundaries and γX\gamma_X is an XX-string (on the dual lattice) connecting the two smooth boundaries. These two strings must cross an odd number of times — at least once — so

{Xˉ,Zˉ}=0,\{\bar X, \bar Z\} = 0,

giving one pair of anticommuting logical Paulis: exactly one logical qubit, k=1k=1. The torus had two independent cycle directions and hence k=2k=2; the disk-like patch has only one nontrivial way to connect opposite boundaries of each type, so k=1k=1.

Distance on the patch

As on the torus, the logical operators are the shortest such strings. For a patch with dd rows and dd columns of data qubits along the relevant direction, the shortest boundary-to-boundary string has length dd, so the code distance is dd and the patch realizes parameters of order

[[n,k,d]]=[[O(d2),  1,  d]].[[\,n, k, d\,]] = [[\,O(d^2),\; 1,\; d\,]].

The rotated surface code packs this most efficiently, using n=d2n = d^2 data qubits for distance dd. The next lesson makes the distance-to-lattice-size relationship precise; for now the message is that the planar code trades one logical qubit for physical realizability while keeping every check local and the distance tunable by patch size.

Sign in on the full site to ask questions and join the discussion.