Basic circuit compilation techniques for an ion-trap quantum machine
Open Access
- 1 February 2017
- journal article
- research article
- Published by IOP Publishing in New Journal of Physics
- Vol. 19 (2), 023035
- https://doi.org/10.1088/1367-2630/aa5e47
Abstract
We study the problem of compilation of quantum algorithms into optimized physical-level circuits executable in a quantum information processing (QIP) experiment based on trapped atomic ions. We report a complete strategy: starting with an algorithm in the form of a quantum computer program, we compile it into a high-level logical circuit that goes through multiple stages of decomposition into progressively lower-level circuits until we reach the physical execution-level specification. We skip the fault-tolerance layer, as it is not within the scope of this work. The different stages are structured so as to best assist with the overall optimization while taking into account numerous optimization criteria, including minimizing the number of expensive two-qubit gates, minimizing the number of less expensive single-qubit gates, optimizing the runtime, minimizing the overall circuit error, and optimizing classical control sequences. Our approach allows a trade-off between circuit runtime and quantum error, as well as to accommodate future changes in the optimization criteria that may likely arise as a result of the anticipated improvements in the physical-level control of the experiment.Keywords
Other Versions
Funding Information
- Division of Computing and Communication Foundations (employer)
This publication has 20 references indexed in Scilit:
- Synthesis and optimization of reversible circuits—a surveyACM Computing Surveys, 2013
- Engineered two-dimensional Ising interactions in a trapped-ion quantum simulator with hundreds of spinsNature, 2012
- Quantum computersNature, 2010
- Optimal control of entangling operations for trapped-ion quantum computingPhysical Review A, 2009
- Entangled states of trapped atomic ionsNature, 2008
- Techniques for the synthesis of reversible Toffoli networksACM Transactions on Design Automation of Electronic Systems, 2007
- Data structures and algorithms for simplifying reversible circuitsACM Journal on Emerging Technologies in Computing Systems, 2006
- Quantum Computation with Ions in Thermal MotionPhysical Review Letters, 1999
- Semiclassical Fourier Transform for Quantum ComputationPhysical Review Letters, 1996
- Elementary gates for quantum computationPhysical Review A, 1995