%0 Journal Article %J npj Quantum Information %D 2020 %T Approximate Quantum Fourier Transform with O(nlog(n)) T gates %A Yunseong Nam %A Yuan Su %A Dmitri Maslov %X

The ability to implement the Quantum Fourier Transform (QFT) efficiently on a quantum computer enables the advantages offered by a variety of fundamental quantum algorithms, such as those for integer factoring, computing discrete logarithm over Abelian groups, and phase estimation. The standard fault-tolerant implementation of an n-qubit QFT approximates the desired transformation by removing small-angle controlled rotations and synthesizing the remaining ones into Clifford+t gates, incurring the t-count complexity of O(n log2 (n)). In this paper we show how to obtain approximate QFT with the t-count of O(n log(n)). Our approach relies on quantum circuits with measurements and feedforward, and on reusing a special quantum state that induces the phase gradient transformation. We report asymptotic analysis as well as concrete circuits, demonstrating significant advantages in both theory and practice.

%B npj Quantum Information %V 6 %8 3/13/2020 %G eng %U https://arxiv.org/abs/1803.04933 %N 26 %R https://doi.org/10.1038/s41534-020-0257-5 %0 Journal Article %D 2019 %T Ground-state energy estimation of the water molecule on a trapped ion quantum computer %A Yunseong Nam %A Jwo-Sy Chen %A Neal C. Pisenti %A Kenneth Wright %A Conor Delaney %A Dmitri Maslov %A Kenneth R. Brown %A Stewart Allen %A Jason M. Amini %A Joel Apisdorf %A Kristin M. Beck %A Aleksey Blinov %A Vandiver Chaplin %A Mika Chmielewski %A Coleman Collins %A Shantanu Debnath %A Andrew M. Ducore %A Kai M. Hudek %A Matthew Keesan %A Sarah M. Kreikemeier %A Jonathan Mizrahi %A Phil Solomon %A Mike Williams %A Jaime David Wong-Campos %A Christopher Monroe %A Jungsang Kim %X

Quantum computing leverages the quantum resources of superposition and entanglement to efficiently solve computational problems considered intractable for classical computers. Examples include calculating molecular and nuclear structure, simulating strongly-interacting electron systems, and modeling aspects of material function. While substantial theoretical advances have been made in mapping these problems to quantum algorithms, there remains a large gap between the resource requirements for solving such problems and the capabilities of currently available quantum hardware. Bridging this gap will require a co-design approach, where the expression of algorithms is developed in conjunction with the hardware itself to optimize execution. Here, we describe a scalable co-design framework for solving chemistry problems on a trapped ion quantum computer, and apply it to compute the ground-state energy of the water molecule. The robust operation of the trapped ion quantum computer yields energy estimates with errors approaching the chemical accuracy, which is the target threshold necessary for predicting the rates of chemical reaction dynamics.

%8 03/07/2019 %G eng %U https://arxiv.org/abs/1902.10171 %0 Journal Article %D 2019 %T Quantum Computer Systems for Scientific Discovery %A Yuri Alexeev %A Dave Bacon %A Kenneth R. Brown %A Robert Calderbank %A Lincoln D. Carr %A Frederic T. Chong %A Brian DeMarco %A Dirk Englund %A Edward Farhi %A Bill Fefferman %A Alexey V. Gorshkov %A Andrew Houck %A Jungsang Kim %A Shelby Kimmel %A Michael Lange %A Seth Lloyd %A Mikhail D. Lukin %A Dmitri Maslov %A Peter Maunz %A Christopher Monroe %A John Preskill %A Martin Roetteler %A Martin Savage %A Jeff Thompson %A Umesh Vazirani %X

The great promise of quantum computers comes with the dual challenges of building them and finding their useful applications. We argue that these two challenges should be considered together, by co-designing full stack quantum computer systems along with their applications in order to hasten their development and potential for scientific discovery. In this context, we identify scientific and community needs, opportunities, and significant challenges for the development of quantum computers for science over the next 2-10 years. This document is written by a community of university, national laboratory, and industrial researchers in the field of Quantum Information Science and Technology, and is based on a summary from a U.S. National Science Foundation workshop on Quantum Computing held on October 21-22, 2019 in Alexandria, VA.

%8 12/16/2019 %G eng %U https://arxiv.org/abs/1912.07577 %0 Journal Article %J npj:Quantum Information %D 2018 %T Automated optimization of large quantum circuits with continuous parameters %A Yunseong Nam %A Neil J. Ross %A Yuan Su %A Andrew M. Childs %A Dmitri Maslov %X

We develop and implement automated methods for optimizing quantum circuits of the size and type expected in quantum computations that outperform classical computers. We show how to handle continuous gate parameters and report a collection of fast algorithms capable of optimizing large-scale quantum circuits. For the suite of benchmarks considered, we obtain substantial reductions in gate counts. In particular, we provide better optimization in significantly less time than previous approaches, while making minimal structural changes so as to preserve the basic layout of the underlying quantum algorithms. Our results help bridge the gap between the computations that can be run on existing hardware and those that are expected to outperform classical computers. 

