Qsyn: A Developer-Friendly Quantum Circuit Synthesis Framework for NISQ Era and Beyond
Authors:
Mu-Te Lau,
Chin-Yi Cheng,
Cheng-Hua Lu,
Chia-Hsu Chuang,
Yi-Hsiang Kuo,
Hsiang-Chun Yang,
Chien-Tung Kuo,
Hsin-Yu Chen,
Chen-Ying Tung,
Cheng-En Tsai,
Guan-Hao Chen,
Leng-Kai Lin,
Ching-Huan Wang,
Tzu-Hsu Wang,
Chung-Yang Ric Huang
Abstract:
In this paper, we introduce a new quantum circuit synthesis (QCS) framework, Qsyn, for developers to research, develop, test, experiment, and then contribute their QCS algorithms and tools to the framework. Our framework is more developer-friendly than other modern QCS frameworks in three aspects: (1) We design a rich command-line interface so that developers can easily design various testing scen…
▽ More
In this paper, we introduce a new quantum circuit synthesis (QCS) framework, Qsyn, for developers to research, develop, test, experiment, and then contribute their QCS algorithms and tools to the framework. Our framework is more developer-friendly than other modern QCS frameworks in three aspects: (1) We design a rich command-line interface so that developers can easily design various testing scenarios and flexibly conduct experiments on their algorithms. (2) We offer detailed access to many data representations on different abstract levels of quantum circuits so that developers can optimize their algorithms to the extreme. (3) We define a rigid develo** flow and environment so that developers can ensure their development qualities with the best modern software engineering practices. We illustrate the friendliness of our framework with a showcase of develo** a T-Count Optimization algorithm and demonstrate our performance superiority with fair comparisons to other modern QCS frameworks.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
Robust Qubit Map** Algorithm via Double-Source Optimal Routing on Large Quantum Circuits
Authors:
Chin-Yi Cheng,
Chien-Yi Yang,
Yi-Hsiang Kuo,
Ren-Chu Wang,
Hao-Chung Cheng,
Chung-Yang Ric Huang
Abstract:
Qubit Map** is a critical aspect of implementing quantum circuits on real hardware devices. Currently, the existing algorithms for qubit map** encounter difficulties when dealing with larger circuit sizes involving hundreds of qubits. In this paper, we introduce an innovative qubit map** algorithm, Duostra, tailored to address the challenge of implementing large-scale quantum circuits on rea…
▽ More
Qubit Map** is a critical aspect of implementing quantum circuits on real hardware devices. Currently, the existing algorithms for qubit map** encounter difficulties when dealing with larger circuit sizes involving hundreds of qubits. In this paper, we introduce an innovative qubit map** algorithm, Duostra, tailored to address the challenge of implementing large-scale quantum circuits on real hardware devices with limited connectivity. Duostra operates by efficiently determining optimal paths for double-qubit gates and inserting SWAP gates accordingly to implement the double-qubit operations on real devices. Together with two heuristic scheduling algorithms, the Limitedly-Exhausitive (LE) Search and the Shortest-Path (SP) Estimation, it yields results of good quality within a reasonable runtime, thereby striving toward achieving quantum advantage. Experimental results showcase our algorithm's superiority, especially for large circuits beyond the NISQ era. For example, on large circuits with more than 50 qubits, we can reduce the map** cost on an average 21.75% over the virtual best results among QMAP, t|ket>, Qiskit and SABRE. Besides, for mid-size circuits such as the SABRE-large benchmark, we improve the map** costs by 4.5%, 5.2%, 16.3%, 20.7%, and 25.7%, when compared to QMAP, TOQM, t|ket>, Qiskit, and SABRE, respectively.
△ Less
Submitted 8 April, 2024; v1 submitted 3 October, 2022;
originally announced October 2022.