Quantum computers need quantum software to carry out interesting tasks, and quantum programmers need design tools to construct correct and efficient quantum software. One such tools is an optimizing compiler.In this talk, we focus on the optimization of quantum circuits. We will discuss the task to resynthesize quantum circuits built from certain gate sets and the layout synthesis needed to map quantum circuits to specific quantum hardware platforms. We will discuss various optimization criteria (e.g. size and depth, in order to reduce noise and required quantum resources) and various correctness requirements, like equivalence up-to a permutation of the output qubits. We will demonstrate how “classical design tools” like SAT solvers and automated planning can help optimizing quantum circuits.
- Organizer: Center for Kvantematematik
- Address: Campusvej 55, 5230 Odense M
- Contact Email: birch@imada.sdu.dk
- Add to your calendar: https://eom.sdu.dk:443/events/ical/0826ca50-93b6-4b07-b843-c744434aa508