QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Hardware Architectures

TL;DR

QECC-Synth is an automated compiler that efficiently maps quantum error correction codes onto sparse hardware architectures, overcoming connectivity challenges and outperforming existing methods.

Contribution

It introduces a systematic, MaxSAT-based approach for synthesizing QEC circuits tailored to sparse hardware, enhancing flexibility and applicability.

Findings

Outperforms existing QEC synthesis methods

Demonstrates broad applicability across codes and architectures

Significantly improves circuit implementation efficiency

Abstract

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.