Decoding quantum color codes with MaxSAT

Understand

In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications.

• For quantum computing, error-correction is essential as well, but harder to realize, coming along with substantial resource overheads and being concomitant with needs for substantial classical computing.
• Quantum error-correcting codes play a central role on the avenue towards fault-tolerant quantum computation beyond presumed near-term applications.
• Among those, color codes constitute a particularly important class of quantum codes that have gained interest in recent years due to favourable properties over other codes.