Specification format and a verification method of fault-tolerant quantum circuits

Publication Type:
Journal Article
Citation:
Physical Review A, 2018, 98 (2)
Issue Date:
2018-08-02
Full metadata record
Files in This Item:
Filename Description Size
53 - PRA - Verification.pdfPublished Version591.66 kB
Adobe PDF
© 2018 American Physical Society. Quantum computations are expressed in general as quantum circuits, which are specified by ordered lists of quantum gates. The resulting specifications are used during the optimization and execution of the expressed computations. However, the specification format makes it difficult to verify that optimized or executed computations still conform to the initial gate list specifications: showing the computational equivalence between two quantum circuits expressed by different lists of quantum gates is exponentially complex in the worst case. In order to solve this issue, this work presents a derivation of the specification format tailored specifically for fault-tolerant quantum circuits. The circuits are considered a form consisting entirely of single qubit initializations, cnot gates, and single qubit measurements (ICM form). This format allows, under certain assumptions, to efficiently verify optimized (or implemented) computations. Two verification methods based on checking stabilizer circuit structures are presented.
Please use this identifier to cite or link to this item: