Automated Design of Quantum Networks

In order to design a circuit that performs a desired quantum computation, it is necessary to find a decomposition of the desired unitary matrix that represents the computation in terms of a sequence of quantum gate operations. To date, such designs haveeither been found by hand or by exhaustive enumeration of all possible circuit topologies. We propose an automated approach to quantum circuit design using search heuristics based on physical principled of the technology of implementation. Morespecifically, in Phase I we propose to explore the viability of various automated design methods by applying then to the task of discovering quantum circuit designs for quantum teleportation -