Exploring ab initio machine synthesis of quantum circuits

Understand

Gate-level quantum circuits are often derived manually from higher level algorithms.

• While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity.
• Here we explore methods for the ab initio creation of circuits within a machine, either a classical computer or a hybrid quantum-classical device.
• We consider a range of techniques including: methods for introducing new gate structures, optimisation of parameterised circuits and choices of cost functions, and efficient removal of low-value gates exploiting the quantum geometric tensor and other heuristics.