Finding fault-tolerant Clifford circuits using satisfiability modulo theories solvers and decoding merged color-surface codes

01/28/2022
by   Noah Shutty, et al.
0

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 satisfiability modulo theories (SMT) solvers can be used to automate the construction of Clifford circuits with certain fault-tolerance properties and 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 new decoding algorithm applicable to such codes.

READ FULL TEXT

page 7

page 11

page 15

page 17

research
10/16/2018

Reinforcement Learning Decoders for Fault-Tolerant Quantum Computation

Topological error correcting codes, and particularly the surface code, c...
research
12/08/2021

Experimental Characterization of Fault-Tolerant Circuits in Small-Scale Quantum Processors

Experiments conducted on open-access cloud-based IBM Quantum devices are...
research
02/01/2023

Hardness of braided quantum circuit optimization in the surface code

Large-scale quantum information processing requires the use of quantum e...
research
02/18/2018

Deep neural decoders for near term fault-tolerant experiments

Finding efficient decoders for quantum error correcting codes adapted to...
research
08/11/2018

Constant overhead quantum fault-tolerance with quantum expander codes

We prove that quantum expander codes can be combined with quantum fault-...
research
10/12/2021

A scalable and fast artificial neural network syndrome decoder for surface codes

Surface code error correction offers a highly promising pathway to achie...
research
12/10/2017

Simulation of Quantum Circuits via Stabilizer Frames

Generic quantum-circuit simulation appears intractable for conventional ...

Please sign up or login with your details

Forgot password? Click here to reset