一句话：提出 QECC-Synth，用 ancilla bridge 与 MaxSAT 自动综合稀疏硬件上的量子纠错码布局，显著优于现有方法。
量子纠错码是实现容错量子计算的关键，但其所需的稠密量子比特连接性与稀疏硬件架构之间存在显著差距。现有方案要么未能充分利用纠错电路的结构特征，要么依赖针对特定码与架构的人工设计，通用性受限。本文提出 QECC-Synth，一个面向纠错码实现的自动编译器：采用专为纠错电路设计的 ancilla bridge 技术，并对该设计空间中的灵活性进行系统分类，进而将布局综合形式化为 MaxSAT 问题以联合优化这些自由度。实验表明，该方法在多种纠错码与硬件架构上显著优于已有方法，并展现出更广的适用性。
Quantum Error Correction (QEC) codes are essential for achieving fault-tolerant quantum computing (FTQC). However, their implementation faces significant challenges due to disparity between required dense qubit connectivity and sparse hardware architectures. Current approaches often either underutilize QEC circuit features or focus on manual designs tailored to specific codes and architectures, limiting their capability and generality. In response, we introduce QECC-Synth, an automated compiler for QEC code implementation that addresses these challenges. We leverage the ancilla bridge technique tailored to the requirements of QEC circuits and introduces a systematic classification of its design space flexibilities. We then formalize this problem using the MaxSAT framework to optimize these flexibilities. Evaluation shows that our method significantly outperforms existing methods while demonstrating broader applicability across diverse QEC codes and hardware architectures.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@inproceedings{YinZFSH0D25,
title = {QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures},
author = {Keyi Yin and Hezi Zhang and Xiang Fang and Yunong Shi and Travis S. Humble and Ang Li and Yufei Ding},
booktitle = {ASPLOS},
year = {2025},
doi = {10.1145/3669940.3707236}
}