Ang Li

TrapSIMD: SIMD-Aware Compiler Optimization for 2D Trapped-Ion Quantum Machines

Jixuan Ruan [1], Hezi Zhang [1], Xiang Fang [1], Ang Li [2], Wesley C. Campbell [2], Eric Hudson [2], David Hayes [3], Hartmut Haeffner [3], Travis Humble [3], Jens Palsberg [4], Yufei Ding [4]

Abstract

Modular trapped-ion (TI) architectures offer a scalable quantum computing (QC) platform, with native transport behaviors that closely resemble the Single Instruction Multiple Data (SIMD) paradigm. We present FluxTrap, a SIMD-aware compiler framework that establishes a hardware-software co-design interface for TI systems. FluxTrap introduces a novel abstraction that unifies SIMD-style instructions -- including segmented intra-trap shift SIMD (S3) and global junction transfer SIMD (JT-SIMD) operations -- with a SIMD-enriched architectural graph, capturing key features such as transport synchronization, gate-zone locality, and topological constraints. It applies two passes -- SIMD aggregation and scheduling -- to coordinate grouped ion transport and gate execution within architectural constraints. On NISQ benchmarks, FluxTrap reduces execution time by up to $3.82 \times$ and improves fidelity by several orders of magnitude. It also scales to fault-tolerant workloads under diverse hardware configurations, providing feedback for future TI hardware design.

Flexion: Adaptive In-Situ Encoding for On-Demand QEC in Ion Trap Systems

Keyi Yin, Xiang Fang, Zhuo Chen, Ang Li, David Hayes, Eneet Kaur, Reza Nejabati, Hartmut Haeffner, Wes Campbell [1], Eric Hudson [1], Jens Palsberg [1], Travis Humble [2], Yufei Ding [2]

Abstract

Recent advances in quantum hardware and quantum error correction (QEC) have set the stage for early demonstrations of fault-tolerant quantum computing (FTQC). A key near-term goal is to build a system capable of executing millions of logical operations reliably -- referred to as a megaquop quantum computer (MQC). In this work, we propose a novel system architecture targeting MQC on trapped-ion quantum computers (TIQC), leveraging their ultra-high-fidelity single-qubit gates (1Q) and efficient two-qubit (2Q) logical CNOT gates enabled by the quantum charge-coupled device (QCCD) architecture with the ion shuttling feature. We propose Flexion, a hybrid encoding scheme that uses bare qubits for 1Q gates and QEC-encoded logical qubits for 2Q gates. This approach avoids fully encoding all qubits, eliminating the overhead of gate synthesis, teleportation, and magic state distillation for non-Clifford gates. To support this, we design (1) a low-noise conversion protocol between bare and logical qubits, (2) a bare-logical hybrid instruction set architecture tailored for 2D grid-based TIQC, and (3) a compiler that minimizes conversion cost and optimizes the scheduling efficiency. We evaluate our approach on VQA and small-scale FTQC benchmarks, showing that it achieves superior performance improvements with significantly reduced resource overhead, offering a practical path toward early FTQC on TIQC.

Scalable Circuit Cutting and Scheduling in a Resource-constrained and Distributed Quantum System

Shuwen Kan [1], Zefan Du [1], Miguel Palma [1], Samuel A Stein [2], Chenxu Liu [2], Wenqi Wei [1], Juntao Chen [1], Ang Li [2], Ying Mao [1]

Abstract

Despite quantum computing's rapid development, current systems remain limited in practical applications due to their limited qubit count and quality. Various technologies, such as superconducting, trapped ions, and neutral atom quantum computing technologies are progressing towards a fault tolerant era, however they all face a diverse set of challenges in scalability and control. Recent efforts have focused on multi-node quantum systems that connect multiple smaller quantum devices to execute larger circuits. Future demonstrations hope to use quantum channels to couple systems, however current demonstrations can leverage classical communication with circuit cutting techniques. This involves cutting large circuits into smaller subcircuits and reconstructing them post-execution. However, existing cutting methods are hindered by lengthy search times as the number of qubits and gates increases. Additionally, they often fail to effectively utilize the resources of various worker configurations in a multi-node system. To address these challenges, we introduce FitCut, a novel approach that transforms quantum circuits into weighted graphs and utilizes a community-based, bottom-up approach to cut circuits according to resource constraints, e.g., qubit counts, on each worker. FitCut also includes a scheduling algorithm that optimizes resource utilization across workers. Implemented with Qiskit and evaluated extensively, FitCut significantly outperforms the Qiskit Circuit Knitting Toolbox, reducing time costs by factors ranging from 3 to 2000 and improving resource utilization rates by up to 3.88 times on the worker side, achieving a system-wide improvement of 2.86 times.