838 research outputs found
Protected gates for topological quantum field theories
We study restrictions on locality-preserving unitary logical gates for
topological quantum codes in two spatial dimensions. A locality-preserving
operation is one which maps local operators to local operators --- for example,
a constant-depth quantum circuit of geometrically local gates, or evolution for
a constant time governed by a geometrically-local bounded-strength Hamiltonian.
Locality-preserving logical gates of topological codes are intrinsically fault
tolerant because spatially localized errors remain localized, and hence
sufficiently dilute errors remain correctable. By invoking general properties
of two-dimensional topological field theories, we find that the
locality-preserving logical gates are severely limited for codes which admit
non-abelian anyons; in particular, there are no locality-preserving logical
gates on the torus or the sphere with M punctures if the braiding of anyons is
computationally universal. Furthermore, for Ising anyons on the M-punctured
sphere, locality-preserving gates must be elements of the logical Pauli group.
We derive these results by relating logical gates of a topological code to
automorphisms of the Verlinde algebra of the corresponding anyon model, and by
requiring the logical gates to be compatible with basis changes in the logical
Hilbert space arising from local F-moves and the mapping class group.Comment: 50 pages, many figures, v3: updated to match published versio
The Automorphism Group of an Extremal [72,36,16] Code does not contain elements of order 6
The existence of an extremal code of length 72 is a long-standing open
problem. Let C be a putative extremal code of length 72 and suppose that C has
an automorphism g of order 6. We show that C, as an F_2-module, is the
direct sum of two modules, one easily determinable and the other one which has
a very restrictive structure. We use this fact to do an exhaustive search and
we do not find any code. This proves that the automorphism group of an extremal
code of length 72 does not contain elements of order 6.Comment: 15 pages, 0 figures. A revised version of the paper is published on
IEEE Transactions on Information Theor
- …