%B npj:Quantum Information %V 4 %8 2017/10/19 %G eng %U https://arxiv.org/abs/1710.07345 %N 23 %R https://doi.org/10.1038/s41534-018-0072-4 %0 Journal Article %J Proceedings of the National Academy of Sciences %D 2018 %T Toward the first quantum simulation with quantum speedup %A Andrew M. Childs %A Dmitri Maslov %A Yunseong Nam %A Neil J. Ross %A Yuan Su %X

With quantum computers of significant size now on the horizon, we should understand how to best exploit their initially limited abilities. To this end, we aim to identify a practical problem that is beyond the reach of current classical computers, but that requires the fewest resources for a quantum computer. We consider quantum simulation of spin systems, which could be applied to understand condensed matter phenomena. We synthesize explicit circuits for three leading quantum simulation algorithms, using diverse techniques to tighten error bounds and optimize circuit implementations. Quantum signal processing appears to be preferred among algorithms with rigorous performance guarantees, whereas higher-order product formulas prevail if empirical error estimates suffice. Our circuits are orders of magnitude smaller than those for the simplest classically infeasible instances of factoring and quantum chemistry, bringing practical quantum computation closer to reality.

%B Proceedings of the National Academy of Sciences %V 115 %P 9456-9461 %G eng %U https://arxiv.org/abs/1711.10980 %R https://doi.org/10.1073/pnas.1801723115 %0 Journal Article %J New Journal of Physics %D 2017 %T Basic circuit compilation techniques for an ion-trap quantum machine %A Dmitri Maslov %X

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 necessary in 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.

%B New Journal of Physics %V 19 %P 023035 %8 2016/02/20 %G eng %U http://iopscience.iop.org/article/10.1088/1367-2630/aa5e47/meta;jsessionid=55CC235A0B106081E825099310586F07.c3.iopscience.cld.iop.org %N 2 %R 10.1088/1367-2630/aa5e47 %0 Journal Article %J Nature Communications, accepted %D 2017 %T Complete 3-Qubit Grover Search on a Programmable Quantum Computer %A C. Figgatt %A Dmitri Maslov %A K. A. Landsman %A N. M. Linke %A S. Debnath %A Christopher Monroe %X

Searching large databases is an important problem with broad applications. The Grover search algorithm provides a powerful method for quantum computers to perform searches with a quadratic speedup in the number of required database queries over classical computers. It is an optimal search algorithm for a quantum computer, and has further applications as a subroutine for other quantum algorithms. Searches with two qubits have been demonstrated on a variety of platforms and proposed for others, but larger search spaces have only been demonstrated on a non-scalable NMR system. Here, we report results for a complete three-qubit Grover search algorithm using the scalable quantum computing technology of trapped atomic ions, with better-than-classical performance. The algorithm is performed for all 8 possible single-result oracles and all 28 possible two-result oracles. Two methods of state marking are used for the oracles: a phase-flip method employed by other experimental demonstrations, and a Boolean method requiring an ancilla qubit that is directly equivalent to the state-marking scheme required to perform a classical search. All quantum solutions are shown to outperform their classical counterparts. We also report the first implementation of a Toffoli-4 gate, which is used along with Toffoli-3 gates to construct the algorithms; these gates have process fidelities of 70.5% and 89.6%, respectively.

%B Nature Communications, accepted %8 2017/03/30 %G eng %U https://arxiv.org/abs/1703.10535 %0 Conference Proceedings %B Proceedings of the National Academy of Sciences %D 2017 %T Experimental Comparison of Two Quantum Computing Architectures %A N.M. Linke %A Dmitri Maslov %A Martin Roetteler %A S. Debnath %A C. Figgatt %A K. A. Landsman %A K. Wright %A Christopher Monroe %X

We run a selection of algorithms on two state-of-the-art 5-qubit quantum computers that are based on different technology platforms. One is a publicly accessible superconducting transmon device [1] with limited connectivity, and the other is a fully connected trapped-ion system [2]. Even though the two systems have different native quantum interactions, both can be programmed in a way that is blind to the underlying hardware, thus allowing the first comparison of identical quantum algorithms between different physical systems. We show that quantum algorithms and circuits that employ more connectivity clearly benefit from a better connected system of qubits. While the quantum systems here are not yet large enough to eclipse classical computers, this experiment exposes critical factors of scaling quantum computers, such as qubit connectivity and gate expressivity. In addition, the results suggest that co-designing particular quantum applications with the hardware itself will be paramount in successfully using quantum computers in the future.

%B Proceedings of the National Academy of Sciences %7 13 %V 114 %P 3305-3310 %8 2017/03/21 %G eng %U http://www.pnas.org/content/114/13/3305 %R 10.1073/pnas.1618020114 %0 Journal Article %D 2017 %T Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations %A Dmitri Maslov %A Martin Roetteler %X

