Verifying the Steane code with Quantomatic

@inproceedings{Duncan2013VerifyingTS,
  title={Verifying the Steane code with Quantomatic},
  author={Ross Duncan and Maxime Lucas},
  booktitle={QPL},
  year={2013}
}
  • Ross Duncan, Maxime Lucas
  • Published in QPL 2013
  • Mathematics, Physics, Computer Science
  • 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. 

    Figures, Tables, and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 33 CITATIONS

    A universal completion of the ZX-calculus

    VIEW 1 EXCERPT
    CITES METHODS

    Optimising Clifford Circuits with Quantomatic

    VIEW 1 EXCERPT

    The ZX calculus is incomplete for quantum mechanics

    VIEW 1 EXCERPT
    CITES METHODS

    Towards Large-scale Functional Verification of Universal Quantum Circuits

    • Matthew Amy
    • Mathematics, Computer Science, Physics
    • QPL
    • 2018
    VIEW 2 EXCERPTS

    Verifying the Smallest Interesting Colour Code with Quantomatic

    VIEW 1 EXCERPT

    Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics

    VIEW 1 EXCERPT
    CITES METHODS

    A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

    • Renaud Vilmart
    • Physics, Computer Science, Mathematics
    • 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    • 2019
    VIEW 1 EXCERPT
    CITES METHODS

    FILTER CITATIONS BY YEAR

    2013
    2019

    References

    Publications referenced by this paper.
    SHOWING 1-7 OF 7 REFERENCES

    A graphical approach to measurement-based quantum computing

    • Ross Duncan
    • Computer Science, Physics, Mathematics
    • Quantum Physics and Linguistics
    • 2013

    Multiple-particle interference and quantum error correction

    • Andrew M. Steane
    • Mathematics, Physics
    • Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
    • 1996
    VIEW 2 EXCERPTS

    Interacting Quantum Observables: Categorical Algebra and Diagrammatics

    VIEW 2 EXCERPTS

    Graphical reasoning in compact closed categories for quantum computation