https://scholars.lib.ntu.edu.tw/handle/123456789/641944
Title: | Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems | Authors: | Tseng, Wei Hsiang YAO-WEN CHANG Jiang, Jie Hong Roland |
Keywords: | coupling constraint graph | divide-and-conquer | quantum computing | qubit mapping | satisfiability modulo theories | trapped-ion system | Issue Date: | 12-Mar-2024 | Source: | Proceedings of the International Symposium on Physical Design | Abstract: | Qubit mapping is crucial in optimizing the performance of quantum algorithms for physical executions on quantum computing architectures. Many qubit mapping algorithms have been proposed for superconducting systems recently. However, due to their limitations on the physical qubit connectivity, costly SWAP gates are often required to swap logical qubits for proper quantum operations. Trapped-ion systems have emerged as an alternative quantum computing architecture and have gained much recent attention due to their relatively long coherence time, high-fidelity gates, and good scalability for multi-qubit coupling. However, the qubit mapping of the new trapped-ion systems remains a relatively untouched research problem. This paper proposes a new coupling constraint graph with multi-pin nets to model the unique constraints and connectivity patterns in one-dimensional trapped-ion systems. To minimize the time steps for quantum circuit execution satisfying the coupling constraints for trapped-ion systems, we devise a divide-and-conquer solution using Satisfiability Modulo Theories for efficient qubit mapping on trapped-ion quantum computing architectures. Experimental results demonstrate the superiority of our approach in scalability and effectiveness compared to the previous work. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/641944 | ISBN: | 9798400704178 | DOI: | 10.1145/3626184.3633329 |
Appears in Collections: | 電信工程學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.