解码合并的颜色-表面码并利用可满足性模理论求解器寻找容错Clifford电路

通用容错量子计算机将需要使用高效协议来实现算法执行中所需的编码操作。在这项工作中，我们展示了如何使用可满足性模理论求解器（SMT求解器）来自动构建具有特定容错性质的Clifford电路，并将我们的技术应用于一种容错魔法态制备协议。该协议的一部分需要将编码在颜色码中的魔法态转换为编码在表面码中的魔法态。由于隐形传态步骤涉及解码与表面码合并的颜色码，我们开发了一种适用于此类码的解码算法。