Lunch Talk: Compiling Quantum Circuits with Constraint Programming

The University of Toronto Operations Research Group (UTORG) is hosting a lunch talk by Kyle E. C. Booth. The talk is entitled “Compiling Quantum Circuits with Constraint Programming”.  Lunch and coffee will be provided.  Hope to see you there!

Who: Kyle E. C. Booth, Ph.D. candidate, University of Toronto


When: Thursday, October 25th @ 12:00pm – 1:00pm

Where: BA8256


Bio-sketch:  Kyle E. C. Booth is a Ph.D. candidate at the University of Toronto conducting research on constraint programming, focusing on its use in decomposition techniques and its application to various optimization problems, including multi-robot coordination and quantum computing. Kyle became interested in quantum computing during a research placement with the NASA Ames Research Center, and his work on constraint programming for quantum compilation was published at the International Conference on Automated Planning and Scheduling (ICAPS).

Abstract:  Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The research demonstrated that temporal planning is a strong approach for a class of quantum circuit compilation (QCC) problems. In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning. We extend previous work by introducing two new problem variations that incorporate important characteristics identified by the quantum computing community. We apply temporal planning and CP to the baseline and extended QCC problems as both stand-alone and hybrid approaches. Our hybrid methods use solutions found by temporal planning to warm start CP, leveraging the ability of the former to find satisfying solutions to problems with a high degree of task optionality, an area that CP typically struggles with. The CP model, benefiting from inferred bounds on planning horizon length and task counts provided by the warm start, is then used to find higher quality solutions. Our empirical evaluation indicates that while stand-alone CP is only competitive for the smallest problems, CP in our hybridization with temporal planning out-performs stand-alone temporal planning in the majority of problem classes.