Verifying the Smallest Interesting Colour Code with Quantomatic
Liam Garvie (University of Strathclyde), Ross Duncan (University of, Strathclyde)
TL;DR
This paper demonstrates the use of Quantomatic to verify the fundamental properties of the Smallest Interesting Colour Code, an error-detecting quantum code, showcasing a practical application of diagrammatic reasoning tools.
Contribution
It provides the first case study applying Quantomatic to verify properties of a quantum error-detecting code, illustrating its effectiveness in quantum code analysis.
Findings
Successful verification of the code's basic properties
Demonstration of Quantomatic's applicability in quantum error correction
Insights into the diagrammatic reasoning process for quantum codes
Abstract
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.