Fault-tolerant logical gates in quantum error-correcting codes

Abstract

Recently, Bravyi and König have shown that there is a tradeoff between fault-tolerantly implementable logical gates and geometric locality of stabilizer codes. They consider locality-preserving operations which are implemented by a constant depth geometrically local circuit and are thus fault-tolerant by construction. In particular, they shown that, for local stabilizer codes in D spatial dimensions, locality preserving gates are restricted to a set of unitary gates known as the D-th level of the Clifford hierarchy. In this paper, we elaborate this idea and provide several extensions and applications of their characterization in various directions. First, we present a new no-go theorem for self-correcting quantum memory. Namely, we prove that a three-dimensional stabilizer Hamiltonian with a locality-preserving implementation of a non-Clifford gate cannot have a macroscopic energy barrier. Second, we prove that the code distance of a D-dimensional local stabilizer code with non-trivial locality-preserving m-th level Clifford logical gate is upper bounded by $O(L^{D+1-m})$. For codes with non-Clifford gates (m>2), this improves the previous best bound by Bravyi and Terhal. Third we prove that a qubit loss threshold of codes with non-trivial transversal m-th level Clifford logical gate is upper bounded by 1/m. As such, no family of fault-tolerant codes with transversal gates in increasing level of the Clifford hierarchy may exist. This result applies to arbitrary stabilizer and subsystem codes, and is not restricted to geometrically-local codes. Fourth we extend the result of Bravyi and König to subsystem codes. A technical difficulty is that, unlike stabilizer codes, the so-called union lemma does not apply to subsystem codes. This problem is avoided by assuming the presence of error threshold in a subsystem code, and the same conclusion as Bravyi-König is recovered.

13 pages, 4 figures

References in corpus (9)

• Local stabilizer codes in three dimensions without string logical operators
• Topological Quantum Distillation
• Restrictions on Transversal Encoded Quantum Gate Sets
• A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes
• Topological Computation without Braiding
• Exact Topological Quantum Order in D=3 and Beyond: Branyons and Brane-Net Condensates
• Fault-Tolerance of "Bad" Quantum Low-Density Parity Check Codes
• Framework for classifying logical operators in stabilizer codes
• 3-d topological quantum memory with a power-law energy barrier

Cited by in corpus (2)

• Universal transversal gates with color codes - a simplified approach
• Can long-range interactions stabilize quantum memory at nonzero temperature?