Towards Large-scale Functional Verification of Universal Quantum Circuits

@article{Amy2018TowardsLF,
  title={Towards Large-scale Functional Verification of Universal Quantum Circuits},
  author={Matthew Amy},
  journal={CoRR},
  year={2018},
  volume={abs/1805.06908},
  pages={1-21}
}
  • Matthew Amy
  • Published in QPL 2018
  • Mathematics, Computer Science, Physics
  • We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polynomial functions, provides a structured and natural way of specifying quantum operations, particularly for quantum implementations of classical functions. Verification of circuits over all levels of the Clifford hierarchy with respect to either a specification or reference circuit is enabled by a novel rewrite system… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    4
    Twitter Mentions

    Citations

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

    Relating high-level frameworks for quantum circuits

    VIEW 5 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Reducing T-count with the ZX-calculus

    VIEW 3 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Toward certified quantum programming

    VIEW 7 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Contract-based verification of a realistic quantum compiler

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Formal Methods in Quantum Circuit Design

    VIEW 1 EXCERPT
    CITES BACKGROUND

    staq -- A full-stack quantum processing toolkit

    VIEW 1 EXCERPT
    CITES METHODS

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 30 REFERENCES

    Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates.

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Verifying the Smallest Interesting Colour Code with Quantomatic

    VIEW 3 EXCERPTS

    Computing quopit Clifford circuit amplitudes by the sum-over-paths technique

    VIEW 2 EXCERPTS