Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal NCT three-qubit reversible circuits

A breadth-first search method for determining optimal three-qubit circuits composed of quantum NOT, CNOT, controlled-V and controlled-V + (NCV) gates is introduced. Results are presented for simple gate count and for technology-motivated cost metrics. The optimal NCV circuits are also compared with NCV circuits derived from optimal NOT, CNOT and Toffoli (NCT) gate circuits. This work provides basic results and motivation for continued study of the direct synthesis of NCV circuits, and establishes relations between function realizations in different circuit cost metrics

[1]  Timothy F. Havel,et al.  Benchmarking quantum control methods on a 12-qubit system. , 2006, Physical review letters.

[2]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[3]  Gerhard W. Dueck,et al.  Reversible cascades with minimal garbage , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  Niraj K. Jha,et al.  Synthesis of reversible logic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[6]  John P. Hayes,et al.  Data structures and algorithms for simplifying reversible circuits , 2006, JETC.

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

[8]  Sy-Yen Kuo,et al.  Quantum Boolean circuit construction and layout under locality constraint , 2001, Proceedings of the 2001 1st IEEE Conference on Nanotechnology. IEEE-NANO 2001 (Cat. No.01EX516).

[9]  Guowu Yang,et al.  Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group theory , 2005, Design, Automation and Test in Europe.

[10]  E. Knill,et al.  Implementation of the Five Qubit Error Correction Benchmark , 2001, quant-ph/0101034.

[11]  V.V. Shende,et al.  Synthesis of quantum-logic circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Alan Mishchenko,et al.  Logic Synthesis of Reversible Wave Cascades , 2002, IWLS.

[13]  Timothy F. Havel,et al.  NMR Based Quantum Information Processing: Achievements and Prospects , 2000, quant-ph/0004104.

[14]  Marek A. Perkowski,et al.  The Cost of Quantum Gate Primitives , 2006, J. Multiple Valued Log. Soft Comput..

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

[16]  R Laflamme,et al.  Benchmarking quantum computers: the five-qubit error correcting code. , 2001, Physical review letters.

[17]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[18]  Guowu Yang,et al.  Quantum logic synthesis by symbolic reachability analysis , 2004, Proceedings. 41st Design Automation Conference, 2004..

[19]  Pawel Kerntopf,et al.  A new heuristic algorithm for reversible logic synthesis , 2004, Proceedings. 41st Design Automation Conference, 2004..

[20]  Mikko Möttönen,et al.  Quantum circuits for general multiqubit gates. , 2004, Physical review letters.

[21]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

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