Quantum code with simpler pairwise checks
A method and apparatus for performing quantum error correction using an automorphism code related to the honeycomb code. The automorphism code is based on Kramers-Wannier (KW) duality. For embodiments on a hexagonal lattice using three repeated time steps, ⅓ of the pixels are active in a given time steps. In a given time step r, a KW circuit is applied to plaquettes labeled r mod 3, transferring quantum information from the active qubits at the beginning to a new set of active qubits at the end of the time step. Each of the three plaquette types is associated with one stabilizer either given by a product of six Z operators or three X operators. The KW circuit maps the product of X operators to the product of Z operators and vice-versa. The stabilizer group of the superlattice toric code changes every round.
1. An apparatus, comprising:
a quantum processor comprising:
a plurality of qubits arranged in a 3-colorable lattice of plaquettes such that each qubit of the plurality of qubits is represented by a respective edge of the lattice, each edge representing a single qubit of the plurality of qubits,
wherein the plaquettes comprise plaquettes of a first plaquette type, a second plaquette type, and a third plaquette type, the plaquettes being arranged such that no plaquette is adjacent to a plaquette of the same plaquette type; and
a classical processor configured to:
control quantum measurements on the plurality of qubits to perform a quantum error correction code based on Kramers-Wannier duality by performing a Kramers-Wannier circuit in a periodic sequence.
2. The apparatus of claim 1 , wherein each of said plaquettes consists of six qubits.
3. The apparatus of claim 1 , wherein the classical processor performs the quantum error correction code as rounds of a repeating sequence of three steps.
4. The apparatus of claim 3 , wherein at a beginning of each of the three steps one third of the qubits are active qubits, and which qubits are the active qubits is different for each of the three steps.
5. The apparatus of claim 3 , wherein the quantum error correction code is an automorphism code such that,
at each time step, the Kramers-Wannier circuit maps a logical operator to another logical operator and vice versa, and,
for each of the rounds of the three steps, the logical operator alternates with the another logical operator.
6. The apparatus of claim 3 , wherein
a first step of the three steps is performed by performing the Kramers-Wannier circuit on qubits of the plaquettes of the first plaquette type,
a second step of the three steps is performed by performing the Kramers-Wannier circuit on qubits of the plaquettes of the second plaquette type, and
a third step of the three steps is performed by performing the Kramers-Wannier circuit on qubits of the plaquettes of the third plaquette type.
7. The apparatus of claim 1 , wherein the Kramers-Wannier circuit maps a product of Z operators to a product of X operators and maps products of X operators to respective products of Z operators.
8. The apparatus of claim 1 , wherein the Kramers-Wannier circuit implements one of four types of Kramers-Wannier duality, and the classical processor uses results of the quantum measurements on the plurality of qubits to determine which of the four types of Kramers-Wannier duality was implemented.
9. The apparatus of claim 1 , wherein the classical processor
records measurement outcomes from each step of the periodic sequence of the quantum error correction code,
determines how plaquette stabilizers evolve based on the record measurement outcomes,
checks whether the record measurement outcomes agree with expected outcomes, and
when the record measurement outcomes do not agree with the expected outcomes, (i) the classical processor signals a fault occurred and (ii) the classical processor determines which fault occurred and applies one or more corrective unitary operators to the plurality of qubits.
10. The apparatus of claim 1 , wherein the Kramers-Wannier circuit maps a product of X operators to a product of Z operators and vice-versa.
11. The apparatus of claim 1 , wherein the Kramers-Wannier circuit comprises a set of Hadamard gates, a set of single-qubit Z measurements, a set of two-qubit XX measurements, a set of two-qubit ZZ measurements, and a set of single-qubit X measurements.
12. The apparatus of claim 1 , wherein the Kramers-Wannier circuit comprises, a set of single-qubit X measurements, a set of two-qubit XZ measurements, a set of two-qubit ZX measurements, and another set of single-qubit X measurements.
13. The apparatus of claim 1 , wherein the Kramers-Wannier circuit comprises a first set of single-qubit X measurements, a first set of controlled Z gates, a second set of controlled Z gates, and a second set of single-qubit X measurements.
14. A method of performing an error correction code, comprising:
controlling, using a classical processor, quantum measurements on a plurality of qubits to perform a quantum error correction code, the quantum error correction code being based on Kramers-Wannier duality, and the quantum error correction code includeing performing a Kramers-Wannier circuit in a periodic sequence,
wherein the plurality of qubits is arranged in a 3-colorable lattice of plaquettes such that each qubit of the plurality of qubits is represented by a respective edge of the lattice, each edge representing a single qubit of the plurality of qubits, wherein the plaquettes comprise plaquettes of a first plaquette type, a second plaquette type, and a third plaquette type, the plaquettes being arranged such that no plaquette is adjacent to a plaquette of the same plaquette type.
15. The method of claim 14 , wherein the classical processor controls the quantum measurements on the plurality of qubits such that the quantum error correction code is performed as rounds of a repeating sequence of three steps.
16. The method of claim 15 , wherein the classical processor controls the quantum measurements on the plurality of qubits such that
in a first step of the three steps, the Kramers-Wannier circuit is performed on qubits of the plaquettes of the first plaquette type,
in a second step of the three steps, the Kramers-Wannier circuit is performed on qubits of the plaquettes of the second plaquette type, and
in a third step of the three steps, the Kramers-Wannier circuit is performed on qubits of the plaquettes of the third plaquette type.
17. The method of claim 15 , wherein the classical processor controls the quantum measurements to perform the quantum error correction code that is an automorphism code such that, at each step, the Kramers-Wannier circuit maps a logical operator to another logical operator and vice versa, and, for each of the rounds of the three steps, the logical operator alternates with the another logical operator.
18. The method of claim 14 , wherein the classical processor controls the quantum measurements to perform the Kramers-Wannier circuit, and Kramers-Wannier circuit maps a product of Z operators to a product of X operators and maps products of X operators to respective products of X operators.
19. The method of claim 14 , wherein the classical processor controls the quantum measurements on the plurality of qubits to perform the Kramers-Wannier circuit, wherein the Kramers-Wannier circuit implements one of four types of Kramers-Wannier duality, and the classical processor uses results of the quantum measurements on the plurality of qubits to determine which of the four types of Kramers-Wannier duality was implemented.
20. The method of claim 14 , wherein the classical processor performs steps of
recording measurement outcomes from each step of the periodic sequence of the quantum error correction code,
determining how plaquette stabilizers evolve based on the record measurement outcomes,
checking whether the record measurement outcomes agree with expected outcomes, and
when the record measurement outcomes do not agree with expected outcomes, the classical processor performs steps of
signaling a fault occurred,
determining which fault occurred, and
applying one or more corrective unitary operators to the plurality of qubits.