Title: Using ZDDs in the mapping of quantum circuits

Abstract: In quantum compilation, one step translates a technology-independent quantum circuit into a technology-dependent quantum circuit for a targeted device. Besides mapping quantum gates into the supported gate set, it is necessary to map pseudo qubits in the technology-independent circuit into physical qubits of the technology-dependent circuit such that coupling constraints among qubits acting in multiple-qubit gates are satisfied. It is usually not possible to find such a mapping without adding SWAP gates into the circuit. To cope with the technical limitations of NISQ-era quantum devices, it is crucial to find a mapping that requires as few additional gates as possible. The large search space of possible mappings makes this task a difficult combinatorial optimization problem.
By means of two examples, we demonstrate how zero-suppressed decision diagrams (ZDDs) can be used for typical implementation tasks in mapping algorithms. First, we show how to maximally partition a quantum circuit into blocks of adjacent gates, such that each block can be mapped into a target device without additional SWAP gates. For each block we use ZDDs to represent all possible mappings of pseudo qubits to physical qubits. Second, we show how to use ZDDs to enumerate SWAP circuits, which can be used to enumerate candidate circuits in an A* search to merge two blocks.