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.
Skip Nav Destination
Article navigation
February 2016
Research Article|
January 13 2016
Protected gates for topological quantum field theories
Michael E. Beverland;
Michael E. Beverland
1Institute for Quantum Information and Matter,
California Institute of Technology
, Pasadena, California 91125, USA
Search for other works by this author on:
Oliver Buerschaper;
Oliver Buerschaper
2Dahlem Center for Complex Quantum Systems,
Freie Universität Berlin
, 14195 Berlin, Germany
Search for other works by this author on:
Robert Koenig;
Robert Koenig
3Institute for Advanced Study and Zentrum Mathematik,
Technische Universität München
, 85748 Garching, Germany
Search for other works by this author on:
Fernando Pastawski
;
Fernando Pastawski
1Institute for Quantum Information and Matter,
California Institute of Technology
, Pasadena, California 91125, USA
Search for other works by this author on:
John Preskill;
John Preskill
1Institute for Quantum Information and Matter,
California Institute of Technology
, Pasadena, California 91125, USA
Search for other works by this author on:
Sumit Sijher
Sumit Sijher
4Institute for Quantum Computing and Department of Applied Mathematics,
University of Waterloo
, Waterloo, Ontario N2L 3G1, Canada
Search for other works by this author on:
J. Math. Phys. 57, 022201 (2016)
Article history
Received:
August 10 2015
Accepted:
December 21 2015
Citation
Michael E. Beverland, Oliver Buerschaper, Robert Koenig, Fernando Pastawski, John Preskill, Sumit Sijher; Protected gates for topological quantum field theories. J. Math. Phys. 1 February 2016; 57 (2): 022201. https://doi.org/10.1063/1.4939783
Download citation file:
Sign in
Don't already have an account? Register
Sign In
You could not be signed in. Please check your credentials and make sure you have an active account and try again.
Sign in via your Institution
Sign in via your InstitutionPay-Per-View Access
$40.00
Citing articles via
Related Content
2D conformal field theories and holography
J. Math. Phys. (May 2004)
Direct sum decompositions and indecomposable TQFTs
J. Math. Phys. (December 1995)
Dual WDVV equations in N=2 supersymmetric Yang–Mills theory
J. Math. Phys. (September 2000)
Fermionic modular categories and the 16-fold way
J. Math. Phys. (April 2017)
One-instanton prepotentials from WDVV equations in N=2 supersymmetric SU(4) Yang–Mills theory
J. Math. Phys. (August 1999)