Show Paper arXiv Publisher

Quick Navigation

Overview Topics Abstract Paper Tools References Reactions Discussion Publication Related

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.

Paper Tools

Show Paper arXiv Publisher Compare Add to Reading List

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 Submit

References & Citation Signals

[1] DOI https://doi.org/arXiv:1306.4532 [2] arXiv https://arxiv.org/abs/1306.4532 [3] Publisher https://arxiv.org/abs/1306.4532

Local Citation Graph (Related-Paper Links)

Current Paper #8474 #18005 Estimating and decoding coheren... #17962 Efficient magic state cultivati... #17936 Decoder Switching: Breaking the...

External citation index: OpenAlex citation signal

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.