Backend compiler phases for trapped-ion quantum computers
Tobias Schmale, Bence Temesi, Alakesh Baishya, Nicolas Pulido-Mateo, Ludwig Krinner, Timko Dubielzig, Christian Ospelkaus, Hendrik Weimer, Daniel Borcherding
A promising architecture for scaling up quantum computers based on trapped ions are so called Quantum Charged-Coupled Devices (QCCD). These consist of multiple ion traps, each designed for solving specific tasks, that are connected by transport links. In this paper we present the backend compiler phases needed for running quantum circuits on a QCCD architecture, while providing strategies to solve the optimization problems that occur when generating assembly instructions. We implement and test these strategies for the QVLS-Q1 chip architecture.
Ion trap quantum hardware promises to provide a computational advantage over classical computing for specific problem spaces while also providing an alternative hardware implementation path to cryogenic quantum systems as typified by IBM's quantum hardware. However, programming ion trap systems currently requires both strategies to mitigate high levels of noise and also tools to ease the challenge of programming these systems with pulse- or gate-level operations. This work focuses on improving the state-of-the-art for quantum programming of ion trap testbeds through the use of a quantum langua…
Shuttling Compiler for Trapped-Ion Quantum Computers Based on Fine-Tuned Large Language Models
Institute of Computer Science, Johannes Gutenberg University（计算机科学研究所，约翰内斯·古特堡大学）；Institute of Physics, Johannes Gutenberg University（物理研究所，约翰内斯·古特堡大学）；Department of Computer Science, Saarland University（计算机科学系，萨尔兰大学）
Trapped-ion systems can have a limited number of ions (qubits) in a single trap. Increasing the qubit count to run meaningful quantum algorithms would require multiple traps where ions need to shuttle between traps to communicate. The existing compiler has several limitations which result in a high number of shuttle operations and degraded fidelity. In this paper, we target this gap and propose compiler optimizations to reduce the number of shuttles. Our technique achieves a maximum reduction of $51.17\%$ in shuttles (average $\approx 33\%$) tested over $125$ circuits. Furthermore, the improve…
We present qcor - a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source context. Our work provides a first-of-its-kind C++ compiler enabling high-level quantum kernel (function) expression in a quantum-language agnostic manner, as well as a hardware-agnostic, retargetable compiler workflow targeting a number of physical and virtual quantum computing backends. qcor leverages novel Clang plugin interfaces and builds upon the XACC system-level quantum programming framework to provide a state-…
This document is the specification of the CC-Light instantiation of executable QASM (eQASM), a quantum instruction set architecture (QISA) developed in QuTech targeting to control a seven-qubit superconducting quantum processor. This document can serve as a reference manual for low-level programmers, compiler backend developers, and microarchitecture implementers of eQASM. The design of CC-Light eQASM is under the Apache 2.0 License.
A massive gap exists between current quantum computing (QC) prototypes, and the size and scale required for many proposed QC algorithms. Current QC implementations are prone to noise and variability which affect their reliability, and yet with less than 80 quantum bits (qubits) total, they are too resource-constrained to implement error correction. The term Noisy Intermediate-Scale Quantum (NISQ) refers to these current and near-term systems of 1000 qubits or less. Given NISQ's severe resource constraints, low reliability, and high variability in physical characteristics such as coherence time…
GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation
The University of Edinburgh（爱丁堡大学）；The University of Chicago（芝加哥大学）；The Hong Kong University of Science and Technology（香港科技大学）；Northwestern University（西北大学）；University of Wisconsin–Madison（威斯康星大学麦迪逊分校）；The Chinese University of Hong Kong（香港中文大学）；Open Quantum Intelligence Co., Ltd.（量子智能有限公司）
Quantum Compiler Design for Fault-Tolerant Quantum Computing
QudeLeap Research；The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；The Hong Kong University of Science and Technology（香港科技大学）；Shanghai Jiao Tong University（上海交通大学）；Hangzhou MatriQ Computing Co., Ltd（杭州矩阵量子计算有限公司）；Atomqubic Quantum Technology Co., Ltd（上海原子立方量子科技有限公司）；State Key Laboratory of Quantum Optics Technologies and Devices, and Institute of Opto-Electronics, Shanxi University（山西大学光电研究所及量子光学技术与器件国家重点实验室）；CAS Cold Atom Technology (Wuhan) Co., Ltd.（中科院冷原子技术（武汉）有限公司）；Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area（粤港澳大湾区量子科学中心）
Max-Planck-Institut für Quantenoptik（马克斯·普朗克量子光学研究所）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）；TUM School of Natural Sciences, Technical University of Munich（慕尼黑工业大学自然科学学院）；IQM Quantum Computers（IQM量子计算机公司）
iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures
University of California, San Diego（加州大学圣地亚哥分校）；Quantinuum；Cisco Quantum Lab（思科量子实验室）；University of California, Berkeley（加州大学伯克利分校）；University of California, Los Angeles（加州大学洛杉矶分校）；Oak Ridge National Laboratory（橡树岭国家实验室）
A framework for the benchmarking of transport-induced excitations in shuttling-based ion-trap quantum processors
Leibniz University Hannover（汉诺威莱布尼茨大学）；Institute for Quantum Optics, Leibniz University Hannover（汉诺威莱布尼茨大学量子光学研究所）；Physikalisch-Technische Bundesanstalt（德国联邦物理技术研究院）
Maximum-Likelihood Amplitude Estimation for Quantum Monte Carlo Integration on Trapped-Ion Hardware: Convergence, Noise-Floor Saturation, Depth-Dependent Bias
BosonQ Psi Corp（BosonQ Psi 公司）；National Quantum Laboratory (QLab), University of Maryland, College Park（马里兰大学国家量子实验室（QLab））
In recent years, Quantum Computing (QC) has progressed to the point where small working prototypes are available for use. Termed Noisy Intermediate-Scale Quantum (NISQ) computers, these prototypes are too small for large benchmarks or even for Quantum Error Correction, but they do have sufficient resources to run small benchmarks, particularly if compiled with optimizations to make use of scarce qubits and limited operation counts and coherence times. QC has not yet, however, settled on a particular preferred device implementation technology, and indeed different NISQ prototypes implement qubi…