In this paper we improve the layered implementation of arbitrary stabilizer circuits introduced by Aaronson and Gottesman in Phys. Rev. A 70(052328), 2004: to implement a general stabilizer circuit, we reduce their 11-stage computation -HC-P-C-P-C-H-P-C-P-C- over the gate set consisting of Hadamard, Controlled-NOT, and Phase gates, into a 7-stage computation of the form -C-CZ-P-H-P-CZ-C-. We show arguments in support of using -CZ- stages over the -C- stages: not only the use of -CZ- stages allows a shorter layered expression, but -CZ- stages are simpler and appear to be easier to implement compared to the -C- stages. Based on this decomposition, we develop a twoqubit gate depth-(14n−4) implementation of stabilizer circuits over the gate library {H, P, CNOT}, executable in the LNN architecture, improving best previously known depth-25n circuit, also executable in the LNN architecture. Our constructions rely on Bruhat decomposition of the symplectic group and on folding arbitrarily long sequences of the form (-P-C-) m into a 3-stage computation -P-CZ-C-. Our results include the reduction of the 11-stage decomposition -H-C-P-C-P-C-H-P-C-P-C- into a 9-stage decomposition of the form -C-P-C-P-H-C-P-C-P-. This reduction is based on the Bruhat decomposition of the symplectic group. This result also implies a new normal form for stabilizer circuits. We show that a circuit in this normal form is optimal in the number of Hadamard gates used. We also show that the normal form has an asymptotically optimal number of parameters.

%8 2017/05/25 %G eng %U https://arxiv.org/abs/1705.09176 %0 Journal Article %J New Journal of Physics %D 2017 %T Use of global interactions in efficient quantum circuit constructions %A Dmitri Maslov %A Yunseong Nam %X

In this paper we study the ways to use a global entangling operator to efficiently implement circuitry common to a selection of important quantum algorithms. In particular, we focus on the circuits composed with global Ising entangling gates and arbitrary addressable single-qubit gates. We show that under certain circumstances the use of global operations can substantially improve the entangling gate count.

%B New Journal of Physics %8 2017/12/21 %G eng %U http://iopscience.iop.org/article/10.1088/1367-2630/aaa398 %R 10.1088/1367-2630/aaa398 %0 Journal Article %J Physical Review A %D 2016 %T On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization %A Dmitri Maslov %X Various implementations of the Toffoli gate up to a relative phase have been known for years. The advantage over regular Toffoli gate is their smaller circuit size. However, their use has been often limited to a demonstration of quantum control in designs such as those where the Toffoli gate is being applied last or otherwise for some specific reasons the relative phase does not matter. It was commonly believed that the relative phase deviations would prevent the relative phase Toffolis from being very helpful in practical large-scale designs. In this paper, we report three circuit identities that provide the means for replacing certain configurations of the multiple control Toffoli gates with their simpler relative phase implementations, up to a selectable unitary on certain qubits, and without changing the overall functionality. We illustrate the advantage via applying those identities to the optimization of the known circuits implementing multiple control Toffoli gates, and report the reductions in the CNOT-count, T-count, as well as the number of ancillae used. We suggest that a further study of the relative phase Toffoli implementations and their use may yield other optimizations. %B Physical Review A %V 93 %P 022311 %8 2016/02/10 %G eng %U http://arxiv.org/abs/1508.03273 %N 2 %R 10.1103/PhysRevA.93.022311 %0 Journal Article %J Quantum Information & Computation %D 2016 %T Optimal and asymptotically optimal NCT reversible circuits by the gate types %A Dmitri Maslov %X

We report optimal and asymptotically optimal reversible circuits composed of NOT, CNOT, and Toffoli (NCT) gates, keeping the count by the subsets of the gate types used. This study fine tunes the circuit complexity figures for the realization of reversible functions via reversible NCT circuits. An important consequence is a result on the limitation of the use of the T-count quantum circuit metric popular in applications.

%B Quantum Information & Computation %V 16 %P 1096-1112 %8 2016/08/23 %G eng %U http://arxiv.org/abs/1602.02627 %N 13 & 14 %0 Journal Article %J IEEE Transactions on Computers %D 2016 %T Practical Approximation of Single-Qubit Unitaries by Single-Qubit Quantum Clifford and T Circuits %A Vadym Kliuchnikov %A Dmitri Maslov %A Michele Mosca %X

We present an algorithm, along with its implementation that finds T-optimal approximations of single-qubit Z-rotations using quantum circuits consisting of Clifford and T gates. Our algorithm is capable of handling errors in approximation down to size 10-15, resulting in the optimal single-qubit circuit designs required for implementation of scalable quantum algorithms. Our implementation along with the experimental results are available in the public domain.

%B IEEE Transactions on Computers %V 65 %P 161 - 172 %8 2016/01/01 %G eng %U http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7056491http://xplorestaging.ieee.org/ielx7/12/7350319/7056491.pdf?arnumber=7056491 %N 1 %! IEEE Trans. Comput. %R 10.1109/TC.2015.2409842