双对数时间开销容错量子计算的多对数时间并行最小权完美匹配解码器
Doubly-polylog-time-overhead fault-tolerant quantum computation by a polylog-time parallel minimum-weight perfect matching decoder
摘要 Abstract
减少容错量子计算(FTQC)的空间和时间开销一直受到越来越多的关注,因为它对于量子计算机的发展至关重要,同时也对理解实现量子优势的可能性和局限性具有根本意义。较短的时间开销对于在不牺牲运行时间优势的情况下展示量子计算加速尤为重要。然而,超越传统多项式对数(polylog)时间开销的缩放一直是一个重大挑战,因为这需要解决所有潜在瓶颈,包括实际实现中经典计算解码的非零运行时间。在这项工作中,我们构建了一种协议,实现了具有双重对数时间开销的FTQC,同时保持了传统的多项式对数空间开销。我们方法的关键在于开发了一种高度可并行化的最小权完美匹配(MWPM)解码器,该解码器在代码规模上实现了多项式对数的并行运行时间,并提供了阈值存在性和开销界限的理论保证。我们的协议结合了这种解码器与包含单次解码的拓扑编码协议;此外,我们还将其与级联Steane码相结合,以确保阈值的存在并避免积压问题,从而即使考虑到解码器的运行时间,也能实现双重对数时间开销。这些结果表明,突破传统多项式对数时间开销障碍的可行性,开辟了低开销FTQC的新前沿。
Reducing space and time overheads of fault-tolerant quantum computation (FTQC) has been receiving increasing attention as it is crucial for the development of quantum computers and also plays a fundamental role in understanding the feasibility and limitations of realizing quantum advantages. Shorter time overheads are particularly essential for demonstrating quantum computational speedups without compromising runtime advantages. However, surpassing the conventional polylogarithmic (polylog) scaling of time overheads has remained a significant challenge, since it requires addressing all potential bottlenecks, including the nonzero runtime of classical computation for decoding in practical implementations. In this work, we construct a protocol that achieves FTQC with doubly polylog time overhead while maintaining the conventional polylog space overhead. The key to our approach is the development of a highly parallelizable minimum-weight perfect matching (MWPM) decoder, which achieves a polylog parallel runtime in terms of the code size while providing theoretical guarantees on threshold existence and overhead bounds. Our protocol integrates this decoder with a topological-code protocol that incorporates single-shot decoding for efficient syndrome extraction; furthermore, we concatenate this with the concatenated Steane codes to guarantee the existence of the threshold while avoiding a backlog problem, enabling us to achieve doubly polylog time overheads even when accounting for the decoder's runtime. These results suggest the feasibility of surpassing the conventional polylog-time-overhead barrier, opening a new frontier in low-overhead FTQC.