https://scholars.lib.ntu.edu.tw/handle/123456789/641944
標題: | Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems | 作者: | Tseng, Wei Hsiang YAO-WEN CHANG Jiang, Jie Hong Roland |
關鍵字: | coupling constraint graph | divide-and-conquer | quantum computing | qubit mapping | satisfiability modulo theories | trapped-ion system | 公開日期: | 12-三月-2024 | 來源出版物: | Proceedings of the International Symposium on Physical Design | 摘要: | 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 |
顯示於: | 電信工程學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。