A Caltech Library Service

Decoding Merged Color-Surface Codes and Finding Fault-Tolerant Clifford Circuits Using Solvers for Satisfiability Modulo Theories

Shutty, Noah and Chamberland, Christopher (2022) Decoding Merged Color-Surface Codes and Finding Fault-Tolerant Clifford Circuits Using Solvers for Satisfiability Modulo Theories. Physical Review Applied, 18 (1). Art. No. 014072. ISSN 2331-7019. doi:10.1103/physrevapplied.18.014072.

[img] PDF - Published Version
Creative Commons Attribution.

[img] PDF - Accepted Version
See Usage Policy.


Use this Persistent URL to link to this item:


Universal fault-tolerant quantum computers will require the use of efficient protocols to implement encoded operations necessary in the execution of algorithms. In this work, we show how SMT solvers can be used to automate the construction of Clifford circuits with certain fault-tolerance properties and we apply our techniques to a fault-tolerant magic-state-preparation protocol. Part of the protocol requires converting magic states encoded in the color code to magic states encoded in the surface code. Since the teleportation step involves decoding a color code merged with a surface code, we develop a decoding algorithm that is applicable to such codes.

Item Type:Article
Related URLs:
URLURL TypeDescription Paper
Shutty, Noah0000-0002-6035-2812
Chamberland, Christopher0000-0003-3239-5783
Alternate Title:Finding fault-tolerant Clifford circuits using satisfiability modulo theories solvers and decoding merged color-surface codes, Finding fault-tolerant Clifford circuits using SMT solvers
Additional Information:Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI. (Received 7 February 2022; revised 14 April 2022; accepted 16 May 2022; published 28 July 2022) We thank Markus Kesselring for his comments on our manuscript and for pointing out the connection between our lattice-surgery methods and the use of domain walls between the color code and surface code.
Group:AWS Center for Quantum Computing, Institute for Quantum Information and Matter
Issue or Number:1
Record Number:CaltechAUTHORS:20220729-722274000
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:115970
Deposited By: George Porter
Deposited On:29 Jul 2022 22:06
Last Modified:29 Jul 2022 22:06

Repository Staff Only: item control page