Operator Quantum Error Correcting Subsystems for Self-Correcting Quantum Memories

TL;DR

This work reframes quantum error correction by encoding information into subsystems (operator QEC) rather than subspaces, yielding recovery procedures that exploit the subsystem structure. It provides two explicit subsystem codes on 2D and 3D lattices, with a 3D model that is argued—via a mean-field analysis—to be self-correcting, i.e., passively robust against errors at finite temperature. The paper elaborates the associated Hamiltonians, logical operators, and active recovery mechanisms, and discusses practical implementation, limitations, and open questions about extending self-correction to lower dimensions and its impact on quantum information science.

Abstract

The most general method for encoding quantum information is not to encode the information into a subspace of a Hilbert space, but to encode information into a subsystem of a Hilbert space. Recently this notion has led to a more general notion of quantum error correction known as operator quantum error correction. In standard quantum error correcting codes, one requires the ability to apply a procedure which exactly reverses on the error correcting subspace any correctable error. In contrast, for operator error correcting subsystems, the correction procedure need not undo the error which has occurred, but instead one must perform correction only modulo the subsystem structure. This does not lead to codes which differ from subspace codes, but does lead to recovery routines which explicitly make use of the subsystem structure. Here we present two examples of such operator error correcting subsystems. These examples are motivated by simple spatially local Hamiltonians on square and cubic lattices. In three dimensions we provide evidence, in the form a simple mean field theory, that our Hamiltonian gives rise to a system which is self-correcting. Such a system will be a natural high-temperature quantum memory, robust to noise without external intervening quantum error correction procedures.

Figures (3)

• Figure 1: Above we have represented elements of the ${\mathcal{T}}$. Each set of operators enclosed in a rectangle represents a Pauli operator acting on the particular qubits tensored with the identity on all other qubits. Each of the operators enclosed in the dotted rectangles are elements of ${\mathcal{T}}$.
• Figure 2: A nontrivial element of the group ${\mathcal{S}}$. This element has an even number of columns which are entirely $X$ operators multiplied by an even number of rows which are entirely $Y$ operators. Notice how the $Y$ elements appear where both of these conditions are met.
• Figure 3: A nontrivial element of the set ${\mathcal{L}}$. This element has an odd number of columns which are entirely $X$ operators multiplied by an oddnumber of rows which are entirely $Y$ operators. It represents an encoded $Y$ operator on the encoded qubit as described in Sec. \ref{['sec:log']}