Quick Navigation
Topics
Quantum Error Correction Fault Tolerance
Verifying the Steane code with Quantomatic
arXiv
Authors: Ross Duncan, Maxime Lucas
Year
2013
Paper ID
8474
Status
Preprint
Abstract Read
~2 min
Abstract Words
42
Citations
N/A
Abstract
In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest and most complicated verification task yet carried out using Quantomatic.
Why This Paper Matters
- This paper contributes to the Quantum Error Correction & Fault Tolerance research area in the Quantum Articles archive.
- It adds a 2013 reference point for readers tracking recent quantum research.
- In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic.
Paper Tools
Become a member to use research tools
Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.
Show Paper arXiv Publisher Share
Cite This Paper
Copy URL
Compare
Copy DOI Add to Reading List
Category Correction Request
Category Correction Request
Help us improve classification quality by proposing a better category. Every request is reviewed by an admin.
Sign in to submit a category correction request for this paper.
Log In to SubmitReferences & Citation Signals
Community Reactions
Quick sentiment from readers on this paper.
Score:
0
Likes: 0
Dislikes: 0
Sign in to react to this paper.
Discussion & Reviews (Moderated)
Average Rating: 0.0 / 5 (0 ratings)
No written reviews yet.