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 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.
翻译:通用防过错量计算机将需要使用高效协议来执行算法执行中必要的编码操作。 在这项工作中,我们展示如何使用SMT解答器将具有某些容错特性的克里福德电路的构造自动化,并将我们的技术应用到一个容错的魔法状态准备协议中。协议的一部分要求将彩色代码编码的神奇国家转换为表面代码编码的神奇国家。由于传送步骤涉及解码与表面代码合并的颜色代码,我们开发了适用于这些代码的新的解码算法。