On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization

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.

[1]  K. Mølmer,et al.  QUANTUM COMPUTATION WITH IONS IN THERMAL MOTION , 1998, quant-ph/9810039.

[2]  Peter Selinger,et al.  Quantum circuits of T-depth one , 2012, ArXiv.

[3]  A. Kitaev,et al.  Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages) , 2004, quant-ph/0403025.

[4]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[5]  R. Schoelkopf,et al.  Superconducting Circuits for Quantum Information: An Outlook , 2013, Science.

[6]  Andreas Klappenecker,et al.  The simplified Toffoli gate implementation by Margolus is optimal , 2003 .

[7]  Gerhard W. Dueck,et al.  Quantum Circuit Simplification and Level Compaction , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  C. Monroe,et al.  Scaling the Ion Trap Quantum Processor , 2013, Science.

[9]  David P. DiVincenzo,et al.  Quantum information and computation , 2000, Nature.

[10]  Igor L. Markov,et al.  On the CNOT-cost of TOFFOLI gates , 2008, Quantum Inf. Comput..

[11]  Dmitri Maslov,et al.  Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.