Abstract
Quantum computing performance simulators are needed to provide practical metrics for the effectiveness of executing theoretical quantum information processing protocols on physical hardware. In this work, we present a tool to simulate the execution of fault-tolerant quantum computation by automating the tracking of common fault paths for error propagation through an encoded circuit block and quantifying the failure probability of each encoded qubit throughout the circuit. Our simulator runs a fault path counter on encoded circuit blocks to determine the probability that two or more errors remain on the encoded qubits after each block is executed, and it combines errors from all the encoded blocks to estimate performance metrics such as the logical qubit failure probability, the overall circuit failure probability, the number of qubits used, and the time required to run the overall circuit. Our technique efficiently estimates the upper bound of the error probability and provides a useful measure of the error threshold at low error probabilities where conventional Monte Carlo methods are ineffective. We describe a way of simplifying the fault-tolerant measurement process in the Steane code to reduce the number of error correction steps necessary. We present simulation results comparing the execution of quantum adders, which constitute a major part of Shor’s algorithm.
- D. Aharonov and M. Ben-Or. 1997. Fault-tolerant quantum computation with constant error. In Proceedings of the 29th Annual ACM Symposium on Theory of Computing. Google ScholarDigital Library
- P. Aliferis, D. Gottesman, and J. Preskill. 2006. Quantum accuracy threshold for concatenated distance 3 quantum codes. J. Quant. Info. Comput. 6, 2 (2006), 97--165. Google ScholarDigital Library
- A. W. Cross, D. P. DiVincenzo, and B. M. Terhal. 2009. A comparative code study for quantum fault tolerance. J. Quant. Info. Comput. 9, 7 (2009), 541--572. Google ScholarDigital Library
- A. Cuccaro, T. G. Draper, S. A. Kutin, and D. P. Moulton. 2004. A new quantum ripple-carry addition circuit. Retrieved from http://arXiv.org/quant-ph/0410184.Google Scholar
- Eric Dennis, Alexei Kitaev, Andrew Landahl, and John Preskill. 2002. Topological quantum memory. J. Math. Phys. 43 (2002), 4452--4505.Google ScholarCross Ref
- David P. DiVincenzo and Panos Aliferis. 2007. Effective fault-tolerant quantum computation with slow measurements. Phys. Rev. Lett. 98, 2 (Jan 2007), 020501.Google ScholarCross Ref
- David P. DiVincenzo and Peter W. Shor. 1996. Fault-tolerant error correction with efficient quantum codes. Phys. Rev. Lett. 77, 15 (Oct 1996), 3260--3263.Google ScholarCross Ref
- Thomas G. Draper. 2000. Addition on a quantum computer. Retrieved from http://arXiv.org/quantph/0008033.Google Scholar
- Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, and Krysta M. Svore. 2006. A logarithmic-depth quantum carry-lookahead adder. Quantum Info. Comput. 6, 4 (July 2006), 351--369. Google ScholarDigital Library
- Phil Gossett. 1998. Quantum carry-save arithmetic. Retrieved from http://arXiv.org/quant-ph/9808061v2.Google Scholar
- Daniel Gottesman. 1998. Theory of fault-tolerant quantum computation. Phys. Rev. A 57, 1 (Jan 1998), 127--137.Google ScholarCross Ref
- Daniel Gottesman. 1999. The Heisenberg representation of quantum computers. In Proceedings of the 22nd International Colloquium on Group Theoretical Methods in Physics, R. Delbourgo, S. P. Corney, and P. D. Jarvis (Eds.). International Press, 32--43.Google Scholar
- Lov K. Grover. 1997. Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79, 2 (Jul 1997), 325--328.Google ScholarCross Ref
- A. Yu. Kitaev. 1997. Quantum computations: Algorithms and error correction. Russian Math. Surveys 52, 6 (1997), 1191--1249.Google ScholarCross Ref
- Tzvetan S. Metodi, Darshan D. Thaker, Andrew W. Cross, Frederic T. Chong, and Isaac L. Chuang. 2006. Scheduling physical operations in a quantum information processor. In Proceedings of the Society for Optics and Photonics (SPIE’06).Google Scholar
- C. Monroe and J. Kim. 2013. Scaling the ion trap quantum processor. Science 339, 6124 (2013), 1164--1169.Google Scholar
- T. Monz, K. Kim, W. Hänsel, M. Riebe, A. S. Villar, P. Schindler, M. Chwalla, M. Hennrich, and R. Blatt. 2009. Realization of the quantum toffoli gate with trapped ions. Phys. Rev. Lett. 102, 4 (Jan 2009), 040501.Google ScholarCross Ref
- Michael A. Nielsen and Isaac L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press. Google ScholarDigital Library
- P. Shor. 1994. Algorithms for quantum computation:Discrete logarithms and factoring. In Proceedings of the 35th Annual Symposium on Foundations of Computer Science, S. Goldwasser (ed.). 124--134. Google ScholarDigital Library
- Peter W. Shor. 1995. Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A 52, 4 (Oct 1995), R2493--R2496.Google ScholarCross Ref
- A. M. Steane. 1996. Error correcting codes in quantum theory. Phys. Rev. Lett. 77, 5 (Jul 1996), 793--797.Google ScholarCross Ref
- Andrew M. Steane. 2003. Overhead and noise threshold of fault-tolerant quantum error correction. Phys. Rev. A 68, 4 (Oct 2003), 042322.Google ScholarCross Ref
- Rodney Van Meter and Kohei M. Itoh. 2005. Fast quantum modular exponentiation. Phys. Rev. A 71, 5 (May 2005), 052320.Google Scholar
- Xinlan Zhou, Debbie W. Leung, and Isaac L. Chuang. 2000. Methodology for quantum logic gate construction. Phys. Rev. A 62, 5 (Oct 2000), 052316.Google ScholarCross Ref
Index Terms
- A Quantum Computing Performance Simulator Based on Circuit Failure Probability and Fault Path Counting
Recommendations
Quantum computing via the Bethe ansatz
We recognize quantum circuit model of computation as factorisable scattering model and propose that a quantum computer is associated with a quantum many-body system solved by the Bethe ansatz. As an typical example to support our perspectives on quantum ...
Visualization of the Quantum Fourier Transform Using a Quantum Computer Simulator
The quantum Fourier transform (QFT) is a key subroutine of quantum algorithms for factoring and simulation and is the heart of the hidden-subgroup problem, the solution of which is expected to lead to the development of new quantum algorithms. The QFT ...
Design of a Compact Ternary Parallel Adder/Subtractor Circuit in Quantum Computing
ISMVL '15: Proceedings of the 2015 IEEE 45th International Symposium on Multiple-Valued LogicIn this paper, we present an optimized design for the quantum ternary adder/subtract or circuit. We propose the design of quantum Ternary Peres Gate (TPG). The design of our proposed quantum ternary adder/subtract or circuit consists of two parts: a) ...
Comments