Abstract

The physical realizability of a quantum computation depends upon being able to decompose an arbitrary unitary transformation into an equivalent quantum circuit. Such circuits should be constrained to use the kinds of quantum gates that are easiest to implement in a particular physical context. We demonstrate a software tool that employs several techniques for creating such quantum circuits, tailored to different physical contexts, prove its correctness, and give examples of its use.

© 2001 Optical Society of America