Fault Tolerance by Construction

Understand

A key challenge in fault-tolerant quantum computing is synthesising and optimising circuits in a noisy environment, as traditional techniques often fail to account for the effect of noise on circuits.

• In this work, we propose and numerically verify a framework for designing fault-tolerant quantum circuits that are correct by construction.
• The framework starts with idealised specifications of fault-tolerant gadgets and refines them using provably sound basic transformations.
• To reason about manipulating circuits while preserving their error correction properties, we define fault equivalence; two circuits are considered fault-equivalent if all undetectable faults on one circuit have a corresponding fault on the other.