COPLAS talk: Jaco van de Pol: Optimal Quantum Circuits
Speaker
Jaco van de Pol studied Computer Science in Utrecht, and received his PhD from the Philosophy Department in Utrecht. He moved to the CWI in Amsterdam, and then became full professor “Formal Methods and Tools” at the University of Twente. In 2018 he became full professor in Computer Science at Aarhus University. His initial research fields are term rewriting and process algebra. Since 2010, he has developed several parallel, high-performance graph algorithms for scalable model checking, leading to the award-winning tool LTSmin. Since 2022, he works on the use of classical solvers for quantum circuit minimization, with publications in ICCAD, SAT, ECAI. He is currently co-leader of the Quantum Campus Aarhus, and member of the Danish Quantum Algorithm Academy’s working group.
Title
Optimal Quantum Circuits
Abstract
Quantum-circuit minimization plays a crucial role in reducing noise, and hence in increasing performance of quantum computations in the NISQ area. At the same time, it is expected that circuit minimization will play an equally important role in fault-tolerant quantum computing. We will address a number of quantum-circuit optimization problems, in particular circuit mapping and CNOT minimization. Several variations of these problems can be considered, both in the admitted solutions and in the optimization criteria. Subsequently, we will show how classical planning tools and SAT solvers can be used to find optimal quantum circuits. Finally, we will explore what is the maximum number of CNOT gates required for ANY CNOT circuit on a given number of qubits.
Host
Fritz Henglein (DIKU)
All are welcome. No registration required. Feel free to forward this invitation.
The Copenhagen Programming Languages Seminar (COPLAS) is a collaboration between DTU, ITU, Roskilde University and UCPH. To be informed about COPLAS activities and related talks, join this mailing list.